#  MIQCP written by GAMS Convert at 02/15/18 15:47:26
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        255      170       42       43        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        631      589       42        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2353     1765      588        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
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 x553 >= 0;
var x554 >= 0;
var x555 >= 0;
var x556 >= 0;
var x557 >= 0;
var x558 >= 0;
var x559 >= 0;
var x560 >= 0;
var x561 >= 0;
var x562 >= 0;
var x563 >= 0;
var x564 >= 0;
var x565 >= 0;
var x566 >= 0;
var x567 >= 0;
var x568 >= 0;
var x569 >= 0;
var x570 >= 0;
var x571 >= 0;
var x572 >= 0;
var x573 >= 0;
var x574 >= 0;
var x575 >= 0;
var x576 >= 0;
var x577 >= 0;
var x578 >= 0;
var x579 >= 0;
var x580 >= 0;
var x581 >= 0;
var x582 >= 0;
var x583 >= 0;
var x584 >= 0;
var x585 >= 0;
var x586 >= 0;
var x587 >= 0;
var x588 >= 0;
var x589 >= 0;
var x590 >= 0;
var x591 >= 0;
var x592 >= 0;
var x593 >= 0;
var x594 >= 0;
var x595 >= 0;
var x596 >= 0;
var x597 >= 0;
var x598 >= 0;
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;

minimize obj:    1.090016011*b2 + 3.10674202*b3 + 2.475702586*b4
     + 1.966733944*b5 + 1.090016011*b6 + 2.019536713*b7 + 3.10674202*b8
     + 1.383540955*b9 + 2.087059045*b10 + 3.720443668*b11 + 1.383540955*b12
     + 1.794144217*b13 + 3.50653318*b14 + 1.71812596*b15 + 3.834780538*b16
     + 2.087059045*b17 + 1.794144217*b18 + 2.239621249*b19 + 2.475702586*b20
     + 2.019536713*b21 + 3.720443668*b22 + 3.50653318*b23 + 2.239621249*b24
     + 1.098732406*b25 + 1.742557876*b26 + 1.098732406*b27 + 3.606882982*b28
     + 1.71812596*b29 + 2.074958698*b30 + 1.966733944*b31 + 2.074958698*b32
     + 3.859970515*b33 + 1.742557876*b34 + 3.859970515*b35 + 3.951460459*b36
     + 3.834780538*b37 + 3.606882982*b38 + 2.524064089*b39 + 2.524064089*b40
     + 3.982701487*b41 + 3.951460459*b42 + 3.982701487*b43;

subject to

e2:  - x44 - x45 - x46 - x47 + x48 + x49 + x50 + x51 = -148;

e3:  - x52 - x53 - x54 - x55 + x56 + x57 + x58 + x59 = 12;

e4:  - x60 - x61 - x62 - x63 + x64 + x65 + x66 + x67 = 16;

e5:  - x68 - x69 - x70 - x71 + x72 + x73 + x74 + x75 = 21;

e6:  - x76 - x77 - x78 - x79 + x80 + x81 + x82 + x83 = 11;

e7:  - x84 - x85 - x86 - x87 + x88 + x89 + x90 + x91 = 24;

e8:  - x92 - x93 - x94 - x95 + x96 + x97 + x98 + x99 = 24;

e9:  - x100 - x101 - x102 - x103 + x104 + x105 + x106 + x107 = 8;

e10:  - x108 - x109 - x110 - x111 + x112 + x113 + x114 + x115 = 10;

e11:  - x116 - x117 - x118 - x119 + x120 + x121 + x122 + x123 = 18;

e12:  - x124 - x125 - x126 - x127 + x128 + x129 + x130 + x131 = 11;

e13:  - x132 - x133 - x134 - x135 + x136 + x137 + x138 + x139 = 20;

e14:  - x140 - x141 - x142 - x143 + x144 + x145 + x146 + x147 = 7;

e15:    x44 - x48 - x148 + x149 = 7;

e16:    x52 - x56 - x150 + x151 = -175;

e17:    x60 - x64 - x152 + x153 = 15;

e18:    x68 - x72 - x154 + x155 = 17;

e19:    x76 - x80 - x156 + x157 = 20;

e20:    x84 - x88 - x158 + x159 = 24;

e21:    x92 - x96 - x160 + x161 = 6;

e22:    x100 - x104 - x162 + x163 = 19;

e23:    x108 - x112 - x164 + x165 = 24;

e24:    x116 - x120 - x166 + x167 = 11;

e25:    x124 - x128 - x168 + x169 = 15;

e26:    x132 - x136 - x170 + x171 = 9;

e27:    x140 - x144 - x172 + x173 = 19;

e28:    x45 - x49 - x174 - x175 - x176 + x177 + x178 + x179 = 15;

e29:    x53 - x57 - x180 - x181 - x182 + x183 + x184 + x185 = 13;

e30:    x61 - x65 - x186 - x187 - x188 + x189 + x190 + x191 = -231;

e31:    x69 - x73 - x192 - x193 - x194 + x195 + x196 + x197 = 23;

e32:    x77 - x81 - x198 - x199 - x200 + x201 + x202 + x203 = 18;

e33:    x85 - x89 - x204 - x205 - x206 + x207 + x208 + x209 = 19;

e34:    x93 - x97 - x210 - x211 - x212 + x213 + x214 + x215 = 9;

e35:    x101 - x105 - x216 - x217 - x218 + x219 + x220 + x221 = 8;

e36:    x109 - x113 - x222 - x223 - x224 + x225 + x226 + x227 = 16;

e37:    x117 - x121 - x228 - x229 - x230 + x231 + x232 + x233 = 19;

e38:    x125 - x129 - x234 - x235 - x236 + x237 + x238 + x239 = 19;

e39:    x133 - x137 - x240 - x241 - x242 + x243 + x244 + x245 = 21;

e40:    x141 - x145 - x246 - x247 - x248 + x249 + x250 + x251 = 8;

e41:    x174 - x177 - x252 - x253 - x254 - x255 + x256 + x257 + x258 + x259
      = 12;

e42:    x180 - x183 - x260 - x261 - x262 - x263 + x264 + x265 + x266 + x267
      = 20;

e43:    x186 - x189 - x268 - x269 - x270 - x271 + x272 + x273 + x274 + x275
      = 23;

e44:    x192 - x195 - x276 - x277 - x278 - x279 + x280 + x281 + x282 + x283
      = -187;

e45:    x198 - x201 - x284 - x285 - x286 - x287 + x288 + x289 + x290 + x291
      = 21;

e46:    x204 - x207 - x292 - x293 - x294 - x295 + x296 + x297 + x298 + x299
      = 12;

e47:    x210 - x213 - x300 - x301 - x302 - x303 + x304 + x305 + x306 + x307
      = 6;

e48:    x216 - x219 - x308 - x309 - x310 - x311 + x312 + x313 + x314 + x315
      = 11;

e49:    x222 - x225 - x316 - x317 - x318 - x319 + x320 + x321 + x322 + x323
      = 19;

e50:    x228 - x231 - x324 - x325 - x326 - x327 + x328 + x329 + x330 + x331
      = 9;

e51:    x234 - x237 - x332 - x333 - x334 - x335 + x336 + x337 + x338 + x339
      = 17;

e52:    x240 - x243 - x340 - x341 - x342 - x343 + x344 + x345 + x346 + x347
      = 23;

e53:    x246 - x249 - x348 - x349 - x350 - x351 + x352 + x353 + x354 + x355
      = 21;

e54:    x175 - x178 + x252 - x256 - x356 + x357 = 14;

e55:    x181 - x184 + x260 - x264 - x358 + x359 = 7;

e56:    x187 - x190 + x268 - x272 - x360 + x361 = 22;

e57:    x193 - x196 + x276 - x280 - x362 + x363 = 14;

e58:    x199 - x202 + x284 - x288 - x364 + x365 = -170;

e59:    x205 - x208 + x292 - x296 - x366 + x367 = 12;

e60:    x211 - x214 + x300 - x304 - x368 + x369 = 13;

e61:    x217 - x220 + x308 - x312 - x370 + x371 = 10;

e62:    x223 - x226 + x316 - x320 - x372 + x373 = 15;

e63:    x229 - x232 + x324 - x328 - x374 + x375 = 9;

e64:    x235 - x238 + x332 - x336 - x376 + x377 = 14;

e65:    x241 - x244 + x340 - x344 - x378 + x379 = 16;

e66:    x247 - x250 + x348 - x352 - x380 + x381 = 8;

e67:    x46 - x50 + x148 - x149 + x176 - x179 + x253 - x257 + x356 - x357
      - x382 - x383 + x384 + x385 = 13;

e68:    x54 - x58 + x150 - x151 + x182 - x185 + x261 - x265 + x358 - x359
      - x386 - x387 + x388 + x389 = 22;

e69:    x62 - x66 + x152 - x153 + x188 - x191 + x269 - x273 + x360 - x361
      - x390 - x391 + x392 + x393 = 23;

e70:    x70 - x74 + x154 - x155 + x194 - x197 + x277 - x281 + x362 - x363
      - x394 - x395 + x396 + x397 = 7;

e71:    x78 - x82 + x156 - x157 + x200 - x203 + x285 - x289 + x364 - x365
      - x398 - x399 + x400 + x401 = 16;

e72:    x86 - x90 + x158 - x159 + x206 - x209 + x293 - x297 + x366 - x367
      - x402 - x403 + x404 + x405 = -169;

e73:    x94 - x98 + x160 - x161 + x212 - x215 + x301 - x305 + x368 - x369
      - x406 - x407 + x408 + x409 = 20;

e74:    x102 - x106 + x162 - x163 + x218 - x221 + x309 - x313 + x370 - x371
      - x410 - x411 + x412 + x413 = 14;

e75:    x110 - x114 + x164 - x165 + x224 - x227 + x317 - x321 + x372 - x373
      - x414 - x415 + x416 + x417 = 11;

e76:    x118 - x122 + x166 - x167 + x230 - x233 + x325 - x329 + x374 - x375
      - x418 - x419 + x420 + x421 = 13;

e77:    x126 - x130 + x168 - x169 + x236 - x239 + x333 - x337 + x376 - x377
      - x422 - x423 + x424 + x425 = 10;

e78:    x134 - x138 + x170 - x171 + x242 - x245 + x341 - x345 + x378 - x379
      - x426 - x427 + x428 + x429 = 13;

e79:    x142 - x146 + x172 - x173 + x248 - x251 + x349 - x353 + x380 - x381
      - x430 - x431 + x432 + x433 = 12;

e80:    x382 - x384 - x434 + x435 = 6;

e81:    x386 - x388 - x436 + x437 = 16;

e82:    x390 - x392 - x438 + x439 = 22;

e83:    x394 - x396 - x440 + x441 = 9;

e84:    x398 - x400 - x442 + x443 = 13;

e85:    x402 - x404 - x444 + x445 = 7;

e86:    x406 - x408 - x446 + x447 = -156;

e87:    x410 - x412 - x448 + x449 = 20;

e88:    x414 - x416 - x450 + x451 = 19;

e89:    x418 - x420 - x452 + x453 = 24;

e90:    x422 - x424 - x454 + x455 = 8;

e91:    x426 - x428 - x456 + x457 = 21;

e92:    x430 - x432 - x458 + x459 = 6;

e93:    x254 - x258 - x460 + x461 = 15;

e94:    x262 - x266 - x462 + x463 = 15;

e95:    x270 - x274 - x464 + x465 = 23;

e96:    x278 - x282 - x466 + x467 = 25;

e97:    x286 - x290 - x468 + x469 = 20;

e98:    x294 - x298 - x470 + x471 = 7;

e99:    x302 - x306 - x472 + x473 = 19;

e100:    x310 - x314 - x474 + x475 = -177;

e101:    x318 - x322 - x476 + x477 = 7;

e102:    x326 - x330 - x478 + x479 = 18;

e103:    x334 - x338 - x480 + x481 = 25;

e104:    x342 - x346 - x482 + x483 = 20;

e105:    x350 - x354 - x484 + x485 = 18;

e106:    x47 - x51 + x460 - x461 - x486 + x487 = 8;

e107:    x55 - x59 + x462 - x463 - x488 + x489 = 11;

e108:    x63 - x67 + x464 - x465 - x490 + x491 = 23;

e109:    x71 - x75 + x466 - x467 - x492 + x493 = 7;

e110:    x79 - x83 + x468 - x469 - x494 + x495 = 5;

e111:    x87 - x91 + x470 - x471 - x496 + x497 = 15;

e112:    x95 - x99 + x472 - x473 - x498 + x499 = 7;

e113:    x103 - x107 + x474 - x475 - x500 + x501 = 10;

e114:    x111 - x115 + x476 - x477 - x502 + x503 = -179;

e115:    x119 - x123 + x478 - x479 - x504 + x505 = 20;

e116:    x127 - x131 + x480 - x481 - x506 + x507 = 18;

e117:    x135 - x139 + x482 - x483 - x508 + x509 = 8;

e118:    x143 - x147 + x484 - x485 - x510 + x511 = 12;

e119:    x383 - x385 + x486 - x487 - x512 + x513 = 9;

e120:    x387 - x389 + x488 - x489 - x514 + x515 = 12;

e121:    x391 - x393 + x490 - x491 - x516 + x517 = 24;

e122:    x395 - x397 + x492 - x493 - x518 + x519 = 21;

e123:    x399 - x401 + x494 - x495 - x520 + x521 = 8;

e124:    x403 - x405 + x496 - x497 - x522 + x523 = 9;

e125:    x407 - x409 + x498 - x499 - x524 + x525 = 11;

e126:    x411 - x413 + x500 - x501 - x526 + x527 = 13;

e127:    x415 - x417 + x502 - x503 - x528 + x529 = 11;

e128:    x419 - x421 + x504 - x505 - x530 + x531 = -183;

e129:    x423 - x425 + x506 - x507 - x532 + x533 = 16;

e130:    x427 - x429 + x508 - x509 - x534 + x535 = 14;

e131:    x431 - x433 + x510 - x511 - x536 + x537 = 17;

e132:    x255 - x259 + x434 - x435 - x538 + x539 = 22;

e133:    x263 - x267 + x436 - x437 - x540 + x541 = 12;

e134:    x271 - x275 + x438 - x439 - x542 + x543 = 7;

e135:    x279 - x283 + x440 - x441 - x544 + x545 = 12;

e136:    x287 - x291 + x442 - x443 - x546 + x547 = 12;

e137:    x295 - x299 + x444 - x445 - x548 + x549 = 10;

e138:    x303 - x307 + x446 - x447 - x550 + x551 = 11;

e139:    x311 - x315 + x448 - x449 - x552 + x553 = 17;

e140:    x319 - x323 + x450 - x451 - x554 + x555 = 17;

e141:    x327 - x331 + x452 - x453 - x556 + x557 = 12;

e142:    x335 - x339 + x454 - x455 - x558 + x559 = -185;

e143:    x343 - x347 + x456 - x457 - x560 + x561 = 10;

e144:    x351 - x355 + x458 - x459 - x562 + x563 = 21;

e145:    x538 - x539 - x564 + x565 = 8;

e146:    x540 - x541 - x566 + x567 = 20;

e147:    x542 - x543 - x568 + x569 = 23;

e148:    x544 - x545 - x570 + x571 = 18;

e149:    x546 - x547 - x572 + x573 = 15;

e150:    x548 - x549 - x574 + x575 = 22;

e151:    x550 - x551 - x576 + x577 = 17;

e152:    x552 - x553 - x578 + x579 = 24;

e153:    x554 - x555 - x580 + x581 = 7;

e154:    x556 - x557 - x582 + x583 = 16;

e155:    x558 - x559 - x584 + x585 = 24;

e156:    x560 - x561 - x586 + x587 = -200;

e157:    x562 - x563 - x588 + x589 = 8;

e158:    x512 - x513 + x564 - x565 = 19;

e159:    x514 - x515 + x566 - x567 = 15;

e160:    x516 - x517 + x568 - x569 = 10;

e161:    x518 - x519 + x570 - x571 = 13;

e162:    x520 - x521 + x572 - x573 = 11;

e163:    x522 - x523 + x574 - x575 = 8;

e164:    x524 - x525 + x576 - x577 = 13;

e165:    x526 - x527 + x578 - x579 = 23;

e166:    x528 - x529 + x580 - x581 = 23;

e167:    x530 - x531 + x582 - x583 = 14;

e168:    x532 - x533 + x584 - x585 = 8;

e169:    x534 - x535 + x586 - x587 = 25;

e170:    x536 - x537 + x588 - x589 = -157;

e171:    x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 + x598 + 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 <= 18536;

e172:  - 166*b2 + x44 + x52 + x60 + x68 + x76 + x84 + x92 + x100 + x108 + x116
       + x124 + x132 + x140 <= 0;

e173:  - 463*b3 + x45 + x53 + x61 + x69 + x77 + x85 + x93 + x101 + x109 + x117
       + x125 + x133 + x141 <= 0;

e174:  - 522*b4 + x46 + x54 + x62 + x70 + x78 + x86 + x94 + x102 + x110 + x118
       + x126 + x134 + x142 <= 0;

e175:  - 141*b5 + x47 + x55 + x63 + x71 + x79 + x87 + x95 + x103 + x111 + x119
       + x127 + x135 + x143 <= 0;

e176:  - 166*b6 + x48 + x56 + x64 + x72 + x80 + x88 + x96 + x104 + x112 + x120
       + x128 + x136 + x144 <= 0;

e177:  - 265*b7 + x148 + x150 + x152 + x154 + x156 + x158 + x160 + x162 + x164
       + x166 + x168 + x170 + x172 <= 0;

e178:  - 463*b8 + x49 + x57 + x65 + x73 + x81 + x89 + x97 + x105 + x113 + x121
       + x129 + x137 + x145 <= 0;

e179:  - 456*b9 + x174 + x180 + x186 + x192 + x198 + x204 + x210 + x216 + x222
       + x228 + x234 + x240 + x246 <= 0;

e180:  - 526*b10 + x175 + x181 + x187 + x193 + x199 + x205 + x211 + x217 + x223
       + x229 + x235 + x241 + x247 <= 0;

e181:  - 152*b11 + x176 + x182 + x188 + x194 + x200 + x206 + x212 + x218 + x224
       + x230 + x236 + x242 + x248 <= 0;

e182:  - 456*b12 + x177 + x183 + x189 + x195 + x201 + x207 + x213 + x219 + x225
       + x231 + x237 + x243 + x249 <= 0;

e183:  - 384*b13 + x252 + x260 + x268 + x276 + x284 + x292 + x300 + x308 + x316
       + x324 + x332 + x340 + x348 <= 0;

e184:  - 441*b14 + x253 + x261 + x269 + x277 + x285 + x293 + x301 + x309 + x317
       + x325 + x333 + x341 + x349 <= 0;

e185:  - 309*b15 + x254 + x262 + x270 + x278 + x286 + x294 + x302 + x310 + x318
       + x326 + x334 + x342 + x350 <= 0;

e186:  - 233*b16 + x255 + x263 + x271 + x279 + x287 + x295 + x303 + x311 + x319
       + x327 + x335 + x343 + x351 <= 0;

e187:  - 526*b17 + x178 + x184 + x190 + x196 + x202 + x208 + x214 + x220 + x226
       + x232 + x238 + x244 + x250 <= 0;

e188:  - 384*b18 + x256 + x264 + x272 + x280 + x288 + x296 + x304 + x312 + x320
       + x328 + x336 + x344 + x352 <= 0;

e189:  - 203*b19 + x356 + x358 + x360 + x362 + x364 + x366 + x368 + x370 + x372
       + x374 + x376 + x378 + x380 <= 0;

e190:  - 522*b20 + x50 + x58 + x66 + x74 + x82 + x90 + x98 + x106 + x114 + x122
       + x130 + x138 + x146 <= 0;

e191:  - 265*b21 + x149 + x151 + x153 + x155 + x157 + x159 + x161 + x163 + x165
       + x167 + x169 + x171 + x173 <= 0;

e192:  - 152*b22 + x179 + x185 + x191 + x197 + x203 + x209 + x215 + x221 + x227
       + x233 + x239 + x245 + x251 <= 0;

e193:  - 441*b23 + x257 + x265 + x273 + x281 + x289 + x297 + x305 + x313 + x321
       + x329 + x337 + x345 + x353 <= 0;

e194:  - 203*b24 + x357 + x359 + x361 + x363 + x365 + x367 + x369 + x371 + x373
       + x375 + x377 + x379 + x381 <= 0;

e195:  - 284*b25 + x382 + x386 + x390 + x394 + x398 + x402 + x406 + x410 + x414
       + x418 + x422 + x426 + x430 <= 0;

e196:  - 426*b26 + x383 + x387 + x391 + x395 + x399 + x403 + x407 + x411 + x415
       + x419 + x423 + x427 + x431 <= 0;

e197:  - 284*b27 + x384 + x388 + x392 + x396 + x400 + x404 + x408 + x412 + x416
       + x420 + x424 + x428 + x432 <= 0;

e198:  - 109*b28 + x434 + x436 + x438 + x440 + x442 + x444 + x446 + x448 + x450
       + x452 + x454 + x456 + x458 <= 0;

e199:  - 309*b29 + x258 + x266 + x274 + x282 + x290 + x298 + x306 + x314 + x322
       + x330 + x338 + x346 + x354 <= 0;

e200:  - 434*b30 + x460 + x462 + x464 + x466 + x468 + x470 + x472 + x474 + x476
       + x478 + x480 + x482 + x484 <= 0;

e201:  - 141*b31 + x51 + x59 + x67 + x75 + x83 + x91 + x99 + x107 + x115 + x123
       + x131 + x139 + x147 <= 0;

e202:  - 434*b32 + x461 + x463 + x465 + x467 + x469 + x471 + x473 + x475 + x477
       + x479 + x481 + x483 + x485 <= 0;

e203:  - 403*b33 + x486 + x488 + x490 + x492 + x494 + x496 + x498 + x500 + x502
       + x504 + x506 + x508 + x510 <= 0;

e204:  - 426*b34 + x385 + x389 + x393 + x397 + x401 + x405 + x409 + x413 + x417
       + x421 + x425 + x429 + x433 <= 0;

e205:  - 403*b35 + x487 + x489 + x491 + x493 + x495 + x497 + x499 + x501 + x503
       + x505 + x507 + x509 + x511 <= 0;

e206:  - 151*b36 + x512 + x514 + x516 + x518 + x520 + x522 + x524 + x526 + x528
       + x530 + x532 + x534 + x536 <= 0;

e207:  - 233*b37 + x259 + x267 + x275 + x283 + x291 + x299 + x307 + x315 + x323
       + x331 + x339 + x347 + x355 <= 0;

e208:  - 109*b38 + x435 + x437 + x439 + x441 + x443 + x445 + x447 + x449 + x451
       + x453 + x455 + x457 + x459 <= 0;

e209:  - 367*b39 + x538 + x540 + x542 + x544 + x546 + x548 + x550 + x552 + x554
       + x556 + x558 + x560 + x562 <= 0;

e210:  - 367*b40 + x539 + x541 + x543 + x545 + x547 + x549 + x551 + x553 + x555
       + x557 + x559 + x561 + x563 <= 0;

e211:  - 382*b41 + x564 + x566 + x568 + x570 + x572 + x574 + x576 + x578 + x580
       + x582 + x584 + x586 + x588 <= 0;

e212:  - 151*b42 + x513 + x515 + x517 + x519 + x521 + x523 + x525 + x527 + x529
       + x531 + x533 + x535 + x537 <= 0;

e213:  - 382*b43 + x565 + x567 + x569 + x571 + x573 + x575 + x577 + x579 + x581
       + x583 + x585 + x587 + x589 <= 0;

e214: (-x590*x44) - 166*x44 + 166*x590 - x590*x52 - 166*x52 - x590*x60 - 166*
      x60 - x590*x68 - 166*x68 - x590*x76 - 166*x76 - x590*x84 - 166*x84 - x590
      *x92 - 166*x92 - x590*x100 - 166*x100 - x590*x108 - 166*x108 - x590*x116
       - 166*x116 - x590*x124 - 166*x124 - x590*x132 - 166*x132 - x590*x140 - 
      166*x140 >= 0;

e215: (-x591*x45) - 463*x45 + 463*x591 - x591*x53 - 463*x53 - x591*x61 - 463*
      x61 - x591*x69 - 463*x69 - x591*x77 - 463*x77 - x591*x85 - 463*x85 - x591
      *x93 - 463*x93 - x591*x101 - 463*x101 - x591*x109 - 463*x109 - x591*x117
       - 463*x117 - x591*x125 - 463*x125 - x591*x133 - 463*x133 - x591*x141 - 
      463*x141 >= 0;

e216: (-x592*x46) - 522*x46 + 522*x592 - x592*x54 - 522*x54 - x592*x62 - 522*
      x62 - x592*x70 - 522*x70 - x592*x78 - 522*x78 - x592*x86 - 522*x86 - x592
      *x94 - 522*x94 - x592*x102 - 522*x102 - x592*x110 - 522*x110 - x592*x118
       - 522*x118 - x592*x126 - 522*x126 - x592*x134 - 522*x134 - x592*x142 - 
      522*x142 >= 0;

e217: (-x593*x47) - 141*x47 + 141*x593 - x593*x55 - 141*x55 - x593*x63 - 141*
      x63 - x593*x71 - 141*x71 - x593*x79 - 141*x79 - x593*x87 - 141*x87 - x593
      *x95 - 141*x95 - x593*x103 - 141*x103 - x593*x111 - 141*x111 - x593*x119
       - 141*x119 - x593*x127 - 141*x127 - x593*x135 - 141*x135 - x593*x143 - 
      141*x143 >= 0;

e218: (-x594*x48) - 166*x48 + 166*x594 - x594*x56 - 166*x56 - x594*x64 - 166*
      x64 - x594*x72 - 166*x72 - x594*x80 - 166*x80 - x594*x88 - 166*x88 - x594
      *x96 - 166*x96 - x594*x104 - 166*x104 - x594*x112 - 166*x112 - x594*x120
       - 166*x120 - x594*x128 - 166*x128 - x594*x136 - 166*x136 - x594*x144 - 
      166*x144 >= 0;

e219: (-x595*x148) - 265*x148 + 265*x595 - x595*x150 - 265*x150 - x595*x152 - 
      265*x152 - x595*x154 - 265*x154 - x595*x156 - 265*x156 - x595*x158 - 265*
      x158 - x595*x160 - 265*x160 - x595*x162 - 265*x162 - x595*x164 - 265*x164
       - x595*x166 - 265*x166 - x595*x168 - 265*x168 - x595*x170 - 265*x170 - 
      x595*x172 - 265*x172 >= 0;

e220: (-x596*x49) - 463*x49 + 463*x596 - x596*x57 - 463*x57 - x596*x65 - 463*
      x65 - x596*x73 - 463*x73 - x596*x81 - 463*x81 - x596*x89 - 463*x89 - x596
      *x97 - 463*x97 - x596*x105 - 463*x105 - x596*x113 - 463*x113 - x596*x121
       - 463*x121 - x596*x129 - 463*x129 - x596*x137 - 463*x137 - x596*x145 - 
      463*x145 >= 0;

e221: (-x597*x174) - 456*x174 + 456*x597 - x597*x180 - 456*x180 - x597*x186 - 
      456*x186 - x597*x192 - 456*x192 - x597*x198 - 456*x198 - x597*x204 - 456*
      x204 - x597*x210 - 456*x210 - x597*x216 - 456*x216 - x597*x222 - 456*x222
       - x597*x228 - 456*x228 - x597*x234 - 456*x234 - x597*x240 - 456*x240 - 
      x597*x246 - 456*x246 >= 0;

e222: (-x598*x175) - 526*x175 + 526*x598 - x598*x181 - 526*x181 - x598*x187 - 
      526*x187 - x598*x193 - 526*x193 - x598*x199 - 526*x199 - x598*x205 - 526*
      x205 - x598*x211 - 526*x211 - x598*x217 - 526*x217 - x598*x223 - 526*x223
       - x598*x229 - 526*x229 - x598*x235 - 526*x235 - x598*x241 - 526*x241 - 
      x598*x247 - 526*x247 >= 0;

e223: (-x599*x176) - 152*x176 + 152*x599 - x599*x182 - 152*x182 - x599*x188 - 
      152*x188 - x599*x194 - 152*x194 - x599*x200 - 152*x200 - x599*x206 - 152*
      x206 - x599*x212 - 152*x212 - x599*x218 - 152*x218 - x599*x224 - 152*x224
       - x599*x230 - 152*x230 - x599*x236 - 152*x236 - x599*x242 - 152*x242 - 
      x599*x248 - 152*x248 >= 0;

e224: (-x600*x177) - 456*x177 + 456*x600 - x600*x183 - 456*x183 - x600*x189 - 
      456*x189 - x600*x195 - 456*x195 - x600*x201 - 456*x201 - x600*x207 - 456*
      x207 - x600*x213 - 456*x213 - x600*x219 - 456*x219 - x600*x225 - 456*x225
       - x600*x231 - 456*x231 - x600*x237 - 456*x237 - x600*x243 - 456*x243 - 
      x600*x249 - 456*x249 >= 0;

e225: (-x601*x252) - 384*x252 + 384*x601 - x601*x260 - 384*x260 - x601*x268 - 
      384*x268 - x601*x276 - 384*x276 - x601*x284 - 384*x284 - x601*x292 - 384*
      x292 - x601*x300 - 384*x300 - x601*x308 - 384*x308 - x601*x316 - 384*x316
       - x601*x324 - 384*x324 - x601*x332 - 384*x332 - x601*x340 - 384*x340 - 
      x601*x348 - 384*x348 >= 0;

e226: (-x602*x253) - 441*x253 + 441*x602 - x602*x261 - 441*x261 - x602*x269 - 
      441*x269 - x602*x277 - 441*x277 - x602*x285 - 441*x285 - x602*x293 - 441*
      x293 - x602*x301 - 441*x301 - x602*x309 - 441*x309 - x602*x317 - 441*x317
       - x602*x325 - 441*x325 - x602*x333 - 441*x333 - x602*x341 - 441*x341 - 
      x602*x349 - 441*x349 >= 0;

e227: (-x603*x254) - 309*x254 + 309*x603 - x603*x262 - 309*x262 - x603*x270 - 
      309*x270 - x603*x278 - 309*x278 - x603*x286 - 309*x286 - x603*x294 - 309*
      x294 - x603*x302 - 309*x302 - x603*x310 - 309*x310 - x603*x318 - 309*x318
       - x603*x326 - 309*x326 - x603*x334 - 309*x334 - x603*x342 - 309*x342 - 
      x603*x350 - 309*x350 >= 0;

e228: (-x604*x255) - 233*x255 + 233*x604 - x604*x263 - 233*x263 - x604*x271 - 
      233*x271 - x604*x279 - 233*x279 - x604*x287 - 233*x287 - x604*x295 - 233*
      x295 - x604*x303 - 233*x303 - x604*x311 - 233*x311 - x604*x319 - 233*x319
       - x604*x327 - 233*x327 - x604*x335 - 233*x335 - x604*x343 - 233*x343 - 
      x604*x351 - 233*x351 >= 0;

e229: (-x605*x178) - 526*x178 + 526*x605 - x605*x184 - 526*x184 - x605*x190 - 
      526*x190 - x605*x196 - 526*x196 - x605*x202 - 526*x202 - x605*x208 - 526*
      x208 - x605*x214 - 526*x214 - x605*x220 - 526*x220 - x605*x226 - 526*x226
       - x605*x232 - 526*x232 - x605*x238 - 526*x238 - x605*x244 - 526*x244 - 
      x605*x250 - 526*x250 >= 0;

e230: (-x606*x256) - 384*x256 + 384*x606 - x606*x264 - 384*x264 - x606*x272 - 
      384*x272 - x606*x280 - 384*x280 - x606*x288 - 384*x288 - x606*x296 - 384*
      x296 - x606*x304 - 384*x304 - x606*x312 - 384*x312 - x606*x320 - 384*x320
       - x606*x328 - 384*x328 - x606*x336 - 384*x336 - x606*x344 - 384*x344 - 
      x606*x352 - 384*x352 >= 0;

e231: (-x607*x356) - 203*x356 + 203*x607 - x607*x358 - 203*x358 - x607*x360 - 
      203*x360 - x607*x362 - 203*x362 - x607*x364 - 203*x364 - x607*x366 - 203*
      x366 - x607*x368 - 203*x368 - x607*x370 - 203*x370 - x607*x372 - 203*x372
       - x607*x374 - 203*x374 - x607*x376 - 203*x376 - x607*x378 - 203*x378 - 
      x607*x380 - 203*x380 >= 0;

e232: (-x608*x50) - 522*x50 + 522*x608 - x608*x58 - 522*x58 - x608*x66 - 522*
      x66 - x608*x74 - 522*x74 - x608*x82 - 522*x82 - x608*x90 - 522*x90 - x608
      *x98 - 522*x98 - x608*x106 - 522*x106 - x608*x114 - 522*x114 - x608*x122
       - 522*x122 - x608*x130 - 522*x130 - x608*x138 - 522*x138 - x608*x146 - 
      522*x146 >= 0;

e233: (-x609*x149) - 265*x149 + 265*x609 - x609*x151 - 265*x151 - x609*x153 - 
      265*x153 - x609*x155 - 265*x155 - x609*x157 - 265*x157 - x609*x159 - 265*
      x159 - x609*x161 - 265*x161 - x609*x163 - 265*x163 - x609*x165 - 265*x165
       - x609*x167 - 265*x167 - x609*x169 - 265*x169 - x609*x171 - 265*x171 - 
      x609*x173 - 265*x173 >= 0;

e234: (-x610*x179) - 152*x179 + 152*x610 - x610*x185 - 152*x185 - x610*x191 - 
      152*x191 - x610*x197 - 152*x197 - x610*x203 - 152*x203 - x610*x209 - 152*
      x209 - x610*x215 - 152*x215 - x610*x221 - 152*x221 - x610*x227 - 152*x227
       - x610*x233 - 152*x233 - x610*x239 - 152*x239 - x610*x245 - 152*x245 - 
      x610*x251 - 152*x251 >= 0;

e235: (-x611*x257) - 441*x257 + 441*x611 - x611*x265 - 441*x265 - x611*x273 - 
      441*x273 - x611*x281 - 441*x281 - x611*x289 - 441*x289 - x611*x297 - 441*
      x297 - x611*x305 - 441*x305 - x611*x313 - 441*x313 - x611*x321 - 441*x321
       - x611*x329 - 441*x329 - x611*x337 - 441*x337 - x611*x345 - 441*x345 - 
      x611*x353 - 441*x353 >= 0;

e236: (-x612*x357) - 203*x357 + 203*x612 - x612*x359 - 203*x359 - x612*x361 - 
      203*x361 - x612*x363 - 203*x363 - x612*x365 - 203*x365 - x612*x367 - 203*
      x367 - x612*x369 - 203*x369 - x612*x371 - 203*x371 - x612*x373 - 203*x373
       - x612*x375 - 203*x375 - x612*x377 - 203*x377 - x612*x379 - 203*x379 - 
      x612*x381 - 203*x381 >= 0;

e237: (-x613*x382) - 284*x382 + 284*x613 - x613*x386 - 284*x386 - x613*x390 - 
      284*x390 - x613*x394 - 284*x394 - x613*x398 - 284*x398 - x613*x402 - 284*
      x402 - x613*x406 - 284*x406 - x613*x410 - 284*x410 - x613*x414 - 284*x414
       - x613*x418 - 284*x418 - x613*x422 - 284*x422 - x613*x426 - 284*x426 - 
      x613*x430 - 284*x430 >= 0;

e238: (-x614*x383) - 426*x383 + 426*x614 - x614*x387 - 426*x387 - x614*x391 - 
      426*x391 - x614*x395 - 426*x395 - x614*x399 - 426*x399 - x614*x403 - 426*
      x403 - x614*x407 - 426*x407 - x614*x411 - 426*x411 - x614*x415 - 426*x415
       - x614*x419 - 426*x419 - x614*x423 - 426*x423 - x614*x427 - 426*x427 - 
      x614*x431 - 426*x431 >= 0;

e239: (-x615*x384) - 284*x384 + 284*x615 - x615*x388 - 284*x388 - x615*x392 - 
      284*x392 - x615*x396 - 284*x396 - x615*x400 - 284*x400 - x615*x404 - 284*
      x404 - x615*x408 - 284*x408 - x615*x412 - 284*x412 - x615*x416 - 284*x416
       - x615*x420 - 284*x420 - x615*x424 - 284*x424 - x615*x428 - 284*x428 - 
      x615*x432 - 284*x432 >= 0;

e240: (-x616*x434) - 109*x434 + 109*x616 - x616*x436 - 109*x436 - x616*x438 - 
      109*x438 - x616*x440 - 109*x440 - x616*x442 - 109*x442 - x616*x444 - 109*
      x444 - x616*x446 - 109*x446 - x616*x448 - 109*x448 - x616*x450 - 109*x450
       - x616*x452 - 109*x452 - x616*x454 - 109*x454 - x616*x456 - 109*x456 - 
      x616*x458 - 109*x458 >= 0;

e241: (-x617*x258) - 309*x258 + 309*x617 - x617*x266 - 309*x266 - x617*x274 - 
      309*x274 - x617*x282 - 309*x282 - x617*x290 - 309*x290 - x617*x298 - 309*
      x298 - x617*x306 - 309*x306 - x617*x314 - 309*x314 - x617*x322 - 309*x322
       - x617*x330 - 309*x330 - x617*x338 - 309*x338 - x617*x346 - 309*x346 - 
      x617*x354 - 309*x354 >= 0;

e242: (-x618*x460) - 434*x460 + 434*x618 - x618*x462 - 434*x462 - x618*x464 - 
      434*x464 - x618*x466 - 434*x466 - x618*x468 - 434*x468 - x618*x470 - 434*
      x470 - x618*x472 - 434*x472 - x618*x474 - 434*x474 - x618*x476 - 434*x476
       - x618*x478 - 434*x478 - x618*x480 - 434*x480 - x618*x482 - 434*x482 - 
      x618*x484 - 434*x484 >= 0;

e243: (-x619*x51) - 141*x51 + 141*x619 - x619*x59 - 141*x59 - x619*x67 - 141*
      x67 - x619*x75 - 141*x75 - x619*x83 - 141*x83 - x619*x91 - 141*x91 - x619
      *x99 - 141*x99 - x619*x107 - 141*x107 - x619*x115 - 141*x115 - x619*x123
       - 141*x123 - x619*x131 - 141*x131 - x619*x139 - 141*x139 - x619*x147 - 
      141*x147 >= 0;

e244: (-x620*x461) - 434*x461 + 434*x620 - x620*x463 - 434*x463 - x620*x465 - 
      434*x465 - x620*x467 - 434*x467 - x620*x469 - 434*x469 - x620*x471 - 434*
      x471 - x620*x473 - 434*x473 - x620*x475 - 434*x475 - x620*x477 - 434*x477
       - x620*x479 - 434*x479 - x620*x481 - 434*x481 - x620*x483 - 434*x483 - 
      x620*x485 - 434*x485 >= 0;

e245: (-x621*x486) - 403*x486 + 403*x621 - x621*x488 - 403*x488 - x621*x490 - 
      403*x490 - x621*x492 - 403*x492 - x621*x494 - 403*x494 - x621*x496 - 403*
      x496 - x621*x498 - 403*x498 - x621*x500 - 403*x500 - x621*x502 - 403*x502
       - x621*x504 - 403*x504 - x621*x506 - 403*x506 - x621*x508 - 403*x508 - 
      x621*x510 - 403*x510 >= 0;

e246: (-x622*x385) - 426*x385 + 426*x622 - x622*x389 - 426*x389 - x622*x393 - 
      426*x393 - x622*x397 - 426*x397 - x622*x401 - 426*x401 - x622*x405 - 426*
      x405 - x622*x409 - 426*x409 - x622*x413 - 426*x413 - x622*x417 - 426*x417
       - x622*x421 - 426*x421 - x622*x425 - 426*x425 - x622*x429 - 426*x429 - 
      x622*x433 - 426*x433 >= 0;

e247: (-x623*x487) - 403*x487 + 403*x623 - x623*x489 - 403*x489 - x623*x491 - 
      403*x491 - x623*x493 - 403*x493 - x623*x495 - 403*x495 - x623*x497 - 403*
      x497 - x623*x499 - 403*x499 - x623*x501 - 403*x501 - x623*x503 - 403*x503
       - x623*x505 - 403*x505 - x623*x507 - 403*x507 - x623*x509 - 403*x509 - 
      x623*x511 - 403*x511 >= 0;

e248: (-x624*x512) - 151*x512 + 151*x624 - x624*x514 - 151*x514 - x624*x516 - 
      151*x516 - x624*x518 - 151*x518 - x624*x520 - 151*x520 - x624*x522 - 151*
      x522 - x624*x524 - 151*x524 - x624*x526 - 151*x526 - x624*x528 - 151*x528
       - x624*x530 - 151*x530 - x624*x532 - 151*x532 - x624*x534 - 151*x534 - 
      x624*x536 - 151*x536 >= 0;

e249: (-x625*x259) - 233*x259 + 233*x625 - x625*x267 - 233*x267 - x625*x275 - 
      233*x275 - x625*x283 - 233*x283 - x625*x291 - 233*x291 - x625*x299 - 233*
      x299 - x625*x307 - 233*x307 - x625*x315 - 233*x315 - x625*x323 - 233*x323
       - x625*x331 - 233*x331 - x625*x339 - 233*x339 - x625*x347 - 233*x347 - 
      x625*x355 - 233*x355 >= 0;

e250: (-x626*x435) - 109*x435 + 109*x626 - x626*x437 - 109*x437 - x626*x439 - 
      109*x439 - x626*x441 - 109*x441 - x626*x443 - 109*x443 - x626*x445 - 109*
      x445 - x626*x447 - 109*x447 - x626*x449 - 109*x449 - x626*x451 - 109*x451
       - x626*x453 - 109*x453 - x626*x455 - 109*x455 - x626*x457 - 109*x457 - 
      x626*x459 - 109*x459 >= 0;

e251: (-x627*x538) - 367*x538 + 367*x627 - x627*x540 - 367*x540 - x627*x542 - 
      367*x542 - x627*x544 - 367*x544 - x627*x546 - 367*x546 - x627*x548 - 367*
      x548 - x627*x550 - 367*x550 - x627*x552 - 367*x552 - x627*x554 - 367*x554
       - x627*x556 - 367*x556 - x627*x558 - 367*x558 - x627*x560 - 367*x560 - 
      x627*x562 - 367*x562 >= 0;

e252: (-x628*x539) - 367*x539 + 367*x628 - x628*x541 - 367*x541 - x628*x543 - 
      367*x543 - x628*x545 - 367*x545 - x628*x547 - 367*x547 - x628*x549 - 367*
      x549 - x628*x551 - 367*x551 - x628*x553 - 367*x553 - x628*x555 - 367*x555
       - x628*x557 - 367*x557 - x628*x559 - 367*x559 - x628*x561 - 367*x561 - 
      x628*x563 - 367*x563 >= 0;

e253: (-x629*x564) - 382*x564 + 382*x629 - x629*x566 - 382*x566 - x629*x568 - 
      382*x568 - x629*x570 - 382*x570 - x629*x572 - 382*x572 - x629*x574 - 382*
      x574 - x629*x576 - 382*x576 - x629*x578 - 382*x578 - x629*x580 - 382*x580
       - x629*x582 - 382*x582 - x629*x584 - 382*x584 - x629*x586 - 382*x586 - 
      x629*x588 - 382*x588 >= 0;

e254: (-x630*x513) - 151*x513 + 151*x630 - x630*x515 - 151*x515 - x630*x517 - 
      151*x517 - x630*x519 - 151*x519 - x630*x521 - 151*x521 - x630*x523 - 151*
      x523 - x630*x525 - 151*x525 - x630*x527 - 151*x527 - x630*x529 - 151*x529
       - x630*x531 - 151*x531 - x630*x533 - 151*x533 - x630*x535 - 151*x535 - 
      x630*x537 - 151*x537 >= 0;

e255: (-x631*x565) - 382*x565 + 382*x631 - x631*x567 - 382*x567 - x631*x569 - 
      382*x569 - x631*x571 - 382*x571 - x631*x573 - 382*x573 - x631*x575 - 382*
      x575 - x631*x577 - 382*x577 - x631*x579 - 382*x579 - x631*x581 - 382*x581
       - x631*x583 - 382*x583 - x631*x585 - 382*x585 - x631*x587 - 382*x587 - 
      x631*x589 - 382*x589 >= 0;