#  MIQCP written by GAMS Convert at 02/15/18 15:48:03
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        297      170       42       85        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        673      631       42        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2479     2353      126        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;
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 x645 >= 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;

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:  - x44 - x52 - x60 - x68 - x76 - x84 - x92 - x100 - x108 - x116 - x124
       - x132 - x140 + x590 >= 0;

e172:  - x45 - x53 - x61 - x69 - x77 - x85 - x93 - x101 - x109 - x117 - x125
       - x133 - x141 + x591 >= 0;

e173:  - x46 - x54 - x62 - x70 - x78 - x86 - x94 - x102 - x110 - x118 - x126
       - x134 - x142 + x592 >= 0;

e174:  - x47 - x55 - x63 - x71 - x79 - x87 - x95 - x103 - x111 - x119 - x127
       - x135 - x143 + x593 >= 0;

e175:  - x48 - x56 - x64 - x72 - x80 - x88 - x96 - x104 - x112 - x120 - x128
       - x136 - x144 + x594 >= 0;

e176:  - x148 - x150 - x152 - x154 - x156 - x158 - x160 - x162 - x164 - x166
       - x168 - x170 - x172 + x595 >= 0;

e177:  - x49 - x57 - x65 - x73 - x81 - x89 - x97 - x105 - x113 - x121 - x129
       - x137 - x145 + x596 >= 0;

e178:  - x174 - x180 - x186 - x192 - x198 - x204 - x210 - x216 - x222 - x228
       - x234 - x240 - x246 + x597 >= 0;

e179:  - x175 - x181 - x187 - x193 - x199 - x205 - x211 - x217 - x223 - x229
       - x235 - x241 - x247 + x598 >= 0;

e180:  - x176 - x182 - x188 - x194 - x200 - x206 - x212 - x218 - x224 - x230
       - x236 - x242 - x248 + x599 >= 0;

e181:  - x177 - x183 - x189 - x195 - x201 - x207 - x213 - x219 - x225 - x231
       - x237 - x243 - x249 + x600 >= 0;

e182:  - x252 - x260 - x268 - x276 - x284 - x292 - x300 - x308 - x316 - x324
       - x332 - x340 - x348 + x601 >= 0;

e183:  - x253 - x261 - x269 - x277 - x285 - x293 - x301 - x309 - x317 - x325
       - x333 - x341 - x349 + x602 >= 0;

e184:  - x254 - x262 - x270 - x278 - x286 - x294 - x302 - x310 - x318 - x326
       - x334 - x342 - x350 + x603 >= 0;

e185:  - x255 - x263 - x271 - x279 - x287 - x295 - x303 - x311 - x319 - x327
       - x335 - x343 - x351 + x604 >= 0;

e186:  - x178 - x184 - x190 - x196 - x202 - x208 - x214 - x220 - x226 - x232
       - x238 - x244 - x250 + x605 >= 0;

e187:  - x256 - x264 - x272 - x280 - x288 - x296 - x304 - x312 - x320 - x328
       - x336 - x344 - x352 + x606 >= 0;

e188:  - x356 - x358 - x360 - x362 - x364 - x366 - x368 - x370 - x372 - x374
       - x376 - x378 - x380 + x607 >= 0;

e189:  - x50 - x58 - x66 - x74 - x82 - x90 - x98 - x106 - x114 - x122 - x130
       - x138 - x146 + x608 >= 0;

e190:  - x149 - x151 - x153 - x155 - x157 - x159 - x161 - x163 - x165 - x167
       - x169 - x171 - x173 + x609 >= 0;

e191:  - x179 - x185 - x191 - x197 - x203 - x209 - x215 - x221 - x227 - x233
       - x239 - x245 - x251 + x610 >= 0;

e192:  - x257 - x265 - x273 - x281 - x289 - x297 - x305 - x313 - x321 - x329
       - x337 - x345 - x353 + x611 >= 0;

e193:  - x357 - x359 - x361 - x363 - x365 - x367 - x369 - x371 - x373 - x375
       - x377 - x379 - x381 + x612 >= 0;

e194:  - x382 - x386 - x390 - x394 - x398 - x402 - x406 - x410 - x414 - x418
       - x422 - x426 - x430 + x613 >= 0;

e195:  - x383 - x387 - x391 - x395 - x399 - x403 - x407 - x411 - x415 - x419
       - x423 - x427 - x431 + x614 >= 0;

e196:  - x384 - x388 - x392 - x396 - x400 - x404 - x408 - x412 - x416 - x420
       - x424 - x428 - x432 + x615 >= 0;

e197:  - x434 - x436 - x438 - x440 - x442 - x444 - x446 - x448 - x450 - x452
       - x454 - x456 - x458 + x616 >= 0;

e198:  - x258 - x266 - x274 - x282 - x290 - x298 - x306 - x314 - x322 - x330
       - x338 - x346 - x354 + x617 >= 0;

e199:  - x460 - x462 - x464 - x466 - x468 - x470 - x472 - x474 - x476 - x478
       - x480 - x482 - x484 + x618 >= 0;

e200:  - x51 - x59 - x67 - x75 - x83 - x91 - x99 - x107 - x115 - x123 - x131
       - x139 - x147 + x619 >= 0;

e201:  - x461 - x463 - x465 - x467 - x469 - x471 - x473 - x475 - x477 - x479
       - x481 - x483 - x485 + x620 >= 0;

e202:  - x486 - x488 - x490 - x492 - x494 - x496 - x498 - x500 - x502 - x504
       - x506 - x508 - x510 + x621 >= 0;

e203:  - x385 - x389 - x393 - x397 - x401 - x405 - x409 - x413 - x417 - x421
       - x425 - x429 - x433 + x622 >= 0;

e204:  - x487 - x489 - x491 - x493 - x495 - x497 - x499 - x501 - x503 - x505
       - x507 - x509 - x511 + x623 >= 0;

e205:  - x512 - x514 - x516 - x518 - x520 - x522 - x524 - x526 - x528 - x530
       - x532 - x534 - x536 + x624 >= 0;

e206:  - x259 - x267 - x275 - x283 - x291 - x299 - x307 - x315 - x323 - x331
       - x339 - x347 - x355 + x625 >= 0;

e207:  - x435 - x437 - x439 - x441 - x443 - x445 - x447 - x449 - x451 - x453
       - x455 - x457 - x459 + x626 >= 0;

e208:  - x538 - x540 - x542 - x544 - x546 - x548 - x550 - x552 - x554 - x556
       - x558 - x560 - x562 + x627 >= 0;

e209:  - x539 - x541 - x543 - x545 - x547 - x549 - x551 - x553 - x555 - x557
       - x559 - x561 - x563 + x628 >= 0;

e210:  - x564 - x566 - x568 - x570 - x572 - x574 - x576 - x578 - x580 - x582
       - x584 - x586 - x588 + x629 >= 0;

e211:  - x513 - x515 - x517 - x519 - x521 - x523 - x525 - x527 - x529 - x531
       - x533 - x535 - x537 + x630 >= 0;

e212:  - x565 - x567 - x569 - x571 - x573 - x575 - x577 - x579 - x581 - x583
       - x585 - x587 - x589 + x631 >= 0;

e213:    x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641
       + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 + x650 + x651
       + x652 + x653 + x654 + x655 + x656 + x657 + x658 + x659 + x660 + x661
       + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671
       + x672 + x673 <= 18536;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

e256: 166*x590*b2 - 166*x632*b2 + x632*x590 <= 0;

e257: 463*x591*b3 - 463*x633*b3 + x633*x591 <= 0;

e258: 522*x592*b4 - 522*x634*b4 + x634*x592 <= 0;

e259: 141*x593*b5 - 141*x635*b5 + x635*x593 <= 0;

e260: 166*x594*b6 - 166*x636*b6 + x636*x594 <= 0;

e261: 265*x595*b7 - 265*x637*b7 + x637*x595 <= 0;

e262: 463*x596*b8 - 463*x638*b8 + x638*x596 <= 0;

e263: 456*x597*b9 - 456*x639*b9 + x639*x597 <= 0;

e264: 526*x598*b10 - 526*x640*b10 + x640*x598 <= 0;

e265: 152*x599*b11 - 152*x641*b11 + x641*x599 <= 0;

e266: 456*x600*b12 - 456*x642*b12 + x642*x600 <= 0;

e267: 384*x601*b13 - 384*x643*b13 + x643*x601 <= 0;

e268: 441*x602*b14 - 441*x644*b14 + x644*x602 <= 0;

e269: 309*x603*b15 - 309*x645*b15 + x645*x603 <= 0;

e270: 233*x604*b16 - 233*x646*b16 + x646*x604 <= 0;

e271: 526*x605*b17 - 526*x647*b17 + x647*x605 <= 0;

e272: 384*x606*b18 - 384*x648*b18 + x648*x606 <= 0;

e273: 203*x607*b19 - 203*x649*b19 + x649*x607 <= 0;

e274: 522*x608*b20 - 522*x650*b20 + x650*x608 <= 0;

e275: 265*x609*b21 - 265*x651*b21 + x651*x609 <= 0;

e276: 152*x610*b22 - 152*x652*b22 + x652*x610 <= 0;

e277: 441*x611*b23 - 441*x653*b23 + x653*x611 <= 0;

e278: 203*x612*b24 - 203*x654*b24 + x654*x612 <= 0;

e279: 284*x613*b25 - 284*x655*b25 + x655*x613 <= 0;

e280: 426*x614*b26 - 426*x656*b26 + x656*x614 <= 0;

e281: 284*x615*b27 - 284*x657*b27 + x657*x615 <= 0;

e282: 109*x616*b28 - 109*x658*b28 + x658*x616 <= 0;

e283: 309*x617*b29 - 309*x659*b29 + x659*x617 <= 0;

e284: 434*x618*b30 - 434*x660*b30 + x660*x618 <= 0;

e285: 141*x619*b31 - 141*x661*b31 + x661*x619 <= 0;

e286: 434*x620*b32 - 434*x662*b32 + x662*x620 <= 0;

e287: 403*x621*b33 - 403*x663*b33 + x663*x621 <= 0;

e288: 426*x622*b34 - 426*x664*b34 + x664*x622 <= 0;

e289: 403*x623*b35 - 403*x665*b35 + x665*x623 <= 0;

e290: 151*x624*b36 - 151*x666*b36 + x666*x624 <= 0;

e291: 233*x625*b37 - 233*x667*b37 + x667*x625 <= 0;

e292: 109*x626*b38 - 109*x668*b38 + x668*x626 <= 0;

e293: 367*x627*b39 - 367*x669*b39 + x669*x627 <= 0;

e294: 367*x628*b40 - 367*x670*b40 + x670*x628 <= 0;

e295: 382*x629*b41 - 382*x671*b41 + x671*x629 <= 0;

e296: 151*x630*b42 - 151*x672*b42 + x672*x630 <= 0;

e297: 382*x631*b43 - 382*x673*b43 + x673*x631 <= 0;