#  MINLP written by GAMS Convert at 01/12/18 13:42:08
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1887      321      356     1210        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        721      425      296        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       4709     4697       12        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0;
var x3 >= 0;
var x4 >= 0;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;
var x291 >= 0;
var x292 >= 0;
var x293 >= 0;
var x294 >= 0;
var x295 >= 0;
var x296 >= 0;
var x297 >= 0;
var x298 >= 0;
var x299 >= 0;
var x300 >= 0;
var x301 >= 0;
var x302 >= 0;
var x303 >= 0;
var x304 >= 0;
var x305 >= 0;
var x306 >= 0;
var x307 >= 0;
var x308 >= 0;
var x309 >= 0;
var x310 >= 0;
var x311 >= 0;
var x312 >= 0;
var x313 >= 0;
var x314 >= 0;
var x315 >= 0;
var x316 >= 0;
var x317 >= 0;
var x318 >= 0;
var x319 >= 0;
var x320 >= 0;
var x321 >= 0;
var x322 >= 0;
var x323 >= 0;
var x324 >= 0;
var x325 >= 0;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;
var x343 >= 0;
var x344 >= 0;
var x345 >= 0;
var 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 b452 binary >= 0, <= 1;
var b453 binary >= 0, <= 1;
var b454 binary >= 0, <= 1;
var b455 binary >= 0, <= 1;
var b456 binary >= 0, <= 1;
var b457 binary >= 0, <= 1;
var b458 binary >= 0, <= 1;
var b459 binary >= 0, <= 1;
var b460 binary >= 0, <= 1;
var b461 binary >= 0, <= 1;
var b462 binary >= 0, <= 1;
var b463 binary >= 0, <= 1;
var b464 binary >= 0, <= 1;
var b465 binary >= 0, <= 1;
var b466 binary >= 0, <= 1;
var b467 binary >= 0, <= 1;
var b468 binary >= 0, <= 1;
var b469 binary >= 0, <= 1;
var b470 binary >= 0, <= 1;
var b471 binary >= 0, <= 1;
var b472 binary >= 0, <= 1;
var b473 binary >= 0, <= 1;
var b474 binary >= 0, <= 1;
var b475 binary >= 0, <= 1;
var b476 binary >= 0, <= 1;
var b477 binary >= 0, <= 1;
var b478 binary >= 0, <= 1;
var b479 binary >= 0, <= 1;
var b480 binary >= 0, <= 1;
var b481 binary >= 0, <= 1;
var b482 binary >= 0, <= 1;
var b483 binary >= 0, <= 1;
var b484 binary >= 0, <= 1;
var b485 binary >= 0, <= 1;
var b486 binary >= 0, <= 1;
var b487 binary >= 0, <= 1;
var b488 binary >= 0, <= 1;
var b489 binary >= 0, <= 1;
var b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var b518 binary >= 0, <= 1;
var b519 binary >= 0, <= 1;
var b520 binary >= 0, <= 1;
var b521 binary >= 0, <= 1;
var b522 binary >= 0, <= 1;
var b523 binary >= 0, <= 1;
var b524 binary >= 0, <= 1;
var b525 binary >= 0, <= 1;
var b526 binary >= 0, <= 1;
var b527 binary >= 0, <= 1;
var b528 binary >= 0, <= 1;
var b529 binary >= 0, <= 1;
var b530 binary >= 0, <= 1;
var b531 binary >= 0, <= 1;
var b532 binary >= 0, <= 1;
var b533 binary >= 0, <= 1;
var b534 binary >= 0, <= 1;
var b535 binary >= 0, <= 1;
var b536 binary >= 0, <= 1;
var b537 binary >= 0, <= 1;
var b538 binary >= 0, <= 1;
var b539 binary >= 0, <= 1;
var b540 binary >= 0, <= 1;
var b541 binary >= 0, <= 1;
var b542 binary >= 0, <= 1;
var b543 binary >= 0, <= 1;
var b544 binary >= 0, <= 1;
var b545 binary >= 0, <= 1;
var b546 binary >= 0, <= 1;
var b547 binary >= 0, <= 1;
var b548 binary >= 0, <= 1;
var b549 binary >= 0, <= 1;
var b550 binary >= 0, <= 1;
var b551 binary >= 0, <= 1;
var b552 binary >= 0, <= 1;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;
var b560 binary >= 0, <= 1;
var b561 binary >= 0, <= 1;
var b562 binary >= 0, <= 1;
var b563 binary >= 0, <= 1;
var b564 binary >= 0, <= 1;
var b565 binary >= 0, <= 1;
var b566 binary >= 0, <= 1;
var b567 binary >= 0, <= 1;
var b568 binary >= 0, <= 1;
var b569 binary >= 0, <= 1;
var b570 binary >= 0, <= 1;
var b571 binary >= 0, <= 1;
var b572 binary >= 0, <= 1;
var b573 binary >= 0, <= 1;
var b574 binary >= 0, <= 1;
var b575 binary >= 0, <= 1;
var b576 binary >= 0, <= 1;
var b577 binary >= 0, <= 1;
var b578 binary >= 0, <= 1;
var b579 binary >= 0, <= 1;
var b580 binary >= 0, <= 1;
var b581 binary >= 0, <= 1;
var b582 binary >= 0, <= 1;
var b583 binary >= 0, <= 1;
var b584 binary >= 0, <= 1;
var b585 binary >= 0, <= 1;
var b586 binary >= 0, <= 1;
var b587 binary >= 0, <= 1;
var b588 binary >= 0, <= 1;
var b589 binary >= 0, <= 1;
var b590 binary >= 0, <= 1;
var b591 binary >= 0, <= 1;
var b592 binary >= 0, <= 1;
var b593 binary >= 0, <= 1;
var b594 binary >= 0, <= 1;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var b599 binary >= 0, <= 1;
var b600 binary >= 0, <= 1;
var b601 binary >= 0, <= 1;
var x602 >= 0, <= 40;
var x603 >= 0, <= 40;
var x604 >= 0, <= 40;
var x605 >= 0, <= 40;
var x606 >= 0;
var x607 >= 0;
var x608 >= 0;
var x609 >= 0;
var x610 >= 0;
var x611 >= 0;
var x612 >= 0;
var x613 >= 0;
var x614 >= 0;
var x615 >= 0;
var x616 >= 0;
var x617 >= 0;
var x618 >= 0;
var x619 >= 0;
var x620 >= 0;
var x621 >= 0;
var x622 >= 0;
var x623 >= 0;
var x624 >= 0;
var x625 >= 0;
var x626 >= 0;
var x627 >= 0;
var x628 >= 0;
var x629 >= 0;
var x630 >= 0;
var x631 >= 0;
var x632 >= 0;
var x633 >= 0;
var x634 >= 0;
var x635 >= 0;
var x636 >= 0;
var x637 >= 0;
var x638 >= 0;
var x639 >= 0;
var x640 >= 0;
var x641 >= 0;
var x642 >= 0;
var x643 >= 0;
var x644 >= 0;
var x645 >= 0;
var x646 >= 0, <= 30;
var x647 >= 0, <= 30;
var x648 >= 0, <= 30;
var x649 >= 0, <= 30;
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 x702;
var x703;
var x704;
var x705;
var x706;
var x707;
var x708;
var x709;
var x710;
var x711;
var x712;
var x713;
var x714;
var x715;
var x716;
var x717;
var x718;
var x719;
var x720;
var x721;

maximize obj:  - 10*x2 - 7*x3 - 5*x4 - 5*x5 - 15*x22 - 11*x23 - 9*x24 - 9*x25
     - 18*x38 - 14*x39 - 10*x40 - 9*x41 - 19*x86 - 17*x87 - 17*x88 - 16*x89
     + 32*x102 + 41*x103 + 31*x104 + 35*x105 + 40*x110 + 39*x111 + 27*x112
     + 36*x113 - 16*x114 - 16*x115 - 15*x116 - 12*x117 + 3*x126 + 3*x127
     + 3*x128 + 3*x129 + 2*x130 + 2*x131 + 2*x132 + 2*x133 + 20*x134 + 23*x135
     + 32*x136 + 22*x137 + 21*x138 + 25*x139 + 22*x140 + 25*x141 - 6*b478
     - 4*b479 - 3*b480 - 3*b481 - 40*b482 - 35*b483 - 20*b484 - 20*b485
     - 46*b486 - 39*b487 - 23*b488 - 23*b489 - 7*b494 - 4*b495 - 4*b496
     - 4*b497 - 30*b498 - 25*b499 - 20*b500 - 20*b501 - 37*b502 - 29*b503
     - 22*b504 - 24*b505 - 7*b510 - 5*b511 - 3*b512 - 3*b513 - 15*b514 - 5*b515
     - 2*b516 - 2*b517 - 22*b518 - 10*b519 - 5*b520 - 5*b521 - 11*b526 - 8*b527
     - 6*b528 - 5*b529 - 13*b530 - 8*b531 - 3*b532 - 3*b533 - 24*b534 - 16*b535
     - 9*b536 - 8*b537 - 10*b542 - 7*b543 - 6*b544 - 6*b545 - 13*b546 - 8*b547
     - 3*b548 - 2*b549 - 23*b550 - 15*b551 - 9*b552 - 8*b553 - 9*b558 - 9*b559
     - 7*b560 - 6*b561 - 30*b562 - 30*b563 - 25*b564 - 20*b565 - 39*b566
     - 39*b567 - 32*b568 - 26*b569 - 8*b574 - 7*b575 - 7*b576 - 4*b577
     - 20*b578 - 15*b579 - 10*b580 - 10*b581 - 28*b582 - 22*b583 - 17*b584
     - 14*b585 - 8*b590 - 6*b591 - 5*b592 - 3*b593 - 15*b594 - 10*b595 - 6*b596
     - 3*b597 - 23*b598 - 16*b599 - 11*b600 - 6*b601 - x602 - x603 - x604
     - x605 + 5*x626 + 10*x627 + 5*x628 + 10*x629 - 2*x646 - x647 - 2*x648
     - x649 + 80*x650 + 90*x651 + 120*x652 + 100*x653 + 285*x654 + 390*x655
     + 350*x656 + 300*x657 + 290*x658 + 405*x659 + 190*x660 + 340*x661 - 5*b682
     - 4*b683 - 6*b684 - 3*b685 - 8*b686 - 7*b687 - 6*b688 - 5*b689 - 6*b690
     - 9*b691 - 4*b692 - 3*b693 - 10*b694 - 9*b695 - 5*b696 - 6*b697 - 6*b698
     - 10*b699 - 6*b700 - 9*b701;

subject to

e2:    x2 - 0.2*x142 = 0;

e3:    x3 - 0.2*x143 = 0;

e4:    x4 - 0.2*x144 = 0;

e5:    x5 - 0.2*x145 = 0;

e6:    x6 - 0.2*x146 = 0;

e7:    x7 - 0.2*x147 = 0;

e8:    x8 - 0.2*x148 = 0;

e9:    x9 - 0.2*x149 = 0;

e10:    x10 - 0.2*x150 = 0;

e11:    x11 - 0.2*x151 = 0;

e12:    x12 - 0.2*x152 = 0;

e13:    x13 - 0.2*x153 = 0;

e14:    x14 - 0.2*x154 = 0;

e15:    x15 - 0.2*x155 = 0;

e16:    x16 - 0.2*x156 = 0;

e17:    x17 - 0.2*x157 = 0;

e18:    x18 - 0.2*x158 = 0;

e19:    x19 - 0.2*x159 = 0;

e20:    x20 - 0.2*x160 = 0;

e21:    x21 - 0.2*x161 = 0;

e22:    x22 - 0.5*x162 = 0;

e23:    x23 - 0.5*x163 = 0;

e24:    x24 - 0.5*x164 = 0;

e25:    x25 - 0.5*x165 = 0;

e26:    x26 - 0.5*x166 = 0;

e27:    x27 - 0.5*x167 = 0;

e28:    x28 - 0.5*x168 = 0;

e29:    x29 - 0.5*x169 = 0;

e30:    x30 - 0.7*x170 = 0;

e31:    x31 - 0.7*x171 = 0;

e32:    x32 - 0.7*x172 = 0;

e33:    x33 - 0.7*x173 = 0;

e34:    x34 - 0.7*x174 = 0;

e35:    x35 - 0.7*x175 = 0;

e36:    x36 - 0.7*x176 = 0;

e37:    x37 - 0.7*x177 = 0;

e38:    x38 - 1.2*x178 = 0;

e39:    x39 - 1.2*x179 = 0;

e40:    x40 - 1.2*x180 = 0;

e41:    x41 - 1.2*x181 = 0;

e42:    x42 - 1.2*x182 = 0;

e43:    x43 - 1.2*x183 = 0;

e44:    x44 - 1.2*x184 = 0;

e45:    x45 - 1.2*x185 = 0;

e46:    x46 - 0.5*x186 = 0;

e47:    x47 - 0.5*x187 = 0;

e48:    x48 - 0.5*x188 = 0;

e49:    x49 - 0.5*x189 = 0;

e50:    x50 - 0.7*x190 = 0;

e51:    x51 - 0.7*x191 = 0;

e52:    x52 - 0.7*x192 = 0;

e53:    x53 - 0.7*x193 = 0;

e54:    x54 - 1.2*x194 = 0;

e55:    x55 - 1.2*x195 = 0;

e56:    x56 - 1.2*x196 = 0;

e57:    x57 - 1.2*x197 = 0;

e58:    x58 - 1.2*x198 = 0;

e59:    x59 - 1.2*x199 = 0;

e60:    x60 - 1.2*x200 = 0;

e61:    x61 - 1.2*x201 = 0;

e62:    x62 - 1.2*x202 = 0;

e63:    x63 - 1.2*x203 = 0;

e64:    x64 - 1.2*x204 = 0;

e65:    x65 - 1.2*x205 = 0;

e66:    x66 - 1.2*x206 = 0;

e67:    x67 - 1.2*x207 = 0;

e68:    x68 - 1.2*x208 = 0;

e69:    x69 - 1.2*x209 = 0;

e70:    x70 - 0.3*x210 = 0;

e71:    x71 - 0.3*x211 = 0;

e72:    x72 - 0.3*x212 = 0;

e73:    x73 - 0.3*x213 = 0;

e74:    x74 - 0.9*x214 = 0;

e75:    x75 - 0.9*x215 = 0;

e76:    x76 - 0.9*x216 = 0;

e77:    x77 - 0.9*x217 = 0;

e78:    x78 - 0.3*x218 = 0;

e79:    x79 - 0.3*x219 = 0;

e80:    x80 - 0.3*x220 = 0;

e81:    x81 - 0.3*x221 = 0;

e82:    x82 - 0.9*x222 = 0;

e83:    x83 - 0.9*x223 = 0;

e84:    x84 - 0.9*x224 = 0;

e85:    x85 - 0.9*x225 = 0;

e86:    x86 - 0.4*x226 = 0;

e87:    x87 - 0.4*x227 = 0;

e88:    x88 - 0.4*x228 = 0;

e89:    x89 - 0.4*x229 = 0;

e90:    x90 - 0.4*x230 = 0;

e91:    x91 - 0.4*x231 = 0;

e92:    x92 - 0.4*x232 = 0;

e93:    x93 - 0.4*x233 = 0;

e94:    x94 - 0.4*x234 = 0;

e95:    x95 - 0.4*x235 = 0;

e96:    x96 - 0.4*x236 = 0;

e97:    x97 - 0.4*x237 = 0;

e98:    x98 - 1.6*x238 = 0;

e99:    x99 - 1.6*x239 = 0;

e100:    x100 - 1.6*x240 = 0;

e101:    x101 - 1.6*x241 = 0;

e102:    x102 - 1.6*x242 = 0;

e103:    x103 - 1.6*x243 = 0;

e104:    x104 - 1.6*x244 = 0;

e105:    x105 - 1.6*x245 = 0;

e106:    x106 - 1.1*x246 = 0;

e107:    x107 - 1.1*x247 = 0;

e108:    x108 - 1.1*x248 = 0;

e109:    x109 - 1.1*x249 = 0;

e110:    x110 - 1.1*x250 = 0;

e111:    x111 - 1.1*x251 = 0;

e112:    x112 - 1.1*x252 = 0;

e113:    x113 - 1.1*x253 = 0;

e114:    x114 - 0.7*x254 = 0;

e115:    x115 - 0.7*x255 = 0;

e116:    x116 - 0.7*x256 = 0;

e117:    x117 - 0.7*x257 = 0;

e118:    x118 - 0.7*x258 = 0;

e119:    x119 - 0.7*x259 = 0;

e120:    x120 - 0.7*x260 = 0;

e121:    x121 - 0.7*x261 = 0;

e122:    x122 - 0.7*x262 = 0;

e123:    x123 - 0.7*x263 = 0;

e124:    x124 - 0.7*x264 = 0;

e125:    x125 - 0.7*x265 = 0;

e126:    x126 - 0.2*x266 = 0;

e127:    x127 - 0.2*x267 = 0;

e128:    x128 - 0.2*x268 = 0;

e129:    x129 - 0.2*x269 = 0;

e130:    x130 - 0.7*x270 = 0;

e131:    x131 - 0.7*x271 = 0;

e132:    x132 - 0.7*x272 = 0;

e133:    x133 - 0.7*x273 = 0;

e134:    x134 - 0.3*x274 = 0;

e135:    x135 - 0.3*x275 = 0;

e136:    x136 - 0.3*x276 = 0;

e137:    x137 - 0.3*x277 = 0;

e138:    x138 - 0.9*x278 = 0;

e139:    x139 - 0.9*x279 = 0;

e140:    x140 - 0.9*x280 = 0;

e141:    x141 - 0.9*x281 = 0;

e142:    x102 >= 1.2;

e143:    x103 >= 1.15;

e144:    x104 >= 1.1;

e145:    x105 >= 1.1;

e146:    x110 >= 1.2;

e147:    x111 >= 1.15;

e148:    x112 >= 1.1;

e149:    x113 >= 1.4;

e150:    x126 >= 1.1;

e151:    x127 >= 1.1;

e152:    x128 >= 1.1;

e153:    x129 >= 1.1;

e154:    x130 >= 1.1;

e155:    x131 >= 1.1;

e156:    x132 >= 1.1;

e157:    x133 >= 1.1;

e158:    x134 >= 1.4;

e159:    x135 >= 1.3;

e160:    x136 >= 1.2;

e161:    x137 >= 1.15;

e162:    x138 >= 1.3;

e163:    x139 >= 1.2;

e164:    x140 >= 1.1;

e165:    x141 >= 1.1;

e166:    x2 <= 35;

e167:    x3 <= 30;

e168:    x4 <= 30;

e169:    x5 <= 30;

e170:    x22 <= 36;

e171:    x23 <= 31;

e172:    x24 <= 30;

e173:    x25 <= 28;

e174:    x38 <= 25;

e175:    x39 <= 22;

e176:    x40 <= 22;

e177:    x41 <= 20;

e178:    x86 <= 24;

e179:    x87 <= 21;

e180:    x88 <= 20;

e181:    x89 <= 20;

e182:    x114 <= 30;

e183:    x115 <= 25;

e184:    x116 <= 21;

e185:    x117 <= 19;

e186:    x2 - x6 - x10 = 0;

e187:    x3 - x7 - x11 = 0;

e188:    x4 - x8 - x12 = 0;

e189:    x5 - x9 - x13 = 0;

e190:    x14 - x18 = 0;

e191:    x15 - x19 = 0;

e192:    x16 - x20 = 0;

e193:    x17 - x21 = 0;

e194:    x22 - x26 + x46 = 0;

e195:    x23 - x27 + x47 = 0;

e196:    x24 - x28 + x48 = 0;

e197:    x25 - x29 + x49 = 0;

e198:    x30 - x34 + x50 = 0;

e199:    x31 - x35 + x51 = 0;

e200:    x32 - x36 + x52 = 0;

e201:    x33 - x37 + x53 = 0;

e202:    x38 - x42 - x54 = 0;

e203:    x39 - x43 - x55 = 0;

e204:    x40 - x44 - x56 = 0;

e205:    x41 - x45 - x57 = 0;

e206:    x58 - x62 - x66 = 0;

e207:    x59 - x63 - x67 = 0;

e208:    x60 - x64 - x68 = 0;

e209:    x61 - x65 - x69 = 0;

e210:    x70 - x78 = 0;

e211:    x71 - x79 = 0;

e212:    x72 - x80 = 0;

e213:    x73 - x81 = 0;

e214:    x74 - x82 = 0;

e215:    x75 - x83 = 0;

e216:    x76 - x84 = 0;

e217:    x77 - x85 = 0;

e218:    x86 - x90 - x94 = 0;

e219:    x87 - x91 - x95 = 0;

e220:    x88 - x92 - x96 = 0;

e221:    x89 - x93 - x97 = 0;

e222:    x98 - x102 = 0;

e223:    x99 - x103 = 0;

e224:    x100 - x104 = 0;

e225:    x101 - x105 = 0;

e226:    x106 - x110 = 0;

e227:    x107 - x111 = 0;

e228:    x108 - x112 = 0;

e229:    x109 - x113 = 0;

e230:    x114 - x118 = 0;

e231:    x115 - x119 = 0;

e232:    x116 - x120 = 0;

e233:    x117 - x121 = 0;

e234:    x6 - x14 - x282 = 0;

e235:    x7 - x15 - x283 = 0;

e236:    x8 - x16 - x284 = 0;

e237:    x9 - x17 - x285 = 0;

e238:    x10 + x26 - x30 - x286 = 0;

e239:    x11 + x27 - x31 - x287 = 0;

e240:    x12 + x28 - x32 - x288 = 0;

e241:    x13 + x29 - x33 - x289 = 0;

e242:    x42 - x46 - x50 - x290 = 0;

e243:    x43 - x47 - x51 - x291 = 0;

e244:    x44 - x48 - x52 - x292 = 0;

e245:    x45 - x49 - x53 - x293 = 0;

e246:    x54 - x58 - x294 = 0;

e247:    x55 - x59 - x295 = 0;

e248:    x56 - x60 - x296 = 0;

e249:    x57 - x61 - x297 = 0;

e250:    x66 - x70 - x74 - x298 = 0;

e251:    x67 - x71 - x75 - x299 = 0;

e252:    x68 - x72 - x76 - x300 = 0;

e253:    x69 - x73 - x77 - x301 = 0;

e254:    x62 + x90 - x98 - x302 = 0;

e255:    x63 + x91 - x99 - x303 = 0;

e256:    x64 + x92 - x100 - x304 = 0;

e257:    x65 + x93 - x101 - x305 = 0;

e258:    x94 - x106 + x122 - x306 = 0;

e259:    x95 - x107 + x123 - x307 = 0;

e260:    x96 - x108 + x124 - x308 = 0;

e261:    x97 - x109 + x125 - x309 = 0;

e262:    x118 - x122 - x310 = 0;

e263:    x119 - x123 - x311 = 0;

e264:    x120 - x124 - x312 = 0;

e265:    x121 - x125 - x313 = 0;

e266:    x150 - x166 <= 0;

e267:    x151 - x167 <= 0;

e268:    x152 - x168 <= 0;

e269:    x153 - x169 <= 0;

e270:    x202 - x230 <= 0;

e271:    x203 - x231 <= 0;

e272:    x204 - x232 <= 0;

e273:    x205 - x233 <= 0;

e274:    x234 - x262 <= 0;

e275:    x235 - x263 <= 0;

e276:    x236 - x264 <= 0;

e277:    x237 - x265 <= 0;

e278:  - 0.8*x146 + x154 + 148.75*b346 <= 148.75;

e279:  - 0.8*x147 + x155 + 127.5*b347 <= 127.5;

e280:  - 0.8*x148 + x156 + 127.5*b348 <= 127.5;

e281:  - 0.8*x149 + x157 + 127.5*b349 <= 127.5;

e282:  - 0.85*x146 + x154 + 148.75*b350 <= 148.75;

e283:  - 0.85*x147 + x155 + 127.5*b351 <= 127.5;

e284:  - 0.85*x148 + x156 + 127.5*b352 <= 127.5;

e285:  - 0.85*x149 + x157 + 127.5*b353 <= 127.5;

e286:  - 0.8*x146 + x154 + 148.75*b354 <= 148.75;

e287:  - 0.8*x147 + x155 + 127.5*b355 <= 127.5;

e288:  - 0.8*x148 + x156 + 127.5*b356 <= 127.5;

e289:  - 0.8*x149 + x157 + 127.5*b357 <= 127.5;

e290:  - 0.85*x146 + x154 + 148.75*b358 <= 148.75;

e291:  - 0.85*x147 + x155 + 127.5*b359 <= 127.5;

e292:  - 0.85*x148 + x156 + 127.5*b360 <= 127.5;

e293:  - 0.85*x149 + x157 + 127.5*b361 <= 127.5;

e294:  - 0.8*x146 + x154 - 148.75*b346 >= -148.75;

e295:  - 0.8*x147 + x155 - 127.5*b347 >= -127.5;

e296:  - 0.8*x148 + x156 - 127.5*b348 >= -127.5;

e297:  - 0.8*x149 + x157 - 127.5*b349 >= -127.5;

e298:  - 0.85*x146 + x154 - 148.75*b350 >= -148.75;

e299:  - 0.85*x147 + x155 - 127.5*b351 >= -127.5;

e300:  - 0.85*x148 + x156 - 127.5*b352 >= -127.5;

e301:  - 0.85*x149 + x157 - 127.5*b353 >= -127.5;

e302:  - 0.8*x146 + x154 - 148.75*b354 >= -148.75;

e303:  - 0.8*x147 + x155 - 127.5*b355 >= -127.5;

e304:  - 0.8*x148 + x156 - 127.5*b356 >= -127.5;

e305:  - 0.8*x149 + x157 - 127.5*b357 >= -127.5;

e306:  - 0.85*x146 + x154 - 148.75*b358 >= -148.75;

e307:  - 0.85*x147 + x155 - 127.5*b359 >= -127.5;

e308:  - 0.85*x148 + x156 - 127.5*b360 >= -127.5;

e309:  - 0.85*x149 + x157 - 127.5*b361 >= -127.5;

e310:  - 0.9*x150 + x170 + 254.045833333333*b362 <= 254.045833333333;

e311:  - 0.9*x151 + x171 + 218.468333333333*b363 <= 218.468333333333;

e312:  - 0.9*x152 + x172 + 216.568333333333*b364 <= 216.568333333333;

e313:  - 0.9*x153 + x173 + 211.216666666667*b365 <= 211.216666666667;

e314:  - 0.95*x150 + x170 + 254.045833333333*b366 <= 254.045833333333;

e315:  - 0.95*x151 + x171 + 218.468333333333*b367 <= 218.468333333333;

e316:  - 0.95*x152 + x172 + 216.568333333333*b368 <= 216.568333333333;

e317:  - 0.95*x153 + x173 + 211.216666666667*b369 <= 211.216666666667;

e318:  - 0.9*x150 + x170 + 254.045833333333*b370 <= 254.045833333333;

e319:  - 0.9*x151 + x171 + 218.468333333333*b371 <= 218.468333333333;

e320:  - 0.9*x152 + x172 + 216.568333333333*b372 <= 216.568333333333;

e321:  - 0.9*x153 + x173 + 211.216666666667*b373 <= 211.216666666667;

e322:  - 0.95*x150 + x170 + 254.045833333333*b374 <= 254.045833333333;

e323:  - 0.95*x151 + x171 + 218.468333333333*b375 <= 218.468333333333;

e324:  - 0.95*x152 + x172 + 216.568333333333*b376 <= 216.568333333333;

e325:  - 0.95*x153 + x173 + 211.216666666667*b377 <= 211.216666666667;

e326:  - 0.9*x150 + x170 - 166.25*b362 >= -166.25;

e327:  - 0.9*x151 + x171 - 142.5*b363 >= -142.5;

e328:  - 0.9*x152 + x172 - 142.5*b364 >= -142.5;

e329:  - 0.9*x153 + x173 - 142.5*b365 >= -142.5;

e330:  - 0.95*x150 + x170 - 166.25*b366 >= -166.25;

e331:  - 0.95*x151 + x171 - 142.5*b367 >= -142.5;

e332:  - 0.95*x152 + x172 - 142.5*b368 >= -142.5;

e333:  - 0.95*x153 + x173 - 142.5*b369 >= -142.5;

e334:  - 0.9*x150 + x170 - 166.25*b370 >= -166.25;

e335:  - 0.9*x151 + x171 - 142.5*b371 >= -142.5;

e336:  - 0.9*x152 + x172 - 142.5*b372 >= -142.5;

e337:  - 0.9*x153 + x173 - 142.5*b373 >= -142.5;

e338:  - 0.95*x150 + x170 - 166.25*b374 >= -166.25;

e339:  - 0.95*x151 + x171 - 142.5*b375 >= -142.5;

e340:  - 0.95*x152 + x172 - 142.5*b376 >= -142.5;

e341:  - 0.95*x153 + x173 - 142.5*b377 >= -142.5;

e342:  - 0.85*x182 + x186 + 20.4166666666667*b378 <= 20.4166666666667;

e343:  - 0.85*x183 + x187 + 17.9666666666667*b379 <= 17.9666666666667;

e344:  - 0.85*x184 + x188 + 17.9666666666667*b380 <= 17.9666666666667;

e345:  - 0.85*x185 + x189 + 16.3333333333333*b381 <= 16.3333333333333;

e346:  - 0.98*x182 + x186 + 20.4166666666667*b382 <= 20.4166666666667;

e347:  - 0.98*x183 + x187 + 17.9666666666667*b383 <= 17.9666666666667;

e348:  - 0.98*x184 + x188 + 17.9666666666667*b384 <= 17.9666666666667;

e349:  - 0.98*x185 + x189 + 16.3333333333333*b385 <= 16.3333333333333;

e350:  - 0.85*x182 + x186 + 20.4166666666667*b386 <= 20.4166666666667;

e351:  - 0.85*x183 + x187 + 17.9666666666667*b387 <= 17.9666666666667;

e352:  - 0.85*x184 + x188 + 17.9666666666667*b388 <= 17.9666666666667;

e353:  - 0.85*x185 + x189 + 16.3333333333333*b389 <= 16.3333333333333;

e354:  - 0.98*x182 + x186 + 20.4166666666667*b390 <= 20.4166666666667;

e355:  - 0.98*x183 + x187 + 17.9666666666667*b391 <= 17.9666666666667;

e356:  - 0.98*x184 + x188 + 17.9666666666667*b392 <= 17.9666666666667;

e357:  - 0.98*x185 + x189 + 16.3333333333333*b393 <= 16.3333333333333;

e358:  - 0.85*x182 + x190 + 20.4166666666667*b378 <= 20.4166666666667;

e359:  - 0.85*x183 + x191 + 17.9666666666667*b379 <= 17.9666666666667;

e360:  - 0.85*x184 + x192 + 17.9666666666667*b380 <= 17.9666666666667;

e361:  - 0.85*x185 + x193 + 16.3333333333333*b381 <= 16.3333333333333;

e362:  - 0.98*x182 + x190 + 20.4166666666667*b382 <= 20.4166666666667;

e363:  - 0.98*x183 + x191 + 17.9666666666667*b383 <= 17.9666666666667;

e364:  - 0.98*x184 + x192 + 17.9666666666667*b384 <= 17.9666666666667;

e365:  - 0.98*x185 + x193 + 16.3333333333333*b385 <= 16.3333333333333;

e366:  - 0.85*x182 + x190 + 20.4166666666667*b386 <= 20.4166666666667;

e367:  - 0.85*x183 + x191 + 17.9666666666667*b387 <= 17.9666666666667;

e368:  - 0.85*x184 + x192 + 17.9666666666667*b388 <= 17.9666666666667;

e369:  - 0.85*x185 + x193 + 16.3333333333333*b389 <= 16.3333333333333;

e370:  - 0.98*x182 + x190 + 20.4166666666667*b390 <= 20.4166666666667;

e371:  - 0.98*x183 + x191 + 17.9666666666667*b391 <= 17.9666666666667;

e372:  - 0.98*x184 + x192 + 17.9666666666667*b392 <= 17.9666666666667;

e373:  - 0.98*x185 + x193 + 16.3333333333333*b393 <= 16.3333333333333;

e374:  - 0.85*x182 + x186 - 20.4166666666667*b378 >= -20.4166666666667;

e375:  - 0.85*x183 + x187 - 17.9666666666667*b379 >= -17.9666666666667;

e376:  - 0.85*x184 + x188 - 17.9666666666667*b380 >= -17.9666666666667;

e377:  - 0.85*x185 + x189 - 16.3333333333333*b381 >= -16.3333333333333;

e378:  - 0.98*x182 + x186 - 20.4166666666667*b382 >= -20.4166666666667;

e379:  - 0.98*x183 + x187 - 17.9666666666667*b383 >= -17.9666666666667;

e380:  - 0.98*x184 + x188 - 17.9666666666667*b384 >= -17.9666666666667;

e381:  - 0.98*x185 + x189 - 16.3333333333333*b385 >= -16.3333333333333;

e382:  - 0.85*x182 + x186 - 20.4166666666667*b386 >= -20.4166666666667;

e383:  - 0.85*x183 + x187 - 17.9666666666667*b387 >= -17.9666666666667;

e384:  - 0.85*x184 + x188 - 17.9666666666667*b388 >= -17.9666666666667;

e385:  - 0.85*x185 + x189 - 16.3333333333333*b389 >= -16.3333333333333;

e386:  - 0.98*x182 + x186 - 20.4166666666667*b390 >= -20.4166666666667;

e387:  - 0.98*x183 + x187 - 17.9666666666667*b391 >= -17.9666666666667;

e388:  - 0.98*x184 + x188 - 17.9666666666667*b392 >= -17.9666666666667;

e389:  - 0.98*x185 + x189 - 16.3333333333333*b393 >= -16.3333333333333;

e390:  - 0.85*x182 + x190 - 20.4166666666667*b378 >= -20.4166666666667;

e391:  - 0.85*x183 + x191 - 17.9666666666667*b379 >= -17.9666666666667;

e392:  - 0.85*x184 + x192 - 17.9666666666667*b380 >= -17.9666666666667;

e393:  - 0.85*x185 + x193 - 16.3333333333333*b381 >= -16.3333333333333;

e394:  - 0.98*x182 + x190 - 20.4166666666667*b382 >= -20.4166666666667;

e395:  - 0.98*x183 + x191 - 17.9666666666667*b383 >= -17.9666666666667;

e396:  - 0.98*x184 + x192 - 17.9666666666667*b384 >= -17.9666666666667;

e397:  - 0.98*x185 + x193 - 16.3333333333333*b385 >= -16.3333333333333;

e398:  - 0.85*x182 + x190 - 20.4166666666667*b386 >= -20.4166666666667;

e399:  - 0.85*x183 + x191 - 17.9666666666667*b387 >= -17.9666666666667;

e400:  - 0.85*x184 + x192 - 17.9666666666667*b388 >= -17.9666666666667;

e401:  - 0.85*x185 + x193 - 16.3333333333333*b389 >= -16.3333333333333;

e402:  - 0.98*x182 + x190 - 20.4166666666667*b390 >= -20.4166666666667;

e403:  - 0.98*x183 + x191 - 17.9666666666667*b391 >= -17.9666666666667;

e404:  - 0.98*x184 + x192 - 17.9666666666667*b392 >= -17.9666666666667;

e405:  - 0.98*x185 + x193 - 16.3333333333333*b393 >= -16.3333333333333;

e406:  - 0.85*x194 + x198 + 18.75*b394 <= 18.75;

e407:  - 0.85*x195 + x199 + 16.5*b395 <= 16.5;

e408:  - 0.85*x196 + x200 + 16.5*b396 <= 16.5;

e409:  - 0.85*x197 + x201 + 15*b397 <= 15;

e410:  - 0.9*x194 + x198 + 18.75*b398 <= 18.75;

e411:  - 0.9*x195 + x199 + 16.5*b399 <= 16.5;

e412:  - 0.9*x196 + x200 + 16.5*b400 <= 16.5;

e413:  - 0.9*x197 + x201 + 15*b401 <= 15;

e414:  - 0.85*x194 + x198 + 18.75*b402 <= 18.75;

e415:  - 0.85*x195 + x199 + 16.5*b403 <= 16.5;

e416:  - 0.85*x196 + x200 + 16.5*b404 <= 16.5;

e417:  - 0.85*x197 + x201 + 15*b405 <= 15;

e418:  - 0.9*x194 + x198 + 18.75*b406 <= 18.75;

e419:  - 0.9*x195 + x199 + 16.5*b407 <= 16.5;

e420:  - 0.9*x196 + x200 + 16.5*b408 <= 16.5;

e421:  - 0.9*x197 + x201 + 15*b409 <= 15;

e422:  - 0.85*x194 + x198 - 18.75*b394 >= -18.75;

e423:  - 0.85*x195 + x199 - 16.5*b395 >= -16.5;

e424:  - 0.85*x196 + x200 - 16.5*b396 >= -16.5;

e425:  - 0.85*x197 + x201 - 15*b397 >= -15;

e426:  - 0.9*x194 + x198 - 18.75*b398 >= -18.75;

e427:  - 0.9*x195 + x199 - 16.5*b399 >= -16.5;

e428:  - 0.9*x196 + x200 - 16.5*b400 >= -16.5;

e429:  - 0.9*x197 + x201 - 15*b401 >= -15;

e430:  - 0.85*x194 + x198 - 18.75*b402 >= -18.75;

e431:  - 0.85*x195 + x199 - 16.5*b403 >= -16.5;

e432:  - 0.85*x196 + x200 - 16.5*b404 >= -16.5;

e433:  - 0.85*x197 + x201 - 15*b405 >= -15;

e434:  - 0.9*x194 + x198 - 18.75*b406 >= -18.75;

e435:  - 0.9*x195 + x199 - 16.5*b407 >= -16.5;

e436:  - 0.9*x196 + x200 - 16.5*b408 >= -16.5;

e437:  - 0.9*x197 + x201 - 15*b409 >= -15;

e438:  - 0.75*x206 + x210 + 17.8125*b410 <= 17.8125;

e439:  - 0.75*x207 + x211 + 15.675*b411 <= 15.675;

e440:  - 0.75*x208 + x212 + 15.675*b412 <= 15.675;

e441:  - 0.75*x209 + x213 + 14.25*b413 <= 14.25;

e442:  - 0.95*x206 + x210 + 17.8125*b414 <= 17.8125;

e443:  - 0.95*x207 + x211 + 15.675*b415 <= 15.675;

e444:  - 0.95*x208 + x212 + 15.675*b416 <= 15.675;

e445:  - 0.95*x209 + x213 + 14.25*b417 <= 14.25;

e446:  - 0.9*x206 + x210 + 17.8125*b418 <= 17.8125;

e447:  - 0.9*x207 + x211 + 15.675*b419 <= 15.675;

e448:  - 0.9*x208 + x212 + 15.675*b420 <= 15.675;

e449:  - 0.9*x209 + x213 + 14.25*b421 <= 14.25;

e450:  - 0.95*x206 + x210 + 17.8125*b422 <= 17.8125;

e451:  - 0.95*x207 + x211 + 15.675*b423 <= 15.675;

e452:  - 0.95*x208 + x212 + 15.675*b424 <= 15.675;

e453:  - 0.95*x209 + x213 + 14.25*b425 <= 14.25;

e454:  - 0.75*x206 + x214 + 17.8125*b410 <= 17.8125;

e455:  - 0.75*x207 + x215 + 15.675*b411 <= 15.675;

e456:  - 0.75*x208 + x216 + 15.675*b412 <= 15.675;

e457:  - 0.75*x209 + x217 + 14.25*b413 <= 14.25;

e458:  - 0.95*x206 + x214 + 17.8125*b414 <= 17.8125;

e459:  - 0.95*x207 + x215 + 15.675*b415 <= 15.675;

e460:  - 0.95*x208 + x216 + 15.675*b416 <= 15.675;

e461:  - 0.95*x209 + x217 + 14.25*b417 <= 14.25;

e462:  - 0.9*x206 + x214 + 17.8125*b418 <= 17.8125;

e463:  - 0.9*x207 + x215 + 15.675*b419 <= 15.675;

e464:  - 0.9*x208 + x216 + 15.675*b420 <= 15.675;

e465:  - 0.9*x209 + x217 + 14.25*b421 <= 14.25;

e466:  - 0.95*x206 + x214 + 17.8125*b422 <= 17.8125;

e467:  - 0.95*x207 + x215 + 15.675*b423 <= 15.675;

e468:  - 0.95*x208 + x216 + 15.675*b424 <= 15.675;

e469:  - 0.95*x209 + x217 + 14.25*b425 <= 14.25;

e470:  - 0.75*x206 + x210 - 17.8125*b410 >= -17.8125;

e471:  - 0.75*x207 + x211 - 15.675*b411 >= -15.675;

e472:  - 0.75*x208 + x212 - 15.675*b412 >= -15.675;

e473:  - 0.75*x209 + x213 - 14.25*b413 >= -14.25;

e474:  - 0.95*x206 + x210 - 17.8125*b414 >= -17.8125;

e475:  - 0.95*x207 + x211 - 15.675*b415 >= -15.675;

e476:  - 0.95*x208 + x212 - 15.675*b416 >= -15.675;

e477:  - 0.95*x209 + x213 - 14.25*b417 >= -14.25;

e478:  - 0.9*x206 + x210 - 17.8125*b418 >= -17.8125;

e479:  - 0.9*x207 + x211 - 15.675*b419 >= -15.675;

e480:  - 0.9*x208 + x212 - 15.675*b420 >= -15.675;

e481:  - 0.9*x209 + x213 - 14.25*b421 >= -14.25;

e482:  - 0.95*x206 + x210 - 17.8125*b422 >= -17.8125;

e483:  - 0.95*x207 + x211 - 15.675*b423 >= -15.675;

e484:  - 0.95*x208 + x212 - 15.675*b424 >= -15.675;

e485:  - 0.95*x209 + x213 - 14.25*b425 >= -14.25;

e486:  - 0.75*x206 + x214 - 17.8125*b410 >= -17.8125;

e487:  - 0.75*x207 + x215 - 15.675*b411 >= -15.675;

e488:  - 0.75*x208 + x216 - 15.675*b412 >= -15.675;

e489:  - 0.75*x209 + x217 - 14.25*b413 >= -14.25;

e490:  - 0.95*x206 + x214 - 17.8125*b414 >= -17.8125;

e491:  - 0.95*x207 + x215 - 15.675*b415 >= -15.675;

e492:  - 0.95*x208 + x216 - 15.675*b416 >= -15.675;

e493:  - 0.95*x209 + x217 - 14.25*b417 >= -14.25;

e494:  - 0.9*x206 + x214 - 17.8125*b418 >= -17.8125;

e495:  - 0.9*x207 + x215 - 15.675*b419 >= -15.675;

e496:  - 0.9*x208 + x216 - 15.675*b420 >= -15.675;

e497:  - 0.9*x209 + x217 - 14.25*b421 >= -14.25;

e498:  - 0.95*x206 + x214 - 17.8125*b422 >= -17.8125;

e499:  - 0.95*x207 + x215 - 15.675*b423 >= -15.675;

e500:  - 0.95*x208 + x216 - 15.675*b424 >= -15.675;

e501:  - 0.95*x209 + x217 - 14.25*b425 >= -14.25;

e502:  - 0.8*x202 + x238 + 66.9375*b426 <= 66.9375;

e503:  - 0.8*x203 + x239 + 58.65*b427 <= 58.65;

e504:  - 0.8*x204 + x240 + 56.525*b428 <= 56.525;

e505:  - 0.8*x205 + x241 + 55.25*b429 <= 55.25;

e506:  - 0.85*x202 + x238 + 66.9375*b430 <= 66.9375;

e507:  - 0.85*x203 + x239 + 58.65*b431 <= 58.65;

e508:  - 0.85*x204 + x240 + 56.525*b432 <= 56.525;

e509:  - 0.85*x205 + x241 + 55.25*b433 <= 55.25;

e510:  - 0.8*x202 + x238 + 66.9375*b434 <= 66.9375;

e511:  - 0.8*x203 + x239 + 58.65*b435 <= 58.65;

e512:  - 0.8*x204 + x240 + 56.525*b436 <= 56.525;

e513:  - 0.8*x205 + x241 + 55.25*b437 <= 55.25;

e514:  - 0.85*x202 + x238 + 66.9375*b438 <= 66.9375;

e515:  - 0.85*x203 + x239 + 58.65*b439 <= 58.65;

e516:  - 0.85*x204 + x240 + 56.525*b440 <= 56.525;

e517:  - 0.85*x205 + x241 + 55.25*b441 <= 55.25;

e518:  - 0.8*x202 + x238 - 15.9375*b426 >= -15.9375;

e519:  - 0.8*x203 + x239 - 14.025*b427 >= -14.025;

e520:  - 0.8*x204 + x240 - 14.025*b428 >= -14.025;

e521:  - 0.8*x205 + x241 - 12.75*b429 >= -12.75;

e522:  - 0.85*x202 + x238 - 15.9375*b430 >= -15.9375;

e523:  - 0.85*x203 + x239 - 14.025*b431 >= -14.025;

e524:  - 0.85*x204 + x240 - 14.025*b432 >= -14.025;

e525:  - 0.85*x205 + x241 - 12.75*b433 >= -12.75;

e526:  - 0.8*x202 + x238 - 15.9375*b434 >= -15.9375;

e527:  - 0.8*x203 + x239 - 14.025*b435 >= -14.025;

e528:  - 0.8*x204 + x240 - 14.025*b436 >= -14.025;

e529:  - 0.8*x205 + x241 - 12.75*b437 >= -12.75;

e530:  - 0.85*x202 + x238 - 15.9375*b438 >= -15.9375;

e531:  - 0.85*x203 + x239 - 14.025*b439 >= -14.025;

e532:  - 0.85*x204 + x240 - 14.025*b440 >= -14.025;

e533:  - 0.85*x205 + x241 - 12.75*b441 >= -12.75;

e534:  - 0.85*x234 + x246 + 94.4571428571429*b442 <= 94.4571428571429;

e535:  - 0.85*x235 + x247 + 81.0892857142857*b443 <= 81.0892857142857;

e536:  - 0.85*x236 + x248 + 73.72*b444 <= 73.72;

e537:  - 0.85*x237 + x249 + 71.2228571428571*b445 <= 71.2228571428571;

e538:  - 0.95*x234 + x246 + 94.4571428571429*b446 <= 94.4571428571429;

e539:  - 0.95*x235 + x247 + 81.0892857142857*b447 <= 81.0892857142857;

e540:  - 0.95*x236 + x248 + 73.72*b448 <= 73.72;

e541:  - 0.95*x237 + x249 + 71.2228571428571*b449 <= 71.2228571428571;

e542:  - 0.85*x234 + x246 + 94.4571428571429*b450 <= 94.4571428571429;

e543:  - 0.85*x235 + x247 + 81.0892857142857*b451 <= 81.0892857142857;

e544:  - 0.85*x236 + x248 + 73.72*b452 <= 73.72;

e545:  - 0.85*x237 + x249 + 71.2228571428571*b453 <= 71.2228571428571;

e546:  - 0.95*x234 + x246 + 94.4571428571429*b454 <= 94.4571428571429;

e547:  - 0.95*x235 + x247 + 81.0892857142857*b455 <= 81.0892857142857;

e548:  - 0.95*x236 + x248 + 73.72*b456 <= 73.72;

e549:  - 0.95*x237 + x249 + 71.2228571428571*b457 <= 71.2228571428571;

e550:  - 0.85*x234 + x246 - 57*b442 >= -57;

e551:  - 0.85*x235 + x247 - 49.875*b443 >= -49.875;

e552:  - 0.85*x236 + x248 - 47.5*b444 >= -47.5;

e553:  - 0.85*x237 + x249 - 47.5*b445 >= -47.5;

e554:  - 0.95*x234 + x246 - 57*b446 >= -57;

e555:  - 0.95*x235 + x247 - 49.875*b447 >= -49.875;

e556:  - 0.95*x236 + x248 - 47.5*b448 >= -47.5;

e557:  - 0.95*x237 + x249 - 47.5*b449 >= -47.5;

e558:  - 0.85*x234 + x246 - 57*b450 >= -57;

e559:  - 0.85*x235 + x247 - 49.875*b451 >= -49.875;

e560:  - 0.85*x236 + x248 - 47.5*b452 >= -47.5;

e561:  - 0.85*x237 + x249 - 47.5*b453 >= -47.5;

e562:  - 0.95*x234 + x246 - 57*b454 >= -57;

e563:  - 0.95*x235 + x247 - 49.875*b455 >= -49.875;

e564:  - 0.95*x236 + x248 - 47.5*b456 >= -47.5;

e565:  - 0.95*x237 + x249 - 47.5*b457 >= -47.5;

e566:  - 0.8*x258 + x262 + 39.4285714285714*b458 <= 39.4285714285714;

e567:  - 0.8*x259 + x263 + 32.8571428571429*b459 <= 32.8571428571429;

e568:  - 0.8*x260 + x264 + 27.6*b460 <= 27.6;

e569:  - 0.8*x261 + x265 + 24.9714285714286*b461 <= 24.9714285714286;

e570:  - 0.92*x258 + x262 + 39.4285714285714*b462 <= 39.4285714285714;

e571:  - 0.92*x259 + x263 + 32.8571428571429*b463 <= 32.8571428571429;

e572:  - 0.92*x260 + x264 + 27.6*b464 <= 27.6;

e573:  - 0.92*x261 + x265 + 24.9714285714286*b465 <= 24.9714285714286;

e574:  - 0.8*x258 + x262 + 39.4285714285714*b466 <= 39.4285714285714;

e575:  - 0.8*x259 + x263 + 32.8571428571429*b467 <= 32.8571428571429;

e576:  - 0.8*x260 + x264 + 27.6*b468 <= 27.6;

e577:  - 0.8*x261 + x265 + 24.9714285714286*b469 <= 24.9714285714286;

e578:  - 0.92*x258 + x262 + 39.4285714285714*b470 <= 39.4285714285714;

e579:  - 0.92*x259 + x263 + 32.8571428571429*b471 <= 32.8571428571429;

e580:  - 0.92*x260 + x264 + 27.6*b472 <= 27.6;

e581:  - 0.92*x261 + x265 + 24.9714285714286*b473 <= 24.9714285714286;

e582:  - 0.8*x258 + x262 - 39.4285714285714*b458 >= -39.4285714285714;

e583:  - 0.8*x259 + x263 - 32.8571428571429*b459 >= -32.8571428571429;

e584:  - 0.8*x260 + x264 - 27.6*b460 >= -27.6;

e585:  - 0.8*x261 + x265 - 24.9714285714286*b461 >= -24.9714285714286;

e586:  - 0.92*x258 + x262 - 39.4285714285714*b462 >= -39.4285714285714;

e587:  - 0.92*x259 + x263 - 32.8571428571429*b463 >= -32.8571428571429;

e588:  - 0.92*x260 + x264 - 27.6*b464 >= -27.6;

e589:  - 0.92*x261 + x265 - 24.9714285714286*b465 >= -24.9714285714286;

e590:  - 0.8*x258 + x262 - 39.4285714285714*b466 >= -39.4285714285714;

e591:  - 0.8*x259 + x263 - 32.8571428571429*b467 >= -32.8571428571429;

e592:  - 0.8*x260 + x264 - 27.6*b468 >= -27.6;

e593:  - 0.8*x261 + x265 - 24.9714285714286*b469 >= -24.9714285714286;

e594:  - 0.92*x258 + x262 - 39.4285714285714*b470 >= -39.4285714285714;

e595:  - 0.92*x259 + x263 - 32.8571428571429*b471 >= -32.8571428571429;

e596:  - 0.92*x260 + x264 - 27.6*b472 >= -27.6;

e597:  - 0.92*x261 + x265 - 24.9714285714286*b473 >= -24.9714285714286;

e598:    x6 + 25*b346 <= 35;

e599:    x7 + 20*b347 <= 30;

e600:    x8 + 20*b348 <= 30;

e601:    x9 + 20*b349 <= 30;

e602:    x6 + 25*b350 <= 35;

e603:    x7 + 20*b351 <= 30;

e604:    x8 + 20*b352 <= 30;

e605:    x9 + 20*b353 <= 30;

e606:    x6 - 15*b354 <= 35;

e607:    x7 - 20*b355 <= 30;

e608:    x8 - 20*b356 <= 30;

e609:    x9 - 20*b357 <= 30;

e610:    x6 - 15*b358 <= 35;

e611:    x7 - 20*b359 <= 30;

e612:    x8 - 20*b360 <= 30;

e613:    x9 - 20*b361 <= 30;

e614:    x10 + x26 + 56*b362 <= 96;

e615:    x11 + x27 + 43*b363 <= 83;

e616:    x12 + x28 + 42*b364 <= 82;

e617:    x13 + x29 + 38*b365 <= 78;

e618:    x10 + x26 + 56*b366 <= 96;

e619:    x11 + x27 + 43*b367 <= 83;

e620:    x12 + x28 + 42*b368 <= 82;

e621:    x13 + x29 + 38*b369 <= 78;

e622:    x10 + x26 + 36*b370 <= 96;

e623:    x11 + x27 + 23*b371 <= 83;

e624:    x12 + x28 + 22*b372 <= 82;

e625:    x13 + x29 + 18*b373 <= 78;

e626:    x10 + x26 + 36*b374 <= 96;

e627:    x11 + x27 + 23*b375 <= 83;

e628:    x12 + x28 + 22*b376 <= 82;

e629:    x13 + x29 + 18*b377 <= 78;

e630:    x42 + 10*b378 <= 25;

e631:    x43 + 7*b379 <= 22;

e632:    x44 + 7*b380 <= 22;

e633:    x45 + 5*b381 <= 20;

e634:    x42 + 10*b382 <= 25;

e635:    x43 + 7*b383 <= 22;

e636:    x44 + 7*b384 <= 22;

e637:    x45 + 5*b385 <= 20;

e638:    x42 <= 25;

e639:    x43 - 3*b387 <= 22;

e640:    x44 - 3*b388 <= 22;

e641:    x45 - 5*b389 <= 20;

e642:    x42 <= 25;

e643:    x43 - 3*b391 <= 22;

e644:    x44 - 3*b392 <= 22;

e645:    x45 - 5*b393 <= 20;

e646:    x54 + 10*b394 <= 25;

e647:    x55 + 7*b395 <= 22;

e648:    x56 + 7*b396 <= 22;

e649:    x57 + 5*b397 <= 20;

e650:    x54 + 10*b398 <= 25;

e651:    x55 + 7*b399 <= 22;

e652:    x56 + 7*b400 <= 22;

e653:    x57 + 5*b401 <= 20;

e654:    x54 + 5*b402 <= 25;

e655:    x55 + 2*b403 <= 22;

e656:    x56 + 2*b404 <= 22;

e657:    x57 <= 20;

e658:    x54 + 5*b406 <= 25;

e659:    x55 + 2*b407 <= 22;

e660:    x56 + 2*b408 <= 22;

e661:    x57 <= 20;

e662:    x66 + 15*b410 <= 25;

e663:    x67 + 12*b411 <= 22;

e664:    x68 + 12*b412 <= 22;

e665:    x69 + 10*b413 <= 20;

e666:    x66 + 15*b414 <= 25;

e667:    x67 + 12*b415 <= 22;

e668:    x68 + 12*b416 <= 22;

e669:    x69 + 10*b417 <= 20;

e670:    x66 + 5*b418 <= 25;

e671:    x67 + 2*b419 <= 22;

e672:    x68 + 2*b420 <= 22;

e673:    x69 <= 20;

e674:    x66 + 5*b422 <= 25;

e675:    x67 + 2*b423 <= 22;

e676:    x68 + 2*b424 <= 22;

e677:    x69 <= 20;

e678:    x62 + x90 + 29*b426 <= 49;

e679:    x63 + x91 + 23*b427 <= 43;

e680:    x64 + x92 + 22*b428 <= 42;

e681:    x65 + x93 + 20*b429 <= 40;

e682:    x62 + x90 + 29*b430 <= 49;

e683:    x63 + x91 + 23*b431 <= 43;

e684:    x64 + x92 + 22*b432 <= 42;

e685:    x65 + x93 + 20*b433 <= 40;

e686:    x62 + x90 - 6*b434 <= 49;

e687:    x63 + x91 - 12*b435 <= 43;

e688:    x64 + x92 - 13*b436 <= 42;

e689:    x65 + x93 - 15*b437 <= 40;

e690:    x62 + x90 - 6*b438 <= 49;

e691:    x63 + x91 - 12*b439 <= 43;

e692:    x64 + x92 - 13*b440 <= 42;

e693:    x65 + x93 - 15*b441 <= 40;

e694:    x94 + x122 + 29*b442 <= 54;

e695:    x95 + x123 + 21*b443 <= 46;

e696:    x96 + x124 + 16*b444 <= 41;

e697:    x97 + x125 + 14*b445 <= 39;

e698:    x94 + x122 + 29*b446 <= 54;

e699:    x95 + x123 + 21*b447 <= 46;

e700:    x96 + x124 + 16*b448 <= 41;

e701:    x97 + x125 + 14*b449 <= 39;

e702:    x94 + x122 + 4*b450 <= 54;

e703:    x95 + x123 - 4*b451 <= 46;

e704:    x96 + x124 - 9*b452 <= 41;

e705:    x97 + x125 - 11*b453 <= 39;

e706:    x94 + x122 + 4*b454 <= 54;

e707:    x95 + x123 - 4*b455 <= 46;

e708:    x96 + x124 - 9*b456 <= 41;

e709:    x97 + x125 - 11*b457 <= 39;

e710:    x118 + 15*b458 <= 30;

e711:    x119 + 10*b459 <= 25;

e712:    x120 + 6*b460 <= 21;

e713:    x121 + 4*b461 <= 19;

e714:    x118 + 15*b462 <= 30;

e715:    x119 + 10*b463 <= 25;

e716:    x120 + 6*b464 <= 21;

e717:    x121 + 4*b465 <= 19;

e718:    x118 - 5*b466 <= 30;

e719:    x119 - 10*b467 <= 25;

e720:    x120 - 14*b468 <= 21;

e721:    x121 - 16*b469 <= 19;

e722:    x118 - 5*b470 <= 30;

e723:    x119 - 10*b471 <= 25;

e724:    x120 - 14*b472 <= 21;

e725:    x121 - 16*b473 <= 19;

e726:    x314 + 46*b474 <= 46;

e727:    x315 + 39*b475 <= 39;

e728:    x316 + 23*b476 <= 23;

e729:    x317 + 23*b477 <= 23;

e730:    x314 + 40*b478 <= 46;

e731:    x315 + 35*b479 <= 39;

e732:    x316 + 20*b480 <= 23;

e733:    x317 + 20*b481 <= 23;

e734:    x314 + 6*b482 <= 46;

e735:    x315 + 4*b483 <= 39;

e736:    x316 + 3*b484 <= 23;

e737:    x317 + 3*b485 <= 23;

e738:    x314 <= 46;

e739:    x315 <= 39;

e740:    x316 <= 23;

e741:    x317 <= 23;

e742:    x318 + 37*b490 <= 37;

e743:    x319 + 29*b491 <= 29;

e744:    x320 + 22*b492 <= 22;

e745:    x321 + 24*b493 <= 24;

e746:    x318 + 30*b494 <= 37;

e747:    x319 + 25*b495 <= 29;

e748:    x320 + 18*b496 <= 22;

e749:    x321 + 20*b497 <= 24;

e750:    x318 + 7*b498 <= 37;

e751:    x319 + 4*b499 <= 29;

e752:    x320 + 2*b500 <= 22;

e753:    x321 + 4*b501 <= 24;

e754:    x318 <= 37;

e755:    x319 <= 29;

e756:    x320 <= 22;

e757:    x321 <= 24;

e758:    x322 + 22*b506 <= 22;

e759:    x323 + 10*b507 <= 10;

e760:    x324 + 5*b508 <= 5;

e761:    x325 + 5*b509 <= 5;

e762:    x322 + 15*b510 <= 22;

e763:    x323 + 5*b511 <= 10;

e764:    x324 + 2*b512 <= 5;

e765:    x325 + 2*b513 <= 5;

e766:    x322 + 7*b514 <= 22;

e767:    x323 + 5*b515 <= 10;

e768:    x324 + 3*b516 <= 5;

e769:    x325 + 3*b517 <= 5;

e770:    x322 <= 22;

e771:    x323 <= 10;

e772:    x324 <= 5;

e773:    x325 <= 5;

e774:    x326 + 24*b522 <= 24;

e775:    x327 + 16*b523 <= 16;

e776:    x328 + 9*b524 <= 9;

e777:    x329 + 8*b525 <= 8;

e778:    x326 + 13*b526 <= 24;

e779:    x327 + 8*b527 <= 16;

e780:    x328 + 3*b528 <= 9;

e781:    x329 + 3*b529 <= 8;

e782:    x326 + 11*b530 <= 24;

e783:    x327 + 8*b531 <= 16;

e784:    x328 + 6*b532 <= 9;

e785:    x329 + 5*b533 <= 8;

e786:    x326 <= 24;

e787:    x327 <= 16;

e788:    x328 <= 9;

e789:    x329 <= 8;

e790:    x330 + 23*b538 <= 23;

e791:    x331 + 15*b539 <= 15;

e792:    x332 + 9*b540 <= 9;

e793:    x333 + 8*b541 <= 8;

e794:    x330 + 13*b542 <= 23;

e795:    x331 + 8*b543 <= 15;

e796:    x332 + 3*b544 <= 9;

e797:    x333 + 2*b545 <= 8;

e798:    x330 + 10*b546 <= 23;

e799:    x331 + 7*b547 <= 15;

e800:    x332 + 6*b548 <= 9;

e801:    x333 + 6*b549 <= 8;

e802:    x330 <= 23;

e803:    x331 <= 15;

e804:    x332 <= 9;

e805:    x333 <= 8;

e806:    x334 + 39*b554 <= 39;

e807:    x335 + 39*b555 <= 39;

e808:    x336 + 32*b556 <= 32;

e809:    x337 + 26*b557 <= 26;

e810:    x334 + 30*b558 <= 39;

e811:    x335 + 30*b559 <= 39;

e812:    x336 + 25*b560 <= 32;

e813:    x337 + 20*b561 <= 26;

e814:    x334 + 9*b562 <= 39;

e815:    x335 + 9*b563 <= 39;

e816:    x336 + 7*b564 <= 32;

e817:    x337 + 6*b565 <= 26;

e818:    x334 <= 39;

e819:    x335 <= 39;

e820:    x336 <= 32;

e821:    x337 <= 26;

e822:    x338 + 28*b570 <= 28;

e823:    x339 + 22*b571 <= 22;

e824:    x340 + 17*b572 <= 17;

e825:    x341 + 14*b573 <= 14;

e826:    x338 + 20*b574 <= 28;

e827:    x339 + 15*b575 <= 22;

e828:    x340 + 10*b576 <= 17;

e829:    x341 + 10*b577 <= 14;

e830:    x338 + 8*b578 <= 28;

e831:    x339 + 7*b579 <= 22;

e832:    x340 + 7*b580 <= 17;

e833:    x341 + 4*b581 <= 14;

e834:    x338 <= 28;

e835:    x339 <= 22;

e836:    x340 <= 17;

e837:    x341 <= 14;

e838:    x342 + 23*b586 <= 23;

e839:    x343 + 16*b587 <= 16;

e840:    x344 + 11*b588 <= 11;

e841:    x345 + 6*b589 <= 6;

e842:    x342 + 15*b590 <= 23;

e843:    x343 + 10*b591 <= 16;

e844:    x344 + 6*b592 <= 11;

e845:    x345 + 3*b593 <= 6;

e846:    x342 + 8*b594 <= 23;

e847:    x343 + 6*b595 <= 16;

e848:    x344 + 5*b596 <= 11;

e849:    x345 + 3*b597 <= 6;

e850:    x342 <= 23;

e851:    x343 <= 16;

e852:    x344 <= 11;

e853:    x345 <= 6;

e854:    x314 >= 0;

e855:    x315 >= 0;

e856:    x316 >= 0;

e857:    x317 >= 0;

e858:    x314 - 6*b478 >= 0;

e859:    x315 - 4*b479 >= 0;

e860:    x316 - 3*b480 >= 0;

e861:    x317 - 3*b481 >= 0;

e862:    x314 - 40*b482 >= 0;

e863:    x315 - 35*b483 >= 0;

e864:    x316 - 20*b484 >= 0;

e865:    x317 - 20*b485 >= 0;

e866:    x314 - 46*b486 >= 0;

e867:    x315 - 39*b487 >= 0;

e868:    x316 - 23*b488 >= 0;

e869:    x317 - 23*b489 >= 0;

e870:    x318 >= 0;

e871:    x319 >= 0;

e872:    x320 >= 0;

e873:    x321 >= 0;

e874:    x318 - 7*b494 >= 0;

e875:    x319 - 4*b495 >= 0;

e876:    x320 - 4*b496 >= 0;

e877:    x321 - 4*b497 >= 0;

e878:    x318 - 30*b498 >= 0;

e879:    x319 - 25*b499 >= 0;

e880:    x320 - 20*b500 >= 0;

e881:    x321 - 20*b501 >= 0;

e882:    x318 - 37*b502 >= 0;

e883:    x319 - 29*b503 >= 0;

e884:    x320 - 22*b504 >= 0;

e885:    x321 - 24*b505 >= 0;

e886:    x322 >= 0;

e887:    x323 >= 0;

e888:    x324 >= 0;

e889:    x325 >= 0;

e890:    x322 - 7*b510 >= 0;

e891:    x323 - 5*b511 >= 0;

e892:    x324 - 3*b512 >= 0;

e893:    x325 - 3*b513 >= 0;

e894:    x322 - 15*b514 >= 0;

e895:    x323 - 5*b515 >= 0;

e896:    x324 - 2*b516 >= 0;

e897:    x325 - 2*b517 >= 0;

e898:    x322 - 22*b518 >= 0;

e899:    x323 - 10*b519 >= 0;

e900:    x324 - 5*b520 >= 0;

e901:    x325 - 5*b521 >= 0;

e902:    x326 >= 0;

e903:    x327 >= 0;

e904:    x328 >= 0;

e905:    x329 >= 0;

e906:    x326 - 11*b526 >= 0;

e907:    x327 - 8*b527 >= 0;

e908:    x328 - 6*b528 >= 0;

e909:    x329 - 5*b529 >= 0;

e910:    x326 - 13*b530 >= 0;

e911:    x327 - 8*b531 >= 0;

e912:    x328 - 3*b532 >= 0;

e913:    x329 - 3*b533 >= 0;

e914:    x326 - 24*b534 >= 0;

e915:    x327 - 16*b535 >= 0;

e916:    x328 - 9*b536 >= 0;

e917:    x329 - 8*b537 >= 0;

e918:    x330 >= 0;

e919:    x331 >= 0;

e920:    x332 >= 0;

e921:    x333 >= 0;

e922:    x330 - 10*b542 >= 0;

e923:    x331 - 7*b543 >= 0;

e924:    x332 - 6*b544 >= 0;

e925:    x333 - 6*b545 >= 0;

e926:    x330 - 13*b546 >= 0;

e927:    x331 - 8*b547 >= 0;

e928:    x332 - 3*b548 >= 0;

e929:    x333 - 2*b549 >= 0;

e930:    x330 - 23*b550 >= 0;

e931:    x331 - 15*b551 >= 0;

e932:    x332 - 9*b552 >= 0;

e933:    x333 - 8*b553 >= 0;

e934:    x334 >= 0;

e935:    x335 >= 0;

e936:    x336 >= 0;

e937:    x337 >= 0;

e938:    x334 - 9*b558 >= 0;

e939:    x335 - 9*b559 >= 0;

e940:    x336 - 7*b560 >= 0;

e941:    x337 - 6*b561 >= 0;

e942:    x334 - 30*b562 >= 0;

e943:    x335 - 30*b563 >= 0;

e944:    x336 - 25*b564 >= 0;

e945:    x337 - 20*b565 >= 0;

e946:    x334 - 39*b566 >= 0;

e947:    x335 - 39*b567 >= 0;

e948:    x336 - 32*b568 >= 0;

e949:    x337 - 26*b569 >= 0;

e950:    x338 >= 0;

e951:    x339 >= 0;

e952:    x340 >= 0;

e953:    x341 >= 0;

e954:    x338 - 8*b574 >= 0;

e955:    x339 - 7*b575 >= 0;

e956:    x340 - 7*b576 >= 0;

e957:    x341 - 4*b577 >= 0;

e958:    x338 - 20*b578 >= 0;

e959:    x339 - 15*b579 >= 0;

e960:    x340 - 10*b580 >= 0;

e961:    x341 - 10*b581 >= 0;

e962:    x338 - 28*b582 >= 0;

e963:    x339 - 22*b583 >= 0;

e964:    x340 - 17*b584 >= 0;

e965:    x341 - 14*b585 >= 0;

e966:    x342 >= 0;

e967:    x343 >= 0;

e968:    x344 >= 0;

e969:    x345 >= 0;

e970:    x342 - 8*b590 >= 0;

e971:    x343 - 6*b591 >= 0;

e972:    x344 - 5*b592 >= 0;

e973:    x345 - 3*b593 >= 0;

e974:    x342 - 15*b594 >= 0;

e975:    x343 - 10*b595 >= 0;

e976:    x344 - 6*b596 >= 0;

e977:    x345 - 3*b597 >= 0;

e978:    x342 - 23*b598 >= 0;

e979:    x343 - 16*b599 >= 0;

e980:    x344 - 11*b600 >= 0;

e981:    x345 - 6*b601 >= 0;

e982:    10*x2 + 15*x22 + 18*x38 + 19*x86 + 16*x114 + x314 + x318 + x322 + x326
       + x330 + x334 + x338 + x342 <= 4000;

e983:    7*x3 + 11*x23 + 14*x39 + 17*x87 + 16*x115 + x315 + x319 + x323 + x327
       + x331 + x335 + x339 + x343 <= 3800;

e984:    5*x4 + 9*x24 + 10*x40 + 17*x88 + 15*x116 + x316 + x320 + x324 + x328
       + x332 + x336 + x340 + x344 <= 3600;

e985:    5*x5 + 9*x25 + 9*x41 + 16*x89 + 12*x117 + x317 + x321 + x325 + x329
       + x333 + x337 + x341 + x345 <= 3500;

e986:    b346 + b350 + b354 + b358 = 1;

e987:    b347 + b351 + b355 + b359 = 1;

e988:    b348 + b352 + b356 + b360 = 1;

e989:    b349 + b353 + b357 + b361 = 1;

e990:    b362 + b366 + b370 + b374 = 1;

e991:    b363 + b367 + b371 + b375 = 1;

e992:    b364 + b368 + b372 + b376 = 1;

e993:    b365 + b369 + b373 + b377 = 1;

e994:    b378 + b382 + b386 + b390 = 1;

e995:    b379 + b383 + b387 + b391 = 1;

e996:    b380 + b384 + b388 + b392 = 1;

e997:    b381 + b385 + b389 + b393 = 1;

e998:    b394 + b398 + b402 + b406 = 1;

e999:    b395 + b399 + b403 + b407 = 1;

e1000:    b396 + b400 + b404 + b408 = 1;

e1001:    b397 + b401 + b405 + b409 = 1;

e1002:    b410 + b414 + b418 + b422 = 1;

e1003:    b411 + b415 + b419 + b423 = 1;

e1004:    b412 + b416 + b420 + b424 = 1;

e1005:    b413 + b417 + b421 + b425 = 1;

e1006:    b426 + b430 + b434 + b438 = 1;

e1007:    b427 + b431 + b435 + b439 = 1;

e1008:    b428 + b432 + b436 + b440 = 1;

e1009:    b429 + b433 + b437 + b441 = 1;

e1010:    b442 + b446 + b450 + b454 = 1;

e1011:    b443 + b447 + b451 + b455 = 1;

e1012:    b444 + b448 + b452 + b456 = 1;

e1013:    b445 + b449 + b453 + b457 = 1;

e1014:    b458 + b462 + b466 + b470 = 1;

e1015:    b459 + b463 + b467 + b471 = 1;

e1016:    b460 + b464 + b468 + b472 = 1;

e1017:    b461 + b465 + b469 + b473 = 1;

e1018:    b474 + b478 + b482 + b486 = 1;

e1019:    b475 + b479 + b483 + b487 = 1;

e1020:    b476 + b480 + b484 + b488 = 1;

e1021:    b477 + b481 + b485 + b489 = 1;

e1022:    b490 + b494 + b498 + b502 = 1;

e1023:    b491 + b495 + b499 + b503 = 1;

e1024:    b492 + b496 + b500 + b504 = 1;

e1025:    b493 + b497 + b501 + b505 = 1;

e1026:    b506 + b510 + b514 + b518 = 1;

e1027:    b507 + b511 + b515 + b519 = 1;

e1028:    b508 + b512 + b516 + b520 = 1;

e1029:    b509 + b513 + b517 + b521 = 1;

e1030:    b522 + b526 + b530 + b534 = 1;

e1031:    b523 + b527 + b531 + b535 = 1;

e1032:    b524 + b528 + b532 + b536 = 1;

e1033:    b525 + b529 + b533 + b537 = 1;

e1034:    b538 + b542 + b546 + b550 = 1;

e1035:    b539 + b543 + b547 + b551 = 1;

e1036:    b540 + b544 + b548 + b552 = 1;

e1037:    b541 + b545 + b549 + b553 = 1;

e1038:    b554 + b558 + b562 + b566 = 1;

e1039:    b555 + b559 + b563 + b567 = 1;

e1040:    b556 + b560 + b564 + b568 = 1;

e1041:    b557 + b561 + b565 + b569 = 1;

e1042:    b570 + b574 + b578 + b582 = 1;

e1043:    b571 + b575 + b579 + b583 = 1;

e1044:    b572 + b576 + b580 + b584 = 1;

e1045:    b573 + b577 + b581 + b585 = 1;

e1046:    b586 + b590 + b594 + b598 = 1;

e1047:    b587 + b591 + b595 + b599 = 1;

e1048:    b588 + b592 + b596 + b600 = 1;

e1049:    b589 + b593 + b597 + b601 = 1;

e1050:    b350 - b351 <= 0;

e1051:    b350 - b352 <= 0;

e1052:    b350 - b353 <= 0;

e1053:    b351 - b352 <= 0;

e1054:    b351 - b353 <= 0;

e1055:    b352 - b353 <= 0;

e1056:    b354 - b355 <= 0;

e1057:    b354 - b356 <= 0;

e1058:    b354 - b357 <= 0;

e1059:    b355 - b356 <= 0;

e1060:    b355 - b357 <= 0;

e1061:    b356 - b357 <= 0;

e1062:    b358 - b359 <= 0;

e1063:    b358 - b360 <= 0;

e1064:    b358 - b361 <= 0;

e1065:    b359 - b360 <= 0;

e1066:    b359 - b361 <= 0;

e1067:    b360 - b361 <= 0;

e1068:    b366 - b367 <= 0;

e1069:    b366 - b368 <= 0;

e1070:    b366 - b369 <= 0;

e1071:    b367 - b368 <= 0;

e1072:    b367 - b369 <= 0;

e1073:    b368 - b369 <= 0;

e1074:    b370 - b371 <= 0;

e1075:    b370 - b372 <= 0;

e1076:    b370 - b373 <= 0;

e1077:    b371 - b372 <= 0;

e1078:    b371 - b373 <= 0;

e1079:    b372 - b373 <= 0;

e1080:    b374 - b375 <= 0;

e1081:    b374 - b376 <= 0;

e1082:    b374 - b377 <= 0;

e1083:    b375 - b376 <= 0;

e1084:    b375 - b377 <= 0;

e1085:    b376 - b377 <= 0;

e1086:    b382 - b383 <= 0;

e1087:    b382 - b384 <= 0;

e1088:    b382 - b385 <= 0;

e1089:    b383 - b384 <= 0;

e1090:    b383 - b385 <= 0;

e1091:    b384 - b385 <= 0;

e1092:    b386 - b387 <= 0;

e1093:    b386 - b388 <= 0;

e1094:    b386 - b389 <= 0;

e1095:    b387 - b388 <= 0;

e1096:    b387 - b389 <= 0;

e1097:    b388 - b389 <= 0;

e1098:    b390 - b391 <= 0;

e1099:    b390 - b392 <= 0;

e1100:    b390 - b393 <= 0;

e1101:    b391 - b392 <= 0;

e1102:    b391 - b393 <= 0;

e1103:    b392 - b393 <= 0;

e1104:    b398 - b399 <= 0;

e1105:    b398 - b400 <= 0;

e1106:    b398 - b401 <= 0;

e1107:    b399 - b400 <= 0;

e1108:    b399 - b401 <= 0;

e1109:    b400 - b401 <= 0;

e1110:    b402 - b403 <= 0;

e1111:    b402 - b404 <= 0;

e1112:    b402 - b405 <= 0;

e1113:    b403 - b404 <= 0;

e1114:    b403 - b405 <= 0;

e1115:    b404 - b405 <= 0;

e1116:    b406 - b407 <= 0;

e1117:    b406 - b408 <= 0;

e1118:    b406 - b409 <= 0;

e1119:    b407 - b408 <= 0;

e1120:    b407 - b409 <= 0;

e1121:    b408 - b409 <= 0;

e1122:    b414 - b415 <= 0;

e1123:    b414 - b416 <= 0;

e1124:    b414 - b417 <= 0;

e1125:    b415 - b416 <= 0;

e1126:    b415 - b417 <= 0;

e1127:    b416 - b417 <= 0;

e1128:    b418 - b419 <= 0;

e1129:    b418 - b420 <= 0;

e1130:    b418 - b421 <= 0;

e1131:    b419 - b420 <= 0;

e1132:    b419 - b421 <= 0;

e1133:    b420 - b421 <= 0;

e1134:    b422 - b423 <= 0;

e1135:    b422 - b424 <= 0;

e1136:    b422 - b425 <= 0;

e1137:    b423 - b424 <= 0;

e1138:    b423 - b425 <= 0;

e1139:    b424 - b425 <= 0;

e1140:    b430 - b431 <= 0;

e1141:    b430 - b432 <= 0;

e1142:    b430 - b433 <= 0;

e1143:    b431 - b432 <= 0;

e1144:    b431 - b433 <= 0;

e1145:    b432 - b433 <= 0;

e1146:    b434 - b435 <= 0;

e1147:    b434 - b436 <= 0;

e1148:    b434 - b437 <= 0;

e1149:    b435 - b436 <= 0;

e1150:    b435 - b437 <= 0;

e1151:    b436 - b437 <= 0;

e1152:    b438 - b439 <= 0;

e1153:    b438 - b440 <= 0;

e1154:    b438 - b441 <= 0;

e1155:    b439 - b440 <= 0;

e1156:    b439 - b441 <= 0;

e1157:    b440 - b441 <= 0;

e1158:    b446 - b447 <= 0;

e1159:    b446 - b448 <= 0;

e1160:    b446 - b449 <= 0;

e1161:    b447 - b448 <= 0;

e1162:    b447 - b449 <= 0;

e1163:    b448 - b449 <= 0;

e1164:    b450 - b451 <= 0;

e1165:    b450 - b452 <= 0;

e1166:    b450 - b453 <= 0;

e1167:    b451 - b452 <= 0;

e1168:    b451 - b453 <= 0;

e1169:    b452 - b453 <= 0;

e1170:    b454 - b455 <= 0;

e1171:    b454 - b456 <= 0;

e1172:    b454 - b457 <= 0;

e1173:    b455 - b456 <= 0;

e1174:    b455 - b457 <= 0;

e1175:    b456 - b457 <= 0;

e1176:    b462 - b463 <= 0;

e1177:    b462 - b464 <= 0;

e1178:    b462 - b465 <= 0;

e1179:    b463 - b464 <= 0;

e1180:    b463 - b465 <= 0;

e1181:    b464 - b465 <= 0;

e1182:    b466 - b467 <= 0;

e1183:    b466 - b468 <= 0;

e1184:    b466 - b469 <= 0;

e1185:    b467 - b468 <= 0;

e1186:    b467 - b469 <= 0;

e1187:    b468 - b469 <= 0;

e1188:    b470 - b471 <= 0;

e1189:    b470 - b472 <= 0;

e1190:    b470 - b473 <= 0;

e1191:    b471 - b472 <= 0;

e1192:    b471 - b473 <= 0;

e1193:    b472 - b473 <= 0;

e1194:  - b475 + b478 <= 0;

e1195:  - b476 + b478 <= 0;

e1196:  - b477 + b478 <= 0;

e1197:  - b474 + b479 <= 0;

e1198:  - b476 + b479 <= 0;

e1199:  - b477 + b479 <= 0;

e1200:  - b474 + b480 <= 0;

e1201:  - b475 + b480 <= 0;

e1202:  - b477 + b480 <= 0;

e1203:  - b474 + b481 <= 0;

e1204:  - b475 + b481 <= 0;

e1205:  - b476 + b481 <= 0;

e1206:  - b475 + b482 <= 0;

e1207:  - b476 + b482 <= 0;

e1208:  - b477 + b482 <= 0;

e1209:  - b474 + b483 <= 0;

e1210:  - b476 + b483 <= 0;

e1211:  - b477 + b483 <= 0;

e1212:  - b474 + b484 <= 0;

e1213:  - b475 + b484 <= 0;

e1214:  - b477 + b484 <= 0;

e1215:  - b474 + b485 <= 0;

e1216:  - b475 + b485 <= 0;

e1217:  - b476 + b485 <= 0;

e1218:  - b475 + b486 <= 0;

e1219:  - b476 + b486 <= 0;

e1220:  - b477 + b486 <= 0;

e1221:  - b474 + b487 <= 0;

e1222:  - b476 + b487 <= 0;

e1223:  - b477 + b487 <= 0;

e1224:  - b474 + b488 <= 0;

e1225:  - b475 + b488 <= 0;

e1226:  - b477 + b488 <= 0;

e1227:  - b474 + b489 <= 0;

e1228:  - b475 + b489 <= 0;

e1229:  - b476 + b489 <= 0;

e1230:  - b491 + b494 <= 0;

e1231:  - b492 + b494 <= 0;

e1232:  - b493 + b494 <= 0;

e1233:  - b490 + b495 <= 0;

e1234:  - b492 + b495 <= 0;

e1235:  - b493 + b495 <= 0;

e1236:  - b490 + b496 <= 0;

e1237:  - b491 + b496 <= 0;

e1238:  - b493 + b496 <= 0;

e1239:  - b490 + b497 <= 0;

e1240:  - b491 + b497 <= 0;

e1241:  - b492 + b497 <= 0;

e1242:  - b491 + b498 <= 0;

e1243:  - b492 + b498 <= 0;

e1244:  - b493 + b498 <= 0;

e1245:  - b490 + b499 <= 0;

e1246:  - b492 + b499 <= 0;

e1247:  - b493 + b499 <= 0;

e1248:  - b490 + b500 <= 0;

e1249:  - b491 + b500 <= 0;

e1250:  - b493 + b500 <= 0;

e1251:  - b490 + b501 <= 0;

e1252:  - b491 + b501 <= 0;

e1253:  - b492 + b501 <= 0;

e1254:  - b491 + b502 <= 0;

e1255:  - b492 + b502 <= 0;

e1256:  - b493 + b502 <= 0;

e1257:  - b490 + b503 <= 0;

e1258:  - b492 + b503 <= 0;

e1259:  - b493 + b503 <= 0;

e1260:  - b490 + b504 <= 0;

e1261:  - b491 + b504 <= 0;

e1262:  - b493 + b504 <= 0;

e1263:  - b490 + b505 <= 0;

e1264:  - b491 + b505 <= 0;

e1265:  - b492 + b505 <= 0;

e1266:  - b507 + b510 <= 0;

e1267:  - b508 + b510 <= 0;

e1268:  - b509 + b510 <= 0;

e1269:  - b506 + b511 <= 0;

e1270:  - b508 + b511 <= 0;

e1271:  - b509 + b511 <= 0;

e1272:  - b506 + b512 <= 0;

e1273:  - b507 + b512 <= 0;

e1274:  - b509 + b512 <= 0;

e1275:  - b506 + b513 <= 0;

e1276:  - b507 + b513 <= 0;

e1277:  - b508 + b513 <= 0;

e1278:  - b507 + b514 <= 0;

e1279:  - b508 + b514 <= 0;

e1280:  - b509 + b514 <= 0;

e1281:  - b506 + b515 <= 0;

e1282:  - b508 + b515 <= 0;

e1283:  - b509 + b515 <= 0;

e1284:  - b506 + b516 <= 0;

e1285:  - b507 + b516 <= 0;

e1286:  - b509 + b516 <= 0;

e1287:  - b506 + b517 <= 0;

e1288:  - b507 + b517 <= 0;

e1289:  - b508 + b517 <= 0;

e1290:  - b507 + b518 <= 0;

e1291:  - b508 + b518 <= 0;

e1292:  - b509 + b518 <= 0;

e1293:  - b506 + b519 <= 0;

e1294:  - b508 + b519 <= 0;

e1295:  - b509 + b519 <= 0;

e1296:  - b506 + b520 <= 0;

e1297:  - b507 + b520 <= 0;

e1298:  - b509 + b520 <= 0;

e1299:  - b506 + b521 <= 0;

e1300:  - b507 + b521 <= 0;

e1301:  - b508 + b521 <= 0;

e1302:  - b523 + b526 <= 0;

e1303:  - b524 + b526 <= 0;

e1304:  - b525 + b526 <= 0;

e1305:  - b522 + b527 <= 0;

e1306:  - b524 + b527 <= 0;

e1307:  - b525 + b527 <= 0;

e1308:  - b522 + b528 <= 0;

e1309:  - b523 + b528 <= 0;

e1310:  - b525 + b528 <= 0;

e1311:  - b522 + b529 <= 0;

e1312:  - b523 + b529 <= 0;

e1313:  - b524 + b529 <= 0;

e1314:  - b523 + b530 <= 0;

e1315:  - b524 + b530 <= 0;

e1316:  - b525 + b530 <= 0;

e1317:  - b522 + b531 <= 0;

e1318:  - b524 + b531 <= 0;

e1319:  - b525 + b531 <= 0;

e1320:  - b522 + b532 <= 0;

e1321:  - b523 + b532 <= 0;

e1322:  - b525 + b532 <= 0;

e1323:  - b522 + b533 <= 0;

e1324:  - b523 + b533 <= 0;

e1325:  - b524 + b533 <= 0;

e1326:  - b523 + b534 <= 0;

e1327:  - b524 + b534 <= 0;

e1328:  - b525 + b534 <= 0;

e1329:  - b522 + b535 <= 0;

e1330:  - b524 + b535 <= 0;

e1331:  - b525 + b535 <= 0;

e1332:  - b522 + b536 <= 0;

e1333:  - b523 + b536 <= 0;

e1334:  - b525 + b536 <= 0;

e1335:  - b522 + b537 <= 0;

e1336:  - b523 + b537 <= 0;

e1337:  - b524 + b537 <= 0;

e1338:  - b539 + b542 <= 0;

e1339:  - b540 + b542 <= 0;

e1340:  - b541 + b542 <= 0;

e1341:  - b538 + b543 <= 0;

e1342:  - b540 + b543 <= 0;

e1343:  - b541 + b543 <= 0;

e1344:  - b538 + b544 <= 0;

e1345:  - b539 + b544 <= 0;

e1346:  - b541 + b544 <= 0;

e1347:  - b538 + b545 <= 0;

e1348:  - b539 + b545 <= 0;

e1349:  - b540 + b545 <= 0;

e1350:  - b539 + b546 <= 0;

e1351:  - b540 + b546 <= 0;

e1352:  - b541 + b546 <= 0;

e1353:  - b538 + b547 <= 0;

e1354:  - b540 + b547 <= 0;

e1355:  - b541 + b547 <= 0;

e1356:  - b538 + b548 <= 0;

e1357:  - b539 + b548 <= 0;

e1358:  - b541 + b548 <= 0;

e1359:  - b538 + b549 <= 0;

e1360:  - b539 + b549 <= 0;

e1361:  - b540 + b549 <= 0;

e1362:  - b539 + b550 <= 0;

e1363:  - b540 + b550 <= 0;

e1364:  - b541 + b550 <= 0;

e1365:  - b538 + b551 <= 0;

e1366:  - b540 + b551 <= 0;

e1367:  - b541 + b551 <= 0;

e1368:  - b538 + b552 <= 0;

e1369:  - b539 + b552 <= 0;

e1370:  - b541 + b552 <= 0;

e1371:  - b538 + b553 <= 0;

e1372:  - b539 + b553 <= 0;

e1373:  - b540 + b553 <= 0;

e1374:  - b555 + b558 <= 0;

e1375:  - b556 + b558 <= 0;

e1376:  - b557 + b558 <= 0;

e1377:  - b554 + b559 <= 0;

e1378:  - b556 + b559 <= 0;

e1379:  - b557 + b559 <= 0;

e1380:  - b554 + b560 <= 0;

e1381:  - b555 + b560 <= 0;

e1382:  - b557 + b560 <= 0;

e1383:  - b554 + b561 <= 0;

e1384:  - b555 + b561 <= 0;

e1385:  - b556 + b561 <= 0;

e1386:  - b555 + b562 <= 0;

e1387:  - b556 + b562 <= 0;

e1388:  - b557 + b562 <= 0;

e1389:  - b554 + b563 <= 0;

e1390:  - b556 + b563 <= 0;

e1391:  - b557 + b563 <= 0;

e1392:  - b554 + b564 <= 0;

e1393:  - b555 + b564 <= 0;

e1394:  - b557 + b564 <= 0;

e1395:  - b554 + b565 <= 0;

e1396:  - b555 + b565 <= 0;

e1397:  - b556 + b565 <= 0;

e1398:  - b555 + b566 <= 0;

e1399:  - b556 + b566 <= 0;

e1400:  - b557 + b566 <= 0;

e1401:  - b554 + b567 <= 0;

e1402:  - b556 + b567 <= 0;

e1403:  - b557 + b567 <= 0;

e1404:  - b554 + b568 <= 0;

e1405:  - b555 + b568 <= 0;

e1406:  - b557 + b568 <= 0;

e1407:  - b554 + b569 <= 0;

e1408:  - b555 + b569 <= 0;

e1409:  - b556 + b569 <= 0;

e1410:  - b571 + b574 <= 0;

e1411:  - b572 + b574 <= 0;

e1412:  - b573 + b574 <= 0;

e1413:  - b570 + b575 <= 0;

e1414:  - b572 + b575 <= 0;

e1415:  - b573 + b575 <= 0;

e1416:  - b570 + b576 <= 0;

e1417:  - b571 + b576 <= 0;

e1418:  - b573 + b576 <= 0;

e1419:  - b570 + b577 <= 0;

e1420:  - b571 + b577 <= 0;

e1421:  - b572 + b577 <= 0;

e1422:  - b571 + b578 <= 0;

e1423:  - b572 + b578 <= 0;

e1424:  - b573 + b578 <= 0;

e1425:  - b570 + b579 <= 0;

e1426:  - b572 + b579 <= 0;

e1427:  - b573 + b579 <= 0;

e1428:  - b570 + b580 <= 0;

e1429:  - b571 + b580 <= 0;

e1430:  - b573 + b580 <= 0;

e1431:  - b570 + b581 <= 0;

e1432:  - b571 + b581 <= 0;

e1433:  - b572 + b581 <= 0;

e1434:  - b571 + b582 <= 0;

e1435:  - b572 + b582 <= 0;

e1436:  - b573 + b582 <= 0;

e1437:  - b570 + b583 <= 0;

e1438:  - b572 + b583 <= 0;

e1439:  - b573 + b583 <= 0;

e1440:  - b570 + b584 <= 0;

e1441:  - b571 + b584 <= 0;

e1442:  - b573 + b584 <= 0;

e1443:  - b570 + b585 <= 0;

e1444:  - b571 + b585 <= 0;

e1445:  - b572 + b585 <= 0;

e1446:  - b587 + b590 <= 0;

e1447:  - b588 + b590 <= 0;

e1448:  - b589 + b590 <= 0;

e1449:  - b586 + b591 <= 0;

e1450:  - b588 + b591 <= 0;

e1451:  - b589 + b591 <= 0;

e1452:  - b586 + b592 <= 0;

e1453:  - b587 + b592 <= 0;

e1454:  - b589 + b592 <= 0;

e1455:  - b586 + b593 <= 0;

e1456:  - b587 + b593 <= 0;

e1457:  - b588 + b593 <= 0;

e1458:  - b587 + b594 <= 0;

e1459:  - b588 + b594 <= 0;

e1460:  - b589 + b594 <= 0;

e1461:  - b586 + b595 <= 0;

e1462:  - b588 + b595 <= 0;

e1463:  - b589 + b595 <= 0;

e1464:  - b586 + b596 <= 0;

e1465:  - b587 + b596 <= 0;

e1466:  - b589 + b596 <= 0;

e1467:  - b586 + b597 <= 0;

e1468:  - b587 + b597 <= 0;

e1469:  - b588 + b597 <= 0;

e1470:  - b587 + b598 <= 0;

e1471:  - b588 + b598 <= 0;

e1472:  - b589 + b598 <= 0;

e1473:  - b586 + b599 <= 0;

e1474:  - b588 + b599 <= 0;

e1475:  - b589 + b599 <= 0;

e1476:  - b586 + b600 <= 0;

e1477:  - b587 + b600 <= 0;

e1478:  - b589 + b600 <= 0;

e1479:  - b586 + b601 <= 0;

e1480:  - b587 + b601 <= 0;

e1481:  - b588 + b601 <= 0;

e1482:    b346 - b474 <= 0;

e1483:    b347 - b475 <= 0;

e1484:    b348 - b476 <= 0;

e1485:    b349 - b477 <= 0;

e1486:    b362 - b490 <= 0;

e1487:    b363 - b491 <= 0;

e1488:    b364 - b492 <= 0;

e1489:    b365 - b493 <= 0;

e1490:    b378 - b506 <= 0;

e1491:    b379 - b507 <= 0;

e1492:    b380 - b508 <= 0;

e1493:    b381 - b509 <= 0;

e1494:    b394 - b522 <= 0;

e1495:    b395 - b523 <= 0;

e1496:    b396 - b524 <= 0;

e1497:    b397 - b525 <= 0;

e1498:    b410 - b538 <= 0;

e1499:    b411 - b539 <= 0;

e1500:    b412 - b540 <= 0;

e1501:    b413 - b541 <= 0;

e1502:    b426 - b554 <= 0;

e1503:    b427 - b555 <= 0;

e1504:    b428 - b556 <= 0;

e1505:    b429 - b557 <= 0;

e1506:    b442 - b570 <= 0;

e1507:    b443 - b571 <= 0;

e1508:    b444 - b572 <= 0;

e1509:    b445 - b573 <= 0;

e1510:    b458 - b586 <= 0;

e1511:    b459 - b587 <= 0;

e1512:    b460 - b588 <= 0;

e1513:    b461 - b589 <= 0;

e1514:    b350 - b478 <= 0;

e1515:  - b350 + b351 - b479 <= 0;

e1516:  - b350 - b351 + b352 - b480 <= 0;

e1517:  - b350 - b351 - b352 + b353 - b481 <= 0;

e1518:    b354 - b482 <= 0;

e1519:  - b354 + b355 - b483 <= 0;

e1520:  - b354 - b355 + b356 - b484 <= 0;

e1521:  - b354 - b355 - b356 + b357 - b485 <= 0;

e1522:    b358 - b486 <= 0;

e1523:  - b358 + b359 - b487 <= 0;

e1524:  - b358 - b359 + b360 - b488 <= 0;

e1525:  - b358 - b359 - b360 + b361 - b489 <= 0;

e1526:    b366 - b494 <= 0;

e1527:  - b366 + b367 - b495 <= 0;

e1528:  - b366 - b367 + b368 - b496 <= 0;

e1529:  - b366 - b367 - b368 + b369 - b497 <= 0;

e1530:    b370 - b498 <= 0;

e1531:  - b370 + b371 - b499 <= 0;

e1532:  - b370 - b371 + b372 - b500 <= 0;

e1533:  - b370 - b371 - b372 + b373 - b501 <= 0;

e1534:    b374 - b502 <= 0;

e1535:  - b374 + b375 - b503 <= 0;

e1536:  - b374 - b375 + b376 - b504 <= 0;

e1537:  - b374 - b375 - b376 + b377 - b505 <= 0;

e1538:    b382 - b510 <= 0;

e1539:  - b382 + b383 - b511 <= 0;

e1540:  - b382 - b383 + b384 - b512 <= 0;

e1541:  - b382 - b383 - b384 + b385 - b513 <= 0;

e1542:    b386 - b514 <= 0;

e1543:  - b386 + b387 - b515 <= 0;

e1544:  - b386 - b387 + b388 - b516 <= 0;

e1545:  - b386 - b387 - b388 + b389 - b517 <= 0;

e1546:    b390 - b518 <= 0;

e1547:  - b390 + b391 - b519 <= 0;

e1548:  - b390 - b391 + b392 - b520 <= 0;

e1549:  - b390 - b391 - b392 + b393 - b521 <= 0;

e1550:    b398 - b526 <= 0;

e1551:  - b398 + b399 - b527 <= 0;

e1552:  - b398 - b399 + b400 - b528 <= 0;

e1553:  - b398 - b399 - b400 + b401 - b529 <= 0;

e1554:    b402 - b530 <= 0;

e1555:  - b402 + b403 - b531 <= 0;

e1556:  - b402 - b403 + b404 - b532 <= 0;

e1557:  - b402 - b403 - b404 + b405 - b533 <= 0;

e1558:    b406 - b534 <= 0;

e1559:  - b406 + b407 - b535 <= 0;

e1560:  - b406 - b407 + b408 - b536 <= 0;

e1561:  - b406 - b407 - b408 + b409 - b537 <= 0;

e1562:    b414 - b542 <= 0;

e1563:  - b414 + b415 - b543 <= 0;

e1564:  - b414 - b415 + b416 - b544 <= 0;

e1565:  - b414 - b415 - b416 + b417 - b545 <= 0;

e1566:    b418 - b546 <= 0;

e1567:  - b418 + b419 - b547 <= 0;

e1568:  - b418 - b419 + b420 - b548 <= 0;

e1569:  - b418 - b419 - b420 + b421 - b549 <= 0;

e1570:    b422 - b550 <= 0;

e1571:  - b422 + b423 - b551 <= 0;

e1572:  - b422 - b423 + b424 - b552 <= 0;

e1573:  - b422 - b423 - b424 + b425 - b553 <= 0;

e1574:    b430 - b558 <= 0;

e1575:  - b430 + b431 - b559 <= 0;

e1576:  - b430 - b431 + b432 - b560 <= 0;

e1577:  - b430 - b431 - b432 + b433 - b561 <= 0;

e1578:    b434 - b562 <= 0;

e1579:  - b434 + b435 - b563 <= 0;

e1580:  - b434 - b435 + b436 - b564 <= 0;

e1581:  - b434 - b435 - b436 + b437 - b565 <= 0;

e1582:    b438 - b566 <= 0;

e1583:  - b438 + b439 - b567 <= 0;

e1584:  - b438 - b439 + b440 - b568 <= 0;

e1585:  - b438 - b439 - b440 + b441 - b569 <= 0;

e1586:    b446 - b574 <= 0;

e1587:  - b446 + b447 - b575 <= 0;

e1588:  - b446 - b447 + b448 - b576 <= 0;

e1589:  - b446 - b447 - b448 + b449 - b577 <= 0;

e1590:    b450 - b578 <= 0;

e1591:  - b450 + b451 - b579 <= 0;

e1592:  - b450 - b451 + b452 - b580 <= 0;

e1593:  - b450 - b451 - b452 + b453 - b581 <= 0;

e1594:    b454 - b582 <= 0;

e1595:  - b454 + b455 - b583 <= 0;

e1596:  - b454 - b455 + b456 - b584 <= 0;

e1597:  - b454 - b455 - b456 + b457 - b585 <= 0;

e1598:    b462 - b590 <= 0;

e1599:  - b462 + b463 - b591 <= 0;

e1600:  - b462 - b463 + b464 - b592 <= 0;

e1601:  - b462 - b463 - b464 + b465 - b593 <= 0;

e1602:    b466 - b594 <= 0;

e1603:  - b466 + b467 - b595 <= 0;

e1604:  - b466 - b467 + b468 - b596 <= 0;

e1605:  - b466 - b467 - b468 + b469 - b597 <= 0;

e1606:    b470 - b598 <= 0;

e1607:  - b470 + b471 - b599 <= 0;

e1608:  - b470 - b471 + b472 - b600 <= 0;

e1609:  - b470 - b471 - b472 + b473 - b601 <= 0;

e1610:    x18 - x126 - x602 = 0;

e1611:    x19 - x127 - x603 = 0;

e1612:    x20 - x128 - x604 = 0;

e1613:    x21 - x129 - x605 = 0;

e1614:    x34 - x130 - x646 = 0;

e1615:    x35 - x131 - x647 = 0;

e1616:    x36 - x132 - x648 = 0;

e1617:    x37 - x133 - x649 = 0;

e1618:    x78 - x134 = 0;

e1619:    x79 - x135 = 0;

e1620:    x80 - x136 = 0;

e1621:    x81 - x137 = 0;

e1622:    x82 - x138 = 0;

e1623:    x83 - x139 = 0;

e1624:    x84 - x140 = 0;

e1625:    x85 - x141 = 0;

e1626:    x602 - x606 - x610 = 0;

e1627:    x603 - x607 - x611 = 0;

e1628:    x604 - x608 - x612 = 0;

e1629:    x605 - x609 - x613 = 0;

e1630:  - x614 - x618 + x622 = 0;

e1631:  - x615 - x619 + x623 = 0;

e1632:  - x616 - x620 + x624 = 0;

e1633:  - x617 - x621 + x625 = 0;

e1634:    x622 - x626 - x630 = 0;

e1635:    x623 - x627 - x631 = 0;

e1636:    x624 - x628 - x632 = 0;

e1637:    x625 - x629 - x633 = 0;

e1638:    x630 - x634 - x638 - x642 = 0;

e1639:    x631 - x635 - x639 - x643 = 0;

e1640:    x632 - x636 - x640 - x644 = 0;

e1641:    x633 - x637 - x641 - x645 = 0;

e1642: -log(1 + x606) + x614 + b662 <= 1;

e1643: -log(1 + x607) + x615 + b663 <= 1;

e1644: -log(1 + x608) + x616 + b664 <= 1;

e1645: -log(1 + x609) + x617 + b665 <= 1;

e1646:    x606 - 40*b662 <= 0;

e1647:    x607 - 40*b663 <= 0;

e1648:    x608 - 40*b664 <= 0;

e1649:    x609 - 40*b665 <= 0;

e1650:    x614 - 3.71357206670431*b662 <= 0;

e1651:    x615 - 3.71357206670431*b663 <= 0;

e1652:    x616 - 3.71357206670431*b664 <= 0;

e1653:    x617 - 3.71357206670431*b665 <= 0;

e1654: -1.2*log(1 + x610) + x618 + b666 <= 1;

e1655: -1.2*log(1 + x611) + x619 + b667 <= 1;

e1656: -1.2*log(1 + x612) + x620 + b668 <= 1;

e1657: -1.2*log(1 + x613) + x621 + b669 <= 1;

e1658:    x610 - 40*b666 <= 0;

e1659:    x611 - 40*b667 <= 0;

e1660:    x612 - 40*b668 <= 0;

e1661:    x613 - 40*b669 <= 0;

e1662:    x618 - 4.45628648004517*b666 <= 0;

e1663:    x619 - 4.45628648004517*b667 <= 0;

e1664:    x620 - 4.45628648004517*b668 <= 0;

e1665:    x621 - 4.45628648004517*b669 <= 0;

e1666:  - 0.75*x634 + x650 + b670 <= 1;

e1667:  - 0.75*x635 + x651 + b671 <= 1;

e1668:  - 0.75*x636 + x652 + b672 <= 1;

e1669:  - 0.75*x637 + x653 + b673 <= 1;

e1670:  - 0.75*x634 + x650 - b670 >= -1;

e1671:  - 0.75*x635 + x651 - b671 >= -1;

e1672:  - 0.75*x636 + x652 - b672 >= -1;

e1673:  - 0.75*x637 + x653 - b673 >= -1;

e1674:    x634 - 4.45628648004517*b670 <= 0;

e1675:    x635 - 4.45628648004517*b671 <= 0;

e1676:    x636 - 4.45628648004517*b672 <= 0;

e1677:    x637 - 4.45628648004517*b673 <= 0;

e1678:    x650 - 3.34221486003388*b670 <= 0;

e1679:    x651 - 3.34221486003388*b671 <= 0;

e1680:    x652 - 3.34221486003388*b672 <= 0;

e1681:    x653 - 3.34221486003388*b673 <= 0;

e1682: -1.5*log(1 + x638) + x654 + b674 <= 1;

e1683: -1.5*log(1 + x639) + x655 + b675 <= 1;

e1684: -1.5*log(1 + x640) + x656 + b676 <= 1;

e1685: -1.5*log(1 + x641) + x657 + b677 <= 1;

e1686:    x638 - 4.45628648004517*b674 <= 0;

e1687:    x639 - 4.45628648004517*b675 <= 0;

e1688:    x640 - 4.45628648004517*b676 <= 0;

e1689:    x641 - 4.45628648004517*b677 <= 0;

e1690:    x654 - 2.54515263975353*b674 <= 0;

e1691:    x655 - 2.54515263975353*b675 <= 0;

e1692:    x656 - 2.54515263975353*b676 <= 0;

e1693:    x657 - 2.54515263975353*b677 <= 0;

e1694:  - x642 + x658 + b678 <= 1;

e1695:  - x643 + x659 + b679 <= 1;

e1696:  - x644 + x660 + b680 <= 1;

e1697:  - x645 + x661 + b681 <= 1;

e1698:  - x642 + x658 - b678 >= -1;

e1699:  - x643 + x659 - b679 >= -1;

e1700:  - x644 + x660 - b680 >= -1;

e1701:  - x645 + x661 - b681 >= -1;

e1702:  - 0.5*x646 + x658 + b678 <= 1;

e1703:  - 0.5*x647 + x659 + b679 <= 1;

e1704:  - 0.5*x648 + x660 + b680 <= 1;

e1705:  - 0.5*x649 + x661 + b681 <= 1;

e1706:  - 0.5*x646 + x658 - b678 >= -1;

e1707:  - 0.5*x647 + x659 - b679 >= -1;

e1708:  - 0.5*x648 + x660 - b680 >= -1;

e1709:  - 0.5*x649 + x661 - b681 >= -1;

e1710:    x642 - 4.45628648004517*b678 <= 0;

e1711:    x643 - 4.45628648004517*b679 <= 0;

e1712:    x644 - 4.45628648004517*b680 <= 0;

e1713:    x645 - 4.45628648004517*b681 <= 0;

e1714:    x646 - 30*b678 <= 0;

e1715:    x647 - 30*b679 <= 0;

e1716:    x648 - 30*b680 <= 0;

e1717:    x649 - 30*b681 <= 0;

e1718:    x658 - 15*b678 <= 0;

e1719:    x659 - 15*b679 <= 0;

e1720:    x660 - 15*b680 <= 0;

e1721:    x661 - 15*b681 <= 0;

e1722:    5*b682 + x702 <= 0;

e1723:    4*b683 + x703 <= 0;

e1724:    6*b684 + x704 <= 0;

e1725:    3*b685 + x705 <= 0;

e1726:    8*b686 + x706 <= 0;

e1727:    7*b687 + x707 <= 0;

e1728:    6*b688 + x708 <= 0;

e1729:    5*b689 + x709 <= 0;

e1730:    6*b690 + x710 <= 0;

e1731:    9*b691 + x711 <= 0;

e1732:    4*b692 + x712 <= 0;

e1733:    3*b693 + x713 <= 0;

e1734:    10*b694 + x714 <= 0;

e1735:    9*b695 + x715 <= 0;

e1736:    5*b696 + x716 <= 0;

e1737:    6*b697 + x717 <= 0;

e1738:    6*b698 + x718 <= 0;

e1739:    10*b699 + x719 <= 0;

e1740:    6*b700 + x720 <= 0;

e1741:    9*b701 + x721 <= 0;

e1742:    5*b682 + x702 >= 0;

e1743:    4*b683 + x703 >= 0;

e1744:    6*b684 + x704 >= 0;

e1745:    3*b685 + x705 >= 0;

e1746:    8*b686 + x706 >= 0;

e1747:    7*b687 + x707 >= 0;

e1748:    6*b688 + x708 >= 0;

e1749:    5*b689 + x709 >= 0;

e1750:    6*b690 + x710 >= 0;

e1751:    9*b691 + x711 >= 0;

e1752:    4*b692 + x712 >= 0;

e1753:    3*b693 + x713 >= 0;

e1754:    10*b694 + x714 >= 0;

e1755:    9*b695 + x715 >= 0;

e1756:    5*b696 + x716 >= 0;

e1757:    6*b697 + x717 >= 0;

e1758:    6*b698 + x718 >= 0;

e1759:    10*b699 + x719 >= 0;

e1760:    6*b700 + x720 >= 0;

e1761:    9*b701 + x721 >= 0;

e1762:    b662 - b663 <= 0;

e1763:    b662 - b664 <= 0;

e1764:    b662 - b665 <= 0;

e1765:    b663 - b664 <= 0;

e1766:    b663 - b665 <= 0;

e1767:    b664 - b665 <= 0;

e1768:    b666 - b667 <= 0;

e1769:    b666 - b668 <= 0;

e1770:    b666 - b669 <= 0;

e1771:    b667 - b668 <= 0;

e1772:    b667 - b669 <= 0;

e1773:    b668 - b669 <= 0;

e1774:    b670 - b671 <= 0;

e1775:    b670 - b672 <= 0;

e1776:    b670 - b673 <= 0;

e1777:    b671 - b672 <= 0;

e1778:    b671 - b673 <= 0;

e1779:    b672 - b673 <= 0;

e1780:    b674 - b675 <= 0;

e1781:    b674 - b676 <= 0;

e1782:    b674 - b677 <= 0;

e1783:    b675 - b676 <= 0;

e1784:    b675 - b677 <= 0;

e1785:    b676 - b677 <= 0;

e1786:    b678 - b679 <= 0;

e1787:    b678 - b680 <= 0;

e1788:    b678 - b681 <= 0;

e1789:    b679 - b680 <= 0;

e1790:    b679 - b681 <= 0;

e1791:    b680 - b681 <= 0;

e1792:    b682 + b683 <= 1;

e1793:    b682 + b684 <= 1;

e1794:    b682 + b685 <= 1;

e1795:    b682 + b683 <= 1;

e1796:    b683 + b684 <= 1;

e1797:    b683 + b685 <= 1;

e1798:    b682 + b684 <= 1;

e1799:    b683 + b684 <= 1;

e1800:    b684 + b685 <= 1;

e1801:    b682 + b685 <= 1;

e1802:    b683 + b685 <= 1;

e1803:    b684 + b685 <= 1;

e1804:    b686 + b687 <= 1;

e1805:    b686 + b688 <= 1;

e1806:    b686 + b689 <= 1;

e1807:    b686 + b687 <= 1;

e1808:    b687 + b688 <= 1;

e1809:    b687 + b689 <= 1;

e1810:    b686 + b688 <= 1;

e1811:    b687 + b688 <= 1;

e1812:    b688 + b689 <= 1;

e1813:    b686 + b689 <= 1;

e1814:    b687 + b689 <= 1;

e1815:    b688 + b689 <= 1;

e1816:    b690 + b691 <= 1;

e1817:    b690 + b692 <= 1;

e1818:    b690 + b693 <= 1;

e1819:    b690 + b691 <= 1;

e1820:    b691 + b692 <= 1;

e1821:    b691 + b693 <= 1;

e1822:    b690 + b692 <= 1;

e1823:    b691 + b692 <= 1;

e1824:    b692 + b693 <= 1;

e1825:    b690 + b693 <= 1;

e1826:    b691 + b693 <= 1;

e1827:    b692 + b693 <= 1;

e1828:    b694 + b695 <= 1;

e1829:    b694 + b696 <= 1;

e1830:    b694 + b697 <= 1;

e1831:    b694 + b695 <= 1;

e1832:    b695 + b696 <= 1;

e1833:    b695 + b697 <= 1;

e1834:    b694 + b696 <= 1;

e1835:    b695 + b696 <= 1;

e1836:    b696 + b697 <= 1;

e1837:    b694 + b697 <= 1;

e1838:    b695 + b697 <= 1;

e1839:    b696 + b697 <= 1;

e1840:    b698 + b699 <= 1;

e1841:    b698 + b700 <= 1;

e1842:    b698 + b701 <= 1;

e1843:    b698 + b699 <= 1;

e1844:    b699 + b700 <= 1;

e1845:    b699 + b701 <= 1;

e1846:    b698 + b700 <= 1;

e1847:    b699 + b700 <= 1;

e1848:    b700 + b701 <= 1;

e1849:    b698 + b701 <= 1;

e1850:    b699 + b701 <= 1;

e1851:    b700 + b701 <= 1;

e1852:    b662 - b682 <= 0;

e1853:  - b662 + b663 - b683 <= 0;

e1854:  - b662 - b663 + b664 - b684 <= 0;

e1855:  - b662 - b663 - b664 + b665 - b685 <= 0;

e1856:    b666 - b686 <= 0;

e1857:  - b666 + b667 - b687 <= 0;

e1858:  - b666 - b667 + b668 - b688 <= 0;

e1859:  - b666 - b667 - b668 + b669 - b689 <= 0;

e1860:    b670 - b690 <= 0;

e1861:  - b670 + b671 - b691 <= 0;

e1862:  - b670 - b671 + b672 - b692 <= 0;

e1863:  - b670 - b671 - b672 + b673 - b693 <= 0;

e1864:    b674 - b694 <= 0;

e1865:  - b674 + b675 - b695 <= 0;

e1866:  - b674 - b675 + b676 - b696 <= 0;

e1867:  - b674 - b675 - b676 + b677 - b697 <= 0;

e1868:    b678 - b698 <= 0;

e1869:  - b678 + b679 - b699 <= 0;

e1870:  - b678 - b679 + b680 - b700 <= 0;

e1871:  - b678 - b679 - b680 + b681 - b701 <= 0;

e1872:    b662 + b666 = 1;

e1873:    b663 + b667 = 1;

e1874:    b664 + b668 = 1;

e1875:    b665 + b669 = 1;

e1876:    b662 + b666 - b670 >= 0;

e1877:    b663 + b667 - b671 >= 0;

e1878:    b664 + b668 - b672 >= 0;

e1879:    b665 + b669 - b673 >= 0;

e1880:    b662 + b666 - b674 >= 0;

e1881:    b663 + b667 - b675 >= 0;

e1882:    b664 + b668 - b676 >= 0;

e1883:    b665 + b669 - b677 >= 0;

e1884:    b662 + b666 - b678 >= 0;

e1885:    b663 + b667 - b679 >= 0;

e1886:    b664 + b668 - b680 >= 0;

e1887:    b665 + b669 - b681 >= 0;