#  MINLP written by GAMS Convert at 01/12/18 13:42:30
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1045      181      144      720        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        811      667      144        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2971     2953       18        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 2.5, >= 2.5, <= 37.5;
var x2 := 3.5, >= 3.5, <= 36.5;
var x3 := 1.5, >= 1.5, <= 38.5;
var x4 := 1, >= 1, <= 39;
var x5 := 2, >= 2, <= 38;
var x6 := 2.5, >= 2.5, <= 37.5;
var x7 := 4, >= 4, <= 36;
var x8 := 2, >= 2, <= 38;
var x9 := 1, >= 1, <= 39;
var x10 := 3, >= 3, <= 37;
var x11 := 2.5, >= 2.5, <= 37.5;
var x12 := 1.5, >= 1.5, <= 38.5;
var x13 := 1.5, >= 1.5, <= 38.5;
var x14 := 2, >= 2, <= 38;
var x15 := 1, >= 1, <= 39;
var x16 := 3, >= 3, <= 37;
var x17 := 3, >= 3, <= 37;
var x18 := 2.5, >= 2.5, <= 37.5;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;
var x291 >= 0;
var x292 >= 0;
var x293 >= 0;
var x294 >= 0;
var x295 >= 0;
var x296 >= 0;
var x297 >= 0;
var x298 >= 0;
var x299 >= 0;
var x300 >= 0;
var x301 >= 0;
var x302 >= 0;
var x303 >= 0;
var x304 >= 0;
var x305 >= 0;
var x306 >= 0;
var x307 >= 0;
var x308 >= 0;
var x309 >= 0;
var x310 >= 0;
var x311 >= 0;
var x312 >= 0;
var x313 >= 0;
var x314 >= 0;
var x315 >= 0;
var x316 >= 0;
var x317 >= 0;
var x318 >= 0;
var x319 >= 0;
var x320 >= 0;
var x321 >= 0;
var x322 >= 0;
var x323 >= 0;
var x324 >= 0;
var x325 >= 0;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;
var x343 >= 0;
var x344 >= 0;
var x345 >= 0;
var x346 >= 0;
var x347 >= 0;
var x348 >= 0;
var x349 >= 0;
var x350 >= 0;
var x351 >= 0;
var x352 >= 0;
var x353 >= 0;
var x354 >= 0;
var x355 >= 0;
var x356 >= 0;
var x357 >= 0;
var x358 >= 0;
var x359 >= 0;
var x360 >= 0;
var x361 >= 0;
var x362 >= 0;
var x363 >= 0;
var x364 >= 0;
var x365 >= 0;
var x366 >= 0;
var x367 >= 0;
var x368 >= 0;
var x369 >= 0;
var x370 >= 0;
var x371 >= 0;
var x372 >= 0;
var x373 >= 0;
var x374 >= 0;
var x375 >= 0;
var x376 >= 0;
var x377 >= 0;
var x378 >= 0;
var x379 >= 0;
var x380 >= 0;
var x381 >= 0;
var x382 >= 0;
var x383 >= 0;
var x384 >= 0;
var x385 >= 0;
var x386 >= 0;
var x387 >= 0;
var x388 >= 0;
var x389 >= 0;
var x390 >= 0;
var x391 >= 0;
var x392 >= 0;
var x393 >= 0;
var x394 >= 0;
var x395 >= 0;
var x396 >= 0;
var x397 >= 0;
var x398 >= 0;
var x399 >= 0;
var x400 >= 0;
var x401 >= 0;
var x402 >= 0;
var x403 >= 0;
var x404 >= 0;
var x405 >= 0;
var x406 >= 0;
var x407 >= 0;
var x408 >= 0;
var x409 >= 0;
var x410 >= 0;
var x411 >= 0;
var x412 >= 0;
var x413 >= 0;
var x414 >= 0;
var x415 >= 0;
var x416 >= 0;
var x417 >= 0;
var x418 >= 0;
var x419 >= 0;
var x420 >= 0;
var x421 >= 0;
var x422 >= 0;
var x423 >= 0;
var x424 >= 0;
var x425 >= 0;
var x426 >= 0;
var x427 >= 0;
var x428 >= 0;
var x429 >= 0;
var x430 >= 0;
var x431 >= 0;
var x432 >= 0;
var x433 >= 0;
var x434 >= 0;
var x435 >= 0;
var x436 >= 0;
var x437 >= 0;
var x438 >= 0;
var x439 >= 0;
var x440 >= 0;
var x441 >= 0;
var x442 >= 0;
var x443 >= 0;
var x444 >= 0;
var x445 >= 0;
var x446 >= 0;
var x447 >= 0;
var x448 >= 0;
var x449 >= 0;
var x450 >= 0;
var x451 >= 0;
var x452 >= 0;
var x453 >= 0;
var x454 >= 0;
var x455 >= 0;
var x456 >= 0;
var x457 >= 0;
var x458 >= 0;
var x459 >= 0;
var x460 >= 0;
var x461 >= 0;
var x462 >= 0;
var x463 >= 0;
var x464 >= 0;
var x465 >= 0;
var x466 >= 0;
var x467 >= 0;
var x468 >= 0;
var x469 >= 0;
var x470 >= 0;
var x471 >= 0;
var x472 >= 0;
var x473 >= 0;
var x474 >= 0;
var x475 >= 0;
var x476 >= 0;
var x477 >= 0;
var x478 >= 0;
var x479 >= 0;
var x480 >= 0;
var x481 >= 0;
var x482 >= 0;
var x483 >= 0;
var x484 >= 0;
var x485 >= 0;
var x486 >= 0;
var x487 >= 0;
var x488 >= 0;
var x489 >= 0;
var x490 >= 0;
var x491 >= 0;
var x492 >= 0;
var x493 >= 0;
var x494 >= 0;
var x495 >= 0;
var x496 >= 0;
var x497 >= 0;
var x498 >= 0;
var x499 >= 0;
var x500 >= 0;
var x501 >= 0;
var x502 >= 0;
var x503 >= 0;
var x504 >= 0;
var x505 >= 0;
var x506 >= 0;
var x507 >= 0;
var x508 >= 0;
var x509 >= 0;
var x510 >= 0;
var x511 >= 0;
var x512 >= 0;
var x513 >= 0;
var x514 >= 0;
var x515 >= 0;
var x516 >= 0;
var x517 >= 0;
var x518 >= 0;
var x519 >= 0;
var x520 >= 0;
var x521 >= 0;
var x522 >= 0;
var x523 >= 0;
var x524 >= 0;
var x525 >= 0;
var x526 >= 0;
var x527 >= 0;
var x528 >= 0;
var x529 >= 0;
var x530 >= 0;
var x531 >= 0;
var x532 >= 0;
var x533 >= 0;
var x534 >= 0;
var x535 >= 0;
var x536 >= 0;
var x537 >= 0;
var x538 >= 0;
var x539 >= 0;
var x540 >= 0;
var x541 >= 0;
var x542 >= 0;
var x543 >= 0;
var x544 >= 0;
var x545 >= 0;
var x546 >= 0;
var x547 >= 0;
var x548 >= 0;
var x549 >= 0;
var x550 >= 0;
var x551 >= 0;
var x552 >= 0;
var x553 >= 0;
var x554 >= 0;
var x555 >= 0;
var x556 >= 0;
var x557 >= 0;
var x558 >= 0;
var x559 >= 0;
var x560 >= 0;
var x561 >= 0;
var x562 >= 0;
var x563 >= 0;
var x564 >= 0;
var x565 >= 0;
var x566 >= 0;
var x567 >= 0;
var x568 >= 0;
var x569 >= 0;
var x570 >= 0;
var x571 >= 0;
var x572 >= 0;
var x573 >= 0;
var x574 >= 0;
var x575 >= 0;
var x576 >= 0;
var x577 >= 0;
var x578 >= 0;
var x579 >= 0;
var x580 >= 0;
var x581 >= 0;
var x582 >= 0;
var x583 >= 0;
var x584 >= 0;
var x585 >= 0;
var x586 >= 0;
var x587 >= 0;
var x588 >= 0;
var x589 >= 0;
var x590 >= 0;
var x591 >= 0;
var x592 >= 0;
var x593 >= 0;
var x594 >= 0;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var b599 binary >= 0, <= 1;
var b600 binary >= 0, <= 1;
var b601 binary >= 0, <= 1;
var b602 binary >= 0, <= 1;
var b603 binary >= 0, <= 1;
var b604 binary >= 0, <= 1;
var b605 binary >= 0, <= 1;
var b606 binary >= 0, <= 1;
var b607 binary >= 0, <= 1;
var b608 binary >= 0, <= 1;
var b609 binary >= 0, <= 1;
var b610 binary >= 0, <= 1;
var b611 binary >= 0, <= 1;
var b612 binary >= 0, <= 1;
var b613 binary >= 0, <= 1;
var b614 binary >= 0, <= 1;
var b615 binary >= 0, <= 1;
var b616 binary >= 0, <= 1;
var b617 binary >= 0, <= 1;
var b618 binary >= 0, <= 1;
var b619 binary >= 0, <= 1;
var b620 binary >= 0, <= 1;
var b621 binary >= 0, <= 1;
var b622 binary >= 0, <= 1;
var b623 binary >= 0, <= 1;
var b624 binary >= 0, <= 1;
var b625 binary >= 0, <= 1;
var b626 binary >= 0, <= 1;
var b627 binary >= 0, <= 1;
var b628 binary >= 0, <= 1;
var b629 binary >= 0, <= 1;
var b630 binary >= 0, <= 1;
var b631 binary >= 0, <= 1;
var b632 binary >= 0, <= 1;
var b633 binary >= 0, <= 1;
var b634 binary >= 0, <= 1;
var b635 binary >= 0, <= 1;
var b636 binary >= 0, <= 1;
var b637 binary >= 0, <= 1;
var b638 binary >= 0, <= 1;
var b639 binary >= 0, <= 1;
var b640 binary >= 0, <= 1;
var b641 binary >= 0, <= 1;
var b642 binary >= 0, <= 1;
var b643 binary >= 0, <= 1;
var b644 binary >= 0, <= 1;
var b645 binary >= 0, <= 1;
var b646 binary >= 0, <= 1;
var b647 binary >= 0, <= 1;
var b648 binary >= 0, <= 1;
var b649 binary >= 0, <= 1;
var b650 binary >= 0, <= 1;
var b651 binary >= 0, <= 1;
var b652 binary >= 0, <= 1;
var b653 binary >= 0, <= 1;
var b654 binary >= 0, <= 1;
var b655 binary >= 0, <= 1;
var b656 binary >= 0, <= 1;
var b657 binary >= 0, <= 1;
var b658 binary >= 0, <= 1;
var b659 binary >= 0, <= 1;
var b660 binary >= 0, <= 1;
var b661 binary >= 0, <= 1;
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 x739 >= 0;
var x740 >= 0;
var x741 >= 0;
var x742 >= 0;
var x743 >= 0;
var x744 >= 0;
var x745 >= 0;
var x746 >= 0;
var x747 >= 0;
var x748 >= 0;
var x749 >= 0;
var x750 >= 0;
var x751 >= 0;
var x752 >= 0;
var x753 >= 0;
var x754 >= 0;
var x755 >= 0;
var x756 >= 0;
var x757 >= 0;
var x758 >= 0;
var x759 >= 0;
var x760 >= 0;
var x761 >= 0;
var x762 >= 0;
var x763 >= 0;
var x764 >= 0;
var x765 >= 0;
var x766 >= 0;
var x767 >= 0;
var x768 >= 0;
var x769 >= 0;
var x770 >= 0;
var x771 >= 0;
var x772 >= 0;
var x773 >= 0;
var x774 >= 0;
var x775 >= 0;
var x776 >= 0;
var x777 >= 0;
var x778 >= 0;
var x779 >= 0;
var x780 >= 0;
var x781 >= 0;
var x782 >= 0;
var x783 >= 0;
var x784 >= 0;
var x785 >= 0;
var x786 >= 0;
var x787 >= 0;
var x788 >= 0;
var x789 >= 0;
var x790 >= 0;
var x791 >= 0;
var x792 >= 0;
var x793 >= 0;
var x794 >= 0;
var x795 >= 0;
var x796 >= 0;
var x797 >= 0;
var x798 >= 0;
var x799 >= 0;
var x800 >= 0;
var x801 >= 0;
var x802 >= 0;
var x803 >= 0;
var x804 >= 0;
var x805 >= 0;
var x806 >= 0;
var x807 >= 0;
var x808 >= 0;
var x809 >= 0;
var x810 >= 0;

minimize obj: 150*((-4 + x1)^2 + (-10 + x10)^2) + 390*((-10 + x2)^2 + (-15 + 
    x11)^2) + 240*((-7 + x3)^2 + (-9 + x12)^2) + 70*((-3 + x4)^2 + (-3 + x13)^2
    ) + 165*((-20 + x5)^2 + (-17 + x14)^2) + 100*((-18 + x6)^2 + (-8 + x15)^2)
     + 200*((-30 + x7)^2 + (-20 + x16)^2) + 400*((-24 + x8)^2 + (-10 + x17)^2)
     + 330*((-22 + x9)^2 + (-6 + x18)^2) + 300*x739 + 240*x740 + 210*x741
     + 140*x742 + 300*x743 + 250*x744 + 300*x745 + 210*x746 + 100*x747
     + 150*x748 + 220*x749 + 200*x750 + 300*x751 + 290*x752 + 400*x753
     + 120*x754 + 300*x755 + 150*x756 + 150*x757 + 100*x758 + 290*x759
     + 100*x760 + 120*x761 + 180*x762 + 220*x763 + 110*x764 + 130*x765
     + 190*x766 + 110*x767 + 160*x768 + 220*x769 + 140*x770 + 120*x771
     + 260*x772 + 220*x773 + 140*x774 + 300*x775 + 240*x776 + 210*x777
     + 140*x778 + 300*x779 + 250*x780 + 300*x781 + 210*x782 + 100*x783
     + 150*x784 + 220*x785 + 200*x786 + 300*x787 + 290*x788 + 400*x789
     + 120*x790 + 300*x791 + 150*x792 + 150*x793 + 100*x794 + 290*x795
     + 100*x796 + 120*x797 + 180*x798 + 220*x799 + 110*x800 + 130*x801
     + 190*x802 + 110*x803 + 160*x804 + 220*x805 + 140*x806 + 120*x807
     + 260*x808 + 220*x809 + 140*x810;

subject to

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

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

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

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

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

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

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

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

e10:  - x2 + x3 + x747 >= 0;

e11:  - x2 + x4 + x748 >= 0;

e12:  - x2 + x5 + x749 >= 0;

e13:  - x2 + x6 + x750 >= 0;

e14:  - x2 + x7 + x751 >= 0;

e15:  - x2 + x8 + x752 >= 0;

e16:  - x2 + x9 + x753 >= 0;

e17:  - x3 + x4 + x754 >= 0;

e18:  - x3 + x5 + x755 >= 0;

e19:  - x3 + x6 + x756 >= 0;

e20:  - x3 + x7 + x757 >= 0;

e21:  - x3 + x8 + x758 >= 0;

e22:  - x3 + x9 + x759 >= 0;

e23:  - x4 + x5 + x760 >= 0;

e24:  - x4 + x6 + x761 >= 0;

e25:  - x4 + x7 + x762 >= 0;

e26:  - x4 + x8 + x763 >= 0;

e27:  - x4 + x9 + x764 >= 0;

e28:  - x5 + x6 + x765 >= 0;

e29:  - x5 + x7 + x766 >= 0;

e30:  - x5 + x8 + x767 >= 0;

e31:  - x5 + x9 + x768 >= 0;

e32:  - x6 + x7 + x769 >= 0;

e33:  - x6 + x8 + x770 >= 0;

e34:  - x6 + x9 + x771 >= 0;

e35:  - x7 + x8 + x772 >= 0;

e36:  - x7 + x9 + x773 >= 0;

e37:  - x8 + x9 + x774 >= 0;

e38:    x1 - x2 + x739 >= 0;

e39:    x1 - x3 + x740 >= 0;

e40:    x1 - x4 + x741 >= 0;

e41:    x1 - x5 + x742 >= 0;

e42:    x1 - x6 + x743 >= 0;

e43:    x1 - x7 + x744 >= 0;

e44:    x1 - x8 + x745 >= 0;

e45:    x1 - x9 + x746 >= 0;

e46:    x2 - x3 + x747 >= 0;

e47:    x2 - x4 + x748 >= 0;

e48:    x2 - x5 + x749 >= 0;

e49:    x2 - x6 + x750 >= 0;

e50:    x2 - x7 + x751 >= 0;

e51:    x2 - x8 + x752 >= 0;

e52:    x2 - x9 + x753 >= 0;

e53:    x3 - x4 + x754 >= 0;

e54:    x3 - x5 + x755 >= 0;

e55:    x3 - x6 + x756 >= 0;

e56:    x3 - x7 + x757 >= 0;

e57:    x3 - x8 + x758 >= 0;

e58:    x3 - x9 + x759 >= 0;

e59:    x4 - x5 + x760 >= 0;

e60:    x4 - x6 + x761 >= 0;

e61:    x4 - x7 + x762 >= 0;

e62:    x4 - x8 + x763 >= 0;

e63:    x4 - x9 + x764 >= 0;

e64:    x5 - x6 + x765 >= 0;

e65:    x5 - x7 + x766 >= 0;

e66:    x5 - x8 + x767 >= 0;

e67:    x5 - x9 + x768 >= 0;

e68:    x6 - x7 + x769 >= 0;

e69:    x6 - x8 + x770 >= 0;

e70:    x6 - x9 + x771 >= 0;

e71:    x7 - x8 + x772 >= 0;

e72:    x7 - x9 + x773 >= 0;

e73:    x8 - x9 + x774 >= 0;

e74:  - x10 + x11 + x775 >= 0;

e75:  - x10 + x12 + x776 >= 0;

e76:  - x10 + x13 + x777 >= 0;

e77:  - x10 + x14 + x778 >= 0;

e78:  - x10 + x15 + x779 >= 0;

e79:  - x10 + x16 + x780 >= 0;

e80:  - x10 + x17 + x781 >= 0;

e81:  - x10 + x18 + x782 >= 0;

e82:  - x11 + x12 + x783 >= 0;

e83:  - x11 + x13 + x784 >= 0;

e84:  - x11 + x14 + x785 >= 0;

e85:  - x11 + x15 + x786 >= 0;

e86:  - x11 + x16 + x787 >= 0;

e87:  - x11 + x17 + x788 >= 0;

e88:  - x11 + x18 + x789 >= 0;

e89:  - x12 + x13 + x790 >= 0;

e90:  - x12 + x14 + x791 >= 0;

e91:  - x12 + x15 + x792 >= 0;

e92:  - x12 + x16 + x793 >= 0;

e93:  - x12 + x17 + x794 >= 0;

e94:  - x12 + x18 + x795 >= 0;

e95:  - x13 + x14 + x796 >= 0;

e96:  - x13 + x15 + x797 >= 0;

e97:  - x13 + x16 + x798 >= 0;

e98:  - x13 + x17 + x799 >= 0;

e99:  - x13 + x18 + x800 >= 0;

e100:  - x14 + x15 + x801 >= 0;

e101:  - x14 + x16 + x802 >= 0;

e102:  - x14 + x17 + x803 >= 0;

e103:  - x14 + x18 + x804 >= 0;

e104:  - x15 + x16 + x805 >= 0;

e105:  - x15 + x17 + x806 >= 0;

e106:  - x15 + x18 + x807 >= 0;

e107:  - x16 + x17 + x808 >= 0;

e108:  - x16 + x18 + x809 >= 0;

e109:  - x17 + x18 + x810 >= 0;

e110:    x10 - x11 + x775 >= 0;

e111:    x10 - x12 + x776 >= 0;

e112:    x10 - x13 + x777 >= 0;

e113:    x10 - x14 + x778 >= 0;

e114:    x10 - x15 + x779 >= 0;

e115:    x10 - x16 + x780 >= 0;

e116:    x10 - x17 + x781 >= 0;

e117:    x10 - x18 + x782 >= 0;

e118:    x11 - x12 + x783 >= 0;

e119:    x11 - x13 + x784 >= 0;

e120:    x11 - x14 + x785 >= 0;

e121:    x11 - x15 + x786 >= 0;

e122:    x11 - x16 + x787 >= 0;

e123:    x11 - x17 + x788 >= 0;

e124:    x11 - x18 + x789 >= 0;

e125:    x12 - x13 + x790 >= 0;

e126:    x12 - x14 + x791 >= 0;

e127:    x12 - x15 + x792 >= 0;

e128:    x12 - x16 + x793 >= 0;

e129:    x12 - x17 + x794 >= 0;

e130:    x12 - x18 + x795 >= 0;

e131:    x13 - x14 + x796 >= 0;

e132:    x13 - x15 + x797 >= 0;

e133:    x13 - x16 + x798 >= 0;

e134:    x13 - x17 + x799 >= 0;

e135:    x13 - x18 + x800 >= 0;

e136:    x14 - x15 + x801 >= 0;

e137:    x14 - x16 + x802 >= 0;

e138:    x14 - x17 + x803 >= 0;

e139:    x14 - x18 + x804 >= 0;

e140:    x15 - x16 + x805 >= 0;

e141:    x15 - x17 + x806 >= 0;

e142:    x15 - x18 + x807 >= 0;

e143:    x16 - x17 + x808 >= 0;

e144:    x16 - x18 + x809 >= 0;

e145:    x17 - x18 + x810 >= 0;

e146:    x1 - x19 - x27 - x35 - x43 = 0;

e147:    x1 - x20 - x28 - x36 - x44 = 0;

e148:    x1 - x21 - x29 - x37 - x45 = 0;

e149:    x1 - x22 - x30 - x38 - x46 = 0;

e150:    x1 - x23 - x31 - x39 - x47 = 0;

e151:    x1 - x24 - x32 - x40 - x48 = 0;

e152:    x1 - x25 - x33 - x41 - x49 = 0;

e153:    x1 - x26 - x34 - x42 - x50 = 0;

e154:    x2 - x51 - x59 - x67 - x75 = 0;

e155:    x2 - x52 - x60 - x68 - x76 = 0;

e156:    x2 - x53 - x61 - x69 - x77 = 0;

e157:    x2 - x54 - x62 - x70 - x78 = 0;

e158:    x2 - x55 - x63 - x71 - x79 = 0;

e159:    x2 - x56 - x64 - x72 - x80 = 0;

e160:    x2 - x57 - x65 - x73 - x81 = 0;

e161:    x2 - x58 - x66 - x74 - x82 = 0;

e162:    x3 - x83 - x91 - x99 - x107 = 0;

e163:    x3 - x84 - x92 - x100 - x108 = 0;

e164:    x3 - x85 - x93 - x101 - x109 = 0;

e165:    x3 - x86 - x94 - x102 - x110 = 0;

e166:    x3 - x87 - x95 - x103 - x111 = 0;

e167:    x3 - x88 - x96 - x104 - x112 = 0;

e168:    x3 - x89 - x97 - x105 - x113 = 0;

e169:    x3 - x90 - x98 - x106 - x114 = 0;

e170:    x4 - x115 - x123 - x131 - x139 = 0;

e171:    x4 - x116 - x124 - x132 - x140 = 0;

e172:    x4 - x117 - x125 - x133 - x141 = 0;

e173:    x4 - x118 - x126 - x134 - x142 = 0;

e174:    x4 - x119 - x127 - x135 - x143 = 0;

e175:    x4 - x120 - x128 - x136 - x144 = 0;

e176:    x4 - x121 - x129 - x137 - x145 = 0;

e177:    x4 - x122 - x130 - x138 - x146 = 0;

e178:    x5 - x147 - x155 - x163 - x171 = 0;

e179:    x5 - x148 - x156 - x164 - x172 = 0;

e180:    x5 - x149 - x157 - x165 - x173 = 0;

e181:    x5 - x150 - x158 - x166 - x174 = 0;

e182:    x5 - x151 - x159 - x167 - x175 = 0;

e183:    x5 - x152 - x160 - x168 - x176 = 0;

e184:    x5 - x153 - x161 - x169 - x177 = 0;

e185:    x5 - x154 - x162 - x170 - x178 = 0;

e186:    x6 - x179 - x187 - x195 - x203 = 0;

e187:    x6 - x180 - x188 - x196 - x204 = 0;

e188:    x6 - x181 - x189 - x197 - x205 = 0;

e189:    x6 - x182 - x190 - x198 - x206 = 0;

e190:    x6 - x183 - x191 - x199 - x207 = 0;

e191:    x6 - x184 - x192 - x200 - x208 = 0;

e192:    x6 - x185 - x193 - x201 - x209 = 0;

e193:    x6 - x186 - x194 - x202 - x210 = 0;

e194:    x7 - x211 - x219 - x227 - x235 = 0;

e195:    x7 - x212 - x220 - x228 - x236 = 0;

e196:    x7 - x213 - x221 - x229 - x237 = 0;

e197:    x7 - x214 - x222 - x230 - x238 = 0;

e198:    x7 - x215 - x223 - x231 - x239 = 0;

e199:    x7 - x216 - x224 - x232 - x240 = 0;

e200:    x7 - x217 - x225 - x233 - x241 = 0;

e201:    x7 - x218 - x226 - x234 - x242 = 0;

e202:    x8 - x243 - x251 - x259 - x267 = 0;

e203:    x8 - x244 - x252 - x260 - x268 = 0;

e204:    x8 - x245 - x253 - x261 - x269 = 0;

e205:    x8 - x246 - x254 - x262 - x270 = 0;

e206:    x8 - x247 - x255 - x263 - x271 = 0;

e207:    x8 - x248 - x256 - x264 - x272 = 0;

e208:    x8 - x249 - x257 - x265 - x273 = 0;

e209:    x8 - x250 - x258 - x266 - x274 = 0;

e210:    x9 - x275 - x283 - x291 - x299 = 0;

e211:    x9 - x276 - x284 - x292 - x300 = 0;

e212:    x9 - x277 - x285 - x293 - x301 = 0;

e213:    x9 - x278 - x286 - x294 - x302 = 0;

e214:    x9 - x279 - x287 - x295 - x303 = 0;

e215:    x9 - x280 - x288 - x296 - x304 = 0;

e216:    x9 - x281 - x289 - x297 - x305 = 0;

e217:    x9 - x282 - x290 - x298 - x306 = 0;

e218:    x10 - x307 - x315 - x323 - x331 = 0;

e219:    x10 - x308 - x316 - x324 - x332 = 0;

e220:    x10 - x309 - x317 - x325 - x333 = 0;

e221:    x10 - x310 - x318 - x326 - x334 = 0;

e222:    x10 - x311 - x319 - x327 - x335 = 0;

e223:    x10 - x312 - x320 - x328 - x336 = 0;

e224:    x10 - x313 - x321 - x329 - x337 = 0;

e225:    x10 - x314 - x322 - x330 - x338 = 0;

e226:    x11 - x339 - x347 - x355 - x363 = 0;

e227:    x11 - x340 - x348 - x356 - x364 = 0;

e228:    x11 - x341 - x349 - x357 - x365 = 0;

e229:    x11 - x342 - x350 - x358 - x366 = 0;

e230:    x11 - x343 - x351 - x359 - x367 = 0;

e231:    x11 - x344 - x352 - x360 - x368 = 0;

e232:    x11 - x345 - x353 - x361 - x369 = 0;

e233:    x11 - x346 - x354 - x362 - x370 = 0;

e234:    x12 - x371 - x379 - x387 - x395 = 0;

e235:    x12 - x372 - x380 - x388 - x396 = 0;

e236:    x12 - x373 - x381 - x389 - x397 = 0;

e237:    x12 - x374 - x382 - x390 - x398 = 0;

e238:    x12 - x375 - x383 - x391 - x399 = 0;

e239:    x12 - x376 - x384 - x392 - x400 = 0;

e240:    x12 - x377 - x385 - x393 - x401 = 0;

e241:    x12 - x378 - x386 - x394 - x402 = 0;

e242:    x13 - x403 - x411 - x419 - x427 = 0;

e243:    x13 - x404 - x412 - x420 - x428 = 0;

e244:    x13 - x405 - x413 - x421 - x429 = 0;

e245:    x13 - x406 - x414 - x422 - x430 = 0;

e246:    x13 - x407 - x415 - x423 - x431 = 0;

e247:    x13 - x408 - x416 - x424 - x432 = 0;

e248:    x13 - x409 - x417 - x425 - x433 = 0;

e249:    x13 - x410 - x418 - x426 - x434 = 0;

e250:    x14 - x435 - x443 - x451 - x459 = 0;

e251:    x14 - x436 - x444 - x452 - x460 = 0;

e252:    x14 - x437 - x445 - x453 - x461 = 0;

e253:    x14 - x438 - x446 - x454 - x462 = 0;

e254:    x14 - x439 - x447 - x455 - x463 = 0;

e255:    x14 - x440 - x448 - x456 - x464 = 0;

e256:    x14 - x441 - x449 - x457 - x465 = 0;

e257:    x14 - x442 - x450 - x458 - x466 = 0;

e258:    x15 - x467 - x475 - x483 - x491 = 0;

e259:    x15 - x468 - x476 - x484 - x492 = 0;

e260:    x15 - x469 - x477 - x485 - x493 = 0;

e261:    x15 - x470 - x478 - x486 - x494 = 0;

e262:    x15 - x471 - x479 - x487 - x495 = 0;

e263:    x15 - x472 - x480 - x488 - x496 = 0;

e264:    x15 - x473 - x481 - x489 - x497 = 0;

e265:    x15 - x474 - x482 - x490 - x498 = 0;

e266:    x16 - x499 - x507 - x515 - x523 = 0;

e267:    x16 - x500 - x508 - x516 - x524 = 0;

e268:    x16 - x501 - x509 - x517 - x525 = 0;

e269:    x16 - x502 - x510 - x518 - x526 = 0;

e270:    x16 - x503 - x511 - x519 - x527 = 0;

e271:    x16 - x504 - x512 - x520 - x528 = 0;

e272:    x16 - x505 - x513 - x521 - x529 = 0;

e273:    x16 - x506 - x514 - x522 - x530 = 0;

e274:    x17 - x531 - x539 - x547 - x555 = 0;

e275:    x17 - x532 - x540 - x548 - x556 = 0;

e276:    x17 - x533 - x541 - x549 - x557 = 0;

e277:    x17 - x534 - x542 - x550 - x558 = 0;

e278:    x17 - x535 - x543 - x551 - x559 = 0;

e279:    x17 - x536 - x544 - x552 - x560 = 0;

e280:    x17 - x537 - x545 - x553 - x561 = 0;

e281:    x17 - x538 - x546 - x554 - x562 = 0;

e282:    x18 - x563 - x571 - x579 - x587 = 0;

e283:    x18 - x564 - x572 - x580 - x588 = 0;

e284:    x18 - x565 - x573 - x581 - x589 = 0;

e285:    x18 - x566 - x574 - x582 - x590 = 0;

e286:    x18 - x567 - x575 - x583 - x591 = 0;

e287:    x18 - x568 - x576 - x584 - x592 = 0;

e288:    x18 - x569 - x577 - x585 - x593 = 0;

e289:    x18 - x570 - x578 - x586 - x594 = 0;

e290:    x19 - 37.5*b595 <= 0;

e291:    x20 - 37.5*b596 <= 0;

e292:    x21 - 37.5*b597 <= 0;

e293:    x22 - 37.5*b598 <= 0;

e294:    x23 - 37.5*b599 <= 0;

e295:    x24 - 37.5*b600 <= 0;

e296:    x25 - 37.5*b601 <= 0;

e297:    x26 - 37.5*b602 <= 0;

e298:    x27 - 37.5*b631 <= 0;

e299:    x28 - 37.5*b632 <= 0;

e300:    x29 - 37.5*b633 <= 0;

e301:    x30 - 37.5*b634 <= 0;

e302:    x31 - 37.5*b635 <= 0;

e303:    x32 - 37.5*b636 <= 0;

e304:    x33 - 37.5*b637 <= 0;

e305:    x34 - 37.5*b638 <= 0;

e306:    x35 - 37.5*b667 <= 0;

e307:    x36 - 37.5*b668 <= 0;

e308:    x37 - 37.5*b669 <= 0;

e309:    x38 - 37.5*b670 <= 0;

e310:    x39 - 37.5*b671 <= 0;

e311:    x40 - 37.5*b672 <= 0;

e312:    x41 - 37.5*b673 <= 0;

e313:    x42 - 37.5*b674 <= 0;

e314:    x43 - 37.5*b703 <= 0;

e315:    x44 - 37.5*b704 <= 0;

e316:    x45 - 37.5*b705 <= 0;

e317:    x46 - 37.5*b706 <= 0;

e318:    x47 - 37.5*b707 <= 0;

e319:    x48 - 37.5*b708 <= 0;

e320:    x49 - 37.5*b709 <= 0;

e321:    x50 - 37.5*b710 <= 0;

e322:    x51 - 37.5*b595 <= 0;

e323:    x52 - 36.5*b603 <= 0;

e324:    x53 - 36.5*b604 <= 0;

e325:    x54 - 36.5*b605 <= 0;

e326:    x55 - 36.5*b606 <= 0;

e327:    x56 - 36.5*b607 <= 0;

e328:    x57 - 36.5*b608 <= 0;

e329:    x58 - 36.5*b609 <= 0;

e330:    x59 - 37.5*b631 <= 0;

e331:    x60 - 36.5*b639 <= 0;

e332:    x61 - 36.5*b640 <= 0;

e333:    x62 - 36.5*b641 <= 0;

e334:    x63 - 36.5*b642 <= 0;

e335:    x64 - 36.5*b643 <= 0;

e336:    x65 - 36.5*b644 <= 0;

e337:    x66 - 36.5*b645 <= 0;

e338:    x67 - 37.5*b667 <= 0;

e339:    x68 - 36.5*b675 <= 0;

e340:    x69 - 36.5*b676 <= 0;

e341:    x70 - 36.5*b677 <= 0;

e342:    x71 - 36.5*b678 <= 0;

e343:    x72 - 36.5*b679 <= 0;

e344:    x73 - 36.5*b680 <= 0;

e345:    x74 - 36.5*b681 <= 0;

e346:    x75 - 37.5*b703 <= 0;

e347:    x76 - 36.5*b711 <= 0;

e348:    x77 - 36.5*b712 <= 0;

e349:    x78 - 36.5*b713 <= 0;

e350:    x79 - 36.5*b714 <= 0;

e351:    x80 - 36.5*b715 <= 0;

e352:    x81 - 36.5*b716 <= 0;

e353:    x82 - 36.5*b717 <= 0;

e354:    x83 - 37.5*b596 <= 0;

e355:    x84 - 36.5*b603 <= 0;

e356:    x85 - 38.5*b610 <= 0;

e357:    x86 - 38.5*b611 <= 0;

e358:    x87 - 38.5*b612 <= 0;

e359:    x88 - 38.5*b613 <= 0;

e360:    x89 - 38.5*b614 <= 0;

e361:    x90 - 38.5*b615 <= 0;

e362:    x91 - 37.5*b632 <= 0;

e363:    x92 - 36.5*b639 <= 0;

e364:    x93 - 38.5*b646 <= 0;

e365:    x94 - 38.5*b647 <= 0;

e366:    x95 - 38.5*b648 <= 0;

e367:    x96 - 38.5*b649 <= 0;

e368:    x97 - 38.5*b650 <= 0;

e369:    x98 - 38.5*b651 <= 0;

e370:    x99 - 37.5*b668 <= 0;

e371:    x100 - 36.5*b675 <= 0;

e372:    x101 - 38.5*b682 <= 0;

e373:    x102 - 38.5*b683 <= 0;

e374:    x103 - 38.5*b684 <= 0;

e375:    x104 - 38.5*b685 <= 0;

e376:    x105 - 38.5*b686 <= 0;

e377:    x106 - 38.5*b687 <= 0;

e378:    x107 - 37.5*b704 <= 0;

e379:    x108 - 36.5*b711 <= 0;

e380:    x109 - 38.5*b718 <= 0;

e381:    x110 - 38.5*b719 <= 0;

e382:    x111 - 38.5*b720 <= 0;

e383:    x112 - 38.5*b721 <= 0;

e384:    x113 - 38.5*b722 <= 0;

e385:    x114 - 38.5*b723 <= 0;

e386:    x115 - 37.5*b597 <= 0;

e387:    x116 - 36.5*b604 <= 0;

e388:    x117 - 38.5*b610 <= 0;

e389:    x118 - 39*b616 <= 0;

e390:    x119 - 39*b617 <= 0;

e391:    x120 - 39*b618 <= 0;

e392:    x121 - 39*b619 <= 0;

e393:    x122 - 39*b620 <= 0;

e394:    x123 - 37.5*b633 <= 0;

e395:    x124 - 36.5*b640 <= 0;

e396:    x125 - 38.5*b646 <= 0;

e397:    x126 - 39*b652 <= 0;

e398:    x127 - 39*b653 <= 0;

e399:    x128 - 39*b654 <= 0;

e400:    x129 - 39*b655 <= 0;

e401:    x130 - 39*b656 <= 0;

e402:    x131 - 37.5*b669 <= 0;

e403:    x132 - 36.5*b676 <= 0;

e404:    x133 - 38.5*b682 <= 0;

e405:    x134 - 39*b688 <= 0;

e406:    x135 - 39*b689 <= 0;

e407:    x136 - 39*b690 <= 0;

e408:    x137 - 39*b691 <= 0;

e409:    x138 - 39*b692 <= 0;

e410:    x139 - 37.5*b705 <= 0;

e411:    x140 - 36.5*b712 <= 0;

e412:    x141 - 38.5*b718 <= 0;

e413:    x142 - 39*b724 <= 0;

e414:    x143 - 39*b725 <= 0;

e415:    x144 - 39*b726 <= 0;

e416:    x145 - 39*b727 <= 0;

e417:    x146 - 39*b728 <= 0;

e418:    x147 - 37.5*b598 <= 0;

e419:    x148 - 36.5*b605 <= 0;

e420:    x149 - 38.5*b611 <= 0;

e421:    x150 - 39*b616 <= 0;

e422:    x151 - 38*b621 <= 0;

e423:    x152 - 38*b622 <= 0;

e424:    x153 - 38*b623 <= 0;

e425:    x154 - 38*b624 <= 0;

e426:    x155 - 37.5*b634 <= 0;

e427:    x156 - 36.5*b641 <= 0;

e428:    x157 - 38.5*b647 <= 0;

e429:    x158 - 39*b652 <= 0;

e430:    x159 - 38*b657 <= 0;

e431:    x160 - 38*b658 <= 0;

e432:    x161 - 38*b659 <= 0;

e433:    x162 - 38*b660 <= 0;

e434:    x163 - 37.5*b670 <= 0;

e435:    x164 - 36.5*b677 <= 0;

e436:    x165 - 38.5*b683 <= 0;

e437:    x166 - 39*b688 <= 0;

e438:    x167 - 38*b693 <= 0;

e439:    x168 - 38*b694 <= 0;

e440:    x169 - 38*b695 <= 0;

e441:    x170 - 38*b696 <= 0;

e442:    x171 - 37.5*b706 <= 0;

e443:    x172 - 36.5*b713 <= 0;

e444:    x173 - 38.5*b719 <= 0;

e445:    x174 - 39*b724 <= 0;

e446:    x175 - 38*b729 <= 0;

e447:    x176 - 38*b730 <= 0;

e448:    x177 - 38*b731 <= 0;

e449:    x178 - 38*b732 <= 0;

e450:    x179 - 37.5*b599 <= 0;

e451:    x180 - 36.5*b606 <= 0;

e452:    x181 - 38.5*b612 <= 0;

e453:    x182 - 39*b617 <= 0;

e454:    x183 - 38*b621 <= 0;

e455:    x184 - 37.5*b625 <= 0;

e456:    x185 - 37.5*b626 <= 0;

e457:    x186 - 37.5*b627 <= 0;

e458:    x187 - 37.5*b635 <= 0;

e459:    x188 - 36.5*b642 <= 0;

e460:    x189 - 38.5*b648 <= 0;

e461:    x190 - 39*b653 <= 0;

e462:    x191 - 38*b657 <= 0;

e463:    x192 - 37.5*b661 <= 0;

e464:    x193 - 37.5*b662 <= 0;

e465:    x194 - 37.5*b663 <= 0;

e466:    x195 - 37.5*b671 <= 0;

e467:    x196 - 36.5*b678 <= 0;

e468:    x197 - 38.5*b684 <= 0;

e469:    x198 - 39*b689 <= 0;

e470:    x199 - 38*b693 <= 0;

e471:    x200 - 37.5*b697 <= 0;

e472:    x201 - 37.5*b698 <= 0;

e473:    x202 - 37.5*b699 <= 0;

e474:    x203 - 37.5*b707 <= 0;

e475:    x204 - 36.5*b714 <= 0;

e476:    x205 - 38.5*b720 <= 0;

e477:    x206 - 39*b725 <= 0;

e478:    x207 - 38*b729 <= 0;

e479:    x208 - 37.5*b733 <= 0;

e480:    x209 - 37.5*b734 <= 0;

e481:    x210 - 37.5*b735 <= 0;

e482:    x211 - 37.5*b600 <= 0;

e483:    x212 - 36.5*b607 <= 0;

e484:    x213 - 38.5*b613 <= 0;

e485:    x214 - 39*b618 <= 0;

e486:    x215 - 38*b622 <= 0;

e487:    x216 - 37.5*b625 <= 0;

e488:    x217 - 36*b628 <= 0;

e489:    x218 - 36*b629 <= 0;

e490:    x219 - 37.5*b636 <= 0;

e491:    x220 - 36.5*b643 <= 0;

e492:    x221 - 38.5*b649 <= 0;

e493:    x222 - 39*b654 <= 0;

e494:    x223 - 38*b658 <= 0;

e495:    x224 - 37.5*b661 <= 0;

e496:    x225 - 36*b664 <= 0;

e497:    x226 - 36*b665 <= 0;

e498:    x227 - 37.5*b672 <= 0;

e499:    x228 - 36.5*b679 <= 0;

e500:    x229 - 38.5*b685 <= 0;

e501:    x230 - 39*b690 <= 0;

e502:    x231 - 38*b694 <= 0;

e503:    x232 - 37.5*b697 <= 0;

e504:    x233 - 36*b700 <= 0;

e505:    x234 - 36*b701 <= 0;

e506:    x235 - 37.5*b708 <= 0;

e507:    x236 - 36.5*b715 <= 0;

e508:    x237 - 38.5*b721 <= 0;

e509:    x238 - 39*b726 <= 0;

e510:    x239 - 38*b730 <= 0;

e511:    x240 - 37.5*b733 <= 0;

e512:    x241 - 36*b736 <= 0;

e513:    x242 - 36*b737 <= 0;

e514:    x243 - 37.5*b601 <= 0;

e515:    x244 - 36.5*b608 <= 0;

e516:    x245 - 38.5*b614 <= 0;

e517:    x246 - 39*b619 <= 0;

e518:    x247 - 38*b623 <= 0;

e519:    x248 - 37.5*b626 <= 0;

e520:    x249 - 36*b628 <= 0;

e521:    x250 - 38*b630 <= 0;

e522:    x251 - 37.5*b637 <= 0;

e523:    x252 - 36.5*b644 <= 0;

e524:    x253 - 38.5*b650 <= 0;

e525:    x254 - 39*b655 <= 0;

e526:    x255 - 38*b659 <= 0;

e527:    x256 - 37.5*b662 <= 0;

e528:    x257 - 36*b664 <= 0;

e529:    x258 - 38*b666 <= 0;

e530:    x259 - 37.5*b673 <= 0;

e531:    x260 - 36.5*b680 <= 0;

e532:    x261 - 38.5*b686 <= 0;

e533:    x262 - 39*b691 <= 0;

e534:    x263 - 38*b695 <= 0;

e535:    x264 - 37.5*b698 <= 0;

e536:    x265 - 36*b700 <= 0;

e537:    x266 - 38*b702 <= 0;

e538:    x267 - 37.5*b709 <= 0;

e539:    x268 - 36.5*b716 <= 0;

e540:    x269 - 38.5*b722 <= 0;

e541:    x270 - 39*b727 <= 0;

e542:    x271 - 38*b731 <= 0;

e543:    x272 - 37.5*b734 <= 0;

e544:    x273 - 36*b736 <= 0;

e545:    x274 - 38*b738 <= 0;

e546:    x275 - 37.5*b602 <= 0;

e547:    x276 - 36.5*b609 <= 0;

e548:    x277 - 38.5*b615 <= 0;

e549:    x278 - 39*b620 <= 0;

e550:    x279 - 38*b624 <= 0;

e551:    x280 - 37.5*b627 <= 0;

e552:    x281 - 36*b629 <= 0;

e553:    x282 - 38*b630 <= 0;

e554:    x283 - 37.5*b638 <= 0;

e555:    x284 - 36.5*b645 <= 0;

e556:    x285 - 38.5*b651 <= 0;

e557:    x286 - 39*b656 <= 0;

e558:    x287 - 38*b660 <= 0;

e559:    x288 - 37.5*b663 <= 0;

e560:    x289 - 36*b665 <= 0;

e561:    x290 - 38*b666 <= 0;

e562:    x291 - 37.5*b674 <= 0;

e563:    x292 - 36.5*b681 <= 0;

e564:    x293 - 38.5*b687 <= 0;

e565:    x294 - 39*b692 <= 0;

e566:    x295 - 38*b696 <= 0;

e567:    x296 - 37.5*b699 <= 0;

e568:    x297 - 36*b701 <= 0;

e569:    x298 - 38*b702 <= 0;

e570:    x299 - 37.5*b710 <= 0;

e571:    x300 - 36.5*b717 <= 0;

e572:    x301 - 38.5*b723 <= 0;

e573:    x302 - 39*b728 <= 0;

e574:    x303 - 38*b732 <= 0;

e575:    x304 - 37.5*b735 <= 0;

e576:    x305 - 36*b737 <= 0;

e577:    x306 - 38*b738 <= 0;

e578:    x307 - 37*b595 <= 0;

e579:    x308 - 37*b596 <= 0;

e580:    x309 - 37*b597 <= 0;

e581:    x310 - 37*b598 <= 0;

e582:    x311 - 37*b599 <= 0;

e583:    x312 - 37*b600 <= 0;

e584:    x313 - 37*b601 <= 0;

e585:    x314 - 37*b602 <= 0;

e586:    x315 - 37*b631 <= 0;

e587:    x316 - 37*b632 <= 0;

e588:    x317 - 37*b633 <= 0;

e589:    x318 - 37*b634 <= 0;

e590:    x319 - 37*b635 <= 0;

e591:    x320 - 37*b636 <= 0;

e592:    x321 - 37*b637 <= 0;

e593:    x322 - 37*b638 <= 0;

e594:    x323 - 37*b667 <= 0;

e595:    x324 - 37*b668 <= 0;

e596:    x325 - 37*b669 <= 0;

e597:    x326 - 37*b670 <= 0;

e598:    x327 - 37*b671 <= 0;

e599:    x328 - 37*b672 <= 0;

e600:    x329 - 37*b673 <= 0;

e601:    x330 - 37*b674 <= 0;

e602:    x331 - 37*b703 <= 0;

e603:    x332 - 37*b704 <= 0;

e604:    x333 - 37*b705 <= 0;

e605:    x334 - 37*b706 <= 0;

e606:    x335 - 37*b707 <= 0;

e607:    x336 - 37*b708 <= 0;

e608:    x337 - 37*b709 <= 0;

e609:    x338 - 37*b710 <= 0;

e610:    x339 - 37*b595 <= 0;

e611:    x340 - 37.5*b603 <= 0;

e612:    x341 - 37.5*b604 <= 0;

e613:    x342 - 37.5*b605 <= 0;

e614:    x343 - 37.5*b606 <= 0;

e615:    x344 - 37.5*b607 <= 0;

e616:    x345 - 37.5*b608 <= 0;

e617:    x346 - 37.5*b609 <= 0;

e618:    x347 - 37*b631 <= 0;

e619:    x348 - 37.5*b639 <= 0;

e620:    x349 - 37.5*b640 <= 0;

e621:    x350 - 37.5*b641 <= 0;

e622:    x351 - 37.5*b642 <= 0;

e623:    x352 - 37.5*b643 <= 0;

e624:    x353 - 37.5*b644 <= 0;

e625:    x354 - 37.5*b645 <= 0;

e626:    x355 - 37*b667 <= 0;

e627:    x356 - 37.5*b675 <= 0;

e628:    x357 - 37.5*b676 <= 0;

e629:    x358 - 37.5*b677 <= 0;

e630:    x359 - 37.5*b678 <= 0;

e631:    x360 - 37.5*b679 <= 0;

e632:    x361 - 37.5*b680 <= 0;

e633:    x362 - 37.5*b681 <= 0;

e634:    x363 - 37*b703 <= 0;

e635:    x364 - 37.5*b711 <= 0;

e636:    x365 - 37.5*b712 <= 0;

e637:    x366 - 37.5*b713 <= 0;

e638:    x367 - 37.5*b714 <= 0;

e639:    x368 - 37.5*b715 <= 0;

e640:    x369 - 37.5*b716 <= 0;

e641:    x370 - 37.5*b717 <= 0;

e642:    x371 - 37*b596 <= 0;

e643:    x372 - 37.5*b603 <= 0;

e644:    x373 - 38.5*b610 <= 0;

e645:    x374 - 38.5*b611 <= 0;

e646:    x375 - 38.5*b612 <= 0;

e647:    x376 - 38.5*b613 <= 0;

e648:    x377 - 38.5*b614 <= 0;

e649:    x378 - 38.5*b615 <= 0;

e650:    x379 - 37*b632 <= 0;

e651:    x380 - 37.5*b639 <= 0;

e652:    x381 - 38.5*b646 <= 0;

e653:    x382 - 38.5*b647 <= 0;

e654:    x383 - 38.5*b648 <= 0;

e655:    x384 - 38.5*b649 <= 0;

e656:    x385 - 38.5*b650 <= 0;

e657:    x386 - 38.5*b651 <= 0;

e658:    x387 - 37*b668 <= 0;

e659:    x388 - 37.5*b675 <= 0;

e660:    x389 - 38.5*b682 <= 0;

e661:    x390 - 38.5*b683 <= 0;

e662:    x391 - 38.5*b684 <= 0;

e663:    x392 - 38.5*b685 <= 0;

e664:    x393 - 38.5*b686 <= 0;

e665:    x394 - 38.5*b687 <= 0;

e666:    x395 - 37*b704 <= 0;

e667:    x396 - 37.5*b711 <= 0;

e668:    x397 - 38.5*b718 <= 0;

e669:    x398 - 38.5*b719 <= 0;

e670:    x399 - 38.5*b720 <= 0;

e671:    x400 - 38.5*b721 <= 0;

e672:    x401 - 38.5*b722 <= 0;

e673:    x402 - 38.5*b723 <= 0;

e674:    x403 - 37*b597 <= 0;

e675:    x404 - 37.5*b604 <= 0;

e676:    x405 - 38.5*b610 <= 0;

e677:    x406 - 38.5*b616 <= 0;

e678:    x407 - 38.5*b617 <= 0;

e679:    x408 - 38.5*b618 <= 0;

e680:    x409 - 38.5*b619 <= 0;

e681:    x410 - 38.5*b620 <= 0;

e682:    x411 - 37*b633 <= 0;

e683:    x412 - 37.5*b640 <= 0;

e684:    x413 - 38.5*b646 <= 0;

e685:    x414 - 38.5*b652 <= 0;

e686:    x415 - 38.5*b653 <= 0;

e687:    x416 - 38.5*b654 <= 0;

e688:    x417 - 38.5*b655 <= 0;

e689:    x418 - 38.5*b656 <= 0;

e690:    x419 - 37*b669 <= 0;

e691:    x420 - 37.5*b676 <= 0;

e692:    x421 - 38.5*b682 <= 0;

e693:    x422 - 38.5*b688 <= 0;

e694:    x423 - 38.5*b689 <= 0;

e695:    x424 - 38.5*b690 <= 0;

e696:    x425 - 38.5*b691 <= 0;

e697:    x426 - 38.5*b692 <= 0;

e698:    x427 - 37*b705 <= 0;

e699:    x428 - 37.5*b712 <= 0;

e700:    x429 - 38.5*b718 <= 0;

e701:    x430 - 38.5*b724 <= 0;

e702:    x431 - 38.5*b725 <= 0;

e703:    x432 - 38.5*b726 <= 0;

e704:    x433 - 38.5*b727 <= 0;

e705:    x434 - 38.5*b728 <= 0;

e706:    x435 - 37*b598 <= 0;

e707:    x436 - 37.5*b605 <= 0;

e708:    x437 - 38.5*b611 <= 0;

e709:    x438 - 38.5*b616 <= 0;

e710:    x439 - 38*b621 <= 0;

e711:    x440 - 38*b622 <= 0;

e712:    x441 - 38*b623 <= 0;

e713:    x442 - 38*b624 <= 0;

e714:    x443 - 37*b634 <= 0;

e715:    x444 - 37.5*b641 <= 0;

e716:    x445 - 38.5*b647 <= 0;

e717:    x446 - 38.5*b652 <= 0;

e718:    x447 - 38*b657 <= 0;

e719:    x448 - 38*b658 <= 0;

e720:    x449 - 38*b659 <= 0;

e721:    x450 - 38*b660 <= 0;

e722:    x451 - 37*b670 <= 0;

e723:    x452 - 37.5*b677 <= 0;

e724:    x453 - 38.5*b683 <= 0;

e725:    x454 - 38.5*b688 <= 0;

e726:    x455 - 38*b693 <= 0;

e727:    x456 - 38*b694 <= 0;

e728:    x457 - 38*b695 <= 0;

e729:    x458 - 38*b696 <= 0;

e730:    x459 - 37*b706 <= 0;

e731:    x460 - 37.5*b713 <= 0;

e732:    x461 - 38.5*b719 <= 0;

e733:    x462 - 38.5*b724 <= 0;

e734:    x463 - 38*b729 <= 0;

e735:    x464 - 38*b730 <= 0;

e736:    x465 - 38*b731 <= 0;

e737:    x466 - 38*b732 <= 0;

e738:    x467 - 37*b599 <= 0;

e739:    x468 - 37.5*b606 <= 0;

e740:    x469 - 38.5*b612 <= 0;

e741:    x470 - 38.5*b617 <= 0;

e742:    x471 - 38*b621 <= 0;

e743:    x472 - 39*b625 <= 0;

e744:    x473 - 39*b626 <= 0;

e745:    x474 - 39*b627 <= 0;

e746:    x475 - 37*b635 <= 0;

e747:    x476 - 37.5*b642 <= 0;

e748:    x477 - 38.5*b648 <= 0;

e749:    x478 - 38.5*b653 <= 0;

e750:    x479 - 38*b657 <= 0;

e751:    x480 - 39*b661 <= 0;

e752:    x481 - 39*b662 <= 0;

e753:    x482 - 39*b663 <= 0;

e754:    x483 - 37*b671 <= 0;

e755:    x484 - 37.5*b678 <= 0;

e756:    x485 - 38.5*b684 <= 0;

e757:    x486 - 38.5*b689 <= 0;

e758:    x487 - 38*b693 <= 0;

e759:    x488 - 39*b697 <= 0;

e760:    x489 - 39*b698 <= 0;

e761:    x490 - 39*b699 <= 0;

e762:    x491 - 37*b707 <= 0;

e763:    x492 - 37.5*b714 <= 0;

e764:    x493 - 38.5*b720 <= 0;

e765:    x494 - 38.5*b725 <= 0;

e766:    x495 - 38*b729 <= 0;

e767:    x496 - 39*b733 <= 0;

e768:    x497 - 39*b734 <= 0;

e769:    x498 - 39*b735 <= 0;

e770:    x499 - 37*b600 <= 0;

e771:    x500 - 37.5*b607 <= 0;

e772:    x501 - 38.5*b613 <= 0;

e773:    x502 - 38.5*b618 <= 0;

e774:    x503 - 38*b622 <= 0;

e775:    x504 - 39*b625 <= 0;

e776:    x505 - 37*b628 <= 0;

e777:    x506 - 37*b629 <= 0;

e778:    x507 - 37*b636 <= 0;

e779:    x508 - 37.5*b643 <= 0;

e780:    x509 - 38.5*b649 <= 0;

e781:    x510 - 38.5*b654 <= 0;

e782:    x511 - 38*b658 <= 0;

e783:    x512 - 39*b661 <= 0;

e784:    x513 - 37*b664 <= 0;

e785:    x514 - 37*b665 <= 0;

e786:    x515 - 37*b672 <= 0;

e787:    x516 - 37.5*b679 <= 0;

e788:    x517 - 38.5*b685 <= 0;

e789:    x518 - 38.5*b690 <= 0;

e790:    x519 - 38*b694 <= 0;

e791:    x520 - 39*b697 <= 0;

e792:    x521 - 37*b700 <= 0;

e793:    x522 - 37*b701 <= 0;

e794:    x523 - 37*b708 <= 0;

e795:    x524 - 37.5*b715 <= 0;

e796:    x525 - 38.5*b721 <= 0;

e797:    x526 - 38.5*b726 <= 0;

e798:    x527 - 38*b730 <= 0;

e799:    x528 - 39*b733 <= 0;

e800:    x529 - 37*b736 <= 0;

e801:    x530 - 37*b737 <= 0;

e802:    x531 - 37*b601 <= 0;

e803:    x532 - 37.5*b608 <= 0;

e804:    x533 - 38.5*b614 <= 0;

e805:    x534 - 38.5*b619 <= 0;

e806:    x535 - 38*b623 <= 0;

e807:    x536 - 39*b626 <= 0;

e808:    x537 - 37*b628 <= 0;

e809:    x538 - 37*b630 <= 0;

e810:    x539 - 37*b637 <= 0;

e811:    x540 - 37.5*b644 <= 0;

e812:    x541 - 38.5*b650 <= 0;

e813:    x542 - 38.5*b655 <= 0;

e814:    x543 - 38*b659 <= 0;

e815:    x544 - 39*b662 <= 0;

e816:    x545 - 37*b664 <= 0;

e817:    x546 - 37*b666 <= 0;

e818:    x547 - 37*b673 <= 0;

e819:    x548 - 37.5*b680 <= 0;

e820:    x549 - 38.5*b686 <= 0;

e821:    x550 - 38.5*b691 <= 0;

e822:    x551 - 38*b695 <= 0;

e823:    x552 - 39*b698 <= 0;

e824:    x553 - 37*b700 <= 0;

e825:    x554 - 37*b702 <= 0;

e826:    x555 - 37*b709 <= 0;

e827:    x556 - 37.5*b716 <= 0;

e828:    x557 - 38.5*b722 <= 0;

e829:    x558 - 38.5*b727 <= 0;

e830:    x559 - 38*b731 <= 0;

e831:    x560 - 39*b734 <= 0;

e832:    x561 - 37*b736 <= 0;

e833:    x562 - 37*b738 <= 0;

e834:    x563 - 37*b602 <= 0;

e835:    x564 - 37.5*b609 <= 0;

e836:    x565 - 38.5*b615 <= 0;

e837:    x566 - 38.5*b620 <= 0;

e838:    x567 - 38*b624 <= 0;

e839:    x568 - 39*b627 <= 0;

e840:    x569 - 37*b629 <= 0;

e841:    x570 - 37*b630 <= 0;

e842:    x571 - 37*b638 <= 0;

e843:    x572 - 37.5*b645 <= 0;

e844:    x573 - 38.5*b651 <= 0;

e845:    x574 - 38.5*b656 <= 0;

e846:    x575 - 38*b660 <= 0;

e847:    x576 - 39*b663 <= 0;

e848:    x577 - 37*b665 <= 0;

e849:    x578 - 37*b666 <= 0;

e850:    x579 - 37*b674 <= 0;

e851:    x580 - 37.5*b681 <= 0;

e852:    x581 - 38.5*b687 <= 0;

e853:    x582 - 38.5*b692 <= 0;

e854:    x583 - 38*b696 <= 0;

e855:    x584 - 39*b699 <= 0;

e856:    x585 - 37*b701 <= 0;

e857:    x586 - 37*b702 <= 0;

e858:    x587 - 37*b710 <= 0;

e859:    x588 - 37.5*b717 <= 0;

e860:    x589 - 38.5*b723 <= 0;

e861:    x590 - 38.5*b728 <= 0;

e862:    x591 - 38*b732 <= 0;

e863:    x592 - 39*b735 <= 0;

e864:    x593 - 37*b737 <= 0;

e865:    x594 - 37*b738 <= 0;

e866:    x19 - x51 + 6*b595 <= 0;

e867:    x20 - x83 + 4*b596 <= 0;

e868:    x21 - x115 + 3.5*b597 <= 0;

e869:    x22 - x147 + 4.5*b598 <= 0;

e870:    x23 - x179 + 5*b599 <= 0;

e871:    x24 - x211 + 6.5*b600 <= 0;

e872:    x25 - x243 + 4.5*b601 <= 0;

e873:    x26 - x275 + 3.5*b602 <= 0;

e874:    x52 - x84 + 5*b603 <= 0;

e875:    x53 - x116 + 4.5*b604 <= 0;

e876:    x54 - x148 + 5.5*b605 <= 0;

e877:    x55 - x180 + 6*b606 <= 0;

e878:    x56 - x212 + 7.5*b607 <= 0;

e879:    x57 - x244 + 5.5*b608 <= 0;

e880:    x58 - x276 + 4.5*b609 <= 0;

e881:    x85 - x117 + 2.5*b610 <= 0;

e882:    x86 - x149 + 3.5*b611 <= 0;

e883:    x87 - x181 + 4*b612 <= 0;

e884:    x88 - x213 + 5.5*b613 <= 0;

e885:    x89 - x245 + 3.5*b614 <= 0;

e886:    x90 - x277 + 2.5*b615 <= 0;

e887:    x118 - x150 + 3*b616 <= 0;

e888:    x119 - x182 + 3.5*b617 <= 0;

e889:    x120 - x214 + 5*b618 <= 0;

e890:    x121 - x246 + 3*b619 <= 0;

e891:    x122 - x278 + 2*b620 <= 0;

e892:    x151 - x183 + 4.5*b621 <= 0;

e893:    x152 - x215 + 6*b622 <= 0;

e894:    x153 - x247 + 4*b623 <= 0;

e895:    x154 - x279 + 3*b624 <= 0;

e896:    x184 - x216 + 6.5*b625 <= 0;

e897:    x185 - x248 + 4.5*b626 <= 0;

e898:    x186 - x280 + 3.5*b627 <= 0;

e899:    x217 - x249 + 6*b628 <= 0;

e900:    x218 - x281 + 5*b629 <= 0;

e901:    x250 - x282 + 3*b630 <= 0;

e902:  - x27 + x59 + 6*b631 <= 0;

e903:  - x28 + x91 + 4*b632 <= 0;

e904:  - x29 + x123 + 3.5*b633 <= 0;

e905:  - x30 + x155 + 4.5*b634 <= 0;

e906:  - x31 + x187 + 5*b635 <= 0;

e907:  - x32 + x219 + 6.5*b636 <= 0;

e908:  - x33 + x251 + 4.5*b637 <= 0;

e909:  - x34 + x283 + 3.5*b638 <= 0;

e910:  - x60 + x92 + 5*b639 <= 0;

e911:  - x61 + x124 + 4.5*b640 <= 0;

e912:  - x62 + x156 + 5.5*b641 <= 0;

e913:  - x63 + x188 + 6*b642 <= 0;

e914:  - x64 + x220 + 7.5*b643 <= 0;

e915:  - x65 + x252 + 5.5*b644 <= 0;

e916:  - x66 + x284 + 4.5*b645 <= 0;

e917:  - x93 + x125 + 2.5*b646 <= 0;

e918:  - x94 + x157 + 3.5*b647 <= 0;

e919:  - x95 + x189 + 4*b648 <= 0;

e920:  - x96 + x221 + 5.5*b649 <= 0;

e921:  - x97 + x253 + 3.5*b650 <= 0;

e922:  - x98 + x285 + 2.5*b651 <= 0;

e923:  - x126 + x158 + 3*b652 <= 0;

e924:  - x127 + x190 + 3.5*b653 <= 0;

e925:  - x128 + x222 + 5*b654 <= 0;

e926:  - x129 + x254 + 3*b655 <= 0;

e927:  - x130 + x286 + 2*b656 <= 0;

e928:  - x159 + x191 + 4.5*b657 <= 0;

e929:  - x160 + x223 + 6*b658 <= 0;

e930:  - x161 + x255 + 4*b659 <= 0;

e931:  - x162 + x287 + 3*b660 <= 0;

e932:  - x192 + x224 + 6.5*b661 <= 0;

e933:  - x193 + x256 + 4.5*b662 <= 0;

e934:  - x194 + x288 + 3.5*b663 <= 0;

e935:  - x225 + x257 + 6*b664 <= 0;

e936:  - x226 + x289 + 5*b665 <= 0;

e937:  - x258 + x290 + 3*b666 <= 0;

e938:    x323 - x355 + 5.5*b667 <= 0;

e939:    x324 - x387 + 4.5*b668 <= 0;

e940:    x325 - x419 + 4.5*b669 <= 0;

e941:    x326 - x451 + 5*b670 <= 0;

e942:    x327 - x483 + 4*b671 <= 0;

e943:    x328 - x515 + 6*b672 <= 0;

e944:    x329 - x547 + 6*b673 <= 0;

e945:    x330 - x579 + 5.5*b674 <= 0;

e946:    x356 - x388 + 4*b675 <= 0;

e947:    x357 - x420 + 4*b676 <= 0;

e948:    x358 - x452 + 4.5*b677 <= 0;

e949:    x359 - x484 + 3.5*b678 <= 0;

e950:    x360 - x516 + 5.5*b679 <= 0;

e951:    x361 - x548 + 5.5*b680 <= 0;

e952:    x362 - x580 + 5*b681 <= 0;

e953:    x389 - x421 + 3*b682 <= 0;

e954:    x390 - x453 + 3.5*b683 <= 0;

e955:    x391 - x485 + 2.5*b684 <= 0;

e956:    x392 - x517 + 4.5*b685 <= 0;

e957:    x393 - x549 + 4.5*b686 <= 0;

e958:    x394 - x581 + 4*b687 <= 0;

e959:    x422 - x454 + 3.5*b688 <= 0;

e960:    x423 - x486 + 2.5*b689 <= 0;

e961:    x424 - x518 + 4.5*b690 <= 0;

e962:    x425 - x550 + 4.5*b691 <= 0;

e963:    x426 - x582 + 4*b692 <= 0;

e964:    x455 - x487 + 3*b693 <= 0;

e965:    x456 - x519 + 5*b694 <= 0;

e966:    x457 - x551 + 5*b695 <= 0;

e967:    x458 - x583 + 4.5*b696 <= 0;

e968:    x488 - x520 + 4*b697 <= 0;

e969:    x489 - x552 + 4*b698 <= 0;

e970:    x490 - x584 + 3.5*b699 <= 0;

e971:    x521 - x553 + 6*b700 <= 0;

e972:    x522 - x585 + 5.5*b701 <= 0;

e973:    x554 - x586 + 5.5*b702 <= 0;

e974:  - x331 + x363 + 5.5*b703 <= 0;

e975:  - x332 + x395 + 4.5*b704 <= 0;

e976:  - x333 + x427 + 4.5*b705 <= 0;

e977:  - x334 + x459 + 5*b706 <= 0;

e978:  - x335 + x491 + 4*b707 <= 0;

e979:  - x336 + x523 + 6*b708 <= 0;

e980:  - x337 + x555 + 6*b709 <= 0;

e981:  - x338 + x587 + 5.5*b710 <= 0;

e982:  - x364 + x396 + 4*b711 <= 0;

e983:  - x365 + x428 + 4*b712 <= 0;

e984:  - x366 + x460 + 4.5*b713 <= 0;

e985:  - x367 + x492 + 3.5*b714 <= 0;

e986:  - x368 + x524 + 5.5*b715 <= 0;

e987:  - x369 + x556 + 5.5*b716 <= 0;

e988:  - x370 + x588 + 5*b717 <= 0;

e989:  - x397 + x429 + 3*b718 <= 0;

e990:  - x398 + x461 + 3.5*b719 <= 0;

e991:  - x399 + x493 + 2.5*b720 <= 0;

e992:  - x400 + x525 + 4.5*b721 <= 0;

e993:  - x401 + x557 + 4.5*b722 <= 0;

e994:  - x402 + x589 + 4*b723 <= 0;

e995:  - x430 + x462 + 3.5*b724 <= 0;

e996:  - x431 + x494 + 2.5*b725 <= 0;

e997:  - x432 + x526 + 4.5*b726 <= 0;

e998:  - x433 + x558 + 4.5*b727 <= 0;

e999:  - x434 + x590 + 4*b728 <= 0;

e1000:  - x463 + x495 + 3*b729 <= 0;

e1001:  - x464 + x527 + 5*b730 <= 0;

e1002:  - x465 + x559 + 5*b731 <= 0;

e1003:  - x466 + x591 + 4.5*b732 <= 0;

e1004:  - x496 + x528 + 4*b733 <= 0;

e1005:  - x497 + x560 + 4*b734 <= 0;

e1006:  - x498 + x592 + 3.5*b735 <= 0;

e1007:  - x529 + x561 + 6*b736 <= 0;

e1008:  - x530 + x593 + 5.5*b737 <= 0;

e1009:  - x562 + x594 + 5.5*b738 <= 0;

e1010:    b595 + b631 + b667 + b703 = 1;

e1011:    b596 + b632 + b668 + b704 = 1;

e1012:    b597 + b633 + b669 + b705 = 1;

e1013:    b598 + b634 + b670 + b706 = 1;

e1014:    b599 + b635 + b671 + b707 = 1;

e1015:    b600 + b636 + b672 + b708 = 1;

e1016:    b601 + b637 + b673 + b709 = 1;

e1017:    b602 + b638 + b674 + b710 = 1;

e1018:    b603 + b639 + b675 + b711 = 1;

e1019:    b604 + b640 + b676 + b712 = 1;

e1020:    b605 + b641 + b677 + b713 = 1;

e1021:    b606 + b642 + b678 + b714 = 1;

e1022:    b607 + b643 + b679 + b715 = 1;

e1023:    b608 + b644 + b680 + b716 = 1;

e1024:    b609 + b645 + b681 + b717 = 1;

e1025:    b610 + b646 + b682 + b718 = 1;

e1026:    b611 + b647 + b683 + b719 = 1;

e1027:    b612 + b648 + b684 + b720 = 1;

e1028:    b613 + b649 + b685 + b721 = 1;

e1029:    b614 + b650 + b686 + b722 = 1;

e1030:    b615 + b651 + b687 + b723 = 1;

e1031:    b616 + b652 + b688 + b724 = 1;

e1032:    b617 + b653 + b689 + b725 = 1;

e1033:    b618 + b654 + b690 + b726 = 1;

e1034:    b619 + b655 + b691 + b727 = 1;

e1035:    b620 + b656 + b692 + b728 = 1;

e1036:    b621 + b657 + b693 + b729 = 1;

e1037:    b622 + b658 + b694 + b730 = 1;

e1038:    b623 + b659 + b695 + b731 = 1;

e1039:    b624 + b660 + b696 + b732 = 1;

e1040:    b625 + b661 + b697 + b733 = 1;

e1041:    b626 + b662 + b698 + b734 = 1;

e1042:    b627 + b663 + b699 + b735 = 1;

e1043:    b628 + b664 + b700 + b736 = 1;

e1044:    b629 + b665 + b701 + b737 = 1;

e1045:    b630 + b666 + b702 + b738 = 1;