#  MINLP written by GAMS Convert at 01/12/18 13:42:08
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1189      497       32      660        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        791      623      168        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2875     2839       36        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 b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
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 x618 >= 0, <= 40;
var x619 >= 0, <= 40;
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, <= 30;
var x641 >= 0, <= 30;
var x642 >= 0;
var x643 >= 0;
var x644 >= 0;
var x645 >= 0;
var x646 >= 0;
var x647 >= 0;
var x648 >= 0;
var x649 >= 0;
var x650 >= 0;
var x651 >= 0;
var x652 >= 0;
var x653 >= 0;
var x654 >= 0;
var x655 >= 0;
var x656 >= 0;
var x657 >= 0;
var x658 >= 0;
var x659 >= 0;
var x660 >= 0;
var x661 >= 0;
var x662 >= 0;
var x663 >= 0;
var x664 >= 0;
var x665 >= 0;
var x666 >= 0;
var x667 >= 0;
var x668 >= 0;
var x669 >= 0;
var x670 >= 0;
var x671 >= 0;
var x672 >= 0;
var x673 >= 0;
var x674 >= 0;
var x675 >= 0;
var x676 >= 0;
var x677 >= 0;
var x678 >= 0;
var x679 >= 0;
var x680 >= 0;
var x681 >= 0;
var x682 >= 0;
var x683 >= 0;
var x684 >= 0;
var x685 >= 0;
var x686 >= 0;
var x687 >= 0;
var x688 >= 0;
var x689 >= 0;
var x690 >= 0;
var x691 >= 0;
var x692 >= 0;
var x693 >= 0;
var x694 >= 0;
var x695 >= 0;
var x696 >= 0;
var x697 >= 0;
var x698 >= 0;
var x699 >= 0;
var x700 >= 0;
var x701 >= 0;
var x702 >= 0;
var x703 >= 0;
var x704 >= 0;
var x705 >= 0;
var x706 >= 0;
var x707 >= 0;
var x708 >= 0;
var x709 >= 0;
var x710 >= 0;
var x711 >= 0;
var x712 >= 0;
var x713 >= 0;
var x714 >= 0;
var x715 >= 0;
var x716 >= 0;
var x717 >= 0;
var x718 >= 0;
var x719 >= 0;
var x720 >= 0;
var x721 >= 0;
var x722 >= 0;
var x723 >= 0;
var x724 >= 0;
var x725 >= 0;
var x726 >= 0;
var x727 >= 0;
var x728 >= 0;
var x729 >= 0;
var x730 >= 0;
var x731 >= 0;
var x732 >= 0;
var x733 >= 0;
var x734 >= 0;
var x735 >= 0;
var x736 >= 0;
var x737 >= 0;
var x738 >= 0;
var x739 >= 0;
var x740 >= 0;
var x741 >= 0;
var x742 >= 0;
var x743 >= 0;
var x744 >= 0;
var x745 >= 0;
var x746 >= 0;
var x747 >= 0;
var x748 >= 0;
var x749 >= 0;
var x750 >= 0;
var x751 >= 0;
var 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;

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 + 30*x68 + 31*x69 + 24*x70 + 22*x71 - 6*b556
     - 4*b557 - 40*b558 - 35*b559 - 46*b560 - 39*b561 - 7*b564 - 4*b565
     - 30*b566 - 25*b567 - 37*b568 - 29*b569 - 7*b572 - 5*b573 - 15*b574
     - 5*b575 - 22*b576 - 10*b577 - 11*b580 - 8*b581 - 13*b582 - 8*b583
     - 24*b584 - 16*b585 - 10*b588 - 7*b589 - 13*b590 - 8*b591 - 23*b592
     - 15*b593 - 9*b596 - 9*b597 - 30*b598 - 30*b599 - 39*b600 - 39*b601
     - 8*b604 - 7*b605 - 20*b606 - 15*b607 - 28*b608 - 22*b609 - 8*b612
     - 6*b613 - 15*b614 - 10*b615 - 23*b616 - 16*b617 - x618 - x619 + 5*x630
     + 10*x631 - 2*x640 - x641 + 80*x656 + 90*x657 + 285*x658 + 390*x659
     + 290*x660 + 405*x661 + 280*x662 + 400*x663 + 290*x664 + 300*x665
     + 350*x666 + 250*x667 - 5*b772 - 4*b773 - 8*b774 - 7*b775 - 6*b776
     - 9*b777 - 10*b778 - 9*b779 - 6*b780 - 10*b781 - 7*b782 - 7*b783 - 4*b784
     - 3*b785 - 5*b786 - 6*b787 - 2*b788 - 5*b789 - 4*b790 - 7*b791;

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*b490 <= 0;

e177:    x279 - 170*b491 <= 0;

e178:    x280 - 233.75*b492 <= 0;

e179:    x281 - 170*b493 <= 0;

e180:    x282 - 233.75*b494 <= 0;

e181:    x283 - 170*b495 <= 0;

e182:    x284 - 233.75*b496 <= 0;

e183:    x285 - 170*b497 <= 0;

e184:    x286 - 383.5625*b498 <= 0;

e185:    x287 - 316.001666666667*b499 <= 0;

e186:    x288 - 383.5625*b500 <= 0;

e187:    x289 - 316.001666666667*b501 <= 0;

e188:    x290 - 383.5625*b502 <= 0;

e189:    x291 - 316.001666666667*b503 <= 0;

e190:    x292 - 383.5625*b504 <= 0;

e191:    x293 - 316.001666666667*b505 <= 0;

e192:    x302 - 36.75*b506 <= 0;

e193:    x303 - 50.6333333333333*b507 <= 0;

e194:    x304 - 36.75*b508 <= 0;

e195:    x305 - 50.6333333333333*b509 <= 0;

e196:    x306 - 36.75*b510 <= 0;

e197:    x307 - 50.6333333333333*b511 <= 0;

e198:    x308 - 36.75*b512 <= 0;

e199:    x309 - 50.6333333333333*b513 <= 0;

e200:    x310 - 36.75*b506 <= 0;

e201:    x311 - 50.6333333333333*b507 <= 0;

e202:    x312 - 36.75*b508 <= 0;

e203:    x313 - 50.6333333333333*b509 <= 0;

e204:    x314 - 36.75*b510 <= 0;

e205:    x315 - 50.6333333333333*b511 <= 0;

e206:    x316 - 36.75*b512 <= 0;

e207:    x317 - 50.6333333333333*b513 <= 0;

e208:    x326 - 33.75*b514 <= 0;

e209:    x327 - 46.5*b515 <= 0;

e210:    x328 - 33.75*b516 <= 0;

e211:    x329 - 46.5*b517 <= 0;

e212:    x330 - 33.75*b518 <= 0;

e213:    x331 - 46.5*b519 <= 0;

e214:    x332 - 33.75*b520 <= 0;

e215:    x333 - 46.5*b521 <= 0;

e216:    x350 - 32.0625*b522 <= 0;

e217:    x351 - 44.175*b523 <= 0;

e218:    x352 - 32.0625*b524 <= 0;

e219:    x353 - 44.175*b525 <= 0;

e220:    x354 - 32.0625*b526 <= 0;

e221:    x355 - 44.175*b527 <= 0;

e222:    x356 - 32.0625*b528 <= 0;

e223:    x357 - 44.175*b529 <= 0;

e224:    x358 - 32.0625*b522 <= 0;

e225:    x359 - 44.175*b523 <= 0;

e226:    x360 - 32.0625*b524 <= 0;

e227:    x361 - 44.175*b525 <= 0;

e228:    x362 - 32.0625*b526 <= 0;

e229:    x363 - 44.175*b527 <= 0;

e230:    x364 - 32.0625*b528 <= 0;

e231:    x365 - 44.175*b529 <= 0;

e232:    x374 - 143.4375*b530 <= 0;

e233:    x375 - 147.9*b531 <= 0;

e234:    x376 - 143.4375*b532 <= 0;

e235:    x377 - 147.9*b533 <= 0;

e236:    x378 - 143.4375*b534 <= 0;

e237:    x379 - 147.9*b535 <= 0;

e238:    x380 - 143.4375*b536 <= 0;

e239:    x381 - 147.9*b537 <= 0;

e240:    x382 - 178.192857142857*b538 <= 0;

e241:    x383 - 177.310714285714*b539 <= 0;

e242:    x384 - 178.192857142857*b540 <= 0;

e243:    x385 - 177.310714285714*b541 <= 0;

e244:    x386 - 178.192857142857*b542 <= 0;

e245:    x387 - 177.310714285714*b543 <= 0;

e246:    x388 - 178.192857142857*b544 <= 0;

e247:    x389 - 177.310714285714*b545 <= 0;

e248:    x398 - 52.5714285714286*b546 <= 0;

e249:    x399 - 59.1428571428572*b547 <= 0;

e250:    x400 - 52.5714285714286*b548 <= 0;

e251:    x401 - 59.1428571428572*b549 <= 0;

e252:    x402 - 52.5714285714286*b550 <= 0;

e253:    x403 - 59.1428571428572*b551 <= 0;

e254:    x404 - 52.5714285714286*b552 <= 0;

e255:    x405 - 59.1428571428572*b553 <= 0;

e256:    x262 - 275*b490 <= 0;

e257:    x263 - 200*b491 <= 0;

e258:    x264 - 275*b492 <= 0;

e259:    x265 - 200*b493 <= 0;

e260:    x266 - 275*b494 <= 0;

e261:    x267 - 200*b495 <= 0;

e262:    x268 - 275*b496 <= 0;

e263:    x269 - 200*b497 <= 0;

e264:    x270 - 275*b498 <= 0;

e265:    x271 - 200*b499 <= 0;

e266:    x272 - 275*b500 <= 0;

e267:    x273 - 200*b501 <= 0;

e268:    x274 - 275*b502 <= 0;

e269:    x275 - 200*b503 <= 0;

e270:    x276 - 275*b504 <= 0;

e271:    x277 - 200*b505 <= 0;

e272:    x294 - 37.5*b506 <= 0;

e273:    x295 - 51.6666666666667*b507 <= 0;

e274:    x296 - 37.5*b508 <= 0;

e275:    x297 - 51.6666666666667*b509 <= 0;

e276:    x298 - 37.5*b510 <= 0;

e277:    x299 - 51.6666666666667*b511 <= 0;

e278:    x300 - 37.5*b512 <= 0;

e279:    x301 - 51.6666666666667*b513 <= 0;

e280:    x318 - 37.5*b514 <= 0;

e281:    x319 - 51.6666666666667*b515 <= 0;

e282:    x320 - 37.5*b516 <= 0;

e283:    x321 - 51.6666666666667*b517 <= 0;

e284:    x322 - 37.5*b518 <= 0;

e285:    x323 - 51.6666666666667*b519 <= 0;

e286:    x324 - 37.5*b520 <= 0;

e287:    x325 - 51.6666666666667*b521 <= 0;

e288:    x342 - 33.75*b522 <= 0;

e289:    x343 - 46.5*b523 <= 0;

e290:    x344 - 33.75*b524 <= 0;

e291:    x345 - 46.5*b525 <= 0;

e292:    x346 - 33.75*b526 <= 0;

e293:    x347 - 46.5*b527 <= 0;

e294:    x348 - 33.75*b528 <= 0;

e295:    x349 - 46.5*b529 <= 0;

e296:    x334 - 33.75*b530 <= 0;

e297:    x335 - 46.5*b531 <= 0;

e298:    x336 - 33.75*b532 <= 0;

e299:    x337 - 46.5*b533 <= 0;

e300:    x338 - 33.75*b534 <= 0;

e301:    x339 - 46.5*b535 <= 0;

e302:    x340 - 33.75*b536 <= 0;

e303:    x341 - 46.5*b537 <= 0;

e304:    x366 - 135*b538 <= 0;

e305:    x367 - 127.5*b539 <= 0;

e306:    x368 - 135*b540 <= 0;

e307:    x369 - 127.5*b541 <= 0;

e308:    x370 - 135*b542 <= 0;

e309:    x371 - 127.5*b543 <= 0;

e310:    x372 - 135*b544 <= 0;

e311:    x373 - 127.5*b545 <= 0;

e312:    x390 - 57.1428571428571*b546 <= 0;

e313:    x391 - 64.2857142857143*b547 <= 0;

e314:    x392 - 57.1428571428571*b548 <= 0;

e315:    x393 - 64.2857142857143*b549 <= 0;

e316:    x394 - 57.1428571428571*b550 <= 0;

e317:    x395 - 64.2857142857143*b551 <= 0;

e318:    x396 - 57.1428571428571*b552 <= 0;

e319:    x397 - 64.2857142857143*b553 <= 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*b490 <= 0;

e423:    x175 - 40*b491 <= 0;

e424:    x176 - 55*b492 <= 0;

e425:    x177 - 40*b493 <= 0;

e426:    x178 - 55*b494 <= 0;

e427:    x179 - 40*b495 <= 0;

e428:    x180 - 55*b496 <= 0;

e429:    x181 - 40*b497 <= 0;

e430:    x182 - 55*b498 <= 0;

e431:    x183 - 40*b499 <= 0;

e432:    x184 - 55*b500 <= 0;

e433:    x185 - 40*b501 <= 0;

e434:    x186 - 55*b502 <= 0;

e435:    x187 - 40*b503 <= 0;

e436:    x188 - 55*b504 <= 0;

e437:    x189 - 40*b505 <= 0;

e438:    x190 - 91*b498 <= 0;

e439:    x191 - 103*b499 <= 0;

e440:    x192 - 91*b500 <= 0;

e441:    x193 - 103*b501 <= 0;

e442:    x194 - 91*b502 <= 0;

e443:    x195 - 103*b503 <= 0;

e444:    x196 - 91*b504 <= 0;

e445:    x197 - 103*b505 <= 0;

e446:    x198 - 45*b506 <= 0;

e447:    x199 - 62*b507 <= 0;

e448:    x200 - 45*b508 <= 0;

e449:    x201 - 62*b509 <= 0;

e450:    x202 - 45*b510 <= 0;

e451:    x203 - 62*b511 <= 0;

e452:    x204 - 45*b512 <= 0;

e453:    x205 - 62*b513 <= 0;

e454:    x206 - 45*b514 <= 0;

e455:    x207 - 62*b515 <= 0;

e456:    x208 - 45*b516 <= 0;

e457:    x209 - 62*b517 <= 0;

e458:    x210 - 45*b518 <= 0;

e459:    x211 - 62*b519 <= 0;

e460:    x212 - 45*b520 <= 0;

e461:    x213 - 62*b521 <= 0;

e462:    x222 - 45*b522 <= 0;

e463:    x223 - 62*b523 <= 0;

e464:    x224 - 45*b524 <= 0;

e465:    x225 - 62*b525 <= 0;

e466:    x226 - 45*b526 <= 0;

e467:    x227 - 62*b527 <= 0;

e468:    x228 - 45*b528 <= 0;

e469:    x229 - 62*b529 <= 0;

e470:    x214 - 45*b530 <= 0;

e471:    x215 - 62*b531 <= 0;

e472:    x216 - 45*b532 <= 0;

e473:    x217 - 62*b533 <= 0;

e474:    x218 - 45*b534 <= 0;

e475:    x219 - 62*b535 <= 0;

e476:    x220 - 45*b536 <= 0;

e477:    x221 - 62*b537 <= 0;

e478:    x230 - 54*b530 <= 0;

e479:    x231 - 51*b531 <= 0;

e480:    x232 - 54*b532 <= 0;

e481:    x233 - 51*b533 <= 0;

e482:    x234 - 54*b534 <= 0;

e483:    x235 - 51*b535 <= 0;

e484:    x236 - 54*b536 <= 0;

e485:    x237 - 51*b537 <= 0;

e486:    x238 - 54*b538 <= 0;

e487:    x239 - 51*b539 <= 0;

e488:    x240 - 54*b540 <= 0;

e489:    x241 - 51*b541 <= 0;

e490:    x242 - 54*b542 <= 0;

e491:    x243 - 51*b543 <= 0;

e492:    x244 - 54*b544 <= 0;

e493:    x245 - 51*b545 <= 0;

e494:    x254 - 40*b538 <= 0;

e495:    x255 - 45*b539 <= 0;

e496:    x256 - 40*b540 <= 0;

e497:    x257 - 45*b541 <= 0;

e498:    x258 - 40*b542 <= 0;

e499:    x259 - 45*b543 <= 0;

e500:    x260 - 40*b544 <= 0;

e501:    x261 - 45*b545 <= 0;

e502:    x246 - 40*b546 <= 0;

e503:    x247 - 45*b547 <= 0;

e504:    x248 - 40*b548 <= 0;

e505:    x249 - 45*b549 <= 0;

e506:    x250 - 40*b550 <= 0;

e507:    x251 - 45*b551 <= 0;

e508:    x252 - 40*b552 <= 0;

e509:    x253 - 45*b553 <= 0;

e510:    x174 - 10*b490 <= 0;

e511:    x175 - 10*b491 <= 0;

e512:    x176 - 10*b492 <= 0;

e513:    x177 - 10*b493 <= 0;

e514:    x178 - 50*b494 <= 0;

e515:    x179 - 50*b495 <= 0;

e516:    x180 - 50*b496 <= 0;

e517:    x181 - 50*b497 <= 0;

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

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

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

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

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

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

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

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

e526:    x198 - 15*b506 <= 0;

e527:    x199 - 15*b507 <= 0;

e528:    x200 - 15*b508 <= 0;

e529:    x201 - 15*b509 <= 0;

e530:    x202 - 25*b510 <= 0;

e531:    x203 - 25*b511 <= 0;

e532:    x204 - 25*b512 <= 0;

e533:    x205 - 25*b513 <= 0;

e534:    x206 - 15*b514 <= 0;

e535:    x207 - 15*b515 <= 0;

e536:    x208 - 15*b516 <= 0;

e537:    x209 - 15*b517 <= 0;

e538:    x210 - 20*b518 <= 0;

e539:    x211 - 20*b519 <= 0;

e540:    x212 - 20*b520 <= 0;

e541:    x213 - 20*b521 <= 0;

e542:    x222 - 10*b522 <= 0;

e543:    x223 - 10*b523 <= 0;

e544:    x224 - 10*b524 <= 0;

e545:    x225 - 10*b525 <= 0;

e546:    x226 - 20*b526 <= 0;

e547:    x227 - 20*b527 <= 0;

e548:    x228 - 20*b528 <= 0;

e549:    x229 - 20*b529 <= 0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

e566:    x246 - 15*b546 <= 0;

e567:    x247 - 15*b547 <= 0;

e568:    x248 - 15*b548 <= 0;

e569:    x249 - 15*b549 <= 0;

e570:    x250 - 35*b550 <= 0;

e571:    x251 - 35*b551 <= 0;

e572:    x252 - 35*b552 <= 0;

e573:    x253 - 35*b553 <= 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*b556 <= 0;

e593:    x409 - 4*b557 <= 0;

e594:    x410 - 40*b558 <= 0;

e595:    x411 - 35*b559 <= 0;

e596:    x412 - 46*b560 <= 0;

e597:    x413 - 39*b561 <= 0;

e598:    x414 <= 0;

e599:    x415 <= 0;

e600:    x416 - 7*b564 <= 0;

e601:    x417 - 4*b565 <= 0;

e602:    x418 - 30*b566 <= 0;

e603:    x419 - 25*b567 <= 0;

e604:    x420 - 37*b568 <= 0;

e605:    x421 - 29*b569 <= 0;

e606:    x422 <= 0;

e607:    x423 <= 0;

e608:    x424 - 7*b572 <= 0;

e609:    x425 - 5*b573 <= 0;

e610:    x426 - 15*b574 <= 0;

e611:    x427 - 5*b575 <= 0;

e612:    x428 - 22*b576 <= 0;

e613:    x429 - 10*b577 <= 0;

e614:    x430 <= 0;

e615:    x431 <= 0;

e616:    x432 - 11*b580 <= 0;

e617:    x433 - 8*b581 <= 0;

e618:    x434 - 13*b582 <= 0;

e619:    x435 - 8*b583 <= 0;

e620:    x436 - 24*b584 <= 0;

e621:    x437 - 16*b585 <= 0;

e622:    x438 <= 0;

e623:    x439 <= 0;

e624:    x440 - 10*b588 <= 0;

e625:    x441 - 7*b589 <= 0;

e626:    x442 - 13*b590 <= 0;

e627:    x443 - 8*b591 <= 0;

e628:    x444 - 23*b592 <= 0;

e629:    x445 - 15*b593 <= 0;

e630:    x446 <= 0;

e631:    x447 <= 0;

e632:    x448 - 9*b596 <= 0;

e633:    x449 - 9*b597 <= 0;

e634:    x450 - 30*b598 <= 0;

e635:    x451 - 30*b599 <= 0;

e636:    x452 - 39*b600 <= 0;

e637:    x453 - 39*b601 <= 0;

e638:    x454 <= 0;

e639:    x455 <= 0;

e640:    x456 - 8*b604 <= 0;

e641:    x457 - 7*b605 <= 0;

e642:    x458 - 20*b606 <= 0;

e643:    x459 - 15*b607 <= 0;

e644:    x460 - 28*b608 <= 0;

e645:    x461 - 22*b609 <= 0;

e646:    x462 <= 0;

e647:    x463 <= 0;

e648:    x464 - 8*b612 <= 0;

e649:    x465 - 6*b613 <= 0;

e650:    x466 - 15*b614 <= 0;

e651:    x467 - 10*b615 <= 0;

e652:    x468 - 23*b616 <= 0;

e653:    x469 - 16*b617 <= 0;

e654:    x406 = 0;

e655:    x407 = 0;

e656:    x408 - 6*b556 = 0;

e657:    x409 - 4*b557 = 0;

e658:    x410 - 40*b558 = 0;

e659:    x411 - 35*b559 = 0;

e660:    x412 - 46*b560 = 0;

e661:    x413 - 39*b561 = 0;

e662:    x414 = 0;

e663:    x415 = 0;

e664:    x416 - 7*b564 = 0;

e665:    x417 - 4*b565 = 0;

e666:    x418 - 30*b566 = 0;

e667:    x419 - 25*b567 = 0;

e668:    x420 - 37*b568 = 0;

e669:    x421 - 29*b569 = 0;

e670:    x422 = 0;

e671:    x423 = 0;

e672:    x424 - 7*b572 = 0;

e673:    x425 - 5*b573 = 0;

e674:    x426 - 15*b574 = 0;

e675:    x427 - 5*b575 = 0;

e676:    x428 - 22*b576 = 0;

e677:    x429 - 10*b577 = 0;

e678:    x430 = 0;

e679:    x431 = 0;

e680:    x432 - 11*b580 = 0;

e681:    x433 - 8*b581 = 0;

e682:    x434 - 13*b582 = 0;

e683:    x435 - 8*b583 = 0;

e684:    x436 - 24*b584 = 0;

e685:    x437 - 16*b585 = 0;

e686:    x438 = 0;

e687:    x439 = 0;

e688:    x440 - 10*b588 = 0;

e689:    x441 - 7*b589 = 0;

e690:    x442 - 13*b590 = 0;

e691:    x443 - 8*b591 = 0;

e692:    x444 - 23*b592 = 0;

e693:    x445 - 15*b593 = 0;

e694:    x446 = 0;

e695:    x447 = 0;

e696:    x448 - 9*b596 = 0;

e697:    x449 - 9*b597 = 0;

e698:    x450 - 30*b598 = 0;

e699:    x451 - 30*b599 = 0;

e700:    x452 - 39*b600 = 0;

e701:    x453 - 39*b601 = 0;

e702:    x454 = 0;

e703:    x455 = 0;

e704:    x456 - 8*b604 = 0;

e705:    x457 - 7*b605 = 0;

e706:    x458 - 20*b606 = 0;

e707:    x459 - 15*b607 = 0;

e708:    x460 - 28*b608 = 0;

e709:    x461 - 22*b609 = 0;

e710:    x462 = 0;

e711:    x463 = 0;

e712:    x464 - 8*b612 = 0;

e713:    x465 - 6*b613 = 0;

e714:    x466 - 15*b614 = 0;

e715:    x467 - 10*b615 = 0;

e716:    x468 - 23*b616 = 0;

e717:    x469 - 16*b617 = 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:    b490 + b492 + b494 + b496 = 1;

e721:    b491 + b493 + b495 + b497 = 1;

e722:    b498 + b500 + b502 + b504 = 1;

e723:    b499 + b501 + b503 + b505 = 1;

e724:    b506 + b508 + b510 + b512 = 1;

e725:    b507 + b509 + b511 + b513 = 1;

e726:    b514 + b516 + b518 + b520 = 1;

e727:    b515 + b517 + b519 + b521 = 1;

e728:    b522 + b524 + b526 + b528 = 1;

e729:    b523 + b525 + b527 + b529 = 1;

e730:    b530 + b532 + b534 + b536 = 1;

e731:    b531 + b533 + b535 + b537 = 1;

e732:    b538 + b540 + b542 + b544 = 1;

e733:    b539 + b541 + b543 + b545 = 1;

e734:    b546 + b548 + b550 + b552 = 1;

e735:    b547 + b549 + b551 + b553 = 1;

e736:    b554 + b556 + b558 + b560 = 1;

e737:    b555 + b557 + b559 + b561 = 1;

e738:    b562 + b564 + b566 + b568 = 1;

e739:    b563 + b565 + b567 + b569 = 1;

e740:    b570 + b572 + b574 + b576 = 1;

e741:    b571 + b573 + b575 + b577 = 1;

e742:    b578 + b580 + b582 + b584 = 1;

e743:    b579 + b581 + b583 + b585 = 1;

e744:    b586 + b588 + b590 + b592 = 1;

e745:    b587 + b589 + b591 + b593 = 1;

e746:    b594 + b596 + b598 + b600 = 1;

e747:    b595 + b597 + b599 + b601 = 1;

e748:    b602 + b604 + b606 + b608 = 1;

e749:    b603 + b605 + b607 + b609 = 1;

e750:    b610 + b612 + b614 + b616 = 1;

e751:    b611 + b613 + b615 + b617 = 1;

e752:    b492 - b493 <= 0;

e753:    b494 - b495 <= 0;

e754:    b496 - b497 <= 0;

e755:    b500 - b501 <= 0;

e756:    b502 - b503 <= 0;

e757:    b504 - b505 <= 0;

e758:    b508 - b509 <= 0;

e759:    b510 - b511 <= 0;

e760:    b512 - b513 <= 0;

e761:    b516 - b517 <= 0;

e762:    b518 - b519 <= 0;

e763:    b520 - b521 <= 0;

e764:    b524 - b525 <= 0;

e765:    b526 - b527 <= 0;

e766:    b528 - b529 <= 0;

e767:    b532 - b533 <= 0;

e768:    b534 - b535 <= 0;

e769:    b536 - b537 <= 0;

e770:    b540 - b541 <= 0;

e771:    b542 - b543 <= 0;

e772:    b544 - b545 <= 0;

e773:    b548 - b549 <= 0;

e774:    b550 - b551 <= 0;

e775:    b552 - b553 <= 0;

e776:  - b555 + b556 <= 0;

e777:  - b554 + b557 <= 0;

e778:  - b555 + b558 <= 0;

e779:  - b554 + b559 <= 0;

e780:  - b555 + b560 <= 0;

e781:  - b554 + b561 <= 0;

e782:  - b563 + b564 <= 0;

e783:  - b562 + b565 <= 0;

e784:  - b563 + b566 <= 0;

e785:  - b562 + b567 <= 0;

e786:  - b563 + b568 <= 0;

e787:  - b562 + b569 <= 0;

e788:  - b571 + b572 <= 0;

e789:  - b570 + b573 <= 0;

e790:  - b571 + b574 <= 0;

e791:  - b570 + b575 <= 0;

e792:  - b571 + b576 <= 0;

e793:  - b570 + b577 <= 0;

e794:  - b579 + b580 <= 0;

e795:  - b578 + b581 <= 0;

e796:  - b579 + b582 <= 0;

e797:  - b578 + b583 <= 0;

e798:  - b579 + b584 <= 0;

e799:  - b578 + b585 <= 0;

e800:  - b587 + b588 <= 0;

e801:  - b586 + b589 <= 0;

e802:  - b587 + b590 <= 0;

e803:  - b586 + b591 <= 0;

e804:  - b587 + b592 <= 0;

e805:  - b586 + b593 <= 0;

e806:  - b595 + b596 <= 0;

e807:  - b594 + b597 <= 0;

e808:  - b595 + b598 <= 0;

e809:  - b594 + b599 <= 0;

e810:  - b595 + b600 <= 0;

e811:  - b594 + b601 <= 0;

e812:  - b603 + b604 <= 0;

e813:  - b602 + b605 <= 0;

e814:  - b603 + b606 <= 0;

e815:  - b602 + b607 <= 0;

e816:  - b603 + b608 <= 0;

e817:  - b602 + b609 <= 0;

e818:  - b611 + b612 <= 0;

e819:  - b610 + b613 <= 0;

e820:  - b611 + b614 <= 0;

e821:  - b610 + b615 <= 0;

e822:  - b611 + b616 <= 0;

e823:  - b610 + b617 <= 0;

e824:    b490 - b554 <= 0;

e825:    b491 - b555 <= 0;

e826:    b498 - b562 <= 0;

e827:    b499 - b563 <= 0;

e828:    b506 - b570 <= 0;

e829:    b507 - b571 <= 0;

e830:    b514 - b578 <= 0;

e831:    b515 - b579 <= 0;

e832:    b522 - b586 <= 0;

e833:    b523 - b587 <= 0;

e834:    b530 - b594 <= 0;

e835:    b531 - b595 <= 0;

e836:    b538 - b602 <= 0;

e837:    b539 - b603 <= 0;

e838:    b546 - b610 <= 0;

e839:    b547 - b611 <= 0;

e840:    b492 - b556 <= 0;

e841:  - b492 + b493 - b557 <= 0;

e842:    b494 - b558 <= 0;

e843:  - b494 + b495 - b559 <= 0;

e844:    b496 - b560 <= 0;

e845:  - b496 + b497 - b561 <= 0;

e846:    b500 - b564 <= 0;

e847:  - b500 + b501 - b565 <= 0;

e848:    b502 - b566 <= 0;

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

e850:    b504 - b568 <= 0;

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

e852:    b508 - b572 <= 0;

e853:  - b508 + b509 - b573 <= 0;

e854:    b510 - b574 <= 0;

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

e856:    b512 - b576 <= 0;

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

e858:    b516 - b580 <= 0;

e859:  - b516 + b517 - b581 <= 0;

e860:    b518 - b582 <= 0;

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

e862:    b520 - b584 <= 0;

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

e864:    b524 - b588 <= 0;

e865:  - b524 + b525 - b589 <= 0;

e866:    b526 - b590 <= 0;

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

e868:    b528 - b592 <= 0;

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

e870:    b532 - b596 <= 0;

e871:  - b532 + b533 - b597 <= 0;

e872:    b534 - b598 <= 0;

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

e874:    b536 - b600 <= 0;

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

e876:    b540 - b604 <= 0;

e877:  - b540 + b541 - b605 <= 0;

e878:    b542 - b606 <= 0;

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

e880:    b544 - b608 <= 0;

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

e882:    b548 - b612 <= 0;

e883:  - b548 + b549 - b613 <= 0;

e884:    b550 - b614 <= 0;

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

e886:    b552 - b616 <= 0;

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

e888:    x10 - x64 - x618 = 0;

e889:    x11 - x65 - x619 = 0;

e890:    x18 - x66 - x640 = 0;

e891:    x19 - x67 - x641 = 0;

e892:    x40 - x68 = 0;

e893:    x41 - x69 = 0;

e894:    x42 - x70 = 0;

e895:    x43 - x71 = 0;

e896:    x618 - x620 - x622 = 0;

e897:    x619 - x621 - x623 = 0;

e898:  - x624 - x626 + x628 = 0;

e899:  - x625 - x627 + x629 = 0;

e900:    x628 - x630 - x632 = 0;

e901:    x629 - x631 - x633 = 0;

e902:    x632 - x634 - x636 - x638 = 0;

e903:    x633 - x635 - x637 - x639 = 0;

e904:    x642 - x648 - x650 = 0;

e905:    x643 - x649 - x651 = 0;

e906:    x646 - x652 - x654 - x656 = 0;

e907:    x647 - x653 - x655 - x657 = 0;

e908: (x676/(1e-6 + b752) - log(1 + x668/(1e-6 + b752)))*(1e-6 + b752) <= 0;

e909: (x677/(1e-6 + b753) - log(1 + x669/(1e-6 + b753)))*(1e-6 + b753) <= 0;

e910:    x670 = 0;

e911:    x671 = 0;

e912:    x678 = 0;

e913:    x679 = 0;

e914:    x620 - x668 - x670 = 0;

e915:    x621 - x669 - x671 = 0;

e916:    x624 - x676 - x678 = 0;

e917:    x625 - x677 - x679 = 0;

e918:    x668 - 40*b752 <= 0;

e919:    x669 - 40*b753 <= 0;

e920:    x670 + 40*b752 <= 40;

e921:    x671 + 40*b753 <= 40;

e922:    x676 - 3.71357206670431*b752 <= 0;

e923:    x677 - 3.71357206670431*b753 <= 0;

e924:    x678 + 3.71357206670431*b752 <= 3.71357206670431;

e925:    x679 + 3.71357206670431*b753 <= 3.71357206670431;

e926: (x680/(1e-6 + b754) - 1.2*log(1 + x672/(1e-6 + b754)))*(1e-6 + b754)
       <= 0;

e927: (x681/(1e-6 + b755) - 1.2*log(1 + x673/(1e-6 + b755)))*(1e-6 + b755)
       <= 0;

e928:    x674 = 0;

e929:    x675 = 0;

e930:    x682 = 0;

e931:    x683 = 0;

e932:    x622 - x672 - x674 = 0;

e933:    x623 - x673 - x675 = 0;

e934:    x626 - x680 - x682 = 0;

e935:    x627 - x681 - x683 = 0;

e936:    x672 - 40*b754 <= 0;

e937:    x673 - 40*b755 <= 0;

e938:    x674 + 40*b754 <= 40;

e939:    x675 + 40*b755 <= 40;

e940:    x680 - 4.45628648004517*b754 <= 0;

e941:    x681 - 4.45628648004517*b755 <= 0;

e942:    x682 + 4.45628648004517*b754 <= 4.45628648004517;

e943:    x683 + 4.45628648004517*b755 <= 4.45628648004517;

e944:  - 0.75*x684 + x700 = 0;

e945:  - 0.75*x685 + x701 = 0;

e946:    x686 = 0;

e947:    x687 = 0;

e948:    x702 = 0;

e949:    x703 = 0;

e950:    x634 - x684 - x686 = 0;

e951:    x635 - x685 - x687 = 0;

e952:    x642 - x700 - x702 = 0;

e953:    x643 - x701 - x703 = 0;

e954:    x684 - 4.45628648004517*b756 <= 0;

e955:    x685 - 4.45628648004517*b757 <= 0;

e956:    x686 + 4.45628648004517*b756 <= 4.45628648004517;

e957:    x687 + 4.45628648004517*b757 <= 4.45628648004517;

e958:    x700 - 3.34221486003388*b756 <= 0;

e959:    x701 - 3.34221486003388*b757 <= 0;

e960:    x702 + 3.34221486003388*b756 <= 3.34221486003388;

e961:    x703 + 3.34221486003388*b757 <= 3.34221486003388;

e962: (x704/(1e-6 + b758) - 1.5*log(1 + x688/(1e-6 + b758)))*(1e-6 + b758)
       <= 0;

e963: (x705/(1e-6 + b759) - 1.5*log(1 + x689/(1e-6 + b759)))*(1e-6 + b759)
       <= 0;

e964:    x690 = 0;

e965:    x691 = 0;

e966:    x708 = 0;

e967:    x709 = 0;

e968:    x636 - x688 - x690 = 0;

e969:    x637 - x689 - x691 = 0;

e970:    x644 - x704 - x708 = 0;

e971:    x645 - x705 - x709 = 0;

e972:    x688 - 4.45628648004517*b758 <= 0;

e973:    x689 - 4.45628648004517*b759 <= 0;

e974:    x690 + 4.45628648004517*b758 <= 4.45628648004517;

e975:    x691 + 4.45628648004517*b759 <= 4.45628648004517;

e976:    x704 - 2.54515263975353*b758 <= 0;

e977:    x705 - 2.54515263975353*b759 <= 0;

e978:    x708 + 2.54515263975353*b758 <= 2.54515263975353;

e979:    x709 + 2.54515263975353*b759 <= 2.54515263975353;

e980:  - x692 + x712 = 0;

e981:  - x693 + x713 = 0;

e982:  - 0.5*x696 + x712 = 0;

e983:  - 0.5*x697 + x713 = 0;

e984:    x694 = 0;

e985:    x695 = 0;

e986:    x698 = 0;

e987:    x699 = 0;

e988:    x714 = 0;

e989:    x715 = 0;

e990:    x638 - x692 - x694 = 0;

e991:    x639 - x693 - x695 = 0;

e992:    x640 - x696 - x698 = 0;

e993:    x641 - x697 - x699 = 0;

e994:    x646 - x712 - x714 = 0;

e995:    x647 - x713 - x715 = 0;

e996:    x692 - 4.45628648004517*b760 <= 0;

e997:    x693 - 4.45628648004517*b761 <= 0;

e998:    x694 + 4.45628648004517*b760 <= 4.45628648004517;

e999:    x695 + 4.45628648004517*b761 <= 4.45628648004517;

e1000:    x696 - 30*b760 <= 0;

e1001:    x697 - 30*b761 <= 0;

e1002:    x698 + 30*b760 <= 30;

e1003:    x699 + 30*b761 <= 30;

e1004:    x712 - 15*b760 <= 0;

e1005:    x713 - 15*b761 <= 0;

e1006:    x714 + 15*b760 <= 15;

e1007:    x715 + 15*b761 <= 15;

e1008: (x732/(1e-6 + b762) - 1.25*log(1 + x716/(1e-6 + b762)))*(1e-6 + b762)
        <= 0;

e1009: (x733/(1e-6 + b763) - 1.25*log(1 + x717/(1e-6 + b763)))*(1e-6 + b763)
        <= 0;

e1010:    x718 = 0;

e1011:    x719 = 0;

e1012:    x734 = 0;

e1013:    x735 = 0;

e1014:    x648 - x716 - x718 = 0;

e1015:    x649 - x717 - x719 = 0;

e1016:    x658 - x732 - x734 = 0;

e1017:    x659 - x733 - x735 = 0;

e1018:    x716 - 3.34221486003388*b762 <= 0;

e1019:    x717 - 3.34221486003388*b763 <= 0;

e1020:    x718 + 3.34221486003388*b762 <= 3.34221486003388;

e1021:    x719 + 3.34221486003388*b763 <= 3.34221486003388;

e1022:    x732 - 1.83548069293539*b762 <= 0;

e1023:    x733 - 1.83548069293539*b763 <= 0;

e1024:    x734 + 1.83548069293539*b762 <= 1.83548069293539;

e1025:    x735 + 1.83548069293539*b763 <= 1.83548069293539;

e1026: (x736/(1e-6 + b764) - 0.9*log(1 + x720/(1e-6 + b764)))*(1e-6 + b764)
        <= 0;

e1027: (x737/(1e-6 + b765) - 0.9*log(1 + x721/(1e-6 + b765)))*(1e-6 + b765)
        <= 0;

e1028:    x722 = 0;

e1029:    x723 = 0;

e1030:    x738 = 0;

e1031:    x739 = 0;

e1032:    x650 - x720 - x722 = 0;

e1033:    x651 - x721 - x723 = 0;

e1034:    x660 - x736 - x738 = 0;

e1035:    x661 - x737 - x739 = 0;

e1036:    x720 - 3.34221486003388*b764 <= 0;

e1037:    x721 - 3.34221486003388*b765 <= 0;

e1038:    x722 + 3.34221486003388*b764 <= 3.34221486003388;

e1039:    x723 + 3.34221486003388*b765 <= 3.34221486003388;

e1040:    x736 - 1.32154609891348*b764 <= 0;

e1041:    x737 - 1.32154609891348*b765 <= 0;

e1042:    x738 + 1.32154609891348*b764 <= 1.32154609891348;

e1043:    x739 + 1.32154609891348*b765 <= 1.32154609891348;

e1044: (x740/(1e-6 + b766) - log(1 + x706/(1e-6 + b766)))*(1e-6 + b766) <= 0;

e1045: (x741/(1e-6 + b767) - log(1 + x707/(1e-6 + b767)))*(1e-6 + b767) <= 0;

e1046:    x710 = 0;

e1047:    x711 = 0;

e1048:    x742 = 0;

e1049:    x743 = 0;

e1050:    x644 - x706 - x710 = 0;

e1051:    x645 - x707 - x711 = 0;

e1052:    x662 - x740 - x742 = 0;

e1053:    x663 - x741 - x743 = 0;

e1054:    x706 - 2.54515263975353*b766 <= 0;

e1055:    x707 - 2.54515263975353*b767 <= 0;

e1056:    x710 + 2.54515263975353*b766 <= 2.54515263975353;

e1057:    x711 + 2.54515263975353*b767 <= 2.54515263975353;

e1058:    x740 - 1.26558121681553*b766 <= 0;

e1059:    x741 - 1.26558121681553*b767 <= 0;

e1060:    x742 + 1.26558121681553*b766 <= 1.26558121681553;

e1061:    x743 + 1.26558121681553*b767 <= 1.26558121681553;

e1062:  - 0.9*x724 + x744 = 0;

e1063:  - 0.9*x725 + x745 = 0;

e1064:    x726 = 0;

e1065:    x727 = 0;

e1066:    x746 = 0;

e1067:    x747 = 0;

e1068:    x652 - x724 - x726 = 0;

e1069:    x653 - x725 - x727 = 0;

e1070:    x664 - x744 - x746 = 0;

e1071:    x665 - x745 - x747 = 0;

e1072:    x724 - 15*b768 <= 0;

e1073:    x725 - 15*b769 <= 0;

e1074:    x726 + 15*b768 <= 15;

e1075:    x727 + 15*b769 <= 15;

e1076:    x744 - 13.5*b768 <= 0;

e1077:    x745 - 13.5*b769 <= 0;

e1078:    x746 + 13.5*b768 <= 13.5;

e1079:    x747 + 13.5*b769 <= 13.5;

e1080:  - 0.6*x728 + x748 = 0;

e1081:  - 0.6*x729 + x749 = 0;

e1082:    x730 = 0;

e1083:    x731 = 0;

e1084:    x750 = 0;

e1085:    x751 = 0;

e1086:    x654 - x728 - x730 = 0;

e1087:    x655 - x729 - x731 = 0;

e1088:    x666 - x748 - x750 = 0;

e1089:    x667 - x749 - x751 = 0;

e1090:    x728 - 15*b770 <= 0;

e1091:    x729 - 15*b771 <= 0;

e1092:    x730 + 15*b770 <= 15;

e1093:    x731 + 15*b771 <= 15;

e1094:    x748 - 9*b770 <= 0;

e1095:    x749 - 9*b771 <= 0;

e1096:    x750 + 9*b770 <= 9;

e1097:    x751 + 9*b771 <= 9;

e1098:    x470 + 5*b772 = 0;

e1099:    x471 + 4*b773 = 0;

e1100:    x472 + 8*b774 = 0;

e1101:    x473 + 7*b775 = 0;

e1102:    x474 + 6*b776 = 0;

e1103:    x475 + 9*b777 = 0;

e1104:    x476 + 10*b778 = 0;

e1105:    x477 + 9*b779 = 0;

e1106:    x478 + 6*b780 = 0;

e1107:    x479 + 10*b781 = 0;

e1108:    x480 + 7*b782 = 0;

e1109:    x481 + 7*b783 = 0;

e1110:    x482 + 4*b784 = 0;

e1111:    x483 + 3*b785 = 0;

e1112:    x484 + 5*b786 = 0;

e1113:    x485 + 6*b787 = 0;

e1114:    x486 + 2*b788 = 0;

e1115:    x487 + 5*b789 = 0;

e1116:    x488 + 4*b790 = 0;

e1117:    x489 + 7*b791 = 0;

e1118:    b752 - b753 <= 0;

e1119:    b754 - b755 <= 0;

e1120:    b756 - b757 <= 0;

e1121:    b758 - b759 <= 0;

e1122:    b760 - b761 <= 0;

e1123:    b762 - b763 <= 0;

e1124:    b764 - b765 <= 0;

e1125:    b766 - b767 <= 0;

e1126:    b768 - b769 <= 0;

e1127:    b770 - b771 <= 0;

e1128:    b772 + b773 <= 1;

e1129:    b772 + b773 <= 1;

e1130:    b774 + b775 <= 1;

e1131:    b774 + b775 <= 1;

e1132:    b776 + b777 <= 1;

e1133:    b776 + b777 <= 1;

e1134:    b778 + b779 <= 1;

e1135:    b778 + b779 <= 1;

e1136:    b780 + b781 <= 1;

e1137:    b780 + b781 <= 1;

e1138:    b782 + b783 <= 1;

e1139:    b782 + b783 <= 1;

e1140:    b784 + b785 <= 1;

e1141:    b784 + b785 <= 1;

e1142:    b786 + b787 <= 1;

e1143:    b786 + b787 <= 1;

e1144:    b788 + b789 <= 1;

e1145:    b788 + b789 <= 1;

e1146:    b790 + b791 <= 1;

e1147:    b790 + b791 <= 1;

e1148:    b752 - b772 <= 0;

e1149:  - b752 + b753 - b773 <= 0;

e1150:    b754 - b774 <= 0;

e1151:  - b754 + b755 - b775 <= 0;

e1152:    b756 - b776 <= 0;

e1153:  - b756 + b757 - b777 <= 0;

e1154:    b758 - b778 <= 0;

e1155:  - b758 + b759 - b779 <= 0;

e1156:    b760 - b780 <= 0;

e1157:  - b760 + b761 - b781 <= 0;

e1158:    b762 - b782 <= 0;

e1159:  - b762 + b763 - b783 <= 0;

e1160:    b764 - b784 <= 0;

e1161:  - b764 + b765 - b785 <= 0;

e1162:    b766 - b786 <= 0;

e1163:  - b766 + b767 - b787 <= 0;

e1164:    b768 - b788 <= 0;

e1165:  - b768 + b769 - b789 <= 0;

e1166:    b770 - b790 <= 0;

e1167:  - b770 + b771 - b791 <= 0;

e1168:    b752 + b754 = 1;

e1169:    b753 + b755 = 1;

e1170:  - b756 + b762 + b764 >= 0;

e1171:  - b757 + b763 + b765 >= 0;

e1172:  - b758 + b766 >= 0;

e1173:  - b759 + b767 >= 0;

e1174:    b752 + b754 - b756 >= 0;

e1175:    b753 + b755 - b757 >= 0;

e1176:    b752 + b754 - b758 >= 0;

e1177:    b753 + b755 - b759 >= 0;

e1178:    b752 + b754 - b760 >= 0;

e1179:    b753 + b755 - b761 >= 0;

e1180:    b756 - b762 >= 0;

e1181:    b757 - b763 >= 0;

e1182:    b756 - b764 >= 0;

e1183:    b757 - b765 >= 0;

e1184:    b758 - b766 >= 0;

e1185:    b759 - b767 >= 0;

e1186:    b760 - b768 >= 0;

e1187:    b761 - b769 >= 0;

e1188:    b760 - b770 >= 0;

e1189:    b761 - b771 >= 0;