#  MIQCP written by GAMS Convert at 02/15/18 15:48:17
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        306      197       54       55        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        865      811       54        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3241     2431      810        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 b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
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;
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;
var x692 >= 0;
var x693 >= 0;
var x694 >= 0;
var x695 >= 0;
var x696 >= 0;
var x697 >= 0;
var x698 >= 0;
var x699 >= 0;
var x700 >= 0;
var x701 >= 0;
var x702 >= 0;
var x703 >= 0;
var x704 >= 0;
var x705 >= 0;
var x706 >= 0;
var x707 >= 0;
var x708 >= 0;
var x709 >= 0;
var x710 >= 0;
var x711 >= 0;
var x712 >= 0;
var x713 >= 0;
var x714 >= 0;
var x715 >= 0;
var x716 >= 0;
var x717 >= 0;
var x718 >= 0;
var x719 >= 0;
var x720 >= 0;
var x721 >= 0;
var x722 >= 0;
var x723 >= 0;
var x724 >= 0;
var x725 >= 0;
var x726 >= 0;
var x727 >= 0;
var x728 >= 0;
var x729 >= 0;
var x730 >= 0;
var x731 >= 0;
var x732 >= 0;
var x733 >= 0;
var x734 >= 0;
var x735 >= 0;
var x736 >= 0;
var x737 >= 0;
var x738 >= 0;
var x739 >= 0;
var x740 >= 0;
var x741 >= 0;
var x742 >= 0;
var x743 >= 0;
var x744 >= 0;
var x745 >= 0;
var x746 >= 0;
var x747 >= 0;
var x748 >= 0;
var x749 >= 0;
var x750 >= 0;
var x751 >= 0;
var x752 >= 0;
var x753 >= 0;
var x754 >= 0;
var x755 >= 0;
var x756 >= 0;
var x757 >= 0;
var x758 >= 0;
var x759 >= 0;
var x760 >= 0;
var x761 >= 0;
var x762 >= 0;
var x763 >= 0;
var x764 >= 0;
var x765 >= 0;
var x766 >= 0;
var x767 >= 0;
var x768 >= 0;
var x769 >= 0;
var x770 >= 0;
var x771 >= 0;
var x772 >= 0;
var x773 >= 0;
var x774 >= 0;
var x775 >= 0;
var x776 >= 0;
var x777 >= 0;
var x778 >= 0;
var x779 >= 0;
var x780 >= 0;
var x781 >= 0;
var x782 >= 0;
var x783 >= 0;
var x784 >= 0;
var x785 >= 0;
var x786 >= 0;
var x787 >= 0;
var x788 >= 0;
var x789 >= 0;
var x790 >= 0;
var x791 >= 0;
var x792 >= 0;
var x793 >= 0;
var x794 >= 0;
var x795 >= 0;
var x796 >= 0;
var x797 >= 0;
var x798 >= 0;
var x799 >= 0;
var x800 >= 0;
var x801 >= 0;
var x802 >= 0;
var x803 >= 0;
var x804 >= 0;
var x805 >= 0;
var x806 >= 0;
var x807 >= 0;
var x808 >= 0;
var x809 >= 0;
var x810 >= 0;
var x811 >= 0;
var x812 >= 0;
var x813 >= 0;
var x814 >= 0;
var x815 >= 0;
var x816 >= 0;
var x817 >= 0;
var x818 >= 0;
var x819 >= 0;
var x820 >= 0;
var x821 >= 0;
var x822 >= 0;
var x823 >= 0;
var x824 >= 0;
var x825 >= 0;
var x826 >= 0;
var x827 >= 0;
var x828 >= 0;
var x829 >= 0;
var x830 >= 0;
var x831 >= 0;
var x832 >= 0;
var x833 >= 0;
var x834 >= 0;
var x835 >= 0;
var x836 >= 0;
var x837 >= 0;
var x838 >= 0;
var x839 >= 0;
var x840 >= 0;
var x841 >= 0;
var x842 >= 0;
var x843 >= 0;
var x844 >= 0;
var x845 >= 0;
var x846 >= 0;
var x847 >= 0;
var x848 >= 0;
var x849 >= 0;
var x850 >= 0;
var x851 >= 0;
var x852 >= 0;
var x853 >= 0;
var x854 >= 0;
var x855 >= 0;
var x856 >= 0;
var x857 >= 0;
var x858 >= 0;
var x859 >= 0;
var x860 >= 0;
var x861 >= 0;
var x862 >= 0;
var x863 >= 0;
var x864 >= 0;
var x865 >= 0;

minimize obj:    1.247902153*b2 + 3.853248292*b3 + 2.753881396*b4
     + 1.247902153*b5 + 2.115303802*b6 + 2.073122818*b7 + 3.87564082*b8
     + 2.537458771*b9 + 3.897053494*b10 + 3.223097071*b11 + 3.077538217*b12
     + 3.222690685*b13 + 3.045368992*b14 + 1.256398027*b15 + 1.321513474*b16
     + 2.115303802*b17 + 3.077538217*b18 + 3.213749761*b19 + 1.140696436*b20
     + 3.853248292*b21 + 3.87564082*b22 + 1.796801476*b23 + 1.930844545*b24
     + 2.073122818*b25 + 2.537458771*b26 + 1.796801476*b27 + 2.930918827*b28
     + 2.753881396*b29 + 3.897053494*b30 + 3.572642632*b31 + 2.15701522*b32
     + 1.061422612*b33 + 3.222690685*b34 + 3.213749761*b35 + 3.867132154*b36
     + 3.572642632*b37 + 3.838723369*b38 + 3.223097071*b39 + 3.045368992*b40
     + 2.15701522*b41 + 3.867132154*b42 + 3.838723369*b43 + 3.613241704*b44
     + 1.140696436*b45 + 2.930918827*b46 + 3.293067286*b47 + 1.256398027*b48
     + 1.737076687*b49 + 1.321513474*b50 + 1.930844545*b51 + 1.061422612*b52
     + 3.613241704*b53 + 3.293067286*b54 + 1.737076687*b55;

subject to

e2:  - x56 - x57 - x58 + x59 + x60 + x61 = -207;

e3:  - x62 - x63 - x64 + x65 + x66 + x67 = 8;

e4:  - x68 - x69 - x70 + x71 + x72 + x73 = 25;

e5:  - x74 - x75 - x76 + x77 + x78 + x79 = 16;

e6:  - x80 - x81 - x82 + x83 + x84 + x85 = 17;

e7:  - x86 - x87 - x88 + x89 + x90 + x91 = 6;

e8:  - x92 - x93 - x94 + x95 + x96 + x97 = 14;

e9:  - x98 - x99 - x100 + x101 + x102 + x103 = 19;

e10:  - x104 - x105 - x106 + x107 + x108 + x109 = 8;

e11:  - x110 - x111 - x112 + x113 + x114 + x115 = 17;

e12:  - x116 - x117 - x118 + x119 + x120 + x121 = 15;

e13:  - x122 - x123 - x124 + x125 + x126 + x127 = 19;

e14:  - x128 - x129 - x130 + x131 + x132 + x133 = 13;

e15:  - x134 - x135 - x136 + x137 + x138 + x139 = 21;

e16:    x56 - x59 - x140 - x141 + x142 + x143 = 11;

e17:    x62 - x65 - x144 - x145 + x146 + x147 = -165;

e18:    x68 - x71 - x148 - x149 + x150 + x151 = 11;

e19:    x74 - x77 - x152 - x153 + x154 + x155 = 11;

e20:    x80 - x83 - x156 - x157 + x158 + x159 = 23;

e21:    x86 - x89 - x160 - x161 + x162 + x163 = 16;

e22:    x92 - x95 - x164 - x165 + x166 + x167 = 23;

e23:    x98 - x101 - x168 - x169 + x170 + x171 = 15;

e24:    x104 - x107 - x172 - x173 + x174 + x175 = 14;

e25:    x110 - x113 - x176 - x177 + x178 + x179 = 13;

e26:    x116 - x119 - x180 - x181 + x182 + x183 = 10;

e27:    x122 - x125 - x184 - x185 + x186 + x187 = 16;

e28:    x128 - x131 - x188 - x189 + x190 + x191 = 21;

e29:    x134 - x137 - x192 - x193 + x194 + x195 = 13;

e30:  - x196 - x197 - x198 - x199 + x200 + x201 + x202 + x203 = 24;

e31:  - x204 - x205 - x206 - x207 + x208 + x209 + x210 + x211 = 14;

e32:  - x212 - x213 - x214 - x215 + x216 + x217 + x218 + x219 = -171;

e33:  - x220 - x221 - x222 - x223 + x224 + x225 + x226 + x227 = 19;

e34:  - x228 - x229 - x230 - x231 + x232 + x233 + x234 + x235 = 11;

e35:  - x236 - x237 - x238 - x239 + x240 + x241 + x242 + x243 = 15;

e36:  - x244 - x245 - x246 - x247 + x248 + x249 + x250 + x251 = 17;

e37:  - x252 - x253 - x254 - x255 + x256 + x257 + x258 + x259 = 5;

e38:  - x260 - x261 - x262 - x263 + x264 + x265 + x266 + x267 = 21;

e39:  - x268 - x269 - x270 - x271 + x272 + x273 + x274 + x275 = 23;

e40:  - x276 - x277 - x278 - x279 + x280 + x281 + x282 + x283 = 6;

e41:  - x284 - x285 - x286 - x287 + x288 + x289 + x290 + x291 = 22;

e42:  - x292 - x293 - x294 - x295 + x296 + x297 + x298 + x299 = 7;

e43:  - x300 - x301 - x302 - x303 + x304 + x305 + x306 + x307 = 6;

e44:  - x308 - x309 - x310 - x311 - x312 + x313 + x314 + x315 + x316 + x317
      = 23;

e45:  - x318 - x319 - x320 - x321 - x322 + x323 + x324 + x325 + x326 + x327
      = 17;

e46:  - x328 - x329 - x330 - x331 - x332 + x333 + x334 + x335 + x336 + x337
      = 7;

e47:  - x338 - x339 - x340 - x341 - x342 + x343 + x344 + x345 + x346 + x347
      = -199;

e48:  - x348 - x349 - x350 - x351 - x352 + x353 + x354 + x355 + x356 + x357
      = 12;

e49:  - x358 - x359 - x360 - x361 - x362 + x363 + x364 + x365 + x366 + x367
      = 22;

e50:  - x368 - x369 - x370 - x371 - x372 + x373 + x374 + x375 + x376 + x377
      = 18;

e51:  - x378 - x379 - x380 - x381 - x382 + x383 + x384 + x385 + x386 + x387
      = 7;

e52:  - x388 - x389 - x390 - x391 - x392 + x393 + x394 + x395 + x396 + x397
      = 9;

e53:  - x398 - x399 - x400 - x401 - x402 + x403 + x404 + x405 + x406 + x407
      = 10;

e54:  - x408 - x409 - x410 - x411 - x412 + x413 + x414 + x415 + x416 + x417
      = 17;

e55:  - x418 - x419 - x420 - x421 - x422 + x423 + x424 + x425 + x426 + x427
      = 11;

e56:  - x428 - x429 - x430 - x431 - x432 + x433 + x434 + x435 + x436 + x437
      = 23;

e57:  - x438 - x439 - x440 - x441 - x442 + x443 + x444 + x445 + x446 + x447
      = 15;

e58:    x140 - x142 + x308 - x313 - x448 - x449 + x450 + x451 = 15;

e59:    x144 - x146 + x318 - x323 - x452 - x453 + x454 + x455 = 25;

e60:    x148 - x150 + x328 - x333 - x456 - x457 + x458 + x459 = 23;

e61:    x152 - x154 + x338 - x343 - x460 - x461 + x462 + x463 = 5;

e62:    x156 - x158 + x348 - x353 - x464 - x465 + x466 + x467 = -218;

e63:    x160 - x162 + x358 - x363 - x468 - x469 + x470 + x471 = 25;

e64:    x164 - x166 + x368 - x373 - x472 - x473 + x474 + x475 = 16;

e65:    x168 - x170 + x378 - x383 - x476 - x477 + x478 + x479 = 12;

e66:    x172 - x174 + x388 - x393 - x480 - x481 + x482 + x483 = 7;

e67:    x176 - x178 + x398 - x403 - x484 - x485 + x486 + x487 = 5;

e68:    x180 - x182 + x408 - x413 - x488 - x489 + x490 + x491 = 19;

e69:    x184 - x186 + x418 - x423 - x492 - x493 + x494 + x495 = 12;

e70:    x188 - x190 + x428 - x433 - x496 - x497 + x498 + x499 = 23;

e71:    x192 - x194 + x438 - x443 - x500 - x501 + x502 + x503 = 19;

e72:    x57 - x60 + x196 - x200 - x504 - x505 + x506 + x507 = 12;

e73:    x63 - x66 + x204 - x208 - x508 - x509 + x510 + x511 = 6;

e74:    x69 - x72 + x212 - x216 - x512 - x513 + x514 + x515 = 10;

e75:    x75 - x78 + x220 - x224 - x516 - x517 + x518 + x519 = 11;

e76:    x81 - x84 + x228 - x232 - x520 - x521 + x522 + x523 = 14;

e77:    x87 - x90 + x236 - x240 - x524 - x525 + x526 + x527 = -210;

e78:    x93 - x96 + x244 - x248 - x528 - x529 + x530 + x531 = 12;

e79:    x99 - x102 + x252 - x256 - x532 - x533 + x534 + x535 = 17;

e80:    x105 - x108 + x260 - x264 - x536 - x537 + x538 + x539 = 15;

e81:    x111 - x114 + x268 - x272 - x540 - x541 + x542 + x543 = 21;

e82:    x117 - x120 + x276 - x280 - x544 - x545 + x546 + x547 = 22;

e83:    x123 - x126 + x284 - x288 - x548 - x549 + x550 + x551 = 7;

e84:    x129 - x132 + x292 - x296 - x552 - x553 + x554 + x555 = 6;

e85:    x135 - x138 + x300 - x304 - x556 - x557 + x558 + x559 = 22;

e86:    x141 - x143 + x197 - x201 + x504 - x506 - x560 + x561 = 17;

e87:    x145 - x147 + x205 - x209 + x508 - x510 - x562 + x563 = 25;

e88:    x149 - x151 + x213 - x217 + x512 - x514 - x564 + x565 = 14;

e89:    x153 - x155 + x221 - x225 + x516 - x518 - x566 + x567 = 13;

e90:    x157 - x159 + x229 - x233 + x520 - x522 - x568 + x569 = 12;

e91:    x161 - x163 + x237 - x241 + x524 - x526 - x570 + x571 = 8;

e92:    x165 - x167 + x245 - x249 + x528 - x530 - x572 + x573 = -196;

e93:    x169 - x171 + x253 - x257 + x532 - x534 - x574 + x575 = 5;

e94:    x173 - x175 + x261 - x265 + x536 - x538 - x576 + x577 = 13;

e95:    x177 - x179 + x269 - x273 + x540 - x542 - x578 + x579 = 8;

e96:    x181 - x183 + x277 - x281 + x544 - x546 - x580 + x581 = 20;

e97:    x185 - x187 + x285 - x289 + x548 - x550 - x582 + x583 = 16;

e98:    x189 - x191 + x293 - x297 + x552 - x554 - x584 + x585 = 18;

e99:    x193 - x195 + x301 - x305 + x556 - x558 - x586 + x587 = 9;

e100:    x58 - x61 + x198 - x202 - x588 - x589 - x590 + x591 + x592 + x593 = 7;

e101:    x64 - x67 + x206 - x210 - x594 - x595 - x596 + x597 + x598 + x599 = 6;

e102:    x70 - x73 + x214 - x218 - x600 - x601 - x602 + x603 + x604 + x605 = 8;

e103:    x76 - x79 + x222 - x226 - x606 - x607 - x608 + x609 + x610 + x611
       = 22;

e104:    x82 - x85 + x230 - x234 - x612 - x613 - x614 + x615 + x616 + x617
       = 23;

e105:    x88 - x91 + x238 - x242 - x618 - x619 - x620 + x621 + x622 + x623
       = 14;

e106:    x94 - x97 + x246 - x250 - x624 - x625 - x626 + x627 + x628 + x629
       = 19;

e107:    x100 - x103 + x254 - x258 - x630 - x631 - x632 + x633 + x634 + x635
       = -174;

e108:    x106 - x109 + x262 - x266 - x636 - x637 - x638 + x639 + x640 + x641
       = 12;

e109:    x112 - x115 + x270 - x274 - x642 - x643 - x644 + x645 + x646 + x647
       = 7;

e110:    x118 - x121 + x278 - x282 - x648 - x649 - x650 + x651 + x652 + x653
       = 23;

e111:    x124 - x127 + x286 - x290 - x654 - x655 - x656 + x657 + x658 + x659
       = 16;

e112:    x130 - x133 + x294 - x298 - x660 - x661 - x662 + x663 + x664 + x665
       = 10;

e113:    x136 - x139 + x302 - x306 - x666 - x667 - x668 + x669 + x670 + x671
       = 23;

e114:    x309 - x314 + x448 - x450 - x672 + x673 = 9;

e115:    x319 - x324 + x452 - x454 - x674 + x675 = 14;

e116:    x329 - x334 + x456 - x458 - x676 + x677 = 6;

e117:    x339 - x344 + x460 - x462 - x678 + x679 = 21;

e118:    x349 - x354 + x464 - x466 - x680 + x681 = 14;

e119:    x359 - x364 + x468 - x470 - x682 + x683 = 22;

e120:    x369 - x374 + x472 - x474 - x684 + x685 = 6;

e121:    x379 - x384 + x476 - x478 - x686 + x687 = 17;

e122:    x389 - x394 + x480 - x482 - x688 + x689 = -198;

e123:    x399 - x404 + x484 - x486 - x690 + x691 = 19;

e124:    x409 - x414 + x488 - x490 - x692 + x693 = 15;

e125:    x419 - x424 + x492 - x494 - x694 + x695 = 6;

e126:    x429 - x434 + x496 - x498 - x696 + x697 = 19;

e127:    x439 - x444 + x500 - x502 - x698 + x699 = 15;

e128:    x588 - x591 - x700 + x701 = 24;

e129:    x594 - x597 - x702 + x703 = 9;

e130:    x600 - x603 - x704 + x705 = 13;

e131:    x606 - x609 - x706 + x707 = 22;

e132:    x612 - x615 - x708 + x709 = 13;

e133:    x618 - x621 - x710 + x711 = 20;

e134:    x624 - x627 - x712 + x713 = 15;

e135:    x630 - x633 - x714 + x715 = 24;

e136:    x636 - x639 - x716 + x717 = 22;

e137:    x642 - x645 - x718 + x719 = -168;

e138:    x648 - x651 - x720 + x721 = 22;

e139:    x654 - x657 - x722 + x723 = 16;

e140:    x660 - x663 - x724 + x725 = 7;

e141:    x666 - x669 - x726 + x727 = 11;

e142:    x199 - x203 + x310 - x315 + x589 - x592 + x672 - x673 + x700 - x701
       - x728 + x729 = 23;

e143:    x207 - x211 + x320 - x325 + x595 - x598 + x674 - x675 + x702 - x703
       - x730 + x731 = 6;

e144:    x215 - x219 + x330 - x335 + x601 - x604 + x676 - x677 + x704 - x705
       - x732 + x733 = 12;

e145:    x223 - x227 + x340 - x345 + x607 - x610 + x678 - x679 + x706 - x707
       - x734 + x735 = 11;

e146:    x231 - x235 + x350 - x355 + x613 - x616 + x680 - x681 + x708 - x709
       - x736 + x737 = 20;

e147:    x239 - x243 + x360 - x365 + x619 - x622 + x682 - x683 + x710 - x711
       - x738 + x739 = 21;

e148:    x247 - x251 + x370 - x375 + x625 - x628 + x684 - x685 + x712 - x713
       - x740 + x741 = 20;

e149:    x255 - x259 + x380 - x385 + x631 - x634 + x686 - x687 + x714 - x715
       - x742 + x743 = 23;

e150:    x263 - x267 + x390 - x395 + x637 - x640 + x688 - x689 + x716 - x717
       - x744 + x745 = 21;

e151:    x271 - x275 + x400 - x405 + x643 - x646 + x690 - x691 + x718 - x719
       - x746 + x747 = 6;

e152:    x279 - x283 + x410 - x415 + x649 - x652 + x692 - x693 + x720 - x721
       - x748 + x749 = -205;

e153:    x287 - x291 + x420 - x425 + x655 - x658 + x694 - x695 + x722 - x723
       - x750 + x751 = 13;

e154:    x295 - x299 + x430 - x435 + x661 - x664 + x696 - x697 + x724 - x725
       - x752 + x753 = 14;

e155:    x303 - x307 + x440 - x445 + x667 - x670 + x698 - x699 + x726 - x727
       - x754 + x755 = 17;

e156:    x449 - x451 + x560 - x561 - x756 + x757 = 14;

e157:    x453 - x455 + x562 - x563 - x758 + x759 = 17;

e158:    x457 - x459 + x564 - x565 - x760 + x761 = 7;

e159:    x461 - x463 + x566 - x567 - x762 + x763 = 15;

e160:    x465 - x467 + x568 - x569 - x764 + x765 = 24;

e161:    x469 - x471 + x570 - x571 - x766 + x767 = 15;

e162:    x473 - x475 + x572 - x573 - x768 + x769 = 10;

e163:    x477 - x479 + x574 - x575 - x770 + x771 = 15;

e164:    x481 - x483 + x576 - x577 - x772 + x773 = 20;

e165:    x485 - x487 + x578 - x579 - x774 + x775 = 11;

e166:    x489 - x491 + x580 - x581 - x776 + x777 = 6;

e167:    x493 - x495 + x582 - x583 - x778 + x779 = -175;

e168:    x497 - x499 + x584 - x585 - x780 + x781 = 6;

e169:    x501 - x503 + x586 - x587 - x782 + x783 = 6;

e170:    x311 - x316 - x784 + x785 = 13;

e171:    x321 - x326 - x786 + x787 = 9;

e172:    x331 - x336 - x788 + x789 = 10;

e173:    x341 - x346 - x790 + x791 = 15;

e174:    x351 - x356 - x792 + x793 = 13;

e175:    x361 - x366 - x794 + x795 = 19;

e176:    x371 - x376 - x796 + x797 = 10;

e177:    x381 - x386 - x798 + x799 = 10;

e178:    x391 - x396 - x800 + x801 = 20;

e179:    x401 - x406 - x802 + x803 = 15;

e180:    x411 - x416 - x804 + x805 = 17;

e181:    x421 - x426 - x806 + x807 = 15;

e182:    x431 - x436 - x808 + x809 = -182;

e183:    x441 - x446 - x810 + x811 = 13;

e184:    x312 - x317 + x505 - x507 + x590 - x593 + x728 - x729 + x756 - x757
       + x784 - x785 = 15;

e185:    x322 - x327 + x509 - x511 + x596 - x599 + x730 - x731 + x758 - x759
       + x786 - x787 = 9;

e186:    x332 - x337 + x513 - x515 + x602 - x605 + x732 - x733 + x760 - x761
       + x788 - x789 = 25;

e187:    x342 - x347 + x517 - x519 + x608 - x611 + x734 - x735 + x762 - x763
       + x790 - x791 = 18;

e188:    x352 - x357 + x521 - x523 + x614 - x617 + x736 - x737 + x764 - x765
       + x792 - x793 = 22;

e189:    x362 - x367 + x525 - x527 + x620 - x623 + x738 - x739 + x766 - x767
       + x794 - x795 = 7;

e190:    x372 - x377 + x529 - x531 + x626 - x629 + x740 - x741 + x768 - x769
       + x796 - x797 = 16;

e191:    x382 - x387 + x533 - x535 + x632 - x635 + x742 - x743 + x770 - x771
       + x798 - x799 = 5;

e192:    x392 - x397 + x537 - x539 + x638 - x641 + x744 - x745 + x772 - x773
       + x800 - x801 = 16;

e193:    x402 - x407 + x541 - x543 + x644 - x647 + x746 - x747 + x774 - x775
       + x802 - x803 = 13;

e194:    x412 - x417 + x545 - x547 + x650 - x653 + x748 - x749 + x776 - x777
       + x804 - x805 = 13;

e195:    x422 - x427 + x549 - x551 + x656 - x659 + x750 - x751 + x778 - x779
       + x806 - x807 = 6;

e196:    x432 - x437 + x553 - x555 + x662 - x665 + x752 - x753 + x780 - x781
       + x808 - x809 = 15;

e197:    x442 - x447 + x557 - x559 + x668 - x671 + x754 - x755 + x782 - x783
       + x810 - x811 = -190;

e198:    x812 + x813 + x814 + x815 + x816 + x817 + x818 + x819 + x820 + x821
       + x822 + x823 + x824 + x825 + x826 + x827 + x828 + x829 + x830 + x831
       + x832 + x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841
       + x842 + x843 + x844 + x845 + x846 + x847 + x848 + x849 + x850 + x851
       + x852 + x853 + x854 + x855 + x856 + x857 + x858 + x859 + x860 + x861
       + x862 + x863 + x864 + x865 <= 10632;

e199:  - 266*b2 + x56 + x62 + x68 + x74 + x80 + x86 + x92 + x98 + x104 + x110
       + x116 + x122 + x128 + x134 <= 0;

e200:  - 330*b3 + x57 + x63 + x69 + x75 + x81 + x87 + x93 + x99 + x105 + x111
       + x117 + x123 + x129 + x135 <= 0;

e201:  - 116*b4 + x58 + x64 + x70 + x76 + x82 + x88 + x94 + x100 + x106 + x112
       + x118 + x124 + x130 + x136 <= 0;

e202:  - 266*b5 + x59 + x65 + x71 + x77 + x83 + x89 + x95 + x101 + x107 + x113
       + x119 + x125 + x131 + x137 <= 0;

e203:  - 425*b6 + x140 + x144 + x148 + x152 + x156 + x160 + x164 + x168 + x172
       + x176 + x180 + x184 + x188 + x192 <= 0;

e204:  - 359*b7 + x141 + x145 + x149 + x153 + x157 + x161 + x165 + x169 + x173
       + x177 + x181 + x185 + x189 + x193 <= 0;

e205:  - 406*b8 + x196 + x204 + x212 + x220 + x228 + x236 + x244 + x252 + x260
       + x268 + x276 + x284 + x292 + x300 <= 0;

e206:  - 223*b9 + x197 + x205 + x213 + x221 + x229 + x237 + x245 + x253 + x261
       + x269 + x277 + x285 + x293 + x301 <= 0;

e207:  - 248*b10 + x198 + x206 + x214 + x222 + x230 + x238 + x246 + x254 + x262
       + x270 + x278 + x286 + x294 + x302 <= 0;

e208:  - 363*b11 + x199 + x207 + x215 + x223 + x231 + x239 + x247 + x255 + x263
       + x271 + x279 + x287 + x295 + x303 <= 0;

e209:  - 227*b12 + x308 + x318 + x328 + x338 + x348 + x358 + x368 + x378 + x388
       + x398 + x408 + x418 + x428 + x438 <= 0;

e210:  - 437*b13 + x309 + x319 + x329 + x339 + x349 + x359 + x369 + x379 + x389
       + x399 + x409 + x419 + x429 + x439 <= 0;

e211:  - 283*b14 + x310 + x320 + x330 + x340 + x350 + x360 + x370 + x380 + x390
       + x400 + x410 + x420 + x430 + x440 <= 0;

e212:  - 419*b15 + x311 + x321 + x331 + x341 + x351 + x361 + x371 + x381 + x391
       + x401 + x411 + x421 + x431 + x441 <= 0;

e213:  - 377*b16 + x312 + x322 + x332 + x342 + x352 + x362 + x372 + x382 + x392
       + x402 + x412 + x422 + x432 + x442 <= 0;

e214:  - 425*b17 + x142 + x146 + x150 + x154 + x158 + x162 + x166 + x170 + x174
       + x178 + x182 + x186 + x190 + x194 <= 0;

e215:  - 227*b18 + x313 + x323 + x333 + x343 + x353 + x363 + x373 + x383 + x393
       + x403 + x413 + x423 + x433 + x443 <= 0;

e216:  - 428*b19 + x448 + x452 + x456 + x460 + x464 + x468 + x472 + x476 + x480
       + x484 + x488 + x492 + x496 + x500 <= 0;

e217:  - 252*b20 + x449 + x453 + x457 + x461 + x465 + x469 + x473 + x477 + x481
       + x485 + x489 + x493 + x497 + x501 <= 0;

e218:  - 330*b21 + x60 + x66 + x72 + x78 + x84 + x90 + x96 + x102 + x108 + x114
       + x120 + x126 + x132 + x138 <= 0;

e219:  - 406*b22 + x200 + x208 + x216 + x224 + x232 + x240 + x248 + x256 + x264
       + x272 + x280 + x288 + x296 + x304 <= 0;

e220:  - 256*b23 + x504 + x508 + x512 + x516 + x520 + x524 + x528 + x532 + x536
       + x540 + x544 + x548 + x552 + x556 <= 0;

e221:  - 413*b24 + x505 + x509 + x513 + x517 + x521 + x525 + x529 + x533 + x537
       + x541 + x545 + x549 + x553 + x557 <= 0;

e222:  - 359*b25 + x143 + x147 + x151 + x155 + x159 + x163 + x167 + x171 + x175
       + x179 + x183 + x187 + x191 + x195 <= 0;

e223:  - 223*b26 + x201 + x209 + x217 + x225 + x233 + x241 + x249 + x257 + x265
       + x273 + x281 + x289 + x297 + x305 <= 0;

e224:  - 256*b27 + x506 + x510 + x514 + x518 + x522 + x526 + x530 + x534 + x538
       + x542 + x546 + x550 + x554 + x558 <= 0;

e225:  - 391*b28 + x560 + x562 + x564 + x566 + x568 + x570 + x572 + x574 + x576
       + x578 + x580 + x582 + x584 + x586 <= 0;

e226:  - 116*b29 + x61 + x67 + x73 + x79 + x85 + x91 + x97 + x103 + x109 + x115
       + x121 + x127 + x133 + x139 <= 0;

e227:  - 248*b30 + x202 + x210 + x218 + x226 + x234 + x242 + x250 + x258 + x266
       + x274 + x282 + x290 + x298 + x306 <= 0;

e228:  - 260*b31 + x588 + x594 + x600 + x606 + x612 + x618 + x624 + x630 + x636
       + x642 + x648 + x654 + x660 + x666 <= 0;

e229:  - 143*b32 + x589 + x595 + x601 + x607 + x613 + x619 + x625 + x631 + x637
       + x643 + x649 + x655 + x661 + x667 <= 0;

e230:  - 109*b33 + x590 + x596 + x602 + x608 + x614 + x620 + x626 + x632 + x638
       + x644 + x650 + x656 + x662 + x668 <= 0;

e231:  - 437*b34 + x314 + x324 + x334 + x344 + x354 + x364 + x374 + x384 + x394
       + x404 + x414 + x424 + x434 + x444 <= 0;

e232:  - 428*b35 + x450 + x454 + x458 + x462 + x466 + x470 + x474 + x478 + x482
       + x486 + x490 + x494 + x498 + x502 <= 0;

e233:  - 398*b36 + x672 + x674 + x676 + x678 + x680 + x682 + x684 + x686 + x688
       + x690 + x692 + x694 + x696 + x698 <= 0;

e234:  - 260*b37 + x591 + x597 + x603 + x609 + x615 + x621 + x627 + x633 + x639
       + x645 + x651 + x657 + x663 + x669 <= 0;

e235:  - 134*b38 + x700 + x702 + x704 + x706 + x708 + x710 + x712 + x714 + x716
       + x718 + x720 + x722 + x724 + x726 <= 0;

e236:  - 363*b39 + x203 + x211 + x219 + x227 + x235 + x243 + x251 + x259 + x267
       + x275 + x283 + x291 + x299 + x307 <= 0;

e237:  - 283*b40 + x315 + x325 + x335 + x345 + x355 + x365 + x375 + x385 + x395
       + x405 + x415 + x425 + x435 + x445 <= 0;

e238:  - 143*b41 + x592 + x598 + x604 + x610 + x616 + x622 + x628 + x634 + x640
       + x646 + x652 + x658 + x664 + x670 <= 0;

e239:  - 398*b42 + x673 + x675 + x677 + x679 + x681 + x683 + x685 + x687 + x689
       + x691 + x693 + x695 + x697 + x699 <= 0;

e240:  - 134*b43 + x701 + x703 + x705 + x707 + x709 + x711 + x713 + x715 + x717
       + x719 + x721 + x723 + x725 + x727 <= 0;

e241:  - 314*b44 + x728 + x730 + x732 + x734 + x736 + x738 + x740 + x742 + x744
       + x746 + x748 + x750 + x752 + x754 <= 0;

e242:  - 252*b45 + x451 + x455 + x459 + x463 + x467 + x471 + x475 + x479 + x483
       + x487 + x491 + x495 + x499 + x503 <= 0;

e243:  - 391*b46 + x561 + x563 + x565 + x567 + x569 + x571 + x573 + x575 + x577
       + x579 + x581 + x583 + x585 + x587 <= 0;

e244:  - 366*b47 + x756 + x758 + x760 + x762 + x764 + x766 + x768 + x770 + x772
       + x774 + x776 + x778 + x780 + x782 <= 0;

e245:  - 419*b48 + x316 + x326 + x336 + x346 + x356 + x366 + x376 + x386 + x396
       + x406 + x416 + x426 + x436 + x446 <= 0;

e246:  - 179*b49 + x784 + x786 + x788 + x790 + x792 + x794 + x796 + x798 + x800
       + x802 + x804 + x806 + x808 + x810 <= 0;

e247:  - 377*b50 + x317 + x327 + x337 + x347 + x357 + x367 + x377 + x387 + x397
       + x407 + x417 + x427 + x437 + x447 <= 0;

e248:  - 413*b51 + x507 + x511 + x515 + x519 + x523 + x527 + x531 + x535 + x539
       + x543 + x547 + x551 + x555 + x559 <= 0;

e249:  - 109*b52 + x593 + x599 + x605 + x611 + x617 + x623 + x629 + x635 + x641
       + x647 + x653 + x659 + x665 + x671 <= 0;

e250:  - 314*b53 + x729 + x731 + x733 + x735 + x737 + x739 + x741 + x743 + x745
       + x747 + x749 + x751 + x753 + x755 <= 0;

e251:  - 366*b54 + x757 + x759 + x761 + x763 + x765 + x767 + x769 + x771 + x773
       + x775 + x777 + x779 + x781 + x783 <= 0;

e252:  - 179*b55 + x785 + x787 + x789 + x791 + x793 + x795 + x797 + x799 + x801
       + x803 + x805 + x807 + x809 + x811 <= 0;

e253: (-x812*x56) - 266*x56 + 266*x812 - x812*x62 - 266*x62 - x812*x68 - 266*
      x68 - x812*x74 - 266*x74 - x812*x80 - 266*x80 - x812*x86 - 266*x86 - x812
      *x92 - 266*x92 - x812*x98 - 266*x98 - x812*x104 - 266*x104 - x812*x110 - 
      266*x110 - x812*x116 - 266*x116 - x812*x122 - 266*x122 - x812*x128 - 266*
      x128 - x812*x134 - 266*x134 >= 0;

e254: (-x813*x57) - 330*x57 + 330*x813 - x813*x63 - 330*x63 - x813*x69 - 330*
      x69 - x813*x75 - 330*x75 - x813*x81 - 330*x81 - x813*x87 - 330*x87 - x813
      *x93 - 330*x93 - x813*x99 - 330*x99 - x813*x105 - 330*x105 - x813*x111 - 
      330*x111 - x813*x117 - 330*x117 - x813*x123 - 330*x123 - x813*x129 - 330*
      x129 - x813*x135 - 330*x135 >= 0;

e255: (-x814*x58) - 116*x58 + 116*x814 - x814*x64 - 116*x64 - x814*x70 - 116*
      x70 - x814*x76 - 116*x76 - x814*x82 - 116*x82 - x814*x88 - 116*x88 - x814
      *x94 - 116*x94 - x814*x100 - 116*x100 - x814*x106 - 116*x106 - x814*x112
       - 116*x112 - x814*x118 - 116*x118 - x814*x124 - 116*x124 - x814*x130 - 
      116*x130 - x814*x136 - 116*x136 >= 0;

e256: (-x815*x59) - 266*x59 + 266*x815 - x815*x65 - 266*x65 - x815*x71 - 266*
      x71 - x815*x77 - 266*x77 - x815*x83 - 266*x83 - x815*x89 - 266*x89 - x815
      *x95 - 266*x95 - x815*x101 - 266*x101 - x815*x107 - 266*x107 - x815*x113
       - 266*x113 - x815*x119 - 266*x119 - x815*x125 - 266*x125 - x815*x131 - 
      266*x131 - x815*x137 - 266*x137 >= 0;

e257: (-x816*x140) - 425*x140 + 425*x816 - x816*x144 - 425*x144 - x816*x148 - 
      425*x148 - x816*x152 - 425*x152 - x816*x156 - 425*x156 - x816*x160 - 425*
      x160 - x816*x164 - 425*x164 - x816*x168 - 425*x168 - x816*x172 - 425*x172
       - x816*x176 - 425*x176 - x816*x180 - 425*x180 - x816*x184 - 425*x184 - 
      x816*x188 - 425*x188 - x816*x192 - 425*x192 >= 0;

e258: (-x817*x141) - 359*x141 + 359*x817 - x817*x145 - 359*x145 - x817*x149 - 
      359*x149 - x817*x153 - 359*x153 - x817*x157 - 359*x157 - x817*x161 - 359*
      x161 - x817*x165 - 359*x165 - x817*x169 - 359*x169 - x817*x173 - 359*x173
       - x817*x177 - 359*x177 - x817*x181 - 359*x181 - x817*x185 - 359*x185 - 
      x817*x189 - 359*x189 - x817*x193 - 359*x193 >= 0;

e259: (-x818*x196) - 406*x196 + 406*x818 - x818*x204 - 406*x204 - x818*x212 - 
      406*x212 - x818*x220 - 406*x220 - x818*x228 - 406*x228 - x818*x236 - 406*
      x236 - x818*x244 - 406*x244 - x818*x252 - 406*x252 - x818*x260 - 406*x260
       - x818*x268 - 406*x268 - x818*x276 - 406*x276 - x818*x284 - 406*x284 - 
      x818*x292 - 406*x292 - x818*x300 - 406*x300 >= 0;

e260: (-x819*x197) - 223*x197 + 223*x819 - x819*x205 - 223*x205 - x819*x213 - 
      223*x213 - x819*x221 - 223*x221 - x819*x229 - 223*x229 - x819*x237 - 223*
      x237 - x819*x245 - 223*x245 - x819*x253 - 223*x253 - x819*x261 - 223*x261
       - x819*x269 - 223*x269 - x819*x277 - 223*x277 - x819*x285 - 223*x285 - 
      x819*x293 - 223*x293 - x819*x301 - 223*x301 >= 0;

e261: (-x820*x198) - 248*x198 + 248*x820 - x820*x206 - 248*x206 - x820*x214 - 
      248*x214 - x820*x222 - 248*x222 - x820*x230 - 248*x230 - x820*x238 - 248*
      x238 - x820*x246 - 248*x246 - x820*x254 - 248*x254 - x820*x262 - 248*x262
       - x820*x270 - 248*x270 - x820*x278 - 248*x278 - x820*x286 - 248*x286 - 
      x820*x294 - 248*x294 - x820*x302 - 248*x302 >= 0;

e262: (-x821*x199) - 363*x199 + 363*x821 - x821*x207 - 363*x207 - x821*x215 - 
      363*x215 - x821*x223 - 363*x223 - x821*x231 - 363*x231 - x821*x239 - 363*
      x239 - x821*x247 - 363*x247 - x821*x255 - 363*x255 - x821*x263 - 363*x263
       - x821*x271 - 363*x271 - x821*x279 - 363*x279 - x821*x287 - 363*x287 - 
      x821*x295 - 363*x295 - x821*x303 - 363*x303 >= 0;

e263: (-x822*x308) - 227*x308 + 227*x822 - x822*x318 - 227*x318 - x822*x328 - 
      227*x328 - x822*x338 - 227*x338 - x822*x348 - 227*x348 - x822*x358 - 227*
      x358 - x822*x368 - 227*x368 - x822*x378 - 227*x378 - x822*x388 - 227*x388
       - x822*x398 - 227*x398 - x822*x408 - 227*x408 - x822*x418 - 227*x418 - 
      x822*x428 - 227*x428 - x822*x438 - 227*x438 >= 0;

e264: (-x823*x309) - 437*x309 + 437*x823 - x823*x319 - 437*x319 - x823*x329 - 
      437*x329 - x823*x339 - 437*x339 - x823*x349 - 437*x349 - x823*x359 - 437*
      x359 - x823*x369 - 437*x369 - x823*x379 - 437*x379 - x823*x389 - 437*x389
       - x823*x399 - 437*x399 - x823*x409 - 437*x409 - x823*x419 - 437*x419 - 
      x823*x429 - 437*x429 - x823*x439 - 437*x439 >= 0;

e265: (-x824*x310) - 283*x310 + 283*x824 - x824*x320 - 283*x320 - x824*x330 - 
      283*x330 - x824*x340 - 283*x340 - x824*x350 - 283*x350 - x824*x360 - 283*
      x360 - x824*x370 - 283*x370 - x824*x380 - 283*x380 - x824*x390 - 283*x390
       - x824*x400 - 283*x400 - x824*x410 - 283*x410 - x824*x420 - 283*x420 - 
      x824*x430 - 283*x430 - x824*x440 - 283*x440 >= 0;

e266: (-x825*x311) - 419*x311 + 419*x825 - x825*x321 - 419*x321 - x825*x331 - 
      419*x331 - x825*x341 - 419*x341 - x825*x351 - 419*x351 - x825*x361 - 419*
      x361 - x825*x371 - 419*x371 - x825*x381 - 419*x381 - x825*x391 - 419*x391
       - x825*x401 - 419*x401 - x825*x411 - 419*x411 - x825*x421 - 419*x421 - 
      x825*x431 - 419*x431 - x825*x441 - 419*x441 >= 0;

e267: (-x826*x312) - 377*x312 + 377*x826 - x826*x322 - 377*x322 - x826*x332 - 
      377*x332 - x826*x342 - 377*x342 - x826*x352 - 377*x352 - x826*x362 - 377*
      x362 - x826*x372 - 377*x372 - x826*x382 - 377*x382 - x826*x392 - 377*x392
       - x826*x402 - 377*x402 - x826*x412 - 377*x412 - x826*x422 - 377*x422 - 
      x826*x432 - 377*x432 - x826*x442 - 377*x442 >= 0;

e268: (-x827*x142) - 425*x142 + 425*x827 - x827*x146 - 425*x146 - x827*x150 - 
      425*x150 - x827*x154 - 425*x154 - x827*x158 - 425*x158 - x827*x162 - 425*
      x162 - x827*x166 - 425*x166 - x827*x170 - 425*x170 - x827*x174 - 425*x174
       - x827*x178 - 425*x178 - x827*x182 - 425*x182 - x827*x186 - 425*x186 - 
      x827*x190 - 425*x190 - x827*x194 - 425*x194 >= 0;

e269: (-x828*x313) - 227*x313 + 227*x828 - x828*x323 - 227*x323 - x828*x333 - 
      227*x333 - x828*x343 - 227*x343 - x828*x353 - 227*x353 - x828*x363 - 227*
      x363 - x828*x373 - 227*x373 - x828*x383 - 227*x383 - x828*x393 - 227*x393
       - x828*x403 - 227*x403 - x828*x413 - 227*x413 - x828*x423 - 227*x423 - 
      x828*x433 - 227*x433 - x828*x443 - 227*x443 >= 0;

e270: (-x829*x448) - 428*x448 + 428*x829 - x829*x452 - 428*x452 - x829*x456 - 
      428*x456 - x829*x460 - 428*x460 - x829*x464 - 428*x464 - x829*x468 - 428*
      x468 - x829*x472 - 428*x472 - x829*x476 - 428*x476 - x829*x480 - 428*x480
       - x829*x484 - 428*x484 - x829*x488 - 428*x488 - x829*x492 - 428*x492 - 
      x829*x496 - 428*x496 - x829*x500 - 428*x500 >= 0;

e271: (-x830*x449) - 252*x449 + 252*x830 - x830*x453 - 252*x453 - x830*x457 - 
      252*x457 - x830*x461 - 252*x461 - x830*x465 - 252*x465 - x830*x469 - 252*
      x469 - x830*x473 - 252*x473 - x830*x477 - 252*x477 - x830*x481 - 252*x481
       - x830*x485 - 252*x485 - x830*x489 - 252*x489 - x830*x493 - 252*x493 - 
      x830*x497 - 252*x497 - x830*x501 - 252*x501 >= 0;

e272: (-x831*x60) - 330*x60 + 330*x831 - x831*x66 - 330*x66 - x831*x72 - 330*
      x72 - x831*x78 - 330*x78 - x831*x84 - 330*x84 - x831*x90 - 330*x90 - x831
      *x96 - 330*x96 - x831*x102 - 330*x102 - x831*x108 - 330*x108 - x831*x114
       - 330*x114 - x831*x120 - 330*x120 - x831*x126 - 330*x126 - x831*x132 - 
      330*x132 - x831*x138 - 330*x138 >= 0;

e273: (-x832*x200) - 406*x200 + 406*x832 - x832*x208 - 406*x208 - x832*x216 - 
      406*x216 - x832*x224 - 406*x224 - x832*x232 - 406*x232 - x832*x240 - 406*
      x240 - x832*x248 - 406*x248 - x832*x256 - 406*x256 - x832*x264 - 406*x264
       - x832*x272 - 406*x272 - x832*x280 - 406*x280 - x832*x288 - 406*x288 - 
      x832*x296 - 406*x296 - x832*x304 - 406*x304 >= 0;

e274: (-x833*x504) - 256*x504 + 256*x833 - x833*x508 - 256*x508 - x833*x512 - 
      256*x512 - x833*x516 - 256*x516 - x833*x520 - 256*x520 - x833*x524 - 256*
      x524 - x833*x528 - 256*x528 - x833*x532 - 256*x532 - x833*x536 - 256*x536
       - x833*x540 - 256*x540 - x833*x544 - 256*x544 - x833*x548 - 256*x548 - 
      x833*x552 - 256*x552 - x833*x556 - 256*x556 >= 0;

e275: (-x834*x505) - 413*x505 + 413*x834 - x834*x509 - 413*x509 - x834*x513 - 
      413*x513 - x834*x517 - 413*x517 - x834*x521 - 413*x521 - x834*x525 - 413*
      x525 - x834*x529 - 413*x529 - x834*x533 - 413*x533 - x834*x537 - 413*x537
       - x834*x541 - 413*x541 - x834*x545 - 413*x545 - x834*x549 - 413*x549 - 
      x834*x553 - 413*x553 - x834*x557 - 413*x557 >= 0;

e276: (-x835*x143) - 359*x143 + 359*x835 - x835*x147 - 359*x147 - x835*x151 - 
      359*x151 - x835*x155 - 359*x155 - x835*x159 - 359*x159 - x835*x163 - 359*
      x163 - x835*x167 - 359*x167 - x835*x171 - 359*x171 - x835*x175 - 359*x175
       - x835*x179 - 359*x179 - x835*x183 - 359*x183 - x835*x187 - 359*x187 - 
      x835*x191 - 359*x191 - x835*x195 - 359*x195 >= 0;

e277: (-x836*x201) - 223*x201 + 223*x836 - x836*x209 - 223*x209 - x836*x217 - 
      223*x217 - x836*x225 - 223*x225 - x836*x233 - 223*x233 - x836*x241 - 223*
      x241 - x836*x249 - 223*x249 - x836*x257 - 223*x257 - x836*x265 - 223*x265
       - x836*x273 - 223*x273 - x836*x281 - 223*x281 - x836*x289 - 223*x289 - 
      x836*x297 - 223*x297 - x836*x305 - 223*x305 >= 0;

e278: (-x837*x506) - 256*x506 + 256*x837 - x837*x510 - 256*x510 - x837*x514 - 
      256*x514 - x837*x518 - 256*x518 - x837*x522 - 256*x522 - x837*x526 - 256*
      x526 - x837*x530 - 256*x530 - x837*x534 - 256*x534 - x837*x538 - 256*x538
       - x837*x542 - 256*x542 - x837*x546 - 256*x546 - x837*x550 - 256*x550 - 
      x837*x554 - 256*x554 - x837*x558 - 256*x558 >= 0;

e279: (-x838*x560) - 391*x560 + 391*x838 - x838*x562 - 391*x562 - x838*x564 - 
      391*x564 - x838*x566 - 391*x566 - x838*x568 - 391*x568 - x838*x570 - 391*
      x570 - x838*x572 - 391*x572 - x838*x574 - 391*x574 - x838*x576 - 391*x576
       - x838*x578 - 391*x578 - x838*x580 - 391*x580 - x838*x582 - 391*x582 - 
      x838*x584 - 391*x584 - x838*x586 - 391*x586 >= 0;

e280: (-x839*x61) - 116*x61 + 116*x839 - x839*x67 - 116*x67 - x839*x73 - 116*
      x73 - x839*x79 - 116*x79 - x839*x85 - 116*x85 - x839*x91 - 116*x91 - x839
      *x97 - 116*x97 - x839*x103 - 116*x103 - x839*x109 - 116*x109 - x839*x115
       - 116*x115 - x839*x121 - 116*x121 - x839*x127 - 116*x127 - x839*x133 - 
      116*x133 - x839*x139 - 116*x139 >= 0;

e281: (-x840*x202) - 248*x202 + 248*x840 - x840*x210 - 248*x210 - x840*x218 - 
      248*x218 - x840*x226 - 248*x226 - x840*x234 - 248*x234 - x840*x242 - 248*
      x242 - x840*x250 - 248*x250 - x840*x258 - 248*x258 - x840*x266 - 248*x266
       - x840*x274 - 248*x274 - x840*x282 - 248*x282 - x840*x290 - 248*x290 - 
      x840*x298 - 248*x298 - x840*x306 - 248*x306 >= 0;

e282: (-x841*x588) - 260*x588 + 260*x841 - x841*x594 - 260*x594 - x841*x600 - 
      260*x600 - x841*x606 - 260*x606 - x841*x612 - 260*x612 - x841*x618 - 260*
      x618 - x841*x624 - 260*x624 - x841*x630 - 260*x630 - x841*x636 - 260*x636
       - x841*x642 - 260*x642 - x841*x648 - 260*x648 - x841*x654 - 260*x654 - 
      x841*x660 - 260*x660 - x841*x666 - 260*x666 >= 0;

e283: (-x842*x589) - 143*x589 + 143*x842 - x842*x595 - 143*x595 - x842*x601 - 
      143*x601 - x842*x607 - 143*x607 - x842*x613 - 143*x613 - x842*x619 - 143*
      x619 - x842*x625 - 143*x625 - x842*x631 - 143*x631 - x842*x637 - 143*x637
       - x842*x643 - 143*x643 - x842*x649 - 143*x649 - x842*x655 - 143*x655 - 
      x842*x661 - 143*x661 - x842*x667 - 143*x667 >= 0;

e284: (-x843*x590) - 109*x590 + 109*x843 - x843*x596 - 109*x596 - x843*x602 - 
      109*x602 - x843*x608 - 109*x608 - x843*x614 - 109*x614 - x843*x620 - 109*
      x620 - x843*x626 - 109*x626 - x843*x632 - 109*x632 - x843*x638 - 109*x638
       - x843*x644 - 109*x644 - x843*x650 - 109*x650 - x843*x656 - 109*x656 - 
      x843*x662 - 109*x662 - x843*x668 - 109*x668 >= 0;

e285: (-x844*x314) - 437*x314 + 437*x844 - x844*x324 - 437*x324 - x844*x334 - 
      437*x334 - x844*x344 - 437*x344 - x844*x354 - 437*x354 - x844*x364 - 437*
      x364 - x844*x374 - 437*x374 - x844*x384 - 437*x384 - x844*x394 - 437*x394
       - x844*x404 - 437*x404 - x844*x414 - 437*x414 - x844*x424 - 437*x424 - 
      x844*x434 - 437*x434 - x844*x444 - 437*x444 >= 0;

e286: (-x845*x450) - 428*x450 + 428*x845 - x845*x454 - 428*x454 - x845*x458 - 
      428*x458 - x845*x462 - 428*x462 - x845*x466 - 428*x466 - x845*x470 - 428*
      x470 - x845*x474 - 428*x474 - x845*x478 - 428*x478 - x845*x482 - 428*x482
       - x845*x486 - 428*x486 - x845*x490 - 428*x490 - x845*x494 - 428*x494 - 
      x845*x498 - 428*x498 - x845*x502 - 428*x502 >= 0;

e287: (-x846*x672) - 398*x672 + 398*x846 - x846*x674 - 398*x674 - x846*x676 - 
      398*x676 - x846*x678 - 398*x678 - x846*x680 - 398*x680 - x846*x682 - 398*
      x682 - x846*x684 - 398*x684 - x846*x686 - 398*x686 - x846*x688 - 398*x688
       - x846*x690 - 398*x690 - x846*x692 - 398*x692 - x846*x694 - 398*x694 - 
      x846*x696 - 398*x696 - x846*x698 - 398*x698 >= 0;

e288: (-x847*x591) - 260*x591 + 260*x847 - x847*x597 - 260*x597 - x847*x603 - 
      260*x603 - x847*x609 - 260*x609 - x847*x615 - 260*x615 - x847*x621 - 260*
      x621 - x847*x627 - 260*x627 - x847*x633 - 260*x633 - x847*x639 - 260*x639
       - x847*x645 - 260*x645 - x847*x651 - 260*x651 - x847*x657 - 260*x657 - 
      x847*x663 - 260*x663 - x847*x669 - 260*x669 >= 0;

e289: (-x848*x700) - 134*x700 + 134*x848 - x848*x702 - 134*x702 - x848*x704 - 
      134*x704 - x848*x706 - 134*x706 - x848*x708 - 134*x708 - x848*x710 - 134*
      x710 - x848*x712 - 134*x712 - x848*x714 - 134*x714 - x848*x716 - 134*x716
       - x848*x718 - 134*x718 - x848*x720 - 134*x720 - x848*x722 - 134*x722 - 
      x848*x724 - 134*x724 - x848*x726 - 134*x726 >= 0;

e290: (-x849*x203) - 363*x203 + 363*x849 - x849*x211 - 363*x211 - x849*x219 - 
      363*x219 - x849*x227 - 363*x227 - x849*x235 - 363*x235 - x849*x243 - 363*
      x243 - x849*x251 - 363*x251 - x849*x259 - 363*x259 - x849*x267 - 363*x267
       - x849*x275 - 363*x275 - x849*x283 - 363*x283 - x849*x291 - 363*x291 - 
      x849*x299 - 363*x299 - x849*x307 - 363*x307 >= 0;

e291: (-x850*x315) - 283*x315 + 283*x850 - x850*x325 - 283*x325 - x850*x335 - 
      283*x335 - x850*x345 - 283*x345 - x850*x355 - 283*x355 - x850*x365 - 283*
      x365 - x850*x375 - 283*x375 - x850*x385 - 283*x385 - x850*x395 - 283*x395
       - x850*x405 - 283*x405 - x850*x415 - 283*x415 - x850*x425 - 283*x425 - 
      x850*x435 - 283*x435 - x850*x445 - 283*x445 >= 0;

e292: (-x851*x592) - 143*x592 + 143*x851 - x851*x598 - 143*x598 - x851*x604 - 
      143*x604 - x851*x610 - 143*x610 - x851*x616 - 143*x616 - x851*x622 - 143*
      x622 - x851*x628 - 143*x628 - x851*x634 - 143*x634 - x851*x640 - 143*x640
       - x851*x646 - 143*x646 - x851*x652 - 143*x652 - x851*x658 - 143*x658 - 
      x851*x664 - 143*x664 - x851*x670 - 143*x670 >= 0;

e293: (-x852*x673) - 398*x673 + 398*x852 - x852*x675 - 398*x675 - x852*x677 - 
      398*x677 - x852*x679 - 398*x679 - x852*x681 - 398*x681 - x852*x683 - 398*
      x683 - x852*x685 - 398*x685 - x852*x687 - 398*x687 - x852*x689 - 398*x689
       - x852*x691 - 398*x691 - x852*x693 - 398*x693 - x852*x695 - 398*x695 - 
      x852*x697 - 398*x697 - x852*x699 - 398*x699 >= 0;

e294: (-x853*x701) - 134*x701 + 134*x853 - x853*x703 - 134*x703 - x853*x705 - 
      134*x705 - x853*x707 - 134*x707 - x853*x709 - 134*x709 - x853*x711 - 134*
      x711 - x853*x713 - 134*x713 - x853*x715 - 134*x715 - x853*x717 - 134*x717
       - x853*x719 - 134*x719 - x853*x721 - 134*x721 - x853*x723 - 134*x723 - 
      x853*x725 - 134*x725 - x853*x727 - 134*x727 >= 0;

e295: (-x854*x728) - 314*x728 + 314*x854 - x854*x730 - 314*x730 - x854*x732 - 
      314*x732 - x854*x734 - 314*x734 - x854*x736 - 314*x736 - x854*x738 - 314*
      x738 - x854*x740 - 314*x740 - x854*x742 - 314*x742 - x854*x744 - 314*x744
       - x854*x746 - 314*x746 - x854*x748 - 314*x748 - x854*x750 - 314*x750 - 
      x854*x752 - 314*x752 - x854*x754 - 314*x754 >= 0;

e296: (-x855*x451) - 252*x451 + 252*x855 - x855*x455 - 252*x455 - x855*x459 - 
      252*x459 - x855*x463 - 252*x463 - x855*x467 - 252*x467 - x855*x471 - 252*
      x471 - x855*x475 - 252*x475 - x855*x479 - 252*x479 - x855*x483 - 252*x483
       - x855*x487 - 252*x487 - x855*x491 - 252*x491 - x855*x495 - 252*x495 - 
      x855*x499 - 252*x499 - x855*x503 - 252*x503 >= 0;

e297: (-x856*x561) - 391*x561 + 391*x856 - x856*x563 - 391*x563 - x856*x565 - 
      391*x565 - x856*x567 - 391*x567 - x856*x569 - 391*x569 - x856*x571 - 391*
      x571 - x856*x573 - 391*x573 - x856*x575 - 391*x575 - x856*x577 - 391*x577
       - x856*x579 - 391*x579 - x856*x581 - 391*x581 - x856*x583 - 391*x583 - 
      x856*x585 - 391*x585 - x856*x587 - 391*x587 >= 0;

e298: (-x857*x756) - 366*x756 + 366*x857 - x857*x758 - 366*x758 - x857*x760 - 
      366*x760 - x857*x762 - 366*x762 - x857*x764 - 366*x764 - x857*x766 - 366*
      x766 - x857*x768 - 366*x768 - x857*x770 - 366*x770 - x857*x772 - 366*x772
       - x857*x774 - 366*x774 - x857*x776 - 366*x776 - x857*x778 - 366*x778 - 
      x857*x780 - 366*x780 - x857*x782 - 366*x782 >= 0;

e299: (-x858*x316) - 419*x316 + 419*x858 - x858*x326 - 419*x326 - x858*x336 - 
      419*x336 - x858*x346 - 419*x346 - x858*x356 - 419*x356 - x858*x366 - 419*
      x366 - x858*x376 - 419*x376 - x858*x386 - 419*x386 - x858*x396 - 419*x396
       - x858*x406 - 419*x406 - x858*x416 - 419*x416 - x858*x426 - 419*x426 - 
      x858*x436 - 419*x436 - x858*x446 - 419*x446 >= 0;

e300: (-x859*x784) - 179*x784 + 179*x859 - x859*x786 - 179*x786 - x859*x788 - 
      179*x788 - x859*x790 - 179*x790 - x859*x792 - 179*x792 - x859*x794 - 179*
      x794 - x859*x796 - 179*x796 - x859*x798 - 179*x798 - x859*x800 - 179*x800
       - x859*x802 - 179*x802 - x859*x804 - 179*x804 - x859*x806 - 179*x806 - 
      x859*x808 - 179*x808 - x859*x810 - 179*x810 >= 0;

e301: (-x860*x317) - 377*x317 + 377*x860 - x860*x327 - 377*x327 - x860*x337 - 
      377*x337 - x860*x347 - 377*x347 - x860*x357 - 377*x357 - x860*x367 - 377*
      x367 - x860*x377 - 377*x377 - x860*x387 - 377*x387 - x860*x397 - 377*x397
       - x860*x407 - 377*x407 - x860*x417 - 377*x417 - x860*x427 - 377*x427 - 
      x860*x437 - 377*x437 - x860*x447 - 377*x447 >= 0;

e302: (-x861*x507) - 413*x507 + 413*x861 - x861*x511 - 413*x511 - x861*x515 - 
      413*x515 - x861*x519 - 413*x519 - x861*x523 - 413*x523 - x861*x527 - 413*
      x527 - x861*x531 - 413*x531 - x861*x535 - 413*x535 - x861*x539 - 413*x539
       - x861*x543 - 413*x543 - x861*x547 - 413*x547 - x861*x551 - 413*x551 - 
      x861*x555 - 413*x555 - x861*x559 - 413*x559 >= 0;

e303: (-x862*x593) - 109*x593 + 109*x862 - x862*x599 - 109*x599 - x862*x605 - 
      109*x605 - x862*x611 - 109*x611 - x862*x617 - 109*x617 - x862*x623 - 109*
      x623 - x862*x629 - 109*x629 - x862*x635 - 109*x635 - x862*x641 - 109*x641
       - x862*x647 - 109*x647 - x862*x653 - 109*x653 - x862*x659 - 109*x659 - 
      x862*x665 - 109*x665 - x862*x671 - 109*x671 >= 0;

e304: (-x863*x729) - 314*x729 + 314*x863 - x863*x731 - 314*x731 - x863*x733 - 
      314*x733 - x863*x735 - 314*x735 - x863*x737 - 314*x737 - x863*x739 - 314*
      x739 - x863*x741 - 314*x741 - x863*x743 - 314*x743 - x863*x745 - 314*x745
       - x863*x747 - 314*x747 - x863*x749 - 314*x749 - x863*x751 - 314*x751 - 
      x863*x753 - 314*x753 - x863*x755 - 314*x755 >= 0;

e305: (-x864*x757) - 366*x757 + 366*x864 - x864*x759 - 366*x759 - x864*x761 - 
      366*x761 - x864*x763 - 366*x763 - x864*x765 - 366*x765 - x864*x767 - 366*
      x767 - x864*x769 - 366*x769 - x864*x771 - 366*x771 - x864*x773 - 366*x773
       - x864*x775 - 366*x775 - x864*x777 - 366*x777 - x864*x779 - 366*x779 - 
      x864*x781 - 366*x781 - x864*x783 - 366*x783 >= 0;

e306: (-x865*x785) - 179*x785 + 179*x865 - x865*x787 - 179*x787 - x865*x789 - 
      179*x789 - x865*x791 - 179*x791 - x865*x793 - 179*x793 - x865*x795 - 179*
      x795 - x865*x797 - 179*x797 - x865*x799 - 179*x799 - x865*x801 - 179*x801
       - x865*x803 - 179*x803 - x865*x805 - 179*x805 - x865*x807 - 179*x807 - 
      x865*x809 - 179*x809 - x865*x811 - 179*x811 >= 0;