#  MINLP written by GAMS Convert at 01/12/18 13:42:31
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1306      226      180      900        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#       1011      831      180        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3711     3691       20        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 2.5, >= 2.5, <= 37.5;
var x2 := 3.5, >= 3.5, <= 36.5;
var x3 := 1.5, >= 1.5, <= 38.5;
var x4 := 1, >= 1, <= 39;
var x5 := 2, >= 2, <= 38;
var x6 := 2.5, >= 2.5, <= 37.5;
var x7 := 4, >= 4, <= 36;
var x8 := 2, >= 2, <= 38;
var x9 := 1, >= 1, <= 39;
var x10 := 3, >= 3, <= 37;
var x11 := 3, >= 3, <= 37;
var x12 := 2.5, >= 2.5, <= 37.5;
var x13 := 1.5, >= 1.5, <= 38.5;
var x14 := 1.5, >= 1.5, <= 38.5;
var x15 := 2, >= 2, <= 38;
var x16 := 1, >= 1, <= 39;
var x17 := 3, >= 3, <= 37;
var x18 := 3, >= 3, <= 37;
var x19 := 2.5, >= 2.5, <= 37.5;
var x20 := 1.5, >= 1.5, <= 38.5;
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 b741 binary >= 0, <= 1;
var b742 binary >= 0, <= 1;
var b743 binary >= 0, <= 1;
var b744 binary >= 0, <= 1;
var b745 binary >= 0, <= 1;
var b746 binary >= 0, <= 1;
var b747 binary >= 0, <= 1;
var b748 binary >= 0, <= 1;
var b749 binary >= 0, <= 1;
var b750 binary >= 0, <= 1;
var b751 binary >= 0, <= 1;
var b752 binary >= 0, <= 1;
var b753 binary >= 0, <= 1;
var b754 binary >= 0, <= 1;
var b755 binary >= 0, <= 1;
var b756 binary >= 0, <= 1;
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 b811 binary >= 0, <= 1;
var b812 binary >= 0, <= 1;
var b813 binary >= 0, <= 1;
var b814 binary >= 0, <= 1;
var b815 binary >= 0, <= 1;
var b816 binary >= 0, <= 1;
var b817 binary >= 0, <= 1;
var b818 binary >= 0, <= 1;
var b819 binary >= 0, <= 1;
var b820 binary >= 0, <= 1;
var b821 binary >= 0, <= 1;
var b822 binary >= 0, <= 1;
var b823 binary >= 0, <= 1;
var b824 binary >= 0, <= 1;
var b825 binary >= 0, <= 1;
var b826 binary >= 0, <= 1;
var b827 binary >= 0, <= 1;
var b828 binary >= 0, <= 1;
var b829 binary >= 0, <= 1;
var b830 binary >= 0, <= 1;
var b831 binary >= 0, <= 1;
var b832 binary >= 0, <= 1;
var b833 binary >= 0, <= 1;
var b834 binary >= 0, <= 1;
var b835 binary >= 0, <= 1;
var b836 binary >= 0, <= 1;
var b837 binary >= 0, <= 1;
var b838 binary >= 0, <= 1;
var b839 binary >= 0, <= 1;
var b840 binary >= 0, <= 1;
var b841 binary >= 0, <= 1;
var b842 binary >= 0, <= 1;
var b843 binary >= 0, <= 1;
var b844 binary >= 0, <= 1;
var b845 binary >= 0, <= 1;
var b846 binary >= 0, <= 1;
var b847 binary >= 0, <= 1;
var b848 binary >= 0, <= 1;
var b849 binary >= 0, <= 1;
var b850 binary >= 0, <= 1;
var b851 binary >= 0, <= 1;
var b852 binary >= 0, <= 1;
var b853 binary >= 0, <= 1;
var b854 binary >= 0, <= 1;
var b855 binary >= 0, <= 1;
var b856 binary >= 0, <= 1;
var b857 binary >= 0, <= 1;
var b858 binary >= 0, <= 1;
var b859 binary >= 0, <= 1;
var b860 binary >= 0, <= 1;
var b861 binary >= 0, <= 1;
var b862 binary >= 0, <= 1;
var b863 binary >= 0, <= 1;
var b864 binary >= 0, <= 1;
var b865 binary >= 0, <= 1;
var b866 binary >= 0, <= 1;
var b867 binary >= 0, <= 1;
var b868 binary >= 0, <= 1;
var b869 binary >= 0, <= 1;
var b870 binary >= 0, <= 1;
var b871 binary >= 0, <= 1;
var b872 binary >= 0, <= 1;
var b873 binary >= 0, <= 1;
var b874 binary >= 0, <= 1;
var b875 binary >= 0, <= 1;
var b876 binary >= 0, <= 1;
var b877 binary >= 0, <= 1;
var b878 binary >= 0, <= 1;
var b879 binary >= 0, <= 1;
var b880 binary >= 0, <= 1;
var b881 binary >= 0, <= 1;
var b882 binary >= 0, <= 1;
var b883 binary >= 0, <= 1;
var b884 binary >= 0, <= 1;
var b885 binary >= 0, <= 1;
var b886 binary >= 0, <= 1;
var b887 binary >= 0, <= 1;
var b888 binary >= 0, <= 1;
var b889 binary >= 0, <= 1;
var b890 binary >= 0, <= 1;
var b891 binary >= 0, <= 1;
var b892 binary >= 0, <= 1;
var b893 binary >= 0, <= 1;
var b894 binary >= 0, <= 1;
var b895 binary >= 0, <= 1;
var b896 binary >= 0, <= 1;
var b897 binary >= 0, <= 1;
var b898 binary >= 0, <= 1;
var b899 binary >= 0, <= 1;
var b900 binary >= 0, <= 1;
var b901 binary >= 0, <= 1;
var b902 binary >= 0, <= 1;
var b903 binary >= 0, <= 1;
var b904 binary >= 0, <= 1;
var b905 binary >= 0, <= 1;
var b906 binary >= 0, <= 1;
var b907 binary >= 0, <= 1;
var b908 binary >= 0, <= 1;
var b909 binary >= 0, <= 1;
var b910 binary >= 0, <= 1;
var b911 binary >= 0, <= 1;
var b912 binary >= 0, <= 1;
var b913 binary >= 0, <= 1;
var b914 binary >= 0, <= 1;
var b915 binary >= 0, <= 1;
var b916 binary >= 0, <= 1;
var b917 binary >= 0, <= 1;
var b918 binary >= 0, <= 1;
var b919 binary >= 0, <= 1;
var b920 binary >= 0, <= 1;
var x921 >= 0;
var x922 >= 0;
var x923 >= 0;
var x924 >= 0;
var x925 >= 0;
var x926 >= 0;
var x927 >= 0;
var x928 >= 0;
var x929 >= 0;
var x930 >= 0;
var x931 >= 0;
var x932 >= 0;
var x933 >= 0;
var x934 >= 0;
var x935 >= 0;
var x936 >= 0;
var x937 >= 0;
var x938 >= 0;
var x939 >= 0;
var x940 >= 0;
var x941 >= 0;
var x942 >= 0;
var x943 >= 0;
var x944 >= 0;
var x945 >= 0;
var x946 >= 0;
var x947 >= 0;
var x948 >= 0;
var x949 >= 0;
var x950 >= 0;
var x951 >= 0;
var x952 >= 0;
var x953 >= 0;
var x954 >= 0;
var x955 >= 0;
var x956 >= 0;
var x957 >= 0;
var x958 >= 0;
var x959 >= 0;
var x960 >= 0;
var x961 >= 0;
var x962 >= 0;
var x963 >= 0;
var x964 >= 0;
var x965 >= 0;
var x966 >= 0;
var x967 >= 0;
var x968 >= 0;
var x969 >= 0;
var x970 >= 0;
var x971 >= 0;
var x972 >= 0;
var x973 >= 0;
var x974 >= 0;
var x975 >= 0;
var x976 >= 0;
var x977 >= 0;
var x978 >= 0;
var x979 >= 0;
var x980 >= 0;
var x981 >= 0;
var x982 >= 0;
var x983 >= 0;
var x984 >= 0;
var x985 >= 0;
var x986 >= 0;
var x987 >= 0;
var x988 >= 0;
var x989 >= 0;
var x990 >= 0;
var x991 >= 0;
var x992 >= 0;
var x993 >= 0;
var x994 >= 0;
var x995 >= 0;
var x996 >= 0;
var x997 >= 0;
var x998 >= 0;
var x999 >= 0;
var x1000 >= 0;
var x1001 >= 0;
var x1002 >= 0;
var x1003 >= 0;
var x1004 >= 0;
var x1005 >= 0;
var x1006 >= 0;
var x1007 >= 0;
var x1008 >= 0;
var x1009 >= 0;
var x1010 >= 0;

minimize obj: 150*((-4 + x1)^2 + (-10 + x11)^2) + 390*((-10 + x2)^2 + (-15 + 
    x12)^2) + 240*((-7 + x3)^2 + (-9 + x13)^2) + 70*((-3 + x4)^2 + (-3 + x14)^2
    ) + 165*((-20 + x5)^2 + (-17 + x15)^2) + 100*((-18 + x6)^2 + (-8 + x16)^2)
     + 200*((-30 + x7)^2 + (-20 + x17)^2) + 400*((-24 + x8)^2 + (-10 + x18)^2)
     + 330*((-22 + x9)^2 + (-6 + x19)^2) + 220*((-11 + x10)^2 + (-12 + x20)^2)
     + 300*x921 + 240*x922 + 210*x923 + 140*x924 + 300*x925 + 250*x926
     + 300*x927 + 210*x928 + 320*x929 + 100*x930 + 150*x931 + 220*x932
     + 200*x933 + 300*x934 + 290*x935 + 400*x936 + 220*x937 + 120*x938
     + 300*x939 + 150*x940 + 150*x941 + 100*x942 + 290*x943 + 110*x944
     + 100*x945 + 120*x946 + 180*x947 + 220*x948 + 110*x949 + 100*x950
     + 130*x951 + 190*x952 + 110*x953 + 160*x954 + 400*x955 + 220*x956
     + 140*x957 + 120*x958 + 230*x959 + 260*x960 + 220*x961 + 310*x962
     + 140*x963 + 150*x964 + 130*x965 + 300*x966 + 240*x967 + 210*x968
     + 140*x969 + 300*x970 + 250*x971 + 300*x972 + 210*x973 + 320*x974
     + 100*x975 + 150*x976 + 220*x977 + 200*x978 + 300*x979 + 290*x980
     + 400*x981 + 220*x982 + 120*x983 + 300*x984 + 150*x985 + 150*x986
     + 100*x987 + 290*x988 + 110*x989 + 100*x990 + 120*x991 + 180*x992
     + 220*x993 + 110*x994 + 100*x995 + 130*x996 + 190*x997 + 110*x998
     + 160*x999 + 400*x1000 + 220*x1001 + 140*x1002 + 120*x1003 + 230*x1004
     + 260*x1005 + 220*x1006 + 310*x1007 + 140*x1008 + 150*x1009 + 130*x1010;

subject to

e2:  - x1 + x2 + x921 >= 0;

e3:  - x1 + x3 + x922 >= 0;

e4:  - x1 + x4 + x923 >= 0;

e5:  - x1 + x5 + x924 >= 0;

e6:  - x1 + x6 + x925 >= 0;

e7:  - x1 + x7 + x926 >= 0;

e8:  - x1 + x8 + x927 >= 0;

e9:  - x1 + x9 + x928 >= 0;

e10:  - x1 + x10 + x929 >= 0;

e11:  - x2 + x3 + x930 >= 0;

e12:  - x2 + x4 + x931 >= 0;

e13:  - x2 + x5 + x932 >= 0;

e14:  - x2 + x6 + x933 >= 0;

e15:  - x2 + x7 + x934 >= 0;

e16:  - x2 + x8 + x935 >= 0;

e17:  - x2 + x9 + x936 >= 0;

e18:  - x2 + x10 + x937 >= 0;

e19:  - x3 + x4 + x938 >= 0;

e20:  - x3 + x5 + x939 >= 0;

e21:  - x3 + x6 + x940 >= 0;

e22:  - x3 + x7 + x941 >= 0;

e23:  - x3 + x8 + x942 >= 0;

e24:  - x3 + x9 + x943 >= 0;

e25:  - x3 + x10 + x944 >= 0;

e26:  - x4 + x5 + x945 >= 0;

e27:  - x4 + x6 + x946 >= 0;

e28:  - x4 + x7 + x947 >= 0;

e29:  - x4 + x8 + x948 >= 0;

e30:  - x4 + x9 + x949 >= 0;

e31:  - x4 + x10 + x950 >= 0;

e32:  - x5 + x6 + x951 >= 0;

e33:  - x5 + x7 + x952 >= 0;

e34:  - x5 + x8 + x953 >= 0;

e35:  - x5 + x9 + x954 >= 0;

e36:  - x5 + x10 + x955 >= 0;

e37:  - x6 + x7 + x956 >= 0;

e38:  - x6 + x8 + x957 >= 0;

e39:  - x6 + x9 + x958 >= 0;

e40:  - x6 + x10 + x959 >= 0;

e41:  - x7 + x8 + x960 >= 0;

e42:  - x7 + x9 + x961 >= 0;

e43:  - x7 + x10 + x962 >= 0;

e44:  - x8 + x9 + x963 >= 0;

e45:  - x8 + x10 + x964 >= 0;

e46:  - x9 + x10 + x965 >= 0;

e47:    x1 - x2 + x921 >= 0;

e48:    x1 - x3 + x922 >= 0;

e49:    x1 - x4 + x923 >= 0;

e50:    x1 - x5 + x924 >= 0;

e51:    x1 - x6 + x925 >= 0;

e52:    x1 - x7 + x926 >= 0;

e53:    x1 - x8 + x927 >= 0;

e54:    x1 - x9 + x928 >= 0;

e55:    x1 - x10 + x929 >= 0;

e56:    x2 - x3 + x930 >= 0;

e57:    x2 - x4 + x931 >= 0;

e58:    x2 - x5 + x932 >= 0;

e59:    x2 - x6 + x933 >= 0;

e60:    x2 - x7 + x934 >= 0;

e61:    x2 - x8 + x935 >= 0;

e62:    x2 - x9 + x936 >= 0;

e63:    x2 - x10 + x937 >= 0;

e64:    x3 - x4 + x938 >= 0;

e65:    x3 - x5 + x939 >= 0;

e66:    x3 - x6 + x940 >= 0;

e67:    x3 - x7 + x941 >= 0;

e68:    x3 - x8 + x942 >= 0;

e69:    x3 - x9 + x943 >= 0;

e70:    x3 - x10 + x944 >= 0;

e71:    x4 - x5 + x945 >= 0;

e72:    x4 - x6 + x946 >= 0;

e73:    x4 - x7 + x947 >= 0;

e74:    x4 - x8 + x948 >= 0;

e75:    x4 - x9 + x949 >= 0;

e76:    x4 - x10 + x950 >= 0;

e77:    x5 - x6 + x951 >= 0;

e78:    x5 - x7 + x952 >= 0;

e79:    x5 - x8 + x953 >= 0;

e80:    x5 - x9 + x954 >= 0;

e81:    x5 - x10 + x955 >= 0;

e82:    x6 - x7 + x956 >= 0;

e83:    x6 - x8 + x957 >= 0;

e84:    x6 - x9 + x958 >= 0;

e85:    x6 - x10 + x959 >= 0;

e86:    x7 - x8 + x960 >= 0;

e87:    x7 - x9 + x961 >= 0;

e88:    x7 - x10 + x962 >= 0;

e89:    x8 - x9 + x963 >= 0;

e90:    x8 - x10 + x964 >= 0;

e91:    x9 - x10 + x965 >= 0;

e92:  - x11 + x12 + x966 >= 0;

e93:  - x11 + x13 + x967 >= 0;

e94:  - x11 + x14 + x968 >= 0;

e95:  - x11 + x15 + x969 >= 0;

e96:  - x11 + x16 + x970 >= 0;

e97:  - x11 + x17 + x971 >= 0;

e98:  - x11 + x18 + x972 >= 0;

e99:  - x11 + x19 + x973 >= 0;

e100:  - x11 + x20 + x974 >= 0;

e101:  - x12 + x13 + x975 >= 0;

e102:  - x12 + x14 + x976 >= 0;

e103:  - x12 + x15 + x977 >= 0;

e104:  - x12 + x16 + x978 >= 0;

e105:  - x12 + x17 + x979 >= 0;

e106:  - x12 + x18 + x980 >= 0;

e107:  - x12 + x19 + x981 >= 0;

e108:  - x12 + x20 + x982 >= 0;

e109:  - x13 + x14 + x983 >= 0;

e110:  - x13 + x15 + x984 >= 0;

e111:  - x13 + x16 + x985 >= 0;

e112:  - x13 + x17 + x986 >= 0;

e113:  - x13 + x18 + x987 >= 0;

e114:  - x13 + x19 + x988 >= 0;

e115:  - x13 + x20 + x989 >= 0;

e116:  - x14 + x15 + x990 >= 0;

e117:  - x14 + x16 + x991 >= 0;

e118:  - x14 + x17 + x992 >= 0;

e119:  - x14 + x18 + x993 >= 0;

e120:  - x14 + x19 + x994 >= 0;

e121:  - x14 + x20 + x995 >= 0;

e122:  - x15 + x16 + x996 >= 0;

e123:  - x15 + x17 + x997 >= 0;

e124:  - x15 + x18 + x998 >= 0;

e125:  - x15 + x19 + x999 >= 0;

e126:  - x15 + x20 + x1000 >= 0;

e127:  - x16 + x17 + x1001 >= 0;

e128:  - x16 + x18 + x1002 >= 0;

e129:  - x16 + x19 + x1003 >= 0;

e130:  - x16 + x20 + x1004 >= 0;

e131:  - x17 + x18 + x1005 >= 0;

e132:  - x17 + x19 + x1006 >= 0;

e133:  - x17 + x20 + x1007 >= 0;

e134:  - x18 + x19 + x1008 >= 0;

e135:  - x18 + x20 + x1009 >= 0;

e136:  - x19 + x20 + x1010 >= 0;

e137:    x11 - x12 + x966 >= 0;

e138:    x11 - x13 + x967 >= 0;

e139:    x11 - x14 + x968 >= 0;

e140:    x11 - x15 + x969 >= 0;

e141:    x11 - x16 + x970 >= 0;

e142:    x11 - x17 + x971 >= 0;

e143:    x11 - x18 + x972 >= 0;

e144:    x11 - x19 + x973 >= 0;

e145:    x11 - x20 + x974 >= 0;

e146:    x12 - x13 + x975 >= 0;

e147:    x12 - x14 + x976 >= 0;

e148:    x12 - x15 + x977 >= 0;

e149:    x12 - x16 + x978 >= 0;

e150:    x12 - x17 + x979 >= 0;

e151:    x12 - x18 + x980 >= 0;

e152:    x12 - x19 + x981 >= 0;

e153:    x12 - x20 + x982 >= 0;

e154:    x13 - x14 + x983 >= 0;

e155:    x13 - x15 + x984 >= 0;

e156:    x13 - x16 + x985 >= 0;

e157:    x13 - x17 + x986 >= 0;

e158:    x13 - x18 + x987 >= 0;

e159:    x13 - x19 + x988 >= 0;

e160:    x13 - x20 + x989 >= 0;

e161:    x14 - x15 + x990 >= 0;

e162:    x14 - x16 + x991 >= 0;

e163:    x14 - x17 + x992 >= 0;

e164:    x14 - x18 + x993 >= 0;

e165:    x14 - x19 + x994 >= 0;

e166:    x14 - x20 + x995 >= 0;

e167:    x15 - x16 + x996 >= 0;

e168:    x15 - x17 + x997 >= 0;

e169:    x15 - x18 + x998 >= 0;

e170:    x15 - x19 + x999 >= 0;

e171:    x15 - x20 + x1000 >= 0;

e172:    x16 - x17 + x1001 >= 0;

e173:    x16 - x18 + x1002 >= 0;

e174:    x16 - x19 + x1003 >= 0;

e175:    x16 - x20 + x1004 >= 0;

e176:    x17 - x18 + x1005 >= 0;

e177:    x17 - x19 + x1006 >= 0;

e178:    x17 - x20 + x1007 >= 0;

e179:    x18 - x19 + x1008 >= 0;

e180:    x18 - x20 + x1009 >= 0;

e181:    x19 - x20 + x1010 >= 0;

e182:    x1 - x21 - x30 - x39 - x48 = 0;

e183:    x1 - x22 - x31 - x40 - x49 = 0;

e184:    x1 - x23 - x32 - x41 - x50 = 0;

e185:    x1 - x24 - x33 - x42 - x51 = 0;

e186:    x1 - x25 - x34 - x43 - x52 = 0;

e187:    x1 - x26 - x35 - x44 - x53 = 0;

e188:    x1 - x27 - x36 - x45 - x54 = 0;

e189:    x1 - x28 - x37 - x46 - x55 = 0;

e190:    x1 - x29 - x38 - x47 - x56 = 0;

e191:    x2 - x57 - x66 - x75 - x84 = 0;

e192:    x2 - x58 - x67 - x76 - x85 = 0;

e193:    x2 - x59 - x68 - x77 - x86 = 0;

e194:    x2 - x60 - x69 - x78 - x87 = 0;

e195:    x2 - x61 - x70 - x79 - x88 = 0;

e196:    x2 - x62 - x71 - x80 - x89 = 0;

e197:    x2 - x63 - x72 - x81 - x90 = 0;

e198:    x2 - x64 - x73 - x82 - x91 = 0;

e199:    x2 - x65 - x74 - x83 - x92 = 0;

e200:    x3 - x93 - x102 - x111 - x120 = 0;

e201:    x3 - x94 - x103 - x112 - x121 = 0;

e202:    x3 - x95 - x104 - x113 - x122 = 0;

e203:    x3 - x96 - x105 - x114 - x123 = 0;

e204:    x3 - x97 - x106 - x115 - x124 = 0;

e205:    x3 - x98 - x107 - x116 - x125 = 0;

e206:    x3 - x99 - x108 - x117 - x126 = 0;

e207:    x3 - x100 - x109 - x118 - x127 = 0;

e208:    x3 - x101 - x110 - x119 - x128 = 0;

e209:    x4 - x129 - x138 - x147 - x156 = 0;

e210:    x4 - x130 - x139 - x148 - x157 = 0;

e211:    x4 - x131 - x140 - x149 - x158 = 0;

e212:    x4 - x132 - x141 - x150 - x159 = 0;

e213:    x4 - x133 - x142 - x151 - x160 = 0;

e214:    x4 - x134 - x143 - x152 - x161 = 0;

e215:    x4 - x135 - x144 - x153 - x162 = 0;

e216:    x4 - x136 - x145 - x154 - x163 = 0;

e217:    x4 - x137 - x146 - x155 - x164 = 0;

e218:    x5 - x165 - x174 - x183 - x192 = 0;

e219:    x5 - x166 - x175 - x184 - x193 = 0;

e220:    x5 - x167 - x176 - x185 - x194 = 0;

e221:    x5 - x168 - x177 - x186 - x195 = 0;

e222:    x5 - x169 - x178 - x187 - x196 = 0;

e223:    x5 - x170 - x179 - x188 - x197 = 0;

e224:    x5 - x171 - x180 - x189 - x198 = 0;

e225:    x5 - x172 - x181 - x190 - x199 = 0;

e226:    x5 - x173 - x182 - x191 - x200 = 0;

e227:    x6 - x201 - x210 - x219 - x228 = 0;

e228:    x6 - x202 - x211 - x220 - x229 = 0;

e229:    x6 - x203 - x212 - x221 - x230 = 0;

e230:    x6 - x204 - x213 - x222 - x231 = 0;

e231:    x6 - x205 - x214 - x223 - x232 = 0;

e232:    x6 - x206 - x215 - x224 - x233 = 0;

e233:    x6 - x207 - x216 - x225 - x234 = 0;

e234:    x6 - x208 - x217 - x226 - x235 = 0;

e235:    x6 - x209 - x218 - x227 - x236 = 0;

e236:    x7 - x237 - x246 - x255 - x264 = 0;

e237:    x7 - x238 - x247 - x256 - x265 = 0;

e238:    x7 - x239 - x248 - x257 - x266 = 0;

e239:    x7 - x240 - x249 - x258 - x267 = 0;

e240:    x7 - x241 - x250 - x259 - x268 = 0;

e241:    x7 - x242 - x251 - x260 - x269 = 0;

e242:    x7 - x243 - x252 - x261 - x270 = 0;

e243:    x7 - x244 - x253 - x262 - x271 = 0;

e244:    x7 - x245 - x254 - x263 - x272 = 0;

e245:    x8 - x273 - x282 - x291 - x300 = 0;

e246:    x8 - x274 - x283 - x292 - x301 = 0;

e247:    x8 - x275 - x284 - x293 - x302 = 0;

e248:    x8 - x276 - x285 - x294 - x303 = 0;

e249:    x8 - x277 - x286 - x295 - x304 = 0;

e250:    x8 - x278 - x287 - x296 - x305 = 0;

e251:    x8 - x279 - x288 - x297 - x306 = 0;

e252:    x8 - x280 - x289 - x298 - x307 = 0;

e253:    x8 - x281 - x290 - x299 - x308 = 0;

e254:    x9 - x309 - x318 - x327 - x336 = 0;

e255:    x9 - x310 - x319 - x328 - x337 = 0;

e256:    x9 - x311 - x320 - x329 - x338 = 0;

e257:    x9 - x312 - x321 - x330 - x339 = 0;

e258:    x9 - x313 - x322 - x331 - x340 = 0;

e259:    x9 - x314 - x323 - x332 - x341 = 0;

e260:    x9 - x315 - x324 - x333 - x342 = 0;

e261:    x9 - x316 - x325 - x334 - x343 = 0;

e262:    x9 - x317 - x326 - x335 - x344 = 0;

e263:    x10 - x345 - x354 - x363 - x372 = 0;

e264:    x10 - x346 - x355 - x364 - x373 = 0;

e265:    x10 - x347 - x356 - x365 - x374 = 0;

e266:    x10 - x348 - x357 - x366 - x375 = 0;

e267:    x10 - x349 - x358 - x367 - x376 = 0;

e268:    x10 - x350 - x359 - x368 - x377 = 0;

e269:    x10 - x351 - x360 - x369 - x378 = 0;

e270:    x10 - x352 - x361 - x370 - x379 = 0;

e271:    x10 - x353 - x362 - x371 - x380 = 0;

e272:    x11 - x381 - x390 - x399 - x408 = 0;

e273:    x11 - x382 - x391 - x400 - x409 = 0;

e274:    x11 - x383 - x392 - x401 - x410 = 0;

e275:    x11 - x384 - x393 - x402 - x411 = 0;

e276:    x11 - x385 - x394 - x403 - x412 = 0;

e277:    x11 - x386 - x395 - x404 - x413 = 0;

e278:    x11 - x387 - x396 - x405 - x414 = 0;

e279:    x11 - x388 - x397 - x406 - x415 = 0;

e280:    x11 - x389 - x398 - x407 - x416 = 0;

e281:    x12 - x417 - x426 - x435 - x444 = 0;

e282:    x12 - x418 - x427 - x436 - x445 = 0;

e283:    x12 - x419 - x428 - x437 - x446 = 0;

e284:    x12 - x420 - x429 - x438 - x447 = 0;

e285:    x12 - x421 - x430 - x439 - x448 = 0;

e286:    x12 - x422 - x431 - x440 - x449 = 0;

e287:    x12 - x423 - x432 - x441 - x450 = 0;

e288:    x12 - x424 - x433 - x442 - x451 = 0;

e289:    x12 - x425 - x434 - x443 - x452 = 0;

e290:    x13 - x453 - x462 - x471 - x480 = 0;

e291:    x13 - x454 - x463 - x472 - x481 = 0;

e292:    x13 - x455 - x464 - x473 - x482 = 0;

e293:    x13 - x456 - x465 - x474 - x483 = 0;

e294:    x13 - x457 - x466 - x475 - x484 = 0;

e295:    x13 - x458 - x467 - x476 - x485 = 0;

e296:    x13 - x459 - x468 - x477 - x486 = 0;

e297:    x13 - x460 - x469 - x478 - x487 = 0;

e298:    x13 - x461 - x470 - x479 - x488 = 0;

e299:    x14 - x489 - x498 - x507 - x516 = 0;

e300:    x14 - x490 - x499 - x508 - x517 = 0;

e301:    x14 - x491 - x500 - x509 - x518 = 0;

e302:    x14 - x492 - x501 - x510 - x519 = 0;

e303:    x14 - x493 - x502 - x511 - x520 = 0;

e304:    x14 - x494 - x503 - x512 - x521 = 0;

e305:    x14 - x495 - x504 - x513 - x522 = 0;

e306:    x14 - x496 - x505 - x514 - x523 = 0;

e307:    x14 - x497 - x506 - x515 - x524 = 0;

e308:    x15 - x525 - x534 - x543 - x552 = 0;

e309:    x15 - x526 - x535 - x544 - x553 = 0;

e310:    x15 - x527 - x536 - x545 - x554 = 0;

e311:    x15 - x528 - x537 - x546 - x555 = 0;

e312:    x15 - x529 - x538 - x547 - x556 = 0;

e313:    x15 - x530 - x539 - x548 - x557 = 0;

e314:    x15 - x531 - x540 - x549 - x558 = 0;

e315:    x15 - x532 - x541 - x550 - x559 = 0;

e316:    x15 - x533 - x542 - x551 - x560 = 0;

e317:    x16 - x561 - x570 - x579 - x588 = 0;

e318:    x16 - x562 - x571 - x580 - x589 = 0;

e319:    x16 - x563 - x572 - x581 - x590 = 0;

e320:    x16 - x564 - x573 - x582 - x591 = 0;

e321:    x16 - x565 - x574 - x583 - x592 = 0;

e322:    x16 - x566 - x575 - x584 - x593 = 0;

e323:    x16 - x567 - x576 - x585 - x594 = 0;

e324:    x16 - x568 - x577 - x586 - x595 = 0;

e325:    x16 - x569 - x578 - x587 - x596 = 0;

e326:    x17 - x597 - x606 - x615 - x624 = 0;

e327:    x17 - x598 - x607 - x616 - x625 = 0;

e328:    x17 - x599 - x608 - x617 - x626 = 0;

e329:    x17 - x600 - x609 - x618 - x627 = 0;

e330:    x17 - x601 - x610 - x619 - x628 = 0;

e331:    x17 - x602 - x611 - x620 - x629 = 0;

e332:    x17 - x603 - x612 - x621 - x630 = 0;

e333:    x17 - x604 - x613 - x622 - x631 = 0;

e334:    x17 - x605 - x614 - x623 - x632 = 0;

e335:    x18 - x633 - x642 - x651 - x660 = 0;

e336:    x18 - x634 - x643 - x652 - x661 = 0;

e337:    x18 - x635 - x644 - x653 - x662 = 0;

e338:    x18 - x636 - x645 - x654 - x663 = 0;

e339:    x18 - x637 - x646 - x655 - x664 = 0;

e340:    x18 - x638 - x647 - x656 - x665 = 0;

e341:    x18 - x639 - x648 - x657 - x666 = 0;

e342:    x18 - x640 - x649 - x658 - x667 = 0;

e343:    x18 - x641 - x650 - x659 - x668 = 0;

e344:    x19 - x669 - x678 - x687 - x696 = 0;

e345:    x19 - x670 - x679 - x688 - x697 = 0;

e346:    x19 - x671 - x680 - x689 - x698 = 0;

e347:    x19 - x672 - x681 - x690 - x699 = 0;

e348:    x19 - x673 - x682 - x691 - x700 = 0;

e349:    x19 - x674 - x683 - x692 - x701 = 0;

e350:    x19 - x675 - x684 - x693 - x702 = 0;

e351:    x19 - x676 - x685 - x694 - x703 = 0;

e352:    x19 - x677 - x686 - x695 - x704 = 0;

e353:    x20 - x705 - x714 - x723 - x732 = 0;

e354:    x20 - x706 - x715 - x724 - x733 = 0;

e355:    x20 - x707 - x716 - x725 - x734 = 0;

e356:    x20 - x708 - x717 - x726 - x735 = 0;

e357:    x20 - x709 - x718 - x727 - x736 = 0;

e358:    x20 - x710 - x719 - x728 - x737 = 0;

e359:    x20 - x711 - x720 - x729 - x738 = 0;

e360:    x20 - x712 - x721 - x730 - x739 = 0;

e361:    x20 - x713 - x722 - x731 - x740 = 0;

e362:    x21 - 37.5*b741 <= 0;

e363:    x22 - 37.5*b742 <= 0;

e364:    x23 - 37.5*b743 <= 0;

e365:    x24 - 37.5*b744 <= 0;

e366:    x25 - 37.5*b745 <= 0;

e367:    x26 - 37.5*b746 <= 0;

e368:    x27 - 37.5*b747 <= 0;

e369:    x28 - 37.5*b748 <= 0;

e370:    x29 - 37.5*b749 <= 0;

e371:    x30 - 37.5*b786 <= 0;

e372:    x31 - 37.5*b787 <= 0;

e373:    x32 - 37.5*b788 <= 0;

e374:    x33 - 37.5*b789 <= 0;

e375:    x34 - 37.5*b790 <= 0;

e376:    x35 - 37.5*b791 <= 0;

e377:    x36 - 37.5*b792 <= 0;

e378:    x37 - 37.5*b793 <= 0;

e379:    x38 - 37.5*b794 <= 0;

e380:    x39 - 37.5*b831 <= 0;

e381:    x40 - 37.5*b832 <= 0;

e382:    x41 - 37.5*b833 <= 0;

e383:    x42 - 37.5*b834 <= 0;

e384:    x43 - 37.5*b835 <= 0;

e385:    x44 - 37.5*b836 <= 0;

e386:    x45 - 37.5*b837 <= 0;

e387:    x46 - 37.5*b838 <= 0;

e388:    x47 - 37.5*b839 <= 0;

e389:    x48 - 37.5*b876 <= 0;

e390:    x49 - 37.5*b877 <= 0;

e391:    x50 - 37.5*b878 <= 0;

e392:    x51 - 37.5*b879 <= 0;

e393:    x52 - 37.5*b880 <= 0;

e394:    x53 - 37.5*b881 <= 0;

e395:    x54 - 37.5*b882 <= 0;

e396:    x55 - 37.5*b883 <= 0;

e397:    x56 - 37.5*b884 <= 0;

e398:    x57 - 37.5*b741 <= 0;

e399:    x58 - 36.5*b750 <= 0;

e400:    x59 - 36.5*b751 <= 0;

e401:    x60 - 36.5*b752 <= 0;

e402:    x61 - 36.5*b753 <= 0;

e403:    x62 - 36.5*b754 <= 0;

e404:    x63 - 36.5*b755 <= 0;

e405:    x64 - 36.5*b756 <= 0;

e406:    x65 - 36.5*b757 <= 0;

e407:    x66 - 37.5*b786 <= 0;

e408:    x67 - 36.5*b795 <= 0;

e409:    x68 - 36.5*b796 <= 0;

e410:    x69 - 36.5*b797 <= 0;

e411:    x70 - 36.5*b798 <= 0;

e412:    x71 - 36.5*b799 <= 0;

e413:    x72 - 36.5*b800 <= 0;

e414:    x73 - 36.5*b801 <= 0;

e415:    x74 - 36.5*b802 <= 0;

e416:    x75 - 37.5*b831 <= 0;

e417:    x76 - 36.5*b840 <= 0;

e418:    x77 - 36.5*b841 <= 0;

e419:    x78 - 36.5*b842 <= 0;

e420:    x79 - 36.5*b843 <= 0;

e421:    x80 - 36.5*b844 <= 0;

e422:    x81 - 36.5*b845 <= 0;

e423:    x82 - 36.5*b846 <= 0;

e424:    x83 - 36.5*b847 <= 0;

e425:    x84 - 37.5*b876 <= 0;

e426:    x85 - 36.5*b885 <= 0;

e427:    x86 - 36.5*b886 <= 0;

e428:    x87 - 36.5*b887 <= 0;

e429:    x88 - 36.5*b888 <= 0;

e430:    x89 - 36.5*b889 <= 0;

e431:    x90 - 36.5*b890 <= 0;

e432:    x91 - 36.5*b891 <= 0;

e433:    x92 - 36.5*b892 <= 0;

e434:    x93 - 37.5*b742 <= 0;

e435:    x94 - 36.5*b750 <= 0;

e436:    x95 - 38.5*b758 <= 0;

e437:    x96 - 38.5*b759 <= 0;

e438:    x97 - 38.5*b760 <= 0;

e439:    x98 - 38.5*b761 <= 0;

e440:    x99 - 38.5*b762 <= 0;

e441:    x100 - 38.5*b763 <= 0;

e442:    x101 - 38.5*b764 <= 0;

e443:    x102 - 37.5*b787 <= 0;

e444:    x103 - 36.5*b795 <= 0;

e445:    x104 - 38.5*b803 <= 0;

e446:    x105 - 38.5*b804 <= 0;

e447:    x106 - 38.5*b805 <= 0;

e448:    x107 - 38.5*b806 <= 0;

e449:    x108 - 38.5*b807 <= 0;

e450:    x109 - 38.5*b808 <= 0;

e451:    x110 - 38.5*b809 <= 0;

e452:    x111 - 37.5*b832 <= 0;

e453:    x112 - 36.5*b840 <= 0;

e454:    x113 - 38.5*b848 <= 0;

e455:    x114 - 38.5*b849 <= 0;

e456:    x115 - 38.5*b850 <= 0;

e457:    x116 - 38.5*b851 <= 0;

e458:    x117 - 38.5*b852 <= 0;

e459:    x118 - 38.5*b853 <= 0;

e460:    x119 - 38.5*b854 <= 0;

e461:    x120 - 37.5*b877 <= 0;

e462:    x121 - 36.5*b885 <= 0;

e463:    x122 - 38.5*b893 <= 0;

e464:    x123 - 38.5*b894 <= 0;

e465:    x124 - 38.5*b895 <= 0;

e466:    x125 - 38.5*b896 <= 0;

e467:    x126 - 38.5*b897 <= 0;

e468:    x127 - 38.5*b898 <= 0;

e469:    x128 - 38.5*b899 <= 0;

e470:    x129 - 37.5*b743 <= 0;

e471:    x130 - 36.5*b751 <= 0;

e472:    x131 - 38.5*b758 <= 0;

e473:    x132 - 39*b765 <= 0;

e474:    x133 - 39*b766 <= 0;

e475:    x134 - 39*b767 <= 0;

e476:    x135 - 39*b768 <= 0;

e477:    x136 - 39*b769 <= 0;

e478:    x137 - 39*b770 <= 0;

e479:    x138 - 37.5*b788 <= 0;

e480:    x139 - 36.5*b796 <= 0;

e481:    x140 - 38.5*b803 <= 0;

e482:    x141 - 39*b810 <= 0;

e483:    x142 - 39*b811 <= 0;

e484:    x143 - 39*b812 <= 0;

e485:    x144 - 39*b813 <= 0;

e486:    x145 - 39*b814 <= 0;

e487:    x146 - 39*b815 <= 0;

e488:    x147 - 37.5*b833 <= 0;

e489:    x148 - 36.5*b841 <= 0;

e490:    x149 - 38.5*b848 <= 0;

e491:    x150 - 39*b855 <= 0;

e492:    x151 - 39*b856 <= 0;

e493:    x152 - 39*b857 <= 0;

e494:    x153 - 39*b858 <= 0;

e495:    x154 - 39*b859 <= 0;

e496:    x155 - 39*b860 <= 0;

e497:    x156 - 37.5*b878 <= 0;

e498:    x157 - 36.5*b886 <= 0;

e499:    x158 - 38.5*b893 <= 0;

e500:    x159 - 39*b900 <= 0;

e501:    x160 - 39*b901 <= 0;

e502:    x161 - 39*b902 <= 0;

e503:    x162 - 39*b903 <= 0;

e504:    x163 - 39*b904 <= 0;

e505:    x164 - 39*b905 <= 0;

e506:    x165 - 37.5*b744 <= 0;

e507:    x166 - 36.5*b752 <= 0;

e508:    x167 - 38.5*b759 <= 0;

e509:    x168 - 39*b765 <= 0;

e510:    x169 - 38*b771 <= 0;

e511:    x170 - 38*b772 <= 0;

e512:    x171 - 38*b773 <= 0;

e513:    x172 - 38*b774 <= 0;

e514:    x173 - 38*b775 <= 0;

e515:    x174 - 37.5*b789 <= 0;

e516:    x175 - 36.5*b797 <= 0;

e517:    x176 - 38.5*b804 <= 0;

e518:    x177 - 39*b810 <= 0;

e519:    x178 - 38*b816 <= 0;

e520:    x179 - 38*b817 <= 0;

e521:    x180 - 38*b818 <= 0;

e522:    x181 - 38*b819 <= 0;

e523:    x182 - 38*b820 <= 0;

e524:    x183 - 37.5*b834 <= 0;

e525:    x184 - 36.5*b842 <= 0;

e526:    x185 - 38.5*b849 <= 0;

e527:    x186 - 39*b855 <= 0;

e528:    x187 - 38*b861 <= 0;

e529:    x188 - 38*b862 <= 0;

e530:    x189 - 38*b863 <= 0;

e531:    x190 - 38*b864 <= 0;

e532:    x191 - 38*b865 <= 0;

e533:    x192 - 37.5*b879 <= 0;

e534:    x193 - 36.5*b887 <= 0;

e535:    x194 - 38.5*b894 <= 0;

e536:    x195 - 39*b900 <= 0;

e537:    x196 - 38*b906 <= 0;

e538:    x197 - 38*b907 <= 0;

e539:    x198 - 38*b908 <= 0;

e540:    x199 - 38*b909 <= 0;

e541:    x200 - 38*b910 <= 0;

e542:    x201 - 37.5*b745 <= 0;

e543:    x202 - 36.5*b753 <= 0;

e544:    x203 - 38.5*b760 <= 0;

e545:    x204 - 39*b766 <= 0;

e546:    x205 - 38*b771 <= 0;

e547:    x206 - 37.5*b776 <= 0;

e548:    x207 - 37.5*b777 <= 0;

e549:    x208 - 37.5*b778 <= 0;

e550:    x209 - 37.5*b779 <= 0;

e551:    x210 - 37.5*b790 <= 0;

e552:    x211 - 36.5*b798 <= 0;

e553:    x212 - 38.5*b805 <= 0;

e554:    x213 - 39*b811 <= 0;

e555:    x214 - 38*b816 <= 0;

e556:    x215 - 37.5*b821 <= 0;

e557:    x216 - 37.5*b822 <= 0;

e558:    x217 - 37.5*b823 <= 0;

e559:    x218 - 37.5*b824 <= 0;

e560:    x219 - 37.5*b835 <= 0;

e561:    x220 - 36.5*b843 <= 0;

e562:    x221 - 38.5*b850 <= 0;

e563:    x222 - 39*b856 <= 0;

e564:    x223 - 38*b861 <= 0;

e565:    x224 - 37.5*b866 <= 0;

e566:    x225 - 37.5*b867 <= 0;

e567:    x226 - 37.5*b868 <= 0;

e568:    x227 - 37.5*b869 <= 0;

e569:    x228 - 37.5*b880 <= 0;

e570:    x229 - 36.5*b888 <= 0;

e571:    x230 - 38.5*b895 <= 0;

e572:    x231 - 39*b901 <= 0;

e573:    x232 - 38*b906 <= 0;

e574:    x233 - 37.5*b911 <= 0;

e575:    x234 - 37.5*b912 <= 0;

e576:    x235 - 37.5*b913 <= 0;

e577:    x236 - 37.5*b914 <= 0;

e578:    x237 - 37.5*b746 <= 0;

e579:    x238 - 36.5*b754 <= 0;

e580:    x239 - 38.5*b761 <= 0;

e581:    x240 - 39*b767 <= 0;

e582:    x241 - 38*b772 <= 0;

e583:    x242 - 37.5*b776 <= 0;

e584:    x243 - 36*b780 <= 0;

e585:    x244 - 36*b781 <= 0;

e586:    x245 - 36*b782 <= 0;

e587:    x246 - 37.5*b791 <= 0;

e588:    x247 - 36.5*b799 <= 0;

e589:    x248 - 38.5*b806 <= 0;

e590:    x249 - 39*b812 <= 0;

e591:    x250 - 38*b817 <= 0;

e592:    x251 - 37.5*b821 <= 0;

e593:    x252 - 36*b825 <= 0;

e594:    x253 - 36*b826 <= 0;

e595:    x254 - 36*b827 <= 0;

e596:    x255 - 37.5*b836 <= 0;

e597:    x256 - 36.5*b844 <= 0;

e598:    x257 - 38.5*b851 <= 0;

e599:    x258 - 39*b857 <= 0;

e600:    x259 - 38*b862 <= 0;

e601:    x260 - 37.5*b866 <= 0;

e602:    x261 - 36*b870 <= 0;

e603:    x262 - 36*b871 <= 0;

e604:    x263 - 36*b872 <= 0;

e605:    x264 - 37.5*b881 <= 0;

e606:    x265 - 36.5*b889 <= 0;

e607:    x266 - 38.5*b896 <= 0;

e608:    x267 - 39*b902 <= 0;

e609:    x268 - 38*b907 <= 0;

e610:    x269 - 37.5*b911 <= 0;

e611:    x270 - 36*b915 <= 0;

e612:    x271 - 36*b916 <= 0;

e613:    x272 - 36*b917 <= 0;

e614:    x273 - 37.5*b747 <= 0;

e615:    x274 - 36.5*b755 <= 0;

e616:    x275 - 38.5*b762 <= 0;

e617:    x276 - 39*b768 <= 0;

e618:    x277 - 38*b773 <= 0;

e619:    x278 - 37.5*b777 <= 0;

e620:    x279 - 36*b780 <= 0;

e621:    x280 - 38*b783 <= 0;

e622:    x281 - 38*b784 <= 0;

e623:    x282 - 37.5*b792 <= 0;

e624:    x283 - 36.5*b800 <= 0;

e625:    x284 - 38.5*b807 <= 0;

e626:    x285 - 39*b813 <= 0;

e627:    x286 - 38*b818 <= 0;

e628:    x287 - 37.5*b822 <= 0;

e629:    x288 - 36*b825 <= 0;

e630:    x289 - 38*b828 <= 0;

e631:    x290 - 38*b829 <= 0;

e632:    x291 - 37.5*b837 <= 0;

e633:    x292 - 36.5*b845 <= 0;

e634:    x293 - 38.5*b852 <= 0;

e635:    x294 - 39*b858 <= 0;

e636:    x295 - 38*b863 <= 0;

e637:    x296 - 37.5*b867 <= 0;

e638:    x297 - 36*b870 <= 0;

e639:    x298 - 38*b873 <= 0;

e640:    x299 - 38*b874 <= 0;

e641:    x300 - 37.5*b882 <= 0;

e642:    x301 - 36.5*b890 <= 0;

e643:    x302 - 38.5*b897 <= 0;

e644:    x303 - 39*b903 <= 0;

e645:    x304 - 38*b908 <= 0;

e646:    x305 - 37.5*b912 <= 0;

e647:    x306 - 36*b915 <= 0;

e648:    x307 - 38*b918 <= 0;

e649:    x308 - 38*b919 <= 0;

e650:    x309 - 37.5*b748 <= 0;

e651:    x310 - 36.5*b756 <= 0;

e652:    x311 - 38.5*b763 <= 0;

e653:    x312 - 39*b769 <= 0;

e654:    x313 - 38*b774 <= 0;

e655:    x314 - 37.5*b778 <= 0;

e656:    x315 - 36*b781 <= 0;

e657:    x316 - 38*b783 <= 0;

e658:    x317 - 39*b785 <= 0;

e659:    x318 - 37.5*b793 <= 0;

e660:    x319 - 36.5*b801 <= 0;

e661:    x320 - 38.5*b808 <= 0;

e662:    x321 - 39*b814 <= 0;

e663:    x322 - 38*b819 <= 0;

e664:    x323 - 37.5*b823 <= 0;

e665:    x324 - 36*b826 <= 0;

e666:    x325 - 38*b828 <= 0;

e667:    x326 - 39*b830 <= 0;

e668:    x327 - 37.5*b838 <= 0;

e669:    x328 - 36.5*b846 <= 0;

e670:    x329 - 38.5*b853 <= 0;

e671:    x330 - 39*b859 <= 0;

e672:    x331 - 38*b864 <= 0;

e673:    x332 - 37.5*b868 <= 0;

e674:    x333 - 36*b871 <= 0;

e675:    x334 - 38*b873 <= 0;

e676:    x335 - 39*b875 <= 0;

e677:    x336 - 37.5*b883 <= 0;

e678:    x337 - 36.5*b891 <= 0;

e679:    x338 - 38.5*b898 <= 0;

e680:    x339 - 39*b904 <= 0;

e681:    x340 - 38*b909 <= 0;

e682:    x341 - 37.5*b913 <= 0;

e683:    x342 - 36*b916 <= 0;

e684:    x343 - 38*b918 <= 0;

e685:    x344 - 39*b920 <= 0;

e686:    x345 - 37.5*b749 <= 0;

e687:    x346 - 36.5*b757 <= 0;

e688:    x347 - 38.5*b764 <= 0;

e689:    x348 - 39*b770 <= 0;

e690:    x349 - 38*b775 <= 0;

e691:    x350 - 37.5*b779 <= 0;

e692:    x351 - 36*b782 <= 0;

e693:    x352 - 38*b784 <= 0;

e694:    x353 - 39*b785 <= 0;

e695:    x354 - 37.5*b794 <= 0;

e696:    x355 - 36.5*b802 <= 0;

e697:    x356 - 38.5*b809 <= 0;

e698:    x357 - 39*b815 <= 0;

e699:    x358 - 38*b820 <= 0;

e700:    x359 - 37.5*b824 <= 0;

e701:    x360 - 36*b827 <= 0;

e702:    x361 - 38*b829 <= 0;

e703:    x362 - 39*b830 <= 0;

e704:    x363 - 37.5*b839 <= 0;

e705:    x364 - 36.5*b847 <= 0;

e706:    x365 - 38.5*b854 <= 0;

e707:    x366 - 39*b860 <= 0;

e708:    x367 - 38*b865 <= 0;

e709:    x368 - 37.5*b869 <= 0;

e710:    x369 - 36*b872 <= 0;

e711:    x370 - 38*b874 <= 0;

e712:    x371 - 39*b875 <= 0;

e713:    x372 - 37.5*b884 <= 0;

e714:    x373 - 36.5*b892 <= 0;

e715:    x374 - 38.5*b899 <= 0;

e716:    x375 - 39*b905 <= 0;

e717:    x376 - 38*b910 <= 0;

e718:    x377 - 37.5*b914 <= 0;

e719:    x378 - 36*b917 <= 0;

e720:    x379 - 38*b919 <= 0;

e721:    x380 - 39*b920 <= 0;

e722:    x381 - 37*b741 <= 0;

e723:    x382 - 37*b742 <= 0;

e724:    x383 - 37*b743 <= 0;

e725:    x384 - 37*b744 <= 0;

e726:    x385 - 37*b745 <= 0;

e727:    x386 - 37*b746 <= 0;

e728:    x387 - 37*b747 <= 0;

e729:    x388 - 37*b748 <= 0;

e730:    x389 - 37*b749 <= 0;

e731:    x390 - 37*b786 <= 0;

e732:    x391 - 37*b787 <= 0;

e733:    x392 - 37*b788 <= 0;

e734:    x393 - 37*b789 <= 0;

e735:    x394 - 37*b790 <= 0;

e736:    x395 - 37*b791 <= 0;

e737:    x396 - 37*b792 <= 0;

e738:    x397 - 37*b793 <= 0;

e739:    x398 - 37*b794 <= 0;

e740:    x399 - 37*b831 <= 0;

e741:    x400 - 37*b832 <= 0;

e742:    x401 - 37*b833 <= 0;

e743:    x402 - 37*b834 <= 0;

e744:    x403 - 37*b835 <= 0;

e745:    x404 - 37*b836 <= 0;

e746:    x405 - 37*b837 <= 0;

e747:    x406 - 37*b838 <= 0;

e748:    x407 - 37*b839 <= 0;

e749:    x408 - 37*b876 <= 0;

e750:    x409 - 37*b877 <= 0;

e751:    x410 - 37*b878 <= 0;

e752:    x411 - 37*b879 <= 0;

e753:    x412 - 37*b880 <= 0;

e754:    x413 - 37*b881 <= 0;

e755:    x414 - 37*b882 <= 0;

e756:    x415 - 37*b883 <= 0;

e757:    x416 - 37*b884 <= 0;

e758:    x417 - 37*b741 <= 0;

e759:    x418 - 37.5*b750 <= 0;

e760:    x419 - 37.5*b751 <= 0;

e761:    x420 - 37.5*b752 <= 0;

e762:    x421 - 37.5*b753 <= 0;

e763:    x422 - 37.5*b754 <= 0;

e764:    x423 - 37.5*b755 <= 0;

e765:    x424 - 37.5*b756 <= 0;

e766:    x425 - 37.5*b757 <= 0;

e767:    x426 - 37*b786 <= 0;

e768:    x427 - 37.5*b795 <= 0;

e769:    x428 - 37.5*b796 <= 0;

e770:    x429 - 37.5*b797 <= 0;

e771:    x430 - 37.5*b798 <= 0;

e772:    x431 - 37.5*b799 <= 0;

e773:    x432 - 37.5*b800 <= 0;

e774:    x433 - 37.5*b801 <= 0;

e775:    x434 - 37.5*b802 <= 0;

e776:    x435 - 37*b831 <= 0;

e777:    x436 - 37.5*b840 <= 0;

e778:    x437 - 37.5*b841 <= 0;

e779:    x438 - 37.5*b842 <= 0;

e780:    x439 - 37.5*b843 <= 0;

e781:    x440 - 37.5*b844 <= 0;

e782:    x441 - 37.5*b845 <= 0;

e783:    x442 - 37.5*b846 <= 0;

e784:    x443 - 37.5*b847 <= 0;

e785:    x444 - 37*b876 <= 0;

e786:    x445 - 37.5*b885 <= 0;

e787:    x446 - 37.5*b886 <= 0;

e788:    x447 - 37.5*b887 <= 0;

e789:    x448 - 37.5*b888 <= 0;

e790:    x449 - 37.5*b889 <= 0;

e791:    x450 - 37.5*b890 <= 0;

e792:    x451 - 37.5*b891 <= 0;

e793:    x452 - 37.5*b892 <= 0;

e794:    x453 - 37*b742 <= 0;

e795:    x454 - 37.5*b750 <= 0;

e796:    x455 - 38.5*b758 <= 0;

e797:    x456 - 38.5*b759 <= 0;

e798:    x457 - 38.5*b760 <= 0;

e799:    x458 - 38.5*b761 <= 0;

e800:    x459 - 38.5*b762 <= 0;

e801:    x460 - 38.5*b763 <= 0;

e802:    x461 - 38.5*b764 <= 0;

e803:    x462 - 37*b787 <= 0;

e804:    x463 - 37.5*b795 <= 0;

e805:    x464 - 38.5*b803 <= 0;

e806:    x465 - 38.5*b804 <= 0;

e807:    x466 - 38.5*b805 <= 0;

e808:    x467 - 38.5*b806 <= 0;

e809:    x468 - 38.5*b807 <= 0;

e810:    x469 - 38.5*b808 <= 0;

e811:    x470 - 38.5*b809 <= 0;

e812:    x471 - 37*b832 <= 0;

e813:    x472 - 37.5*b840 <= 0;

e814:    x473 - 38.5*b848 <= 0;

e815:    x474 - 38.5*b849 <= 0;

e816:    x475 - 38.5*b850 <= 0;

e817:    x476 - 38.5*b851 <= 0;

e818:    x477 - 38.5*b852 <= 0;

e819:    x478 - 38.5*b853 <= 0;

e820:    x479 - 38.5*b854 <= 0;

e821:    x480 - 37*b877 <= 0;

e822:    x481 - 37.5*b885 <= 0;

e823:    x482 - 38.5*b893 <= 0;

e824:    x483 - 38.5*b894 <= 0;

e825:    x484 - 38.5*b895 <= 0;

e826:    x485 - 38.5*b896 <= 0;

e827:    x486 - 38.5*b897 <= 0;

e828:    x487 - 38.5*b898 <= 0;

e829:    x488 - 38.5*b899 <= 0;

e830:    x489 - 37*b743 <= 0;

e831:    x490 - 37.5*b751 <= 0;

e832:    x491 - 38.5*b758 <= 0;

e833:    x492 - 38.5*b765 <= 0;

e834:    x493 - 38.5*b766 <= 0;

e835:    x494 - 38.5*b767 <= 0;

e836:    x495 - 38.5*b768 <= 0;

e837:    x496 - 38.5*b769 <= 0;

e838:    x497 - 38.5*b770 <= 0;

e839:    x498 - 37*b788 <= 0;

e840:    x499 - 37.5*b796 <= 0;

e841:    x500 - 38.5*b803 <= 0;

e842:    x501 - 38.5*b810 <= 0;

e843:    x502 - 38.5*b811 <= 0;

e844:    x503 - 38.5*b812 <= 0;

e845:    x504 - 38.5*b813 <= 0;

e846:    x505 - 38.5*b814 <= 0;

e847:    x506 - 38.5*b815 <= 0;

e848:    x507 - 37*b833 <= 0;

e849:    x508 - 37.5*b841 <= 0;

e850:    x509 - 38.5*b848 <= 0;

e851:    x510 - 38.5*b855 <= 0;

e852:    x511 - 38.5*b856 <= 0;

e853:    x512 - 38.5*b857 <= 0;

e854:    x513 - 38.5*b858 <= 0;

e855:    x514 - 38.5*b859 <= 0;

e856:    x515 - 38.5*b860 <= 0;

e857:    x516 - 37*b878 <= 0;

e858:    x517 - 37.5*b886 <= 0;

e859:    x518 - 38.5*b893 <= 0;

e860:    x519 - 38.5*b900 <= 0;

e861:    x520 - 38.5*b901 <= 0;

e862:    x521 - 38.5*b902 <= 0;

e863:    x522 - 38.5*b903 <= 0;

e864:    x523 - 38.5*b904 <= 0;

e865:    x524 - 38.5*b905 <= 0;

e866:    x525 - 37*b744 <= 0;

e867:    x526 - 37.5*b752 <= 0;

e868:    x527 - 38.5*b759 <= 0;

e869:    x528 - 38.5*b765 <= 0;

e870:    x529 - 38*b771 <= 0;

e871:    x530 - 38*b772 <= 0;

e872:    x531 - 38*b773 <= 0;

e873:    x532 - 38*b774 <= 0;

e874:    x533 - 38*b775 <= 0;

e875:    x534 - 37*b789 <= 0;

e876:    x535 - 37.5*b797 <= 0;

e877:    x536 - 38.5*b804 <= 0;

e878:    x537 - 38.5*b810 <= 0;

e879:    x538 - 38*b816 <= 0;

e880:    x539 - 38*b817 <= 0;

e881:    x540 - 38*b818 <= 0;

e882:    x541 - 38*b819 <= 0;

e883:    x542 - 38*b820 <= 0;

e884:    x543 - 37*b834 <= 0;

e885:    x544 - 37.5*b842 <= 0;

e886:    x545 - 38.5*b849 <= 0;

e887:    x546 - 38.5*b855 <= 0;

e888:    x547 - 38*b861 <= 0;

e889:    x548 - 38*b862 <= 0;

e890:    x549 - 38*b863 <= 0;

e891:    x550 - 38*b864 <= 0;

e892:    x551 - 38*b865 <= 0;

e893:    x552 - 37*b879 <= 0;

e894:    x553 - 37.5*b887 <= 0;

e895:    x554 - 38.5*b894 <= 0;

e896:    x555 - 38.5*b900 <= 0;

e897:    x556 - 38*b906 <= 0;

e898:    x557 - 38*b907 <= 0;

e899:    x558 - 38*b908 <= 0;

e900:    x559 - 38*b909 <= 0;

e901:    x560 - 38*b910 <= 0;

e902:    x561 - 37*b745 <= 0;

e903:    x562 - 37.5*b753 <= 0;

e904:    x563 - 38.5*b760 <= 0;

e905:    x564 - 38.5*b766 <= 0;

e906:    x565 - 38*b771 <= 0;

e907:    x566 - 39*b776 <= 0;

e908:    x567 - 39*b777 <= 0;

e909:    x568 - 39*b778 <= 0;

e910:    x569 - 39*b779 <= 0;

e911:    x570 - 37*b790 <= 0;

e912:    x571 - 37.5*b798 <= 0;

e913:    x572 - 38.5*b805 <= 0;

e914:    x573 - 38.5*b811 <= 0;

e915:    x574 - 38*b816 <= 0;

e916:    x575 - 39*b821 <= 0;

e917:    x576 - 39*b822 <= 0;

e918:    x577 - 39*b823 <= 0;

e919:    x578 - 39*b824 <= 0;

e920:    x579 - 37*b835 <= 0;

e921:    x580 - 37.5*b843 <= 0;

e922:    x581 - 38.5*b850 <= 0;

e923:    x582 - 38.5*b856 <= 0;

e924:    x583 - 38*b861 <= 0;

e925:    x584 - 39*b866 <= 0;

e926:    x585 - 39*b867 <= 0;

e927:    x586 - 39*b868 <= 0;

e928:    x587 - 39*b869 <= 0;

e929:    x588 - 37*b880 <= 0;

e930:    x589 - 37.5*b888 <= 0;

e931:    x590 - 38.5*b895 <= 0;

e932:    x591 - 38.5*b901 <= 0;

e933:    x592 - 38*b906 <= 0;

e934:    x593 - 39*b911 <= 0;

e935:    x594 - 39*b912 <= 0;

e936:    x595 - 39*b913 <= 0;

e937:    x596 - 39*b914 <= 0;

e938:    x597 - 37*b746 <= 0;

e939:    x598 - 37.5*b754 <= 0;

e940:    x599 - 38.5*b761 <= 0;

e941:    x600 - 38.5*b767 <= 0;

e942:    x601 - 38*b772 <= 0;

e943:    x602 - 39*b776 <= 0;

e944:    x603 - 37*b780 <= 0;

e945:    x604 - 37*b781 <= 0;

e946:    x605 - 37*b782 <= 0;

e947:    x606 - 37*b791 <= 0;

e948:    x607 - 37.5*b799 <= 0;

e949:    x608 - 38.5*b806 <= 0;

e950:    x609 - 38.5*b812 <= 0;

e951:    x610 - 38*b817 <= 0;

e952:    x611 - 39*b821 <= 0;

e953:    x612 - 37*b825 <= 0;

e954:    x613 - 37*b826 <= 0;

e955:    x614 - 37*b827 <= 0;

e956:    x615 - 37*b836 <= 0;

e957:    x616 - 37.5*b844 <= 0;

e958:    x617 - 38.5*b851 <= 0;

e959:    x618 - 38.5*b857 <= 0;

e960:    x619 - 38*b862 <= 0;

e961:    x620 - 39*b866 <= 0;

e962:    x621 - 37*b870 <= 0;

e963:    x622 - 37*b871 <= 0;

e964:    x623 - 37*b872 <= 0;

e965:    x624 - 37*b881 <= 0;

e966:    x625 - 37.5*b889 <= 0;

e967:    x626 - 38.5*b896 <= 0;

e968:    x627 - 38.5*b902 <= 0;

e969:    x628 - 38*b907 <= 0;

e970:    x629 - 39*b911 <= 0;

e971:    x630 - 37*b915 <= 0;

e972:    x631 - 37*b916 <= 0;

e973:    x632 - 37*b917 <= 0;

e974:    x633 - 37*b747 <= 0;

e975:    x634 - 37.5*b755 <= 0;

e976:    x635 - 38.5*b762 <= 0;

e977:    x636 - 38.5*b768 <= 0;

e978:    x637 - 38*b773 <= 0;

e979:    x638 - 39*b777 <= 0;

e980:    x639 - 37*b780 <= 0;

e981:    x640 - 37*b783 <= 0;

e982:    x641 - 37*b784 <= 0;

e983:    x642 - 37*b792 <= 0;

e984:    x643 - 37.5*b800 <= 0;

e985:    x644 - 38.5*b807 <= 0;

e986:    x645 - 38.5*b813 <= 0;

e987:    x646 - 38*b818 <= 0;

e988:    x647 - 39*b822 <= 0;

e989:    x648 - 37*b825 <= 0;

e990:    x649 - 37*b828 <= 0;

e991:    x650 - 37*b829 <= 0;

e992:    x651 - 37*b837 <= 0;

e993:    x652 - 37.5*b845 <= 0;

e994:    x653 - 38.5*b852 <= 0;

e995:    x654 - 38.5*b858 <= 0;

e996:    x655 - 38*b863 <= 0;

e997:    x656 - 39*b867 <= 0;

e998:    x657 - 37*b870 <= 0;

e999:    x658 - 37*b873 <= 0;

e1000:    x659 - 37*b874 <= 0;

e1001:    x660 - 37*b882 <= 0;

e1002:    x661 - 37.5*b890 <= 0;

e1003:    x662 - 38.5*b897 <= 0;

e1004:    x663 - 38.5*b903 <= 0;

e1005:    x664 - 38*b908 <= 0;

e1006:    x665 - 39*b912 <= 0;

e1007:    x666 - 37*b915 <= 0;

e1008:    x667 - 37*b918 <= 0;

e1009:    x668 - 37*b919 <= 0;

e1010:    x669 - 37*b748 <= 0;

e1011:    x670 - 37.5*b756 <= 0;

e1012:    x671 - 38.5*b763 <= 0;

e1013:    x672 - 38.5*b769 <= 0;

e1014:    x673 - 38*b774 <= 0;

e1015:    x674 - 39*b778 <= 0;

e1016:    x675 - 37*b781 <= 0;

e1017:    x676 - 37*b783 <= 0;

e1018:    x677 - 37.5*b785 <= 0;

e1019:    x678 - 37*b793 <= 0;

e1020:    x679 - 37.5*b801 <= 0;

e1021:    x680 - 38.5*b808 <= 0;

e1022:    x681 - 38.5*b814 <= 0;

e1023:    x682 - 38*b819 <= 0;

e1024:    x683 - 39*b823 <= 0;

e1025:    x684 - 37*b826 <= 0;

e1026:    x685 - 37*b828 <= 0;

e1027:    x686 - 37.5*b830 <= 0;

e1028:    x687 - 37*b838 <= 0;

e1029:    x688 - 37.5*b846 <= 0;

e1030:    x689 - 38.5*b853 <= 0;

e1031:    x690 - 38.5*b859 <= 0;

e1032:    x691 - 38*b864 <= 0;

e1033:    x692 - 39*b868 <= 0;

e1034:    x693 - 37*b871 <= 0;

e1035:    x694 - 37*b873 <= 0;

e1036:    x695 - 37.5*b875 <= 0;

e1037:    x696 - 37*b883 <= 0;

e1038:    x697 - 37.5*b891 <= 0;

e1039:    x698 - 38.5*b898 <= 0;

e1040:    x699 - 38.5*b904 <= 0;

e1041:    x700 - 38*b909 <= 0;

e1042:    x701 - 39*b913 <= 0;

e1043:    x702 - 37*b916 <= 0;

e1044:    x703 - 37*b918 <= 0;

e1045:    x704 - 37.5*b920 <= 0;

e1046:    x705 - 37*b749 <= 0;

e1047:    x706 - 37.5*b757 <= 0;

e1048:    x707 - 38.5*b764 <= 0;

e1049:    x708 - 38.5*b770 <= 0;

e1050:    x709 - 38*b775 <= 0;

e1051:    x710 - 39*b779 <= 0;

e1052:    x711 - 37*b782 <= 0;

e1053:    x712 - 37*b784 <= 0;

e1054:    x713 - 37.5*b785 <= 0;

e1055:    x714 - 37*b794 <= 0;

e1056:    x715 - 37.5*b802 <= 0;

e1057:    x716 - 38.5*b809 <= 0;

e1058:    x717 - 38.5*b815 <= 0;

e1059:    x718 - 38*b820 <= 0;

e1060:    x719 - 39*b824 <= 0;

e1061:    x720 - 37*b827 <= 0;

e1062:    x721 - 37*b829 <= 0;

e1063:    x722 - 37.5*b830 <= 0;

e1064:    x723 - 37*b839 <= 0;

e1065:    x724 - 37.5*b847 <= 0;

e1066:    x725 - 38.5*b854 <= 0;

e1067:    x726 - 38.5*b860 <= 0;

e1068:    x727 - 38*b865 <= 0;

e1069:    x728 - 39*b869 <= 0;

e1070:    x729 - 37*b872 <= 0;

e1071:    x730 - 37*b874 <= 0;

e1072:    x731 - 37.5*b875 <= 0;

e1073:    x732 - 37*b884 <= 0;

e1074:    x733 - 37.5*b892 <= 0;

e1075:    x734 - 38.5*b899 <= 0;

e1076:    x735 - 38.5*b905 <= 0;

e1077:    x736 - 38*b910 <= 0;

e1078:    x737 - 39*b914 <= 0;

e1079:    x738 - 37*b917 <= 0;

e1080:    x739 - 37*b919 <= 0;

e1081:    x740 - 37.5*b920 <= 0;

e1082:    x21 - x57 + 6*b741 <= 0;

e1083:    x22 - x93 + 4*b742 <= 0;

e1084:    x23 - x129 + 3.5*b743 <= 0;

e1085:    x24 - x165 + 4.5*b744 <= 0;

e1086:    x25 - x201 + 5*b745 <= 0;

e1087:    x26 - x237 + 6.5*b746 <= 0;

e1088:    x27 - x273 + 4.5*b747 <= 0;

e1089:    x28 - x309 + 3.5*b748 <= 0;

e1090:    x29 - x345 + 5.5*b749 <= 0;

e1091:    x58 - x94 + 5*b750 <= 0;

e1092:    x59 - x130 + 4.5*b751 <= 0;

e1093:    x60 - x166 + 5.5*b752 <= 0;

e1094:    x61 - x202 + 6*b753 <= 0;

e1095:    x62 - x238 + 7.5*b754 <= 0;

e1096:    x63 - x274 + 5.5*b755 <= 0;

e1097:    x64 - x310 + 4.5*b756 <= 0;

e1098:    x65 - x346 + 6.5*b757 <= 0;

e1099:    x95 - x131 + 2.5*b758 <= 0;

e1100:    x96 - x167 + 3.5*b759 <= 0;

e1101:    x97 - x203 + 4*b760 <= 0;

e1102:    x98 - x239 + 5.5*b761 <= 0;

e1103:    x99 - x275 + 3.5*b762 <= 0;

e1104:    x100 - x311 + 2.5*b763 <= 0;

e1105:    x101 - x347 + 4.5*b764 <= 0;

e1106:    x132 - x168 + 3*b765 <= 0;

e1107:    x133 - x204 + 3.5*b766 <= 0;

e1108:    x134 - x240 + 5*b767 <= 0;

e1109:    x135 - x276 + 3*b768 <= 0;

e1110:    x136 - x312 + 2*b769 <= 0;

e1111:    x137 - x348 + 4*b770 <= 0;

e1112:    x169 - x205 + 4.5*b771 <= 0;

e1113:    x170 - x241 + 6*b772 <= 0;

e1114:    x171 - x277 + 4*b773 <= 0;

e1115:    x172 - x313 + 3*b774 <= 0;

e1116:    x173 - x349 + 5*b775 <= 0;

e1117:    x206 - x242 + 6.5*b776 <= 0;

e1118:    x207 - x278 + 4.5*b777 <= 0;

e1119:    x208 - x314 + 3.5*b778 <= 0;

e1120:    x209 - x350 + 5.5*b779 <= 0;

e1121:    x243 - x279 + 6*b780 <= 0;

e1122:    x244 - x315 + 5*b781 <= 0;

e1123:    x245 - x351 + 7*b782 <= 0;

e1124:    x280 - x316 + 3*b783 <= 0;

e1125:    x281 - x352 + 5*b784 <= 0;

e1126:    x317 - x353 + 4*b785 <= 0;

e1127:  - x30 + x66 + 6*b786 <= 0;

e1128:  - x31 + x102 + 4*b787 <= 0;

e1129:  - x32 + x138 + 3.5*b788 <= 0;

e1130:  - x33 + x174 + 4.5*b789 <= 0;

e1131:  - x34 + x210 + 5*b790 <= 0;

e1132:  - x35 + x246 + 6.5*b791 <= 0;

e1133:  - x36 + x282 + 4.5*b792 <= 0;

e1134:  - x37 + x318 + 3.5*b793 <= 0;

e1135:  - x38 + x354 + 5.5*b794 <= 0;

e1136:  - x67 + x103 + 5*b795 <= 0;

e1137:  - x68 + x139 + 4.5*b796 <= 0;

e1138:  - x69 + x175 + 5.5*b797 <= 0;

e1139:  - x70 + x211 + 6*b798 <= 0;

e1140:  - x71 + x247 + 7.5*b799 <= 0;

e1141:  - x72 + x283 + 5.5*b800 <= 0;

e1142:  - x73 + x319 + 4.5*b801 <= 0;

e1143:  - x74 + x355 + 6.5*b802 <= 0;

e1144:  - x104 + x140 + 2.5*b803 <= 0;

e1145:  - x105 + x176 + 3.5*b804 <= 0;

e1146:  - x106 + x212 + 4*b805 <= 0;

e1147:  - x107 + x248 + 5.5*b806 <= 0;

e1148:  - x108 + x284 + 3.5*b807 <= 0;

e1149:  - x109 + x320 + 2.5*b808 <= 0;

e1150:  - x110 + x356 + 4.5*b809 <= 0;

e1151:  - x141 + x177 + 3*b810 <= 0;

e1152:  - x142 + x213 + 3.5*b811 <= 0;

e1153:  - x143 + x249 + 5*b812 <= 0;

e1154:  - x144 + x285 + 3*b813 <= 0;

e1155:  - x145 + x321 + 2*b814 <= 0;

e1156:  - x146 + x357 + 4*b815 <= 0;

e1157:  - x178 + x214 + 4.5*b816 <= 0;

e1158:  - x179 + x250 + 6*b817 <= 0;

e1159:  - x180 + x286 + 4*b818 <= 0;

e1160:  - x181 + x322 + 3*b819 <= 0;

e1161:  - x182 + x358 + 5*b820 <= 0;

e1162:  - x215 + x251 + 6.5*b821 <= 0;

e1163:  - x216 + x287 + 4.5*b822 <= 0;

e1164:  - x217 + x323 + 3.5*b823 <= 0;

e1165:  - x218 + x359 + 5.5*b824 <= 0;

e1166:  - x252 + x288 + 6*b825 <= 0;

e1167:  - x253 + x324 + 5*b826 <= 0;

e1168:  - x254 + x360 + 7*b827 <= 0;

e1169:  - x289 + x325 + 3*b828 <= 0;

e1170:  - x290 + x361 + 5*b829 <= 0;

e1171:  - x326 + x362 + 4*b830 <= 0;

e1172:    x399 - x435 + 5.5*b831 <= 0;

e1173:    x400 - x471 + 4.5*b832 <= 0;

e1174:    x401 - x507 + 4.5*b833 <= 0;

e1175:    x402 - x543 + 5*b834 <= 0;

e1176:    x403 - x579 + 4*b835 <= 0;

e1177:    x404 - x615 + 6*b836 <= 0;

e1178:    x405 - x651 + 6*b837 <= 0;

e1179:    x406 - x687 + 5.5*b838 <= 0;

e1180:    x407 - x723 + 4.5*b839 <= 0;

e1181:    x436 - x472 + 4*b840 <= 0;

e1182:    x437 - x508 + 4*b841 <= 0;

e1183:    x438 - x544 + 4.5*b842 <= 0;

e1184:    x439 - x580 + 3.5*b843 <= 0;

e1185:    x440 - x616 + 5.5*b844 <= 0;

e1186:    x441 - x652 + 5.5*b845 <= 0;

e1187:    x442 - x688 + 5*b846 <= 0;

e1188:    x443 - x724 + 4*b847 <= 0;

e1189:    x473 - x509 + 3*b848 <= 0;

e1190:    x474 - x545 + 3.5*b849 <= 0;

e1191:    x475 - x581 + 2.5*b850 <= 0;

e1192:    x476 - x617 + 4.5*b851 <= 0;

e1193:    x477 - x653 + 4.5*b852 <= 0;

e1194:    x478 - x689 + 4*b853 <= 0;

e1195:    x479 - x725 + 3*b854 <= 0;

e1196:    x510 - x546 + 3.5*b855 <= 0;

e1197:    x511 - x582 + 2.5*b856 <= 0;

e1198:    x512 - x618 + 4.5*b857 <= 0;

e1199:    x513 - x654 + 4.5*b858 <= 0;

e1200:    x514 - x690 + 4*b859 <= 0;

e1201:    x515 - x726 + 3*b860 <= 0;

e1202:    x547 - x583 + 3*b861 <= 0;

e1203:    x548 - x619 + 5*b862 <= 0;

e1204:    x549 - x655 + 5*b863 <= 0;

e1205:    x550 - x691 + 4.5*b864 <= 0;

e1206:    x551 - x727 + 3.5*b865 <= 0;

e1207:    x584 - x620 + 4*b866 <= 0;

e1208:    x585 - x656 + 4*b867 <= 0;

e1209:    x586 - x692 + 3.5*b868 <= 0;

e1210:    x587 - x728 + 2.5*b869 <= 0;

e1211:    x621 - x657 + 6*b870 <= 0;

e1212:    x622 - x693 + 5.5*b871 <= 0;

e1213:    x623 - x729 + 4.5*b872 <= 0;

e1214:    x658 - x694 + 5.5*b873 <= 0;

e1215:    x659 - x730 + 4.5*b874 <= 0;

e1216:    x695 - x731 + 4*b875 <= 0;

e1217:  - x408 + x444 + 5.5*b876 <= 0;

e1218:  - x409 + x480 + 4.5*b877 <= 0;

e1219:  - x410 + x516 + 4.5*b878 <= 0;

e1220:  - x411 + x552 + 5*b879 <= 0;

e1221:  - x412 + x588 + 4*b880 <= 0;

e1222:  - x413 + x624 + 6*b881 <= 0;

e1223:  - x414 + x660 + 6*b882 <= 0;

e1224:  - x415 + x696 + 5.5*b883 <= 0;

e1225:  - x416 + x732 + 4.5*b884 <= 0;

e1226:  - x445 + x481 + 4*b885 <= 0;

e1227:  - x446 + x517 + 4*b886 <= 0;

e1228:  - x447 + x553 + 4.5*b887 <= 0;

e1229:  - x448 + x589 + 3.5*b888 <= 0;

e1230:  - x449 + x625 + 5.5*b889 <= 0;

e1231:  - x450 + x661 + 5.5*b890 <= 0;

e1232:  - x451 + x697 + 5*b891 <= 0;

e1233:  - x452 + x733 + 4*b892 <= 0;

e1234:  - x482 + x518 + 3*b893 <= 0;

e1235:  - x483 + x554 + 3.5*b894 <= 0;

e1236:  - x484 + x590 + 2.5*b895 <= 0;

e1237:  - x485 + x626 + 4.5*b896 <= 0;

e1238:  - x486 + x662 + 4.5*b897 <= 0;

e1239:  - x487 + x698 + 4*b898 <= 0;

e1240:  - x488 + x734 + 3*b899 <= 0;

e1241:  - x519 + x555 + 3.5*b900 <= 0;

e1242:  - x520 + x591 + 2.5*b901 <= 0;

e1243:  - x521 + x627 + 4.5*b902 <= 0;

e1244:  - x522 + x663 + 4.5*b903 <= 0;

e1245:  - x523 + x699 + 4*b904 <= 0;

e1246:  - x524 + x735 + 3*b905 <= 0;

e1247:  - x556 + x592 + 3*b906 <= 0;

e1248:  - x557 + x628 + 5*b907 <= 0;

e1249:  - x558 + x664 + 5*b908 <= 0;

e1250:  - x559 + x700 + 4.5*b909 <= 0;

e1251:  - x560 + x736 + 3.5*b910 <= 0;

e1252:  - x593 + x629 + 4*b911 <= 0;

e1253:  - x594 + x665 + 4*b912 <= 0;

e1254:  - x595 + x701 + 3.5*b913 <= 0;

e1255:  - x596 + x737 + 2.5*b914 <= 0;

e1256:  - x630 + x666 + 6*b915 <= 0;

e1257:  - x631 + x702 + 5.5*b916 <= 0;

e1258:  - x632 + x738 + 4.5*b917 <= 0;

e1259:  - x667 + x703 + 5.5*b918 <= 0;

e1260:  - x668 + x739 + 4.5*b919 <= 0;

e1261:  - x704 + x740 + 4*b920 <= 0;

e1262:    b741 + b786 + b831 + b876 = 1;

e1263:    b742 + b787 + b832 + b877 = 1;

e1264:    b743 + b788 + b833 + b878 = 1;

e1265:    b744 + b789 + b834 + b879 = 1;

e1266:    b745 + b790 + b835 + b880 = 1;

e1267:    b746 + b791 + b836 + b881 = 1;

e1268:    b747 + b792 + b837 + b882 = 1;

e1269:    b748 + b793 + b838 + b883 = 1;

e1270:    b749 + b794 + b839 + b884 = 1;

e1271:    b750 + b795 + b840 + b885 = 1;

e1272:    b751 + b796 + b841 + b886 = 1;

e1273:    b752 + b797 + b842 + b887 = 1;

e1274:    b753 + b798 + b843 + b888 = 1;

e1275:    b754 + b799 + b844 + b889 = 1;

e1276:    b755 + b800 + b845 + b890 = 1;

e1277:    b756 + b801 + b846 + b891 = 1;

e1278:    b757 + b802 + b847 + b892 = 1;

e1279:    b758 + b803 + b848 + b893 = 1;

e1280:    b759 + b804 + b849 + b894 = 1;

e1281:    b760 + b805 + b850 + b895 = 1;

e1282:    b761 + b806 + b851 + b896 = 1;

e1283:    b762 + b807 + b852 + b897 = 1;

e1284:    b763 + b808 + b853 + b898 = 1;

e1285:    b764 + b809 + b854 + b899 = 1;

e1286:    b765 + b810 + b855 + b900 = 1;

e1287:    b766 + b811 + b856 + b901 = 1;

e1288:    b767 + b812 + b857 + b902 = 1;

e1289:    b768 + b813 + b858 + b903 = 1;

e1290:    b769 + b814 + b859 + b904 = 1;

e1291:    b770 + b815 + b860 + b905 = 1;

e1292:    b771 + b816 + b861 + b906 = 1;

e1293:    b772 + b817 + b862 + b907 = 1;

e1294:    b773 + b818 + b863 + b908 = 1;

e1295:    b774 + b819 + b864 + b909 = 1;

e1296:    b775 + b820 + b865 + b910 = 1;

e1297:    b776 + b821 + b866 + b911 = 1;

e1298:    b777 + b822 + b867 + b912 = 1;

e1299:    b778 + b823 + b868 + b913 = 1;

e1300:    b779 + b824 + b869 + b914 = 1;

e1301:    b780 + b825 + b870 + b915 = 1;

e1302:    b781 + b826 + b871 + b916 = 1;

e1303:    b782 + b827 + b872 + b917 = 1;

e1304:    b783 + b828 + b873 + b918 = 1;

e1305:    b784 + b829 + b874 + b919 = 1;

e1306:    b785 + b830 + b875 + b920 = 1;