#  MINLP written by GAMS Convert at 09/25/19 11:21:39
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1362      567       52      743        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        899      711      188        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3270     3204       66        0
# 
#  Reformulation has removed 1 variable and 1 equation


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;
var x471;
var x472;
var x473;
var x474;
var x475;
var x476;
var x477;
var x478;
var x479;
var x480;
var x481;
var x482;
var x483;
var x484;
var x485;
var x486;
var x487;
var x488;
var x489;
var x490;
var x491;
var x492;
var x493;
var x494;
var x495;
var x496;
var x497;
var x498;
var x499;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var b518 binary >= 0, <= 1;
var b519 binary >= 0, <= 1;
var b520 binary >= 0, <= 1;
var b521 binary >= 0, <= 1;
var b522 binary >= 0, <= 1;
var b523 binary >= 0, <= 1;
var b524 binary >= 0, <= 1;
var b525 binary >= 0, <= 1;
var b526 binary >= 0, <= 1;
var b527 binary >= 0, <= 1;
var b528 binary >= 0, <= 1;
var b529 binary >= 0, <= 1;
var b530 binary >= 0, <= 1;
var b531 binary >= 0, <= 1;
var b532 binary >= 0, <= 1;
var b533 binary >= 0, <= 1;
var b534 binary >= 0, <= 1;
var b535 binary >= 0, <= 1;
var b536 binary >= 0, <= 1;
var b537 binary >= 0, <= 1;
var b538 binary >= 0, <= 1;
var b539 binary >= 0, <= 1;
var b540 binary >= 0, <= 1;
var b541 binary >= 0, <= 1;
var b542 binary >= 0, <= 1;
var b543 binary >= 0, <= 1;
var b544 binary >= 0, <= 1;
var b545 binary >= 0, <= 1;
var b546 binary >= 0, <= 1;
var b547 binary >= 0, <= 1;
var b548 binary >= 0, <= 1;
var b549 binary >= 0, <= 1;
var b550 binary >= 0, <= 1;
var b551 binary >= 0, <= 1;
var b552 binary >= 0, <= 1;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;
var b560 binary >= 0, <= 1;
var b561 binary >= 0, <= 1;
var b562 binary >= 0, <= 1;
var b563 binary >= 0, <= 1;
var b564 binary >= 0, <= 1;
var b565 binary >= 0, <= 1;
var b566 binary >= 0, <= 1;
var b567 binary >= 0, <= 1;
var b568 binary >= 0, <= 1;
var b569 binary >= 0, <= 1;
var b570 binary >= 0, <= 1;
var b571 binary >= 0, <= 1;
var b572 binary >= 0, <= 1;
var b573 binary >= 0, <= 1;
var b574 binary >= 0, <= 1;
var b575 binary >= 0, <= 1;
var b576 binary >= 0, <= 1;
var b577 binary >= 0, <= 1;
var b578 binary >= 0, <= 1;
var b579 binary >= 0, <= 1;
var b580 binary >= 0, <= 1;
var b581 binary >= 0, <= 1;
var b582 binary >= 0, <= 1;
var b583 binary >= 0, <= 1;
var b584 binary >= 0, <= 1;
var b585 binary >= 0, <= 1;
var b586 binary >= 0, <= 1;
var b587 binary >= 0, <= 1;
var b588 binary >= 0, <= 1;
var b589 binary >= 0, <= 1;
var b590 binary >= 0, <= 1;
var b591 binary >= 0, <= 1;
var b592 binary >= 0, <= 1;
var b593 binary >= 0, <= 1;
var b594 binary >= 0, <= 1;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var b599 binary >= 0, <= 1;
var b600 binary >= 0, <= 1;
var b601 binary >= 0, <= 1;
var b602 binary >= 0, <= 1;
var b603 binary >= 0, <= 1;
var b604 binary >= 0, <= 1;
var b605 binary >= 0, <= 1;
var b606 binary >= 0, <= 1;
var b607 binary >= 0, <= 1;
var b608 binary >= 0, <= 1;
var b609 binary >= 0, <= 1;
var b610 binary >= 0, <= 1;
var b611 binary >= 0, <= 1;
var b612 binary >= 0, <= 1;
var b613 binary >= 0, <= 1;
var b614 binary >= 0, <= 1;
var b615 binary >= 0, <= 1;
var b616 binary >= 0, <= 1;
var b617 binary >= 0, <= 1;
var b618 binary >= 0, <= 1;
var b619 binary >= 0, <= 1;
var b620 binary >= 0, <= 1;
var b621 binary >= 0, <= 1;
var b622 binary >= 0, <= 1;
var b623 binary >= 0, <= 1;
var b624 binary >= 0, <= 1;
var b625 binary >= 0, <= 1;
var b626 binary >= 0, <= 1;
var b627 binary >= 0, <= 1;
var x628 >= 0, <= 40;
var x629 >= 0, <= 40;
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, <= 30;
var x651 >= 0, <= 30;
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, <= 20;
var x685 >= 0, <= 20;
var x686 >= 0, <= 20;
var x687 >= 0, <= 20;
var x688 >= 0;
var x689 >= 0;
var x690 >= 0;
var x691 >= 0;
var x692 >= 0;
var x693 >= 0;
var x694 >= 0;
var x695 >= 0;
var x696 >= 0;
var x697 >= 0;
var x698 >= 0;
var x699 >= 0;
var x700 >= 0;
var x701 >= 0;
var x702 >= 0;
var x703 >= 0;
var x704 >= 0;
var x705 >= 0;
var x706 >= 0;
var x707 >= 0;
var x708 >= 0;
var x709 >= 0;
var x710 >= 0;
var x711 >= 0;
var x712 >= 0;
var x713 >= 0;
var x714 >= 0;
var x715 >= 0;
var x716 >= 0;
var x717 >= 0;
var x718 >= 0;
var x719 >= 0;
var x720 >= 0;
var x721 >= 0;
var x722 >= 0;
var x723 >= 0;
var x724 >= 0;
var x725 >= 0;
var x726 >= 0;
var x727 >= 0;
var x728 >= 0;
var x729 >= 0;
var x730 >= 0;
var x731 >= 0;
var x732 >= 0;
var x733 >= 0;
var x734 >= 0;
var x735 >= 0;
var x736 >= 0;
var x737 >= 0;
var x738 >= 0;
var x739 >= 0;
var x740 >= 0;
var x741 >= 0;
var x742 >= 0;
var x743 >= 0;
var x744 >= 0;
var x745 >= 0;
var x746 >= 0;
var x747 >= 0;
var x748 >= 0;
var x749 >= 0;
var x750 >= 0;
var x751 >= 0;
var x752 >= 0;
var x753 >= 0;
var x754 >= 0;
var x755 >= 0;
var x756 >= 0;
var x757 >= 0;
var x758 >= 0;
var x759 >= 0;
var x760 >= 0;
var x761 >= 0;
var x762 >= 0;
var x763 >= 0;
var x764 >= 0;
var x765 >= 0;
var x766 >= 0;
var x767 >= 0;
var x768 >= 0;
var x769 >= 0;
var x770 >= 0;
var x771 >= 0;
var x772 >= 0;
var x773 >= 0;
var x774 >= 0;
var x775 >= 0;
var x776 >= 0;
var x777 >= 0;
var x778 >= 0;
var x779 >= 0;
var x780 >= 0;
var x781 >= 0;
var x782 >= 0;
var x783 >= 0;
var x784 >= 0;
var x785 >= 0;
var x786 >= 0;
var x787 >= 0;
var x788 >= 0;
var x789 >= 0;
var x790 >= 0;
var x791 >= 0;
var x792 >= 0;
var x793 >= 0;
var x794 >= 0;
var x795 >= 0;
var x796 >= 0;
var x797 >= 0;
var x798 >= 0;
var x799 >= 0;
var x800 >= 0;
var x801 >= 0;
var x802 >= 0;
var x803 >= 0;
var x804 >= 0;
var x805 >= 0;
var x806 >= 0;
var x807 >= 0;
var x808 >= 0;
var x809 >= 0;
var x810 >= 0;
var x811 >= 0;
var x812 >= 0;
var x813 >= 0;
var x814 >= 0;
var x815 >= 0;
var x816 >= 0;
var x817 >= 0;
var x818 >= 0;
var x819 >= 0;
var x820 >= 0;
var x821 >= 0;
var x822 >= 0;
var x823 >= 0;
var x824 >= 0;
var x825 >= 0;
var x826 >= 0;
var x827 >= 0;
var x828 >= 0;
var x829 >= 0;
var x830 >= 0;
var x831 >= 0;
var x832 >= 0;
var x833 >= 0;
var x834 >= 0;
var x835 >= 0;
var x836 >= 0;
var x837 >= 0;
var x838 >= 0;
var x839 >= 0;
var 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;

maximize obj:  - 20*x2 - 17*x3 - 20*x12 - 21*x13 - 18*x20 - 20*x21 - 16*x44
     - 19*x45 + 26*x52 + 31*x53 + 30*x56 + 29*x57 - 20*x58 - 18*x59 + 2*x64
     + 2*x65 + 3*x66 + 2*x67 + 3*x68 + 3*x69 + 2*x70 + 2*x71 - 6*b566 - 4*b567
     - 40*b568 - 35*b569 - 46*b570 - 39*b571 - 7*b574 - 4*b575 - 30*b576
     - 25*b577 - 37*b578 - 29*b579 - 7*b582 - 5*b583 - 15*b584 - 5*b585
     - 22*b586 - 10*b587 - 11*b590 - 8*b591 - 13*b592 - 8*b593 - 24*b594
     - 16*b595 - 10*b598 - 7*b599 - 13*b600 - 8*b601 - 23*b602 - 15*b603
     - 9*b606 - 9*b607 - 30*b608 - 30*b609 - 39*b610 - 39*b611 - 8*b614
     - 7*b615 - 20*b616 - 15*b617 - 28*b618 - 22*b619 - 8*b622 - 6*b623
     - 15*b624 - 10*b625 - 23*b626 - 16*b627 - x628 - x629 + 5*x640 + 10*x641
     - 2*x650 - x651 + 500*x676 + 600*x677 + 350*x678 + 400*x679 - 10*x684
     - 5*x685 - 5*x686 - 5*x687 + 80*x700 + 130*x701 + 110*x702 + 120*x703
     + 110*x704 + 130*x705 + 80*x706 + 90*x707 - 5*b870 - 4*b871 - 8*b872
     - 7*b873 - 6*b874 - 9*b875 - 10*b876 - 9*b877 - 6*b878 - 10*b879 - 7*b880
     - 7*b881 - 4*b882 - 3*b883 - 5*b884 - 6*b885 - 2*b886 - 5*b887 - 4*b888
     - 7*b889 - 3*b890 - 9*b891 - 7*b892 - 2*b893 - 3*b894 - b895 - 2*b896
     - 6*b897 - 4*b898 - 8*b899;

subject to

e2:    x2 - 0.2*x72 = 0;

e3:    x3 - 0.2*x73 = 0;

e4:    x4 - 0.2*x74 = 0;

e5:    x5 - 0.2*x75 = 0;

e6:    x6 - 0.2*x76 = 0;

e7:    x7 - 0.2*x77 = 0;

e8:    x8 - 0.2*x78 = 0;

e9:    x9 - 0.2*x79 = 0;

e10:    x10 - 0.2*x80 = 0;

e11:    x11 - 0.2*x81 = 0;

e12:    x12 - 0.5*x82 = 0;

e13:    x13 - 0.5*x83 = 0;

e14:    x14 - 0.5*x84 = 0;

e15:    x15 - 0.5*x85 = 0;

e16:    x16 - 0.7*x86 = 0;

e17:    x17 - 0.7*x87 = 0;

e18:    x18 - 0.7*x88 = 0;

e19:    x19 - 0.7*x89 = 0;

e20:    x20 - 1.2*x90 = 0;

e21:    x21 - 1.2*x91 = 0;

e22:    x22 - 1.2*x92 = 0;

e23:    x23 - 1.2*x93 = 0;

e24:    x24 - 0.5*x94 = 0;

e25:    x25 - 0.5*x95 = 0;

e26:    x26 - 0.7*x96 = 0;

e27:    x27 - 0.7*x97 = 0;

e28:    x28 - 1.2*x98 = 0;

e29:    x29 - 1.2*x99 = 0;

e30:    x30 - 1.2*x100 = 0;

e31:    x31 - 1.2*x101 = 0;

e32:    x32 - 1.2*x102 = 0;

e33:    x33 - 1.2*x103 = 0;

e34:    x34 - 1.2*x104 = 0;

e35:    x35 - 1.2*x105 = 0;

e36:    x36 - 0.3*x106 = 0;

e37:    x37 - 0.3*x107 = 0;

e38:    x38 - 0.9*x108 = 0;

e39:    x39 - 0.9*x109 = 0;

e40:    x40 - 0.3*x110 = 0;

e41:    x41 - 0.3*x111 = 0;

e42:    x42 - 0.9*x112 = 0;

e43:    x43 - 0.9*x113 = 0;

e44:    x44 - 0.4*x114 = 0;

e45:    x45 - 0.4*x115 = 0;

e46:    x46 - 0.4*x116 = 0;

e47:    x47 - 0.4*x117 = 0;

e48:    x48 - 0.4*x118 = 0;

e49:    x49 - 0.4*x119 = 0;

e50:    x50 - 1.6*x120 = 0;

e51:    x51 - 1.6*x121 = 0;

e52:    x52 - 1.6*x122 = 0;

e53:    x53 - 1.6*x123 = 0;

e54:    x54 - 1.1*x124 = 0;

e55:    x55 - 1.1*x125 = 0;

e56:    x56 - 1.1*x126 = 0;

e57:    x57 - 1.1*x127 = 0;

e58:    x58 - 0.7*x128 = 0;

e59:    x59 - 0.7*x129 = 0;

e60:    x60 - 0.7*x130 = 0;

e61:    x61 - 0.7*x131 = 0;

e62:    x62 - 0.7*x132 = 0;

e63:    x63 - 0.7*x133 = 0;

e64:    x64 - 0.2*x134 = 0;

e65:    x65 - 0.2*x135 = 0;

e66:    x66 - 0.7*x136 = 0;

e67:    x67 - 0.7*x137 = 0;

e68:    x68 - 0.3*x138 = 0;

e69:    x69 - 0.3*x139 = 0;

e70:    x70 - 0.9*x140 = 0;

e71:    x71 - 0.9*x141 = 0;

e72:    x52 >= 1.2;

e73:    x53 >= 1.15;

e74:    x56 >= 1.2;

e75:    x57 >= 1.15;

e76:    x64 >= 1.1;

e77:    x65 >= 1.1;

e78:    x66 >= 1.1;

e79:    x67 >= 1.1;

e80:    x68 >= 1.4;

e81:    x69 >= 1.3;

e82:    x70 >= 1.3;

e83:    x71 >= 1.2;

e84:    x2 <= 55;

e85:    x3 <= 40;

e86:    x12 <= 46;

e87:    x13 <= 41;

e88:    x20 <= 45;

e89:    x21 <= 62;

e90:    x44 <= 54;

e91:    x45 <= 51;

e92:    x58 <= 40;

e93:    x59 <= 45;

e94:    x2 - x4 - x6 = 0;

e95:    x3 - x5 - x7 = 0;

e96:    x8 - x10 = 0;

e97:    x9 - x11 = 0;

e98:    x12 - x14 + x24 = 0;

e99:    x13 - x15 + x25 = 0;

e100:    x16 - x18 + x26 = 0;

e101:    x17 - x19 + x27 = 0;

e102:    x20 - x22 - x28 = 0;

e103:    x21 - x23 - x29 = 0;

e104:    x30 - x32 - x34 = 0;

e105:    x31 - x33 - x35 = 0;

e106:    x36 - x40 = 0;

e107:    x37 - x41 = 0;

e108:    x38 - x42 = 0;

e109:    x39 - x43 = 0;

e110:    x44 - x46 - x48 = 0;

e111:    x45 - x47 - x49 = 0;

e112:    x50 - x52 = 0;

e113:    x51 - x53 = 0;

e114:    x54 - x56 = 0;

e115:    x55 - x57 = 0;

e116:    x58 - x60 = 0;

e117:    x59 - x61 = 0;

e118:    x4 - x8 - x142 = 0;

e119:    x5 - x9 - x143 = 0;

e120:    x6 + x14 - x16 - x144 = 0;

e121:    x7 + x15 - x17 - x145 = 0;

e122:    x22 - x24 - x26 - x146 = 0;

e123:    x23 - x25 - x27 - x147 = 0;

e124:    x28 - x30 - x148 = 0;

e125:    x29 - x31 - x149 = 0;

e126:    x34 - x36 - x38 - x150 = 0;

e127:    x35 - x37 - x39 - x151 = 0;

e128:    x32 + x46 - x50 - x152 = 0;

e129:    x33 + x47 - x51 - x153 = 0;

e130:    x48 - x54 + x62 - x154 = 0;

e131:    x49 - x55 + x63 - x155 = 0;

e132:    x60 - x62 - x156 = 0;

e133:    x61 - x63 - x157 = 0;

e134:    x76 - x84 <= 0;

e135:    x77 - x85 <= 0;

e136:    x102 - x116 <= 0;

e137:    x103 - x117 <= 0;

e138:    x118 - x132 <= 0;

e139:    x119 - x133 <= 0;

e140:    x78 - x278 - x280 - x282 - x284 = 0;

e141:    x79 - x279 - x281 - x283 - x285 = 0;

e142:    x74 - x262 - x264 - x266 - x268 = 0;

e143:    x75 - x263 - x265 - x267 - x269 = 0;

e144:    x86 - x286 - x288 - x290 - x292 = 0;

e145:    x87 - x287 - x289 - x291 - x293 = 0;

e146:    x76 - x270 - x272 - x274 - x276 = 0;

e147:    x77 - x271 - x273 - x275 - x277 = 0;

e148:    x94 - x302 - x304 - x306 - x308 = 0;

e149:    x95 - x303 - x305 - x307 - x309 = 0;

e150:    x96 - x310 - x312 - x314 - x316 = 0;

e151:    x97 - x311 - x313 - x315 - x317 = 0;

e152:    x92 - x294 - x296 - x298 - x300 = 0;

e153:    x93 - x295 - x297 - x299 - x301 = 0;

e154:    x100 - x326 - x328 - x330 - x332 = 0;

e155:    x101 - x327 - x329 - x331 - x333 = 0;

e156:    x98 - x318 - x320 - x322 - x324 = 0;

e157:    x99 - x319 - x321 - x323 - x325 = 0;

e158:    x106 - x350 - x352 - x354 - x356 = 0;

e159:    x107 - x351 - x353 - x355 - x357 = 0;

e160:    x108 - x358 - x360 - x362 - x364 = 0;

e161:    x109 - x359 - x361 - x363 - x365 = 0;

e162:    x104 - x342 - x344 - x346 - x348 = 0;

e163:    x105 - x343 - x345 - x347 - x349 = 0;

e164:    x120 - x374 - x376 - x378 - x380 = 0;

e165:    x121 - x375 - x377 - x379 - x381 = 0;

e166:    x102 - x334 - x336 - x338 - x340 = 0;

e167:    x103 - x335 - x337 - x339 - x341 = 0;

e168:    x124 - x382 - x384 - x386 - x388 = 0;

e169:    x125 - x383 - x385 - x387 - x389 = 0;

e170:    x118 - x366 - x368 - x370 - x372 = 0;

e171:    x119 - x367 - x369 - x371 - x373 = 0;

e172:    x132 - x398 - x400 - x402 - x404 = 0;

e173:    x133 - x399 - x401 - x403 - x405 = 0;

e174:    x130 - x390 - x392 - x394 - x396 = 0;

e175:    x131 - x391 - x393 - x395 - x397 = 0;

e176:    x278 - 233.75*b500 <= 0;

e177:    x279 - 170*b501 <= 0;

e178:    x280 - 233.75*b502 <= 0;

e179:    x281 - 170*b503 <= 0;

e180:    x282 - 233.75*b504 <= 0;

e181:    x283 - 170*b505 <= 0;

e182:    x284 - 233.75*b506 <= 0;

e183:    x285 - 170*b507 <= 0;

e184:    x286 - 383.5625*b508 <= 0;

e185:    x287 - 316.001666666667*b509 <= 0;

e186:    x288 - 383.5625*b510 <= 0;

e187:    x289 - 316.001666666667*b511 <= 0;

e188:    x290 - 383.5625*b512 <= 0;

e189:    x291 - 316.001666666667*b513 <= 0;

e190:    x292 - 383.5625*b514 <= 0;

e191:    x293 - 316.001666666667*b515 <= 0;

e192:    x302 - 36.75*b516 <= 0;

e193:    x303 - 50.6333333333333*b517 <= 0;

e194:    x304 - 36.75*b518 <= 0;

e195:    x305 - 50.6333333333333*b519 <= 0;

e196:    x306 - 36.75*b520 <= 0;

e197:    x307 - 50.6333333333333*b521 <= 0;

e198:    x308 - 36.75*b522 <= 0;

e199:    x309 - 50.6333333333333*b523 <= 0;

e200:    x310 - 36.75*b516 <= 0;

e201:    x311 - 50.6333333333333*b517 <= 0;

e202:    x312 - 36.75*b518 <= 0;

e203:    x313 - 50.6333333333333*b519 <= 0;

e204:    x314 - 36.75*b520 <= 0;

e205:    x315 - 50.6333333333333*b521 <= 0;

e206:    x316 - 36.75*b522 <= 0;

e207:    x317 - 50.6333333333333*b523 <= 0;

e208:    x326 - 33.75*b524 <= 0;

e209:    x327 - 46.5*b525 <= 0;

e210:    x328 - 33.75*b526 <= 0;

e211:    x329 - 46.5*b527 <= 0;

e212:    x330 - 33.75*b528 <= 0;

e213:    x331 - 46.5*b529 <= 0;

e214:    x332 - 33.75*b530 <= 0;

e215:    x333 - 46.5*b531 <= 0;

e216:    x350 - 32.0625*b532 <= 0;

e217:    x351 - 44.175*b533 <= 0;

e218:    x352 - 32.0625*b534 <= 0;

e219:    x353 - 44.175*b535 <= 0;

e220:    x354 - 32.0625*b536 <= 0;

e221:    x355 - 44.175*b537 <= 0;

e222:    x356 - 32.0625*b538 <= 0;

e223:    x357 - 44.175*b539 <= 0;

e224:    x358 - 32.0625*b532 <= 0;

e225:    x359 - 44.175*b533 <= 0;

e226:    x360 - 32.0625*b534 <= 0;

e227:    x361 - 44.175*b535 <= 0;

e228:    x362 - 32.0625*b536 <= 0;

e229:    x363 - 44.175*b537 <= 0;

e230:    x364 - 32.0625*b538 <= 0;

e231:    x365 - 44.175*b539 <= 0;

e232:    x374 - 143.4375*b540 <= 0;

e233:    x375 - 147.9*b541 <= 0;

e234:    x376 - 143.4375*b542 <= 0;

e235:    x377 - 147.9*b543 <= 0;

e236:    x378 - 143.4375*b544 <= 0;

e237:    x379 - 147.9*b545 <= 0;

e238:    x380 - 143.4375*b546 <= 0;

e239:    x381 - 147.9*b547 <= 0;

e240:    x382 - 178.192857142857*b548 <= 0;

e241:    x383 - 177.310714285714*b549 <= 0;

e242:    x384 - 178.192857142857*b550 <= 0;

e243:    x385 - 177.310714285714*b551 <= 0;

e244:    x386 - 178.192857142857*b552 <= 0;

e245:    x387 - 177.310714285714*b553 <= 0;

e246:    x388 - 178.192857142857*b554 <= 0;

e247:    x389 - 177.310714285714*b555 <= 0;

e248:    x398 - 52.5714285714286*b556 <= 0;

e249:    x399 - 59.1428571428572*b557 <= 0;

e250:    x400 - 52.5714285714286*b558 <= 0;

e251:    x401 - 59.1428571428572*b559 <= 0;

e252:    x402 - 52.5714285714286*b560 <= 0;

e253:    x403 - 59.1428571428572*b561 <= 0;

e254:    x404 - 52.5714285714286*b562 <= 0;

e255:    x405 - 59.1428571428572*b563 <= 0;

e256:    x262 - 275*b500 <= 0;

e257:    x263 - 200*b501 <= 0;

e258:    x264 - 275*b502 <= 0;

e259:    x265 - 200*b503 <= 0;

e260:    x266 - 275*b504 <= 0;

e261:    x267 - 200*b505 <= 0;

e262:    x268 - 275*b506 <= 0;

e263:    x269 - 200*b507 <= 0;

e264:    x270 - 275*b508 <= 0;

e265:    x271 - 200*b509 <= 0;

e266:    x272 - 275*b510 <= 0;

e267:    x273 - 200*b511 <= 0;

e268:    x274 - 275*b512 <= 0;

e269:    x275 - 200*b513 <= 0;

e270:    x276 - 275*b514 <= 0;

e271:    x277 - 200*b515 <= 0;

e272:    x294 - 37.5*b516 <= 0;

e273:    x295 - 51.6666666666667*b517 <= 0;

e274:    x296 - 37.5*b518 <= 0;

e275:    x297 - 51.6666666666667*b519 <= 0;

e276:    x298 - 37.5*b520 <= 0;

e277:    x299 - 51.6666666666667*b521 <= 0;

e278:    x300 - 37.5*b522 <= 0;

e279:    x301 - 51.6666666666667*b523 <= 0;

e280:    x318 - 37.5*b524 <= 0;

e281:    x319 - 51.6666666666667*b525 <= 0;

e282:    x320 - 37.5*b526 <= 0;

e283:    x321 - 51.6666666666667*b527 <= 0;

e284:    x322 - 37.5*b528 <= 0;

e285:    x323 - 51.6666666666667*b529 <= 0;

e286:    x324 - 37.5*b530 <= 0;

e287:    x325 - 51.6666666666667*b531 <= 0;

e288:    x342 - 33.75*b532 <= 0;

e289:    x343 - 46.5*b533 <= 0;

e290:    x344 - 33.75*b534 <= 0;

e291:    x345 - 46.5*b535 <= 0;

e292:    x346 - 33.75*b536 <= 0;

e293:    x347 - 46.5*b537 <= 0;

e294:    x348 - 33.75*b538 <= 0;

e295:    x349 - 46.5*b539 <= 0;

e296:    x334 - 33.75*b540 <= 0;

e297:    x335 - 46.5*b541 <= 0;

e298:    x336 - 33.75*b542 <= 0;

e299:    x337 - 46.5*b543 <= 0;

e300:    x338 - 33.75*b544 <= 0;

e301:    x339 - 46.5*b545 <= 0;

e302:    x340 - 33.75*b546 <= 0;

e303:    x341 - 46.5*b547 <= 0;

e304:    x366 - 135*b548 <= 0;

e305:    x367 - 127.5*b549 <= 0;

e306:    x368 - 135*b550 <= 0;

e307:    x369 - 127.5*b551 <= 0;

e308:    x370 - 135*b552 <= 0;

e309:    x371 - 127.5*b553 <= 0;

e310:    x372 - 135*b554 <= 0;

e311:    x373 - 127.5*b555 <= 0;

e312:    x390 - 57.1428571428571*b556 <= 0;

e313:    x391 - 64.2857142857143*b557 <= 0;

e314:    x392 - 57.1428571428571*b558 <= 0;

e315:    x393 - 64.2857142857143*b559 <= 0;

e316:    x394 - 57.1428571428571*b560 <= 0;

e317:    x395 - 64.2857142857143*b561 <= 0;

e318:    x396 - 57.1428571428571*b562 <= 0;

e319:    x397 - 64.2857142857143*b563 <= 0;

e320:  - 0.8*x262 + x278 = 0;

e321:  - 0.8*x263 + x279 = 0;

e322:  - 0.85*x264 + x280 = 0;

e323:  - 0.85*x265 + x281 = 0;

e324:  - 0.8*x266 + x282 = 0;

e325:  - 0.8*x267 + x283 = 0;

e326:  - 0.85*x268 + x284 = 0;

e327:  - 0.85*x269 + x285 = 0;

e328:  - 0.9*x270 + x286 = 0;

e329:  - 0.9*x271 + x287 = 0;

e330:  - 0.95*x272 + x288 = 0;

e331:  - 0.95*x273 + x289 = 0;

e332:  - 0.9*x274 + x290 = 0;

e333:  - 0.9*x275 + x291 = 0;

e334:  - 0.95*x276 + x292 = 0;

e335:  - 0.95*x277 + x293 = 0;

e336:  - 0.85*x294 + x302 = 0;

e337:  - 0.85*x295 + x303 = 0;

e338:  - 0.98*x296 + x304 = 0;

e339:  - 0.98*x297 + x305 = 0;

e340:  - 0.85*x298 + x306 = 0;

e341:  - 0.85*x299 + x307 = 0;

e342:  - 0.98*x300 + x308 = 0;

e343:  - 0.98*x301 + x309 = 0;

e344:  - 0.85*x294 + x310 = 0;

e345:  - 0.85*x295 + x311 = 0;

e346:  - 0.98*x296 + x312 = 0;

e347:  - 0.98*x297 + x313 = 0;

e348:  - 0.85*x298 + x314 = 0;

e349:  - 0.85*x299 + x315 = 0;

e350:  - 0.98*x300 + x316 = 0;

e351:  - 0.98*x301 + x317 = 0;

e352:  - 0.85*x318 + x326 = 0;

e353:  - 0.85*x319 + x327 = 0;

e354:  - 0.9*x320 + x328 = 0;

e355:  - 0.9*x321 + x329 = 0;

e356:  - 0.85*x322 + x330 = 0;

e357:  - 0.85*x323 + x331 = 0;

e358:  - 0.9*x324 + x332 = 0;

e359:  - 0.9*x325 + x333 = 0;

e360:  - 0.75*x342 + x350 = 0;

e361:  - 0.75*x343 + x351 = 0;

e362:  - 0.95*x344 + x352 = 0;

e363:  - 0.95*x345 + x353 = 0;

e364:  - 0.9*x346 + x354 = 0;

e365:  - 0.9*x347 + x355 = 0;

e366:  - 0.95*x348 + x356 = 0;

e367:  - 0.95*x349 + x357 = 0;

e368:  - 0.75*x342 + x358 = 0;

e369:  - 0.75*x343 + x359 = 0;

e370:  - 0.95*x344 + x360 = 0;

e371:  - 0.95*x345 + x361 = 0;

e372:  - 0.9*x346 + x362 = 0;

e373:  - 0.9*x347 + x363 = 0;

e374:  - 0.95*x348 + x364 = 0;

e375:  - 0.95*x349 + x365 = 0;

e376:  - 0.8*x334 + x374 = 0;

e377:  - 0.8*x335 + x375 = 0;

e378:  - 0.85*x336 + x376 = 0;

e379:  - 0.85*x337 + x377 = 0;

e380:  - 0.8*x338 + x378 = 0;

e381:  - 0.8*x339 + x379 = 0;

e382:  - 0.85*x340 + x380 = 0;

e383:  - 0.85*x341 + x381 = 0;

e384:  - 0.85*x366 + x382 = 0;

e385:  - 0.85*x367 + x383 = 0;

e386:  - 0.95*x368 + x384 = 0;

e387:  - 0.95*x369 + x385 = 0;

e388:  - 0.85*x370 + x386 = 0;

e389:  - 0.85*x371 + x387 = 0;

e390:  - 0.95*x372 + x388 = 0;

e391:  - 0.95*x373 + x389 = 0;

e392:  - 0.8*x390 + x398 = 0;

e393:  - 0.8*x391 + x399 = 0;

e394:  - 0.92*x392 + x400 = 0;

e395:  - 0.92*x393 + x401 = 0;

e396:  - 0.8*x394 + x402 = 0;

e397:  - 0.8*x395 + x403 = 0;

e398:  - 0.92*x396 + x404 = 0;

e399:  - 0.92*x397 + x405 = 0;

e400:    x4 - x174 - x176 - x178 - x180 = 0;

e401:    x5 - x175 - x177 - x179 - x181 = 0;

e402:    x6 - x182 - x184 - x186 - x188 = 0;

e403:    x7 - x183 - x185 - x187 - x189 = 0;

e404:    x14 - x190 - x192 - x194 - x196 = 0;

e405:    x15 - x191 - x193 - x195 - x197 = 0;

e406:    x22 - x198 - x200 - x202 - x204 = 0;

e407:    x23 - x199 - x201 - x203 - x205 = 0;

e408:    x28 - x206 - x208 - x210 - x212 = 0;

e409:    x29 - x207 - x209 - x211 - x213 = 0;

e410:    x34 - x222 - x224 - x226 - x228 = 0;

e411:    x35 - x223 - x225 - x227 - x229 = 0;

e412:    x32 - x214 - x216 - x218 - x220 = 0;

e413:    x33 - x215 - x217 - x219 - x221 = 0;

e414:    x46 - x230 - x232 - x234 - x236 = 0;

e415:    x47 - x231 - x233 - x235 - x237 = 0;

e416:    x48 - x238 - x240 - x242 - x244 = 0;

e417:    x49 - x239 - x241 - x243 - x245 = 0;

e418:    x62 - x254 - x256 - x258 - x260 = 0;

e419:    x63 - x255 - x257 - x259 - x261 = 0;

e420:    x60 - x246 - x248 - x250 - x252 = 0;

e421:    x61 - x247 - x249 - x251 - x253 = 0;

e422:    x174 - 55*b500 <= 0;

e423:    x175 - 40*b501 <= 0;

e424:    x176 - 55*b502 <= 0;

e425:    x177 - 40*b503 <= 0;

e426:    x178 - 55*b504 <= 0;

e427:    x179 - 40*b505 <= 0;

e428:    x180 - 55*b506 <= 0;

e429:    x181 - 40*b507 <= 0;

e430:    x182 - 55*b508 <= 0;

e431:    x183 - 40*b509 <= 0;

e432:    x184 - 55*b510 <= 0;

e433:    x185 - 40*b511 <= 0;

e434:    x186 - 55*b512 <= 0;

e435:    x187 - 40*b513 <= 0;

e436:    x188 - 55*b514 <= 0;

e437:    x189 - 40*b515 <= 0;

e438:    x190 - 91*b508 <= 0;

e439:    x191 - 103*b509 <= 0;

e440:    x192 - 91*b510 <= 0;

e441:    x193 - 103*b511 <= 0;

e442:    x194 - 91*b512 <= 0;

e443:    x195 - 103*b513 <= 0;

e444:    x196 - 91*b514 <= 0;

e445:    x197 - 103*b515 <= 0;

e446:    x198 - 45*b516 <= 0;

e447:    x199 - 62*b517 <= 0;

e448:    x200 - 45*b518 <= 0;

e449:    x201 - 62*b519 <= 0;

e450:    x202 - 45*b520 <= 0;

e451:    x203 - 62*b521 <= 0;

e452:    x204 - 45*b522 <= 0;

e453:    x205 - 62*b523 <= 0;

e454:    x206 - 45*b524 <= 0;

e455:    x207 - 62*b525 <= 0;

e456:    x208 - 45*b526 <= 0;

e457:    x209 - 62*b527 <= 0;

e458:    x210 - 45*b528 <= 0;

e459:    x211 - 62*b529 <= 0;

e460:    x212 - 45*b530 <= 0;

e461:    x213 - 62*b531 <= 0;

e462:    x222 - 45*b532 <= 0;

e463:    x223 - 62*b533 <= 0;

e464:    x224 - 45*b534 <= 0;

e465:    x225 - 62*b535 <= 0;

e466:    x226 - 45*b536 <= 0;

e467:    x227 - 62*b537 <= 0;

e468:    x228 - 45*b538 <= 0;

e469:    x229 - 62*b539 <= 0;

e470:    x214 - 45*b540 <= 0;

e471:    x215 - 62*b541 <= 0;

e472:    x216 - 45*b542 <= 0;

e473:    x217 - 62*b543 <= 0;

e474:    x218 - 45*b544 <= 0;

e475:    x219 - 62*b545 <= 0;

e476:    x220 - 45*b546 <= 0;

e477:    x221 - 62*b547 <= 0;

e478:    x230 - 54*b540 <= 0;

e479:    x231 - 51*b541 <= 0;

e480:    x232 - 54*b542 <= 0;

e481:    x233 - 51*b543 <= 0;

e482:    x234 - 54*b544 <= 0;

e483:    x235 - 51*b545 <= 0;

e484:    x236 - 54*b546 <= 0;

e485:    x237 - 51*b547 <= 0;

e486:    x238 - 54*b548 <= 0;

e487:    x239 - 51*b549 <= 0;

e488:    x240 - 54*b550 <= 0;

e489:    x241 - 51*b551 <= 0;

e490:    x242 - 54*b552 <= 0;

e491:    x243 - 51*b553 <= 0;

e492:    x244 - 54*b554 <= 0;

e493:    x245 - 51*b555 <= 0;

e494:    x254 - 40*b548 <= 0;

e495:    x255 - 45*b549 <= 0;

e496:    x256 - 40*b550 <= 0;

e497:    x257 - 45*b551 <= 0;

e498:    x258 - 40*b552 <= 0;

e499:    x259 - 45*b553 <= 0;

e500:    x260 - 40*b554 <= 0;

e501:    x261 - 45*b555 <= 0;

e502:    x246 - 40*b556 <= 0;

e503:    x247 - 45*b557 <= 0;

e504:    x248 - 40*b558 <= 0;

e505:    x249 - 45*b559 <= 0;

e506:    x250 - 40*b560 <= 0;

e507:    x251 - 45*b561 <= 0;

e508:    x252 - 40*b562 <= 0;

e509:    x253 - 45*b563 <= 0;

e510:    x174 - 10*b500 <= 0;

e511:    x175 - 10*b501 <= 0;

e512:    x176 - 10*b502 <= 0;

e513:    x177 - 10*b503 <= 0;

e514:    x178 - 50*b504 <= 0;

e515:    x179 - 50*b505 <= 0;

e516:    x180 - 50*b506 <= 0;

e517:    x181 - 50*b507 <= 0;

e518:    x182 + x190 - 40*b508 <= 0;

e519:    x183 + x191 - 40*b509 <= 0;

e520:    x184 + x192 - 40*b510 <= 0;

e521:    x185 + x193 - 40*b511 <= 0;

e522:    x186 + x194 - 60*b512 <= 0;

e523:    x187 + x195 - 60*b513 <= 0;

e524:    x188 + x196 - 60*b514 <= 0;

e525:    x189 + x197 - 60*b515 <= 0;

e526:    x198 - 15*b516 <= 0;

e527:    x199 - 15*b517 <= 0;

e528:    x200 - 15*b518 <= 0;

e529:    x201 - 15*b519 <= 0;

e530:    x202 - 25*b520 <= 0;

e531:    x203 - 25*b521 <= 0;

e532:    x204 - 25*b522 <= 0;

e533:    x205 - 25*b523 <= 0;

e534:    x206 - 15*b524 <= 0;

e535:    x207 - 15*b525 <= 0;

e536:    x208 - 15*b526 <= 0;

e537:    x209 - 15*b527 <= 0;

e538:    x210 - 20*b528 <= 0;

e539:    x211 - 20*b529 <= 0;

e540:    x212 - 20*b530 <= 0;

e541:    x213 - 20*b531 <= 0;

e542:    x222 - 10*b532 <= 0;

e543:    x223 - 10*b533 <= 0;

e544:    x224 - 10*b534 <= 0;

e545:    x225 - 10*b535 <= 0;

e546:    x226 - 20*b536 <= 0;

e547:    x227 - 20*b537 <= 0;

e548:    x228 - 20*b538 <= 0;

e549:    x229 - 20*b539 <= 0;

e550:    x214 + x230 - 20*b540 <= 0;

e551:    x215 + x231 - 20*b541 <= 0;

e552:    x216 + x232 - 20*b542 <= 0;

e553:    x217 + x233 - 20*b543 <= 0;

e554:    x218 + x234 - 55*b544 <= 0;

e555:    x219 + x235 - 55*b545 <= 0;

e556:    x220 + x236 - 55*b546 <= 0;

e557:    x221 + x237 - 55*b547 <= 0;

e558:    x238 + x254 - 25*b548 <= 0;

e559:    x239 + x255 - 25*b549 <= 0;

e560:    x240 + x256 - 25*b550 <= 0;

e561:    x241 + x257 - 25*b551 <= 0;

e562:    x242 + x258 - 50*b552 <= 0;

e563:    x243 + x259 - 50*b553 <= 0;

e564:    x244 + x260 - 50*b554 <= 0;

e565:    x245 + x261 - 50*b555 <= 0;

e566:    x246 - 15*b556 <= 0;

e567:    x247 - 15*b557 <= 0;

e568:    x248 - 15*b558 <= 0;

e569:    x249 - 15*b559 <= 0;

e570:    x250 - 35*b560 <= 0;

e571:    x251 - 35*b561 <= 0;

e572:    x252 - 35*b562 <= 0;

e573:    x253 - 35*b563 <= 0;

e574:    x158 - x406 - x408 - x410 - x412 = 0;

e575:    x159 - x407 - x409 - x411 - x413 = 0;

e576:    x160 - x414 - x416 - x418 - x420 = 0;

e577:    x161 - x415 - x417 - x419 - x421 = 0;

e578:    x162 - x422 - x424 - x426 - x428 = 0;

e579:    x163 - x423 - x425 - x427 - x429 = 0;

e580:    x164 - x430 - x432 - x434 - x436 = 0;

e581:    x165 - x431 - x433 - x435 - x437 = 0;

e582:    x166 - x438 - x440 - x442 - x444 = 0;

e583:    x167 - x439 - x441 - x443 - x445 = 0;

e584:    x168 - x446 - x448 - x450 - x452 = 0;

e585:    x169 - x447 - x449 - x451 - x453 = 0;

e586:    x170 - x454 - x456 - x458 - x460 = 0;

e587:    x171 - x455 - x457 - x459 - x461 = 0;

e588:    x172 - x462 - x464 - x466 - x468 = 0;

e589:    x173 - x463 - x465 - x467 - x469 = 0;

e590:    x406 <= 0;

e591:    x407 <= 0;

e592:    x408 - 6*b566 <= 0;

e593:    x409 - 4*b567 <= 0;

e594:    x410 - 40*b568 <= 0;

e595:    x411 - 35*b569 <= 0;

e596:    x412 - 46*b570 <= 0;

e597:    x413 - 39*b571 <= 0;

e598:    x414 <= 0;

e599:    x415 <= 0;

e600:    x416 - 7*b574 <= 0;

e601:    x417 - 4*b575 <= 0;

e602:    x418 - 30*b576 <= 0;

e603:    x419 - 25*b577 <= 0;

e604:    x420 - 37*b578 <= 0;

e605:    x421 - 29*b579 <= 0;

e606:    x422 <= 0;

e607:    x423 <= 0;

e608:    x424 - 7*b582 <= 0;

e609:    x425 - 5*b583 <= 0;

e610:    x426 - 15*b584 <= 0;

e611:    x427 - 5*b585 <= 0;

e612:    x428 - 22*b586 <= 0;

e613:    x429 - 10*b587 <= 0;

e614:    x430 <= 0;

e615:    x431 <= 0;

e616:    x432 - 11*b590 <= 0;

e617:    x433 - 8*b591 <= 0;

e618:    x434 - 13*b592 <= 0;

e619:    x435 - 8*b593 <= 0;

e620:    x436 - 24*b594 <= 0;

e621:    x437 - 16*b595 <= 0;

e622:    x438 <= 0;

e623:    x439 <= 0;

e624:    x440 - 10*b598 <= 0;

e625:    x441 - 7*b599 <= 0;

e626:    x442 - 13*b600 <= 0;

e627:    x443 - 8*b601 <= 0;

e628:    x444 - 23*b602 <= 0;

e629:    x445 - 15*b603 <= 0;

e630:    x446 <= 0;

e631:    x447 <= 0;

e632:    x448 - 9*b606 <= 0;

e633:    x449 - 9*b607 <= 0;

e634:    x450 - 30*b608 <= 0;

e635:    x451 - 30*b609 <= 0;

e636:    x452 - 39*b610 <= 0;

e637:    x453 - 39*b611 <= 0;

e638:    x454 <= 0;

e639:    x455 <= 0;

e640:    x456 - 8*b614 <= 0;

e641:    x457 - 7*b615 <= 0;

e642:    x458 - 20*b616 <= 0;

e643:    x459 - 15*b617 <= 0;

e644:    x460 - 28*b618 <= 0;

e645:    x461 - 22*b619 <= 0;

e646:    x462 <= 0;

e647:    x463 <= 0;

e648:    x464 - 8*b622 <= 0;

e649:    x465 - 6*b623 <= 0;

e650:    x466 - 15*b624 <= 0;

e651:    x467 - 10*b625 <= 0;

e652:    x468 - 23*b626 <= 0;

e653:    x469 - 16*b627 <= 0;

e654:    x406 = 0;

e655:    x407 = 0;

e656:    x408 - 6*b566 = 0;

e657:    x409 - 4*b567 = 0;

e658:    x410 - 40*b568 = 0;

e659:    x411 - 35*b569 = 0;

e660:    x412 - 46*b570 = 0;

e661:    x413 - 39*b571 = 0;

e662:    x414 = 0;

e663:    x415 = 0;

e664:    x416 - 7*b574 = 0;

e665:    x417 - 4*b575 = 0;

e666:    x418 - 30*b576 = 0;

e667:    x419 - 25*b577 = 0;

e668:    x420 - 37*b578 = 0;

e669:    x421 - 29*b579 = 0;

e670:    x422 = 0;

e671:    x423 = 0;

e672:    x424 - 7*b582 = 0;

e673:    x425 - 5*b583 = 0;

e674:    x426 - 15*b584 = 0;

e675:    x427 - 5*b585 = 0;

e676:    x428 - 22*b586 = 0;

e677:    x429 - 10*b587 = 0;

e678:    x430 = 0;

e679:    x431 = 0;

e680:    x432 - 11*b590 = 0;

e681:    x433 - 8*b591 = 0;

e682:    x434 - 13*b592 = 0;

e683:    x435 - 8*b593 = 0;

e684:    x436 - 24*b594 = 0;

e685:    x437 - 16*b595 = 0;

e686:    x438 = 0;

e687:    x439 = 0;

e688:    x440 - 10*b598 = 0;

e689:    x441 - 7*b599 = 0;

e690:    x442 - 13*b600 = 0;

e691:    x443 - 8*b601 = 0;

e692:    x444 - 23*b602 = 0;

e693:    x445 - 15*b603 = 0;

e694:    x446 = 0;

e695:    x447 = 0;

e696:    x448 - 9*b606 = 0;

e697:    x449 - 9*b607 = 0;

e698:    x450 - 30*b608 = 0;

e699:    x451 - 30*b609 = 0;

e700:    x452 - 39*b610 = 0;

e701:    x453 - 39*b611 = 0;

e702:    x454 = 0;

e703:    x455 = 0;

e704:    x456 - 8*b614 = 0;

e705:    x457 - 7*b615 = 0;

e706:    x458 - 20*b616 = 0;

e707:    x459 - 15*b617 = 0;

e708:    x460 - 28*b618 = 0;

e709:    x461 - 22*b619 = 0;

e710:    x462 = 0;

e711:    x463 = 0;

e712:    x464 - 8*b622 = 0;

e713:    x465 - 6*b623 = 0;

e714:    x466 - 15*b624 = 0;

e715:    x467 - 10*b625 = 0;

e716:    x468 - 23*b626 = 0;

e717:    x469 - 16*b627 = 0;

e718:    20*x2 + 20*x12 + 18*x20 + 16*x44 + 20*x58 + x158 + x160 + x162 + x164
       + x166 + x168 + x170 + x172 <= 4000;

e719:    17*x3 + 21*x13 + 20*x21 + 19*x45 + 18*x59 + x159 + x161 + x163 + x165
       + x167 + x169 + x171 + x173 <= 3800;

e720:    b500 + b502 + b504 + b506 = 1;

e721:    b501 + b503 + b505 + b507 = 1;

e722:    b508 + b510 + b512 + b514 = 1;

e723:    b509 + b511 + b513 + b515 = 1;

e724:    b516 + b518 + b520 + b522 = 1;

e725:    b517 + b519 + b521 + b523 = 1;

e726:    b524 + b526 + b528 + b530 = 1;

e727:    b525 + b527 + b529 + b531 = 1;

e728:    b532 + b534 + b536 + b538 = 1;

e729:    b533 + b535 + b537 + b539 = 1;

e730:    b540 + b542 + b544 + b546 = 1;

e731:    b541 + b543 + b545 + b547 = 1;

e732:    b548 + b550 + b552 + b554 = 1;

e733:    b549 + b551 + b553 + b555 = 1;

e734:    b556 + b558 + b560 + b562 = 1;

e735:    b557 + b559 + b561 + b563 = 1;

e736:    b564 + b566 + b568 + b570 = 1;

e737:    b565 + b567 + b569 + b571 = 1;

e738:    b572 + b574 + b576 + b578 = 1;

e739:    b573 + b575 + b577 + b579 = 1;

e740:    b580 + b582 + b584 + b586 = 1;

e741:    b581 + b583 + b585 + b587 = 1;

e742:    b588 + b590 + b592 + b594 = 1;

e743:    b589 + b591 + b593 + b595 = 1;

e744:    b596 + b598 + b600 + b602 = 1;

e745:    b597 + b599 + b601 + b603 = 1;

e746:    b604 + b606 + b608 + b610 = 1;

e747:    b605 + b607 + b609 + b611 = 1;

e748:    b612 + b614 + b616 + b618 = 1;

e749:    b613 + b615 + b617 + b619 = 1;

e750:    b620 + b622 + b624 + b626 = 1;

e751:    b621 + b623 + b625 + b627 = 1;

e752:    b502 - b503 <= 0;

e753:    b504 - b505 <= 0;

e754:    b506 - b507 <= 0;

e755:    b510 - b511 <= 0;

e756:    b512 - b513 <= 0;

e757:    b514 - b515 <= 0;

e758:    b518 - b519 <= 0;

e759:    b520 - b521 <= 0;

e760:    b522 - b523 <= 0;

e761:    b526 - b527 <= 0;

e762:    b528 - b529 <= 0;

e763:    b530 - b531 <= 0;

e764:    b534 - b535 <= 0;

e765:    b536 - b537 <= 0;

e766:    b538 - b539 <= 0;

e767:    b542 - b543 <= 0;

e768:    b544 - b545 <= 0;

e769:    b546 - b547 <= 0;

e770:    b550 - b551 <= 0;

e771:    b552 - b553 <= 0;

e772:    b554 - b555 <= 0;

e773:    b558 - b559 <= 0;

e774:    b560 - b561 <= 0;

e775:    b562 - b563 <= 0;

e776:  - b565 + b566 <= 0;

e777:  - b564 + b567 <= 0;

e778:  - b565 + b568 <= 0;

e779:  - b564 + b569 <= 0;

e780:  - b565 + b570 <= 0;

e781:  - b564 + b571 <= 0;

e782:  - b573 + b574 <= 0;

e783:  - b572 + b575 <= 0;

e784:  - b573 + b576 <= 0;

e785:  - b572 + b577 <= 0;

e786:  - b573 + b578 <= 0;

e787:  - b572 + b579 <= 0;

e788:  - b581 + b582 <= 0;

e789:  - b580 + b583 <= 0;

e790:  - b581 + b584 <= 0;

e791:  - b580 + b585 <= 0;

e792:  - b581 + b586 <= 0;

e793:  - b580 + b587 <= 0;

e794:  - b589 + b590 <= 0;

e795:  - b588 + b591 <= 0;

e796:  - b589 + b592 <= 0;

e797:  - b588 + b593 <= 0;

e798:  - b589 + b594 <= 0;

e799:  - b588 + b595 <= 0;

e800:  - b597 + b598 <= 0;

e801:  - b596 + b599 <= 0;

e802:  - b597 + b600 <= 0;

e803:  - b596 + b601 <= 0;

e804:  - b597 + b602 <= 0;

e805:  - b596 + b603 <= 0;

e806:  - b605 + b606 <= 0;

e807:  - b604 + b607 <= 0;

e808:  - b605 + b608 <= 0;

e809:  - b604 + b609 <= 0;

e810:  - b605 + b610 <= 0;

e811:  - b604 + b611 <= 0;

e812:  - b613 + b614 <= 0;

e813:  - b612 + b615 <= 0;

e814:  - b613 + b616 <= 0;

e815:  - b612 + b617 <= 0;

e816:  - b613 + b618 <= 0;

e817:  - b612 + b619 <= 0;

e818:  - b621 + b622 <= 0;

e819:  - b620 + b623 <= 0;

e820:  - b621 + b624 <= 0;

e821:  - b620 + b625 <= 0;

e822:  - b621 + b626 <= 0;

e823:  - b620 + b627 <= 0;

e824:    b500 - b564 <= 0;

e825:    b501 - b565 <= 0;

e826:    b508 - b572 <= 0;

e827:    b509 - b573 <= 0;

e828:    b516 - b580 <= 0;

e829:    b517 - b581 <= 0;

e830:    b524 - b588 <= 0;

e831:    b525 - b589 <= 0;

e832:    b532 - b596 <= 0;

e833:    b533 - b597 <= 0;

e834:    b540 - b604 <= 0;

e835:    b541 - b605 <= 0;

e836:    b548 - b612 <= 0;

e837:    b549 - b613 <= 0;

e838:    b556 - b620 <= 0;

e839:    b557 - b621 <= 0;

e840:    b502 - b566 <= 0;

e841:  - b502 + b503 - b567 <= 0;

e842:    b504 - b568 <= 0;

e843:  - b504 + b505 - b569 <= 0;

e844:    b506 - b570 <= 0;

e845:  - b506 + b507 - b571 <= 0;

e846:    b510 - b574 <= 0;

e847:  - b510 + b511 - b575 <= 0;

e848:    b512 - b576 <= 0;

e849:  - b512 + b513 - b577 <= 0;

e850:    b514 - b578 <= 0;

e851:  - b514 + b515 - b579 <= 0;

e852:    b518 - b582 <= 0;

e853:  - b518 + b519 - b583 <= 0;

e854:    b520 - b584 <= 0;

e855:  - b520 + b521 - b585 <= 0;

e856:    b522 - b586 <= 0;

e857:  - b522 + b523 - b587 <= 0;

e858:    b526 - b590 <= 0;

e859:  - b526 + b527 - b591 <= 0;

e860:    b528 - b592 <= 0;

e861:  - b528 + b529 - b593 <= 0;

e862:    b530 - b594 <= 0;

e863:  - b530 + b531 - b595 <= 0;

e864:    b534 - b598 <= 0;

e865:  - b534 + b535 - b599 <= 0;

e866:    b536 - b600 <= 0;

e867:  - b536 + b537 - b601 <= 0;

e868:    b538 - b602 <= 0;

e869:  - b538 + b539 - b603 <= 0;

e870:    b542 - b606 <= 0;

e871:  - b542 + b543 - b607 <= 0;

e872:    b544 - b608 <= 0;

e873:  - b544 + b545 - b609 <= 0;

e874:    b546 - b610 <= 0;

e875:  - b546 + b547 - b611 <= 0;

e876:    b550 - b614 <= 0;

e877:  - b550 + b551 - b615 <= 0;

e878:    b552 - b616 <= 0;

e879:  - b552 + b553 - b617 <= 0;

e880:    b554 - b618 <= 0;

e881:  - b554 + b555 - b619 <= 0;

e882:    b558 - b622 <= 0;

e883:  - b558 + b559 - b623 <= 0;

e884:    b560 - b624 <= 0;

e885:  - b560 + b561 - b625 <= 0;

e886:    b562 - b626 <= 0;

e887:  - b562 + b563 - b627 <= 0;

e888:    x10 - x64 - x628 = 0;

e889:    x11 - x65 - x629 = 0;

e890:    x18 - x66 - x650 = 0;

e891:    x19 - x67 - x651 = 0;

e892:    x40 - x68 - x684 = 0;

e893:    x41 - x69 - x685 = 0;

e894:    x42 - x70 - x686 = 0;

e895:    x43 - x71 - x687 = 0;

e896:    x628 - x630 - x632 = 0;

e897:    x629 - x631 - x633 = 0;

e898:  - x634 - x636 + x638 = 0;

e899:  - x635 - x637 + x639 = 0;

e900:    x638 - x640 - x642 = 0;

e901:    x639 - x641 - x643 = 0;

e902:    x642 - x644 - x646 - x648 = 0;

e903:    x643 - x645 - x647 - x649 = 0;

e904:    x652 - x658 - x660 = 0;

e905:    x653 - x659 - x661 = 0;

e906:    x656 - x662 - x664 - x666 = 0;

e907:    x657 - x663 - x665 - x667 = 0;

e908:    x672 - x680 - x682 = 0;

e909:    x673 - x681 - x683 = 0;

e910:  - x674 - x686 + x688 = 0;

e911:  - x675 - x687 + x689 = 0;

e912:    x676 - x690 - x692 = 0;

e913:    x677 - x691 - x693 = 0;

e914:    x678 - x694 - x696 - x698 = 0;

e915:    x679 - x695 - x697 - x699 = 0;

e916: (x716/(0.001 + 0.999*b840) - log(1 + x708/(0.001 + 0.999*b840)))*(0.001
       + 0.999*b840) <= 0;

e917: (x717/(0.001 + 0.999*b841) - log(1 + x709/(0.001 + 0.999*b841)))*(0.001
       + 0.999*b841) <= 0;

e918:    x710 = 0;

e919:    x711 = 0;

e920:    x718 = 0;

e921:    x719 = 0;

e922:    x630 - x708 - x710 = 0;

e923:    x631 - x709 - x711 = 0;

e924:    x634 - x716 - x718 = 0;

e925:    x635 - x717 - x719 = 0;

e926:    x708 - 40*b840 <= 0;

e927:    x709 - 40*b841 <= 0;

e928:    x710 + 40*b840 <= 40;

e929:    x711 + 40*b841 <= 40;

e930:    x716 - 3.71357206670431*b840 <= 0;

e931:    x717 - 3.71357206670431*b841 <= 0;

e932:    x718 + 3.71357206670431*b840 <= 3.71357206670431;

e933:    x719 + 3.71357206670431*b841 <= 3.71357206670431;

e934: (x720/(0.001 + 0.999*b842) - 1.2*log(1 + x712/(0.001 + 0.999*b842)))*(
      0.001 + 0.999*b842) <= 0;

e935: (x721/(0.001 + 0.999*b843) - 1.2*log(1 + x713/(0.001 + 0.999*b843)))*(
      0.001 + 0.999*b843) <= 0;

e936:    x714 = 0;

e937:    x715 = 0;

e938:    x722 = 0;

e939:    x723 = 0;

e940:    x632 - x712 - x714 = 0;

e941:    x633 - x713 - x715 = 0;

e942:    x636 - x720 - x722 = 0;

e943:    x637 - x721 - x723 = 0;

e944:    x712 - 40*b842 <= 0;

e945:    x713 - 40*b843 <= 0;

e946:    x714 + 40*b842 <= 40;

e947:    x715 + 40*b843 <= 40;

e948:    x720 - 4.45628648004517*b842 <= 0;

e949:    x721 - 4.45628648004517*b843 <= 0;

e950:    x722 + 4.45628648004517*b842 <= 4.45628648004517;

e951:    x723 + 4.45628648004517*b843 <= 4.45628648004517;

e952:  - 0.75*x724 + x740 = 0;

e953:  - 0.75*x725 + x741 = 0;

e954:    x726 = 0;

e955:    x727 = 0;

e956:    x742 = 0;

e957:    x743 = 0;

e958:    x644 - x724 - x726 = 0;

e959:    x645 - x725 - x727 = 0;

e960:    x652 - x740 - x742 = 0;

e961:    x653 - x741 - x743 = 0;

e962:    x724 - 4.45628648004517*b844 <= 0;

e963:    x725 - 4.45628648004517*b845 <= 0;

e964:    x726 + 4.45628648004517*b844 <= 4.45628648004517;

e965:    x727 + 4.45628648004517*b845 <= 4.45628648004517;

e966:    x740 - 3.34221486003388*b844 <= 0;

e967:    x741 - 3.34221486003388*b845 <= 0;

e968:    x742 + 3.34221486003388*b844 <= 3.34221486003388;

e969:    x743 + 3.34221486003388*b845 <= 3.34221486003388;

e970: (x744/(0.001 + 0.999*b846) - 1.5*log(1 + x728/(0.001 + 0.999*b846)))*(
      0.001 + 0.999*b846) <= 0;

e971: (x745/(0.001 + 0.999*b847) - 1.5*log(1 + x729/(0.001 + 0.999*b847)))*(
      0.001 + 0.999*b847) <= 0;

e972:    x730 = 0;

e973:    x731 = 0;

e974:    x748 = 0;

e975:    x749 = 0;

e976:    x646 - x728 - x730 = 0;

e977:    x647 - x729 - x731 = 0;

e978:    x654 - x744 - x748 = 0;

e979:    x655 - x745 - x749 = 0;

e980:    x728 - 4.45628648004517*b846 <= 0;

e981:    x729 - 4.45628648004517*b847 <= 0;

e982:    x730 + 4.45628648004517*b846 <= 4.45628648004517;

e983:    x731 + 4.45628648004517*b847 <= 4.45628648004517;

e984:    x744 - 2.54515263975353*b846 <= 0;

e985:    x745 - 2.54515263975353*b847 <= 0;

e986:    x748 + 2.54515263975353*b846 <= 2.54515263975353;

e987:    x749 + 2.54515263975353*b847 <= 2.54515263975353;

e988:  - x732 + x752 = 0;

e989:  - x733 + x753 = 0;

e990:  - 0.5*x736 + x752 = 0;

e991:  - 0.5*x737 + x753 = 0;

e992:    x734 = 0;

e993:    x735 = 0;

e994:    x738 = 0;

e995:    x739 = 0;

e996:    x754 = 0;

e997:    x755 = 0;

e998:    x648 - x732 - x734 = 0;

e999:    x649 - x733 - x735 = 0;

e1000:    x650 - x736 - x738 = 0;

e1001:    x651 - x737 - x739 = 0;

e1002:    x656 - x752 - x754 = 0;

e1003:    x657 - x753 - x755 = 0;

e1004:    x732 - 4.45628648004517*b848 <= 0;

e1005:    x733 - 4.45628648004517*b849 <= 0;

e1006:    x734 + 4.45628648004517*b848 <= 4.45628648004517;

e1007:    x735 + 4.45628648004517*b849 <= 4.45628648004517;

e1008:    x736 - 30*b848 <= 0;

e1009:    x737 - 30*b849 <= 0;

e1010:    x738 + 30*b848 <= 30;

e1011:    x739 + 30*b849 <= 30;

e1012:    x752 - 15*b848 <= 0;

e1013:    x753 - 15*b849 <= 0;

e1014:    x754 + 15*b848 <= 15;

e1015:    x755 + 15*b849 <= 15;

e1016: (x776/(0.001 + 0.999*b850) - 1.25*log(1 + x756/(0.001 + 0.999*b850)))*(
       0.001 + 0.999*b850) <= 0;

e1017: (x777/(0.001 + 0.999*b851) - 1.25*log(1 + x757/(0.001 + 0.999*b851)))*(
       0.001 + 0.999*b851) <= 0;

e1018:    x758 = 0;

e1019:    x759 = 0;

e1020:    x780 = 0;

e1021:    x781 = 0;

e1022:    x658 - x756 - x758 = 0;

e1023:    x659 - x757 - x759 = 0;

e1024:    x668 - x776 - x780 = 0;

e1025:    x669 - x777 - x781 = 0;

e1026:    x756 - 3.34221486003388*b850 <= 0;

e1027:    x757 - 3.34221486003388*b851 <= 0;

e1028:    x758 + 3.34221486003388*b850 <= 3.34221486003388;

e1029:    x759 + 3.34221486003388*b851 <= 3.34221486003388;

e1030:    x776 - 1.83548069293539*b850 <= 0;

e1031:    x777 - 1.83548069293539*b851 <= 0;

e1032:    x780 + 1.83548069293539*b850 <= 1.83548069293539;

e1033:    x781 + 1.83548069293539*b851 <= 1.83548069293539;

e1034: (x784/(0.001 + 0.999*b852) - 0.9*log(1 + x760/(0.001 + 0.999*b852)))*(
       0.001 + 0.999*b852) <= 0;

e1035: (x785/(0.001 + 0.999*b853) - 0.9*log(1 + x761/(0.001 + 0.999*b853)))*(
       0.001 + 0.999*b853) <= 0;

e1036:    x762 = 0;

e1037:    x763 = 0;

e1038:    x788 = 0;

e1039:    x789 = 0;

e1040:    x660 - x760 - x762 = 0;

e1041:    x661 - x761 - x763 = 0;

e1042:    x670 - x784 - x788 = 0;

e1043:    x671 - x785 - x789 = 0;

e1044:    x760 - 3.34221486003388*b852 <= 0;

e1045:    x761 - 3.34221486003388*b853 <= 0;

e1046:    x762 + 3.34221486003388*b852 <= 3.34221486003388;

e1047:    x763 + 3.34221486003388*b853 <= 3.34221486003388;

e1048:    x784 - 1.32154609891348*b852 <= 0;

e1049:    x785 - 1.32154609891348*b853 <= 0;

e1050:    x788 + 1.32154609891348*b852 <= 1.32154609891348;

e1051:    x789 + 1.32154609891348*b853 <= 1.32154609891348;

e1052: (x792/(0.001 + 0.999*b854) - log(1 + x746/(0.001 + 0.999*b854)))*(0.001
        + 0.999*b854) <= 0;

e1053: (x793/(0.001 + 0.999*b855) - log(1 + x747/(0.001 + 0.999*b855)))*(0.001
        + 0.999*b855) <= 0;

e1054:    x750 = 0;

e1055:    x751 = 0;

e1056:    x794 = 0;

e1057:    x795 = 0;

e1058:    x654 - x746 - x750 = 0;

e1059:    x655 - x747 - x751 = 0;

e1060:    x672 - x792 - x794 = 0;

e1061:    x673 - x793 - x795 = 0;

e1062:    x746 - 2.54515263975353*b854 <= 0;

e1063:    x747 - 2.54515263975353*b855 <= 0;

e1064:    x750 + 2.54515263975353*b854 <= 2.54515263975353;

e1065:    x751 + 2.54515263975353*b855 <= 2.54515263975353;

e1066:    x792 - 1.26558121681553*b854 <= 0;

e1067:    x793 - 1.26558121681553*b855 <= 0;

e1068:    x794 + 1.26558121681553*b854 <= 1.26558121681553;

e1069:    x795 + 1.26558121681553*b855 <= 1.26558121681553;

e1070:  - 0.9*x764 + x796 = 0;

e1071:  - 0.9*x765 + x797 = 0;

e1072:    x766 = 0;

e1073:    x767 = 0;

e1074:    x798 = 0;

e1075:    x799 = 0;

e1076:    x662 - x764 - x766 = 0;

e1077:    x663 - x765 - x767 = 0;

e1078:    x674 - x796 - x798 = 0;

e1079:    x675 - x797 - x799 = 0;

e1080:    x764 - 15*b856 <= 0;

e1081:    x765 - 15*b857 <= 0;

e1082:    x766 + 15*b856 <= 15;

e1083:    x767 + 15*b857 <= 15;

e1084:    x796 - 13.5*b856 <= 0;

e1085:    x797 - 13.5*b857 <= 0;

e1086:    x798 + 13.5*b856 <= 13.5;

e1087:    x799 + 13.5*b857 <= 13.5;

e1088:  - 0.6*x768 + x800 = 0;

e1089:  - 0.6*x769 + x801 = 0;

e1090:    x770 = 0;

e1091:    x771 = 0;

e1092:    x802 = 0;

e1093:    x803 = 0;

e1094:    x664 - x768 - x770 = 0;

e1095:    x665 - x769 - x771 = 0;

e1096:    x676 - x800 - x802 = 0;

e1097:    x677 - x801 - x803 = 0;

e1098:    x768 - 15*b858 <= 0;

e1099:    x769 - 15*b859 <= 0;

e1100:    x770 + 15*b858 <= 15;

e1101:    x771 + 15*b859 <= 15;

e1102:    x800 - 9*b858 <= 0;

e1103:    x801 - 9*b859 <= 0;

e1104:    x802 + 9*b858 <= 9;

e1105:    x803 + 9*b859 <= 9;

e1106: (x804/(0.001 + 0.999*b860) - 1.1*log(1 + x772/(0.001 + 0.999*b860)))*(
       0.001 + 0.999*b860) <= 0;

e1107: (x805/(0.001 + 0.999*b861) - 1.1*log(1 + x773/(0.001 + 0.999*b861)))*(
       0.001 + 0.999*b861) <= 0;

e1108:    x774 = 0;

e1109:    x775 = 0;

e1110:    x806 = 0;

e1111:    x807 = 0;

e1112:    x666 - x772 - x774 = 0;

e1113:    x667 - x773 - x775 = 0;

e1114:    x678 - x804 - x806 = 0;

e1115:    x679 - x805 - x807 = 0;

e1116:    x772 - 15*b860 <= 0;

e1117:    x773 - 15*b861 <= 0;

e1118:    x774 + 15*b860 <= 15;

e1119:    x775 + 15*b861 <= 15;

e1120:    x804 - 3.04984759446376*b860 <= 0;

e1121:    x805 - 3.04984759446376*b861 <= 0;

e1122:    x806 + 3.04984759446376*b860 <= 3.04984759446376;

e1123:    x807 + 3.04984759446376*b861 <= 3.04984759446376;

e1124:  - 0.9*x778 + x824 = 0;

e1125:  - 0.9*x779 + x825 = 0;

e1126:  - x816 + x824 = 0;

e1127:  - x817 + x825 = 0;

e1128:    x782 = 0;

e1129:    x783 = 0;

e1130:    x818 = 0;

e1131:    x819 = 0;

e1132:    x826 = 0;

e1133:    x827 = 0;

e1134:    x668 - x778 - x782 = 0;

e1135:    x669 - x779 - x783 = 0;

e1136:    x684 - x816 - x818 = 0;

e1137:    x685 - x817 - x819 = 0;

e1138:    x700 - x824 - x826 = 0;

e1139:    x701 - x825 - x827 = 0;

e1140:    x778 - 1.83548069293539*b862 <= 0;

e1141:    x779 - 1.83548069293539*b863 <= 0;

e1142:    x782 + 1.83548069293539*b862 <= 1.83548069293539;

e1143:    x783 + 1.83548069293539*b863 <= 1.83548069293539;

e1144:    x816 - 20*b862 <= 0;

e1145:    x817 - 20*b863 <= 0;

e1146:    x818 + 20*b862 <= 20;

e1147:    x819 + 20*b863 <= 20;

e1148:    x824 - 20*b862 <= 0;

e1149:    x825 - 20*b863 <= 0;

e1150:    x826 + 20*b862 <= 20;

e1151:    x827 + 20*b863 <= 20;

e1152: (x828/(0.001 + 0.999*b864) - log(1 + x786/(0.001 + 0.999*b864)))*(0.001
        + 0.999*b864) <= 0;

e1153: (x829/(0.001 + 0.999*b865) - log(1 + x787/(0.001 + 0.999*b865)))*(0.001
        + 0.999*b865) <= 0;

e1154:    x790 = 0;

e1155:    x791 = 0;

e1156:    x830 = 0;

e1157:    x831 = 0;

e1158:    x670 - x786 - x790 = 0;

e1159:    x671 - x787 - x791 = 0;

e1160:    x702 - x828 - x830 = 0;

e1161:    x703 - x829 - x831 = 0;

e1162:    x786 - 1.32154609891348*b864 <= 0;

e1163:    x787 - 1.32154609891348*b865 <= 0;

e1164:    x790 + 1.32154609891348*b864 <= 1.32154609891348;

e1165:    x791 + 1.32154609891348*b865 <= 1.32154609891348;

e1166:    x828 - 0.842233385663186*b864 <= 0;

e1167:    x829 - 0.842233385663186*b865 <= 0;

e1168:    x830 + 0.842233385663186*b864 <= 0.842233385663186;

e1169:    x831 + 0.842233385663186*b865 <= 0.842233385663186;

e1170: (x832/(0.001 + 0.999*b866) - 0.7*log(1 + x808/(0.001 + 0.999*b866)))*(
       0.001 + 0.999*b866) <= 0;

e1171: (x833/(0.001 + 0.999*b867) - 0.7*log(1 + x809/(0.001 + 0.999*b867)))*(
       0.001 + 0.999*b867) <= 0;

e1172:    x810 = 0;

e1173:    x811 = 0;

e1174:    x834 = 0;

e1175:    x835 = 0;

e1176:    x680 - x808 - x810 = 0;

e1177:    x681 - x809 - x811 = 0;

e1178:    x704 - x832 - x834 = 0;

e1179:    x705 - x833 - x835 = 0;

e1180:    x808 - 1.26558121681553*b866 <= 0;

e1181:    x809 - 1.26558121681553*b867 <= 0;

e1182:    x810 + 1.26558121681553*b866 <= 1.26558121681553;

e1183:    x811 + 1.26558121681553*b867 <= 1.26558121681553;

e1184:    x832 - 0.572481933717686*b866 <= 0;

e1185:    x833 - 0.572481933717686*b867 <= 0;

e1186:    x834 + 0.572481933717686*b866 <= 0.572481933717686;

e1187:    x835 + 0.572481933717686*b867 <= 0.572481933717686;

e1188: (x836/(0.001 + 0.999*b868) - 0.65*log(1 + x812/(0.001 + 0.999*b868)))*(
       0.001 + 0.999*b868) <= 0;

e1189: (x837/(0.001 + 0.999*b869) - 0.65*log(1 + x813/(0.001 + 0.999*b869)))*(
       0.001 + 0.999*b869) <= 0;

e1190: (x836/(0.001 + 0.999*b868) - 0.65*log(1 + x820/(0.001 + 0.999*b868)))*(
       0.001 + 0.999*b868) <= 0;

e1191: (x837/(0.001 + 0.999*b869) - 0.65*log(1 + x821/(0.001 + 0.999*b869)))*(
       0.001 + 0.999*b869) <= 0;

e1192:    x814 = 0;

e1193:    x815 = 0;

e1194:    x822 = 0;

e1195:    x823 = 0;

e1196:    x838 = 0;

e1197:    x839 = 0;

e1198:    x682 - x812 - x814 = 0;

e1199:    x683 - x813 - x815 = 0;

e1200:    x688 - x820 - x822 = 0;

e1201:    x689 - x821 - x823 = 0;

e1202:    x706 - x836 - x838 = 0;

e1203:    x707 - x837 - x839 = 0;

e1204:    x812 - 1.26558121681553*b868 <= 0;

e1205:    x813 - 1.26558121681553*b869 <= 0;

e1206:    x814 + 1.26558121681553*b868 <= 1.26558121681553;

e1207:    x815 + 1.26558121681553*b869 <= 1.26558121681553;

e1208:    x820 - 33.5*b868 <= 0;

e1209:    x821 - 33.5*b869 <= 0;

e1210:    x822 + 33.5*b868 <= 33.5;

e1211:    x823 + 33.5*b869 <= 33.5;

e1212:    x836 - 2.30162356062425*b868 <= 0;

e1213:    x837 - 2.30162356062425*b869 <= 0;

e1214:    x838 + 2.30162356062425*b868 <= 2.30162356062425;

e1215:    x839 + 2.30162356062425*b869 <= 2.30162356062425;

e1216:    x470 + 5*b870 = 0;

e1217:    x471 + 4*b871 = 0;

e1218:    x472 + 8*b872 = 0;

e1219:    x473 + 7*b873 = 0;

e1220:    x474 + 6*b874 = 0;

e1221:    x475 + 9*b875 = 0;

e1222:    x476 + 10*b876 = 0;

e1223:    x477 + 9*b877 = 0;

e1224:    x478 + 6*b878 = 0;

e1225:    x479 + 10*b879 = 0;

e1226:    x480 + 7*b880 = 0;

e1227:    x481 + 7*b881 = 0;

e1228:    x482 + 4*b882 = 0;

e1229:    x483 + 3*b883 = 0;

e1230:    x484 + 5*b884 = 0;

e1231:    x485 + 6*b885 = 0;

e1232:    x486 + 2*b886 = 0;

e1233:    x487 + 5*b887 = 0;

e1234:    x488 + 4*b888 = 0;

e1235:    x489 + 7*b889 = 0;

e1236:    x490 + 3*b890 = 0;

e1237:    x491 + 9*b891 = 0;

e1238:    x492 + 7*b892 = 0;

e1239:    x493 + 2*b893 = 0;

e1240:    x494 + 3*b894 = 0;

e1241:    x495 + b895 = 0;

e1242:    x496 + 2*b896 = 0;

e1243:    x497 + 6*b897 = 0;

e1244:    x498 + 4*b898 = 0;

e1245:    x499 + 8*b899 = 0;

e1246:    b840 - b841 <= 0;

e1247:    b842 - b843 <= 0;

e1248:    b844 - b845 <= 0;

e1249:    b846 - b847 <= 0;

e1250:    b848 - b849 <= 0;

e1251:    b850 - b851 <= 0;

e1252:    b852 - b853 <= 0;

e1253:    b854 - b855 <= 0;

e1254:    b856 - b857 <= 0;

e1255:    b858 - b859 <= 0;

e1256:    b860 - b861 <= 0;

e1257:    b862 - b863 <= 0;

e1258:    b864 - b865 <= 0;

e1259:    b866 - b867 <= 0;

e1260:    b868 - b869 <= 0;

e1261:    b870 + b871 <= 1;

e1262:    b870 + b871 <= 1;

e1263:    b872 + b873 <= 1;

e1264:    b872 + b873 <= 1;

e1265:    b874 + b875 <= 1;

e1266:    b874 + b875 <= 1;

e1267:    b876 + b877 <= 1;

e1268:    b876 + b877 <= 1;

e1269:    b878 + b879 <= 1;

e1270:    b878 + b879 <= 1;

e1271:    b880 + b881 <= 1;

e1272:    b880 + b881 <= 1;

e1273:    b882 + b883 <= 1;

e1274:    b882 + b883 <= 1;

e1275:    b884 + b885 <= 1;

e1276:    b884 + b885 <= 1;

e1277:    b886 + b887 <= 1;

e1278:    b886 + b887 <= 1;

e1279:    b888 + b889 <= 1;

e1280:    b888 + b889 <= 1;

e1281:    b890 + b891 <= 1;

e1282:    b890 + b891 <= 1;

e1283:    b892 + b893 <= 1;

e1284:    b892 + b893 <= 1;

e1285:    b894 + b895 <= 1;

e1286:    b894 + b895 <= 1;

e1287:    b896 + b897 <= 1;

e1288:    b896 + b897 <= 1;

e1289:    b898 + b899 <= 1;

e1290:    b898 + b899 <= 1;

e1291:    b840 - b870 <= 0;

e1292:  - b840 + b841 - b871 <= 0;

e1293:    b842 - b872 <= 0;

e1294:  - b842 + b843 - b873 <= 0;

e1295:    b844 - b874 <= 0;

e1296:  - b844 + b845 - b875 <= 0;

e1297:    b846 - b876 <= 0;

e1298:  - b846 + b847 - b877 <= 0;

e1299:    b848 - b878 <= 0;

e1300:  - b848 + b849 - b879 <= 0;

e1301:    b850 - b880 <= 0;

e1302:  - b850 + b851 - b881 <= 0;

e1303:    b852 - b882 <= 0;

e1304:  - b852 + b853 - b883 <= 0;

e1305:    b854 - b884 <= 0;

e1306:  - b854 + b855 - b885 <= 0;

e1307:    b856 - b886 <= 0;

e1308:  - b856 + b857 - b887 <= 0;

e1309:    b858 - b888 <= 0;

e1310:  - b858 + b859 - b889 <= 0;

e1311:    b860 - b890 <= 0;

e1312:  - b860 + b861 - b891 <= 0;

e1313:    b862 - b892 <= 0;

e1314:  - b862 + b863 - b893 <= 0;

e1315:    b864 - b894 <= 0;

e1316:  - b864 + b865 - b895 <= 0;

e1317:    b866 - b896 <= 0;

e1318:  - b866 + b867 - b897 <= 0;

e1319:    b868 - b898 <= 0;

e1320:  - b868 + b869 - b899 <= 0;

e1321:    b840 + b842 = 1;

e1322:    b841 + b843 = 1;

e1323:  - b844 + b850 + b852 >= 0;

e1324:  - b845 + b851 + b853 >= 0;

e1325:  - b850 + b862 >= 0;

e1326:  - b851 + b863 >= 0;

e1327:  - b852 + b864 >= 0;

e1328:  - b853 + b865 >= 0;

e1329:  - b846 + b854 >= 0;

e1330:  - b847 + b855 >= 0;

e1331:  - b854 + b866 + b868 >= 0;

e1332:  - b855 + b867 + b869 >= 0;

e1333:  - b848 + b856 + b858 + b860 >= 0;

e1334:  - b849 + b857 + b859 + b861 >= 0;

e1335:  - b856 + b868 >= 0;

e1336:  - b857 + b869 >= 0;

e1337:    b840 + b842 - b844 >= 0;

e1338:    b841 + b843 - b845 >= 0;

e1339:    b840 + b842 - b846 >= 0;

e1340:    b841 + b843 - b847 >= 0;

e1341:    b840 + b842 - b848 >= 0;

e1342:    b841 + b843 - b849 >= 0;

e1343:    b844 - b850 >= 0;

e1344:    b845 - b851 >= 0;

e1345:    b844 - b852 >= 0;

e1346:    b845 - b853 >= 0;

e1347:    b846 - b854 >= 0;

e1348:    b847 - b855 >= 0;

e1349:    b848 - b856 >= 0;

e1350:    b849 - b857 >= 0;

e1351:    b848 - b858 >= 0;

e1352:    b849 - b859 >= 0;

e1353:    b848 - b860 >= 0;

e1354:    b849 - b861 >= 0;

e1355:    b850 - b862 >= 0;

e1356:    b851 - b863 >= 0;

e1357:    b852 - b864 >= 0;

e1358:    b853 - b865 >= 0;

e1359:    b854 - b866 >= 0;

e1360:    b855 - b867 >= 0;

e1361:    b854 - b868 >= 0;

e1362:    b855 - b869 >= 0;