#  MIQCP written by GAMS Convert at 02/15/18 15:46:36
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1193      133        0     1060        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        841      793       48        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3745     3697       48        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 b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;
var 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 x595 >= 0;
var x596 >= 0;
var x597 >= 0;
var x598 >= 0;
var x599 >= 0;
var x600 >= 0;
var x601 >= 0;
var x602 >= 0;
var x603 >= 0;
var x604 >= 0;
var x605 >= 0;
var x606 >= 0;
var x607 >= 0;
var x608 >= 0;
var x609 >= 0;
var x610 >= 0;
var x611 >= 0;
var x612 >= 0;
var x613 >= 0;
var x614 >= 0;
var x615 >= 0;
var x616 >= 0;
var x617 >= 0;
var x618 >= 0;
var x619 >= 0;
var x620 >= 0;
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;
var x647 >= 0;
var x648 >= 0;
var x649 >= 0;
var x650 >= 0;
var x651 >= 0;
var x652 >= 0;
var x653 >= 0;
var x654 >= 0;
var x655 >= 0;
var x656 >= 0;
var x657 >= 0;
var x658 >= 0;
var x659 >= 0;
var x660 >= 0;
var x661 >= 0;
var x662 >= 0;
var x663 >= 0;
var x664 >= 0;
var x665 >= 0;
var x666 >= 0;
var x667 >= 0;
var x668 >= 0;
var x669 >= 0;
var x670 >= 0;
var x671 >= 0;
var x672 >= 0;
var x673 >= 0;
var x674 >= 0;
var x675 >= 0;
var x676 >= 0;
var x677 >= 0;
var x678 >= 0;
var x679 >= 0;
var x680 >= 0;
var x681 >= 0;
var x682 >= 0;
var x683 >= 0;
var x684 >= 0;
var x685 >= 0;
var x686 >= 0;
var x687 >= 0;
var x688 >= 0;
var x689 >= 0;
var x690 >= 0;
var x691 >= 0;
var x692 >= 0;
var x693 >= 0;
var x694 >= 0;
var x695 >= 0;
var x696 >= 0;
var x697 >= 0;
var x698 >= 0;
var x699 >= 0;
var x700 >= 0;
var x701 >= 0;
var x702 >= 0;
var x703 >= 0;
var x704 >= 0;
var x705 >= 0;
var x706 >= 0;
var x707 >= 0;
var x708 >= 0;
var x709 >= 0;
var x710 >= 0;
var x711 >= 0;
var x712 >= 0;
var x713 >= 0;
var x714 >= 0;
var x715 >= 0;
var x716 >= 0;
var x717 >= 0;
var x718 >= 0;
var x719 >= 0;
var x720 >= 0;
var x721 >= 0;
var x722 >= 0;
var x723 >= 0;
var x724 >= 0;
var x725 >= 0;
var x726 >= 0;
var x727 >= 0;
var x728 >= 0;
var x729 >= 0;
var x730 >= 0;
var x731 >= 0;
var x732 >= 0;
var x733 >= 0;
var x734 >= 0;
var x735 >= 0;
var x736 >= 0;
var x737 >= 0;
var x738 >= 0;
var x739 >= 0;
var x740 >= 0;
var x741 >= 0;
var x742 >= 0;
var x743 >= 0;
var x744 >= 0;
var x745 >= 0;
var x746 >= 0;
var x747 >= 0;
var x748 >= 0;
var x749 >= 0;
var x750 >= 0;
var x751 >= 0;
var x752 >= 0;
var x753 >= 0;
var x754 >= 0;
var x755 >= 0;
var x756 >= 0;
var x757 >= 0;
var x758 >= 0;
var x759 >= 0;
var x760 >= 0;
var x761 >= 0;
var x762 >= 0;
var x763 >= 0;
var x764 >= 0;
var x765 >= 0;
var x766 >= 0;
var x767 >= 0;
var x768 >= 0;
var x769 >= 0;
var x770 >= 0;
var x771 >= 0;
var x772 >= 0;
var x773 >= 0;
var x774 >= 0;
var x775 >= 0;
var x776 >= 0;
var x777 >= 0;
var x778 >= 0;
var x779 >= 0;
var x780 >= 0;
var x781 >= 0;
var x782 >= 0;
var x783 >= 0;
var x784 >= 0;
var x785 >= 0;
var x786 >= 0;
var x787 >= 0;
var x788 >= 0;
var x789 >= 0;
var x790 >= 0;
var x791 >= 0;
var x792 >= 0;
var x793 >= 0;
var x794 >= 0;
var x795 >= 0;
var x796 >= 0;
var x797 >= 0;
var x798 >= 0;
var x799 >= 0;
var x800 >= 0;
var x801 >= 0;
var x802 >= 0;
var x803 >= 0;
var x804 >= 0;
var x805 >= 0;
var x806 >= 0;
var x807 >= 0;
var x808 >= 0;
var x809 >= 0;
var x810 >= 0;
var x811 >= 0;
var x812 >= 0;
var x813 >= 0;
var x814 >= 0;
var x815 >= 0;
var x816 >= 0;
var x817 >= 0;
var x818 >= 0;
var x819 >= 0;
var x820 >= 0;
var x821 >= 0;
var x822 >= 0;
var x823 >= 0;
var x824 >= 0;
var x825 >= 0;
var x826 >= 0;
var x827 >= 0;
var x828 >= 0;
var x829 >= 0;
var x830 >= 0;
var x831 >= 0;
var x832 >= 0;
var x833 >= 0;
var x834 >= 0;
var x835 >= 0;
var x836 >= 0;
var x837 >= 0;
var x838 >= 0;
var x839 >= 0;
var x840 >= 0;
var x841 >= 0;

minimize obj: 0.2036235*b266^2 + 114.034*b266 + 0.239289*b266*b267 + 114.034*
    b267 + 0.478578*b267^2 + 0.209452*b267*b268 + 114.034*b268 + 0.418904*b268*
    b268 + 0.166303*b268*b269 + 114.034*b269 + 0.332606*b269^2 + 0.0264315*b269
    *b270 + 114.034*b270 + 0.052863*b270^2 + 0.188594*b270*b271 + 114.034*b271
     + 0.3771875*b271^2 + 0.1475415*b271*b272 + 114.034*b272 + 0.295083*b272^2
     + 0.1439515*b272*b273 + 114.034*b273 + 0.2879035*b273*b273 + 0.1785265*
    b273*b274 + 114.034*b274 + 0.357053*b274^2 + 0.1900745*b274*b275 + 114.034*
    b275 + 0.3801495*b275^2 + 0.121683*b275*b276 + 114.034*b276 + 0.2433655*
    b276^2 + 0.050773*b276*b277 + 114.034*b277 + 0.1015465*b277^2 + 0.2355055*
    b277*b278 + 114.034*b278 + 0.471011*b278*b278 + 0.137883*b278*b279 + 
    114.034*b279 + 0.275766*b279^2 + 0.01429375*b279*b280 + 114.034*b280 + 
    0.0285875*b280^2 + 0.0099834*b280*b281 + 114.034*b281 + 0.0199668*b281^2 + 
    0.06341*b281*b282 + 114.034*b282 + 0.1268195*b282^2 + 0.090881*b282*b283 + 
    114.034*b283 + 0.1817625*b283*b283 + 0.065784*b283*b284 + 114.034*b284 + 
    0.1315675*b284^2 + 0.078012*b284*b285 + 114.034*b285 + 0.1560235*b285^2 + 
    0.1636075*b285*b286 + 114.034*b286 + 0.327215*b286^2 + 0.133085*b286*b287
     + 114.034*b287 + 0.2661695*b287^2 + 0.00077219*b287*b288 + 114.034*b288 + 
    0.00154438*b288^2 + 0.087401*b288*b289 + 114.034*b289 + 0.174802*b289^2 + 
    0.0363815*b289*b290 + 114.034*b290 + 0.072763*b290^2 + 0.1195315*b290*b291
     + 114.034*b291 + 0.2390625*b291^2 + 0.041687*b291*b292 + 114.034*b292 + 
    0.083374*b292^2 + 0.1888995*b292*b293 + 114.034*b293 + 0.377799*b293^2 + 
    0.0776225*b293*b294 + 114.034*b294 + 0.155245*b294^2 + 0.0782245*b294*b295
     + 114.034*b295 + 0.1564495*b295^2 + 0.00678545*b295*b296 + 114.034*b296 + 
    0.0135709*b296^2 + 0.1125255*b296*b297 + 114.034*b297 + 0.2250515*b297^2 + 
    0.1970725*b297*b298 + 114.034*b298 + 0.3941445*b298^2 + 0.15092*b298*b299
     + 114.034*b299 + 0.30184*b299^2 + 0.083177*b299*b300 + 114.034*b300 + 
    0.1663545*b300^2 + 0.0425305*b300*b301 + 114.034*b301 + 0.085061*b301^2 + 
    0.1274335*b301*b302 + 114.034*b302 + 0.254867*b302^2 + 0.097571*b302*b303
     + 114.034*b303 + 0.195142*b303^2 + 0.2014865*b303*b304 + 114.034*b304 + 
    0.4029735*b304*b304 + 0.196937*b304*b305 + 114.034*b305 + 0.393874*b305^2
     + 0.0662175*b305*b306 + 114.034*b306 + 0.1324345*b306^2 + 0.239263*b306*
    b307 + 114.034*b307 + 0.478526*b307^2 + 0.160129*b307*b308 + 114.034*b308
     + 0.320258*b308^2 + 0.1523025*b308*b309 + 114.034*b309 + 0.3046045*b309*
    b309 + 0.196572*b309*b310 + 114.034*b310 + 0.393144*b310^2 + 0.148051*b310*
    b311 + 114.034*b311 + 0.296102*b311^2 + 0.04746825*b311*b312 + 114.034*b312
     + 0.0949365*b312^2 + 0.230473*b312*b313 + 114.034*b313 + 0.460946*b313^2
     - 16.947*x2 - 16.947*x3 - 16.947*x4 - 16.947*x5 - 16.947*x6 - 16.947*x7
     - 16.947*x8 - 16.947*x9 - 16.947*x10 - 16.947*x11 - 16.947*x12
     - 16.947*x13 - 16.947*x14 - 16.947*x15 - 16.947*x16 - 16.947*x17
     - 16.947*x18 - 16.947*x19 - 16.947*x20 - 16.947*x21 - 16.947*x22
     - 16.947*x23 - 16.947*x24 - 16.947*x25 - 16.947*x26 - 16.947*x27
     - 16.947*x28 - 16.947*x29 - 16.947*x30 - 16.947*x31 - 16.947*x32
     - 16.947*x33 - 16.947*x34 - 16.947*x35 - 16.947*x36 - 16.947*x37
     - 16.947*x38 - 16.947*x39 - 16.947*x40 - 16.947*x41 - 16.947*x42
     - 16.947*x43 - 16.947*x44 - 16.947*x45 - 16.947*x46 - 16.947*x47
     - 16.947*x48 - 16.947*x49 - 16.947*x50 - 16.947*x51 - 16.947*x52
     - 16.947*x53 - 16.947*x54 - 16.947*x55 - 16.947*x56 - 16.947*x57
     - 16.947*x58 - 16.947*x59 - 16.947*x60 - 16.947*x61 - 16.947*x62
     - 16.947*x63 - 16.947*x64 - 16.947*x65 - 16.947*x66 - 16.947*x67
     - 16.947*x68 - 16.947*x69 - 16.947*x70 - 16.947*x71 - 16.947*x72
     - 16.947*x73 - 16.947*x74 - 16.947*x75 - 16.947*x76 - 16.947*x77
     - 16.947*x78 - 16.947*x79 - 16.947*x80 - 16.947*x81 - 16.947*x82
     - 16.947*x83 - 16.947*x84 - 16.947*x85 - 16.947*x86 - 16.947*x87
     - 16.947*x88 - 16.947*x89 - 16.947*x90 - 16.947*x91 - 16.947*x92
     - 16.947*x93 - 16.947*x94 - 16.947*x95 - 16.947*x96 - 16.947*x97
     - 16.947*x98 - 16.947*x99 - 16.947*x100 - 16.947*x101 - 16.947*x102
     - 16.947*x103 - 16.947*x104 - 16.947*x105 - 16.947*x106 - 16.947*x107
     - 16.947*x108 - 16.947*x109 - 16.947*x110 - 16.947*x111 - 16.947*x112
     - 16.947*x113 - 16.947*x114 - 16.947*x115 - 16.947*x116 - 16.947*x117
     - 16.947*x118 - 16.947*x119 - 16.947*x120 - 16.947*x121 - 16.947*x122
     - 16.947*x123 - 16.947*x124 - 16.947*x125 - 16.947*x126 - 16.947*x127
     - 16.947*x128 - 16.947*x129 - 16.947*x130 - 16.947*x131 - 16.947*x132
     - 16.947*x133 - 16.947*x134 - 16.947*x135 - 16.947*x136 - 16.947*x137
     - 16.947*x138 - 16.947*x139 - 16.947*x140 - 16.947*x141 - 16.947*x142
     - 16.947*x143 - 16.947*x144 - 16.947*x145 - 16.947*x146 - 16.947*x147
     - 16.947*x148 - 16.947*x149 - 16.947*x150 - 16.947*x151 - 16.947*x152
     - 16.947*x153 - 16.947*x154 - 16.947*x155 - 16.947*x156 - 16.947*x157
     - 16.947*x158 - 16.947*x159 - 16.947*x160 - 16.947*x161 - 16.947*x162
     - 16.947*x163 - 16.947*x164 - 16.947*x165 - 16.947*x166 - 16.947*x167
     - 16.947*x168 - 16.947*x169 - 16.947*x170 - 16.947*x171 - 16.947*x172
     - 16.947*x173 - 16.947*x174 - 16.947*x175 - 16.947*x176 - 16.947*x177
     - 16.947*x178 - 16.947*x179 - 16.947*x180 - 16.947*x181 - 16.947*x182
     - 16.947*x183 - 16.947*x184 - 16.947*x185 - 16.947*x186 - 16.947*x187
     - 16.947*x188 - 16.947*x189 - 16.947*x190 - 16.947*x191 - 16.947*x192
     - 16.947*x193 - 16.947*x194 - 16.947*x195 - 16.947*x196 - 16.947*x197
     - 16.947*x198 - 16.947*x199 - 16.947*x200 - 16.947*x201 - 16.947*x202
     - 16.947*x203 - 16.947*x204 - 16.947*x205 - 16.947*x206 - 16.947*x207
     - 16.947*x208 - 16.947*x209 - 16.947*x210 - 16.947*x211 - 16.947*x212
     - 16.947*x213 - 16.947*x214 - 16.947*x215 - 16.947*x216 - 16.947*x217
     - 16.947*x218 - 16.947*x219 - 16.947*x220 - 16.947*x221 - 16.947*x222
     - 16.947*x223 - 16.947*x224 - 16.947*x225 - 16.947*x226 - 16.947*x227
     - 16.947*x228 - 16.947*x229 - 16.947*x230 - 16.947*x231 - 16.947*x232
     - 16.947*x233 - 16.947*x234 - 16.947*x235 - 16.947*x236 - 16.947*x237
     - 16.947*x238 - 16.947*x239 - 16.947*x240 - 16.947*x241 - 16.947*x242
     - 16.947*x243 - 16.947*x244 - 16.947*x245 - 16.947*x246 - 16.947*x247
     - 16.947*x248 - 16.947*x249 - 16.947*x250 - 16.947*x251 - 16.947*x252
     - 16.947*x253 - 16.947*x254 - 16.947*x255 - 16.947*x256 - 16.947*x257
     - 16.947*x258 - 16.947*x259 - 16.947*x260 - 16.947*x261 - 16.947*x262
     - 16.947*x263 - 16.947*x264 - 16.947*x265;

subject to

e2:    x86 - x314 <= 0;

e3:    x86 - x315 <= 0;

e4:    x87 - x316 <= 0;

e5:    x87 - x317 <= 0;

e6:    x88 - x318 <= 0;

e7:    x88 - x319 <= 0;

e8:    x89 - x320 <= 0;

e9:    x89 - x321 <= 0;

e10:    x94 - x322 <= 0;

e11:    x94 - x323 <= 0;

e12:    x95 - x324 <= 0;

e13:    x95 - x325 <= 0;

e14:    x96 - x326 <= 0;

e15:    x96 - x327 <= 0;

e16:    x97 - x328 <= 0;

e17:    x97 - x329 <= 0;

e18:    x242 - x330 <= 0;

e19:    x242 - x331 <= 0;

e20:    x243 - x332 <= 0;

e21:    x243 - x333 <= 0;

e22:    x244 - x334 <= 0;

e23:    x244 - x335 <= 0;

e24:    x245 - x336 <= 0;

e25:    x245 - x337 <= 0;

e26:    x106 - x338 <= 0;

e27:    x106 - x339 <= 0;

e28:    x107 - x340 <= 0;

e29:    x107 - x341 <= 0;

e30:    x108 - x342 <= 0;

e31:    x108 - x343 <= 0;

e32:    x109 - x344 <= 0;

e33:    x109 - x345 <= 0;

e34:    x254 - x346 <= 0;

e35:    x254 - x347 <= 0;

e36:    x255 - x348 <= 0;

e37:    x255 - x349 <= 0;

e38:    x256 - x350 <= 0;

e39:    x256 - x351 <= 0;

e40:    x257 - x352 <= 0;

e41:    x257 - x353 <= 0;

e42:    x130 - x354 <= 0;

e43:    x130 - x355 <= 0;

e44:    x131 - x356 <= 0;

e45:    x131 - x357 <= 0;

e46:    x132 - x358 <= 0;

e47:    x132 - x359 <= 0;

e48:    x133 - x360 <= 0;

e49:    x133 - x361 <= 0;

e50:    x114 - x362 <= 0;

e51:    x114 - x363 <= 0;

e52:    x115 - x364 <= 0;

e53:    x115 - x365 <= 0;

e54:    x116 - x366 <= 0;

e55:    x116 - x367 <= 0;

e56:    x117 - x368 <= 0;

e57:    x117 - x369 <= 0;

e58:    x262 - x370 <= 0;

e59:    x262 - x371 <= 0;

e60:    x263 - x372 <= 0;

e61:    x263 - x373 <= 0;

e62:    x264 - x374 <= 0;

e63:    x264 - x375 <= 0;

e64:    x265 - x376 <= 0;

e65:    x265 - x377 <= 0;

e66:    x142 - x378 <= 0;

e67:    x142 - x379 <= 0;

e68:    x143 - x380 <= 0;

e69:    x143 - x381 <= 0;

e70:    x144 - x382 <= 0;

e71:    x144 - x383 <= 0;

e72:    x145 - x384 <= 0;

e73:    x145 - x385 <= 0;

e74:    x22 - x386 <= 0;

e75:    x22 - x387 <= 0;

e76:    x23 - x388 <= 0;

e77:    x23 - x389 <= 0;

e78:    x24 - x390 <= 0;

e79:    x24 - x391 <= 0;

e80:    x25 - x392 <= 0;

e81:    x25 - x393 <= 0;

e82:    x118 - x394 <= 0;

e83:    x118 - x395 <= 0;

e84:    x119 - x396 <= 0;

e85:    x119 - x397 <= 0;

e86:    x120 - x398 <= 0;

e87:    x120 - x399 <= 0;

e88:    x121 - x400 <= 0;

e89:    x121 - x401 <= 0;

e90:    x2 - x402 <= 0;

e91:    x2 - x403 <= 0;

e92:    x3 - x404 <= 0;

e93:    x3 - x405 <= 0;

e94:    x4 - x406 <= 0;

e95:    x4 - x407 <= 0;

e96:    x5 - x408 <= 0;

e97:    x5 - x409 <= 0;

e98:    x154 - x410 <= 0;

e99:    x154 - x411 <= 0;

e100:    x155 - x412 <= 0;

e101:    x155 - x413 <= 0;

e102:    x156 - x414 <= 0;

e103:    x156 - x415 <= 0;

e104:    x157 - x416 <= 0;

e105:    x157 - x417 <= 0;

e106:    x30 - x418 <= 0;

e107:    x30 - x419 <= 0;

e108:    x31 - x420 <= 0;

e109:    x31 - x421 <= 0;

e110:    x32 - x422 <= 0;

e111:    x32 - x423 <= 0;

e112:    x33 - x424 <= 0;

e113:    x33 - x425 <= 0;

e114:    x182 - x426 <= 0;

e115:    x182 - x427 <= 0;

e116:    x183 - x428 <= 0;

e117:    x183 - x429 <= 0;

e118:    x184 - x430 <= 0;

e119:    x184 - x431 <= 0;

e120:    x185 - x432 <= 0;

e121:    x185 - x433 <= 0;

e122:    x122 - x434 <= 0;

e123:    x122 - x435 <= 0;

e124:    x123 - x436 <= 0;

e125:    x123 - x437 <= 0;

e126:    x124 - x438 <= 0;

e127:    x124 - x439 <= 0;

e128:    x125 - x440 <= 0;

e129:    x125 - x441 <= 0;

e130:    x6 - x442 <= 0;

e131:    x6 - x443 <= 0;

e132:    x7 - x444 <= 0;

e133:    x7 - x445 <= 0;

e134:    x8 - x446 <= 0;

e135:    x8 - x447 <= 0;

e136:    x9 - x448 <= 0;

e137:    x9 - x449 <= 0;

e138:    x162 - x450 <= 0;

e139:    x162 - x451 <= 0;

e140:    x163 - x452 <= 0;

e141:    x163 - x453 <= 0;

e142:    x164 - x454 <= 0;

e143:    x164 - x455 <= 0;

e144:    x165 - x456 <= 0;

e145:    x165 - x457 <= 0;

e146:    x38 - x458 <= 0;

e147:    x38 - x459 <= 0;

e148:    x39 - x460 <= 0;

e149:    x39 - x461 <= 0;

e150:    x40 - x462 <= 0;

e151:    x40 - x463 <= 0;

e152:    x41 - x464 <= 0;

e153:    x41 - x465 <= 0;

e154:    x190 - x466 <= 0;

e155:    x190 - x467 <= 0;

e156:    x191 - x468 <= 0;

e157:    x191 - x469 <= 0;

e158:    x192 - x470 <= 0;

e159:    x192 - x471 <= 0;

e160:    x193 - x472 <= 0;

e161:    x193 - x473 <= 0;

e162:    x62 - x474 <= 0;

e163:    x62 - x475 <= 0;

e164:    x63 - x476 <= 0;

e165:    x63 - x477 <= 0;

e166:    x64 - x478 <= 0;

e167:    x64 - x479 <= 0;

e168:    x65 - x480 <= 0;

e169:    x65 - x481 <= 0;

e170:    x134 - x482 <= 0;

e171:    x134 - x483 <= 0;

e172:    x135 - x484 <= 0;

e173:    x135 - x485 <= 0;

e174:    x136 - x486 <= 0;

e175:    x136 - x487 <= 0;

e176:    x137 - x488 <= 0;

e177:    x137 - x489 <= 0;

e178:    x14 - x490 <= 0;

e179:    x14 - x491 <= 0;

e180:    x15 - x492 <= 0;

e181:    x15 - x493 <= 0;

e182:    x16 - x494 <= 0;

e183:    x16 - x495 <= 0;

e184:    x17 - x496 <= 0;

e185:    x17 - x497 <= 0;

e186:    x170 - x498 <= 0;

e187:    x170 - x499 <= 0;

e188:    x171 - x500 <= 0;

e189:    x171 - x501 <= 0;

e190:    x172 - x502 <= 0;

e191:    x172 - x503 <= 0;

e192:    x173 - x504 <= 0;

e193:    x173 - x505 <= 0;

e194:    x46 - x506 <= 0;

e195:    x46 - x507 <= 0;

e196:    x47 - x508 <= 0;

e197:    x47 - x509 <= 0;

e198:    x48 - x510 <= 0;

e199:    x48 - x511 <= 0;

e200:    x49 - x512 <= 0;

e201:    x49 - x513 <= 0;

e202:    x198 - x514 <= 0;

e203:    x198 - x515 <= 0;

e204:    x199 - x516 <= 0;

e205:    x199 - x517 <= 0;

e206:    x200 - x518 <= 0;

e207:    x200 - x519 <= 0;

e208:    x201 - x520 <= 0;

e209:    x201 - x521 <= 0;

e210:    x66 - x522 <= 0;

e211:    x66 - x523 <= 0;

e212:    x67 - x524 <= 0;

e213:    x67 - x525 <= 0;

e214:    x68 - x526 <= 0;

e215:    x68 - x527 <= 0;

e216:    x69 - x528 <= 0;

e217:    x69 - x529 <= 0;

e218:    x222 - x530 <= 0;

e219:    x222 - x531 <= 0;

e220:    x223 - x532 <= 0;

e221:    x223 - x533 <= 0;

e222:    x224 - x534 <= 0;

e223:    x224 - x535 <= 0;

e224:    x225 - x536 <= 0;

e225:    x225 - x537 <= 0;

e226:    x146 - x538 <= 0;

e227:    x146 - x539 <= 0;

e228:    x147 - x540 <= 0;

e229:    x147 - x541 <= 0;

e230:    x148 - x542 <= 0;

e231:    x148 - x543 <= 0;

e232:    x149 - x544 <= 0;

e233:    x149 - x545 <= 0;

e234:    x26 - x546 <= 0;

e235:    x26 - x547 <= 0;

e236:    x27 - x548 <= 0;

e237:    x27 - x549 <= 0;

e238:    x28 - x550 <= 0;

e239:    x28 - x551 <= 0;

e240:    x29 - x552 <= 0;

e241:    x29 - x553 <= 0;

e242:    x178 - x554 <= 0;

e243:    x178 - x555 <= 0;

e244:    x179 - x556 <= 0;

e245:    x179 - x557 <= 0;

e246:    x180 - x558 <= 0;

e247:    x180 - x559 <= 0;

e248:    x181 - x560 <= 0;

e249:    x181 - x561 <= 0;

e250:    x54 - x562 <= 0;

e251:    x54 - x563 <= 0;

e252:    x55 - x564 <= 0;

e253:    x55 - x565 <= 0;

e254:    x56 - x566 <= 0;

e255:    x56 - x567 <= 0;

e256:    x57 - x568 <= 0;

e257:    x57 - x569 <= 0;

e258:    x206 - x570 <= 0;

e259:    x206 - x571 <= 0;

e260:    x207 - x572 <= 0;

e261:    x207 - x573 <= 0;

e262:    x208 - x574 <= 0;

e263:    x208 - x575 <= 0;

e264:    x209 - x576 <= 0;

e265:    x209 - x577 <= 0;

e266:    x70 - x578 <= 0;

e267:    x70 - x579 <= 0;

e268:    x71 - x580 <= 0;

e269:    x71 - x581 <= 0;

e270:    x72 - x582 <= 0;

e271:    x72 - x583 <= 0;

e272:    x73 - x584 <= 0;

e273:    x73 - x585 <= 0;

e274:    x226 - x586 <= 0;

e275:    x226 - x587 <= 0;

e276:    x227 - x588 <= 0;

e277:    x227 - x589 <= 0;

e278:    x228 - x590 <= 0;

e279:    x228 - x591 <= 0;

e280:    x229 - x592 <= 0;

e281:    x229 - x593 <= 0;

e282:    x90 - x594 <= 0;

e283:    x90 - x595 <= 0;

e284:    x91 - x596 <= 0;

e285:    x91 - x597 <= 0;

e286:    x92 - x598 <= 0;

e287:    x92 - x599 <= 0;

e288:    x93 - x600 <= 0;

e289:    x93 - x601 <= 0;

e290:    x158 - x602 <= 0;

e291:    x158 - x603 <= 0;

e292:    x159 - x604 <= 0;

e293:    x159 - x605 <= 0;

e294:    x160 - x606 <= 0;

e295:    x160 - x607 <= 0;

e296:    x161 - x608 <= 0;

e297:    x161 - x609 <= 0;

e298:    x34 - x610 <= 0;

e299:    x34 - x611 <= 0;

e300:    x35 - x612 <= 0;

e301:    x35 - x613 <= 0;

e302:    x36 - x614 <= 0;

e303:    x36 - x615 <= 0;

e304:    x37 - x616 <= 0;

e305:    x37 - x617 <= 0;

e306:    x186 - x618 <= 0;

e307:    x186 - x619 <= 0;

e308:    x187 - x620 <= 0;

e309:    x187 - x621 <= 0;

e310:    x188 - x622 <= 0;

e311:    x188 - x623 <= 0;

e312:    x189 - x624 <= 0;

e313:    x189 - x625 <= 0;

e314:    x58 - x626 <= 0;

e315:    x58 - x627 <= 0;

e316:    x59 - x628 <= 0;

e317:    x59 - x629 <= 0;

e318:    x60 - x630 <= 0;

e319:    x60 - x631 <= 0;

e320:    x61 - x632 <= 0;

e321:    x61 - x633 <= 0;

e322:    x214 - x634 <= 0;

e323:    x214 - x635 <= 0;

e324:    x215 - x636 <= 0;

e325:    x215 - x637 <= 0;

e326:    x216 - x638 <= 0;

e327:    x216 - x639 <= 0;

e328:    x217 - x640 <= 0;

e329:    x217 - x641 <= 0;

e330:    x78 - x642 <= 0;

e331:    x78 - x643 <= 0;

e332:    x79 - x644 <= 0;

e333:    x79 - x645 <= 0;

e334:    x80 - x646 <= 0;

e335:    x80 - x647 <= 0;

e336:    x81 - x648 <= 0;

e337:    x81 - x649 <= 0;

e338:    x234 - x650 <= 0;

e339:    x234 - x651 <= 0;

e340:    x235 - x652 <= 0;

e341:    x235 - x653 <= 0;

e342:    x236 - x654 <= 0;

e343:    x236 - x655 <= 0;

e344:    x237 - x656 <= 0;

e345:    x237 - x657 <= 0;

e346:    x102 - x658 <= 0;

e347:    x102 - x659 <= 0;

e348:    x103 - x660 <= 0;

e349:    x103 - x661 <= 0;

e350:    x104 - x662 <= 0;

e351:    x104 - x663 <= 0;

e352:    x105 - x664 <= 0;

e353:    x105 - x665 <= 0;

e354:    x250 - x666 <= 0;

e355:    x250 - x667 <= 0;

e356:    x251 - x668 <= 0;

e357:    x251 - x669 <= 0;

e358:    x252 - x670 <= 0;

e359:    x252 - x671 <= 0;

e360:    x253 - x672 <= 0;

e361:    x253 - x673 <= 0;

e362:    x210 - x674 <= 0;

e363:    x210 - x675 <= 0;

e364:    x211 - x676 <= 0;

e365:    x211 - x677 <= 0;

e366:    x212 - x678 <= 0;

e367:    x212 - x679 <= 0;

e368:    x213 - x680 <= 0;

e369:    x213 - x681 <= 0;

e370:    x74 - x682 <= 0;

e371:    x74 - x683 <= 0;

e372:    x75 - x684 <= 0;

e373:    x75 - x685 <= 0;

e374:    x76 - x686 <= 0;

e375:    x76 - x687 <= 0;

e376:    x77 - x688 <= 0;

e377:    x77 - x689 <= 0;

e378:    x230 - x690 <= 0;

e379:    x230 - x691 <= 0;

e380:    x231 - x692 <= 0;

e381:    x231 - x693 <= 0;

e382:    x232 - x694 <= 0;

e383:    x232 - x695 <= 0;

e384:    x233 - x696 <= 0;

e385:    x233 - x697 <= 0;

e386:    x98 - x698 <= 0;

e387:    x98 - x699 <= 0;

e388:    x99 - x700 <= 0;

e389:    x99 - x701 <= 0;

e390:    x100 - x702 <= 0;

e391:    x100 - x703 <= 0;

e392:    x101 - x704 <= 0;

e393:    x101 - x705 <= 0;

e394:    x246 - x706 <= 0;

e395:    x246 - x707 <= 0;

e396:    x247 - x708 <= 0;

e397:    x247 - x709 <= 0;

e398:    x248 - x710 <= 0;

e399:    x248 - x711 <= 0;

e400:    x249 - x712 <= 0;

e401:    x249 - x713 <= 0;

e402:    x126 - x714 <= 0;

e403:    x126 - x715 <= 0;

e404:    x127 - x716 <= 0;

e405:    x127 - x717 <= 0;

e406:    x128 - x718 <= 0;

e407:    x128 - x719 <= 0;

e408:    x129 - x720 <= 0;

e409:    x129 - x721 <= 0;

e410:    x10 - x722 <= 0;

e411:    x10 - x723 <= 0;

e412:    x11 - x724 <= 0;

e413:    x11 - x725 <= 0;

e414:    x12 - x726 <= 0;

e415:    x12 - x727 <= 0;

e416:    x13 - x728 <= 0;

e417:    x13 - x729 <= 0;

e418:    x166 - x730 <= 0;

e419:    x166 - x731 <= 0;

e420:    x167 - x732 <= 0;

e421:    x167 - x733 <= 0;

e422:    x168 - x734 <= 0;

e423:    x168 - x735 <= 0;

e424:    x169 - x736 <= 0;

e425:    x169 - x737 <= 0;

e426:    x42 - x738 <= 0;

e427:    x42 - x739 <= 0;

e428:    x43 - x740 <= 0;

e429:    x43 - x741 <= 0;

e430:    x44 - x742 <= 0;

e431:    x44 - x743 <= 0;

e432:    x45 - x744 <= 0;

e433:    x45 - x745 <= 0;

e434:    x194 - x746 <= 0;

e435:    x194 - x747 <= 0;

e436:    x195 - x748 <= 0;

e437:    x195 - x749 <= 0;

e438:    x196 - x750 <= 0;

e439:    x196 - x751 <= 0;

e440:    x197 - x752 <= 0;

e441:    x197 - x753 <= 0;

e442:    x218 - x754 <= 0;

e443:    x218 - x755 <= 0;

e444:    x219 - x756 <= 0;

e445:    x219 - x757 <= 0;

e446:    x220 - x758 <= 0;

e447:    x220 - x759 <= 0;

e448:    x221 - x760 <= 0;

e449:    x221 - x761 <= 0;

e450:    x82 - x762 <= 0;

e451:    x82 - x763 <= 0;

e452:    x83 - x764 <= 0;

e453:    x83 - x765 <= 0;

e454:    x84 - x766 <= 0;

e455:    x84 - x767 <= 0;

e456:    x85 - x768 <= 0;

e457:    x85 - x769 <= 0;

e458:    x238 - x770 <= 0;

e459:    x238 - x771 <= 0;

e460:    x239 - x772 <= 0;

e461:    x239 - x773 <= 0;

e462:    x240 - x774 <= 0;

e463:    x240 - x775 <= 0;

e464:    x241 - x776 <= 0;

e465:    x241 - x777 <= 0;

e466:    x110 - x778 <= 0;

e467:    x110 - x779 <= 0;

e468:    x111 - x780 <= 0;

e469:    x111 - x781 <= 0;

e470:    x112 - x782 <= 0;

e471:    x112 - x783 <= 0;

e472:    x113 - x784 <= 0;

e473:    x113 - x785 <= 0;

e474:    x258 - x786 <= 0;

e475:    x258 - x787 <= 0;

e476:    x259 - x788 <= 0;

e477:    x259 - x789 <= 0;

e478:    x260 - x790 <= 0;

e479:    x260 - x791 <= 0;

e480:    x261 - x792 <= 0;

e481:    x261 - x793 <= 0;

e482:    x138 - x794 <= 0;

e483:    x138 - x795 <= 0;

e484:    x139 - x796 <= 0;

e485:    x139 - x797 <= 0;

e486:    x140 - x798 <= 0;

e487:    x140 - x799 <= 0;

e488:    x141 - x800 <= 0;

e489:    x141 - x801 <= 0;

e490:    x18 - x802 <= 0;

e491:    x18 - x803 <= 0;

e492:    x19 - x804 <= 0;

e493:    x19 - x805 <= 0;

e494:    x20 - x806 <= 0;

e495:    x20 - x807 <= 0;

e496:    x21 - x808 <= 0;

e497:    x21 - x809 <= 0;

e498:    x174 - x810 <= 0;

e499:    x174 - x811 <= 0;

e500:    x175 - x812 <= 0;

e501:    x175 - x813 <= 0;

e502:    x176 - x814 <= 0;

e503:    x176 - x815 <= 0;

e504:    x177 - x816 <= 0;

e505:    x177 - x817 <= 0;

e506:    x50 - x818 <= 0;

e507:    x50 - x819 <= 0;

e508:    x51 - x820 <= 0;

e509:    x51 - x821 <= 0;

e510:    x52 - x822 <= 0;

e511:    x52 - x823 <= 0;

e512:    x53 - x824 <= 0;

e513:    x53 - x825 <= 0;

e514:    x202 - x826 <= 0;

e515:    x202 - x827 <= 0;

e516:    x203 - x828 <= 0;

e517:    x203 - x829 <= 0;

e518:    x204 - x830 <= 0;

e519:    x204 - x831 <= 0;

e520:    x205 - x832 <= 0;

e521:    x205 - x833 <= 0;

e522:    x150 - x834 <= 0;

e523:    x150 - x835 <= 0;

e524:    x151 - x836 <= 0;

e525:    x151 - x837 <= 0;

e526:    x152 - x838 <= 0;

e527:    x152 - x839 <= 0;

e528:    x153 - x840 <= 0;

e529:    x153 - x841 <= 0;

e530:  - x2 - x6 - x10 - x14 - x18 - x22 - x26 - x30 - x34 - x38 - x42 - x46
       - x50 - x54 - x58 - x62 - x66 - x70 - x74 - x78 - x82 - x86 - x90 - x94
       - x98 - x102 - x106 - x110 - x114 - x118 - x122 - x126 - x130 - x134
       - x138 - x142 - x146 - x150 - x154 - x158 - x162 - x166 - x170 - x174
       - x178 - x182 - x186 - x190 - x194 - x198 - x202 - x206 - x210 - x214
       - x218 - x222 - x226 - x230 - x234 - x238 - x242 - x246 - x250 - x254
       - x258 - x262 + x314 + x315 + x322 + x323 + x330 + x331 + x338 + x339
       + x346 + x347 + x354 + x355 + x362 + x363 + x370 + x371 + x378 + x379
       + x386 + x387 + x394 + x395 + x402 + x403 + x410 + x411 + x418 + x419
       + x426 + x427 + x434 + x435 + x442 + x443 + x450 + x451 + x458 + x459
       + x466 + x467 + x474 + x475 + x482 + x483 + x490 + x491 + x498 + x499
       + x506 + x507 + x514 + x515 + x522 + x523 + x530 + x531 + x538 + x539
       + x546 + x547 + x554 + x555 + x562 + x563 + x570 + x571 + x578 + x579
       + x586 + x587 + x594 + x595 + x602 + x603 + x610 + x611 + x618 + x619
       + x626 + x627 + x634 + x635 + x642 + x643 + x650 + x651 + x658 + x659
       + x666 + x667 + x674 + x675 + x682 + x683 + x690 + x691 + x698 + x699
       + x706 + x707 + x714 + x715 + x722 + x723 + x730 + x731 + x738 + x739
       + x746 + x747 + x754 + x755 + x762 + x763 + x770 + x771 + x778 + x779
       + x786 + x787 + x794 + x795 + x802 + x803 + x810 + x811 + x818 + x819
       + x826 + x827 + x834 + x835 <= 48;

e531:  - x3 - x7 - x11 - x15 - x19 - x23 - x27 - x31 - x35 - x39 - x43 - x47
       - x51 - x55 - x59 - x63 - x67 - x71 - x75 - x79 - x83 - x87 - x91 - x95
       - x99 - x103 - x107 - x111 - x115 - x119 - x123 - x127 - x131 - x135
       - x139 - x143 - x147 - x151 - x155 - x159 - x163 - x167 - x171 - x175
       - x179 - x183 - x187 - x191 - x195 - x199 - x203 - x207 - x211 - x215
       - x219 - x223 - x227 - x231 - x235 - x239 - x243 - x247 - x251 - x255
       - x259 - x263 + x316 + x317 + x324 + x325 + x332 + x333 + x340 + x341
       + x348 + x349 + x356 + x357 + x364 + x365 + x372 + x373 + x380 + x381
       + x388 + x389 + x396 + x397 + x404 + x405 + x412 + x413 + x420 + x421
       + x428 + x429 + x436 + x437 + x444 + x445 + x452 + x453 + x460 + x461
       + x468 + x469 + x476 + x477 + x484 + x485 + x492 + x493 + x500 + x501
       + x508 + x509 + x516 + x517 + x524 + x525 + x532 + x533 + x540 + x541
       + x548 + x549 + x556 + x557 + x564 + x565 + x572 + x573 + x580 + x581
       + x588 + x589 + x596 + x597 + x604 + x605 + x612 + x613 + x620 + x621
       + x628 + x629 + x636 + x637 + x644 + x645 + x652 + x653 + x660 + x661
       + x668 + x669 + x676 + x677 + x684 + x685 + x692 + x693 + x700 + x701
       + x708 + x709 + x716 + x717 + x724 + x725 + x732 + x733 + x740 + x741
       + x748 + x749 + x756 + x757 + x764 + x765 + x772 + x773 + x780 + x781
       + x788 + x789 + x796 + x797 + x804 + x805 + x812 + x813 + x820 + x821
       + x828 + x829 + x836 + x837 <= 48;

e532:  - x4 - x8 - x12 - x16 - x20 - x24 - x28 - x32 - x36 - x40 - x44 - x48
       - x52 - x56 - x60 - x64 - x68 - x72 - x76 - x80 - x84 - x88 - x92 - x96
       - x100 - x104 - x108 - x112 - x116 - x120 - x124 - x128 - x132 - x136
       - x140 - x144 - x148 - x152 - x156 - x160 - x164 - x168 - x172 - x176
       - x180 - x184 - x188 - x192 - x196 - x200 - x204 - x208 - x212 - x216
       - x220 - x224 - x228 - x232 - x236 - x240 - x244 - x248 - x252 - x256
       - x260 - x264 + x318 + x319 + x326 + x327 + x334 + x335 + x342 + x343
       + x350 + x351 + x358 + x359 + x366 + x367 + x374 + x375 + x382 + x383
       + x390 + x391 + x398 + x399 + x406 + x407 + x414 + x415 + x422 + x423
       + x430 + x431 + x438 + x439 + x446 + x447 + x454 + x455 + x462 + x463
       + x470 + x471 + x478 + x479 + x486 + x487 + x494 + x495 + x502 + x503
       + x510 + x511 + x518 + x519 + x526 + x527 + x534 + x535 + x542 + x543
       + x550 + x551 + x558 + x559 + x566 + x567 + x574 + x575 + x582 + x583
       + x590 + x591 + x598 + x599 + x606 + x607 + x614 + x615 + x622 + x623
       + x630 + x631 + x638 + x639 + x646 + x647 + x654 + x655 + x662 + x663
       + x670 + x671 + x678 + x679 + x686 + x687 + x694 + x695 + x702 + x703
       + x710 + x711 + x718 + x719 + x726 + x727 + x734 + x735 + x742 + x743
       + x750 + x751 + x758 + x759 + x766 + x767 + x774 + x775 + x782 + x783
       + x790 + x791 + x798 + x799 + x806 + x807 + x814 + x815 + x822 + x823
       + x830 + x831 + x838 + x839 <= 48;

e533:  - x5 - x9 - x13 - x17 - x21 - x25 - x29 - x33 - x37 - x41 - x45 - x49
       - x53 - x57 - x61 - x65 - x69 - x73 - x77 - x81 - x85 - x89 - x93 - x97
       - x101 - x105 - x109 - x113 - x117 - x121 - x125 - x129 - x133 - x137
       - x141 - x145 - x149 - x153 - x157 - x161 - x165 - x169 - x173 - x177
       - x181 - x185 - x189 - x193 - x197 - x201 - x205 - x209 - x213 - x217
       - x221 - x225 - x229 - x233 - x237 - x241 - x245 - x249 - x253 - x257
       - x261 - x265 + x320 + x321 + x328 + x329 + x336 + x337 + x344 + x345
       + x352 + x353 + x360 + x361 + x368 + x369 + x376 + x377 + x384 + x385
       + x392 + x393 + x400 + x401 + x408 + x409 + x416 + x417 + x424 + x425
       + x432 + x433 + x440 + x441 + x448 + x449 + x456 + x457 + x464 + x465
       + x472 + x473 + x480 + x481 + x488 + x489 + x496 + x497 + x504 + x505
       + x512 + x513 + x520 + x521 + x528 + x529 + x536 + x537 + x544 + x545
       + x552 + x553 + x560 + x561 + x568 + x569 + x576 + x577 + x584 + x585
       + x592 + x593 + x600 + x601 + x608 + x609 + x616 + x617 + x624 + x625
       + x632 + x633 + x640 + x641 + x648 + x649 + x656 + x657 + x664 + x665
       + x672 + x673 + x680 + x681 + x688 + x689 + x696 + x697 + x704 + x705
       + x712 + x713 + x720 + x721 + x728 + x729 + x736 + x737 + x744 + x745
       + x752 + x753 + x760 + x761 + x768 + x769 + x776 + x777 + x784 + x785
       + x792 + x793 + x800 + x801 + x808 + x809 + x816 + x817 + x824 + x825
       + x832 + x833 + x840 + x841 <= 48;

e534:  - 0.26*b299 + x314 <= 0;

e535:  - 0.26*b284 + x315 <= 0;

e536:  - 0.26*b311 + x316 <= 0;

e537:  - 0.26*b269 + x317 <= 0;

e538:  - 0.26*b294 + x318 <= 0;

e539:  - 0.26*b293 + x319 <= 0;

e540:  - 0.26*b310 + x320 <= 0;

e541:  - 0.26*b268 + x321 <= 0;

e542:  - 2.73*b299 + x322 <= 0;

e543:  - 2.73*b304 + x323 <= 0;

e544:  - 2.73*b311 + x324 <= 0;

e545:  - 2.73*b271 + x325 <= 0;

e546:  - 2.73*b294 + x326 <= 0;

e547:  - 2.73*b286 + x327 <= 0;

e548:  - 2.73*b310 + x328 <= 0;

e549:  - 2.73*b295 + x329 <= 0;

e550:  - 3.77*b284 + x330 <= 0;

e551:  - 3.77*b304 + x331 <= 0;

e552:  - 3.77*b269 + x332 <= 0;

e553:  - 3.77*b271 + x333 <= 0;

e554:  - 3.77*b293 + x334 <= 0;

e555:  - 3.77*b286 + x335 <= 0;

e556:  - 3.77*b268 + x336 <= 0;

e557:  - 3.77*b295 + x337 <= 0;

e558:  - 0.26*b299 + x338 <= 0;

e559:  - 0.26*b290 + x339 <= 0;

e560:  - 0.26*b311 + x340 <= 0;

e561:  - 0.26*b306 + x341 <= 0;

e562:  - 0.26*b294 + x342 <= 0;

e563:  - 0.26*b267 + x343 <= 0;

e564:  - 0.26*b310 + x344 <= 0;

e565:  - 0.26*b279 + x345 <= 0;

e566:  - 0.52*b284 + x346 <= 0;

e567:  - 0.52*b290 + x347 <= 0;

e568:  - 0.52*b269 + x348 <= 0;

e569:  - 0.52*b306 + x349 <= 0;

e570:  - 0.52*b293 + x350 <= 0;

e571:  - 0.52*b267 + x351 <= 0;

e572:  - 0.52*b268 + x352 <= 0;

e573:  - 0.52*b279 + x353 <= 0;

e574:  - 4.16*b304 + x354 <= 0;

e575:  - 4.16*b290 + x355 <= 0;

e576:  - 4.16*b271 + x356 <= 0;

e577:  - 4.16*b306 + x357 <= 0;

e578:  - 4.16*b286 + x358 <= 0;

e579:  - 4.16*b267 + x359 <= 0;

e580:  - 4.16*b295 + x360 <= 0;

e581:  - 4.16*b279 + x361 <= 0;

e582:  - 0.52*b299 + x362 <= 0;

e583:  - 0.52*b288 + x363 <= 0;

e584:  - 0.52*b311 + x364 <= 0;

e585:  - 0.52*b305 + x365 <= 0;

e586:  - 0.52*b294 + x366 <= 0;

e587:  - 0.52*b287 + x367 <= 0;

e588:  - 0.52*b310 + x368 <= 0;

e589:  - 0.52*b300 + x369 <= 0;

e590:  - 2.34*b284 + x370 <= 0;

e591:  - 2.34*b288 + x371 <= 0;

e592:  - 2.34*b269 + x372 <= 0;

e593:  - 2.34*b305 + x373 <= 0;

e594:  - 2.34*b293 + x374 <= 0;

e595:  - 2.34*b287 + x375 <= 0;

e596:  - 2.34*b268 + x376 <= 0;

e597:  - 2.34*b300 + x377 <= 0;

e598:  - 22.23*b304 + x378 <= 0;

e599:  - 22.23*b288 + x379 <= 0;

e600:  - 22.23*b271 + x380 <= 0;

e601:  - 22.23*b305 + x381 <= 0;

e602:  - 22.23*b286 + x382 <= 0;

e603:  - 22.23*b287 + x383 <= 0;

e604:  - 22.23*b295 + x384 <= 0;

e605:  - 22.23*b300 + x385 <= 0;

e606:  - 3.64*b290 + x386 <= 0;

e607:  - 3.64*b288 + x387 <= 0;

e608:  - 3.64*b306 + x388 <= 0;

e609:  - 3.64*b305 + x389 <= 0;

e610:  - 3.64*b267 + x390 <= 0;

e611:  - 3.64*b287 + x391 <= 0;

e612:  - 3.64*b279 + x392 <= 0;

e613:  - 3.64*b300 + x393 <= 0;

e614:  - 0.26*b299 + x394 <= 0;

e615:  - 0.26*b281 + x395 <= 0;

e616:  - 0.26*b311 + x396 <= 0;

e617:  - 0.26*b291 + x397 <= 0;

e618:  - 0.26*b294 + x398 <= 0;

e619:  - 0.26*b307 + x399 <= 0;

e620:  - 0.26*b310 + x400 <= 0;

e621:  - 0.26*b285 + x401 <= 0;

e622:  - 0.26*b284 + x402 <= 0;

e623:  - 0.26*b281 + x403 <= 0;

e624:  - 0.26*b269 + x404 <= 0;

e625:  - 0.26*b291 + x405 <= 0;

e626:  - 0.26*b293 + x406 <= 0;

e627:  - 0.26*b307 + x407 <= 0;

e628:  - 0.26*b268 + x408 <= 0;

e629:  - 0.26*b285 + x409 <= 0;

e630:  - 2.73*b304 + x410 <= 0;

e631:  - 2.73*b281 + x411 <= 0;

e632:  - 2.73*b271 + x412 <= 0;

e633:  - 2.73*b291 + x413 <= 0;

e634:  - 2.73*b286 + x414 <= 0;

e635:  - 2.73*b307 + x415 <= 0;

e636:  - 2.73*b295 + x416 <= 0;

e637:  - 2.73*b285 + x417 <= 0;

e638:  - 0.26*b290 + x418 <= 0;

e639:  - 0.26*b281 + x419 <= 0;

e640:  - 0.26*b306 + x420 <= 0;

e641:  - 0.26*b291 + x421 <= 0;

e642:  - 0.26*b267 + x422 <= 0;

e643:  - 0.26*b307 + x423 <= 0;

e644:  - 0.26*b279 + x424 <= 0;

e645:  - 0.26*b285 + x425 <= 0;

e646:  - 0.52*b288 + x426 <= 0;

e647:  - 0.52*b281 + x427 <= 0;

e648:  - 0.52*b305 + x428 <= 0;

e649:  - 0.52*b291 + x429 <= 0;

e650:  - 0.52*b287 + x430 <= 0;

e651:  - 0.52*b307 + x431 <= 0;

e652:  - 0.52*b300 + x432 <= 0;

e653:  - 0.52*b285 + x433 <= 0;

e654:  - 0.26*b299 + x434 <= 0;

e655:  - 0.26*b313 + x435 <= 0;

e656:  - 0.26*b311 + x436 <= 0;

e657:  - 0.26*b274 + x437 <= 0;

e658:  - 0.26*b294 + x438 <= 0;

e659:  - 0.26*b266 + x439 <= 0;

e660:  - 0.26*b310 + x440 <= 0;

e661:  - 0.26*b283 + x441 <= 0;

e662:  - 0.26*b284 + x442 <= 0;

e663:  - 0.26*b313 + x443 <= 0;

e664:  - 0.26*b269 + x444 <= 0;

e665:  - 0.26*b274 + x445 <= 0;

e666:  - 0.26*b293 + x446 <= 0;

e667:  - 0.26*b266 + x447 <= 0;

e668:  - 0.26*b268 + x448 <= 0;

e669:  - 0.26*b283 + x449 <= 0;

e670:  - 3.38*b304 + x450 <= 0;

e671:  - 3.38*b313 + x451 <= 0;

e672:  - 3.38*b271 + x452 <= 0;

e673:  - 3.38*b274 + x453 <= 0;

e674:  - 3.38*b286 + x454 <= 0;

e675:  - 3.38*b266 + x455 <= 0;

e676:  - 3.38*b295 + x456 <= 0;

e677:  - 3.38*b283 + x457 <= 0;

e678:  - 0.26*b290 + x458 <= 0;

e679:  - 0.26*b313 + x459 <= 0;

e680:  - 0.26*b306 + x460 <= 0;

e681:  - 0.26*b274 + x461 <= 0;

e682:  - 0.26*b267 + x462 <= 0;

e683:  - 0.26*b266 + x463 <= 0;

e684:  - 0.26*b279 + x464 <= 0;

e685:  - 0.26*b283 + x465 <= 0;

e686:  - 1.82*b288 + x466 <= 0;

e687:  - 1.82*b313 + x467 <= 0;

e688:  - 1.82*b305 + x468 <= 0;

e689:  - 1.82*b274 + x469 <= 0;

e690:  - 1.82*b287 + x470 <= 0;

e691:  - 1.82*b266 + x471 <= 0;

e692:  - 1.82*b300 + x472 <= 0;

e693:  - 1.82*b283 + x473 <= 0;

e694:  - 0.26*b281 + x474 <= 0;

e695:  - 0.26*b313 + x475 <= 0;

e696:  - 0.26*b291 + x476 <= 0;

e697:  - 0.26*b274 + x477 <= 0;

e698:  - 0.26*b307 + x478 <= 0;

e699:  - 0.26*b266 + x479 <= 0;

e700:  - 0.26*b285 + x480 <= 0;

e701:  - 0.26*b283 + x481 <= 0;

e702:  - 0.26*b299 + x482 <= 0;

e703:  - 0.26*b282 + x483 <= 0;

e704:  - 0.26*b311 + x484 <= 0;

e705:  - 0.26*b296 + x485 <= 0;

e706:  - 0.26*b294 + x486 <= 0;

e707:  - 0.26*b308 + x487 <= 0;

e708:  - 0.26*b310 + x488 <= 0;

e709:  - 0.26*b276 + x489 <= 0;

e710:  - 0.26*b284 + x490 <= 0;

e711:  - 0.26*b282 + x491 <= 0;

e712:  - 0.26*b269 + x492 <= 0;

e713:  - 0.26*b296 + x493 <= 0;

e714:  - 0.26*b293 + x494 <= 0;

e715:  - 0.26*b308 + x495 <= 0;

e716:  - 0.26*b268 + x496 <= 0;

e717:  - 0.26*b276 + x497 <= 0;

e718:  - 3.38*b304 + x498 <= 0;

e719:  - 3.38*b282 + x499 <= 0;

e720:  - 3.38*b271 + x500 <= 0;

e721:  - 3.38*b296 + x501 <= 0;

e722:  - 3.38*b286 + x502 <= 0;

e723:  - 3.38*b308 + x503 <= 0;

e724:  - 3.38*b295 + x504 <= 0;

e725:  - 3.38*b276 + x505 <= 0;

e726:  - 0.26*b290 + x506 <= 0;

e727:  - 0.26*b282 + x507 <= 0;

e728:  - 0.26*b306 + x508 <= 0;

e729:  - 0.26*b296 + x509 <= 0;

e730:  - 0.26*b267 + x510 <= 0;

e731:  - 0.26*b308 + x511 <= 0;

e732:  - 0.26*b279 + x512 <= 0;

e733:  - 0.26*b276 + x513 <= 0;

e734:  - 1.82*b288 + x514 <= 0;

e735:  - 1.82*b282 + x515 <= 0;

e736:  - 1.82*b305 + x516 <= 0;

e737:  - 1.82*b296 + x517 <= 0;

e738:  - 1.82*b287 + x518 <= 0;

e739:  - 1.82*b308 + x519 <= 0;

e740:  - 1.82*b300 + x520 <= 0;

e741:  - 1.82*b276 + x521 <= 0;

e742:  - 0.26*b281 + x522 <= 0;

e743:  - 0.26*b282 + x523 <= 0;

e744:  - 0.26*b291 + x524 <= 0;

e745:  - 0.26*b296 + x525 <= 0;

e746:  - 0.26*b307 + x526 <= 0;

e747:  - 0.26*b308 + x527 <= 0;

e748:  - 0.26*b285 + x528 <= 0;

e749:  - 0.26*b276 + x529 <= 0;

e750:  - 0.26*b313 + x530 <= 0;

e751:  - 0.26*b282 + x531 <= 0;

e752:  - 0.26*b274 + x532 <= 0;

e753:  - 0.26*b296 + x533 <= 0;

e754:  - 0.26*b266 + x534 <= 0;

e755:  - 0.26*b308 + x535 <= 0;

e756:  - 0.26*b283 + x536 <= 0;

e757:  - 0.26*b276 + x537 <= 0;

e758:  - 2.73*b299 + x538 <= 0;

e759:  - 2.73*b303 + x539 <= 0;

e760:  - 2.73*b311 + x540 <= 0;

e761:  - 2.73*b280 + x541 <= 0;

e762:  - 2.73*b294 + x542 <= 0;

e763:  - 2.73*b302 + x543 <= 0;

e764:  - 2.73*b310 + x544 <= 0;

e765:  - 2.73*b312 + x545 <= 0;

e766:  - 3.51*b284 + x546 <= 0;

e767:  - 3.51*b303 + x547 <= 0;

e768:  - 3.51*b269 + x548 <= 0;

e769:  - 3.51*b280 + x549 <= 0;

e770:  - 3.51*b293 + x550 <= 0;

e771:  - 3.51*b302 + x551 <= 0;

e772:  - 3.51*b268 + x552 <= 0;

e773:  - 3.51*b312 + x553 <= 0;

e774:  - 0.26*b304 + x554 <= 0;

e775:  - 0.26*b303 + x555 <= 0;

e776:  - 0.26*b271 + x556 <= 0;

e777:  - 0.26*b280 + x557 <= 0;

e778:  - 0.26*b286 + x558 <= 0;

e779:  - 0.26*b302 + x559 <= 0;

e780:  - 0.26*b295 + x560 <= 0;

e781:  - 0.26*b312 + x561 <= 0;

e782:  - 3.9*b290 + x562 <= 0;

e783:  - 3.9*b303 + x563 <= 0;

e784:  - 3.9*b306 + x564 <= 0;

e785:  - 3.9*b280 + x565 <= 0;

e786:  - 3.9*b267 + x566 <= 0;

e787:  - 3.9*b302 + x567 <= 0;

e788:  - 3.9*b279 + x568 <= 0;

e789:  - 3.9*b312 + x569 <= 0;

e790:  - 19.37*b288 + x570 <= 0;

e791:  - 19.37*b303 + x571 <= 0;

e792:  - 19.37*b305 + x572 <= 0;

e793:  - 19.37*b280 + x573 <= 0;

e794:  - 19.37*b287 + x574 <= 0;

e795:  - 19.37*b302 + x575 <= 0;

e796:  - 19.37*b300 + x576 <= 0;

e797:  - 19.37*b312 + x577 <= 0;

e798:  - 2.73*b281 + x578 <= 0;

e799:  - 2.73*b303 + x579 <= 0;

e800:  - 2.73*b291 + x580 <= 0;

e801:  - 2.73*b280 + x581 <= 0;

e802:  - 2.73*b307 + x582 <= 0;

e803:  - 2.73*b302 + x583 <= 0;

e804:  - 2.73*b285 + x584 <= 0;

e805:  - 2.73*b312 + x585 <= 0;

e806:  - 3.38*b313 + x586 <= 0;

e807:  - 3.38*b303 + x587 <= 0;

e808:  - 3.38*b274 + x588 <= 0;

e809:  - 3.38*b280 + x589 <= 0;

e810:  - 3.38*b266 + x590 <= 0;

e811:  - 3.38*b302 + x591 <= 0;

e812:  - 3.38*b283 + x592 <= 0;

e813:  - 3.38*b312 + x593 <= 0;

e814:  - 3.38*b282 + x594 <= 0;

e815:  - 3.38*b303 + x595 <= 0;

e816:  - 3.38*b296 + x596 <= 0;

e817:  - 3.38*b280 + x597 <= 0;

e818:  - 3.38*b308 + x598 <= 0;

e819:  - 3.38*b302 + x599 <= 0;

e820:  - 3.38*b276 + x600 <= 0;

e821:  - 3.38*b312 + x601 <= 0;

e822:  - 0.26*b299 + x602 <= 0;

e823:  - 0.26*b289 + x603 <= 0;

e824:  - 0.26*b311 + x604 <= 0;

e825:  - 0.26*b278 + x605 <= 0;

e826:  - 0.26*b294 + x606 <= 0;

e827:  - 0.26*b301 + x607 <= 0;

e828:  - 0.26*b310 + x608 <= 0;

e829:  - 0.26*b277 + x609 <= 0;

e830:  - 0.52*b284 + x610 <= 0;

e831:  - 0.52*b289 + x611 <= 0;

e832:  - 0.52*b269 + x612 <= 0;

e833:  - 0.52*b278 + x613 <= 0;

e834:  - 0.52*b293 + x614 <= 0;

e835:  - 0.52*b301 + x615 <= 0;

e836:  - 0.52*b268 + x616 <= 0;

e837:  - 0.52*b277 + x617 <= 0;

e838:  - 4.94*b304 + x618 <= 0;

e839:  - 4.94*b289 + x619 <= 0;

e840:  - 4.94*b271 + x620 <= 0;

e841:  - 4.94*b278 + x621 <= 0;

e842:  - 4.94*b286 + x622 <= 0;

e843:  - 4.94*b301 + x623 <= 0;

e844:  - 4.94*b295 + x624 <= 0;

e845:  - 4.94*b277 + x625 <= 0;

e846:  - 1.04*b290 + x626 <= 0;

e847:  - 1.04*b289 + x627 <= 0;

e848:  - 1.04*b306 + x628 <= 0;

e849:  - 1.04*b278 + x629 <= 0;

e850:  - 1.04*b267 + x630 <= 0;

e851:  - 1.04*b301 + x631 <= 0;

e852:  - 1.04*b279 + x632 <= 0;

e853:  - 1.04*b277 + x633 <= 0;

e854:  - 7.28*b288 + x634 <= 0;

e855:  - 7.28*b289 + x635 <= 0;

e856:  - 7.28*b305 + x636 <= 0;

e857:  - 7.28*b278 + x637 <= 0;

e858:  - 7.28*b287 + x638 <= 0;

e859:  - 7.28*b301 + x639 <= 0;

e860:  - 7.28*b300 + x640 <= 0;

e861:  - 7.28*b277 + x641 <= 0;

e862:  - 0.26*b281 + x642 <= 0;

e863:  - 0.26*b289 + x643 <= 0;

e864:  - 0.26*b291 + x644 <= 0;

e865:  - 0.26*b278 + x645 <= 0;

e866:  - 0.26*b307 + x646 <= 0;

e867:  - 0.26*b301 + x647 <= 0;

e868:  - 0.26*b285 + x648 <= 0;

e869:  - 0.26*b277 + x649 <= 0;

e870:  - 0.26*b313 + x650 <= 0;

e871:  - 0.26*b289 + x651 <= 0;

e872:  - 0.26*b274 + x652 <= 0;

e873:  - 0.26*b278 + x653 <= 0;

e874:  - 0.26*b266 + x654 <= 0;

e875:  - 0.26*b301 + x655 <= 0;

e876:  - 0.26*b283 + x656 <= 0;

e877:  - 0.26*b277 + x657 <= 0;

e878:  - 0.52*b282 + x658 <= 0;

e879:  - 0.52*b289 + x659 <= 0;

e880:  - 0.52*b296 + x660 <= 0;

e881:  - 0.52*b278 + x661 <= 0;

e882:  - 0.52*b308 + x662 <= 0;

e883:  - 0.52*b301 + x663 <= 0;

e884:  - 0.52*b276 + x664 <= 0;

e885:  - 0.52*b277 + x665 <= 0;

e886:  - 4.42*b303 + x666 <= 0;

e887:  - 4.42*b289 + x667 <= 0;

e888:  - 4.42*b280 + x668 <= 0;

e889:  - 4.42*b278 + x669 <= 0;

e890:  - 4.42*b302 + x670 <= 0;

e891:  - 4.42*b301 + x671 <= 0;

e892:  - 4.42*b312 + x672 <= 0;

e893:  - 4.42*b277 + x673 <= 0;

e894:  - 0.26*b299 + x674 <= 0;

e895:  - 0.26*b275 + x675 <= 0;

e896:  - 0.26*b311 + x676 <= 0;

e897:  - 0.26*b298 + x677 <= 0;

e898:  - 0.26*b294 + x678 <= 0;

e899:  - 0.26*b309 + x679 <= 0;

e900:  - 0.26*b310 + x680 <= 0;

e901:  - 0.26*b270 + x681 <= 0;

e902:  - 0.26*b284 + x682 <= 0;

e903:  - 0.26*b275 + x683 <= 0;

e904:  - 0.26*b269 + x684 <= 0;

e905:  - 0.26*b298 + x685 <= 0;

e906:  - 0.26*b293 + x686 <= 0;

e907:  - 0.26*b309 + x687 <= 0;

e908:  - 0.26*b268 + x688 <= 0;

e909:  - 0.26*b270 + x689 <= 0;

e910:  - 3.51*b304 + x690 <= 0;

e911:  - 3.51*b275 + x691 <= 0;

e912:  - 3.51*b271 + x692 <= 0;

e913:  - 3.51*b298 + x693 <= 0;

e914:  - 3.51*b286 + x694 <= 0;

e915:  - 3.51*b309 + x695 <= 0;

e916:  - 3.51*b295 + x696 <= 0;

e917:  - 3.51*b270 + x697 <= 0;

e918:  - 0.26*b290 + x698 <= 0;

e919:  - 0.26*b275 + x699 <= 0;

e920:  - 0.26*b306 + x700 <= 0;

e921:  - 0.26*b298 + x701 <= 0;

e922:  - 0.26*b267 + x702 <= 0;

e923:  - 0.26*b309 + x703 <= 0;

e924:  - 0.26*b279 + x704 <= 0;

e925:  - 0.26*b270 + x705 <= 0;

e926:  - 1.3*b288 + x706 <= 0;

e927:  - 1.3*b275 + x707 <= 0;

e928:  - 1.3*b305 + x708 <= 0;

e929:  - 1.3*b298 + x709 <= 0;

e930:  - 1.3*b287 + x710 <= 0;

e931:  - 1.3*b309 + x711 <= 0;

e932:  - 1.3*b300 + x712 <= 0;

e933:  - 1.3*b270 + x713 <= 0;

e934:  - 0.26*b281 + x714 <= 0;

e935:  - 0.26*b275 + x715 <= 0;

e936:  - 0.26*b291 + x716 <= 0;

e937:  - 0.26*b298 + x717 <= 0;

e938:  - 0.26*b307 + x718 <= 0;

e939:  - 0.26*b309 + x719 <= 0;

e940:  - 0.26*b285 + x720 <= 0;

e941:  - 0.26*b270 + x721 <= 0;

e942:  - 0.26*b313 + x722 <= 0;

e943:  - 0.26*b275 + x723 <= 0;

e944:  - 0.26*b274 + x724 <= 0;

e945:  - 0.26*b298 + x725 <= 0;

e946:  - 0.26*b266 + x726 <= 0;

e947:  - 0.26*b309 + x727 <= 0;

e948:  - 0.26*b283 + x728 <= 0;

e949:  - 0.26*b270 + x729 <= 0;

e950:  - 0.26*b282 + x730 <= 0;

e951:  - 0.26*b275 + x731 <= 0;

e952:  - 0.26*b296 + x732 <= 0;

e953:  - 0.26*b298 + x733 <= 0;

e954:  - 0.26*b308 + x734 <= 0;

e955:  - 0.26*b309 + x735 <= 0;

e956:  - 0.26*b276 + x736 <= 0;

e957:  - 0.26*b270 + x737 <= 0;

e958:  - 3.51*b303 + x738 <= 0;

e959:  - 3.51*b275 + x739 <= 0;

e960:  - 3.51*b280 + x740 <= 0;

e961:  - 3.51*b298 + x741 <= 0;

e962:  - 3.51*b302 + x742 <= 0;

e963:  - 3.51*b309 + x743 <= 0;

e964:  - 3.51*b312 + x744 <= 0;

e965:  - 3.51*b270 + x745 <= 0;

e966:  - 0.52*b289 + x746 <= 0;

e967:  - 0.52*b275 + x747 <= 0;

e968:  - 0.52*b278 + x748 <= 0;

e969:  - 0.52*b298 + x749 <= 0;

e970:  - 0.52*b301 + x750 <= 0;

e971:  - 0.52*b309 + x751 <= 0;

e972:  - 0.52*b277 + x752 <= 0;

e973:  - 0.52*b270 + x753 <= 0;

e974:  - 0.26*b299 + x754 <= 0;

e975:  - 0.26*b273 + x755 <= 0;

e976:  - 0.26*b311 + x756 <= 0;

e977:  - 0.26*b297 + x757 <= 0;

e978:  - 0.26*b294 + x758 <= 0;

e979:  - 0.26*b272 + x759 <= 0;

e980:  - 0.26*b310 + x760 <= 0;

e981:  - 0.26*b292 + x761 <= 0;

e982:  - 0.26*b284 + x762 <= 0;

e983:  - 0.26*b273 + x763 <= 0;

e984:  - 0.26*b269 + x764 <= 0;

e985:  - 0.26*b297 + x765 <= 0;

e986:  - 0.26*b293 + x766 <= 0;

e987:  - 0.26*b272 + x767 <= 0;

e988:  - 0.26*b268 + x768 <= 0;

e989:  - 0.26*b292 + x769 <= 0;

e990:  - 3.12*b304 + x770 <= 0;

e991:  - 3.12*b273 + x771 <= 0;

e992:  - 3.12*b271 + x772 <= 0;

e993:  - 3.12*b297 + x773 <= 0;

e994:  - 3.12*b286 + x774 <= 0;

e995:  - 3.12*b272 + x775 <= 0;

e996:  - 3.12*b295 + x776 <= 0;

e997:  - 3.12*b292 + x777 <= 0;

e998:  - 0.26*b290 + x778 <= 0;

e999:  - 0.26*b273 + x779 <= 0;

e1000:  - 0.26*b306 + x780 <= 0;

e1001:  - 0.26*b297 + x781 <= 0;

e1002:  - 0.26*b267 + x782 <= 0;

e1003:  - 0.26*b272 + x783 <= 0;

e1004:  - 0.26*b279 + x784 <= 0;

e1005:  - 0.26*b292 + x785 <= 0;

e1006:  - 0.78*b288 + x786 <= 0;

e1007:  - 0.78*b273 + x787 <= 0;

e1008:  - 0.78*b305 + x788 <= 0;

e1009:  - 0.78*b297 + x789 <= 0;

e1010:  - 0.78*b287 + x790 <= 0;

e1011:  - 0.78*b272 + x791 <= 0;

e1012:  - 0.78*b300 + x792 <= 0;

e1013:  - 0.78*b292 + x793 <= 0;

e1014:  - 0.26*b281 + x794 <= 0;

e1015:  - 0.26*b273 + x795 <= 0;

e1016:  - 0.26*b291 + x796 <= 0;

e1017:  - 0.26*b297 + x797 <= 0;

e1018:  - 0.26*b307 + x798 <= 0;

e1019:  - 0.26*b272 + x799 <= 0;

e1020:  - 0.26*b285 + x800 <= 0;

e1021:  - 0.26*b292 + x801 <= 0;

e1022:  - 0.26*b313 + x802 <= 0;

e1023:  - 0.26*b273 + x803 <= 0;

e1024:  - 0.26*b274 + x804 <= 0;

e1025:  - 0.26*b297 + x805 <= 0;

e1026:  - 0.26*b266 + x806 <= 0;

e1027:  - 0.26*b272 + x807 <= 0;

e1028:  - 0.26*b283 + x808 <= 0;

e1029:  - 0.26*b292 + x809 <= 0;

e1030:  - 0.26*b282 + x810 <= 0;

e1031:  - 0.26*b273 + x811 <= 0;

e1032:  - 0.26*b296 + x812 <= 0;

e1033:  - 0.26*b297 + x813 <= 0;

e1034:  - 0.26*b308 + x814 <= 0;

e1035:  - 0.26*b272 + x815 <= 0;

e1036:  - 0.26*b276 + x816 <= 0;

e1037:  - 0.26*b292 + x817 <= 0;

e1038:  - 3.12*b303 + x818 <= 0;

e1039:  - 3.12*b273 + x819 <= 0;

e1040:  - 3.12*b280 + x820 <= 0;

e1041:  - 3.12*b297 + x821 <= 0;

e1042:  - 3.12*b302 + x822 <= 0;

e1043:  - 3.12*b272 + x823 <= 0;

e1044:  - 3.12*b312 + x824 <= 0;

e1045:  - 3.12*b292 + x825 <= 0;

e1046:  - 0.52*b289 + x826 <= 0;

e1047:  - 0.52*b273 + x827 <= 0;

e1048:  - 0.52*b278 + x828 <= 0;

e1049:  - 0.52*b297 + x829 <= 0;

e1050:  - 0.52*b301 + x830 <= 0;

e1051:  - 0.52*b272 + x831 <= 0;

e1052:  - 0.52*b277 + x832 <= 0;

e1053:  - 0.52*b292 + x833 <= 0;

e1054:  - 0.26*b275 + x834 <= 0;

e1055:  - 0.26*b273 + x835 <= 0;

e1056:  - 0.26*b298 + x836 <= 0;

e1057:  - 0.26*b297 + x837 <= 0;

e1058:  - 0.26*b309 + x838 <= 0;

e1059:  - 0.26*b272 + x839 <= 0;

e1060:  - 0.26*b270 + x840 <= 0;

e1061:  - 0.26*b292 + x841 <= 0;

e1062:    x314 + x316 + x318 + x320 = 0.26;

e1063:    x322 + x324 + x326 + x328 = 2.73;

e1064:    x330 + x332 + x334 + x336 = 3.77;

e1065:    x338 + x340 + x342 + x344 = 0.26;

e1066:    x346 + x348 + x350 + x352 = 0.52;

e1067:    x354 + x356 + x358 + x360 = 4.16;

e1068:    x362 + x364 + x366 + x368 = 0.52;

e1069:    x370 + x372 + x374 + x376 = 2.34;

e1070:    x378 + x380 + x382 + x384 = 22.23;

e1071:    x386 + x388 + x390 + x392 = 3.64;

e1072:    x394 + x396 + x398 + x400 = 0.26;

e1073:    x402 + x404 + x406 + x408 = 0.26;

e1074:    x410 + x412 + x414 + x416 = 2.73;

e1075:    x418 + x420 + x422 + x424 = 0.26;

e1076:    x426 + x428 + x430 + x432 = 0.52;

e1077:    x434 + x436 + x438 + x440 = 0.26;

e1078:    x442 + x444 + x446 + x448 = 0.26;

e1079:    x450 + x452 + x454 + x456 = 3.38;

e1080:    x458 + x460 + x462 + x464 = 0.26;

e1081:    x466 + x468 + x470 + x472 = 1.82;

e1082:    x474 + x476 + x478 + x480 = 0.26;

e1083:    x482 + x484 + x486 + x488 = 0.26;

e1084:    x490 + x492 + x494 + x496 = 0.26;

e1085:    x498 + x500 + x502 + x504 = 3.38;

e1086:    x506 + x508 + x510 + x512 = 0.26;

e1087:    x514 + x516 + x518 + x520 = 1.82;

e1088:    x522 + x524 + x526 + x528 = 0.26;

e1089:    x530 + x532 + x534 + x536 = 0.26;

e1090:    x538 + x540 + x542 + x544 = 2.73;

e1091:    x546 + x548 + x550 + x552 = 3.51;

e1092:    x554 + x556 + x558 + x560 = 0.26;

e1093:    x562 + x564 + x566 + x568 = 3.9;

e1094:    x570 + x572 + x574 + x576 = 19.37;

e1095:    x578 + x580 + x582 + x584 = 2.73;

e1096:    x586 + x588 + x590 + x592 = 3.38;

e1097:    x594 + x596 + x598 + x600 = 3.38;

e1098:    x602 + x604 + x606 + x608 = 0.26;

e1099:    x610 + x612 + x614 + x616 = 0.52;

e1100:    x618 + x620 + x622 + x624 = 4.94;

e1101:    x626 + x628 + x630 + x632 = 1.04;

e1102:    x634 + x636 + x638 + x640 = 7.28;

e1103:    x642 + x644 + x646 + x648 = 0.26;

e1104:    x650 + x652 + x654 + x656 = 0.26;

e1105:    x658 + x660 + x662 + x664 = 0.52;

e1106:    x666 + x668 + x670 + x672 = 4.42;

e1107:    x674 + x676 + x678 + x680 = 0.26;

e1108:    x682 + x684 + x686 + x688 = 0.26;

e1109:    x690 + x692 + x694 + x696 = 3.51;

e1110:    x698 + x700 + x702 + x704 = 0.26;

e1111:    x706 + x708 + x710 + x712 = 1.3;

e1112:    x714 + x716 + x718 + x720 = 0.26;

e1113:    x722 + x724 + x726 + x728 = 0.26;

e1114:    x730 + x732 + x734 + x736 = 0.26;

e1115:    x738 + x740 + x742 + x744 = 3.51;

e1116:    x746 + x748 + x750 + x752 = 0.52;

e1117:    x754 + x756 + x758 + x760 = 0.26;

e1118:    x762 + x764 + x766 + x768 = 0.26;

e1119:    x770 + x772 + x774 + x776 = 3.12;

e1120:    x778 + x780 + x782 + x784 = 0.26;

e1121:    x786 + x788 + x790 + x792 = 0.78;

e1122:    x794 + x796 + x798 + x800 = 0.26;

e1123:    x802 + x804 + x806 + x808 = 0.26;

e1124:    x810 + x812 + x814 + x816 = 0.26;

e1125:    x818 + x820 + x822 + x824 = 3.12;

e1126:    x826 + x828 + x830 + x832 = 0.52;

e1127:    x834 + x836 + x838 + x840 = 0.26;

e1128:    x315 + x317 + x319 + x321 = 0.26;

e1129:    x323 + x325 + x327 + x329 = 2.73;

e1130:    x331 + x333 + x335 + x337 = 3.77;

e1131:    x339 + x341 + x343 + x345 = 0.26;

e1132:    x347 + x349 + x351 + x353 = 0.52;

e1133:    x355 + x357 + x359 + x361 = 4.16;

e1134:    x363 + x365 + x367 + x369 = 0.52;

e1135:    x371 + x373 + x375 + x377 = 2.34;

e1136:    x379 + x381 + x383 + x385 = 22.23;

e1137:    x387 + x389 + x391 + x393 = 3.64;

e1138:    x395 + x397 + x399 + x401 = 0.26;

e1139:    x403 + x405 + x407 + x409 = 0.26;

e1140:    x411 + x413 + x415 + x417 = 2.73;

e1141:    x419 + x421 + x423 + x425 = 0.26;

e1142:    x427 + x429 + x431 + x433 = 0.52;

e1143:    x435 + x437 + x439 + x441 = 0.26;

e1144:    x443 + x445 + x447 + x449 = 0.26;

e1145:    x451 + x453 + x455 + x457 = 3.38;

e1146:    x459 + x461 + x463 + x465 = 0.26;

e1147:    x467 + x469 + x471 + x473 = 1.82;

e1148:    x475 + x477 + x479 + x481 = 0.26;

e1149:    x483 + x485 + x487 + x489 = 0.26;

e1150:    x491 + x493 + x495 + x497 = 0.26;

e1151:    x499 + x501 + x503 + x505 = 3.38;

e1152:    x507 + x509 + x511 + x513 = 0.26;

e1153:    x515 + x517 + x519 + x521 = 1.82;

e1154:    x523 + x525 + x527 + x529 = 0.26;

e1155:    x531 + x533 + x535 + x537 = 0.26;

e1156:    x539 + x541 + x543 + x545 = 2.73;

e1157:    x547 + x549 + x551 + x553 = 3.51;

e1158:    x555 + x557 + x559 + x561 = 0.26;

e1159:    x563 + x565 + x567 + x569 = 3.9;

e1160:    x571 + x573 + x575 + x577 = 19.37;

e1161:    x579 + x581 + x583 + x585 = 2.73;

e1162:    x587 + x589 + x591 + x593 = 3.38;

e1163:    x595 + x597 + x599 + x601 = 3.38;

e1164:    x603 + x605 + x607 + x609 = 0.26;

e1165:    x611 + x613 + x615 + x617 = 0.52;

e1166:    x619 + x621 + x623 + x625 = 4.94;

e1167:    x627 + x629 + x631 + x633 = 1.04;

e1168:    x635 + x637 + x639 + x641 = 7.28;

e1169:    x643 + x645 + x647 + x649 = 0.26;

e1170:    x651 + x653 + x655 + x657 = 0.26;

e1171:    x659 + x661 + x663 + x665 = 0.52;

e1172:    x667 + x669 + x671 + x673 = 4.42;

e1173:    x675 + x677 + x679 + x681 = 0.26;

e1174:    x683 + x685 + x687 + x689 = 0.26;

e1175:    x691 + x693 + x695 + x697 = 3.51;

e1176:    x699 + x701 + x703 + x705 = 0.26;

e1177:    x707 + x709 + x711 + x713 = 1.3;

e1178:    x715 + x717 + x719 + x721 = 0.26;

e1179:    x723 + x725 + x727 + x729 = 0.26;

e1180:    x731 + x733 + x735 + x737 = 0.26;

e1181:    x739 + x741 + x743 + x745 = 3.51;

e1182:    x747 + x749 + x751 + x753 = 0.52;

e1183:    x755 + x757 + x759 + x761 = 0.26;

e1184:    x763 + x765 + x767 + x769 = 0.26;

e1185:    x771 + x773 + x775 + x777 = 3.12;

e1186:    x779 + x781 + x783 + x785 = 0.26;

e1187:    x787 + x789 + x791 + x793 = 0.78;

e1188:    x795 + x797 + x799 + x801 = 0.26;

e1189:    x803 + x805 + x807 + x809 = 0.26;

e1190:    x811 + x813 + x815 + x817 = 0.26;

e1191:    x819 + x821 + x823 + x825 = 3.12;

e1192:    x827 + x829 + x831 + x833 = 0.52;

e1193:    x835 + x837 + x839 + x841 = 0.26;