#  MINLP written by GAMS Convert at 01/12/18 13:36:06
#  
#  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 x1 >= 0;
var x2 >= 0;
var x3 >= 0;
var x4 >= 0;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;
var x291 >= 0;
var x292 >= 0;
var x293 >= 0;
var x294 >= 0;
var x295 >= 0;
var x296 >= 0;
var x297 >= 0;
var x298 >= 0;
var x299 >= 0;
var x300 >= 0;
var x301 >= 0;
var x302 >= 0;
var x303 >= 0;
var x304 >= 0;
var x305 >= 0;
var x306 >= 0;
var x307 >= 0;
var x308 >= 0;
var x309 >= 0;
var x310 >= 0;
var x311 >= 0;
var x312 >= 0;
var x313 >= 0;
var x314 >= 0;
var x315 >= 0;
var x316 >= 0;
var x317 >= 0;
var x318 >= 0;
var x319 >= 0;
var x320 >= 0;
var x321 >= 0;
var x322 >= 0;
var x323 >= 0;
var x324 >= 0;
var x325 >= 0;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;
var x343 >= 0;
var x344 >= 0;
var x345 >= 0;
var x346 >= 0;
var x347 >= 0;
var x348 >= 0;
var x349 >= 0;
var x350 >= 0;
var x351 >= 0;
var x352 >= 0;
var x353 >= 0;
var x354 >= 0;
var x355 >= 0;
var x356 >= 0;
var x357 >= 0;
var x358 >= 0;
var x359 >= 0;
var x360 >= 0;
var x361 >= 0;
var x362 >= 0;
var x363 >= 0;
var x364 >= 0;
var x365 >= 0;
var x366 >= 0;
var x367 >= 0;
var x368 >= 0;
var x369 >= 0;
var x370 >= 0;
var x371 >= 0;
var x372 >= 0;
var x373 >= 0;
var x374 >= 0;
var x375 >= 0;
var x376 >= 0;
var x377 >= 0;
var x378 >= 0;
var x379 >= 0;
var x380 >= 0;
var x381 >= 0;
var x382 >= 0;
var x383 >= 0;
var x384 >= 0;
var x385 >= 0;
var x386 >= 0;
var x387 >= 0;
var x388 >= 0;
var x389 >= 0;
var x390 >= 0;
var x391 >= 0;
var x392 >= 0;
var x393 >= 0;
var x394 >= 0;
var x395 >= 0;
var x396 >= 0;
var x397 >= 0;
var x398 >= 0;
var x399 >= 0;
var x400 >= 0;
var x401 >= 0;
var x402 >= 0;
var x403 >= 0;
var x404 >= 0;
var x405 >= 0;
var x406 >= 0;
var x407 >= 0;
var x408 >= 0;
var x409 >= 0;
var x410 >= 0;
var x411 >= 0;
var x412 >= 0;
var x413 >= 0;
var x414 >= 0;
var x415 >= 0;
var x416 >= 0;
var x417 >= 0;
var x418 >= 0;
var x419 >= 0;
var x420 >= 0;
var x421 >= 0;
var x422 >= 0;
var x423 >= 0;
var x424 >= 0;
var x425 >= 0;
var x426 >= 0;
var x427 >= 0;
var x428 >= 0;
var x429 >= 0;
var x430 >= 0;
var x431 >= 0;
var x432 >= 0;
var x433 >= 0;
var x434 >= 0;
var x435 >= 0;
var x436 >= 0;
var x437 >= 0;
var x438 >= 0;
var x439 >= 0;
var x440 >= 0;
var x441 >= 0;
var x442 >= 0;
var x443 >= 0;
var x444 >= 0;
var x445 >= 0;
var x446 >= 0;
var x447 >= 0;
var x448 >= 0;
var x449 >= 0;
var x450 >= 0;
var x451 >= 0;
var x452 >= 0;
var x453 >= 0;
var x454 >= 0;
var x455 >= 0;
var x456 >= 0;
var x457 >= 0;
var x458 >= 0;
var x459 >= 0;
var x460 >= 0;
var x461 >= 0;
var x462 >= 0;
var x463 >= 0;
var x464 >= 0;
var x465 >= 0;
var x466 >= 0;
var x467 >= 0;
var x468 >= 0;
var x469 >= 0;
var x470 >= 0;
var x471 >= 0;
var x472 >= 0;
var x473 >= 0;
var x474 >= 0;
var x475 >= 0;
var x476 >= 0;
var x477 >= 0;
var x478 >= 0;
var x479 >= 0;
var x480 >= 0;
var x481 >= 0;
var x482 >= 0;
var x483 >= 0;
var x484 >= 0;
var x485 >= 0;
var x486 >= 0;
var x487 >= 0;
var x488 >= 0;
var x489 >= 0;
var x490 >= 0;
var x491 >= 0;
var x492 >= 0;
var x493 >= 0;
var x494 >= 0;
var x495 >= 0;
var x496 >= 0;
var x497 >= 0;
var x498 >= 0;
var x499 >= 0;
var x500 >= 0;
var x501 >= 0;
var x502 >= 0;
var x503 >= 0;
var x504 >= 0;
var x505 >= 0;
var x506 >= 0;
var x507 >= 0;
var x508 >= 0;
var x509 >= 0;
var x510 >= 0;
var x511 >= 0;
var x512 >= 0;
var x513 >= 0;
var x514 >= 0;
var x515 >= 0;
var x516 >= 0;
var x517 >= 0;
var x518 >= 0;
var x519 >= 0;
var x520 >= 0;
var x521 >= 0;
var x522 >= 0;
var x523 >= 0;
var x524 >= 0;
var x525 >= 0;
var x526 >= 0;
var x527 >= 0;
var x528 >= 0;
var x529 >= 0;
var x530 >= 0;
var x531 >= 0;
var x532 >= 0;
var x533 >= 0;
var x534 >= 0;
var x535 >= 0;
var x536 >= 0;
var x537 >= 0;
var x538 >= 0;
var x539 >= 0;
var x540 >= 0;
var x541 >= 0;
var x542 >= 0;
var x543 >= 0;
var x544 >= 0;
var x545 >= 0;
var x546 >= 0;
var x547 >= 0;
var x548 >= 0;
var x549 >= 0;
var x550 >= 0;
var x551 >= 0;
var x552 >= 0;
var 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 b757 binary >= 0, <= 1;
var b758 binary >= 0, <= 1;
var b759 binary >= 0, <= 1;
var b760 binary >= 0, <= 1;
var b761 binary >= 0, <= 1;
var b762 binary >= 0, <= 1;
var b763 binary >= 0, <= 1;
var b764 binary >= 0, <= 1;
var b765 binary >= 0, <= 1;
var b766 binary >= 0, <= 1;
var b767 binary >= 0, <= 1;
var b768 binary >= 0, <= 1;
var b769 binary >= 0, <= 1;
var b770 binary >= 0, <= 1;
var b771 binary >= 0, <= 1;
var b772 binary >= 0, <= 1;
var b773 binary >= 0, <= 1;
var b774 binary >= 0, <= 1;
var b775 binary >= 0, <= 1;
var b776 binary >= 0, <= 1;
var b777 binary >= 0, <= 1;
var b778 binary >= 0, <= 1;
var b779 binary >= 0, <= 1;
var b780 binary >= 0, <= 1;
var b781 binary >= 0, <= 1;
var b782 binary >= 0, <= 1;
var b783 binary >= 0, <= 1;
var b784 binary >= 0, <= 1;
var b785 binary >= 0, <= 1;
var b786 binary >= 0, <= 1;
var b787 binary >= 0, <= 1;
var b788 binary >= 0, <= 1;
var b789 binary >= 0, <= 1;
var b790 binary >= 0, <= 1;
var b791 binary >= 0, <= 1;
var b792 binary >= 0, <= 1;
var b793 binary >= 0, <= 1;
var b794 binary >= 0, <= 1;
var b795 binary >= 0, <= 1;
var b796 binary >= 0, <= 1;
var b797 binary >= 0, <= 1;
var b798 binary >= 0, <= 1;
var b799 binary >= 0, <= 1;
var b800 binary >= 0, <= 1;
var b801 binary >= 0, <= 1;
var b802 binary >= 0, <= 1;
var b803 binary >= 0, <= 1;
var b804 binary >= 0, <= 1;
var b805 binary >= 0, <= 1;
var b806 binary >= 0, <= 1;
var b807 binary >= 0, <= 1;
var b808 binary >= 0, <= 1;
var b809 binary >= 0, <= 1;
var b810 binary >= 0, <= 1;
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;

minimize obj:    1.247902153*b757 + 3.853248292*b758 + 2.753881396*b759
     + 1.247902153*b760 + 2.115303802*b761 + 2.073122818*b762 + 3.87564082*b763
     + 2.537458771*b764 + 3.897053494*b765 + 3.223097071*b766
     + 3.077538217*b767 + 3.222690685*b768 + 3.045368992*b769
     + 1.256398027*b770 + 1.321513474*b771 + 2.115303802*b772
     + 3.077538217*b773 + 3.213749761*b774 + 1.140696436*b775
     + 3.853248292*b776 + 3.87564082*b777 + 1.796801476*b778 + 1.930844545*b779
     + 2.073122818*b780 + 2.537458771*b781 + 1.796801476*b782
     + 2.930918827*b783 + 2.753881396*b784 + 3.897053494*b785
     + 3.572642632*b786 + 2.15701522*b787 + 1.061422612*b788 + 3.222690685*b789
     + 3.213749761*b790 + 3.867132154*b791 + 3.572642632*b792
     + 3.838723369*b793 + 3.223097071*b794 + 3.045368992*b795 + 2.15701522*b796
     + 3.867132154*b797 + 3.838723369*b798 + 3.613241704*b799
     + 1.140696436*b800 + 2.930918827*b801 + 3.293067286*b802
     + 1.256398027*b803 + 1.737076687*b804 + 1.321513474*b805
     + 1.930844545*b806 + 1.061422612*b807 + 3.613241704*b808
     + 3.293067286*b809 + 1.737076687*b810;

subject to

e2:  - x1 - x15 - x29 + x43 + x267 + x379 = -207;

e3:  - x2 - x16 - x30 + x44 + x268 + x380 = 8;

e4:  - x3 - x17 - x31 + x45 + x269 + x381 = 25;

e5:  - x4 - x18 - x32 + x46 + x270 + x382 = 16;

e6:  - x5 - x19 - x33 + x47 + x271 + x383 = 17;

e7:  - x6 - x20 - x34 + x48 + x272 + x384 = 6;

e8:  - x7 - x21 - x35 + x49 + x273 + x385 = 14;

e9:  - x8 - x22 - x36 + x50 + x274 + x386 = 19;

e10:  - x9 - x23 - x37 + x51 + x275 + x387 = 8;

e11:  - x10 - x24 - x38 + x52 + x276 + x388 = 17;

e12:  - x11 - x25 - x39 + x53 + x277 + x389 = 15;

e13:  - x12 - x26 - x40 + x54 + x278 + x390 = 19;

e14:  - x13 - x27 - x41 + x55 + x279 + x391 = 13;

e15:  - x14 - x28 - x42 + x56 + x280 + x392 = 21;

e16:    x1 - x43 - x57 - x71 + x211 + x323 = 11;

e17:    x2 - x44 - x58 - x72 + x212 + x324 = -165;

e18:    x3 - x45 - x59 - x73 + x213 + x325 = 11;

e19:    x4 - x46 - x60 - x74 + x214 + x326 = 11;

e20:    x5 - x47 - x61 - x75 + x215 + x327 = 23;

e21:    x6 - x48 - x62 - x76 + x216 + x328 = 16;

e22:    x7 - x49 - x63 - x77 + x217 + x329 = 23;

e23:    x8 - x50 - x64 - x78 + x218 + x330 = 15;

e24:    x9 - x51 - x65 - x79 + x219 + x331 = 14;

e25:    x10 - x52 - x66 - x80 + x220 + x332 = 13;

e26:    x11 - x53 - x67 - x81 + x221 + x333 = 10;

e27:    x12 - x54 - x68 - x82 + x222 + x334 = 16;

e28:    x13 - x55 - x69 - x83 + x223 + x335 = 21;

e29:    x14 - x56 - x70 - x84 + x224 + x336 = 13;

e30:  - x85 - x99 - x113 - x127 + x281 + x337 + x393 + x519 = 24;

e31:  - x86 - x100 - x114 - x128 + x282 + x338 + x394 + x520 = 14;

e32:  - x87 - x101 - x115 - x129 + x283 + x339 + x395 + x521 = -171;

e33:  - x88 - x102 - x116 - x130 + x284 + x340 + x396 + x522 = 19;

e34:  - x89 - x103 - x117 - x131 + x285 + x341 + x397 + x523 = 11;

e35:  - x90 - x104 - x118 - x132 + x286 + x342 + x398 + x524 = 15;

e36:  - x91 - x105 - x119 - x133 + x287 + x343 + x399 + x525 = 17;

e37:  - x92 - x106 - x120 - x134 + x288 + x344 + x400 + x526 = 5;

e38:  - x93 - x107 - x121 - x135 + x289 + x345 + x401 + x527 = 21;

e39:  - x94 - x108 - x122 - x136 + x290 + x346 + x402 + x528 = 23;

e40:  - x95 - x109 - x123 - x137 + x291 + x347 + x403 + x529 = 6;

e41:  - x96 - x110 - x124 - x138 + x292 + x348 + x404 + x530 = 22;

e42:  - x97 - x111 - x125 - x139 + x293 + x349 + x405 + x531 = 7;

e43:  - x98 - x112 - x126 - x140 + x294 + x350 + x406 + x532 = 6;

e44:  - x141 - x155 - x169 - x183 - x197 + x225 + x449 + x533 + x645 + x673
      = 23;

e45:  - x142 - x156 - x170 - x184 - x198 + x226 + x450 + x534 + x646 + x674
      = 17;

e46:  - x143 - x157 - x171 - x185 - x199 + x227 + x451 + x535 + x647 + x675
      = 7;

e47:  - x144 - x158 - x172 - x186 - x200 + x228 + x452 + x536 + x648 + x676
      = -199;

e48:  - x145 - x159 - x173 - x187 - x201 + x229 + x453 + x537 + x649 + x677
      = 12;

e49:  - x146 - x160 - x174 - x188 - x202 + x230 + x454 + x538 + x650 + x678
      = 22;

e50:  - x147 - x161 - x175 - x189 - x203 + x231 + x455 + x539 + x651 + x679
      = 18;

e51:  - x148 - x162 - x176 - x190 - x204 + x232 + x456 + x540 + x652 + x680
      = 7;

e52:  - x149 - x163 - x177 - x191 - x205 + x233 + x457 + x541 + x653 + x681
      = 9;

e53:  - x150 - x164 - x178 - x192 - x206 + x234 + x458 + x542 + x654 + x682
      = 10;

e54:  - x151 - x165 - x179 - x193 - x207 + x235 + x459 + x543 + x655 + x683
      = 17;

e55:  - x152 - x166 - x180 - x194 - x208 + x236 + x460 + x544 + x656 + x684
      = 11;

e56:  - x153 - x167 - x181 - x195 - x209 + x237 + x461 + x545 + x657 + x685
      = 23;

e57:  - x154 - x168 - x182 - x196 - x210 + x238 + x462 + x546 + x658 + x686
      = 15;

e58:    x57 + x141 - x211 - x225 - x239 - x253 + x463 + x603 = 15;

e59:    x58 + x142 - x212 - x226 - x240 - x254 + x464 + x604 = 25;

e60:    x59 + x143 - x213 - x227 - x241 - x255 + x465 + x605 = 23;

e61:    x60 + x144 - x214 - x228 - x242 - x256 + x466 + x606 = 5;

e62:    x61 + x145 - x215 - x229 - x243 - x257 + x467 + x607 = -218;

e63:    x62 + x146 - x216 - x230 - x244 - x258 + x468 + x608 = 25;

e64:    x63 + x147 - x217 - x231 - x245 - x259 + x469 + x609 = 16;

e65:    x64 + x148 - x218 - x232 - x246 - x260 + x470 + x610 = 12;

e66:    x65 + x149 - x219 - x233 - x247 - x261 + x471 + x611 = 7;

e67:    x66 + x150 - x220 - x234 - x248 - x262 + x472 + x612 = 5;

e68:    x67 + x151 - x221 - x235 - x249 - x263 + x473 + x613 = 19;

e69:    x68 + x152 - x222 - x236 - x250 - x264 + x474 + x614 = 12;

e70:    x69 + x153 - x223 - x237 - x251 - x265 + x475 + x615 = 23;

e71:    x70 + x154 - x224 - x238 - x252 - x266 + x476 + x616 = 19;

e72:    x15 + x85 - x267 - x281 - x295 - x309 + x351 + x687 = 12;

e73:    x16 + x86 - x268 - x282 - x296 - x310 + x352 + x688 = 6;

e74:    x17 + x87 - x269 - x283 - x297 - x311 + x353 + x689 = 10;

e75:    x18 + x88 - x270 - x284 - x298 - x312 + x354 + x690 = 11;

e76:    x19 + x89 - x271 - x285 - x299 - x313 + x355 + x691 = 14;

e77:    x20 + x90 - x272 - x286 - x300 - x314 + x356 + x692 = -210;

e78:    x21 + x91 - x273 - x287 - x301 - x315 + x357 + x693 = 12;

e79:    x22 + x92 - x274 - x288 - x302 - x316 + x358 + x694 = 17;

e80:    x23 + x93 - x275 - x289 - x303 - x317 + x359 + x695 = 15;

e81:    x24 + x94 - x276 - x290 - x304 - x318 + x360 + x696 = 21;

e82:    x25 + x95 - x277 - x291 - x305 - x319 + x361 + x697 = 22;

e83:    x26 + x96 - x278 - x292 - x306 - x320 + x362 + x698 = 7;

e84:    x27 + x97 - x279 - x293 - x307 - x321 + x363 + x699 = 6;

e85:    x28 + x98 - x280 - x294 - x308 - x322 + x364 + x700 = 22;

e86:    x71 + x99 + x295 - x323 - x337 - x351 - x365 + x617 = 17;

e87:    x72 + x100 + x296 - x324 - x338 - x352 - x366 + x618 = 25;

e88:    x73 + x101 + x297 - x325 - x339 - x353 - x367 + x619 = 14;

e89:    x74 + x102 + x298 - x326 - x340 - x354 - x368 + x620 = 13;

e90:    x75 + x103 + x299 - x327 - x341 - x355 - x369 + x621 = 12;

e91:    x76 + x104 + x300 - x328 - x342 - x356 - x370 + x622 = 8;

e92:    x77 + x105 + x301 - x329 - x343 - x357 - x371 + x623 = -196;

e93:    x78 + x106 + x302 - x330 - x344 - x358 - x372 + x624 = 5;

e94:    x79 + x107 + x303 - x331 - x345 - x359 - x373 + x625 = 13;

e95:    x80 + x108 + x304 - x332 - x346 - x360 - x374 + x626 = 8;

e96:    x81 + x109 + x305 - x333 - x347 - x361 - x375 + x627 = 20;

e97:    x82 + x110 + x306 - x334 - x348 - x362 - x376 + x628 = 16;

e98:    x83 + x111 + x307 - x335 - x349 - x363 - x377 + x629 = 18;

e99:    x84 + x112 + x308 - x336 - x350 - x364 - x378 + x630 = 9;

e100:    x29 + x113 - x379 - x393 - x407 - x421 - x435 + x491 + x547 + x701
       = 7;

e101:    x30 + x114 - x380 - x394 - x408 - x422 - x436 + x492 + x548 + x702
       = 6;

e102:    x31 + x115 - x381 - x395 - x409 - x423 - x437 + x493 + x549 + x703
       = 8;

e103:    x32 + x116 - x382 - x396 - x410 - x424 - x438 + x494 + x550 + x704
       = 22;

e104:    x33 + x117 - x383 - x397 - x411 - x425 - x439 + x495 + x551 + x705
       = 23;

e105:    x34 + x118 - x384 - x398 - x412 - x426 - x440 + x496 + x552 + x706
       = 14;

e106:    x35 + x119 - x385 - x399 - x413 - x427 - x441 + x497 + x553 + x707
       = 19;

e107:    x36 + x120 - x386 - x400 - x414 - x428 - x442 + x498 + x554 + x708
       = -174;

e108:    x37 + x121 - x387 - x401 - x415 - x429 - x443 + x499 + x555 + x709
       = 12;

e109:    x38 + x122 - x388 - x402 - x416 - x430 - x444 + x500 + x556 + x710
       = 7;

e110:    x39 + x123 - x389 - x403 - x417 - x431 - x445 + x501 + x557 + x711
       = 23;

e111:    x40 + x124 - x390 - x404 - x418 - x432 - x446 + x502 + x558 + x712
       = 16;

e112:    x41 + x125 - x391 - x405 - x419 - x433 - x447 + x503 + x559 + x713
       = 10;

e113:    x42 + x126 - x392 - x406 - x420 - x434 - x448 + x504 + x560 + x714
       = 23;

e114:    x155 + x239 - x449 - x463 - x477 + x561 = 9;

e115:    x156 + x240 - x450 - x464 - x478 + x562 = 14;

e116:    x157 + x241 - x451 - x465 - x479 + x563 = 6;

e117:    x158 + x242 - x452 - x466 - x480 + x564 = 21;

e118:    x159 + x243 - x453 - x467 - x481 + x565 = 14;

e119:    x160 + x244 - x454 - x468 - x482 + x566 = 22;

e120:    x161 + x245 - x455 - x469 - x483 + x567 = 6;

e121:    x162 + x246 - x456 - x470 - x484 + x568 = 17;

e122:    x163 + x247 - x457 - x471 - x485 + x569 = -198;

e123:    x164 + x248 - x458 - x472 - x486 + x570 = 19;

e124:    x165 + x249 - x459 - x473 - x487 + x571 = 15;

e125:    x166 + x250 - x460 - x474 - x488 + x572 = 6;

e126:    x167 + x251 - x461 - x475 - x489 + x573 = 19;

e127:    x168 + x252 - x462 - x476 - x490 + x574 = 15;

e128:    x407 - x491 - x505 + x575 = 24;

e129:    x408 - x492 - x506 + x576 = 9;

e130:    x409 - x493 - x507 + x577 = 13;

e131:    x410 - x494 - x508 + x578 = 22;

e132:    x411 - x495 - x509 + x579 = 13;

e133:    x412 - x496 - x510 + x580 = 20;

e134:    x413 - x497 - x511 + x581 = 15;

e135:    x414 - x498 - x512 + x582 = 24;

e136:    x415 - x499 - x513 + x583 = 22;

e137:    x416 - x500 - x514 + x584 = -168;

e138:    x417 - x501 - x515 + x585 = 22;

e139:    x418 - x502 - x516 + x586 = 16;

e140:    x419 - x503 - x517 + x587 = 7;

e141:    x420 - x504 - x518 + x588 = 11;

e142:    x127 + x169 + x421 + x477 + x505 - x519 - x533 - x547 - x561 - x575
       - x589 + x715 = 23;

e143:    x128 + x170 + x422 + x478 + x506 - x520 - x534 - x548 - x562 - x576
       - x590 + x716 = 6;

e144:    x129 + x171 + x423 + x479 + x507 - x521 - x535 - x549 - x563 - x577
       - x591 + x717 = 12;

e145:    x130 + x172 + x424 + x480 + x508 - x522 - x536 - x550 - x564 - x578
       - x592 + x718 = 11;

e146:    x131 + x173 + x425 + x481 + x509 - x523 - x537 - x551 - x565 - x579
       - x593 + x719 = 20;

e147:    x132 + x174 + x426 + x482 + x510 - x524 - x538 - x552 - x566 - x580
       - x594 + x720 = 21;

e148:    x133 + x175 + x427 + x483 + x511 - x525 - x539 - x553 - x567 - x581
       - x595 + x721 = 20;

e149:    x134 + x176 + x428 + x484 + x512 - x526 - x540 - x554 - x568 - x582
       - x596 + x722 = 23;

e150:    x135 + x177 + x429 + x485 + x513 - x527 - x541 - x555 - x569 - x583
       - x597 + x723 = 21;

e151:    x136 + x178 + x430 + x486 + x514 - x528 - x542 - x556 - x570 - x584
       - x598 + x724 = 6;

e152:    x137 + x179 + x431 + x487 + x515 - x529 - x543 - x557 - x571 - x585
       - x599 + x725 = -205;

e153:    x138 + x180 + x432 + x488 + x516 - x530 - x544 - x558 - x572 - x586
       - x600 + x726 = 13;

e154:    x139 + x181 + x433 + x489 + x517 - x531 - x545 - x559 - x573 - x587
       - x601 + x727 = 14;

e155:    x140 + x182 + x434 + x490 + x518 - x532 - x546 - x560 - x574 - x588
       - x602 + x728 = 17;

e156:    x253 + x365 - x603 - x617 - x631 + x729 = 14;

e157:    x254 + x366 - x604 - x618 - x632 + x730 = 17;

e158:    x255 + x367 - x605 - x619 - x633 + x731 = 7;

e159:    x256 + x368 - x606 - x620 - x634 + x732 = 15;

e160:    x257 + x369 - x607 - x621 - x635 + x733 = 24;

e161:    x258 + x370 - x608 - x622 - x636 + x734 = 15;

e162:    x259 + x371 - x609 - x623 - x637 + x735 = 10;

e163:    x260 + x372 - x610 - x624 - x638 + x736 = 15;

e164:    x261 + x373 - x611 - x625 - x639 + x737 = 20;

e165:    x262 + x374 - x612 - x626 - x640 + x738 = 11;

e166:    x263 + x375 - x613 - x627 - x641 + x739 = 6;

e167:    x264 + x376 - x614 - x628 - x642 + x740 = -175;

e168:    x265 + x377 - x615 - x629 - x643 + x741 = 6;

e169:    x266 + x378 - x616 - x630 - x644 + x742 = 6;

e170:    x183 - x645 - x659 + x743 = 13;

e171:    x184 - x646 - x660 + x744 = 9;

e172:    x185 - x647 - x661 + x745 = 10;

e173:    x186 - x648 - x662 + x746 = 15;

e174:    x187 - x649 - x663 + x747 = 13;

e175:    x188 - x650 - x664 + x748 = 19;

e176:    x189 - x651 - x665 + x749 = 10;

e177:    x190 - x652 - x666 + x750 = 10;

e178:    x191 - x653 - x667 + x751 = 20;

e179:    x192 - x654 - x668 + x752 = 15;

e180:    x193 - x655 - x669 + x753 = 17;

e181:    x194 - x656 - x670 + x754 = 15;

e182:    x195 - x657 - x671 + x755 = -182;

e183:    x196 - x658 - x672 + x756 = 13;

e184:    x197 + x309 + x435 + x589 + x631 + x659 - x673 - x687 - x701 - x715
       - x729 - x743 = 15;

e185:    x198 + x310 + x436 + x590 + x632 + x660 - x674 - x688 - x702 - x716
       - x730 - x744 = 9;

e186:    x199 + x311 + x437 + x591 + x633 + x661 - x675 - x689 - x703 - x717
       - x731 - x745 = 25;

e187:    x200 + x312 + x438 + x592 + x634 + x662 - x676 - x690 - x704 - x718
       - x732 - x746 = 18;

e188:    x201 + x313 + x439 + x593 + x635 + x663 - x677 - x691 - x705 - x719
       - x733 - x747 = 22;

e189:    x202 + x314 + x440 + x594 + x636 + x664 - x678 - x692 - x706 - x720
       - x734 - x748 = 7;

e190:    x203 + x315 + x441 + x595 + x637 + x665 - x679 - x693 - x707 - x721
       - x735 - x749 = 16;

e191:    x204 + x316 + x442 + x596 + x638 + x666 - x680 - x694 - x708 - x722
       - x736 - x750 = 5;

e192:    x205 + x317 + x443 + x597 + x639 + x667 - x681 - x695 - x709 - x723
       - x737 - x751 = 16;

e193:    x206 + x318 + x444 + x598 + x640 + x668 - x682 - x696 - x710 - x724
       - x738 - x752 = 13;

e194:    x207 + x319 + x445 + x599 + x641 + x669 - x683 - x697 - x711 - x725
       - x739 - x753 = 13;

e195:    x208 + x320 + x446 + x600 + x642 + x670 - x684 - x698 - x712 - x726
       - x740 - x754 = 6;

e196:    x209 + x321 + x447 + x601 + x643 + x671 - x685 - x699 - x713 - x727
       - x741 - x755 = 15;

e197:    x210 + x322 + x448 + x602 + x644 + x672 - x686 - x700 - x714 - x728
       - x742 - x756 = -190;

e198: (266 - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13
       - x14)*x811 - 266*x1 - 266*x2 - 266*x3 - 266*x4 - 266*x5 - 266*x6 - 266*
      x7 - 266*x8 - 266*x9 - 266*x10 - 266*x11 - 266*x12 - 266*x13 - 266*x14
       >= 0;

e199: (330 - x15 - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - x25 - 
      x26 - x27 - x28)*x812 - 330*x15 - 330*x16 - 330*x17 - 330*x18 - 330*x19
       - 330*x20 - 330*x21 - 330*x22 - 330*x23 - 330*x24 - 330*x25 - 330*x26 - 
      330*x27 - 330*x28 >= 0;

e200: (116 - x29 - x30 - x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - 
      x40 - x41 - x42)*x813 - 116*x29 - 116*x30 - 116*x31 - 116*x32 - 116*x33
       - 116*x34 - 116*x35 - 116*x36 - 116*x37 - 116*x38 - 116*x39 - 116*x40 - 
      116*x41 - 116*x42 >= 0;

e201: (266 - x43 - x44 - x45 - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - 
      x54 - x55 - x56)*x814 - 266*x43 - 266*x44 - 266*x45 - 266*x46 - 266*x47
       - 266*x48 - 266*x49 - 266*x50 - 266*x51 - 266*x52 - 266*x53 - 266*x54 - 
      266*x55 - 266*x56 >= 0;

e202: (425 - x57 - x58 - x59 - x60 - x61 - x62 - x63 - x64 - x65 - x66 - x67 - 
      x68 - x69 - x70)*x815 - 425*x57 - 425*x58 - 425*x59 - 425*x60 - 425*x61
       - 425*x62 - 425*x63 - 425*x64 - 425*x65 - 425*x66 - 425*x67 - 425*x68 - 
      425*x69 - 425*x70 >= 0;

e203: (359 - x71 - x72 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - 
      x82 - x83 - x84)*x816 - 359*x71 - 359*x72 - 359*x73 - 359*x74 - 359*x75
       - 359*x76 - 359*x77 - 359*x78 - 359*x79 - 359*x80 - 359*x81 - 359*x82 - 
      359*x83 - 359*x84 >= 0;

e204: (406 - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - 
      x96 - x97 - x98)*x817 - 406*x85 - 406*x86 - 406*x87 - 406*x88 - 406*x89
       - 406*x90 - 406*x91 - 406*x92 - 406*x93 - 406*x94 - 406*x95 - 406*x96 - 
      406*x97 - 406*x98 >= 0;

e205: (223 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 - x108
       - x109 - x110 - x111 - x112)*x818 - 223*x99 - 223*x100 - 223*x101 - 223*
      x102 - 223*x103 - 223*x104 - 223*x105 - 223*x106 - 223*x107 - 223*x108 - 
      223*x109 - 223*x110 - 223*x111 - 223*x112 >= 0;

e206: (248 - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121 - 
      x122 - x123 - x124 - x125 - x126)*x819 - 248*x113 - 248*x114 - 248*x115
       - 248*x116 - 248*x117 - 248*x118 - 248*x119 - 248*x120 - 248*x121 - 248*
      x122 - 248*x123 - 248*x124 - 248*x125 - 248*x126 >= 0;

e207: (363 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135 - 
      x136 - x137 - x138 - x139 - x140)*x820 - 363*x127 - 363*x128 - 363*x129
       - 363*x130 - 363*x131 - 363*x132 - 363*x133 - 363*x134 - 363*x135 - 363*
      x136 - 363*x137 - 363*x138 - 363*x139 - 363*x140 >= 0;

e208: (227 - x141 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149 - 
      x150 - x151 - x152 - x153 - x154)*x821 - 227*x141 - 227*x142 - 227*x143
       - 227*x144 - 227*x145 - 227*x146 - 227*x147 - 227*x148 - 227*x149 - 227*
      x150 - 227*x151 - 227*x152 - 227*x153 - 227*x154 >= 0;

e209: (437 - x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162 - x163 - 
      x164 - x165 - x166 - x167 - x168)*x822 - 437*x155 - 437*x156 - 437*x157
       - 437*x158 - 437*x159 - 437*x160 - 437*x161 - 437*x162 - 437*x163 - 437*
      x164 - 437*x165 - 437*x166 - 437*x167 - 437*x168 >= 0;

e210: (283 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - 
      x178 - x179 - x180 - x181 - x182)*x823 - 283*x169 - 283*x170 - 283*x171
       - 283*x172 - 283*x173 - 283*x174 - 283*x175 - 283*x176 - 283*x177 - 283*
      x178 - 283*x179 - 283*x180 - 283*x181 - 283*x182 >= 0;

e211: (419 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - 
      x192 - x193 - x194 - x195 - x196)*x824 - 419*x183 - 419*x184 - 419*x185
       - 419*x186 - 419*x187 - 419*x188 - 419*x189 - 419*x190 - 419*x191 - 419*
      x192 - 419*x193 - 419*x194 - 419*x195 - 419*x196 >= 0;

e212: (377 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 - 
      x206 - x207 - x208 - x209 - x210)*x825 - 377*x197 - 377*x198 - 377*x199
       - 377*x200 - 377*x201 - 377*x202 - 377*x203 - 377*x204 - 377*x205 - 377*
      x206 - 377*x207 - 377*x208 - 377*x209 - 377*x210 >= 0;

e213: (425 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - 
      x220 - x221 - x222 - x223 - x224)*x826 - 425*x211 - 425*x212 - 425*x213
       - 425*x214 - 425*x215 - 425*x216 - 425*x217 - 425*x218 - 425*x219 - 425*
      x220 - 425*x221 - 425*x222 - 425*x223 - 425*x224 >= 0;

e214: (227 - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - 
      x234 - x235 - x236 - x237 - x238)*x827 - 227*x225 - 227*x226 - 227*x227
       - 227*x228 - 227*x229 - 227*x230 - 227*x231 - 227*x232 - 227*x233 - 227*
      x234 - 227*x235 - 227*x236 - 227*x237 - 227*x238 >= 0;

e215: (428 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 - x247 - 
      x248 - x249 - x250 - x251 - x252)*x828 - 428*x239 - 428*x240 - 428*x241
       - 428*x242 - 428*x243 - 428*x244 - 428*x245 - 428*x246 - 428*x247 - 428*
      x248 - 428*x249 - 428*x250 - 428*x251 - 428*x252 >= 0;

e216: (252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - 
      x262 - x263 - x264 - x265 - x266)*x829 - 252*x253 - 252*x254 - 252*x255
       - 252*x256 - 252*x257 - 252*x258 - 252*x259 - 252*x260 - 252*x261 - 252*
      x262 - 252*x263 - 252*x264 - 252*x265 - 252*x266 >= 0;

e217: (330 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 - 
      x276 - x277 - x278 - x279 - x280)*x830 - 330*x267 - 330*x268 - 330*x269
       - 330*x270 - 330*x271 - 330*x272 - 330*x273 - 330*x274 - 330*x275 - 330*
      x276 - 330*x277 - 330*x278 - 330*x279 - 330*x280 >= 0;

e218: (406 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - 
      x290 - x291 - x292 - x293 - x294)*x831 - 406*x281 - 406*x282 - 406*x283
       - 406*x284 - 406*x285 - 406*x286 - 406*x287 - 406*x288 - 406*x289 - 406*
      x290 - 406*x291 - 406*x292 - 406*x293 - 406*x294 >= 0;

e219: (256 - x295 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 - 
      x304 - x305 - x306 - x307 - x308)*x832 - 256*x295 - 256*x296 - 256*x297
       - 256*x298 - 256*x299 - 256*x300 - 256*x301 - 256*x302 - 256*x303 - 256*
      x304 - 256*x305 - 256*x306 - 256*x307 - 256*x308 >= 0;

e220: (413 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - 
      x318 - x319 - x320 - x321 - x322)*x833 - 413*x309 - 413*x310 - 413*x311
       - 413*x312 - 413*x313 - 413*x314 - 413*x315 - 413*x316 - 413*x317 - 413*
      x318 - 413*x319 - 413*x320 - 413*x321 - 413*x322 >= 0;

e221: (359 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - 
      x332 - x333 - x334 - x335 - x336)*x834 - 359*x323 - 359*x324 - 359*x325
       - 359*x326 - 359*x327 - 359*x328 - 359*x329 - 359*x330 - 359*x331 - 359*
      x332 - 359*x333 - 359*x334 - 359*x335 - 359*x336 >= 0;

e222: (223 - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - 
      x346 - x347 - x348 - x349 - x350)*x835 - 223*x337 - 223*x338 - 223*x339
       - 223*x340 - 223*x341 - 223*x342 - 223*x343 - 223*x344 - 223*x345 - 223*
      x346 - 223*x347 - 223*x348 - 223*x349 - 223*x350 >= 0;

e223: (256 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - 
      x360 - x361 - x362 - x363 - x364)*x836 - 256*x351 - 256*x352 - 256*x353
       - 256*x354 - 256*x355 - 256*x356 - 256*x357 - 256*x358 - 256*x359 - 256*
      x360 - 256*x361 - 256*x362 - 256*x363 - 256*x364 >= 0;

e224: (391 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - 
      x374 - x375 - x376 - x377 - x378)*x837 - 391*x365 - 391*x366 - 391*x367
       - 391*x368 - 391*x369 - 391*x370 - 391*x371 - 391*x372 - 391*x373 - 391*
      x374 - 391*x375 - 391*x376 - 391*x377 - 391*x378 >= 0;

e225: (116 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386 - x387 - 
      x388 - x389 - x390 - x391 - x392)*x838 - 116*x379 - 116*x380 - 116*x381
       - 116*x382 - 116*x383 - 116*x384 - 116*x385 - 116*x386 - 116*x387 - 116*
      x388 - 116*x389 - 116*x390 - 116*x391 - 116*x392 >= 0;

e226: (248 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - 
      x402 - x403 - x404 - x405 - x406)*x839 - 248*x393 - 248*x394 - 248*x395
       - 248*x396 - 248*x397 - 248*x398 - 248*x399 - 248*x400 - 248*x401 - 248*
      x402 - 248*x403 - 248*x404 - 248*x405 - 248*x406 >= 0;

e227: (260 - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - 
      x416 - x417 - x418 - x419 - x420)*x840 - 260*x407 - 260*x408 - 260*x409
       - 260*x410 - 260*x411 - 260*x412 - 260*x413 - 260*x414 - 260*x415 - 260*
      x416 - 260*x417 - 260*x418 - 260*x419 - 260*x420 >= 0;

e228: (143 - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - 
      x430 - x431 - x432 - x433 - x434)*x841 - 143*x421 - 143*x422 - 143*x423
       - 143*x424 - 143*x425 - 143*x426 - 143*x427 - 143*x428 - 143*x429 - 143*
      x430 - 143*x431 - 143*x432 - 143*x433 - 143*x434 >= 0;

e229: (109 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - 
      x444 - x445 - x446 - x447 - x448)*x842 - 109*x435 - 109*x436 - 109*x437
       - 109*x438 - 109*x439 - 109*x440 - 109*x441 - 109*x442 - 109*x443 - 109*
      x444 - 109*x445 - 109*x446 - 109*x447 - 109*x448 >= 0;

e230: (437 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - 
      x458 - x459 - x460 - x461 - x462)*x843 - 437*x449 - 437*x450 - 437*x451
       - 437*x452 - 437*x453 - 437*x454 - 437*x455 - 437*x456 - 437*x457 - 437*
      x458 - 437*x459 - 437*x460 - 437*x461 - 437*x462 >= 0;

e231: (428 - x463 - x464 - x465 - x466 - x467 - x468 - x469 - x470 - x471 - 
      x472 - x473 - x474 - x475 - x476)*x844 - 428*x463 - 428*x464 - 428*x465
       - 428*x466 - 428*x467 - 428*x468 - 428*x469 - 428*x470 - 428*x471 - 428*
      x472 - 428*x473 - 428*x474 - 428*x475 - 428*x476 >= 0;

e232: (398 - x477 - x478 - x479 - x480 - x481 - x482 - x483 - x484 - x485 - 
      x486 - x487 - x488 - x489 - x490)*x845 - 398*x477 - 398*x478 - 398*x479
       - 398*x480 - 398*x481 - 398*x482 - 398*x483 - 398*x484 - 398*x485 - 398*
      x486 - 398*x487 - 398*x488 - 398*x489 - 398*x490 >= 0;

e233: (260 - x491 - x492 - x493 - x494 - x495 - x496 - x497 - x498 - x499 - 
      x500 - x501 - x502 - x503 - x504)*x846 - 260*x491 - 260*x492 - 260*x493
       - 260*x494 - 260*x495 - 260*x496 - 260*x497 - 260*x498 - 260*x499 - 260*
      x500 - 260*x501 - 260*x502 - 260*x503 - 260*x504 >= 0;

e234: (134 - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - 
      x514 - x515 - x516 - x517 - x518)*x847 - 134*x505 - 134*x506 - 134*x507
       - 134*x508 - 134*x509 - 134*x510 - 134*x511 - 134*x512 - 134*x513 - 134*
      x514 - 134*x515 - 134*x516 - 134*x517 - 134*x518 >= 0;

e235: (363 - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526 - x527 - 
      x528 - x529 - x530 - x531 - x532)*x848 - 363*x519 - 363*x520 - 363*x521
       - 363*x522 - 363*x523 - 363*x524 - 363*x525 - 363*x526 - 363*x527 - 363*
      x528 - 363*x529 - 363*x530 - 363*x531 - 363*x532 >= 0;

e236: (283 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540 - x541 - 
      x542 - x543 - x544 - x545 - x546)*x849 - 283*x533 - 283*x534 - 283*x535
       - 283*x536 - 283*x537 - 283*x538 - 283*x539 - 283*x540 - 283*x541 - 283*
      x542 - 283*x543 - 283*x544 - 283*x545 - 283*x546 >= 0;

e237: (143 - x547 - x548 - x549 - x550 - x551 - x552 - x553 - x554 - x555 - 
      x556 - x557 - x558 - x559 - x560)*x850 - 143*x547 - 143*x548 - 143*x549
       - 143*x550 - 143*x551 - 143*x552 - 143*x553 - 143*x554 - 143*x555 - 143*
      x556 - 143*x557 - 143*x558 - 143*x559 - 143*x560 >= 0;

e238: (398 - x561 - x562 - x563 - x564 - x565 - x566 - x567 - x568 - x569 - 
      x570 - x571 - x572 - x573 - x574)*x851 - 398*x561 - 398*x562 - 398*x563
       - 398*x564 - 398*x565 - 398*x566 - 398*x567 - 398*x568 - 398*x569 - 398*
      x570 - 398*x571 - 398*x572 - 398*x573 - 398*x574 >= 0;

e239: (134 - x575 - x576 - x577 - x578 - x579 - x580 - x581 - x582 - x583 - 
      x584 - x585 - x586 - x587 - x588)*x852 - 134*x575 - 134*x576 - 134*x577
       - 134*x578 - 134*x579 - 134*x580 - 134*x581 - 134*x582 - 134*x583 - 134*
      x584 - 134*x585 - 134*x586 - 134*x587 - 134*x588 >= 0;

e240: (314 - x589 - x590 - x591 - x592 - x593 - x594 - x595 - x596 - x597 - 
      x598 - x599 - x600 - x601 - x602)*x853 - 314*x589 - 314*x590 - 314*x591
       - 314*x592 - 314*x593 - 314*x594 - 314*x595 - 314*x596 - 314*x597 - 314*
      x598 - 314*x599 - 314*x600 - 314*x601 - 314*x602 >= 0;

e241: (252 - x603 - x604 - x605 - x606 - x607 - x608 - x609 - x610 - x611 - 
      x612 - x613 - x614 - x615 - x616)*x854 - 252*x603 - 252*x604 - 252*x605
       - 252*x606 - 252*x607 - 252*x608 - 252*x609 - 252*x610 - 252*x611 - 252*
      x612 - 252*x613 - 252*x614 - 252*x615 - 252*x616 >= 0;

e242: (391 - x617 - x618 - x619 - x620 - x621 - x622 - x623 - x624 - x625 - 
      x626 - x627 - x628 - x629 - x630)*x855 - 391*x617 - 391*x618 - 391*x619
       - 391*x620 - 391*x621 - 391*x622 - 391*x623 - 391*x624 - 391*x625 - 391*
      x626 - 391*x627 - 391*x628 - 391*x629 - 391*x630 >= 0;

e243: (366 - x631 - x632 - x633 - x634 - x635 - x636 - x637 - x638 - x639 - 
      x640 - x641 - x642 - x643 - x644)*x856 - 366*x631 - 366*x632 - 366*x633
       - 366*x634 - 366*x635 - 366*x636 - 366*x637 - 366*x638 - 366*x639 - 366*
      x640 - 366*x641 - 366*x642 - 366*x643 - 366*x644 >= 0;

e244: (419 - x645 - x646 - x647 - x648 - x649 - x650 - x651 - x652 - x653 - 
      x654 - x655 - x656 - x657 - x658)*x857 - 419*x645 - 419*x646 - 419*x647
       - 419*x648 - 419*x649 - 419*x650 - 419*x651 - 419*x652 - 419*x653 - 419*
      x654 - 419*x655 - 419*x656 - 419*x657 - 419*x658 >= 0;

e245: (179 - x659 - x660 - x661 - x662 - x663 - x664 - x665 - x666 - x667 - 
      x668 - x669 - x670 - x671 - x672)*x858 - 179*x659 - 179*x660 - 179*x661
       - 179*x662 - 179*x663 - 179*x664 - 179*x665 - 179*x666 - 179*x667 - 179*
      x668 - 179*x669 - 179*x670 - 179*x671 - 179*x672 >= 0;

e246: (377 - x673 - x674 - x675 - x676 - x677 - x678 - x679 - x680 - x681 - 
      x682 - x683 - x684 - x685 - x686)*x859 - 377*x673 - 377*x674 - 377*x675
       - 377*x676 - 377*x677 - 377*x678 - 377*x679 - 377*x680 - 377*x681 - 377*
      x682 - 377*x683 - 377*x684 - 377*x685 - 377*x686 >= 0;

e247: (413 - x687 - x688 - x689 - x690 - x691 - x692 - x693 - x694 - x695 - 
      x696 - x697 - x698 - x699 - x700)*x860 - 413*x687 - 413*x688 - 413*x689
       - 413*x690 - 413*x691 - 413*x692 - 413*x693 - 413*x694 - 413*x695 - 413*
      x696 - 413*x697 - 413*x698 - 413*x699 - 413*x700 >= 0;

e248: (109 - x701 - x702 - x703 - x704 - x705 - x706 - x707 - x708 - x709 - 
      x710 - x711 - x712 - x713 - x714)*x861 - 109*x701 - 109*x702 - 109*x703
       - 109*x704 - 109*x705 - 109*x706 - 109*x707 - 109*x708 - 109*x709 - 109*
      x710 - 109*x711 - 109*x712 - 109*x713 - 109*x714 >= 0;

e249: (314 - x715 - x716 - x717 - x718 - x719 - x720 - x721 - x722 - x723 - 
      x724 - x725 - x726 - x727 - x728)*x862 - 314*x715 - 314*x716 - 314*x717
       - 314*x718 - 314*x719 - 314*x720 - 314*x721 - 314*x722 - 314*x723 - 314*
      x724 - 314*x725 - 314*x726 - 314*x727 - 314*x728 >= 0;

e250: (366 - x729 - x730 - x731 - x732 - x733 - x734 - x735 - x736 - x737 - 
      x738 - x739 - x740 - x741 - x742)*x863 - 366*x729 - 366*x730 - 366*x731
       - 366*x732 - 366*x733 - 366*x734 - 366*x735 - 366*x736 - 366*x737 - 366*
      x738 - 366*x739 - 366*x740 - 366*x741 - 366*x742 >= 0;

e251: (179 - x743 - x744 - x745 - x746 - x747 - x748 - x749 - x750 - x751 - 
      x752 - x753 - x754 - x755 - x756)*x864 - 179*x743 - 179*x744 - 179*x745
       - 179*x746 - 179*x747 - 179*x748 - 179*x749 - 179*x750 - 179*x751 - 179*
      x752 - 179*x753 - 179*x754 - 179*x755 - 179*x756 >= 0;

e252:    x811 + 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 <= 10632;

e253:    x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13
       + x14 - 266*b757 <= 0;

e254:    x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26
       + x27 + x28 - 330*b758 <= 0;

e255:    x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40
       + x41 + x42 - 116*b759 <= 0;

e256:    x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54
       + x55 + x56 - 266*b760 <= 0;

e257:    x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68
       + x69 + x70 - 425*b761 <= 0;

e258:    x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82
       + x83 + x84 - 359*b762 <= 0;

e259:    x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96
       + x97 + x98 - 406*b763 <= 0;

e260:    x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108
       + x109 + x110 + x111 + x112 - 223*b764 <= 0;

e261:    x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122
       + x123 + x124 + x125 + x126 - 248*b765 <= 0;

e262:    x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136
       + x137 + x138 + x139 + x140 - 363*b766 <= 0;

e263:    x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150
       + x151 + x152 + x153 + x154 - 227*b767 <= 0;

e264:    x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164
       + x165 + x166 + x167 + x168 - 437*b768 <= 0;

e265:    x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178
       + x179 + x180 + x181 + x182 - 283*b769 <= 0;

e266:    x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192
       + x193 + x194 + x195 + x196 - 419*b770 <= 0;

e267:    x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206
       + x207 + x208 + x209 + x210 - 377*b771 <= 0;

e268:    x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220
       + x221 + x222 + x223 + x224 - 425*b772 <= 0;

e269:    x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234
       + x235 + x236 + x237 + x238 - 227*b773 <= 0;

e270:    x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248
       + x249 + x250 + x251 + x252 - 428*b774 <= 0;

e271:    x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262
       + x263 + x264 + x265 + x266 - 252*b775 <= 0;

e272:    x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276
       + x277 + x278 + x279 + x280 - 330*b776 <= 0;

e273:    x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290
       + x291 + x292 + x293 + x294 - 406*b777 <= 0;

e274:    x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304
       + x305 + x306 + x307 + x308 - 256*b778 <= 0;

e275:    x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318
       + x319 + x320 + x321 + x322 - 413*b779 <= 0;

e276:    x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332
       + x333 + x334 + x335 + x336 - 359*b780 <= 0;

e277:    x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346
       + x347 + x348 + x349 + x350 - 223*b781 <= 0;

e278:    x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360
       + x361 + x362 + x363 + x364 - 256*b782 <= 0;

e279:    x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374
       + x375 + x376 + x377 + x378 - 391*b783 <= 0;

e280:    x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388
       + x389 + x390 + x391 + x392 - 116*b784 <= 0;

e281:    x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402
       + x403 + x404 + x405 + x406 - 248*b785 <= 0;

e282:    x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416
       + x417 + x418 + x419 + x420 - 260*b786 <= 0;

e283:    x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430
       + x431 + x432 + x433 + x434 - 143*b787 <= 0;

e284:    x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444
       + x445 + x446 + x447 + x448 - 109*b788 <= 0;

e285:    x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458
       + x459 + x460 + x461 + x462 - 437*b789 <= 0;

e286:    x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472
       + x473 + x474 + x475 + x476 - 428*b790 <= 0;

e287:    x477 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486
       + x487 + x488 + x489 + x490 - 398*b791 <= 0;

e288:    x491 + x492 + x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500
       + x501 + x502 + x503 + x504 - 260*b792 <= 0;

e289:    x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514
       + x515 + x516 + x517 + x518 - 134*b793 <= 0;

e290:    x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528
       + x529 + x530 + x531 + x532 - 363*b794 <= 0;

e291:    x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542
       + x543 + x544 + x545 + x546 - 283*b795 <= 0;

e292:    x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556
       + x557 + x558 + x559 + x560 - 143*b796 <= 0;

e293:    x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570
       + x571 + x572 + x573 + x574 - 398*b797 <= 0;

e294:    x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584
       + x585 + x586 + x587 + x588 - 134*b798 <= 0;

e295:    x589 + x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 + x598
       + x599 + x600 + x601 + x602 - 314*b799 <= 0;

e296:    x603 + x604 + x605 + x606 + x607 + x608 + x609 + x610 + x611 + x612
       + x613 + x614 + x615 + x616 - 252*b800 <= 0;

e297:    x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626
       + x627 + x628 + x629 + x630 - 391*b801 <= 0;

e298:    x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640
       + x641 + x642 + x643 + x644 - 366*b802 <= 0;

e299:    x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654
       + x655 + x656 + x657 + x658 - 419*b803 <= 0;

e300:    x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668
       + x669 + x670 + x671 + x672 - 179*b804 <= 0;

e301:    x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682
       + x683 + x684 + x685 + x686 - 377*b805 <= 0;

e302:    x687 + x688 + x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696
       + x697 + x698 + x699 + x700 - 413*b806 <= 0;

e303:    x701 + x702 + x703 + x704 + x705 + x706 + x707 + x708 + x709 + x710
       + x711 + x712 + x713 + x714 - 109*b807 <= 0;

e304:    x715 + x716 + x717 + x718 + x719 + x720 + x721 + x722 + x723 + x724
       + x725 + x726 + x727 + x728 - 314*b808 <= 0;

e305:    x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 + x737 + x738
       + x739 + x740 + x741 + x742 - 366*b809 <= 0;

e306:    x743 + x744 + x745 + x746 + x747 + x748 + x749 + x750 + x751 + x752
       + x753 + x754 + x755 + x756 - 179*b810 <= 0;