#  MINLP written by GAMS Convert at 01/12/18 13:42:14
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       2152      280      477     1395        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        931      559      372        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       5359     5299       60        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 b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;
var b314 binary >= 0, <= 1;
var b315 binary >= 0, <= 1;
var b316 binary >= 0, <= 1;
var b317 binary >= 0, <= 1;
var b318 binary >= 0, <= 1;
var b319 binary >= 0, <= 1;
var b320 binary >= 0, <= 1;
var b321 binary >= 0, <= 1;
var b322 binary >= 0, <= 1;
var b323 binary >= 0, <= 1;
var b324 binary >= 0, <= 1;
var b325 binary >= 0, <= 1;
var b326 binary >= 0, <= 1;
var b327 binary >= 0, <= 1;
var b328 binary >= 0, <= 1;
var b329 binary >= 0, <= 1;
var b330 binary >= 0, <= 1;
var b331 binary >= 0, <= 1;
var b332 binary >= 0, <= 1;
var b333 binary >= 0, <= 1;
var b334 binary >= 0, <= 1;
var b335 binary >= 0, <= 1;
var b336 binary >= 0, <= 1;
var b337 binary >= 0, <= 1;
var b338 binary >= 0, <= 1;
var b339 binary >= 0, <= 1;
var b340 binary >= 0, <= 1;
var b341 binary >= 0, <= 1;
var b342 binary >= 0, <= 1;
var b343 binary >= 0, <= 1;
var b344 binary >= 0, <= 1;
var b345 binary >= 0, <= 1;
var b346 binary >= 0, <= 1;
var b347 binary >= 0, <= 1;
var b348 binary >= 0, <= 1;
var b349 binary >= 0, <= 1;
var b350 binary >= 0, <= 1;
var b351 binary >= 0, <= 1;
var b352 binary >= 0, <= 1;
var b353 binary >= 0, <= 1;
var b354 binary >= 0, <= 1;
var b355 binary >= 0, <= 1;
var b356 binary >= 0, <= 1;
var b357 binary >= 0, <= 1;
var b358 binary >= 0, <= 1;
var b359 binary >= 0, <= 1;
var b360 binary >= 0, <= 1;
var b361 binary >= 0, <= 1;
var b362 binary >= 0, <= 1;
var b363 binary >= 0, <= 1;
var b364 binary >= 0, <= 1;
var b365 binary >= 0, <= 1;
var b366 binary >= 0, <= 1;
var b367 binary >= 0, <= 1;
var b368 binary >= 0, <= 1;
var b369 binary >= 0, <= 1;
var b370 binary >= 0, <= 1;
var b371 binary >= 0, <= 1;
var b372 binary >= 0, <= 1;
var b373 binary >= 0, <= 1;
var b374 binary >= 0, <= 1;
var b375 binary >= 0, <= 1;
var b376 binary >= 0, <= 1;
var b377 binary >= 0, <= 1;
var b378 binary >= 0, <= 1;
var b379 binary >= 0, <= 1;
var b380 binary >= 0, <= 1;
var b381 binary >= 0, <= 1;
var b382 binary >= 0, <= 1;
var b383 binary >= 0, <= 1;
var b384 binary >= 0, <= 1;
var b385 binary >= 0, <= 1;
var b386 binary >= 0, <= 1;
var b387 binary >= 0, <= 1;
var b388 binary >= 0, <= 1;
var b389 binary >= 0, <= 1;
var b390 binary >= 0, <= 1;
var b391 binary >= 0, <= 1;
var b392 binary >= 0, <= 1;
var b393 binary >= 0, <= 1;
var b394 binary >= 0, <= 1;
var b395 binary >= 0, <= 1;
var b396 binary >= 0, <= 1;
var b397 binary >= 0, <= 1;
var b398 binary >= 0, <= 1;
var b399 binary >= 0, <= 1;
var b400 binary >= 0, <= 1;
var b401 binary >= 0, <= 1;
var b402 binary >= 0, <= 1;
var b403 binary >= 0, <= 1;
var b404 binary >= 0, <= 1;
var b405 binary >= 0, <= 1;
var b406 binary >= 0, <= 1;
var b407 binary >= 0, <= 1;
var b408 binary >= 0, <= 1;
var b409 binary >= 0, <= 1;
var b410 binary >= 0, <= 1;
var b411 binary >= 0, <= 1;
var b412 binary >= 0, <= 1;
var b413 binary >= 0, <= 1;
var b414 binary >= 0, <= 1;
var b415 binary >= 0, <= 1;
var b416 binary >= 0, <= 1;
var b417 binary >= 0, <= 1;
var b418 binary >= 0, <= 1;
var b419 binary >= 0, <= 1;
var b420 binary >= 0, <= 1;
var b421 binary >= 0, <= 1;
var b422 binary >= 0, <= 1;
var b423 binary >= 0, <= 1;
var b424 binary >= 0, <= 1;
var b425 binary >= 0, <= 1;
var b426 binary >= 0, <= 1;
var b427 binary >= 0, <= 1;
var b428 binary >= 0, <= 1;
var b429 binary >= 0, <= 1;
var b430 binary >= 0, <= 1;
var b431 binary >= 0, <= 1;
var b432 binary >= 0, <= 1;
var b433 binary >= 0, <= 1;
var b434 binary >= 0, <= 1;
var b435 binary >= 0, <= 1;
var b436 binary >= 0, <= 1;
var b437 binary >= 0, <= 1;
var b438 binary >= 0, <= 1;
var b439 binary >= 0, <= 1;
var b440 binary >= 0, <= 1;
var b441 binary >= 0, <= 1;
var b442 binary >= 0, <= 1;
var b443 binary >= 0, <= 1;
var b444 binary >= 0, <= 1;
var b445 binary >= 0, <= 1;
var b446 binary >= 0, <= 1;
var b447 binary >= 0, <= 1;
var b448 binary >= 0, <= 1;
var b449 binary >= 0, <= 1;
var b450 binary >= 0, <= 1;
var b451 binary >= 0, <= 1;
var x452 >= 0, <= 40;
var x453 >= 0, <= 40;
var x454 >= 0, <= 40;
var x455 >= 0;
var x456 >= 0;
var x457 >= 0;
var x458 >= 0;
var x459 >= 0;
var x460 >= 0;
var x461 >= 0;
var x462 >= 0;
var x463 >= 0;
var x464 >= 0;
var x465 >= 0;
var x466 >= 0;
var x467 >= 0;
var x468 >= 0;
var x469 >= 0;
var x470 >= 0;
var x471 >= 0;
var x472 >= 0;
var x473 >= 0;
var x474 >= 0;
var x475 >= 0;
var x476 >= 0;
var x477 >= 0;
var x478 >= 0;
var x479 >= 0;
var x480 >= 0;
var x481 >= 0;
var x482 >= 0;
var x483 >= 0;
var x484 >= 0;
var x485 >= 0, <= 30;
var x486 >= 0, <= 30;
var x487 >= 0, <= 30;
var x488 >= 0;
var x489 >= 0;
var x490 >= 0;
var x491 >= 0;
var x492 >= 0;
var x493 >= 0;
var x494 >= 0;
var x495 >= 0;
var x496 >= 0;
var x497 >= 0;
var x498 >= 0;
var x499 >= 0;
var x500 >= 0;
var x501 >= 0;
var x502 >= 0;
var x503 >= 0;
var x504 >= 0;
var x505 >= 0;
var x506 >= 0;
var x507 >= 0;
var x508 >= 0;
var x509 >= 0;
var x510 >= 0;
var x511 >= 0;
var x512 >= 0;
var x513 >= 0;
var x514 >= 0;
var x515 >= 0;
var x516 >= 0;
var x517 >= 0;
var x518 >= 0;
var x519 >= 0;
var x520 >= 0;
var x521 >= 0;
var x522 >= 0;
var x523 >= 0;
var x524 >= 0;
var x525 >= 0;
var x526 >= 0;
var x527 >= 0;
var x528 >= 0;
var x529 >= 0;
var x530 >= 0;
var x531 >= 0;
var x532 >= 0;
var x533 >= 0;
var x534 >= 0;
var x535 >= 0;
var x536 >= 0, <= 20;
var x537 >= 0, <= 20;
var x538 >= 0, <= 20;
var x539 >= 0, <= 20;
var x540 >= 0, <= 20;
var x541 >= 0, <= 20;
var x542 >= 0;
var x543 >= 0;
var x544 >= 0;
var x545 >= 0;
var x546 >= 0;
var x547 >= 0;
var x548 >= 0;
var x549 >= 0;
var x550 >= 0;
var x551 >= 0;
var x552 >= 0;
var x553 >= 0;
var x554 >= 0;
var x555 >= 0;
var x556 >= 0;
var x557 >= 0;
var x558 >= 0;
var x559 >= 0;
var x560 >= 0;
var x561 >= 0;
var x562 >= 0;
var x563 >= 0;
var x564 >= 0;
var x565 >= 0;
var x566 >= 0;
var x567 >= 0;
var x568 >= 0;
var x569 >= 0;
var x570 >= 0;
var x571 >= 0;
var x572 >= 0;
var x573 >= 0;
var x574 >= 0;
var x575 >= 0;
var x576 >= 0;
var x577 >= 0;
var x578 >= 0;
var x579 >= 0;
var x580 >= 0;
var x581 >= 0;
var x582 >= 0;
var x583 >= 0;
var x584 >= 0;
var x585 >= 0;
var x586 >= 0;
var x587 >= 0;
var x588 >= 0;
var x589 >= 0;
var x590 >= 0;
var x591 >= 0;
var x592 >= 0;
var x593 >= 0;
var x594 >= 0;
var x595 >= 0;
var x596 >= 0;
var x597 >= 0;
var x598 >= 0;
var x599 >= 0;
var x600 >= 0;
var x601 >= 0;
var x602 >= 0;
var x603 >= 0;
var x604 >= 0;
var x605 >= 0;
var x606 >= 0;
var x607 >= 0;
var x608 >= 0;
var x609 >= 0;
var x610 >= 0;
var x611 >= 0;
var x612 >= 0;
var x613 >= 0;
var x614 >= 0;
var x615 >= 0;
var x616 >= 0;
var x617 >= 0;
var x618 >= 0;
var x619 >= 0;
var x620 >= 0, <= 30;
var x621 >= 0, <= 30;
var x622 >= 0, <= 30;
var x623 >= 0;
var x624 >= 0;
var x625 >= 0;
var x626 >= 0;
var x627 >= 0;
var x628 >= 0;
var x629 >= 0;
var x630 >= 0;
var x631 >= 0;
var x632 >= 0;
var x633 >= 0;
var x634 >= 0;
var x635 >= 0;
var x636 >= 0;
var x637 >= 0;
var x638 >= 0;
var x639 >= 0;
var x640 >= 0;
var x641 >= 0;
var x642 >= 0;
var x643 >= 0;
var x644 >= 0;
var x645 >= 0;
var x646 >= 0;
var x647 >= 0;
var x648 >= 0;
var x649 >= 0;
var x650 >= 0;
var x651 >= 0;
var x652 >= 0;
var x653 >= 0;
var x654 >= 0;
var x655 >= 0;
var x656 >= 0;
var x657 >= 0;
var x658 >= 0;
var x659 >= 0;
var x660 >= 0;
var x661 >= 0;
var b662 binary >= 0, <= 1;
var b663 binary >= 0, <= 1;
var b664 binary >= 0, <= 1;
var b665 binary >= 0, <= 1;
var b666 binary >= 0, <= 1;
var b667 binary >= 0, <= 1;
var b668 binary >= 0, <= 1;
var b669 binary >= 0, <= 1;
var b670 binary >= 0, <= 1;
var b671 binary >= 0, <= 1;
var b672 binary >= 0, <= 1;
var b673 binary >= 0, <= 1;
var b674 binary >= 0, <= 1;
var b675 binary >= 0, <= 1;
var b676 binary >= 0, <= 1;
var b677 binary >= 0, <= 1;
var b678 binary >= 0, <= 1;
var b679 binary >= 0, <= 1;
var b680 binary >= 0, <= 1;
var b681 binary >= 0, <= 1;
var b682 binary >= 0, <= 1;
var b683 binary >= 0, <= 1;
var b684 binary >= 0, <= 1;
var b685 binary >= 0, <= 1;
var b686 binary >= 0, <= 1;
var b687 binary >= 0, <= 1;
var b688 binary >= 0, <= 1;
var b689 binary >= 0, <= 1;
var b690 binary >= 0, <= 1;
var b691 binary >= 0, <= 1;
var b692 binary >= 0, <= 1;
var b693 binary >= 0, <= 1;
var b694 binary >= 0, <= 1;
var b695 binary >= 0, <= 1;
var b696 binary >= 0, <= 1;
var b697 binary >= 0, <= 1;
var b698 binary >= 0, <= 1;
var b699 binary >= 0, <= 1;
var b700 binary >= 0, <= 1;
var b701 binary >= 0, <= 1;
var b702 binary >= 0, <= 1;
var b703 binary >= 0, <= 1;
var b704 binary >= 0, <= 1;
var b705 binary >= 0, <= 1;
var b706 binary >= 0, <= 1;
var b707 binary >= 0, <= 1;
var b708 binary >= 0, <= 1;
var b709 binary >= 0, <= 1;
var b710 binary >= 0, <= 1;
var b711 binary >= 0, <= 1;
var b712 binary >= 0, <= 1;
var b713 binary >= 0, <= 1;
var b714 binary >= 0, <= 1;
var b715 binary >= 0, <= 1;
var b716 binary >= 0, <= 1;
var b717 binary >= 0, <= 1;
var b718 binary >= 0, <= 1;
var b719 binary >= 0, <= 1;
var b720 binary >= 0, <= 1;
var b721 binary >= 0, <= 1;
var b722 binary >= 0, <= 1;
var b723 binary >= 0, <= 1;
var b724 binary >= 0, <= 1;
var b725 binary >= 0, <= 1;
var b726 binary >= 0, <= 1;
var b727 binary >= 0, <= 1;
var b728 binary >= 0, <= 1;
var b729 binary >= 0, <= 1;
var b730 binary >= 0, <= 1;
var b731 binary >= 0, <= 1;
var b732 binary >= 0, <= 1;
var b733 binary >= 0, <= 1;
var b734 binary >= 0, <= 1;
var b735 binary >= 0, <= 1;
var b736 binary >= 0, <= 1;
var b737 binary >= 0, <= 1;
var b738 binary >= 0, <= 1;
var b739 binary >= 0, <= 1;
var b740 binary >= 0, <= 1;
var b741 binary >= 0, <= 1;
var b742 binary >= 0, <= 1;
var b743 binary >= 0, <= 1;
var b744 binary >= 0, <= 1;
var b745 binary >= 0, <= 1;
var b746 binary >= 0, <= 1;
var b747 binary >= 0, <= 1;
var b748 binary >= 0, <= 1;
var b749 binary >= 0, <= 1;
var b750 binary >= 0, <= 1;
var b751 binary >= 0, <= 1;
var b752 binary >= 0, <= 1;
var b753 binary >= 0, <= 1;
var b754 binary >= 0, <= 1;
var b755 binary >= 0, <= 1;
var b756 binary >= 0, <= 1;
var b757 binary >= 0, <= 1;
var b758 binary >= 0, <= 1;
var b759 binary >= 0, <= 1;
var b760 binary >= 0, <= 1;
var b761 binary >= 0, <= 1;
var b762 binary >= 0, <= 1;
var b763 binary >= 0, <= 1;
var b764 binary >= 0, <= 1;
var b765 binary >= 0, <= 1;
var b766 binary >= 0, <= 1;
var b767 binary >= 0, <= 1;
var b768 binary >= 0, <= 1;
var b769 binary >= 0, <= 1;
var b770 binary >= 0, <= 1;
var b771 binary >= 0, <= 1;
var b772 binary >= 0, <= 1;
var b773 binary >= 0, <= 1;
var b774 binary >= 0, <= 1;
var b775 binary >= 0, <= 1;
var b776 binary >= 0, <= 1;
var b777 binary >= 0, <= 1;
var b778 binary >= 0, <= 1;
var b779 binary >= 0, <= 1;
var b780 binary >= 0, <= 1;
var b781 binary >= 0, <= 1;
var b782 binary >= 0, <= 1;
var b783 binary >= 0, <= 1;
var b784 binary >= 0, <= 1;
var b785 binary >= 0, <= 1;
var b786 binary >= 0, <= 1;
var b787 binary >= 0, <= 1;
var b788 binary >= 0, <= 1;
var b789 binary >= 0, <= 1;
var b790 binary >= 0, <= 1;
var b791 binary >= 0, <= 1;
var b792 binary >= 0, <= 1;
var b793 binary >= 0, <= 1;
var b794 binary >= 0, <= 1;
var b795 binary >= 0, <= 1;
var b796 binary >= 0, <= 1;
var b797 binary >= 0, <= 1;
var b798 binary >= 0, <= 1;
var b799 binary >= 0, <= 1;
var b800 binary >= 0, <= 1;
var b801 binary >= 0, <= 1;
var b802 binary >= 0, <= 1;
var b803 binary >= 0, <= 1;
var b804 binary >= 0, <= 1;
var b805 binary >= 0, <= 1;
var b806 binary >= 0, <= 1;
var b807 binary >= 0, <= 1;
var b808 binary >= 0, <= 1;
var b809 binary >= 0, <= 1;
var b810 binary >= 0, <= 1;
var b811 binary >= 0, <= 1;
var b812 binary >= 0, <= 1;
var b813 binary >= 0, <= 1;
var b814 binary >= 0, <= 1;
var b815 binary >= 0, <= 1;
var b816 binary >= 0, <= 1;
var b817 binary >= 0, <= 1;
var b818 binary >= 0, <= 1;
var b819 binary >= 0, <= 1;
var b820 binary >= 0, <= 1;
var b821 binary >= 0, <= 1;
var b822 binary >= 0, <= 1;
var b823 binary >= 0, <= 1;
var b824 binary >= 0, <= 1;
var b825 binary >= 0, <= 1;
var b826 binary >= 0, <= 1;
var b827 binary >= 0, <= 1;
var b828 binary >= 0, <= 1;
var b829 binary >= 0, <= 1;
var b830 binary >= 0, <= 1;
var b831 binary >= 0, <= 1;
var b832 binary >= 0, <= 1;
var b833 binary >= 0, <= 1;
var b834 binary >= 0, <= 1;
var b835 binary >= 0, <= 1;
var b836 binary >= 0, <= 1;
var b837 binary >= 0, <= 1;
var b838 binary >= 0, <= 1;
var b839 binary >= 0, <= 1;
var b840 binary >= 0, <= 1;
var b841 binary >= 0, <= 1;
var x842;
var x843;
var x844;
var x845;
var x846;
var x847;
var x848;
var x849;
var x850;
var x851;
var x852;
var x853;
var x854;
var x855;
var x856;
var x857;
var x858;
var x859;
var x860;
var x861;
var x862;
var x863;
var x864;
var x865;
var x866;
var x867;
var x868;
var x869;
var x870;
var x871;
var x872;
var x873;
var x874;
var x875;
var x876;
var x877;
var x878;
var x879;
var x880;
var x881;
var x882;
var x883;
var x884;
var x885;
var x886;
var x887;
var x888;
var x889;
var x890;
var x891;
var x892;
var x893;
var x894;
var x895;
var x896;
var x897;
var x898;
var x899;
var x900;
var x901;
var x902;
var x903;
var x904;
var x905;
var x906;
var x907;
var x908;
var x909;
var x910;
var x911;
var x912;
var x913;
var x914;
var x915;
var x916;
var x917;
var x918;
var x919;
var x920;
var x921;
var x922;
var x923;
var x924;
var x925;
var x926;
var x927;
var x928;
var x929;
var x930;
var x931;

maximize obj:  - 20*x2 - 17*x3 - 15*x4 - 20*x17 - 21*x18 - 19*x19 - 18*x29
     - 20*x30 - 20*x31 - 16*x65 - 19*x66 - 17*x67 + 26*x77 + 31*x78 + 31*x79
     + 30*x83 + 29*x84 + 37*x85 - 20*x86 - 18*x87 - 21*x88 + 2*x95 + 2*x96
     + 2*x97 + 3*x98 + 2*x99 + 2*x100 + 3*x101 + 3*x102 + 3*x103 + 2*x104
     + 2*x105 + 2*x106 - 6*b359 - 4*b360 - 3*b361 - 40*b362 - 35*b363 - 20*b364
     - 46*b365 - 39*b366 - 23*b367 - 7*b371 - 4*b372 - 4*b373 - 30*b374
     - 25*b375 - 20*b376 - 37*b377 - 29*b378 - 22*b379 - 7*b383 - 5*b384
     - 3*b385 - 15*b386 - 5*b387 - 2*b388 - 22*b389 - 10*b390 - 5*b391
     - 11*b395 - 8*b396 - 6*b397 - 13*b398 - 8*b399 - 3*b400 - 24*b401
     - 16*b402 - 9*b403 - 10*b407 - 7*b408 - 6*b409 - 13*b410 - 8*b411 - 3*b412
     - 23*b413 - 15*b414 - 9*b415 - 9*b419 - 9*b420 - 7*b421 - 30*b422
     - 30*b423 - 25*b424 - 39*b425 - 39*b426 - 32*b427 - 8*b431 - 7*b432
     - 7*b433 - 20*b434 - 15*b435 - 10*b436 - 28*b437 - 22*b438 - 17*b439
     - 8*b443 - 6*b444 - 5*b445 - 15*b446 - 10*b447 - 6*b448 - 23*b449
     - 16*b450 - 11*b451 - x452 - x453 - x454 + 5*x470 + 10*x471 + 5*x472
     - 2*x485 - x486 - 2*x487 - 10*x536 - 5*x537 - 5*x538 - 5*x539 - 5*x540
     - 5*x541 + 40*x560 + 30*x561 + 15*x562 + 15*x563 + 20*x564 + 25*x565
     + 10*x566 + 30*x567 + 40*x568 + 30*x569 + 20*x570 + 20*x571 + 35*x572
     + 50*x573 + 20*x574 + 20*x575 + 30*x576 + 35*x577 + 25*x578 + 50*x579
     + 10*x580 + 15*x581 + 20*x582 + 20*x583 + 30*x605 + 40*x606 + 40*x607
     - x620 - x621 - x622 + 80*x644 + 90*x645 + 120*x646 + 285*x647 + 390*x648
     + 350*x649 + 290*x650 + 405*x651 + 190*x652 + 280*x653 + 400*x654
     + 430*x655 + 290*x656 + 300*x657 + 240*x658 + 350*x659 + 250*x660
     + 300*x661 - 5*b752 - 4*b753 - 6*b754 - 8*b755 - 7*b756 - 6*b757 - 6*b758
     - 9*b759 - 4*b760 - 10*b761 - 9*b762 - 5*b763 - 6*b764 - 10*b765 - 6*b766
     - 7*b767 - 7*b768 - 4*b769 - 4*b770 - 3*b771 - 2*b772 - 5*b773 - 6*b774
     - 7*b775 - 2*b776 - 5*b777 - 2*b778 - 4*b779 - 7*b780 - 4*b781 - 3*b782
     - 9*b783 - 3*b784 - 7*b785 - 2*b786 - 9*b787 - 3*b788 - b789 - 9*b790
     - 2*b791 - 6*b792 - 3*b793 - 4*b794 - 8*b795 - b796 - 2*b797 - 5*b798
     - 2*b799 - 3*b800 - 4*b801 - 3*b802 - 5*b803 - 7*b804 - 6*b805 - 2*b806
     - 8*b807 - 4*b808 - b809 - 4*b810 - b811 - 2*b812 - 5*b813 - 2*b814
     - 9*b815 - 2*b816 - 9*b817 - 5*b818 - 8*b819 - 4*b820 - 2*b821 - 3*b822
     - 8*b823 - 10*b824 - 6*b825 - 3*b826 - 4*b827 - 8*b828 - 7*b829 - 7*b830
     - 3*b831 - 9*b832 - 4*b833 - 8*b834 - 6*b835 - 2*b836 - b837 - 3*b838
     - 8*b839 - 3*b840 - 4*b841;

subject to

e2:    x2 - 0.2*x107 = 0;

e3:    x3 - 0.2*x108 = 0;

e4:    x4 - 0.2*x109 = 0;

e5:    x5 - 0.2*x110 = 0;

e6:    x6 - 0.2*x111 = 0;

e7:    x7 - 0.2*x112 = 0;

e8:    x8 - 0.2*x113 = 0;

e9:    x9 - 0.2*x114 = 0;

e10:    x10 - 0.2*x115 = 0;

e11:    x11 - 0.2*x116 = 0;

e12:    x12 - 0.2*x117 = 0;

e13:    x13 - 0.2*x118 = 0;

e14:    x14 - 0.2*x119 = 0;

e15:    x15 - 0.2*x120 = 0;

e16:    x16 - 0.2*x121 = 0;

e17:    x17 - 0.5*x122 = 0;

e18:    x18 - 0.5*x123 = 0;

e19:    x19 - 0.5*x124 = 0;

e20:    x20 - 0.5*x125 = 0;

e21:    x21 - 0.5*x126 = 0;

e22:    x22 - 0.5*x127 = 0;

e23:    x23 - 0.7*x128 = 0;

e24:    x24 - 0.7*x129 = 0;

e25:    x25 - 0.7*x130 = 0;

e26:    x26 - 0.7*x131 = 0;

e27:    x27 - 0.7*x132 = 0;

e28:    x28 - 0.7*x133 = 0;

e29:    x29 - 1.2*x134 = 0;

e30:    x30 - 1.2*x135 = 0;

e31:    x31 - 1.2*x136 = 0;

e32:    x32 - 1.2*x137 = 0;

e33:    x33 - 1.2*x138 = 0;

e34:    x34 - 1.2*x139 = 0;

e35:    x35 - 0.5*x140 = 0;

e36:    x36 - 0.5*x141 = 0;

e37:    x37 - 0.5*x142 = 0;

e38:    x38 - 0.7*x143 = 0;

e39:    x39 - 0.7*x144 = 0;

e40:    x40 - 0.7*x145 = 0;

e41:    x41 - 1.2*x146 = 0;

e42:    x42 - 1.2*x147 = 0;

e43:    x43 - 1.2*x148 = 0;

e44:    x44 - 1.2*x149 = 0;

e45:    x45 - 1.2*x150 = 0;

e46:    x46 - 1.2*x151 = 0;

e47:    x47 - 1.2*x152 = 0;

e48:    x48 - 1.2*x153 = 0;

e49:    x49 - 1.2*x154 = 0;

e50:    x50 - 1.2*x155 = 0;

e51:    x51 - 1.2*x156 = 0;

e52:    x52 - 1.2*x157 = 0;

e53:    x53 - 0.3*x158 = 0;

e54:    x54 - 0.3*x159 = 0;

e55:    x55 - 0.3*x160 = 0;

e56:    x56 - 0.9*x161 = 0;

e57:    x57 - 0.9*x162 = 0;

e58:    x58 - 0.9*x163 = 0;

e59:    x59 - 0.3*x164 = 0;

e60:    x60 - 0.3*x165 = 0;

e61:    x61 - 0.3*x166 = 0;

e62:    x62 - 0.9*x167 = 0;

e63:    x63 - 0.9*x168 = 0;

e64:    x64 - 0.9*x169 = 0;

e65:    x65 - 0.4*x170 = 0;

e66:    x66 - 0.4*x171 = 0;

e67:    x67 - 0.4*x172 = 0;

e68:    x68 - 0.4*x173 = 0;

e69:    x69 - 0.4*x174 = 0;

e70:    x70 - 0.4*x175 = 0;

e71:    x71 - 0.4*x176 = 0;

e72:    x72 - 0.4*x177 = 0;

e73:    x73 - 0.4*x178 = 0;

e74:    x74 - 1.6*x179 = 0;

e75:    x75 - 1.6*x180 = 0;

e76:    x76 - 1.6*x181 = 0;

e77:    x77 - 1.6*x182 = 0;

e78:    x78 - 1.6*x183 = 0;

e79:    x79 - 1.6*x184 = 0;

e80:    x80 - 1.1*x185 = 0;

e81:    x81 - 1.1*x186 = 0;

e82:    x82 - 1.1*x187 = 0;

e83:    x83 - 1.1*x188 = 0;

e84:    x84 - 1.1*x189 = 0;

e85:    x85 - 1.1*x190 = 0;

e86:    x86 - 0.7*x191 = 0;

e87:    x87 - 0.7*x192 = 0;

e88:    x88 - 0.7*x193 = 0;

e89:    x89 - 0.7*x194 = 0;

e90:    x90 - 0.7*x195 = 0;

e91:    x91 - 0.7*x196 = 0;

e92:    x92 - 0.7*x197 = 0;

e93:    x93 - 0.7*x198 = 0;

e94:    x94 - 0.7*x199 = 0;

e95:    x95 - 0.2*x200 = 0;

e96:    x96 - 0.2*x201 = 0;

e97:    x97 - 0.2*x202 = 0;

e98:    x98 - 0.7*x203 = 0;

e99:    x99 - 0.7*x204 = 0;

e100:    x100 - 0.7*x205 = 0;

e101:    x101 - 0.3*x206 = 0;

e102:    x102 - 0.3*x207 = 0;

e103:    x103 - 0.3*x208 = 0;

e104:    x104 - 0.9*x209 = 0;

e105:    x105 - 0.9*x210 = 0;

e106:    x106 - 0.9*x211 = 0;

e107:    x77 >= 1.2;

e108:    x78 >= 1.15;

e109:    x79 >= 1.1;

e110:    x83 >= 1.2;

e111:    x84 >= 1.15;

e112:    x85 >= 1.1;

e113:    x95 >= 1.1;

e114:    x96 >= 1.1;

e115:    x97 >= 1.1;

e116:    x98 >= 1.1;

e117:    x99 >= 1.1;

e118:    x100 >= 1.1;

e119:    x101 >= 1.4;

e120:    x102 >= 1.3;

e121:    x103 >= 1.2;

e122:    x104 >= 1.3;

e123:    x105 >= 1.2;

e124:    x106 >= 1.1;

e125:    x2 <= 55;

e126:    x3 <= 40;

e127:    x4 <= 40;

e128:    x17 <= 46;

e129:    x18 <= 41;

e130:    x19 <= 50;

e131:    x29 <= 45;

e132:    x30 <= 62;

e133:    x31 <= 42;

e134:    x65 <= 54;

e135:    x66 <= 51;

e136:    x67 <= 50;

e137:    x86 <= 40;

e138:    x87 <= 45;

e139:    x88 <= 41;

e140:    x2 - x5 - x8 = 0;

e141:    x3 - x6 - x9 = 0;

e142:    x4 - x7 - x10 = 0;

e143:    x11 - x14 = 0;

e144:    x12 - x15 = 0;

e145:    x13 - x16 = 0;

e146:    x17 - x20 + x35 = 0;

e147:    x18 - x21 + x36 = 0;

e148:    x19 - x22 + x37 = 0;

e149:    x23 - x26 + x38 = 0;

e150:    x24 - x27 + x39 = 0;

e151:    x25 - x28 + x40 = 0;

e152:    x29 - x32 - x41 = 0;

e153:    x30 - x33 - x42 = 0;

e154:    x31 - x34 - x43 = 0;

e155:    x44 - x47 - x50 = 0;

e156:    x45 - x48 - x51 = 0;

e157:    x46 - x49 - x52 = 0;

e158:    x53 - x59 = 0;

e159:    x54 - x60 = 0;

e160:    x55 - x61 = 0;

e161:    x56 - x62 = 0;

e162:    x57 - x63 = 0;

e163:    x58 - x64 = 0;

e164:    x65 - x68 - x71 = 0;

e165:    x66 - x69 - x72 = 0;

e166:    x67 - x70 - x73 = 0;

e167:    x74 - x77 = 0;

e168:    x75 - x78 = 0;

e169:    x76 - x79 = 0;

e170:    x80 - x83 = 0;

e171:    x81 - x84 = 0;

e172:    x82 - x85 = 0;

e173:    x86 - x89 = 0;

e174:    x87 - x90 = 0;

e175:    x88 - x91 = 0;

e176:    x5 - x11 - x212 = 0;

e177:    x6 - x12 - x213 = 0;

e178:    x7 - x13 - x214 = 0;

e179:    x8 + x20 - x23 - x215 = 0;

e180:    x9 + x21 - x24 - x216 = 0;

e181:    x10 + x22 - x25 - x217 = 0;

e182:    x32 - x35 - x38 - x218 = 0;

e183:    x33 - x36 - x39 - x219 = 0;

e184:    x34 - x37 - x40 - x220 = 0;

e185:    x41 - x44 - x221 = 0;

e186:    x42 - x45 - x222 = 0;

e187:    x43 - x46 - x223 = 0;

e188:    x50 - x53 - x56 - x224 = 0;

e189:    x51 - x54 - x57 - x225 = 0;

e190:    x52 - x55 - x58 - x226 = 0;

e191:    x47 + x68 - x74 - x227 = 0;

e192:    x48 + x69 - x75 - x228 = 0;

e193:    x49 + x70 - x76 - x229 = 0;

e194:    x71 - x80 + x92 - x230 = 0;

e195:    x72 - x81 + x93 - x231 = 0;

e196:    x73 - x82 + x94 - x232 = 0;

e197:    x89 - x92 - x233 = 0;

e198:    x90 - x93 - x234 = 0;

e199:    x91 - x94 - x235 = 0;

e200:    x113 - x125 <= 0;

e201:    x114 - x126 <= 0;

e202:    x115 - x127 <= 0;

e203:    x152 - x173 <= 0;

e204:    x153 - x174 <= 0;

e205:    x154 - x175 <= 0;

e206:    x176 - x197 <= 0;

e207:    x177 - x198 <= 0;

e208:    x178 - x199 <= 0;

e209:  - 0.8*x110 + x116 + 233.75*b260 <= 233.75;

e210:  - 0.8*x111 + x117 + 170*b261 <= 170;

e211:  - 0.8*x112 + x118 + 170*b262 <= 170;

e212:  - 0.85*x110 + x116 + 233.75*b263 <= 233.75;

e213:  - 0.85*x111 + x117 + 170*b264 <= 170;

e214:  - 0.85*x112 + x118 + 170*b265 <= 170;

e215:  - 0.8*x110 + x116 + 233.75*b266 <= 233.75;

e216:  - 0.8*x111 + x117 + 170*b267 <= 170;

e217:  - 0.8*x112 + x118 + 170*b268 <= 170;

e218:  - 0.85*x110 + x116 + 233.75*b269 <= 233.75;

e219:  - 0.85*x111 + x117 + 170*b270 <= 170;

e220:  - 0.85*x112 + x118 + 170*b271 <= 170;

e221:  - 0.8*x110 + x116 - 233.75*b260 >= -233.75;

e222:  - 0.8*x111 + x117 - 170*b261 >= -170;

e223:  - 0.8*x112 + x118 - 170*b262 >= -170;

e224:  - 0.85*x110 + x116 - 233.75*b263 >= -233.75;

e225:  - 0.85*x111 + x117 - 170*b264 >= -170;

e226:  - 0.85*x112 + x118 - 170*b265 >= -170;

e227:  - 0.8*x110 + x116 - 233.75*b266 >= -233.75;

e228:  - 0.8*x111 + x117 - 170*b267 >= -170;

e229:  - 0.8*x112 + x118 - 170*b268 >= -170;

e230:  - 0.85*x110 + x116 - 233.75*b269 >= -233.75;

e231:  - 0.85*x111 + x117 - 170*b270 >= -170;

e232:  - 0.85*x112 + x118 - 170*b271 >= -170;

e233:  - 0.9*x113 + x128 + 383.5625*b272 <= 383.5625;

e234:  - 0.9*x114 + x129 + 316.001666666667*b273 <= 316.001666666667;

e235:  - 0.9*x115 + x130 + 317.585*b274 <= 317.585;

e236:  - 0.95*x113 + x128 + 383.5625*b275 <= 383.5625;

e237:  - 0.95*x114 + x129 + 316.001666666667*b276 <= 316.001666666667;

e238:  - 0.95*x115 + x130 + 317.585*b277 <= 317.585;

e239:  - 0.9*x113 + x128 + 383.5625*b278 <= 383.5625;

e240:  - 0.9*x114 + x129 + 316.001666666667*b279 <= 316.001666666667;

e241:  - 0.9*x115 + x130 + 317.585*b280 <= 317.585;

e242:  - 0.95*x113 + x128 + 383.5625*b281 <= 383.5625;

e243:  - 0.95*x114 + x129 + 316.001666666667*b282 <= 316.001666666667;

e244:  - 0.95*x115 + x130 + 317.585*b283 <= 317.585;

e245:  - 0.9*x113 + x128 - 261.25*b272 >= -261.25;

e246:  - 0.9*x114 + x129 - 190*b273 >= -190;

e247:  - 0.9*x115 + x130 - 190*b274 >= -190;

e248:  - 0.95*x113 + x128 - 261.25*b275 >= -261.25;

e249:  - 0.95*x114 + x129 - 190*b276 >= -190;

e250:  - 0.95*x115 + x130 - 190*b277 >= -190;

e251:  - 0.9*x113 + x128 - 261.25*b278 >= -261.25;

e252:  - 0.9*x114 + x129 - 190*b279 >= -190;

e253:  - 0.9*x115 + x130 - 190*b280 >= -190;

e254:  - 0.95*x113 + x128 - 261.25*b281 >= -261.25;

e255:  - 0.95*x114 + x129 - 190*b282 >= -190;

e256:  - 0.95*x115 + x130 - 190*b283 >= -190;

e257:  - 0.85*x137 + x140 + 36.75*b284 <= 36.75;

e258:  - 0.85*x138 + x141 + 50.6333333333333*b285 <= 50.6333333333333;

e259:  - 0.85*x139 + x142 + 34.3*b286 <= 34.3;

e260:  - 0.98*x137 + x140 + 36.75*b287 <= 36.75;

e261:  - 0.98*x138 + x141 + 50.6333333333333*b288 <= 50.6333333333333;

e262:  - 0.98*x139 + x142 + 34.3*b289 <= 34.3;

e263:  - 0.85*x137 + x140 + 36.75*b290 <= 36.75;

e264:  - 0.85*x138 + x141 + 50.6333333333333*b291 <= 50.6333333333333;

e265:  - 0.85*x139 + x142 + 34.3*b292 <= 34.3;

e266:  - 0.98*x137 + x140 + 36.75*b293 <= 36.75;

e267:  - 0.98*x138 + x141 + 50.6333333333333*b294 <= 50.6333333333333;

e268:  - 0.98*x139 + x142 + 34.3*b295 <= 34.3;

e269:  - 0.85*x137 + x143 + 36.75*b284 <= 36.75;

e270:  - 0.85*x138 + x144 + 50.6333333333333*b285 <= 50.6333333333333;

e271:  - 0.85*x139 + x145 + 34.3*b286 <= 34.3;

e272:  - 0.98*x137 + x143 + 36.75*b287 <= 36.75;

e273:  - 0.98*x138 + x144 + 50.6333333333333*b288 <= 50.6333333333333;

e274:  - 0.98*x139 + x145 + 34.3*b289 <= 34.3;

e275:  - 0.85*x137 + x143 + 36.75*b290 <= 36.75;

e276:  - 0.85*x138 + x144 + 50.6333333333333*b291 <= 50.6333333333333;

e277:  - 0.85*x139 + x145 + 34.3*b292 <= 34.3;

e278:  - 0.98*x137 + x143 + 36.75*b293 <= 36.75;

e279:  - 0.98*x138 + x144 + 50.6333333333333*b294 <= 50.6333333333333;

e280:  - 0.98*x139 + x145 + 34.3*b295 <= 34.3;

e281:  - 0.85*x137 + x140 - 36.75*b284 >= -36.75;

e282:  - 0.85*x138 + x141 - 50.6333333333333*b285 >= -50.6333333333333;

e283:  - 0.85*x139 + x142 - 34.3*b286 >= -34.3;

e284:  - 0.98*x137 + x140 - 36.75*b287 >= -36.75;

e285:  - 0.98*x138 + x141 - 50.6333333333333*b288 >= -50.6333333333333;

e286:  - 0.98*x139 + x142 - 34.3*b289 >= -34.3;

e287:  - 0.85*x137 + x140 - 36.75*b290 >= -36.75;

e288:  - 0.85*x138 + x141 - 50.6333333333333*b291 >= -50.6333333333333;

e289:  - 0.85*x139 + x142 - 34.3*b292 >= -34.3;

e290:  - 0.98*x137 + x140 - 36.75*b293 >= -36.75;

e291:  - 0.98*x138 + x141 - 50.6333333333333*b294 >= -50.6333333333333;

e292:  - 0.98*x139 + x142 - 34.3*b295 >= -34.3;

e293:  - 0.85*x137 + x143 - 36.75*b284 >= -36.75;

e294:  - 0.85*x138 + x144 - 50.6333333333333*b285 >= -50.6333333333333;

e295:  - 0.85*x139 + x145 - 34.3*b286 >= -34.3;

e296:  - 0.98*x137 + x143 - 36.75*b287 >= -36.75;

e297:  - 0.98*x138 + x144 - 50.6333333333333*b288 >= -50.6333333333333;

e298:  - 0.98*x139 + x145 - 34.3*b289 >= -34.3;

e299:  - 0.85*x137 + x143 - 36.75*b290 >= -36.75;

e300:  - 0.85*x138 + x144 - 50.6333333333333*b291 >= -50.6333333333333;

e301:  - 0.85*x139 + x145 - 34.3*b292 >= -34.3;

e302:  - 0.98*x137 + x143 - 36.75*b293 >= -36.75;

e303:  - 0.98*x138 + x144 - 50.6333333333333*b294 >= -50.6333333333333;

e304:  - 0.98*x139 + x145 - 34.3*b295 >= -34.3;

e305:  - 0.85*x146 + x149 + 33.75*b296 <= 33.75;

e306:  - 0.85*x147 + x150 + 46.5*b297 <= 46.5;

e307:  - 0.85*x148 + x151 + 31.5*b298 <= 31.5;

e308:  - 0.9*x146 + x149 + 33.75*b299 <= 33.75;

e309:  - 0.9*x147 + x150 + 46.5*b300 <= 46.5;

e310:  - 0.9*x148 + x151 + 31.5*b301 <= 31.5;

e311:  - 0.85*x146 + x149 + 33.75*b302 <= 33.75;

e312:  - 0.85*x147 + x150 + 46.5*b303 <= 46.5;

e313:  - 0.85*x148 + x151 + 31.5*b304 <= 31.5;

e314:  - 0.9*x146 + x149 + 33.75*b305 <= 33.75;

e315:  - 0.9*x147 + x150 + 46.5*b306 <= 46.5;

e316:  - 0.9*x148 + x151 + 31.5*b307 <= 31.5;

e317:  - 0.85*x146 + x149 - 33.75*b296 >= -33.75;

e318:  - 0.85*x147 + x150 - 46.5*b297 >= -46.5;

e319:  - 0.85*x148 + x151 - 31.5*b298 >= -31.5;

e320:  - 0.9*x146 + x149 - 33.75*b299 >= -33.75;

e321:  - 0.9*x147 + x150 - 46.5*b300 >= -46.5;

e322:  - 0.9*x148 + x151 - 31.5*b301 >= -31.5;

e323:  - 0.85*x146 + x149 - 33.75*b302 >= -33.75;

e324:  - 0.85*x147 + x150 - 46.5*b303 >= -46.5;

e325:  - 0.85*x148 + x151 - 31.5*b304 >= -31.5;

e326:  - 0.9*x146 + x149 - 33.75*b305 >= -33.75;

e327:  - 0.9*x147 + x150 - 46.5*b306 >= -46.5;

e328:  - 0.9*x148 + x151 - 31.5*b307 >= -31.5;

e329:  - 0.75*x155 + x158 + 32.0625*b308 <= 32.0625;

e330:  - 0.75*x156 + x159 + 44.175*b309 <= 44.175;

e331:  - 0.75*x157 + x160 + 29.925*b310 <= 29.925;

e332:  - 0.95*x155 + x158 + 32.0625*b311 <= 32.0625;

e333:  - 0.95*x156 + x159 + 44.175*b312 <= 44.175;

e334:  - 0.95*x157 + x160 + 29.925*b313 <= 29.925;

e335:  - 0.9*x155 + x158 + 32.0625*b314 <= 32.0625;

e336:  - 0.9*x156 + x159 + 44.175*b315 <= 44.175;

e337:  - 0.9*x157 + x160 + 29.925*b316 <= 29.925;

e338:  - 0.95*x155 + x158 + 32.0625*b317 <= 32.0625;

e339:  - 0.95*x156 + x159 + 44.175*b318 <= 44.175;

e340:  - 0.95*x157 + x160 + 29.925*b319 <= 29.925;

e341:  - 0.75*x155 + x161 + 32.0625*b308 <= 32.0625;

e342:  - 0.75*x156 + x162 + 44.175*b309 <= 44.175;

e343:  - 0.75*x157 + x163 + 29.925*b310 <= 29.925;

e344:  - 0.95*x155 + x161 + 32.0625*b311 <= 32.0625;

e345:  - 0.95*x156 + x162 + 44.175*b312 <= 44.175;

e346:  - 0.95*x157 + x163 + 29.925*b313 <= 29.925;

e347:  - 0.9*x155 + x161 + 32.0625*b314 <= 32.0625;

e348:  - 0.9*x156 + x162 + 44.175*b315 <= 44.175;

e349:  - 0.9*x157 + x163 + 29.925*b316 <= 29.925;

e350:  - 0.95*x155 + x161 + 32.0625*b317 <= 32.0625;

e351:  - 0.95*x156 + x162 + 44.175*b318 <= 44.175;

e352:  - 0.95*x157 + x163 + 29.925*b319 <= 29.925;

e353:  - 0.75*x155 + x158 - 32.0625*b308 >= -32.0625;

e354:  - 0.75*x156 + x159 - 44.175*b309 >= -44.175;

e355:  - 0.75*x157 + x160 - 29.925*b310 >= -29.925;

e356:  - 0.95*x155 + x158 - 32.0625*b311 >= -32.0625;

e357:  - 0.95*x156 + x159 - 44.175*b312 >= -44.175;

e358:  - 0.95*x157 + x160 - 29.925*b313 >= -29.925;

e359:  - 0.9*x155 + x158 - 32.0625*b314 >= -32.0625;

e360:  - 0.9*x156 + x159 - 44.175*b315 >= -44.175;

e361:  - 0.9*x157 + x160 - 29.925*b316 >= -29.925;

e362:  - 0.95*x155 + x158 - 32.0625*b317 >= -32.0625;

e363:  - 0.95*x156 + x159 - 44.175*b318 >= -44.175;

e364:  - 0.95*x157 + x160 - 29.925*b319 >= -29.925;

e365:  - 0.75*x155 + x161 - 32.0625*b308 >= -32.0625;

e366:  - 0.75*x156 + x162 - 44.175*b309 >= -44.175;

e367:  - 0.75*x157 + x163 - 29.925*b310 >= -29.925;

e368:  - 0.95*x155 + x161 - 32.0625*b311 >= -32.0625;

e369:  - 0.95*x156 + x162 - 44.175*b312 >= -44.175;

e370:  - 0.95*x157 + x163 - 29.925*b313 >= -29.925;

e371:  - 0.9*x155 + x161 - 32.0625*b314 >= -32.0625;

e372:  - 0.9*x156 + x162 - 44.175*b315 >= -44.175;

e373:  - 0.9*x157 + x163 - 29.925*b316 >= -29.925;

e374:  - 0.95*x155 + x161 - 32.0625*b317 >= -32.0625;

e375:  - 0.95*x156 + x162 - 44.175*b318 >= -44.175;

e376:  - 0.95*x157 + x163 - 29.925*b319 >= -29.925;

e377:  - 0.8*x152 + x179 + 143.4375*b320 <= 143.4375;

e378:  - 0.8*x153 + x180 + 147.9*b321 <= 147.9;

e379:  - 0.8*x154 + x181 + 133.025*b322 <= 133.025;

e380:  - 0.85*x152 + x179 + 143.4375*b323 <= 143.4375;

e381:  - 0.85*x153 + x180 + 147.9*b324 <= 147.9;

e382:  - 0.85*x154 + x181 + 133.025*b325 <= 133.025;

e383:  - 0.8*x152 + x179 + 143.4375*b326 <= 143.4375;

e384:  - 0.8*x153 + x180 + 147.9*b327 <= 147.9;

e385:  - 0.8*x154 + x181 + 133.025*b328 <= 133.025;

e386:  - 0.85*x152 + x179 + 143.4375*b329 <= 143.4375;

e387:  - 0.85*x153 + x180 + 147.9*b330 <= 147.9;

e388:  - 0.85*x154 + x181 + 133.025*b331 <= 133.025;

e389:  - 0.8*x152 + x179 - 28.6875*b320 >= -28.6875;

e390:  - 0.8*x153 + x180 - 39.525*b321 >= -39.525;

e391:  - 0.8*x154 + x181 - 26.775*b322 >= -26.775;

e392:  - 0.85*x152 + x179 - 28.6875*b323 >= -28.6875;

e393:  - 0.85*x153 + x180 - 39.525*b324 >= -39.525;

e394:  - 0.85*x154 + x181 - 26.775*b325 >= -26.775;

e395:  - 0.8*x152 + x179 - 28.6875*b326 >= -28.6875;

e396:  - 0.8*x153 + x180 - 39.525*b327 >= -39.525;

e397:  - 0.8*x154 + x181 - 26.775*b328 >= -26.775;

e398:  - 0.85*x152 + x179 - 28.6875*b329 >= -28.6875;

e399:  - 0.85*x153 + x180 - 39.525*b330 >= -39.525;

e400:  - 0.85*x154 + x181 - 26.775*b331 >= -26.775;

e401:  - 0.85*x176 + x185 + 178.192857142857*b332 <= 178.192857142857;

e402:  - 0.85*x177 + x186 + 177.310714285714*b333 <= 177.310714285714;

e403:  - 0.85*x178 + x187 + 169.941428571429*b334 <= 169.941428571429;

e404:  - 0.95*x176 + x185 + 178.192857142857*b335 <= 178.192857142857;

e405:  - 0.95*x177 + x186 + 177.310714285714*b336 <= 177.310714285714;

e406:  - 0.95*x178 + x187 + 169.941428571429*b337 <= 169.941428571429;

e407:  - 0.85*x176 + x185 + 178.192857142857*b338 <= 178.192857142857;

e408:  - 0.85*x177 + x186 + 177.310714285714*b339 <= 177.310714285714;

e409:  - 0.85*x178 + x187 + 169.941428571429*b340 <= 169.941428571429;

e410:  - 0.95*x176 + x185 + 178.192857142857*b341 <= 178.192857142857;

e411:  - 0.95*x177 + x186 + 177.310714285714*b342 <= 177.310714285714;

e412:  - 0.95*x178 + x187 + 169.941428571429*b343 <= 169.941428571429;

e413:  - 0.85*x176 + x185 - 128.25*b332 >= -128.25;

e414:  - 0.85*x177 + x186 - 121.125*b333 >= -121.125;

e415:  - 0.85*x178 + x187 - 118.75*b334 >= -118.75;

e416:  - 0.95*x176 + x185 - 128.25*b335 >= -128.25;

e417:  - 0.95*x177 + x186 - 121.125*b336 >= -121.125;

e418:  - 0.95*x178 + x187 - 118.75*b337 >= -118.75;

e419:  - 0.85*x176 + x185 - 128.25*b338 >= -128.25;

e420:  - 0.85*x177 + x186 - 121.125*b339 >= -121.125;

e421:  - 0.85*x178 + x187 - 118.75*b340 >= -118.75;

e422:  - 0.95*x176 + x185 - 128.25*b341 >= -128.25;

e423:  - 0.95*x177 + x186 - 121.125*b342 >= -121.125;

e424:  - 0.95*x178 + x187 - 118.75*b343 >= -118.75;

e425:  - 0.8*x194 + x197 + 52.5714285714286*b344 <= 52.5714285714286;

e426:  - 0.8*x195 + x198 + 59.1428571428572*b345 <= 59.1428571428572;

e427:  - 0.8*x196 + x199 + 53.8857142857143*b346 <= 53.8857142857143;

e428:  - 0.92*x194 + x197 + 52.5714285714286*b347 <= 52.5714285714286;

e429:  - 0.92*x195 + x198 + 59.1428571428572*b348 <= 59.1428571428572;

e430:  - 0.92*x196 + x199 + 53.8857142857143*b349 <= 53.8857142857143;

e431:  - 0.8*x194 + x197 + 52.5714285714286*b350 <= 52.5714285714286;

e432:  - 0.8*x195 + x198 + 59.1428571428572*b351 <= 59.1428571428572;

e433:  - 0.8*x196 + x199 + 53.8857142857143*b352 <= 53.8857142857143;

e434:  - 0.92*x194 + x197 + 52.5714285714286*b353 <= 52.5714285714286;

e435:  - 0.92*x195 + x198 + 59.1428571428572*b354 <= 59.1428571428572;

e436:  - 0.92*x196 + x199 + 53.8857142857143*b355 <= 53.8857142857143;

e437:  - 0.8*x194 + x197 - 52.5714285714286*b344 >= -52.5714285714286;

e438:  - 0.8*x195 + x198 - 59.1428571428572*b345 >= -59.1428571428572;

e439:  - 0.8*x196 + x199 - 53.8857142857143*b346 >= -53.8857142857143;

e440:  - 0.92*x194 + x197 - 52.5714285714286*b347 >= -52.5714285714286;

e441:  - 0.92*x195 + x198 - 59.1428571428572*b348 >= -59.1428571428572;

e442:  - 0.92*x196 + x199 - 53.8857142857143*b349 >= -53.8857142857143;

e443:  - 0.8*x194 + x197 - 52.5714285714286*b350 >= -52.5714285714286;

e444:  - 0.8*x195 + x198 - 59.1428571428572*b351 >= -59.1428571428572;

e445:  - 0.8*x196 + x199 - 53.8857142857143*b352 >= -53.8857142857143;

e446:  - 0.92*x194 + x197 - 52.5714285714286*b353 >= -52.5714285714286;

e447:  - 0.92*x195 + x198 - 59.1428571428572*b354 >= -59.1428571428572;

e448:  - 0.92*x196 + x199 - 53.8857142857143*b355 >= -53.8857142857143;

e449:    x5 + 45*b260 <= 55;

e450:    x6 + 30*b261 <= 40;

e451:    x7 + 30*b262 <= 40;

e452:    x5 + 45*b263 <= 55;

e453:    x6 + 30*b264 <= 40;

e454:    x7 + 30*b265 <= 40;

e455:    x5 + 5*b266 <= 55;

e456:    x6 - 10*b267 <= 40;

e457:    x7 - 10*b268 <= 40;

e458:    x5 + 5*b269 <= 55;

e459:    x6 - 10*b270 <= 40;

e460:    x7 - 10*b271 <= 40;

e461:    x8 + x20 + 106*b272 <= 146;

e462:    x9 + x21 + 103*b273 <= 143;

e463:    x10 + x22 + 92*b274 <= 132;

e464:    x8 + x20 + 106*b275 <= 146;

e465:    x9 + x21 + 103*b276 <= 143;

e466:    x10 + x22 + 92*b277 <= 132;

e467:    x8 + x20 + 86*b278 <= 146;

e468:    x9 + x21 + 83*b279 <= 143;

e469:    x10 + x22 + 72*b280 <= 132;

e470:    x8 + x20 + 86*b281 <= 146;

e471:    x9 + x21 + 83*b282 <= 143;

e472:    x10 + x22 + 72*b283 <= 132;

e473:    x32 + 30*b284 <= 45;

e474:    x33 + 47*b285 <= 62;

e475:    x34 + 27*b286 <= 42;

e476:    x32 + 30*b287 <= 45;

e477:    x33 + 47*b288 <= 62;

e478:    x34 + 27*b289 <= 42;

e479:    x32 + 20*b290 <= 45;

e480:    x33 + 37*b291 <= 62;

e481:    x34 + 17*b292 <= 42;

e482:    x32 + 20*b293 <= 45;

e483:    x33 + 37*b294 <= 62;

e484:    x34 + 17*b295 <= 42;

e485:    x41 + 30*b296 <= 45;

e486:    x42 + 47*b297 <= 62;

e487:    x43 + 27*b298 <= 42;

e488:    x41 + 30*b299 <= 45;

e489:    x42 + 47*b300 <= 62;

e490:    x43 + 27*b301 <= 42;

e491:    x41 + 25*b302 <= 45;

e492:    x42 + 42*b303 <= 62;

e493:    x43 + 22*b304 <= 42;

e494:    x41 + 25*b305 <= 45;

e495:    x42 + 42*b306 <= 62;

e496:    x43 + 22*b307 <= 42;

e497:    x50 + 35*b308 <= 45;

e498:    x51 + 52*b309 <= 62;

e499:    x52 + 32*b310 <= 42;

e500:    x50 + 35*b311 <= 45;

e501:    x51 + 52*b312 <= 62;

e502:    x52 + 32*b313 <= 42;

e503:    x50 + 25*b314 <= 45;

e504:    x51 + 42*b315 <= 62;

e505:    x52 + 22*b316 <= 42;

e506:    x50 + 25*b317 <= 45;

e507:    x51 + 42*b318 <= 62;

e508:    x52 + 22*b319 <= 42;

e509:    x47 + x68 + 79*b320 <= 99;

e510:    x48 + x69 + 93*b321 <= 113;

e511:    x49 + x70 + 72*b322 <= 92;

e512:    x47 + x68 + 79*b323 <= 99;

e513:    x48 + x69 + 93*b324 <= 113;

e514:    x49 + x70 + 72*b325 <= 92;

e515:    x47 + x68 + 44*b326 <= 99;

e516:    x48 + x69 + 58*b327 <= 113;

e517:    x49 + x70 + 37*b328 <= 92;

e518:    x47 + x68 + 44*b329 <= 99;

e519:    x48 + x69 + 58*b330 <= 113;

e520:    x49 + x70 + 37*b331 <= 92;

e521:    x71 + x92 + 69*b332 <= 94;

e522:    x72 + x93 + 71*b333 <= 96;

e523:    x73 + x94 + 66*b334 <= 91;

e524:    x71 + x92 + 69*b335 <= 94;

e525:    x72 + x93 + 71*b336 <= 96;

e526:    x73 + x94 + 66*b337 <= 91;

e527:    x71 + x92 + 44*b338 <= 94;

e528:    x72 + x93 + 46*b339 <= 96;

e529:    x73 + x94 + 41*b340 <= 91;

e530:    x71 + x92 + 44*b341 <= 94;

e531:    x72 + x93 + 46*b342 <= 96;

e532:    x73 + x94 + 41*b343 <= 91;

e533:    x89 + 25*b344 <= 40;

e534:    x90 + 30*b345 <= 45;

e535:    x91 + 26*b346 <= 41;

e536:    x89 + 25*b347 <= 40;

e537:    x90 + 30*b348 <= 45;

e538:    x91 + 26*b349 <= 41;

e539:    x89 + 5*b350 <= 40;

e540:    x90 + 10*b351 <= 45;

e541:    x91 + 6*b352 <= 41;

e542:    x89 + 5*b353 <= 40;

e543:    x90 + 10*b354 <= 45;

e544:    x91 + 6*b355 <= 41;

e545:    x236 + 46*b356 <= 46;

e546:    x237 + 39*b357 <= 39;

e547:    x238 + 23*b358 <= 23;

e548:    x236 + 40*b359 <= 46;

e549:    x237 + 35*b360 <= 39;

e550:    x238 + 20*b361 <= 23;

e551:    x236 + 6*b362 <= 46;

e552:    x237 + 4*b363 <= 39;

e553:    x238 + 3*b364 <= 23;

e554:    x236 <= 46;

e555:    x237 <= 39;

e556:    x238 <= 23;

e557:    x239 + 37*b368 <= 37;

e558:    x240 + 29*b369 <= 29;

e559:    x241 + 22*b370 <= 22;

e560:    x239 + 30*b371 <= 37;

e561:    x240 + 25*b372 <= 29;

e562:    x241 + 18*b373 <= 22;

e563:    x239 + 7*b374 <= 37;

e564:    x240 + 4*b375 <= 29;

e565:    x241 + 2*b376 <= 22;

e566:    x239 <= 37;

e567:    x240 <= 29;

e568:    x241 <= 22;

e569:    x242 + 22*b380 <= 22;

e570:    x243 + 10*b381 <= 10;

e571:    x244 + 5*b382 <= 5;

e572:    x242 + 15*b383 <= 22;

e573:    x243 + 5*b384 <= 10;

e574:    x244 + 2*b385 <= 5;

e575:    x242 + 7*b386 <= 22;

e576:    x243 + 5*b387 <= 10;

e577:    x244 + 3*b388 <= 5;

e578:    x242 <= 22;

e579:    x243 <= 10;

e580:    x244 <= 5;

e581:    x245 + 24*b392 <= 24;

e582:    x246 + 16*b393 <= 16;

e583:    x247 + 9*b394 <= 9;

e584:    x245 + 13*b395 <= 24;

e585:    x246 + 8*b396 <= 16;

e586:    x247 + 3*b397 <= 9;

e587:    x245 + 11*b398 <= 24;

e588:    x246 + 8*b399 <= 16;

e589:    x247 + 6*b400 <= 9;

e590:    x245 <= 24;

e591:    x246 <= 16;

e592:    x247 <= 9;

e593:    x248 + 23*b404 <= 23;

e594:    x249 + 15*b405 <= 15;

e595:    x250 + 9*b406 <= 9;

e596:    x248 + 13*b407 <= 23;

e597:    x249 + 8*b408 <= 15;

e598:    x250 + 3*b409 <= 9;

e599:    x248 + 10*b410 <= 23;

e600:    x249 + 7*b411 <= 15;

e601:    x250 + 6*b412 <= 9;

e602:    x248 <= 23;

e603:    x249 <= 15;

e604:    x250 <= 9;

e605:    x251 + 39*b416 <= 39;

e606:    x252 + 39*b417 <= 39;

e607:    x253 + 32*b418 <= 32;

e608:    x251 + 30*b419 <= 39;

e609:    x252 + 30*b420 <= 39;

e610:    x253 + 25*b421 <= 32;

e611:    x251 + 9*b422 <= 39;

e612:    x252 + 9*b423 <= 39;

e613:    x253 + 7*b424 <= 32;

e614:    x251 <= 39;

e615:    x252 <= 39;

e616:    x253 <= 32;

e617:    x254 + 28*b428 <= 28;

e618:    x255 + 22*b429 <= 22;

e619:    x256 + 17*b430 <= 17;

e620:    x254 + 20*b431 <= 28;

e621:    x255 + 15*b432 <= 22;

e622:    x256 + 10*b433 <= 17;

e623:    x254 + 8*b434 <= 28;

e624:    x255 + 7*b435 <= 22;

e625:    x256 + 7*b436 <= 17;

e626:    x254 <= 28;

e627:    x255 <= 22;

e628:    x256 <= 17;

e629:    x257 + 23*b440 <= 23;

e630:    x258 + 16*b441 <= 16;

e631:    x259 + 11*b442 <= 11;

e632:    x257 + 15*b443 <= 23;

e633:    x258 + 10*b444 <= 16;

e634:    x259 + 6*b445 <= 11;

e635:    x257 + 8*b446 <= 23;

e636:    x258 + 6*b447 <= 16;

e637:    x259 + 5*b448 <= 11;

e638:    x257 <= 23;

e639:    x258 <= 16;

e640:    x259 <= 11;

e641:    x236 >= 0;

e642:    x237 >= 0;

e643:    x238 >= 0;

e644:    x236 - 6*b359 >= 0;

e645:    x237 - 4*b360 >= 0;

e646:    x238 - 3*b361 >= 0;

e647:    x236 - 40*b362 >= 0;

e648:    x237 - 35*b363 >= 0;

e649:    x238 - 20*b364 >= 0;

e650:    x236 - 46*b365 >= 0;

e651:    x237 - 39*b366 >= 0;

e652:    x238 - 23*b367 >= 0;

e653:    x239 >= 0;

e654:    x240 >= 0;

e655:    x241 >= 0;

e656:    x239 - 7*b371 >= 0;

e657:    x240 - 4*b372 >= 0;

e658:    x241 - 4*b373 >= 0;

e659:    x239 - 30*b374 >= 0;

e660:    x240 - 25*b375 >= 0;

e661:    x241 - 20*b376 >= 0;

e662:    x239 - 37*b377 >= 0;

e663:    x240 - 29*b378 >= 0;

e664:    x241 - 22*b379 >= 0;

e665:    x242 >= 0;

e666:    x243 >= 0;

e667:    x244 >= 0;

e668:    x242 - 7*b383 >= 0;

e669:    x243 - 5*b384 >= 0;

e670:    x244 - 3*b385 >= 0;

e671:    x242 - 15*b386 >= 0;

e672:    x243 - 5*b387 >= 0;

e673:    x244 - 2*b388 >= 0;

e674:    x242 - 22*b389 >= 0;

e675:    x243 - 10*b390 >= 0;

e676:    x244 - 5*b391 >= 0;

e677:    x245 >= 0;

e678:    x246 >= 0;

e679:    x247 >= 0;

e680:    x245 - 11*b395 >= 0;

e681:    x246 - 8*b396 >= 0;

e682:    x247 - 6*b397 >= 0;

e683:    x245 - 13*b398 >= 0;

e684:    x246 - 8*b399 >= 0;

e685:    x247 - 3*b400 >= 0;

e686:    x245 - 24*b401 >= 0;

e687:    x246 - 16*b402 >= 0;

e688:    x247 - 9*b403 >= 0;

e689:    x248 >= 0;

e690:    x249 >= 0;

e691:    x250 >= 0;

e692:    x248 - 10*b407 >= 0;

e693:    x249 - 7*b408 >= 0;

e694:    x250 - 6*b409 >= 0;

e695:    x248 - 13*b410 >= 0;

e696:    x249 - 8*b411 >= 0;

e697:    x250 - 3*b412 >= 0;

e698:    x248 - 23*b413 >= 0;

e699:    x249 - 15*b414 >= 0;

e700:    x250 - 9*b415 >= 0;

e701:    x251 >= 0;

e702:    x252 >= 0;

e703:    x253 >= 0;

e704:    x251 - 9*b419 >= 0;

e705:    x252 - 9*b420 >= 0;

e706:    x253 - 7*b421 >= 0;

e707:    x251 - 30*b422 >= 0;

e708:    x252 - 30*b423 >= 0;

e709:    x253 - 25*b424 >= 0;

e710:    x251 - 39*b425 >= 0;

e711:    x252 - 39*b426 >= 0;

e712:    x253 - 32*b427 >= 0;

e713:    x254 >= 0;

e714:    x255 >= 0;

e715:    x256 >= 0;

e716:    x254 - 8*b431 >= 0;

e717:    x255 - 7*b432 >= 0;

e718:    x256 - 7*b433 >= 0;

e719:    x254 - 20*b434 >= 0;

e720:    x255 - 15*b435 >= 0;

e721:    x256 - 10*b436 >= 0;

e722:    x254 - 28*b437 >= 0;

e723:    x255 - 22*b438 >= 0;

e724:    x256 - 17*b439 >= 0;

e725:    x257 >= 0;

e726:    x258 >= 0;

e727:    x259 >= 0;

e728:    x257 - 8*b443 >= 0;

e729:    x258 - 6*b444 >= 0;

e730:    x259 - 5*b445 >= 0;

e731:    x257 - 15*b446 >= 0;

e732:    x258 - 10*b447 >= 0;

e733:    x259 - 6*b448 >= 0;

e734:    x257 - 23*b449 >= 0;

e735:    x258 - 16*b450 >= 0;

e736:    x259 - 11*b451 >= 0;

e737:    20*x2 + 20*x17 + 18*x29 + 16*x65 + 20*x86 + x236 + x239 + x242 + x245
       + x248 + x251 + x254 + x257 <= 4000;

e738:    17*x3 + 21*x18 + 20*x30 + 19*x66 + 18*x87 + x237 + x240 + x243 + x246
       + x249 + x252 + x255 + x258 <= 3800;

e739:    15*x4 + 19*x19 + 20*x31 + 17*x67 + 21*x88 + x238 + x241 + x244 + x247
       + x250 + x253 + x256 + x259 <= 3600;

e740:    b260 + b263 + b266 + b269 = 1;

e741:    b261 + b264 + b267 + b270 = 1;

e742:    b262 + b265 + b268 + b271 = 1;

e743:    b272 + b275 + b278 + b281 = 1;

e744:    b273 + b276 + b279 + b282 = 1;

e745:    b274 + b277 + b280 + b283 = 1;

e746:    b284 + b287 + b290 + b293 = 1;

e747:    b285 + b288 + b291 + b294 = 1;

e748:    b286 + b289 + b292 + b295 = 1;

e749:    b296 + b299 + b302 + b305 = 1;

e750:    b297 + b300 + b303 + b306 = 1;

e751:    b298 + b301 + b304 + b307 = 1;

e752:    b308 + b311 + b314 + b317 = 1;

e753:    b309 + b312 + b315 + b318 = 1;

e754:    b310 + b313 + b316 + b319 = 1;

e755:    b320 + b323 + b326 + b329 = 1;

e756:    b321 + b324 + b327 + b330 = 1;

e757:    b322 + b325 + b328 + b331 = 1;

e758:    b332 + b335 + b338 + b341 = 1;

e759:    b333 + b336 + b339 + b342 = 1;

e760:    b334 + b337 + b340 + b343 = 1;

e761:    b344 + b347 + b350 + b353 = 1;

e762:    b345 + b348 + b351 + b354 = 1;

e763:    b346 + b349 + b352 + b355 = 1;

e764:    b356 + b359 + b362 + b365 = 1;

e765:    b357 + b360 + b363 + b366 = 1;

e766:    b358 + b361 + b364 + b367 = 1;

e767:    b368 + b371 + b374 + b377 = 1;

e768:    b369 + b372 + b375 + b378 = 1;

e769:    b370 + b373 + b376 + b379 = 1;

e770:    b380 + b383 + b386 + b389 = 1;

e771:    b381 + b384 + b387 + b390 = 1;

e772:    b382 + b385 + b388 + b391 = 1;

e773:    b392 + b395 + b398 + b401 = 1;

e774:    b393 + b396 + b399 + b402 = 1;

e775:    b394 + b397 + b400 + b403 = 1;

e776:    b404 + b407 + b410 + b413 = 1;

e777:    b405 + b408 + b411 + b414 = 1;

e778:    b406 + b409 + b412 + b415 = 1;

e779:    b416 + b419 + b422 + b425 = 1;

e780:    b417 + b420 + b423 + b426 = 1;

e781:    b418 + b421 + b424 + b427 = 1;

e782:    b428 + b431 + b434 + b437 = 1;

e783:    b429 + b432 + b435 + b438 = 1;

e784:    b430 + b433 + b436 + b439 = 1;

e785:    b440 + b443 + b446 + b449 = 1;

e786:    b441 + b444 + b447 + b450 = 1;

e787:    b442 + b445 + b448 + b451 = 1;

e788:    b263 - b264 <= 0;

e789:    b263 - b265 <= 0;

e790:    b264 - b265 <= 0;

e791:    b266 - b267 <= 0;

e792:    b266 - b268 <= 0;

e793:    b267 - b268 <= 0;

e794:    b269 - b270 <= 0;

e795:    b269 - b271 <= 0;

e796:    b270 - b271 <= 0;

e797:    b275 - b276 <= 0;

e798:    b275 - b277 <= 0;

e799:    b276 - b277 <= 0;

e800:    b278 - b279 <= 0;

e801:    b278 - b280 <= 0;

e802:    b279 - b280 <= 0;

e803:    b281 - b282 <= 0;

e804:    b281 - b283 <= 0;

e805:    b282 - b283 <= 0;

e806:    b287 - b288 <= 0;

e807:    b287 - b289 <= 0;

e808:    b288 - b289 <= 0;

e809:    b290 - b291 <= 0;

e810:    b290 - b292 <= 0;

e811:    b291 - b292 <= 0;

e812:    b293 - b294 <= 0;

e813:    b293 - b295 <= 0;

e814:    b294 - b295 <= 0;

e815:    b299 - b300 <= 0;

e816:    b299 - b301 <= 0;

e817:    b300 - b301 <= 0;

e818:    b302 - b303 <= 0;

e819:    b302 - b304 <= 0;

e820:    b303 - b304 <= 0;

e821:    b305 - b306 <= 0;

e822:    b305 - b307 <= 0;

e823:    b306 - b307 <= 0;

e824:    b311 - b312 <= 0;

e825:    b311 - b313 <= 0;

e826:    b312 - b313 <= 0;

e827:    b314 - b315 <= 0;

e828:    b314 - b316 <= 0;

e829:    b315 - b316 <= 0;

e830:    b317 - b318 <= 0;

e831:    b317 - b319 <= 0;

e832:    b318 - b319 <= 0;

e833:    b323 - b324 <= 0;

e834:    b323 - b325 <= 0;

e835:    b324 - b325 <= 0;

e836:    b326 - b327 <= 0;

e837:    b326 - b328 <= 0;

e838:    b327 - b328 <= 0;

e839:    b329 - b330 <= 0;

e840:    b329 - b331 <= 0;

e841:    b330 - b331 <= 0;

e842:    b335 - b336 <= 0;

e843:    b335 - b337 <= 0;

e844:    b336 - b337 <= 0;

e845:    b338 - b339 <= 0;

e846:    b338 - b340 <= 0;

e847:    b339 - b340 <= 0;

e848:    b341 - b342 <= 0;

e849:    b341 - b343 <= 0;

e850:    b342 - b343 <= 0;

e851:    b347 - b348 <= 0;

e852:    b347 - b349 <= 0;

e853:    b348 - b349 <= 0;

e854:    b350 - b351 <= 0;

e855:    b350 - b352 <= 0;

e856:    b351 - b352 <= 0;

e857:    b353 - b354 <= 0;

e858:    b353 - b355 <= 0;

e859:    b354 - b355 <= 0;

e860:  - b357 + b359 <= 0;

e861:  - b358 + b359 <= 0;

e862:  - b356 + b360 <= 0;

e863:  - b358 + b360 <= 0;

e864:  - b356 + b361 <= 0;

e865:  - b357 + b361 <= 0;

e866:  - b357 + b362 <= 0;

e867:  - b358 + b362 <= 0;

e868:  - b356 + b363 <= 0;

e869:  - b358 + b363 <= 0;

e870:  - b356 + b364 <= 0;

e871:  - b357 + b364 <= 0;

e872:  - b357 + b365 <= 0;

e873:  - b358 + b365 <= 0;

e874:  - b356 + b366 <= 0;

e875:  - b358 + b366 <= 0;

e876:  - b356 + b367 <= 0;

e877:  - b357 + b367 <= 0;

e878:  - b369 + b371 <= 0;

e879:  - b370 + b371 <= 0;

e880:  - b368 + b372 <= 0;

e881:  - b370 + b372 <= 0;

e882:  - b368 + b373 <= 0;

e883:  - b369 + b373 <= 0;

e884:  - b369 + b374 <= 0;

e885:  - b370 + b374 <= 0;

e886:  - b368 + b375 <= 0;

e887:  - b370 + b375 <= 0;

e888:  - b368 + b376 <= 0;

e889:  - b369 + b376 <= 0;

e890:  - b369 + b377 <= 0;

e891:  - b370 + b377 <= 0;

e892:  - b368 + b378 <= 0;

e893:  - b370 + b378 <= 0;

e894:  - b368 + b379 <= 0;

e895:  - b369 + b379 <= 0;

e896:  - b381 + b383 <= 0;

e897:  - b382 + b383 <= 0;

e898:  - b380 + b384 <= 0;

e899:  - b382 + b384 <= 0;

e900:  - b380 + b385 <= 0;

e901:  - b381 + b385 <= 0;

e902:  - b381 + b386 <= 0;

e903:  - b382 + b386 <= 0;

e904:  - b380 + b387 <= 0;

e905:  - b382 + b387 <= 0;

e906:  - b380 + b388 <= 0;

e907:  - b381 + b388 <= 0;

e908:  - b381 + b389 <= 0;

e909:  - b382 + b389 <= 0;

e910:  - b380 + b390 <= 0;

e911:  - b382 + b390 <= 0;

e912:  - b380 + b391 <= 0;

e913:  - b381 + b391 <= 0;

e914:  - b393 + b395 <= 0;

e915:  - b394 + b395 <= 0;

e916:  - b392 + b396 <= 0;

e917:  - b394 + b396 <= 0;

e918:  - b392 + b397 <= 0;

e919:  - b393 + b397 <= 0;

e920:  - b393 + b398 <= 0;

e921:  - b394 + b398 <= 0;

e922:  - b392 + b399 <= 0;

e923:  - b394 + b399 <= 0;

e924:  - b392 + b400 <= 0;

e925:  - b393 + b400 <= 0;

e926:  - b393 + b401 <= 0;

e927:  - b394 + b401 <= 0;

e928:  - b392 + b402 <= 0;

e929:  - b394 + b402 <= 0;

e930:  - b392 + b403 <= 0;

e931:  - b393 + b403 <= 0;

e932:  - b405 + b407 <= 0;

e933:  - b406 + b407 <= 0;

e934:  - b404 + b408 <= 0;

e935:  - b406 + b408 <= 0;

e936:  - b404 + b409 <= 0;

e937:  - b405 + b409 <= 0;

e938:  - b405 + b410 <= 0;

e939:  - b406 + b410 <= 0;

e940:  - b404 + b411 <= 0;

e941:  - b406 + b411 <= 0;

e942:  - b404 + b412 <= 0;

e943:  - b405 + b412 <= 0;

e944:  - b405 + b413 <= 0;

e945:  - b406 + b413 <= 0;

e946:  - b404 + b414 <= 0;

e947:  - b406 + b414 <= 0;

e948:  - b404 + b415 <= 0;

e949:  - b405 + b415 <= 0;

e950:  - b417 + b419 <= 0;

e951:  - b418 + b419 <= 0;

e952:  - b416 + b420 <= 0;

e953:  - b418 + b420 <= 0;

e954:  - b416 + b421 <= 0;

e955:  - b417 + b421 <= 0;

e956:  - b417 + b422 <= 0;

e957:  - b418 + b422 <= 0;

e958:  - b416 + b423 <= 0;

e959:  - b418 + b423 <= 0;

e960:  - b416 + b424 <= 0;

e961:  - b417 + b424 <= 0;

e962:  - b417 + b425 <= 0;

e963:  - b418 + b425 <= 0;

e964:  - b416 + b426 <= 0;

e965:  - b418 + b426 <= 0;

e966:  - b416 + b427 <= 0;

e967:  - b417 + b427 <= 0;

e968:  - b429 + b431 <= 0;

e969:  - b430 + b431 <= 0;

e970:  - b428 + b432 <= 0;

e971:  - b430 + b432 <= 0;

e972:  - b428 + b433 <= 0;

e973:  - b429 + b433 <= 0;

e974:  - b429 + b434 <= 0;

e975:  - b430 + b434 <= 0;

e976:  - b428 + b435 <= 0;

e977:  - b430 + b435 <= 0;

e978:  - b428 + b436 <= 0;

e979:  - b429 + b436 <= 0;

e980:  - b429 + b437 <= 0;

e981:  - b430 + b437 <= 0;

e982:  - b428 + b438 <= 0;

e983:  - b430 + b438 <= 0;

e984:  - b428 + b439 <= 0;

e985:  - b429 + b439 <= 0;

e986:  - b441 + b443 <= 0;

e987:  - b442 + b443 <= 0;

e988:  - b440 + b444 <= 0;

e989:  - b442 + b444 <= 0;

e990:  - b440 + b445 <= 0;

e991:  - b441 + b445 <= 0;

e992:  - b441 + b446 <= 0;

e993:  - b442 + b446 <= 0;

e994:  - b440 + b447 <= 0;

e995:  - b442 + b447 <= 0;

e996:  - b440 + b448 <= 0;

e997:  - b441 + b448 <= 0;

e998:  - b441 + b449 <= 0;

e999:  - b442 + b449 <= 0;

e1000:  - b440 + b450 <= 0;

e1001:  - b442 + b450 <= 0;

e1002:  - b440 + b451 <= 0;

e1003:  - b441 + b451 <= 0;

e1004:    b260 - b356 <= 0;

e1005:    b261 - b357 <= 0;

e1006:    b262 - b358 <= 0;

e1007:    b272 - b368 <= 0;

e1008:    b273 - b369 <= 0;

e1009:    b274 - b370 <= 0;

e1010:    b284 - b380 <= 0;

e1011:    b285 - b381 <= 0;

e1012:    b286 - b382 <= 0;

e1013:    b296 - b392 <= 0;

e1014:    b297 - b393 <= 0;

e1015:    b298 - b394 <= 0;

e1016:    b308 - b404 <= 0;

e1017:    b309 - b405 <= 0;

e1018:    b310 - b406 <= 0;

e1019:    b320 - b416 <= 0;

e1020:    b321 - b417 <= 0;

e1021:    b322 - b418 <= 0;

e1022:    b332 - b428 <= 0;

e1023:    b333 - b429 <= 0;

e1024:    b334 - b430 <= 0;

e1025:    b344 - b440 <= 0;

e1026:    b345 - b441 <= 0;

e1027:    b346 - b442 <= 0;

e1028:    b263 - b359 <= 0;

e1029:  - b263 + b264 - b360 <= 0;

e1030:  - b263 - b264 + b265 - b361 <= 0;

e1031:    b266 - b362 <= 0;

e1032:  - b266 + b267 - b363 <= 0;

e1033:  - b266 - b267 + b268 - b364 <= 0;

e1034:    b269 - b365 <= 0;

e1035:  - b269 + b270 - b366 <= 0;

e1036:  - b269 - b270 + b271 - b367 <= 0;

e1037:    b275 - b371 <= 0;

e1038:  - b275 + b276 - b372 <= 0;

e1039:  - b275 - b276 + b277 - b373 <= 0;

e1040:    b278 - b374 <= 0;

e1041:  - b278 + b279 - b375 <= 0;

e1042:  - b278 - b279 + b280 - b376 <= 0;

e1043:    b281 - b377 <= 0;

e1044:  - b281 + b282 - b378 <= 0;

e1045:  - b281 - b282 + b283 - b379 <= 0;

e1046:    b287 - b383 <= 0;

e1047:  - b287 + b288 - b384 <= 0;

e1048:  - b287 - b288 + b289 - b385 <= 0;

e1049:    b290 - b386 <= 0;

e1050:  - b290 + b291 - b387 <= 0;

e1051:  - b290 - b291 + b292 - b388 <= 0;

e1052:    b293 - b389 <= 0;

e1053:  - b293 + b294 - b390 <= 0;

e1054:  - b293 - b294 + b295 - b391 <= 0;

e1055:    b299 - b395 <= 0;

e1056:  - b299 + b300 - b396 <= 0;

e1057:  - b299 - b300 + b301 - b397 <= 0;

e1058:    b302 - b398 <= 0;

e1059:  - b302 + b303 - b399 <= 0;

e1060:  - b302 - b303 + b304 - b400 <= 0;

e1061:    b305 - b401 <= 0;

e1062:  - b305 + b306 - b402 <= 0;

e1063:  - b305 - b306 + b307 - b403 <= 0;

e1064:    b311 - b407 <= 0;

e1065:  - b311 + b312 - b408 <= 0;

e1066:  - b311 - b312 + b313 - b409 <= 0;

e1067:    b314 - b410 <= 0;

e1068:  - b314 + b315 - b411 <= 0;

e1069:  - b314 - b315 + b316 - b412 <= 0;

e1070:    b317 - b413 <= 0;

e1071:  - b317 + b318 - b414 <= 0;

e1072:  - b317 - b318 + b319 - b415 <= 0;

e1073:    b323 - b419 <= 0;

e1074:  - b323 + b324 - b420 <= 0;

e1075:  - b323 - b324 + b325 - b421 <= 0;

e1076:    b326 - b422 <= 0;

e1077:  - b326 + b327 - b423 <= 0;

e1078:  - b326 - b327 + b328 - b424 <= 0;

e1079:    b329 - b425 <= 0;

e1080:  - b329 + b330 - b426 <= 0;

e1081:  - b329 - b330 + b331 - b427 <= 0;

e1082:    b335 - b431 <= 0;

e1083:  - b335 + b336 - b432 <= 0;

e1084:  - b335 - b336 + b337 - b433 <= 0;

e1085:    b338 - b434 <= 0;

e1086:  - b338 + b339 - b435 <= 0;

e1087:  - b338 - b339 + b340 - b436 <= 0;

e1088:    b341 - b437 <= 0;

e1089:  - b341 + b342 - b438 <= 0;

e1090:  - b341 - b342 + b343 - b439 <= 0;

e1091:    b347 - b443 <= 0;

e1092:  - b347 + b348 - b444 <= 0;

e1093:  - b347 - b348 + b349 - b445 <= 0;

e1094:    b350 - b446 <= 0;

e1095:  - b350 + b351 - b447 <= 0;

e1096:  - b350 - b351 + b352 - b448 <= 0;

e1097:    b353 - b449 <= 0;

e1098:  - b353 + b354 - b450 <= 0;

e1099:  - b353 - b354 + b355 - b451 <= 0;

e1100:    x14 - x95 - x452 = 0;

e1101:    x15 - x96 - x453 = 0;

e1102:    x16 - x97 - x454 = 0;

e1103:    x26 - x98 - x485 = 0;

e1104:    x27 - x99 - x486 = 0;

e1105:    x28 - x100 - x487 = 0;

e1106:    x59 - x101 - x536 = 0;

e1107:    x60 - x102 - x537 = 0;

e1108:    x61 - x103 - x538 = 0;

e1109:    x62 - x104 - x539 = 0;

e1110:    x63 - x105 - x540 = 0;

e1111:    x64 - x106 - x541 = 0;

e1112:    x452 - x455 - x458 = 0;

e1113:    x453 - x456 - x459 = 0;

e1114:    x454 - x457 - x460 = 0;

e1115:  - x461 - x464 + x467 = 0;

e1116:  - x462 - x465 + x468 = 0;

e1117:  - x463 - x466 + x469 = 0;

e1118:    x467 - x470 - x473 = 0;

e1119:    x468 - x471 - x474 = 0;

e1120:    x469 - x472 - x475 = 0;

e1121:    x473 - x476 - x479 - x482 = 0;

e1122:    x474 - x477 - x480 - x483 = 0;

e1123:    x475 - x478 - x481 - x484 = 0;

e1124:    x488 - x497 - x500 = 0;

e1125:    x489 - x498 - x501 = 0;

e1126:    x490 - x499 - x502 = 0;

e1127:    x494 - x503 - x506 - x509 = 0;

e1128:    x495 - x504 - x507 - x510 = 0;

e1129:    x496 - x505 - x508 - x511 = 0;

e1130:    x518 - x530 - x533 = 0;

e1131:    x519 - x531 - x534 = 0;

e1132:    x520 - x532 - x535 = 0;

e1133:  - x521 - x539 + x542 = 0;

e1134:  - x522 - x540 + x543 = 0;

e1135:  - x523 - x541 + x544 = 0;

e1136:    x524 - x545 - x548 = 0;

e1137:    x525 - x546 - x549 = 0;

e1138:    x526 - x547 - x550 = 0;

e1139:    x527 - x551 - x554 - x557 = 0;

e1140:    x528 - x552 - x555 - x558 = 0;

e1141:    x529 - x553 - x556 - x559 = 0;

e1142:    x584 - x587 = 0;

e1143:    x585 - x588 = 0;

e1144:    x586 - x589 = 0;

e1145:    x587 - x590 - x593 = 0;

e1146:    x588 - x591 - x594 = 0;

e1147:    x589 - x592 - x595 = 0;

e1148:  - x596 - x599 + x602 = 0;

e1149:  - x597 - x600 + x603 = 0;

e1150:  - x598 - x601 + x604 = 0;

e1151:    x602 - x605 - x608 = 0;

e1152:    x603 - x606 - x609 = 0;

e1153:    x604 - x607 - x610 = 0;

e1154:    x608 - x611 - x614 - x617 = 0;

e1155:    x609 - x612 - x615 - x618 = 0;

e1156:    x610 - x613 - x616 - x619 = 0;

e1157:    x623 - x632 - x635 = 0;

e1158:    x624 - x633 - x636 = 0;

e1159:    x625 - x634 - x637 = 0;

e1160:    x629 - x638 - x641 - x644 = 0;

e1161:    x630 - x639 - x642 - x645 = 0;

e1162:    x631 - x640 - x643 - x646 = 0;

e1163: -log(1 + x455) + x461 + b662 <= 1;

e1164: -log(1 + x456) + x462 + b663 <= 1;

e1165: -log(1 + x457) + x463 + b664 <= 1;

e1166:    x455 - 40*b662 <= 0;

e1167:    x456 - 40*b663 <= 0;

e1168:    x457 - 40*b664 <= 0;

e1169:    x461 - 3.71357206670431*b662 <= 0;

e1170:    x462 - 3.71357206670431*b663 <= 0;

e1171:    x463 - 3.71357206670431*b664 <= 0;

e1172: -1.2*log(1 + x458) + x464 + b665 <= 1;

e1173: -1.2*log(1 + x459) + x465 + b666 <= 1;

e1174: -1.2*log(1 + x460) + x466 + b667 <= 1;

e1175:    x458 - 40*b665 <= 0;

e1176:    x459 - 40*b666 <= 0;

e1177:    x460 - 40*b667 <= 0;

e1178:    x464 - 4.45628648004517*b665 <= 0;

e1179:    x465 - 4.45628648004517*b666 <= 0;

e1180:    x466 - 4.45628648004517*b667 <= 0;

e1181:  - 0.75*x476 + x488 + b668 <= 1;

e1182:  - 0.75*x477 + x489 + b669 <= 1;

e1183:  - 0.75*x478 + x490 + b670 <= 1;

e1184:  - 0.75*x476 + x488 - b668 >= -1;

e1185:  - 0.75*x477 + x489 - b669 >= -1;

e1186:  - 0.75*x478 + x490 - b670 >= -1;

e1187:    x476 - 4.45628648004517*b668 <= 0;

e1188:    x477 - 4.45628648004517*b669 <= 0;

e1189:    x478 - 4.45628648004517*b670 <= 0;

e1190:    x488 - 3.34221486003388*b668 <= 0;

e1191:    x489 - 3.34221486003388*b669 <= 0;

e1192:    x490 - 3.34221486003388*b670 <= 0;

e1193: -1.5*log(1 + x479) + x491 + b671 <= 1;

e1194: -1.5*log(1 + x480) + x492 + b672 <= 1;

e1195: -1.5*log(1 + x481) + x493 + b673 <= 1;

e1196:    x479 - 4.45628648004517*b671 <= 0;

e1197:    x480 - 4.45628648004517*b672 <= 0;

e1198:    x481 - 4.45628648004517*b673 <= 0;

e1199:    x491 - 2.54515263975353*b671 <= 0;

e1200:    x492 - 2.54515263975353*b672 <= 0;

e1201:    x493 - 2.54515263975353*b673 <= 0;

e1202:  - x482 + x494 + b674 <= 1;

e1203:  - x483 + x495 + b675 <= 1;

e1204:  - x484 + x496 + b676 <= 1;

e1205:  - x482 + x494 - b674 >= -1;

e1206:  - x483 + x495 - b675 >= -1;

e1207:  - x484 + x496 - b676 >= -1;

e1208:  - 0.5*x485 + x494 + b674 <= 1;

e1209:  - 0.5*x486 + x495 + b675 <= 1;

e1210:  - 0.5*x487 + x496 + b676 <= 1;

e1211:  - 0.5*x485 + x494 - b674 >= -1;

e1212:  - 0.5*x486 + x495 - b675 >= -1;

e1213:  - 0.5*x487 + x496 - b676 >= -1;

e1214:    x482 - 4.45628648004517*b674 <= 0;

e1215:    x483 - 4.45628648004517*b675 <= 0;

e1216:    x484 - 4.45628648004517*b676 <= 0;

e1217:    x485 - 30*b674 <= 0;

e1218:    x486 - 30*b675 <= 0;

e1219:    x487 - 30*b676 <= 0;

e1220:    x494 - 15*b674 <= 0;

e1221:    x495 - 15*b675 <= 0;

e1222:    x496 - 15*b676 <= 0;

e1223: -1.25*log(1 + x497) + x512 + b677 <= 1;

e1224: -1.25*log(1 + x498) + x513 + b678 <= 1;

e1225: -1.25*log(1 + x499) + x514 + b679 <= 1;

e1226:    x497 - 3.34221486003388*b677 <= 0;

e1227:    x498 - 3.34221486003388*b678 <= 0;

e1228:    x499 - 3.34221486003388*b679 <= 0;

e1229:    x512 - 1.83548069293539*b677 <= 0;

e1230:    x513 - 1.83548069293539*b678 <= 0;

e1231:    x514 - 1.83548069293539*b679 <= 0;

e1232: -0.9*log(1 + x500) + x515 + b680 <= 1;

e1233: -0.9*log(1 + x501) + x516 + b681 <= 1;

e1234: -0.9*log(1 + x502) + x517 + b682 <= 1;

e1235:    x500 - 3.34221486003388*b680 <= 0;

e1236:    x501 - 3.34221486003388*b681 <= 0;

e1237:    x502 - 3.34221486003388*b682 <= 0;

e1238:    x515 - 1.32154609891348*b680 <= 0;

e1239:    x516 - 1.32154609891348*b681 <= 0;

e1240:    x517 - 1.32154609891348*b682 <= 0;

e1241: -log(1 + x491) + x518 + b683 <= 1;

e1242: -log(1 + x492) + x519 + b684 <= 1;

e1243: -log(1 + x493) + x520 + b685 <= 1;

e1244:    x491 - 2.54515263975353*b683 <= 0;

e1245:    x492 - 2.54515263975353*b684 <= 0;

e1246:    x493 - 2.54515263975353*b685 <= 0;

e1247:    x518 - 1.26558121681553*b683 <= 0;

e1248:    x519 - 1.26558121681553*b684 <= 0;

e1249:    x520 - 1.26558121681553*b685 <= 0;

e1250:  - 0.9*x503 + x521 + b686 <= 1;

e1251:  - 0.9*x504 + x522 + b687 <= 1;

e1252:  - 0.9*x505 + x523 + b688 <= 1;

e1253:  - 0.9*x503 + x521 - b686 >= -1;

e1254:  - 0.9*x504 + x522 - b687 >= -1;

e1255:  - 0.9*x505 + x523 - b688 >= -1;

e1256:    x503 - 15*b686 <= 0;

e1257:    x504 - 15*b687 <= 0;

e1258:    x505 - 15*b688 <= 0;

e1259:    x521 - 13.5*b686 <= 0;

e1260:    x522 - 13.5*b687 <= 0;

e1261:    x523 - 13.5*b688 <= 0;

e1262:  - 0.6*x506 + x524 + b689 <= 1;

e1263:  - 0.6*x507 + x525 + b690 <= 1;

e1264:  - 0.6*x508 + x526 + b691 <= 1;

e1265:  - 0.6*x506 + x524 - b689 >= -1;

e1266:  - 0.6*x507 + x525 - b690 >= -1;

e1267:  - 0.6*x508 + x526 - b691 >= -1;

e1268:    x506 - 15*b689 <= 0;

e1269:    x507 - 15*b690 <= 0;

e1270:    x508 - 15*b691 <= 0;

e1271:    x524 - 9*b689 <= 0;

e1272:    x525 - 9*b690 <= 0;

e1273:    x526 - 9*b691 <= 0;

e1274: -1.1*log(1 + x509) + x527 + b692 <= 1;

e1275: -1.1*log(1 + x510) + x528 + b693 <= 1;

e1276: -1.1*log(1 + x511) + x529 + b694 <= 1;

e1277:    x509 - 15*b692 <= 0;

e1278:    x510 - 15*b693 <= 0;

e1279:    x511 - 15*b694 <= 0;

e1280:    x527 - 3.04984759446376*b692 <= 0;

e1281:    x528 - 3.04984759446376*b693 <= 0;

e1282:    x529 - 3.04984759446376*b694 <= 0;

e1283:  - 0.9*x512 + x560 + b695 <= 1;

e1284:  - 0.9*x513 + x561 + b696 <= 1;

e1285:  - 0.9*x514 + x562 + b697 <= 1;

e1286:  - 0.9*x512 + x560 - b695 >= -1;

e1287:  - 0.9*x513 + x561 - b696 >= -1;

e1288:  - 0.9*x514 + x562 - b697 >= -1;

e1289:  - x536 + x560 + b695 <= 1;

e1290:  - x537 + x561 + b696 <= 1;

e1291:  - x538 + x562 + b697 <= 1;

e1292:  - x536 + x560 - b695 >= -1;

e1293:  - x537 + x561 - b696 >= -1;

e1294:  - x538 + x562 - b697 >= -1;

e1295:    x512 - 1.83548069293539*b695 <= 0;

e1296:    x513 - 1.83548069293539*b696 <= 0;

e1297:    x514 - 1.83548069293539*b697 <= 0;

e1298:    x536 - 20*b695 <= 0;

e1299:    x537 - 20*b696 <= 0;

e1300:    x538 - 20*b697 <= 0;

e1301:    x560 - 20*b695 <= 0;

e1302:    x561 - 20*b696 <= 0;

e1303:    x562 - 20*b697 <= 0;

e1304: -log(1 + x515) + x563 + b698 <= 1;

e1305: -log(1 + x516) + x564 + b699 <= 1;

e1306: -log(1 + x517) + x565 + b700 <= 1;

e1307:    x515 - 1.32154609891348*b698 <= 0;

e1308:    x516 - 1.32154609891348*b699 <= 0;

e1309:    x517 - 1.32154609891348*b700 <= 0;

e1310:    x563 - 0.842233385663186*b698 <= 0;

e1311:    x564 - 0.842233385663186*b699 <= 0;

e1312:    x565 - 0.842233385663186*b700 <= 0;

e1313: -0.7*log(1 + x530) + x566 + b701 <= 1;

e1314: -0.7*log(1 + x531) + x567 + b702 <= 1;

e1315: -0.7*log(1 + x532) + x568 + b703 <= 1;

e1316:    x530 - 1.26558121681553*b701 <= 0;

e1317:    x531 - 1.26558121681553*b702 <= 0;

e1318:    x532 - 1.26558121681553*b703 <= 0;

e1319:    x566 - 0.572481933717686*b701 <= 0;

e1320:    x567 - 0.572481933717686*b702 <= 0;

e1321:    x568 - 0.572481933717686*b703 <= 0;

e1322: -0.65*log(1 + x533) + x569 + b704 <= 1;

e1323: -0.65*log(1 + x534) + x570 + b705 <= 1;

e1324: -0.65*log(1 + x535) + x571 + b706 <= 1;

e1325: -0.65*log(1 + x542) + x569 + b704 <= 1;

e1326: -0.65*log(1 + x543) + x570 + b705 <= 1;

e1327: -0.65*log(1 + x544) + x571 + b706 <= 1;

e1328:    x533 - 1.26558121681553*b704 <= 0;

e1329:    x534 - 1.26558121681553*b705 <= 0;

e1330:    x535 - 1.26558121681553*b706 <= 0;

e1331:    x542 - 33.5*b704 <= 0;

e1332:    x543 - 33.5*b705 <= 0;

e1333:    x544 - 33.5*b706 <= 0;

e1334:    x569 - 2.30162356062425*b704 <= 0;

e1335:    x570 - 2.30162356062425*b705 <= 0;

e1336:    x571 - 2.30162356062425*b706 <= 0;

e1337:  - x545 + x572 + b707 <= 1;

e1338:  - x546 + x573 + b708 <= 1;

e1339:  - x547 + x574 + b709 <= 1;

e1340:  - x545 + x572 - b707 >= -1;

e1341:  - x546 + x573 - b708 >= -1;

e1342:  - x547 + x574 - b709 >= -1;

e1343:    x545 - 9*b707 <= 0;

e1344:    x546 - 9*b708 <= 0;

e1345:    x547 - 9*b709 <= 0;

e1346:    x572 - 9*b707 <= 0;

e1347:    x573 - 9*b708 <= 0;

e1348:    x574 - 9*b709 <= 0;

e1349:  - x548 + x575 + b710 <= 1;

e1350:  - x549 + x576 + b711 <= 1;

e1351:  - x550 + x577 + b712 <= 1;

e1352:  - x548 + x575 - b710 >= -1;

e1353:  - x549 + x576 - b711 >= -1;

e1354:  - x550 + x577 - b712 >= -1;

e1355:    x548 - 9*b710 <= 0;

e1356:    x549 - 9*b711 <= 0;

e1357:    x550 - 9*b712 <= 0;

e1358:    x575 - 9*b710 <= 0;

e1359:    x576 - 9*b711 <= 0;

e1360:    x577 - 9*b712 <= 0;

e1361: -0.75*log(1 + x551) + x578 + b713 <= 1;

e1362: -0.75*log(1 + x552) + x579 + b714 <= 1;

e1363: -0.75*log(1 + x553) + x580 + b715 <= 1;

e1364:    x551 - 3.04984759446376*b713 <= 0;

e1365:    x552 - 3.04984759446376*b714 <= 0;

e1366:    x553 - 3.04984759446376*b715 <= 0;

e1367:    x578 - 1.04900943706034*b713 <= 0;

e1368:    x579 - 1.04900943706034*b714 <= 0;

e1369:    x580 - 1.04900943706034*b715 <= 0;

e1370: -0.8*log(1 + x554) + x581 + b716 <= 1;

e1371: -0.8*log(1 + x555) + x582 + b717 <= 1;

e1372: -0.8*log(1 + x556) + x583 + b718 <= 1;

e1373:    x554 - 3.04984759446376*b716 <= 0;

e1374:    x555 - 3.04984759446376*b717 <= 0;

e1375:    x556 - 3.04984759446376*b718 <= 0;

e1376:    x581 - 1.11894339953103*b716 <= 0;

e1377:    x582 - 1.11894339953103*b717 <= 0;

e1378:    x583 - 1.11894339953103*b718 <= 0;

e1379: -0.85*log(1 + x557) + x584 + b719 <= 1;

e1380: -0.85*log(1 + x558) + x585 + b720 <= 1;

e1381: -0.85*log(1 + x559) + x586 + b721 <= 1;

e1382:    x557 - 3.04984759446376*b719 <= 0;

e1383:    x558 - 3.04984759446376*b720 <= 0;

e1384:    x559 - 3.04984759446376*b721 <= 0;

e1385:    x584 - 1.18887736200171*b719 <= 0;

e1386:    x585 - 1.18887736200171*b720 <= 0;

e1387:    x586 - 1.18887736200171*b721 <= 0;

e1388: -log(1 + x590) + x596 + b722 <= 1;

e1389: -log(1 + x591) + x597 + b723 <= 1;

e1390: -log(1 + x592) + x598 + b724 <= 1;

e1391:    x590 - 1.18887736200171*b722 <= 0;

e1392:    x591 - 1.18887736200171*b723 <= 0;

e1393:    x592 - 1.18887736200171*b724 <= 0;

e1394:    x596 - 0.78338879230327*b722 <= 0;

e1395:    x597 - 0.78338879230327*b723 <= 0;

e1396:    x598 - 0.78338879230327*b724 <= 0;

e1397: -1.2*log(1 + x593) + x599 + b725 <= 1;

e1398: -1.2*log(1 + x594) + x600 + b726 <= 1;

e1399: -1.2*log(1 + x595) + x601 + b727 <= 1;

e1400:    x593 - 1.18887736200171*b725 <= 0;

e1401:    x594 - 1.18887736200171*b726 <= 0;

e1402:    x595 - 1.18887736200171*b727 <= 0;

e1403:    x599 - 0.940066550763924*b725 <= 0;

e1404:    x600 - 0.940066550763924*b726 <= 0;

e1405:    x601 - 0.940066550763924*b727 <= 0;

e1406:  - 0.75*x611 + x623 + b728 <= 1;

e1407:  - 0.75*x612 + x624 + b729 <= 1;

e1408:  - 0.75*x613 + x625 + b730 <= 1;

e1409:  - 0.75*x611 + x623 - b728 >= -1;

e1410:  - 0.75*x612 + x624 - b729 >= -1;

e1411:  - 0.75*x613 + x625 - b730 >= -1;

e1412:    x611 - 0.940066550763924*b728 <= 0;

e1413:    x612 - 0.940066550763924*b729 <= 0;

e1414:    x613 - 0.940066550763924*b730 <= 0;

e1415:    x623 - 0.705049913072943*b728 <= 0;

e1416:    x624 - 0.705049913072943*b729 <= 0;

e1417:    x625 - 0.705049913072943*b730 <= 0;

e1418: -1.5*log(1 + x614) + x626 + b731 <= 1;

e1419: -1.5*log(1 + x615) + x627 + b732 <= 1;

e1420: -1.5*log(1 + x616) + x628 + b733 <= 1;

e1421:    x614 - 0.940066550763924*b731 <= 0;

e1422:    x615 - 0.940066550763924*b732 <= 0;

e1423:    x616 - 0.940066550763924*b733 <= 0;

e1424:    x626 - 0.994083415506506*b731 <= 0;

e1425:    x627 - 0.994083415506506*b732 <= 0;

e1426:    x628 - 0.994083415506506*b733 <= 0;

e1427:  - x617 + x629 + b734 <= 1;

e1428:  - x618 + x630 + b735 <= 1;

e1429:  - x619 + x631 + b736 <= 1;

e1430:  - x617 + x629 - b734 >= -1;

e1431:  - x618 + x630 - b735 >= -1;

e1432:  - x619 + x631 - b736 >= -1;

e1433:  - 0.5*x620 + x629 + b734 <= 1;

e1434:  - 0.5*x621 + x630 + b735 <= 1;

e1435:  - 0.5*x622 + x631 + b736 <= 1;

e1436:  - 0.5*x620 + x629 - b734 >= -1;

e1437:  - 0.5*x621 + x630 - b735 >= -1;

e1438:  - 0.5*x622 + x631 - b736 >= -1;

e1439:    x617 - 0.940066550763924*b734 <= 0;

e1440:    x618 - 0.940066550763924*b735 <= 0;

e1441:    x619 - 0.940066550763924*b736 <= 0;

e1442:    x620 - 30*b734 <= 0;

e1443:    x621 - 30*b735 <= 0;

e1444:    x622 - 30*b736 <= 0;

e1445:    x629 - 15*b734 <= 0;

e1446:    x630 - 15*b735 <= 0;

e1447:    x631 - 15*b736 <= 0;

e1448: -1.25*log(1 + x632) + x647 + b737 <= 1;

e1449: -1.25*log(1 + x633) + x648 + b738 <= 1;

e1450: -1.25*log(1 + x634) + x649 + b739 <= 1;

e1451:    x632 - 0.705049913072943*b737 <= 0;

e1452:    x633 - 0.705049913072943*b738 <= 0;

e1453:    x634 - 0.705049913072943*b739 <= 0;

e1454:    x647 - 0.666992981045719*b737 <= 0;

e1455:    x648 - 0.666992981045719*b738 <= 0;

e1456:    x649 - 0.666992981045719*b739 <= 0;

e1457: -0.9*log(1 + x635) + x650 + b740 <= 1;

e1458: -0.9*log(1 + x636) + x651 + b741 <= 1;

e1459: -0.9*log(1 + x637) + x652 + b742 <= 1;

e1460:    x635 - 0.705049913072943*b740 <= 0;

e1461:    x636 - 0.705049913072943*b741 <= 0;

e1462:    x637 - 0.705049913072943*b742 <= 0;

e1463:    x650 - 0.480234946352917*b740 <= 0;

e1464:    x651 - 0.480234946352917*b741 <= 0;

e1465:    x652 - 0.480234946352917*b742 <= 0;

e1466: -log(1 + x626) + x653 + b743 <= 1;

e1467: -log(1 + x627) + x654 + b744 <= 1;

e1468: -log(1 + x628) + x655 + b745 <= 1;

e1469:    x626 - 0.994083415506506*b743 <= 0;

e1470:    x627 - 0.994083415506506*b744 <= 0;

e1471:    x628 - 0.994083415506506*b745 <= 0;

e1472:    x653 - 0.690184503917672*b743 <= 0;

e1473:    x654 - 0.690184503917672*b744 <= 0;

e1474:    x655 - 0.690184503917672*b745 <= 0;

e1475:  - 0.9*x638 + x656 + b746 <= 1;

e1476:  - 0.9*x639 + x657 + b747 <= 1;

e1477:  - 0.9*x640 + x658 + b748 <= 1;

e1478:  - 0.9*x638 + x656 - b746 >= -1;

e1479:  - 0.9*x639 + x657 - b747 >= -1;

e1480:  - 0.9*x640 + x658 - b748 >= -1;

e1481:    x638 - 15*b746 <= 0;

e1482:    x639 - 15*b747 <= 0;

e1483:    x640 - 15*b748 <= 0;

e1484:    x656 - 13.5*b746 <= 0;

e1485:    x657 - 13.5*b747 <= 0;

e1486:    x658 - 13.5*b748 <= 0;

e1487:  - 0.6*x641 + x659 + b749 <= 1;

e1488:  - 0.6*x642 + x660 + b750 <= 1;

e1489:  - 0.6*x643 + x661 + b751 <= 1;

e1490:  - 0.6*x641 + x659 - b749 >= -1;

e1491:  - 0.6*x642 + x660 - b750 >= -1;

e1492:  - 0.6*x643 + x661 - b751 >= -1;

e1493:    x641 - 15*b749 <= 0;

e1494:    x642 - 15*b750 <= 0;

e1495:    x643 - 15*b751 <= 0;

e1496:    x659 - 9*b749 <= 0;

e1497:    x660 - 9*b750 <= 0;

e1498:    x661 - 9*b751 <= 0;

e1499:    5*b752 + x842 <= 0;

e1500:    4*b753 + x843 <= 0;

e1501:    6*b754 + x844 <= 0;

e1502:    8*b755 + x845 <= 0;

e1503:    7*b756 + x846 <= 0;

e1504:    6*b757 + x847 <= 0;

e1505:    6*b758 + x848 <= 0;

e1506:    9*b759 + x849 <= 0;

e1507:    4*b760 + x850 <= 0;

e1508:    10*b761 + x851 <= 0;

e1509:    9*b762 + x852 <= 0;

e1510:    5*b763 + x853 <= 0;

e1511:    6*b764 + x854 <= 0;

e1512:    10*b765 + x855 <= 0;

e1513:    6*b766 + x856 <= 0;

e1514:    7*b767 + x857 <= 0;

e1515:    7*b768 + x858 <= 0;

e1516:    4*b769 + x859 <= 0;

e1517:    4*b770 + x860 <= 0;

e1518:    3*b771 + x861 <= 0;

e1519:    2*b772 + x862 <= 0;

e1520:    5*b773 + x863 <= 0;

e1521:    6*b774 + x864 <= 0;

e1522:    7*b775 + x865 <= 0;

e1523:    2*b776 + x866 <= 0;

e1524:    5*b777 + x867 <= 0;

e1525:    2*b778 + x868 <= 0;

e1526:    4*b779 + x869 <= 0;

e1527:    7*b780 + x870 <= 0;

e1528:    4*b781 + x871 <= 0;

e1529:    3*b782 + x872 <= 0;

e1530:    9*b783 + x873 <= 0;

e1531:    3*b784 + x874 <= 0;

e1532:    7*b785 + x875 <= 0;

e1533:    2*b786 + x876 <= 0;

e1534:    9*b787 + x877 <= 0;

e1535:    3*b788 + x878 <= 0;

e1536:    b789 + x879 <= 0;

e1537:    9*b790 + x880 <= 0;

e1538:    2*b791 + x881 <= 0;

e1539:    6*b792 + x882 <= 0;

e1540:    3*b793 + x883 <= 0;

e1541:    4*b794 + x884 <= 0;

e1542:    8*b795 + x885 <= 0;

e1543:    b796 + x886 <= 0;

e1544:    2*b797 + x887 <= 0;

e1545:    5*b798 + x888 <= 0;

e1546:    2*b799 + x889 <= 0;

e1547:    3*b800 + x890 <= 0;

e1548:    4*b801 + x891 <= 0;

e1549:    3*b802 + x892 <= 0;

e1550:    5*b803 + x893 <= 0;

e1551:    7*b804 + x894 <= 0;

e1552:    6*b805 + x895 <= 0;

e1553:    2*b806 + x896 <= 0;

e1554:    8*b807 + x897 <= 0;

e1555:    4*b808 + x898 <= 0;

e1556:    b809 + x899 <= 0;

e1557:    4*b810 + x900 <= 0;

e1558:    b811 + x901 <= 0;

e1559:    2*b812 + x902 <= 0;

e1560:    5*b813 + x903 <= 0;

e1561:    2*b814 + x904 <= 0;

e1562:    9*b815 + x905 <= 0;

e1563:    2*b816 + x906 <= 0;

e1564:    9*b817 + x907 <= 0;

e1565:    5*b818 + x908 <= 0;

e1566:    8*b819 + x909 <= 0;

e1567:    4*b820 + x910 <= 0;

e1568:    2*b821 + x911 <= 0;

e1569:    3*b822 + x912 <= 0;

e1570:    8*b823 + x913 <= 0;

e1571:    10*b824 + x914 <= 0;

e1572:    6*b825 + x915 <= 0;

e1573:    3*b826 + x916 <= 0;

e1574:    4*b827 + x917 <= 0;

e1575:    8*b828 + x918 <= 0;

e1576:    7*b829 + x919 <= 0;

e1577:    7*b830 + x920 <= 0;

e1578:    3*b831 + x921 <= 0;

e1579:    9*b832 + x922 <= 0;

e1580:    4*b833 + x923 <= 0;

e1581:    8*b834 + x924 <= 0;

e1582:    6*b835 + x925 <= 0;

e1583:    2*b836 + x926 <= 0;

e1584:    b837 + x927 <= 0;

e1585:    3*b838 + x928 <= 0;

e1586:    8*b839 + x929 <= 0;

e1587:    3*b840 + x930 <= 0;

e1588:    4*b841 + x931 <= 0;

e1589:    5*b752 + x842 >= 0;

e1590:    4*b753 + x843 >= 0;

e1591:    6*b754 + x844 >= 0;

e1592:    8*b755 + x845 >= 0;

e1593:    7*b756 + x846 >= 0;

e1594:    6*b757 + x847 >= 0;

e1595:    6*b758 + x848 >= 0;

e1596:    9*b759 + x849 >= 0;

e1597:    4*b760 + x850 >= 0;

e1598:    10*b761 + x851 >= 0;

e1599:    9*b762 + x852 >= 0;

e1600:    5*b763 + x853 >= 0;

e1601:    6*b764 + x854 >= 0;

e1602:    10*b765 + x855 >= 0;

e1603:    6*b766 + x856 >= 0;

e1604:    7*b767 + x857 >= 0;

e1605:    7*b768 + x858 >= 0;

e1606:    4*b769 + x859 >= 0;

e1607:    4*b770 + x860 >= 0;

e1608:    3*b771 + x861 >= 0;

e1609:    2*b772 + x862 >= 0;

e1610:    5*b773 + x863 >= 0;

e1611:    6*b774 + x864 >= 0;

e1612:    7*b775 + x865 >= 0;

e1613:    2*b776 + x866 >= 0;

e1614:    5*b777 + x867 >= 0;

e1615:    2*b778 + x868 >= 0;

e1616:    4*b779 + x869 >= 0;

e1617:    7*b780 + x870 >= 0;

e1618:    4*b781 + x871 >= 0;

e1619:    3*b782 + x872 >= 0;

e1620:    9*b783 + x873 >= 0;

e1621:    3*b784 + x874 >= 0;

e1622:    7*b785 + x875 >= 0;

e1623:    2*b786 + x876 >= 0;

e1624:    9*b787 + x877 >= 0;

e1625:    3*b788 + x878 >= 0;

e1626:    b789 + x879 >= 0;

e1627:    9*b790 + x880 >= 0;

e1628:    2*b791 + x881 >= 0;

e1629:    6*b792 + x882 >= 0;

e1630:    3*b793 + x883 >= 0;

e1631:    4*b794 + x884 >= 0;

e1632:    8*b795 + x885 >= 0;

e1633:    b796 + x886 >= 0;

e1634:    2*b797 + x887 >= 0;

e1635:    5*b798 + x888 >= 0;

e1636:    2*b799 + x889 >= 0;

e1637:    3*b800 + x890 >= 0;

e1638:    4*b801 + x891 >= 0;

e1639:    3*b802 + x892 >= 0;

e1640:    5*b803 + x893 >= 0;

e1641:    7*b804 + x894 >= 0;

e1642:    6*b805 + x895 >= 0;

e1643:    2*b806 + x896 >= 0;

e1644:    8*b807 + x897 >= 0;

e1645:    4*b808 + x898 >= 0;

e1646:    b809 + x899 >= 0;

e1647:    4*b810 + x900 >= 0;

e1648:    b811 + x901 >= 0;

e1649:    2*b812 + x902 >= 0;

e1650:    5*b813 + x903 >= 0;

e1651:    2*b814 + x904 >= 0;

e1652:    9*b815 + x905 >= 0;

e1653:    2*b816 + x906 >= 0;

e1654:    9*b817 + x907 >= 0;

e1655:    5*b818 + x908 >= 0;

e1656:    8*b819 + x909 >= 0;

e1657:    4*b820 + x910 >= 0;

e1658:    2*b821 + x911 >= 0;

e1659:    3*b822 + x912 >= 0;

e1660:    8*b823 + x913 >= 0;

e1661:    10*b824 + x914 >= 0;

e1662:    6*b825 + x915 >= 0;

e1663:    3*b826 + x916 >= 0;

e1664:    4*b827 + x917 >= 0;

e1665:    8*b828 + x918 >= 0;

e1666:    7*b829 + x919 >= 0;

e1667:    7*b830 + x920 >= 0;

e1668:    3*b831 + x921 >= 0;

e1669:    9*b832 + x922 >= 0;

e1670:    4*b833 + x923 >= 0;

e1671:    8*b834 + x924 >= 0;

e1672:    6*b835 + x925 >= 0;

e1673:    2*b836 + x926 >= 0;

e1674:    b837 + x927 >= 0;

e1675:    3*b838 + x928 >= 0;

e1676:    8*b839 + x929 >= 0;

e1677:    3*b840 + x930 >= 0;

e1678:    4*b841 + x931 >= 0;

e1679:    b662 - b663 <= 0;

e1680:    b662 - b664 <= 0;

e1681:    b663 - b664 <= 0;

e1682:    b665 - b666 <= 0;

e1683:    b665 - b667 <= 0;

e1684:    b666 - b667 <= 0;

e1685:    b668 - b669 <= 0;

e1686:    b668 - b670 <= 0;

e1687:    b669 - b670 <= 0;

e1688:    b671 - b672 <= 0;

e1689:    b671 - b673 <= 0;

e1690:    b672 - b673 <= 0;

e1691:    b674 - b675 <= 0;

e1692:    b674 - b676 <= 0;

e1693:    b675 - b676 <= 0;

e1694:    b677 - b678 <= 0;

e1695:    b677 - b679 <= 0;

e1696:    b678 - b679 <= 0;

e1697:    b680 - b681 <= 0;

e1698:    b680 - b682 <= 0;

e1699:    b681 - b682 <= 0;

e1700:    b683 - b684 <= 0;

e1701:    b683 - b685 <= 0;

e1702:    b684 - b685 <= 0;

e1703:    b686 - b687 <= 0;

e1704:    b686 - b688 <= 0;

e1705:    b687 - b688 <= 0;

e1706:    b689 - b690 <= 0;

e1707:    b689 - b691 <= 0;

e1708:    b690 - b691 <= 0;

e1709:    b692 - b693 <= 0;

e1710:    b692 - b694 <= 0;

e1711:    b693 - b694 <= 0;

e1712:    b695 - b696 <= 0;

e1713:    b695 - b697 <= 0;

e1714:    b696 - b697 <= 0;

e1715:    b698 - b699 <= 0;

e1716:    b698 - b700 <= 0;

e1717:    b699 - b700 <= 0;

e1718:    b701 - b702 <= 0;

e1719:    b701 - b703 <= 0;

e1720:    b702 - b703 <= 0;

e1721:    b704 - b705 <= 0;

e1722:    b704 - b706 <= 0;

e1723:    b705 - b706 <= 0;

e1724:    b707 - b708 <= 0;

e1725:    b707 - b709 <= 0;

e1726:    b708 - b709 <= 0;

e1727:    b710 - b711 <= 0;

e1728:    b710 - b712 <= 0;

e1729:    b711 - b712 <= 0;

e1730:    b713 - b714 <= 0;

e1731:    b713 - b715 <= 0;

e1732:    b714 - b715 <= 0;

e1733:    b716 - b717 <= 0;

e1734:    b716 - b718 <= 0;

e1735:    b717 - b718 <= 0;

e1736:    b719 - b720 <= 0;

e1737:    b719 - b721 <= 0;

e1738:    b720 - b721 <= 0;

e1739:    b722 - b723 <= 0;

e1740:    b722 - b724 <= 0;

e1741:    b723 - b724 <= 0;

e1742:    b725 - b726 <= 0;

e1743:    b725 - b727 <= 0;

e1744:    b726 - b727 <= 0;

e1745:    b728 - b729 <= 0;

e1746:    b728 - b730 <= 0;

e1747:    b729 - b730 <= 0;

e1748:    b731 - b732 <= 0;

e1749:    b731 - b733 <= 0;

e1750:    b732 - b733 <= 0;

e1751:    b734 - b735 <= 0;

e1752:    b734 - b736 <= 0;

e1753:    b735 - b736 <= 0;

e1754:    b737 - b738 <= 0;

e1755:    b737 - b739 <= 0;

e1756:    b738 - b739 <= 0;

e1757:    b740 - b741 <= 0;

e1758:    b740 - b742 <= 0;

e1759:    b741 - b742 <= 0;

e1760:    b743 - b744 <= 0;

e1761:    b743 - b745 <= 0;

e1762:    b744 - b745 <= 0;

e1763:    b746 - b747 <= 0;

e1764:    b746 - b748 <= 0;

e1765:    b747 - b748 <= 0;

e1766:    b749 - b750 <= 0;

e1767:    b749 - b751 <= 0;

e1768:    b750 - b751 <= 0;

e1769:    b752 + b753 <= 1;

e1770:    b752 + b754 <= 1;

e1771:    b752 + b753 <= 1;

e1772:    b753 + b754 <= 1;

e1773:    b752 + b754 <= 1;

e1774:    b753 + b754 <= 1;

e1775:    b755 + b756 <= 1;

e1776:    b755 + b757 <= 1;

e1777:    b755 + b756 <= 1;

e1778:    b756 + b757 <= 1;

e1779:    b755 + b757 <= 1;

e1780:    b756 + b757 <= 1;

e1781:    b758 + b759 <= 1;

e1782:    b758 + b760 <= 1;

e1783:    b758 + b759 <= 1;

e1784:    b759 + b760 <= 1;

e1785:    b758 + b760 <= 1;

e1786:    b759 + b760 <= 1;

e1787:    b761 + b762 <= 1;

e1788:    b761 + b763 <= 1;

e1789:    b761 + b762 <= 1;

e1790:    b762 + b763 <= 1;

e1791:    b761 + b763 <= 1;

e1792:    b762 + b763 <= 1;

e1793:    b764 + b765 <= 1;

e1794:    b764 + b766 <= 1;

e1795:    b764 + b765 <= 1;

e1796:    b765 + b766 <= 1;

e1797:    b764 + b766 <= 1;

e1798:    b765 + b766 <= 1;

e1799:    b767 + b768 <= 1;

e1800:    b767 + b769 <= 1;

e1801:    b767 + b768 <= 1;

e1802:    b768 + b769 <= 1;

e1803:    b767 + b769 <= 1;

e1804:    b768 + b769 <= 1;

e1805:    b770 + b771 <= 1;

e1806:    b770 + b772 <= 1;

e1807:    b770 + b771 <= 1;

e1808:    b771 + b772 <= 1;

e1809:    b770 + b772 <= 1;

e1810:    b771 + b772 <= 1;

e1811:    b773 + b774 <= 1;

e1812:    b773 + b775 <= 1;

e1813:    b773 + b774 <= 1;

e1814:    b774 + b775 <= 1;

e1815:    b773 + b775 <= 1;

e1816:    b774 + b775 <= 1;

e1817:    b776 + b777 <= 1;

e1818:    b776 + b778 <= 1;

e1819:    b776 + b777 <= 1;

e1820:    b777 + b778 <= 1;

e1821:    b776 + b778 <= 1;

e1822:    b777 + b778 <= 1;

e1823:    b779 + b780 <= 1;

e1824:    b779 + b781 <= 1;

e1825:    b779 + b780 <= 1;

e1826:    b780 + b781 <= 1;

e1827:    b779 + b781 <= 1;

e1828:    b780 + b781 <= 1;

e1829:    b782 + b783 <= 1;

e1830:    b782 + b784 <= 1;

e1831:    b782 + b783 <= 1;

e1832:    b783 + b784 <= 1;

e1833:    b782 + b784 <= 1;

e1834:    b783 + b784 <= 1;

e1835:    b785 + b786 <= 1;

e1836:    b785 + b787 <= 1;

e1837:    b785 + b786 <= 1;

e1838:    b786 + b787 <= 1;

e1839:    b785 + b787 <= 1;

e1840:    b786 + b787 <= 1;

e1841:    b788 + b789 <= 1;

e1842:    b788 + b790 <= 1;

e1843:    b788 + b789 <= 1;

e1844:    b789 + b790 <= 1;

e1845:    b788 + b790 <= 1;

e1846:    b789 + b790 <= 1;

e1847:    b791 + b792 <= 1;

e1848:    b791 + b793 <= 1;

e1849:    b791 + b792 <= 1;

e1850:    b792 + b793 <= 1;

e1851:    b791 + b793 <= 1;

e1852:    b792 + b793 <= 1;

e1853:    b794 + b795 <= 1;

e1854:    b794 + b796 <= 1;

e1855:    b794 + b795 <= 1;

e1856:    b795 + b796 <= 1;

e1857:    b794 + b796 <= 1;

e1858:    b795 + b796 <= 1;

e1859:    b797 + b798 <= 1;

e1860:    b797 + b799 <= 1;

e1861:    b797 + b798 <= 1;

e1862:    b798 + b799 <= 1;

e1863:    b797 + b799 <= 1;

e1864:    b798 + b799 <= 1;

e1865:    b800 + b801 <= 1;

e1866:    b800 + b802 <= 1;

e1867:    b800 + b801 <= 1;

e1868:    b801 + b802 <= 1;

e1869:    b800 + b802 <= 1;

e1870:    b801 + b802 <= 1;

e1871:    b803 + b804 <= 1;

e1872:    b803 + b805 <= 1;

e1873:    b803 + b804 <= 1;

e1874:    b804 + b805 <= 1;

e1875:    b803 + b805 <= 1;

e1876:    b804 + b805 <= 1;

e1877:    b806 + b807 <= 1;

e1878:    b806 + b808 <= 1;

e1879:    b806 + b807 <= 1;

e1880:    b807 + b808 <= 1;

e1881:    b806 + b808 <= 1;

e1882:    b807 + b808 <= 1;

e1883:    b809 + b810 <= 1;

e1884:    b809 + b811 <= 1;

e1885:    b809 + b810 <= 1;

e1886:    b810 + b811 <= 1;

e1887:    b809 + b811 <= 1;

e1888:    b810 + b811 <= 1;

e1889:    b812 + b813 <= 1;

e1890:    b812 + b814 <= 1;

e1891:    b812 + b813 <= 1;

e1892:    b813 + b814 <= 1;

e1893:    b812 + b814 <= 1;

e1894:    b813 + b814 <= 1;

e1895:    b815 + b816 <= 1;

e1896:    b815 + b817 <= 1;

e1897:    b815 + b816 <= 1;

e1898:    b816 + b817 <= 1;

e1899:    b815 + b817 <= 1;

e1900:    b816 + b817 <= 1;

e1901:    b818 + b819 <= 1;

e1902:    b818 + b820 <= 1;

e1903:    b818 + b819 <= 1;

e1904:    b819 + b820 <= 1;

e1905:    b818 + b820 <= 1;

e1906:    b819 + b820 <= 1;

e1907:    b821 + b822 <= 1;

e1908:    b821 + b823 <= 1;

e1909:    b821 + b822 <= 1;

e1910:    b822 + b823 <= 1;

e1911:    b821 + b823 <= 1;

e1912:    b822 + b823 <= 1;

e1913:    b824 + b825 <= 1;

e1914:    b824 + b826 <= 1;

e1915:    b824 + b825 <= 1;

e1916:    b825 + b826 <= 1;

e1917:    b824 + b826 <= 1;

e1918:    b825 + b826 <= 1;

e1919:    b827 + b828 <= 1;

e1920:    b827 + b829 <= 1;

e1921:    b827 + b828 <= 1;

e1922:    b828 + b829 <= 1;

e1923:    b827 + b829 <= 1;

e1924:    b828 + b829 <= 1;

e1925:    b830 + b831 <= 1;

e1926:    b830 + b832 <= 1;

e1927:    b830 + b831 <= 1;

e1928:    b831 + b832 <= 1;

e1929:    b830 + b832 <= 1;

e1930:    b831 + b832 <= 1;

e1931:    b833 + b834 <= 1;

e1932:    b833 + b835 <= 1;

e1933:    b833 + b834 <= 1;

e1934:    b834 + b835 <= 1;

e1935:    b833 + b835 <= 1;

e1936:    b834 + b835 <= 1;

e1937:    b836 + b837 <= 1;

e1938:    b836 + b838 <= 1;

e1939:    b836 + b837 <= 1;

e1940:    b837 + b838 <= 1;

e1941:    b836 + b838 <= 1;

e1942:    b837 + b838 <= 1;

e1943:    b839 + b840 <= 1;

e1944:    b839 + b841 <= 1;

e1945:    b839 + b840 <= 1;

e1946:    b840 + b841 <= 1;

e1947:    b839 + b841 <= 1;

e1948:    b840 + b841 <= 1;

e1949:    b662 - b752 <= 0;

e1950:  - b662 + b663 - b753 <= 0;

e1951:  - b662 - b663 + b664 - b754 <= 0;

e1952:    b665 - b755 <= 0;

e1953:  - b665 + b666 - b756 <= 0;

e1954:  - b665 - b666 + b667 - b757 <= 0;

e1955:    b668 - b758 <= 0;

e1956:  - b668 + b669 - b759 <= 0;

e1957:  - b668 - b669 + b670 - b760 <= 0;

e1958:    b671 - b761 <= 0;

e1959:  - b671 + b672 - b762 <= 0;

e1960:  - b671 - b672 + b673 - b763 <= 0;

e1961:    b674 - b764 <= 0;

e1962:  - b674 + b675 - b765 <= 0;

e1963:  - b674 - b675 + b676 - b766 <= 0;

e1964:    b677 - b767 <= 0;

e1965:  - b677 + b678 - b768 <= 0;

e1966:  - b677 - b678 + b679 - b769 <= 0;

e1967:    b680 - b770 <= 0;

e1968:  - b680 + b681 - b771 <= 0;

e1969:  - b680 - b681 + b682 - b772 <= 0;

e1970:    b683 - b773 <= 0;

e1971:  - b683 + b684 - b774 <= 0;

e1972:  - b683 - b684 + b685 - b775 <= 0;

e1973:    b686 - b776 <= 0;

e1974:  - b686 + b687 - b777 <= 0;

e1975:  - b686 - b687 + b688 - b778 <= 0;

e1976:    b689 - b779 <= 0;

e1977:  - b689 + b690 - b780 <= 0;

e1978:  - b689 - b690 + b691 - b781 <= 0;

e1979:    b692 - b782 <= 0;

e1980:  - b692 + b693 - b783 <= 0;

e1981:  - b692 - b693 + b694 - b784 <= 0;

e1982:    b695 - b785 <= 0;

e1983:  - b695 + b696 - b786 <= 0;

e1984:  - b695 - b696 + b697 - b787 <= 0;

e1985:    b698 - b788 <= 0;

e1986:  - b698 + b699 - b789 <= 0;

e1987:  - b698 - b699 + b700 - b790 <= 0;

e1988:    b701 - b791 <= 0;

e1989:  - b701 + b702 - b792 <= 0;

e1990:  - b701 - b702 + b703 - b793 <= 0;

e1991:    b704 - b794 <= 0;

e1992:  - b704 + b705 - b795 <= 0;

e1993:  - b704 - b705 + b706 - b796 <= 0;

e1994:    b707 - b797 <= 0;

e1995:  - b707 + b708 - b798 <= 0;

e1996:  - b707 - b708 + b709 - b799 <= 0;

e1997:    b710 - b800 <= 0;

e1998:  - b710 + b711 - b801 <= 0;

e1999:  - b710 - b711 + b712 - b802 <= 0;

e2000:    b713 - b803 <= 0;

e2001:  - b713 + b714 - b804 <= 0;

e2002:  - b713 - b714 + b715 - b805 <= 0;

e2003:    b716 - b806 <= 0;

e2004:  - b716 + b717 - b807 <= 0;

e2005:  - b716 - b717 + b718 - b808 <= 0;

e2006:    b719 - b809 <= 0;

e2007:  - b719 + b720 - b810 <= 0;

e2008:  - b719 - b720 + b721 - b811 <= 0;

e2009:    b722 - b812 <= 0;

e2010:  - b722 + b723 - b813 <= 0;

e2011:  - b722 - b723 + b724 - b814 <= 0;

e2012:    b725 - b815 <= 0;

e2013:  - b725 + b726 - b816 <= 0;

e2014:  - b725 - b726 + b727 - b817 <= 0;

e2015:    b728 - b818 <= 0;

e2016:  - b728 + b729 - b819 <= 0;

e2017:  - b728 - b729 + b730 - b820 <= 0;

e2018:    b731 - b821 <= 0;

e2019:  - b731 + b732 - b822 <= 0;

e2020:  - b731 - b732 + b733 - b823 <= 0;

e2021:    b734 - b824 <= 0;

e2022:  - b734 + b735 - b825 <= 0;

e2023:  - b734 - b735 + b736 - b826 <= 0;

e2024:    b737 - b827 <= 0;

e2025:  - b737 + b738 - b828 <= 0;

e2026:  - b737 - b738 + b739 - b829 <= 0;

e2027:    b740 - b830 <= 0;

e2028:  - b740 + b741 - b831 <= 0;

e2029:  - b740 - b741 + b742 - b832 <= 0;

e2030:    b743 - b833 <= 0;

e2031:  - b743 + b744 - b834 <= 0;

e2032:  - b743 - b744 + b745 - b835 <= 0;

e2033:    b746 - b836 <= 0;

e2034:  - b746 + b747 - b837 <= 0;

e2035:  - b746 - b747 + b748 - b838 <= 0;

e2036:    b749 - b839 <= 0;

e2037:  - b749 + b750 - b840 <= 0;

e2038:  - b749 - b750 + b751 - b841 <= 0;

e2039:    b662 + b665 = 1;

e2040:    b663 + b666 = 1;

e2041:    b664 + b667 = 1;

e2042:  - b668 + b677 + b680 >= 0;

e2043:  - b669 + b678 + b681 >= 0;

e2044:  - b670 + b679 + b682 >= 0;

e2045:  - b677 + b695 >= 0;

e2046:  - b678 + b696 >= 0;

e2047:  - b679 + b697 >= 0;

e2048:  - b680 + b698 >= 0;

e2049:  - b681 + b699 >= 0;

e2050:  - b682 + b700 >= 0;

e2051:  - b671 + b683 >= 0;

e2052:  - b672 + b684 >= 0;

e2053:  - b673 + b685 >= 0;

e2054:  - b683 + b701 + b704 >= 0;

e2055:  - b684 + b702 + b705 >= 0;

e2056:  - b685 + b703 + b706 >= 0;

e2057:  - b674 + b686 + b689 + b692 >= 0;

e2058:  - b675 + b687 + b690 + b693 >= 0;

e2059:  - b676 + b688 + b691 + b694 >= 0;

e2060:  - b686 + b704 >= 0;

e2061:  - b687 + b705 >= 0;

e2062:  - b688 + b706 >= 0;

e2063:  - b689 + b707 + b710 >= 0;

e2064:  - b690 + b708 + b711 >= 0;

e2065:  - b691 + b709 + b712 >= 0;

e2066:  - b692 + b713 + b716 + b719 >= 0;

e2067:  - b693 + b714 + b717 + b720 >= 0;

e2068:  - b694 + b715 + b718 + b721 >= 0;

e2069:    b662 + b665 - b668 >= 0;

e2070:    b663 + b666 - b669 >= 0;

e2071:    b664 + b667 - b670 >= 0;

e2072:    b662 + b665 - b671 >= 0;

e2073:    b663 + b666 - b672 >= 0;

e2074:    b664 + b667 - b673 >= 0;

e2075:    b662 + b665 - b674 >= 0;

e2076:    b663 + b666 - b675 >= 0;

e2077:    b664 + b667 - b676 >= 0;

e2078:    b668 - b677 >= 0;

e2079:    b669 - b678 >= 0;

e2080:    b670 - b679 >= 0;

e2081:    b668 - b680 >= 0;

e2082:    b669 - b681 >= 0;

e2083:    b670 - b682 >= 0;

e2084:    b671 - b683 >= 0;

e2085:    b672 - b684 >= 0;

e2086:    b673 - b685 >= 0;

e2087:    b674 - b686 >= 0;

e2088:    b675 - b687 >= 0;

e2089:    b676 - b688 >= 0;

e2090:    b674 - b689 >= 0;

e2091:    b675 - b690 >= 0;

e2092:    b676 - b691 >= 0;

e2093:    b674 - b692 >= 0;

e2094:    b675 - b693 >= 0;

e2095:    b676 - b694 >= 0;

e2096:    b677 - b695 >= 0;

e2097:    b678 - b696 >= 0;

e2098:    b679 - b697 >= 0;

e2099:    b680 - b698 >= 0;

e2100:    b681 - b699 >= 0;

e2101:    b682 - b700 >= 0;

e2102:    b683 - b701 >= 0;

e2103:    b684 - b702 >= 0;

e2104:    b685 - b703 >= 0;

e2105:    b683 - b704 >= 0;

e2106:    b684 - b705 >= 0;

e2107:    b685 - b706 >= 0;

e2108:    b689 - b707 >= 0;

e2109:    b690 - b708 >= 0;

e2110:    b691 - b709 >= 0;

e2111:    b689 - b710 >= 0;

e2112:    b690 - b711 >= 0;

e2113:    b691 - b712 >= 0;

e2114:    b692 - b713 >= 0;

e2115:    b693 - b714 >= 0;

e2116:    b694 - b715 >= 0;

e2117:    b692 - b716 >= 0;

e2118:    b693 - b717 >= 0;

e2119:    b694 - b718 >= 0;

e2120:    b692 - b719 >= 0;

e2121:    b693 - b720 >= 0;

e2122:    b694 - b721 >= 0;

e2123:  - b719 + b722 + b725 >= 0;

e2124:  - b720 + b723 + b726 >= 0;

e2125:  - b721 + b724 + b727 >= 0;

e2126:  - b728 + b737 + b740 >= 0;

e2127:  - b729 + b738 + b741 >= 0;

e2128:  - b730 + b739 + b742 >= 0;

e2129:  - b731 + b743 >= 0;

e2130:  - b732 + b744 >= 0;

e2131:  - b733 + b745 >= 0;

e2132:    b719 - b722 >= 0;

e2133:    b720 - b723 >= 0;

e2134:    b721 - b724 >= 0;

e2135:    b719 - b725 >= 0;

e2136:    b720 - b726 >= 0;

e2137:    b721 - b727 >= 0;

e2138:    b728 - b737 >= 0;

e2139:    b729 - b738 >= 0;

e2140:    b730 - b739 >= 0;

e2141:    b728 - b740 >= 0;

e2142:    b729 - b741 >= 0;

e2143:    b730 - b742 >= 0;

e2144:    b731 - b743 >= 0;

e2145:    b732 - b744 >= 0;

e2146:    b733 - b745 >= 0;

e2147:    b734 - b746 >= 0;

e2148:    b735 - b747 >= 0;

e2149:    b736 - b748 >= 0;

e2150:    b734 - b749 >= 0;

e2151:    b735 - b750 >= 0;

e2152:    b736 - b751 >= 0;