#  MINLP written by GAMS Convert at 01/12/18 13:36:06
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        284      145       46       93        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        691      645       46        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2531     2393      138        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 >= 0;
var x2 >= 0;
var x3 >= 0;
var x4 >= 0;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;
var x291 >= 0;
var x292 >= 0;
var x293 >= 0;
var x294 >= 0;
var x295 >= 0;
var x296 >= 0;
var x297 >= 0;
var x298 >= 0;
var x299 >= 0;
var x300 >= 0;
var x301 >= 0;
var x302 >= 0;
var x303 >= 0;
var x304 >= 0;
var x305 >= 0;
var x306 >= 0;
var x307 >= 0;
var x308 >= 0;
var x309 >= 0;
var x310 >= 0;
var x311 >= 0;
var x312 >= 0;
var x313 >= 0;
var x314 >= 0;
var x315 >= 0;
var x316 >= 0;
var x317 >= 0;
var x318 >= 0;
var x319 >= 0;
var x320 >= 0;
var x321 >= 0;
var x322 >= 0;
var x323 >= 0;
var x324 >= 0;
var x325 >= 0;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;
var x343 >= 0;
var x344 >= 0;
var x345 >= 0;
var x346 >= 0;
var x347 >= 0;
var x348 >= 0;
var x349 >= 0;
var x350 >= 0;
var x351 >= 0;
var x352 >= 0;
var x353 >= 0;
var x354 >= 0;
var x355 >= 0;
var x356 >= 0;
var x357 >= 0;
var x358 >= 0;
var x359 >= 0;
var x360 >= 0;
var x361 >= 0;
var x362 >= 0;
var x363 >= 0;
var x364 >= 0;
var x365 >= 0;
var x366 >= 0;
var x367 >= 0;
var x368 >= 0;
var x369 >= 0;
var x370 >= 0;
var x371 >= 0;
var x372 >= 0;
var x373 >= 0;
var x374 >= 0;
var x375 >= 0;
var x376 >= 0;
var x377 >= 0;
var x378 >= 0;
var x379 >= 0;
var x380 >= 0;
var x381 >= 0;
var x382 >= 0;
var x383 >= 0;
var x384 >= 0;
var x385 >= 0;
var x386 >= 0;
var x387 >= 0;
var x388 >= 0;
var x389 >= 0;
var x390 >= 0;
var x391 >= 0;
var x392 >= 0;
var x393 >= 0;
var x394 >= 0;
var x395 >= 0;
var x396 >= 0;
var x397 >= 0;
var x398 >= 0;
var x399 >= 0;
var x400 >= 0;
var x401 >= 0;
var x402 >= 0;
var x403 >= 0;
var x404 >= 0;
var x405 >= 0;
var x406 >= 0;
var x407 >= 0;
var x408 >= 0;
var x409 >= 0;
var x410 >= 0;
var x411 >= 0;
var x412 >= 0;
var x413 >= 0;
var x414 >= 0;
var x415 >= 0;
var x416 >= 0;
var x417 >= 0;
var x418 >= 0;
var x419 >= 0;
var x420 >= 0;
var x421 >= 0;
var x422 >= 0;
var x423 >= 0;
var x424 >= 0;
var x425 >= 0;
var x426 >= 0;
var x427 >= 0;
var x428 >= 0;
var x429 >= 0;
var x430 >= 0;
var x431 >= 0;
var x432 >= 0;
var x433 >= 0;
var x434 >= 0;
var x435 >= 0;
var x436 >= 0;
var x437 >= 0;
var x438 >= 0;
var x439 >= 0;
var x440 >= 0;
var x441 >= 0;
var x442 >= 0;
var x443 >= 0;
var x444 >= 0;
var x445 >= 0;
var x446 >= 0;
var x447 >= 0;
var x448 >= 0;
var x449 >= 0;
var x450 >= 0;
var x451 >= 0;
var x452 >= 0;
var x453 >= 0;
var x454 >= 0;
var x455 >= 0;
var x456 >= 0;
var x457 >= 0;
var x458 >= 0;
var x459 >= 0;
var x460 >= 0;
var x461 >= 0;
var x462 >= 0;
var x463 >= 0;
var x464 >= 0;
var x465 >= 0;
var x466 >= 0;
var x467 >= 0;
var x468 >= 0;
var x469 >= 0;
var x470 >= 0;
var x471 >= 0;
var x472 >= 0;
var x473 >= 0;
var x474 >= 0;
var x475 >= 0;
var x476 >= 0;
var x477 >= 0;
var x478 >= 0;
var x479 >= 0;
var x480 >= 0;
var x481 >= 0;
var x482 >= 0;
var x483 >= 0;
var x484 >= 0;
var x485 >= 0;
var x486 >= 0;
var x487 >= 0;
var x488 >= 0;
var x489 >= 0;
var x490 >= 0;
var x491 >= 0;
var x492 >= 0;
var x493 >= 0;
var x494 >= 0;
var x495 >= 0;
var x496 >= 0;
var x497 >= 0;
var x498 >= 0;
var x499 >= 0;
var x500 >= 0;
var x501 >= 0;
var x502 >= 0;
var x503 >= 0;
var x504 >= 0;
var x505 >= 0;
var x506 >= 0;
var x507 >= 0;
var x508 >= 0;
var x509 >= 0;
var x510 >= 0;
var x511 >= 0;
var x512 >= 0;
var x513 >= 0;
var x514 >= 0;
var x515 >= 0;
var x516 >= 0;
var x517 >= 0;
var x518 >= 0;
var x519 >= 0;
var x520 >= 0;
var x521 >= 0;
var x522 >= 0;
var x523 >= 0;
var x524 >= 0;
var x525 >= 0;
var x526 >= 0;
var x527 >= 0;
var x528 >= 0;
var x529 >= 0;
var x530 >= 0;
var x531 >= 0;
var x532 >= 0;
var x533 >= 0;
var x534 >= 0;
var x535 >= 0;
var x536 >= 0;
var x537 >= 0;
var x538 >= 0;
var x539 >= 0;
var x540 >= 0;
var x541 >= 0;
var x542 >= 0;
var x543 >= 0;
var x544 >= 0;
var x545 >= 0;
var x546 >= 0;
var x547 >= 0;
var x548 >= 0;
var x549 >= 0;
var x550 >= 0;
var x551 >= 0;
var x552 >= 0;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;
var b560 binary >= 0, <= 1;
var b561 binary >= 0, <= 1;
var b562 binary >= 0, <= 1;
var b563 binary >= 0, <= 1;
var b564 binary >= 0, <= 1;
var b565 binary >= 0, <= 1;
var b566 binary >= 0, <= 1;
var b567 binary >= 0, <= 1;
var b568 binary >= 0, <= 1;
var b569 binary >= 0, <= 1;
var b570 binary >= 0, <= 1;
var b571 binary >= 0, <= 1;
var b572 binary >= 0, <= 1;
var b573 binary >= 0, <= 1;
var b574 binary >= 0, <= 1;
var b575 binary >= 0, <= 1;
var b576 binary >= 0, <= 1;
var b577 binary >= 0, <= 1;
var b578 binary >= 0, <= 1;
var b579 binary >= 0, <= 1;
var b580 binary >= 0, <= 1;
var b581 binary >= 0, <= 1;
var b582 binary >= 0, <= 1;
var b583 binary >= 0, <= 1;
var b584 binary >= 0, <= 1;
var b585 binary >= 0, <= 1;
var b586 binary >= 0, <= 1;
var b587 binary >= 0, <= 1;
var b588 binary >= 0, <= 1;
var b589 binary >= 0, <= 1;
var b590 binary >= 0, <= 1;
var b591 binary >= 0, <= 1;
var b592 binary >= 0, <= 1;
var b593 binary >= 0, <= 1;
var b594 binary >= 0, <= 1;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var x599 >= 0;
var x600 >= 0;
var x601 >= 0;
var x602 >= 0;
var x603 >= 0;
var x604 >= 0;
var x605 >= 0;
var x606 >= 0;
var x607 >= 0;
var x608 >= 0;
var x609 >= 0;
var x610 >= 0;
var x611 >= 0;
var x612 >= 0;
var x613 >= 0;
var x614 >= 0;
var x615 >= 0;
var x616 >= 0;
var x617 >= 0;
var x618 >= 0;
var x619 >= 0;
var x620 >= 0;
var x621 >= 0;
var x622 >= 0;
var x623 >= 0;
var x624 >= 0;
var x625 >= 0;
var x626 >= 0;
var x627 >= 0;
var x628 >= 0;
var x629 >= 0;
var x630 >= 0;
var x631 >= 0;
var x632 >= 0;
var x633 >= 0;
var x634 >= 0;
var x635 >= 0;
var x636 >= 0;
var x637 >= 0;
var x638 >= 0;
var x639 >= 0;
var x640 >= 0;
var x641 >= 0;
var x642 >= 0;
var x643 >= 0;
var x644 >= 0;
var x646 >= 0;
var x647 >= 0;
var x648 >= 0;
var x649 >= 0;
var x650 >= 0;
var x651 >= 0;
var x652 >= 0;
var x653 >= 0;
var x654 >= 0;
var x655 >= 0;
var x656 >= 0;
var x657 >= 0;
var x658 >= 0;
var x659 >= 0;
var x660 >= 0;
var x661 >= 0;
var x662 >= 0;
var x663 >= 0;
var x664 >= 0;
var x665 >= 0;
var x666 >= 0;
var x667 >= 0;
var x668 >= 0;
var x669 >= 0;
var x670 >= 0;
var x671 >= 0;
var x672 >= 0;
var x673 >= 0;
var x674 >= 0;
var x675 >= 0;
var x676 >= 0;
var x677 >= 0;
var x678 >= 0;
var x679 >= 0;
var x680 >= 0;
var x681 >= 0;
var x682 >= 0;
var x683 >= 0;
var x684 >= 0;
var x685 >= 0;
var x686 >= 0;
var x687 >= 0;
var x688 >= 0;
var x689 >= 0;
var x690 >= 0;
var x691 >= 0;

minimize obj:    1.235768455*b553 + 1.754882812*b554 + 3.159455914*b555
     + 3.980618566*b556 + 2.905401043*b557 + 2.524310515*b558
     + 3.289509208*b559 + 1.235768455*b560 + 2.516549044*b561
     + 2.174517481*b562 + 2.402340784*b563 + 1.754882812*b564
     + 3.153941476*b565 + 2.649872155*b566 + 2.46690751*b567 + 3.159455914*b568
     + 2.46690751*b569 + 1.583424277*b570 + 3.980618566*b571 + 3.153941476*b572
     + 1.572334903*b573 + 2.905401043*b574 + 2.516549044*b575
     + 1.572334903*b576 + 1.097733808*b577 + 2.174517481*b578
     + 1.097733808*b579 + 2.95175038*b580 + 2.477930353*b581 + 1.425428344*b582
     + 2.95175038*b583 + 1.694724004*b584 + 2.524310515*b585 + 1.694724004*b586
     + 3.787543429*b587 + 1.759730596*b588 + 2.402340784*b589
     + 1.583424277*b590 + 2.477930353*b591 + 3.787543429*b592
     + 1.492267639*b593 + 3.289509208*b594 + 2.649872155*b595
     + 1.425428344*b596 + 1.759730596*b597 + 1.492267639*b598;

subject to

e2:  - x1 - x13 - x25 - x37 - x49 - x61 - x73 + x85 + x133 + x181 + x217 + x253
     + x385 + x493 = -149;

e3:  - x2 - x14 - x26 - x38 - x50 - x62 - x74 + x86 + x134 + x182 + x218 + x254
     + x386 + x494 = 20;

e4:  - x3 - x15 - x27 - x39 - x51 - x63 - x75 + x87 + x135 + x183 + x219 + x255
     + x387 + x495 = 13;

e5:  - x4 - x16 - x28 - x40 - x52 - x64 - x76 + x88 + x136 + x184 + x220 + x256
     + x388 + x496 = 11;

e6:  - x5 - x17 - x29 - x41 - x53 - x65 - x77 + x89 + x137 + x185 + x221 + x257
     + x389 + x497 = 13;

e7:  - x6 - x18 - x30 - x42 - x54 - x66 - x78 + x90 + x138 + x186 + x222 + x258
     + x390 + x498 = 11;

e8:  - x7 - x19 - x31 - x43 - x55 - x67 - x79 + x91 + x139 + x187 + x223 + x259
     + x391 + x499 = 18;

e9:  - x8 - x20 - x32 - x44 - x56 - x68 - x80 + x92 + x140 + x188 + x224 + x260
     + x392 + x500 = 19;

e10:  - x9 - x21 - x33 - x45 - x57 - x69 - x81 + x93 + x141 + x189 + x225
      + x261 + x393 + x501 = 14;

e11:  - x10 - x22 - x34 - x46 - x58 - x70 - x82 + x94 + x142 + x190 + x226
      + x262 + x394 + x502 = 15;

e12:  - x11 - x23 - x35 - x47 - x59 - x71 - x83 + x95 + x143 + x191 + x227
      + x263 + x395 + x503 = 20;

e13:  - x12 - x24 - x36 - x48 - x60 - x72 - x84 + x96 + x144 + x192 + x228
      + x264 + x396 + x504 = 22;

e14:    x1 - x85 - x97 - x109 - x121 + x265 + x301 + x433 = 12;

e15:    x2 - x86 - x98 - x110 - x122 + x266 + x302 + x434 = -178;

e16:    x3 - x87 - x99 - x111 - x123 + x267 + x303 + x435 = 7;

e17:    x4 - x88 - x100 - x112 - x124 + x268 + x304 + x436 = 6;

e18:    x5 - x89 - x101 - x113 - x125 + x269 + x305 + x437 = 25;

e19:    x6 - x90 - x102 - x114 - x126 + x270 + x306 + x438 = 25;

e20:    x7 - x91 - x103 - x115 - x127 + x271 + x307 + x439 = 25;

e21:    x8 - x92 - x104 - x116 - x128 + x272 + x308 + x440 = 23;

e22:    x9 - x93 - x105 - x117 - x129 + x273 + x309 + x441 = 8;

e23:    x10 - x94 - x106 - x118 - x130 + x274 + x310 + x442 = 7;

e24:    x11 - x95 - x107 - x119 - x131 + x275 + x311 + x443 = 20;

e25:    x12 - x96 - x108 - x120 - x132 + x276 + x312 + x444 = 14;

e26:    x13 - x133 - x145 - x157 + x229 + x505 = 6;

e27:    x14 - x134 - x146 - x158 + x230 + x506 = 21;

e28:    x15 - x135 - x147 - x159 + x231 + x507 = -157;

e29:    x16 - x136 - x148 - x160 + x232 + x508 = 25;

e30:    x17 - x137 - x149 - x161 + x233 + x509 = 18;

e31:    x18 - x138 - x150 - x162 + x234 + x510 = 23;

e32:    x19 - x139 - x151 - x163 + x235 + x511 = 22;

e33:    x20 - x140 - x152 - x164 + x236 + x512 = 19;

e34:    x21 - x141 - x153 - x165 + x237 + x513 = 18;

e35:    x22 - x142 - x154 - x166 + x238 + x514 = 21;

e36:    x23 - x143 - x155 - x167 + x239 + x515 = 24;

e37:    x24 - x144 - x156 - x168 + x240 + x516 = 16;

e38:  - x169 + x193 = 18;

e39:  - x170 + x194 = 24;

e40:  - x171 + x195 = 9;

e41:  - x172 + x196 = -183;

e42:  - x173 + x197 = 12;

e43:  - x174 + x198 = 16;

e44:  - x175 + x199 = 6;

e45:  - x176 + x200 = 14;

e46:  - x177 + x201 = 23;

e47:  - x178 + x202 = 14;

e48:  - x179 + x203 = 18;

e49:  - x180 + x204 = 24;

e50:    x25 + x169 - x181 - x193 - x205 + x445 = 5;

e51:    x26 + x170 - x182 - x194 - x206 + x446 = 12;

e52:    x27 + x171 - x183 - x195 - x207 + x447 = 19;

e53:    x28 + x172 - x184 - x196 - x208 + x448 = 22;

e54:    x29 + x173 - x185 - x197 - x209 + x449 = -179;

e55:    x30 + x174 - x186 - x198 - x210 + x450 = 22;

e56:    x31 + x175 - x187 - x199 - x211 + x451 = 9;

e57:    x32 + x176 - x188 - x200 - x212 + x452 = 6;

e58:    x33 + x177 - x189 - x201 - x213 + x453 = 6;

e59:    x34 + x178 - x190 - x202 - x214 + x454 = 21;

e60:    x35 + x179 - x191 - x203 - x215 + x455 = 6;

e61:    x36 + x180 - x192 - x204 - x216 + x456 = 22;

e62:    x37 + x145 - x217 - x229 - x241 + x277 = 13;

e63:    x38 + x146 - x218 - x230 - x242 + x278 = 12;

e64:    x39 + x147 - x219 - x231 - x243 + x279 = 23;

e65:    x40 + x148 - x220 - x232 - x244 + x280 = 16;

e66:    x41 + x149 - x221 - x233 - x245 + x281 = 7;

e67:    x42 + x150 - x222 - x234 - x246 + x282 = -178;

e68:    x43 + x151 - x223 - x235 - x247 + x283 = 19;

e69:    x44 + x152 - x224 - x236 - x248 + x284 = 25;

e70:    x45 + x153 - x225 - x237 - x249 + x285 = 13;

e71:    x46 + x154 - x226 - x238 - x250 + x286 = 17;

e72:    x47 + x155 - x227 - x239 - x251 + x287 = 24;

e73:    x48 + x156 - x228 - x240 - x252 + x288 = 8;

e74:    x49 + x97 + x241 - x253 - x265 - x277 - x289 + x313 = 9;

e75:    x50 + x98 + x242 - x254 - x266 - x278 - x290 + x314 = 20;

e76:    x51 + x99 + x243 - x255 - x267 - x279 - x291 + x315 = 21;

e77:    x52 + x100 + x244 - x256 - x268 - x280 - x292 + x316 = 22;

e78:    x53 + x101 + x245 - x257 - x269 - x281 - x293 + x317 = 6;

e79:    x54 + x102 + x246 - x258 - x270 - x282 - x294 + x318 = 8;

e80:    x55 + x103 + x247 - x259 - x271 - x283 - x295 + x319 = -162;

e81:    x56 + x104 + x248 - x260 - x272 - x284 - x296 + x320 = 22;

e82:    x57 + x105 + x249 - x261 - x273 - x285 - x297 + x321 = 19;

e83:    x58 + x106 + x250 - x262 - x274 - x286 - x298 + x322 = 17;

e84:    x59 + x107 + x251 - x263 - x275 - x287 - x299 + x323 = 11;

e85:    x60 + x108 + x252 - x264 - x276 - x288 - x300 + x324 = 16;

e86:    x109 + x289 - x301 - x313 - x325 - x337 - x349 + x361 + x457 + x517
      = 23;

e87:    x110 + x290 - x302 - x314 - x326 - x338 - x350 + x362 + x458 + x518
      = 11;

e88:    x111 + x291 - x303 - x315 - x327 - x339 - x351 + x363 + x459 + x519
      = 21;

e89:    x112 + x292 - x304 - x316 - x328 - x340 - x352 + x364 + x460 + x520
      = 23;

e90:    x113 + x293 - x305 - x317 - x329 - x341 - x353 + x365 + x461 + x521
      = 13;

e91:    x114 + x294 - x306 - x318 - x330 - x342 - x354 + x366 + x462 + x522
      = 18;

e92:    x115 + x295 - x307 - x319 - x331 - x343 - x355 + x367 + x463 + x523
      = 8;

e93:    x116 + x296 - x308 - x320 - x332 - x344 - x356 + x368 + x464 + x524
      = -176;

e94:    x117 + x297 - x309 - x321 - x333 - x345 - x357 + x369 + x465 + x525
      = 12;

e95:    x118 + x298 - x310 - x322 - x334 - x346 - x358 + x370 + x466 + x526
      = 15;

e96:    x119 + x299 - x311 - x323 - x335 - x347 - x359 + x371 + x467 + x527
      = 7;

e97:    x120 + x300 - x312 - x324 - x336 - x348 - x360 + x372 + x468 + x528
      = 22;

e98:    x325 - x361 - x373 + x397 = 21;

e99:    x326 - x362 - x374 + x398 = 10;

e100:    x327 - x363 - x375 + x399 = 7;

e101:    x328 - x364 - x376 + x400 = 14;

e102:    x329 - x365 - x377 + x401 = 14;

e103:    x330 - x366 - x378 + x402 = 11;

e104:    x331 - x367 - x379 + x403 = 15;

e105:    x332 - x368 - x380 + x404 = 16;

e106:    x333 - x369 - x381 + x405 = -139;

e107:    x334 - x370 - x382 + x406 = 25;

e108:    x335 - x371 - x383 + x407 = 23;

e109:    x336 - x372 - x384 + x408 = 14;

e110:    x61 + x373 - x385 - x397 - x409 - x421 + x469 + x529 = 12;

e111:    x62 + x374 - x386 - x398 - x410 - x422 + x470 + x530 = 21;

e112:    x63 + x375 - x387 - x399 - x411 - x423 + x471 + x531 = 10;

e113:    x64 + x376 - x388 - x400 - x412 - x424 + x472 + x532 = 19;

e114:    x65 + x377 - x389 - x401 - x413 - x425 + x473 + x533 = 23;

e115:    x66 + x378 - x390 - x402 - x414 - x426 + x474 + x534 = 17;

e116:    x67 + x379 - x391 - x403 - x415 - x427 + x475 + x535 = 11;

e117:    x68 + x380 - x392 - x404 - x416 - x428 + x476 + x536 = 13;

e118:    x69 + x381 - x393 - x405 - x417 - x429 + x477 + x537 = 11;

e119:    x70 + x382 - x394 - x406 - x418 - x430 + x478 + x538 = -191;

e120:    x71 + x383 - x395 - x407 - x419 - x431 + x479 + x539 = 18;

e121:    x72 + x384 - x396 - x408 - x420 - x432 + x480 + x540 = 15;

e122:    x121 + x205 + x337 + x409 - x433 - x445 - x457 - x469 - x481 + x541
       = 15;

e123:    x122 + x206 + x338 + x410 - x434 - x446 - x458 - x470 - x482 + x542
       = 13;

e124:    x123 + x207 + x339 + x411 - x435 - x447 - x459 - x471 - x483 + x543
       = 6;

e125:    x124 + x208 + x340 + x412 - x436 - x448 - x460 - x472 - x484 + x544
       = 13;

e126:    x125 + x209 + x341 + x413 - x437 - x449 - x461 - x473 - x485 + x545
       = 25;

e127:    x126 + x210 + x342 + x414 - x438 - x450 - x462 - x474 - x486 + x546
       = 13;

e128:    x127 + x211 + x343 + x415 - x439 - x451 - x463 - x475 - x487 + x547
       = 14;

e129:    x128 + x212 + x344 + x416 - x440 - x452 - x464 - x476 - x488 + x548
       = 14;

e130:    x129 + x213 + x345 + x417 - x441 - x453 - x465 - x477 - x489 + x549
       = 9;

e131:    x130 + x214 + x346 + x418 - x442 - x454 - x466 - x478 - x490 + x550
       = 19;

e132:    x131 + x215 + x347 + x419 - x443 - x455 - x467 - x479 - x491 + x551
       = -193;

e133:    x132 + x216 + x348 + x420 - x444 - x456 - x468 - x480 - x492 + x552
       = 17;

e134:    x73 + x157 + x349 + x421 + x481 - x493 - x505 - x517 - x529 - x541
       = 15;

e135:    x74 + x158 + x350 + x422 + x482 - x494 - x506 - x518 - x530 - x542
       = 14;

e136:    x75 + x159 + x351 + x423 + x483 - x495 - x507 - x519 - x531 - x543
       = 21;

e137:    x76 + x160 + x352 + x424 + x484 - x496 - x508 - x520 - x532 - x544
       = 12;

e138:    x77 + x161 + x353 + x425 + x485 - x497 - x509 - x521 - x533 - x545
       = 23;

e139:    x78 + x162 + x354 + x426 + x486 - x498 - x510 - x522 - x534 - x546
       = 14;

e140:    x79 + x163 + x355 + x427 + x487 - x499 - x511 - x523 - x535 - x547
       = 15;

e141:    x80 + x164 + x356 + x428 + x488 - x500 - x512 - x524 - x536 - x548
       = 5;

e142:    x81 + x165 + x357 + x429 + x489 - x501 - x513 - x525 - x537 - x549
       = 6;

e143:    x82 + x166 + x358 + x430 + x490 - x502 - x514 - x526 - x538 - x550
       = 20;

e144:    x83 + x167 + x359 + x431 + x491 - x503 - x515 - x527 - x539 - x551
       = 22;

e145:    x84 + x168 + x360 + x432 + x492 - x504 - x516 - x528 - x540 - x552
       = -190;

e146:  - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 + x646
       >= 0;

e147:  - x13 - x14 - x15 - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24
       + x647 >= 0;

e148:  - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x32 - x33 - x34 - x35 - x36
       + x648 >= 0;

e149:  - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 - x46 - x47 - x48
       + x649 >= 0;

e150:  - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57 - x58 - x59 - x60
       + x650 >= 0;

e151:  - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72
       + x651 >= 0;

e152:  - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84
       + x652 >= 0;

e153:  - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96
       + x653 >= 0;

e154:  - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106
       - x107 - x108 + x654 >= 0;

e155:  - x109 - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 - x118
       - x119 - x120 + x655 >= 0;

e156:  - x121 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130
       - x131 - x132 + x656 >= 0;

e157:  - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 - x142
       - x143 - x144 + x657 >= 0;

e158:  - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154
       - x155 - x156 + x658 >= 0;

e159:  - x157 - x158 - x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166
       - x167 - x168 + x659 >= 0;

e160:  - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178
       - x179 - x180 + x660 >= 0;

e161:  - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190
       - x191 - x192 + x661 >= 0;

e162:  - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202
       - x203 - x204 + x662 >= 0;

e163:  - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214
       - x215 - x216 + x663 >= 0;

e164:  - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 - x226
       - x227 - x228 + x664 >= 0;

e165:  - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238
       - x239 - x240 + x665 >= 0;

e166:  - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250
       - x251 - x252 + x666 >= 0;

e167:  - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262
       - x263 - x264 + x667 >= 0;

e168:  - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274
       - x275 - x276 + x668 >= 0;

e169:  - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286
       - x287 - x288 + x669 >= 0;

e170:  - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298
       - x299 - x300 + x670 >= 0;

e171:  - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310
       - x311 - x312 + x671 >= 0;

e172:  - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 - x322
       - x323 - x324 + x672 >= 0;

e173:  - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334
       - x335 - x336 + x673 >= 0;

e174:  - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346
       - x347 - x348 + x674 >= 0;

e175:  - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358
       - x359 - x360 + x675 >= 0;

e176:  - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370
       - x371 - x372 + x676 >= 0;

e177:  - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382
       - x383 - x384 + x677 >= 0;

e178:  - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394
       - x395 - x396 + x678 >= 0;

e179:  - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 - x406
       - x407 - x408 + x679 >= 0;

e180:  - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418
       - x419 - x420 + x680 >= 0;

e181:  - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430
       - x431 - x432 + x681 >= 0;

e182:  - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442
       - x443 - x444 + x682 >= 0;

e183:  - x445 - x446 - x447 - x448 - x449 - x450 - x451 - x452 - x453 - x454
       - x455 - x456 + x683 >= 0;

e184:  - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 - x465 - x466
       - x467 - x468 + x684 >= 0;

e185:  - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478
       - x479 - x480 + x685 >= 0;

e186:  - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490
       - x491 - x492 + x686 >= 0;

e187:  - x493 - x494 - x495 - x496 - x497 - x498 - x499 - x500 - x501 - x502
       - x503 - x504 + x687 >= 0;

e188:  - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - x514
       - x515 - x516 + x688 >= 0;

e189:  - x517 - x518 - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526
       - x527 - x528 + x689 >= 0;

e190:  - x529 - x530 - x531 - x532 - x533 - x534 - x535 - x536 - x537 - x538
       - x539 - x540 + x690 >= 0;

e191:  - x541 - x542 - x543 - x544 - x545 - x546 - x547 - x548 - x549 - x550
       - x551 - x552 + x691 >= 0;

e192: 293*x646*b553 - 293*b553*x599 + x646*x599 <= 0;

e193: 192*x647*b554 - 192*b554*x600 + x647*x600 <= 0;

e194: 417*x648*b555 - 417*b555*x601 + x648*x601 <= 0;

e195: 427*x649*b556 - 427*b556*x602 + x649*x602 <= 0;

e196: 295*x650*b557 - 295*b557*x603 + x650*x603 <= 0;

e197: 280*x651*b558 - 280*b558*x604 + x651*x604 <= 0;

e198: 337*x652*b559 - 337*b559*x605 + x652*x605 <= 0;

e199: 293*x653*b560 - 293*b560*x606 + x653*x606 <= 0;

e200: 341*x654*b561 - 341*b561*x607 + x654*x607 <= 0;

e201: 276*x655*b562 - 276*b562*x608 + x655*x608 <= 0;

e202: 119*x656*b563 - 119*b563*x609 + x656*x609 <= 0;

e203: 192*x657*b564 - 192*b564*x610 + x657*x610 <= 0;

e204: 347*x658*b565 - 347*b565*x611 + x658*x611 <= 0;

e205: 398*x659*b566 - 398*b566*x612 + x659*x612 <= 0;

e206: 359*x660*b567 - 359*b567*x613 + x660*x613 <= 0;

e207: 417*x661*b568 - 417*b568*x614 + x661*x614 <= 0;

e208: 359*x662*b569 - 359*b569*x615 + x662*x615 <= 0;

e209: 193*x663*b570 - 193*b570*x616 + x663*x616 <= 0;

e210: 427*x664*b571 - 427*b571*x617 + x664*x617 <= 0;

e211: 347*x665*b572 - 347*b572*x618 + x665*x618 <= 0;

e212: 218*x666*b573 - 218*b573*x619 + x666*x619 <= 0;

e213: 295*x667*b574 - 295*b574*x620 + x667*x620 <= 0;

e214: 341*x668*b575 - 341*b575*x621 + x668*x621 <= 0;

e215: 218*x669*b576 - 218*b576*x622 + x669*x622 <= 0;

e216: 134*x670*b577 - 134*b577*x623 + x670*x623 <= 0;

e217: 276*x671*b578 - 276*b578*x624 + x671*x624 <= 0;

e218: 134*x672*b579 - 134*b579*x625 + x672*x625 <= 0;

e219: 200*x673*b580 - 200*b580*x626 + x673*x626 <= 0;

e220: 222*x674*b581 - 222*b581*x627 + x674*x627 <= 0;

e221: 196*x675*b582 - 196*b582*x628 + x675*x628 <= 0;

e222: 200*x676*b583 - 200*b583*x629 + x676*x629 <= 0;

e223: 129*x677*b584 - 129*b584*x630 + x677*x630 <= 0;

e224: 280*x678*b585 - 280*b585*x631 + x678*x631 <= 0;

e225: 129*x679*b586 - 129*b586*x632 + x679*x632 <= 0;

e226: 382*x680*b587 - 382*b587*x633 + x680*x633 <= 0;

e227: 424*x681*b588 - 424*b588*x634 + x681*x634 <= 0;

e228: 119*x682*b589 - 119*b589*x635 + x682*x635 <= 0;

e229: 193*x683*b590 - 193*b590*x636 + x683*x636 <= 0;

e230: 222*x684*b591 - 222*b591*x637 + x684*x637 <= 0;

e231: 382*x685*b592 - 382*b592*x638 + x685*x638 <= 0;

e232: 275*x686*b593 - 275*b593*x639 + x686*x639 <= 0;

e233: 337*x687*b594 - 337*b594*x640 + x687*x640 <= 0;

e234: 398*x688*b595 - 398*b595*x641 + x688*x641 <= 0;

e235: 196*x689*b596 - 196*b596*x642 + x689*x642 <= 0;

e236: 424*x690*b597 - 424*b597*x643 + x690*x643 <= 0;

e237: 275*x691*b598 - 275*b598*x644 + x691*x644 <= 0;

e238:    x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608
       + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618
       + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 + x628
       + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638
       + x639 + x640 + x641 + x642 + x643 + x644 <= 6225;

e239:    x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12
       - 293*b553 <= 0;

e240:    x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24
       - 192*b554 <= 0;

e241:    x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36
       - 417*b555 <= 0;

e242:    x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48
       - 427*b556 <= 0;

e243:    x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60
       - 295*b557 <= 0;

e244:    x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72
       - 280*b558 <= 0;

e245:    x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84
       - 337*b559 <= 0;

e246:    x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96
       - 293*b560 <= 0;

e247:    x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106
       + x107 + x108 - 341*b561 <= 0;

e248:    x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118
       + x119 + x120 - 276*b562 <= 0;

e249:    x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130
       + x131 + x132 - 119*b563 <= 0;

e250:    x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142
       + x143 + x144 - 192*b564 <= 0;

e251:    x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154
       + x155 + x156 - 347*b565 <= 0;

e252:    x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166
       + x167 + x168 - 398*b566 <= 0;

e253:    x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178
       + x179 + x180 - 359*b567 <= 0;

e254:    x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190
       + x191 + x192 - 417*b568 <= 0;

e255:    x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202
       + x203 + x204 - 359*b569 <= 0;

e256:    x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214
       + x215 + x216 - 193*b570 <= 0;

e257:    x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226
       + x227 + x228 - 427*b571 <= 0;

e258:    x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238
       + x239 + x240 - 347*b572 <= 0;

e259:    x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250
       + x251 + x252 - 218*b573 <= 0;

e260:    x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262
       + x263 + x264 - 295*b574 <= 0;

e261:    x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274
       + x275 + x276 - 341*b575 <= 0;

e262:    x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286
       + x287 + x288 - 218*b576 <= 0;

e263:    x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298
       + x299 + x300 - 134*b577 <= 0;

e264:    x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310
       + x311 + x312 - 276*b578 <= 0;

e265:    x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322
       + x323 + x324 - 134*b579 <= 0;

e266:    x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334
       + x335 + x336 - 200*b580 <= 0;

e267:    x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346
       + x347 + x348 - 222*b581 <= 0;

e268:    x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358
       + x359 + x360 - 196*b582 <= 0;

e269:    x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370
       + x371 + x372 - 200*b583 <= 0;

e270:    x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382
       + x383 + x384 - 129*b584 <= 0;

e271:    x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394
       + x395 + x396 - 280*b585 <= 0;

e272:    x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406
       + x407 + x408 - 129*b586 <= 0;

e273:    x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418
       + x419 + x420 - 382*b587 <= 0;

e274:    x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430
       + x431 + x432 - 424*b588 <= 0;

e275:    x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442
       + x443 + x444 - 119*b589 <= 0;

e276:    x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454
       + x455 + x456 - 193*b590 <= 0;

e277:    x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466
       + x467 + x468 - 222*b591 <= 0;

e278:    x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478
       + x479 + x480 - 382*b592 <= 0;

e279:    x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490
       + x491 + x492 - 275*b593 <= 0;

e280:    x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502
       + x503 + x504 - 337*b594 <= 0;

e281:    x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514
       + x515 + x516 - 398*b595 <= 0;

e282:    x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526
       + x527 + x528 - 196*b596 <= 0;

e283:    x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538
       + x539 + x540 - 424*b597 <= 0;

e284:    x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550
       + x551 + x552 - 275*b598 <= 0;