#  MINLP written by GAMS Convert at 01/12/18 13:30:06
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        899      361      179      359        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        841      661      180        0        0        0        0        0
#  FX     19        1       18        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2812     2452      360        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 1211, >= 0, <= 1211.001;
var x2 := 1211, >= 0, <= 1211.001;
var x3 := 1211, >= 0, <= 1211.001;
var x4 := 1211, >= 0, <= 1211.001;
var x5 := 1211, >= 0, <= 1211.001;
var x6 := 1211, >= 0, <= 1211.001;
var x7 := 1211, >= 0, <= 1211.001;
var x8 := 1211, >= 0, <= 1211.001;
var x9 := 1211, >= 0, <= 1211.001;
var x10 := 1211, >= 0, <= 1211.001;
var x11 := 1211, >= 0, <= 1211.001;
var x12 := 1211, >= 0, <= 1211.001;
var x13 := 1211, >= 0, <= 1211.001;
var x14 := 1211, >= 0, <= 1211.001;
var x15 := 1211, >= 0, <= 1211.001;
var x16 := 1211, >= 0, <= 1211.001;
var x17 := 1211, >= 0, <= 1211.001;
var x18 := 1211, >= 0, <= 1211.001;
var x19 := 1211, >= 0, <= 1211.001;
var x20 := 1211, >= 0, <= 1211.001;
var x21 := 1211, >= 0, <= 1211.001;
var x22 := 1211, >= 0, <= 1211.001;
var x23 := 1211, >= 0, <= 1211.001;
var x24 := 1211, >= 0, <= 1211.001;
var x25 := 1211, >= 0, <= 1211.001;
var x26 := 1211, >= 0, <= 1211.001;
var x27 := 1211, >= 0, <= 1211.001;
var x28 := 1211, >= 0, <= 1211.001;
var x29 := 1211, >= 0, <= 1211.001;
var x30 := 1211, >= 0, <= 1211.001;
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 b451 binary >= 0, <= 0;
var b452 binary >= 0, <= 0;
var b453 binary >= 0, <= 0;
var b454 binary >= 0, <= 0;
var b455 binary >= 0, <= 0;
var b456 binary >= 0, <= 0;
var b457 binary >= 0, <= 0;
var b458 binary >= 0, <= 0;
var b459 binary >= 0, <= 0;
var b460 binary >= 0, <= 0;
var b461 binary >= 0, <= 0;
var b462 binary >= 0, <= 0;
var b463 binary >= 0, <= 0;
var b464 binary >= 0, <= 0;
var b465 binary >= 0, <= 0;
var b466 binary >= 0, <= 0;
var b467 binary >= 0, <= 0;
var b468 binary >= 0, <= 0;
var b469 binary >= 0, <= 1;
var b470 binary >= 0, <= 1;
var b471 binary >= 0, <= 1;
var b472 binary >= 0, <= 1;
var b473 binary >= 0, <= 1;
var b474 binary >= 0, <= 1;
var b475 binary >= 0, <= 1;
var b476 binary >= 0, <= 1;
var b477 binary >= 0, <= 1;
var b478 binary >= 0, <= 1;
var b479 binary >= 0, <= 1;
var b480 binary >= 0, <= 1;
var b481 binary >= 0, <= 1;
var b482 binary >= 0, <= 1;
var b483 binary >= 0, <= 1;
var b484 binary >= 0, <= 1;
var b485 binary >= 0, <= 1;
var b486 binary >= 0, <= 1;
var b487 binary >= 0, <= 1;
var b488 binary >= 0, <= 1;
var b489 binary >= 0, <= 1;
var b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var b518 binary >= 0, <= 1;
var b519 binary >= 0, <= 1;
var b520 binary >= 0, <= 1;
var b521 binary >= 0, <= 1;
var b522 binary >= 0, <= 1;
var b523 binary >= 0, <= 1;
var b524 binary >= 0, <= 1;
var b525 binary >= 0, <= 1;
var b526 binary >= 0, <= 1;
var b527 binary >= 0, <= 1;
var b528 binary >= 0, <= 1;
var b529 binary >= 0, <= 1;
var b530 binary >= 0, <= 1;
var b531 binary >= 0, <= 1;
var b532 binary >= 0, <= 1;
var b533 binary >= 0, <= 1;
var b534 binary >= 0, <= 1;
var b535 binary >= 0, <= 1;
var b536 binary >= 0, <= 1;
var b537 binary >= 0, <= 1;
var b538 binary >= 0, <= 1;
var b539 binary >= 0, <= 1;
var b540 binary >= 0, <= 1;
var b541 binary >= 0, <= 1;
var b542 binary >= 0, <= 1;
var b543 binary >= 0, <= 1;
var b544 binary >= 0, <= 1;
var b545 binary >= 0, <= 1;
var b546 binary >= 0, <= 1;
var b547 binary >= 0, <= 1;
var b548 binary >= 0, <= 1;
var b549 binary >= 0, <= 1;
var b550 binary >= 0, <= 1;
var b551 binary >= 0, <= 1;
var b552 binary >= 0, <= 1;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;
var b560 binary >= 0, <= 1;
var b561 binary >= 0, <= 1;
var b562 binary >= 0, <= 1;
var b563 binary >= 0, <= 1;
var b564 binary >= 0, <= 1;
var b565 binary >= 0, <= 1;
var b566 binary >= 0, <= 1;
var b567 binary >= 0, <= 1;
var b568 binary >= 0, <= 1;
var b569 binary >= 0, <= 1;
var b570 binary >= 0, <= 1;
var b571 binary >= 0, <= 1;
var b572 binary >= 0, <= 1;
var b573 binary >= 0, <= 1;
var b574 binary >= 0, <= 1;
var b575 binary >= 0, <= 1;
var b576 binary >= 0, <= 1;
var b577 binary >= 0, <= 1;
var b578 binary >= 0, <= 1;
var b579 binary >= 0, <= 1;
var b580 binary >= 0, <= 1;
var b581 binary >= 0, <= 1;
var b582 binary >= 0, <= 1;
var b583 binary >= 0, <= 1;
var b584 binary >= 0, <= 1;
var b585 binary >= 0, <= 1;
var b586 binary >= 0, <= 1;
var b587 binary >= 0, <= 1;
var b588 binary >= 0, <= 1;
var b589 binary >= 0, <= 1;
var b590 binary >= 0, <= 1;
var b591 binary >= 0, <= 1;
var b592 binary >= 0, <= 1;
var b593 binary >= 0, <= 1;
var b594 binary >= 0, <= 1;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var b599 binary >= 0, <= 1;
var b600 binary >= 0, <= 1;
var b601 binary >= 0, <= 1;
var 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 x631;
var x632;
var x633;
var x634;
var x635;
var x636;
var x637;
var x638;
var x639;
var x640;
var x641;
var x642;
var x643;
var x644;
var x645;
var x646;
var x647;
var x648;
var x649;
var x650;
var x651;
var x652;
var x653;
var x654;
var x655;
var x656;
var x657;
var x658;
var x659;
var x660;
var x661;
var x662;
var x663;
var x664;
var x665;
var x666;
var x667;
var x668;
var x669;
var x670;
var x671;
var x672;
var x673;
var x674;
var x675;
var x676;
var x677;
var x678;
var x679;
var x680;
var x681;
var x682;
var x683;
var x684;
var x685;
var x686;
var x687;
var x688;
var x689;
var x690;
var x691;
var x692;
var x693;
var x694;
var x695;
var x696;
var x697;
var x698;
var x699;
var x700;
var x701;
var x702;
var x703;
var x704;
var x705;
var x706;
var x707;
var x708;
var x709;
var x710;
var x711;
var x712;
var x713;
var x714;
var x715;
var x716;
var x717;
var x718;
var x719;
var x720;
var x721;
var x722;
var x723;
var x724;
var x725;
var x726;
var x727;
var x728;
var x729;
var x730;
var x731;
var x732;
var x733;
var x734;
var x735;
var x736;
var x737;
var x738;
var x739;
var x740;
var x741;
var x742;
var x743;
var x744;
var x745;
var x746;
var x747;
var x748;
var x749;
var x750;
var x751;
var x752;
var x753;
var x754;
var x755;
var x756;
var x757;
var x758;
var x759;
var x760;
var x761;
var x762;
var x763;
var x764;
var x765;
var x766;
var x767;
var x768;
var x769;
var x770;
var x771;
var x772;
var x773;
var x774;
var x775;
var x776;
var x777;
var x778;
var x779;
var x780;
var x781;
var x782;
var x783;
var x784;
var x785;
var x786;
var x787;
var x788;
var x789;
var x790;
var x791;
var x792;
var x793;
var x794;
var x795;
var x796;
var x797;
var x798;
var x799;
var x800;
var x801;
var x802;
var x803;
var x804;
var x805;
var x806;
var x807;
var x808;
var x809;
var x810;
var x811 := 1211, >= 1211, <= 1211;
var x812 := 1211;
var x813 := 1211;
var x814 := 1211;
var x815 := 1211;
var x816 := 1211;
var x817 := 1211;
var x818 := 1211;
var x819 := 1211;
var x820 := 1211;
var x821 := 1211;
var x822 := 1211;
var x823 := 1211;
var x824 := 1211;
var x825 := 1211;
var x826 := 1211;
var x827 := 1211;
var x828 := 1211;
var x829 := 1211;
var x830 := 1211;
var x831 := 1211;
var x832 := 1211;
var x833 := 1211;
var x834 := 1211;
var x835 := 1211;
var x836 := 1211;
var x837 := 1211;
var x838 := 1211;
var x839 := 1211;
var x840 := 1211;

minimize obj:  - 300.544*x211 - 225.408*x212 - 150.272*x213 - 300.544*x214
     - 225.408*x215 - 150.272*x216 - 300.544*x217 - 225.408*x218 - 150.272*x219
     - 300.544*x220 - 225.408*x221 - 150.272*x222 - 300.544*x223 - 225.408*x224
     - 150.272*x225 - 300.544*x226 - 225.408*x227 - 150.272*x228 - 300.544*x229
     - 225.408*x230 - 150.272*x231 - 300.544*x232 - 225.408*x233 - 150.272*x234
     - 300.544*x235 - 225.408*x236 - 150.272*x237 - 300.544*x238 - 225.408*x239
     - 150.272*x240 - 300.544*x241 - 225.408*x242 - 150.272*x243 - 300.544*x244
     - 225.408*x245 - 150.272*x246 - 300.544*x247 - 225.408*x248 - 150.272*x249
     - 300.544*x250 - 225.408*x251 - 150.272*x252 - 300.544*x253 - 225.408*x254
     - 150.272*x255 - 300.544*x256 - 225.408*x257 - 150.272*x258 - 300.544*x259
     - 225.408*x260 - 150.272*x261 - 300.544*x262 - 225.408*x263 - 150.272*x264
     - 300.544*x265 - 225.408*x266 - 150.272*x267 - 300.544*x268 - 225.408*x269
     - 150.272*x270 - 300.544*x271 - 225.408*x272 - 150.272*x273 - 300.544*x274
     - 225.408*x275 - 150.272*x276 - 300.544*x277 - 225.408*x278 - 150.272*x279
     - 300.544*x280 - 225.408*x281 - 150.272*x282 - 300.544*x283 - 225.408*x284
     - 150.272*x285 - 300.544*x286 - 225.408*x287 - 150.272*x288 - 300.544*x289
     - 225.408*x290 - 150.272*x291 - 300.544*x292 - 225.408*x293 - 150.272*x294
     - 300.544*x295 - 225.408*x296 - 150.272*x297 - 300.544*x298 - 225.408*x299
     - 150.272*x300 - 2.66666666666667*x301 - 4*x302 - 5.33333333333333*x303
     - 2.66666666666667*x304 - 4*x305 - 5.33333333333333*x306
     - 2.66666666666667*x307 - 4*x308 - 5.33333333333333*x309
     - 2.66666666666667*x310 - 4*x311 - 5.33333333333333*x312
     - 2.66666666666667*x313 - 4*x314 - 5.33333333333333*x315
     - 2.66666666666667*x316 - 4*x317 - 5.33333333333333*x318
     - 2.66666666666667*x319 - 4*x320 - 5.33333333333333*x321
     - 2.66666666666667*x322 - 4*x323 - 5.33333333333333*x324
     - 2.66666666666667*x325 - 4*x326 - 5.33333333333333*x327
     - 2.66666666666667*x328 - 4*x329 - 5.33333333333333*x330
     - 2.66666666666667*x331 - 4*x332 - 5.33333333333333*x333
     - 2.66666666666667*x334 - 4*x335 - 5.33333333333333*x336
     - 2.66666666666667*x337 - 4*x338 - 5.33333333333333*x339
     - 2.66666666666667*x340 - 4*x341 - 5.33333333333333*x342
     - 2.66666666666667*x343 - 4*x344 - 5.33333333333333*x345
     - 2.66666666666667*x346 - 4*x347 - 5.33333333333333*x348
     - 2.66666666666667*x349 - 4*x350 - 5.33333333333333*x351
     - 2.66666666666667*x352 - 4*x353 - 5.33333333333333*x354
     - 2.66666666666667*x355 - 4*x356 - 5.33333333333333*x357
     - 2.66666666666667*x358 - 4*x359 - 5.33333333333333*x360
     - 2.66666666666667*x361 - 4*x362 - 5.33333333333333*x363
     - 2.66666666666667*x364 - 4*x365 - 5.33333333333333*x366
     - 2.66666666666667*x367 - 4*x368 - 5.33333333333333*x369
     - 2.66666666666667*x370 - 4*x371 - 5.33333333333333*x372
     - 2.66666666666667*x373 - 4*x374 - 5.33333333333333*x375
     - 2.66666666666667*x376 - 4*x377 - 5.33333333333333*x378
     - 2.66666666666667*x379 - 4*x380 - 5.33333333333333*x381
     - 2.66666666666667*x382 - 4*x383 - 5.33333333333333*x384
     - 2.66666666666667*x385 - 4*x386 - 5.33333333333333*x387
     - 2.66666666666667*x388 - 4*x389 - 5.33333333333333*x390
     + 1.33333333333333*x631 + x632 + x633 + 1.33333333333333*x634 + x635
     + x636 + 1.33333333333333*x637 + x638 + x639 + 1.33333333333333*x640
     + x641 + x642 + 1.33333333333333*x643 + x644 + x645
     + 1.33333333333333*x646 + x647 + x648 + 1.33333333333333*x649 + x650
     + x651 + 1.33333333333333*x652 + x653 + x654 + 1.33333333333333*x655
     + x656 + x657 + 1.33333333333333*x658 + x659 + x660
     + 1.33333333333333*x661 + x662 + x663 + 1.33333333333333*x664 + x665
     + x666 + 1.33333333333333*x667 + x668 + x669 + 1.33333333333333*x670
     + x671 + x672 + 1.33333333333333*x673 + x674 + x675
     + 1.33333333333333*x676 + x677 + x678 + 1.33333333333333*x679 + x680
     + x681 + 1.33333333333333*x682 + x683 + x684 + 1.33333333333333*x685
     + x686 + x687 + 1.33333333333333*x688 + x689 + x690
     + 1.33333333333333*x691 + x692 + x693 + 1.33333333333333*x694 + x695
     + x696 + 1.33333333333333*x697 + x698 + x699 + 1.33333333333333*x700
     + x701 + x702 + 1.33333333333333*x703 + x704 + x705
     + 1.33333333333333*x706 + x707 + x708 + 1.33333333333333*x709 + x710
     + x711 + 1.33333333333333*x712 + x713 + x714 + 1.33333333333333*x715
     + x716 + x717 + 1.33333333333333*x718 + x719 + x720
     + 1.33333333333333*x721 + x722 + x723 + 1.33333333333333*x724 + x725
     + x726 + 1.33333333333333*x727 + x728 + x729 + 1.33333333333333*x730
     + x731 + x732 + 1.33333333333333*x733 + x734 + x735
     + 1.33333333333333*x736 + x737 + x738 + 1.33333333333333*x739 + x740
     + x741 + 1.33333333333333*x742 + x743 + x744 + 1.33333333333333*x745
     + x746 + x747 + 1.33333333333333*x748 + x749 + x750
     + 1.33333333333333*x751 + x752 + x753 + 1.33333333333333*x754 + x755
     + x756 + 1.33333333333333*x757 + x758 + x759 + 1.33333333333333*x760
     + x761 + x762 + 1.33333333333333*x763 + x764 + x765
     + 1.33333333333333*x766 + x767 + x768 + 1.33333333333333*x769 + x770
     + x771 + 1.33333333333333*x772 + x773 + x774 + 1.33333333333333*x775
     + x776 + x777 + 1.33333333333333*x778 + x779 + x780
     + 1.33333333333333*x781 + x782 + x783 + 1.33333333333333*x784 + x785
     + x786 + 1.33333333333333*x787 + x788 + x789 + 1.33333333333333*x790
     + x791 + x792 + 1.33333333333333*x793 + x794 + x795
     + 1.33333333333333*x796 + x797 + x798 + 1.33333333333333*x799 + x800
     + x801 + 1.33333333333333*x802 + x803 + x804 + 1.33333333333333*x805
     + x806 + x807 + 1.33333333333333*x808 + x809 + x810;

subject to

e1:    b451 + b541 + b571 + b601 = 1;

e2:    b452 + b542 + b572 + b602 = 1;

e3:    b453 + b543 + b573 + b603 = 1;

e4:    b454 + b544 + b574 + b604 = 1;

e5:    b455 + b545 + b575 + b605 = 1;

e6:    b456 + b546 + b576 + b606 = 1;

e7:    b457 + b547 + b577 + b607 = 1;

e8:    b458 + b548 + b578 + b608 = 1;

e9:    b459 + b549 + b579 + b609 = 1;

e10:    b460 + b550 + b580 + b610 = 1;

e11:    b461 + b551 + b581 + b611 = 1;

e12:    b462 + b552 + b582 + b612 = 1;

e13:    b463 + b553 + b583 + b613 = 1;

e14:    b464 + b554 + b584 + b614 = 1;

e15:    b465 + b555 + b585 + b615 = 1;

e16:    b466 + b556 + b586 + b616 = 1;

e17:    b467 + b557 + b587 + b617 = 1;

e18:    b468 + b558 + b588 + b618 = 1;

e19:    b469 + b559 + b589 + b619 = 1;

e20:    b470 + b560 + b590 + b620 = 1;

e21:    b471 + b561 + b591 + b621 = 1;

e22:    b472 + b562 + b592 + b622 = 1;

e23:    b473 + b563 + b593 + b623 = 1;

e24:    b474 + b564 + b594 + b624 = 1;

e25:    b475 + b565 + b595 + b625 = 1;

e26:    b476 + b566 + b596 + b626 = 1;

e27:    b477 + b567 + b597 + b627 = 1;

e28:    b478 + b568 + b598 + b628 = 1;

e29:    b479 + b569 + b599 + b629 = 1;

e30:    b480 + b570 + b600 + b630 = 1;

e31:    x31 + x32 + x33 + x121 + x122 + x123 + b451 = 1;

e32:    x34 + x35 + x36 + x124 + x125 + x126 + b452 = 1;

e33:    x37 + x38 + x39 + x127 + x128 + x129 + b453 = 1;

e34:    x40 + x41 + x42 + x130 + x131 + x132 + b454 = 1;

e35:    x43 + x44 + x45 + x133 + x134 + x135 + b455 = 1;

e36:    x46 + x47 + x48 + x136 + x137 + x138 + b456 = 1;

e37:    x49 + x50 + x51 + x139 + x140 + x141 + b457 = 1;

e38:    x52 + x53 + x54 + x142 + x143 + x144 + b458 = 1;

e39:    x55 + x56 + x57 + x145 + x146 + x147 + b459 = 1;

e40:    x58 + x59 + x60 + x148 + x149 + x150 + b460 = 1;

e41:    x61 + x62 + x63 + x151 + x152 + x153 + b461 = 1;

e42:    x64 + x65 + x66 + x154 + x155 + x156 + b462 = 1;

e43:    x67 + x68 + x69 + x157 + x158 + x159 + b463 = 1;

e44:    x70 + x71 + x72 + x160 + x161 + x162 + b464 = 1;

e45:    x73 + x74 + x75 + x163 + x164 + x165 + b465 = 1;

e46:    x76 + x77 + x78 + x166 + x167 + x168 + b466 = 1;

e47:    x79 + x80 + x81 + x169 + x170 + x171 + b467 = 1;

e48:    x82 + x83 + x84 + x172 + x173 + x174 + b468 = 1;

e49:    x85 + x86 + x87 + x175 + x176 + x177 + b469 = 1;

e50:    x88 + x89 + x90 + x178 + x179 + x180 + b470 = 1;

e51:    x91 + x92 + x93 + x181 + x182 + x183 + b471 = 1;

e52:    x94 + x95 + x96 + x184 + x185 + x186 + b472 = 1;

e53:    x97 + x98 + x99 + x187 + x188 + x189 + b473 = 1;

e54:    x100 + x101 + x102 + x190 + x191 + x192 + b474 = 1;

e55:    x103 + x104 + x105 + x193 + x194 + x195 + b475 = 1;

e56:    x106 + x107 + x108 + x196 + x197 + x198 + b476 = 1;

e57:    x109 + x110 + x111 + x199 + x200 + x201 + b477 = 1;

e58:    x112 + x113 + x114 + x202 + x203 + x204 + b478 = 1;

e59:    x115 + x116 + x117 + x205 + x206 + x207 + b479 = 1;

e60:    x118 + x119 + x120 + x208 + x209 + x210 + b480 = 1;

e61:  - 3.16363636363636*x31 - 3.16363636363636*x32 - 3.16363636363636*x33
      + 22.5454545454545*b541 + 9.09090909090909*b571 - x811 + x812
      <= -33.8181818181818;

e62:  - 3.16363636363636*x34 - 3.16363636363636*x35 - 3.16363636363636*x36
      + 22.5454545454545*b542 + 9.09090909090909*b572 - x812 + x813
      <= -33.8181818181818;

e63:  - 3.16363636363636*x37 - 3.16363636363636*x38 - 3.16363636363636*x39
      + 22.5454545454545*b543 + 9.09090909090909*b573 - x813 + x814
      <= -33.8181818181818;

e64:  - 3.16363636363636*x40 - 3.16363636363636*x41 - 3.16363636363636*x42
      + 22.5454545454545*b544 + 9.09090909090909*b574 - x814 + x815
      <= -33.8181818181818;

e65:  - 3.16363636363636*x43 - 3.16363636363636*x44 - 3.16363636363636*x45
      + 22.5454545454545*b545 + 9.09090909090909*b575 - x815 + x816
      <= -33.8181818181818;

e66:  - 3.16363636363636*x46 - 3.16363636363636*x47 - 3.16363636363636*x48
      + 22.5454545454545*b546 + 9.09090909090909*b576 - x816 + x817
      <= -33.8181818181818;

e67:  - 3.16363636363636*x49 - 3.16363636363636*x50 - 3.16363636363636*x51
      + 22.5454545454545*b547 + 9.09090909090909*b577 - x817 + x818
      <= -33.8181818181818;

e68:  - 3.16363636363636*x52 - 3.16363636363636*x53 - 3.16363636363636*x54
      + 22.5454545454545*b548 + 9.09090909090909*b578 - x818 + x819
      <= -33.8181818181818;

e69:  - 3.16363636363636*x55 - 3.16363636363636*x56 - 3.16363636363636*x57
      + 22.5454545454545*b549 + 9.09090909090909*b579 - x819 + x820
      <= -33.8181818181818;

e70:  - 3.16363636363636*x58 - 3.16363636363636*x59 - 3.16363636363636*x60
      + 22.5454545454545*b550 + 9.09090909090909*b580 - x820 + x821
      <= -33.8181818181818;

e71:  - 3.16363636363636*x61 - 3.16363636363636*x62 - 3.16363636363636*x63
      + 22.5454545454545*b551 + 9.09090909090909*b581 - x821 + x822
      <= -33.8181818181818;

e72:  - 3.16363636363636*x64 - 3.16363636363636*x65 - 3.16363636363636*x66
      + 22.5454545454545*b552 + 9.09090909090909*b582 - x822 + x823
      <= -33.8181818181818;

e73:  - 3.16363636363636*x67 - 3.16363636363636*x68 - 3.16363636363636*x69
      + 22.5454545454545*b553 + 9.09090909090909*b583 - x823 + x824
      <= -33.8181818181818;

e74:  - 3.16363636363636*x70 - 3.16363636363636*x71 - 3.16363636363636*x72
      + 22.5454545454545*b554 + 9.09090909090909*b584 - x824 + x825
      <= -33.8181818181818;

e75:  - 3.16363636363636*x73 - 3.16363636363636*x74 - 3.16363636363636*x75
      + 22.5454545454545*b555 + 9.09090909090909*b585 - x825 + x826
      <= -33.8181818181818;

e76:  - 3.16363636363636*x76 - 3.16363636363636*x77 - 3.16363636363636*x78
      + 22.5454545454545*b556 + 9.09090909090909*b586 - x826 + x827
      <= -33.8181818181818;

e77:  - 3.16363636363636*x79 - 3.16363636363636*x80 - 3.16363636363636*x81
      + 22.5454545454545*b557 + 9.09090909090909*b587 - x827 + x828
      <= -33.8181818181818;

e78:  - 3.16363636363636*x82 - 3.16363636363636*x83 - 3.16363636363636*x84
      + 22.5454545454545*b558 + 9.09090909090909*b588 - x828 + x829
      <= -33.8181818181818;

e79:  - 3.16363636363636*x85 - 3.16363636363636*x86 - 3.16363636363636*x87
      + 22.5454545454545*b559 + 9.09090909090909*b589 - x829 + x830
      <= -33.8181818181818;

e80:  - 3.16363636363636*x88 - 3.16363636363636*x89 - 3.16363636363636*x90
      + 22.5454545454545*b560 + 9.09090909090909*b590 - x830 + x831
      <= -33.8181818181818;

e81:  - 3.16363636363636*x91 - 3.16363636363636*x92 - 3.16363636363636*x93
      + 22.5454545454545*b561 + 9.09090909090909*b591 - x831 + x832
      <= -33.8181818181818;

e82:  - 3.16363636363636*x94 - 3.16363636363636*x95 - 3.16363636363636*x96
      + 22.5454545454545*b562 + 9.09090909090909*b592 - x832 + x833
      <= -33.8181818181818;

e83:  - 3.16363636363636*x97 - 3.16363636363636*x98 - 3.16363636363636*x99
      + 22.5454545454545*b563 + 9.09090909090909*b593 - x833 + x834
      <= -33.8181818181818;

e84:  - 3.16363636363636*x100 - 3.16363636363636*x101 - 3.16363636363636*x102
      + 22.5454545454545*b564 + 9.09090909090909*b594 - x834 + x835
      <= -33.8181818181818;

e85:  - 3.16363636363636*x103 - 3.16363636363636*x104 - 3.16363636363636*x105
      + 22.5454545454545*b565 + 9.09090909090909*b595 - x835 + x836
      <= -33.8181818181818;

e86:  - 3.16363636363636*x106 - 3.16363636363636*x107 - 3.16363636363636*x108
      + 22.5454545454545*b566 + 9.09090909090909*b596 - x836 + x837
      <= -33.8181818181818;

e87:  - 3.16363636363636*x109 - 3.16363636363636*x110 - 3.16363636363636*x111
      + 22.5454545454545*b567 + 9.09090909090909*b597 - x837 + x838
      <= -33.8181818181818;

e88:  - 3.16363636363636*x112 - 3.16363636363636*x113 - 3.16363636363636*x114
      + 22.5454545454545*b568 + 9.09090909090909*b598 - x838 + x839
      <= -33.8181818181818;

e89:  - 3.16363636363636*x115 - 3.16363636363636*x116 - 3.16363636363636*x117
      + 22.5454545454545*b569 + 9.09090909090909*b599 - x839 + x840
      <= -33.8181818181818;

e90: -6.353*(0.001 + x1)**0.172*b541 + x211 <= 0;

e91: -6.353*(0.001 + x2)**0.172*b542 + x214 <= 0;

e92: -6.353*(0.001 + x3)**0.172*b543 + x217 <= 0;

e93: -6.353*(0.001 + x4)**0.172*b544 + x220 <= 0;

e94: -6.353*(0.001 + x5)**0.172*b545 + x223 <= 0;

e95: -6.353*(0.001 + x6)**0.172*b546 + x226 <= 0;

e96: -6.353*(0.001 + x7)**0.172*b547 + x229 <= 0;

e97: -6.353*(0.001 + x8)**0.172*b548 + x232 <= 0;

e98: -6.353*(0.001 + x9)**0.172*b549 + x235 <= 0;

e99: -6.353*(0.001 + x10)**0.172*b550 + x238 <= 0;

e100: -6.353*(0.001 + x11)**0.172*b551 + x241 <= 0;

e101: -6.353*(0.001 + x12)**0.172*b552 + x244 <= 0;

e102: -6.353*(0.001 + x13)**0.172*b553 + x247 <= 0;

e103: -6.353*(0.001 + x14)**0.172*b554 + x250 <= 0;

e104: -6.353*(0.001 + x15)**0.172*b555 + x253 <= 0;

e105: -6.353*(0.001 + x16)**0.172*b556 + x256 <= 0;

e106: -6.353*(0.001 + x17)**0.172*b557 + x259 <= 0;

e107: -6.353*(0.001 + x18)**0.172*b558 + x262 <= 0;

e108: -6.353*(0.001 + x19)**0.172*b559 + x265 <= 0;

e109: -6.353*(0.001 + x20)**0.172*b560 + x268 <= 0;

e110: -6.353*(0.001 + x21)**0.172*b561 + x271 <= 0;

e111: -6.353*(0.001 + x22)**0.172*b562 + x274 <= 0;

e112: -6.353*(0.001 + x23)**0.172*b563 + x277 <= 0;

e113: -6.353*(0.001 + x24)**0.172*b564 + x280 <= 0;

e114: -6.353*(0.001 + x25)**0.172*b565 + x283 <= 0;

e115: -6.353*(0.001 + x26)**0.172*b566 + x286 <= 0;

e116: -6.353*(0.001 + x27)**0.172*b567 + x289 <= 0;

e117: -6.353*(0.001 + x28)**0.172*b568 + x292 <= 0;

e118: -6.353*(0.001 + x29)**0.172*b569 + x295 <= 0;

e119: -6.353*(0.001 + x30)**0.172*b570 + x298 <= 0;

e120: -6.353*(0.001 + x1)**0.172*b571 + x212 <= 0;

e121: -6.353*(0.001 + x2)**0.172*b572 + x215 <= 0;

e122: -6.353*(0.001 + x3)**0.172*b573 + x218 <= 0;

e123: -6.353*(0.001 + x4)**0.172*b574 + x221 <= 0;

e124: -6.353*(0.001 + x5)**0.172*b575 + x224 <= 0;

e125: -6.353*(0.001 + x6)**0.172*b576 + x227 <= 0;

e126: -6.353*(0.001 + x7)**0.172*b577 + x230 <= 0;

e127: -6.353*(0.001 + x8)**0.172*b578 + x233 <= 0;

e128: -6.353*(0.001 + x9)**0.172*b579 + x236 <= 0;

e129: -6.353*(0.001 + x10)**0.172*b580 + x239 <= 0;

e130: -6.353*(0.001 + x11)**0.172*b581 + x242 <= 0;

e131: -6.353*(0.001 + x12)**0.172*b582 + x245 <= 0;

e132: -6.353*(0.001 + x13)**0.172*b583 + x248 <= 0;

e133: -6.353*(0.001 + x14)**0.172*b584 + x251 <= 0;

e134: -6.353*(0.001 + x15)**0.172*b585 + x254 <= 0;

e135: -6.353*(0.001 + x16)**0.172*b586 + x257 <= 0;

e136: -6.353*(0.001 + x17)**0.172*b587 + x260 <= 0;

e137: -6.353*(0.001 + x18)**0.172*b588 + x263 <= 0;

e138: -6.353*(0.001 + x19)**0.172*b589 + x266 <= 0;

e139: -6.353*(0.001 + x20)**0.172*b590 + x269 <= 0;

e140: -6.353*(0.001 + x21)**0.172*b591 + x272 <= 0;

e141: -6.353*(0.001 + x22)**0.172*b592 + x275 <= 0;

e142: -6.353*(0.001 + x23)**0.172*b593 + x278 <= 0;

e143: -6.353*(0.001 + x24)**0.172*b594 + x281 <= 0;

e144: -6.353*(0.001 + x25)**0.172*b595 + x284 <= 0;

e145: -6.353*(0.001 + x26)**0.172*b596 + x287 <= 0;

e146: -6.353*(0.001 + x27)**0.172*b597 + x290 <= 0;

e147: -6.353*(0.001 + x28)**0.172*b598 + x293 <= 0;

e148: -6.353*(0.001 + x29)**0.172*b599 + x296 <= 0;

e149: -6.353*(0.001 + x30)**0.172*b600 + x299 <= 0;

e150: -6.353*(0.001 + x1)**0.172*b601 + x213 <= 0;

e151: -6.353*(0.001 + x2)**0.172*b602 + x216 <= 0;

e152: -6.353*(0.001 + x3)**0.172*b603 + x219 <= 0;

e153: -6.353*(0.001 + x4)**0.172*b604 + x222 <= 0;

e154: -6.353*(0.001 + x5)**0.172*b605 + x225 <= 0;

e155: -6.353*(0.001 + x6)**0.172*b606 + x228 <= 0;

e156: -6.353*(0.001 + x7)**0.172*b607 + x231 <= 0;

e157: -6.353*(0.001 + x8)**0.172*b608 + x234 <= 0;

e158: -6.353*(0.001 + x9)**0.172*b609 + x237 <= 0;

e159: -6.353*(0.001 + x10)**0.172*b610 + x240 <= 0;

e160: -6.353*(0.001 + x11)**0.172*b611 + x243 <= 0;

e161: -6.353*(0.001 + x12)**0.172*b612 + x246 <= 0;

e162: -6.353*(0.001 + x13)**0.172*b613 + x249 <= 0;

e163: -6.353*(0.001 + x14)**0.172*b614 + x252 <= 0;

e164: -6.353*(0.001 + x15)**0.172*b615 + x255 <= 0;

e165: -6.353*(0.001 + x16)**0.172*b616 + x258 <= 0;

e166: -6.353*(0.001 + x17)**0.172*b617 + x261 <= 0;

e167: -6.353*(0.001 + x18)**0.172*b618 + x264 <= 0;

e168: -6.353*(0.001 + x19)**0.172*b619 + x267 <= 0;

e169: -6.353*(0.001 + x20)**0.172*b620 + x270 <= 0;

e170: -6.353*(0.001 + x21)**0.172*b621 + x273 <= 0;

e171: -6.353*(0.001 + x22)**0.172*b622 + x276 <= 0;

e172: -6.353*(0.001 + x23)**0.172*b623 + x279 <= 0;

e173: -6.353*(0.001 + x24)**0.172*b624 + x282 <= 0;

e174: -6.353*(0.001 + x25)**0.172*b625 + x285 <= 0;

e175: -6.353*(0.001 + x26)**0.172*b626 + x288 <= 0;

e176: -6.353*(0.001 + x27)**0.172*b627 + x291 <= 0;

e177: -6.353*(0.001 + x28)**0.172*b628 + x294 <= 0;

e178: -6.353*(0.001 + x29)**0.172*b629 + x297 <= 0;

e179: -6.353*(0.001 + x30)**0.172*b630 + x300 <= 0;

e180: -0.32*(0.001 + x1)**0.617*b541 + x301 <= 0;

e181: -0.32*(0.001 + x2)**0.617*b542 + x304 <= 0;

e182: -0.32*(0.001 + x3)**0.617*b543 + x307 <= 0;

e183: -0.32*(0.001 + x4)**0.617*b544 + x310 <= 0;

e184: -0.32*(0.001 + x5)**0.617*b545 + x313 <= 0;

e185: -0.32*(0.001 + x6)**0.617*b546 + x316 <= 0;

e186: -0.32*(0.001 + x7)**0.617*b547 + x319 <= 0;

e187: -0.32*(0.001 + x8)**0.617*b548 + x322 <= 0;

e188: -0.32*(0.001 + x9)**0.617*b549 + x325 <= 0;

e189: -0.32*(0.001 + x10)**0.617*b550 + x328 <= 0;

e190: -0.32*(0.001 + x11)**0.617*b551 + x331 <= 0;

e191: -0.32*(0.001 + x12)**0.617*b552 + x334 <= 0;

e192: -0.32*(0.001 + x13)**0.617*b553 + x337 <= 0;

e193: -0.32*(0.001 + x14)**0.617*b554 + x340 <= 0;

e194: -0.32*(0.001 + x15)**0.617*b555 + x343 <= 0;

e195: -0.32*(0.001 + x16)**0.617*b556 + x346 <= 0;

e196: -0.32*(0.001 + x17)**0.617*b557 + x349 <= 0;

e197: -0.32*(0.001 + x18)**0.617*b558 + x352 <= 0;

e198: -0.32*(0.001 + x19)**0.617*b559 + x355 <= 0;

e199: -0.32*(0.001 + x20)**0.617*b560 + x358 <= 0;

e200: -0.32*(0.001 + x21)**0.617*b561 + x361 <= 0;

e201: -0.32*(0.001 + x22)**0.617*b562 + x364 <= 0;

e202: -0.32*(0.001 + x23)**0.617*b563 + x367 <= 0;

e203: -0.32*(0.001 + x24)**0.617*b564 + x370 <= 0;

e204: -0.32*(0.001 + x25)**0.617*b565 + x373 <= 0;

e205: -0.32*(0.001 + x26)**0.617*b566 + x376 <= 0;

e206: -0.32*(0.001 + x27)**0.617*b567 + x379 <= 0;

e207: -0.32*(0.001 + x28)**0.617*b568 + x382 <= 0;

e208: -0.32*(0.001 + x29)**0.617*b569 + x385 <= 0;

e209: -0.32*(0.001 + x30)**0.617*b570 + x388 <= 0;

e210: -0.32*(0.001 + x1)**0.617*b571 + x302 <= 0;

e211: -0.32*(0.001 + x2)**0.617*b572 + x305 <= 0;

e212: -0.32*(0.001 + x3)**0.617*b573 + x308 <= 0;

e213: -0.32*(0.001 + x4)**0.617*b574 + x311 <= 0;

e214: -0.32*(0.001 + x5)**0.617*b575 + x314 <= 0;

e215: -0.32*(0.001 + x6)**0.617*b576 + x317 <= 0;

e216: -0.32*(0.001 + x7)**0.617*b577 + x320 <= 0;

e217: -0.32*(0.001 + x8)**0.617*b578 + x323 <= 0;

e218: -0.32*(0.001 + x9)**0.617*b579 + x326 <= 0;

e219: -0.32*(0.001 + x10)**0.617*b580 + x329 <= 0;

e220: -0.32*(0.001 + x11)**0.617*b581 + x332 <= 0;

e221: -0.32*(0.001 + x12)**0.617*b582 + x335 <= 0;

e222: -0.32*(0.001 + x13)**0.617*b583 + x338 <= 0;

e223: -0.32*(0.001 + x14)**0.617*b584 + x341 <= 0;

e224: -0.32*(0.001 + x15)**0.617*b585 + x344 <= 0;

e225: -0.32*(0.001 + x16)**0.617*b586 + x347 <= 0;

e226: -0.32*(0.001 + x17)**0.617*b587 + x350 <= 0;

e227: -0.32*(0.001 + x18)**0.617*b588 + x353 <= 0;

e228: -0.32*(0.001 + x19)**0.617*b589 + x356 <= 0;

e229: -0.32*(0.001 + x20)**0.617*b590 + x359 <= 0;

e230: -0.32*(0.001 + x21)**0.617*b591 + x362 <= 0;

e231: -0.32*(0.001 + x22)**0.617*b592 + x365 <= 0;

e232: -0.32*(0.001 + x23)**0.617*b593 + x368 <= 0;

e233: -0.32*(0.001 + x24)**0.617*b594 + x371 <= 0;

e234: -0.32*(0.001 + x25)**0.617*b595 + x374 <= 0;

e235: -0.32*(0.001 + x26)**0.617*b596 + x377 <= 0;

e236: -0.32*(0.001 + x27)**0.617*b597 + x380 <= 0;

e237: -0.32*(0.001 + x28)**0.617*b598 + x383 <= 0;

e238: -0.32*(0.001 + x29)**0.617*b599 + x386 <= 0;

e239: -0.32*(0.001 + x30)**0.617*b600 + x389 <= 0;

e240: -0.32*(0.001 + x1)**0.617*b601 + x303 <= 0;

e241: -0.32*(0.001 + x2)**0.617*b602 + x306 <= 0;

e242: -0.32*(0.001 + x3)**0.617*b603 + x309 <= 0;

e243: -0.32*(0.001 + x4)**0.617*b604 + x312 <= 0;

e244: -0.32*(0.001 + x5)**0.617*b605 + x315 <= 0;

e245: -0.32*(0.001 + x6)**0.617*b606 + x318 <= 0;

e246: -0.32*(0.001 + x7)**0.617*b607 + x321 <= 0;

e247: -0.32*(0.001 + x8)**0.617*b608 + x324 <= 0;

e248: -0.32*(0.001 + x9)**0.617*b609 + x327 <= 0;

e249: -0.32*(0.001 + x10)**0.617*b610 + x330 <= 0;

e250: -0.32*(0.001 + x11)**0.617*b611 + x333 <= 0;

e251: -0.32*(0.001 + x12)**0.617*b612 + x336 <= 0;

e252: -0.32*(0.001 + x13)**0.617*b613 + x339 <= 0;

e253: -0.32*(0.001 + x14)**0.617*b614 + x342 <= 0;

e254: -0.32*(0.001 + x15)**0.617*b615 + x345 <= 0;

e255: -0.32*(0.001 + x16)**0.617*b616 + x348 <= 0;

e256: -0.32*(0.001 + x17)**0.617*b617 + x351 <= 0;

e257: -0.32*(0.001 + x18)**0.617*b618 + x354 <= 0;

e258: -0.32*(0.001 + x19)**0.617*b619 + x357 <= 0;

e259: -0.32*(0.001 + x20)**0.617*b620 + x360 <= 0;

e260: -0.32*(0.001 + x21)**0.617*b621 + x363 <= 0;

e261: -0.32*(0.001 + x22)**0.617*b622 + x366 <= 0;

e262: -0.32*(0.001 + x23)**0.617*b623 + x369 <= 0;

e263: -0.32*(0.001 + x24)**0.617*b624 + x372 <= 0;

e264: -0.32*(0.001 + x25)**0.617*b625 + x375 <= 0;

e265: -0.32*(0.001 + x26)**0.617*b626 + x378 <= 0;

e266: -0.32*(0.001 + x27)**0.617*b627 + x381 <= 0;

e267: -0.32*(0.001 + x28)**0.617*b628 + x384 <= 0;

e268: -0.32*(0.001 + x29)**0.617*b629 + x387 <= 0;

e269: -0.32*(0.001 + x30)**0.617*b630 + x390 <= 0;

e270:    x31 + x121 - b541 <= 0;

e271:    x34 + x124 - b542 <= 0;

e272:    x37 + x127 - b543 <= 0;

e273:    x40 + x130 - b544 <= 0;

e274:    x43 + x133 - b545 <= 0;

e275:    x46 + x136 - b546 <= 0;

e276:    x49 + x139 - b547 <= 0;

e277:    x52 + x142 - b548 <= 0;

e278:    x55 + x145 - b549 <= 0;

e279:    x58 + x148 - b550 <= 0;

e280:    x61 + x151 - b551 <= 0;

e281:    x64 + x154 - b552 <= 0;

e282:    x67 + x157 - b553 <= 0;

e283:    x70 + x160 - b554 <= 0;

e284:    x73 + x163 - b555 <= 0;

e285:    x76 + x166 - b556 <= 0;

e286:    x79 + x169 - b557 <= 0;

e287:    x82 + x172 - b558 <= 0;

e288:    x85 + x175 - b559 <= 0;

e289:    x88 + x178 - b560 <= 0;

e290:    x91 + x181 - b561 <= 0;

e291:    x94 + x184 - b562 <= 0;

e292:    x97 + x187 - b563 <= 0;

e293:    x100 + x190 - b564 <= 0;

e294:    x103 + x193 - b565 <= 0;

e295:    x106 + x196 - b566 <= 0;

e296:    x109 + x199 - b567 <= 0;

e297:    x112 + x202 - b568 <= 0;

e298:    x115 + x205 - b569 <= 0;

e299:    x118 + x208 - b570 <= 0;

e300:    x32 + x122 - b571 <= 0;

e301:    x35 + x125 - b572 <= 0;

e302:    x38 + x128 - b573 <= 0;

e303:    x41 + x131 - b574 <= 0;

e304:    x44 + x134 - b575 <= 0;

e305:    x47 + x137 - b576 <= 0;

e306:    x50 + x140 - b577 <= 0;

e307:    x53 + x143 - b578 <= 0;

e308:    x56 + x146 - b579 <= 0;

e309:    x59 + x149 - b580 <= 0;

e310:    x62 + x152 - b581 <= 0;

e311:    x65 + x155 - b582 <= 0;

e312:    x68 + x158 - b583 <= 0;

e313:    x71 + x161 - b584 <= 0;

e314:    x74 + x164 - b585 <= 0;

e315:    x77 + x167 - b586 <= 0;

e316:    x80 + x170 - b587 <= 0;

e317:    x83 + x173 - b588 <= 0;

e318:    x86 + x176 - b589 <= 0;

e319:    x89 + x179 - b590 <= 0;

e320:    x92 + x182 - b591 <= 0;

e321:    x95 + x185 - b592 <= 0;

e322:    x98 + x188 - b593 <= 0;

e323:    x101 + x191 - b594 <= 0;

e324:    x104 + x194 - b595 <= 0;

e325:    x107 + x197 - b596 <= 0;

e326:    x110 + x200 - b597 <= 0;

e327:    x113 + x203 - b598 <= 0;

e328:    x116 + x206 - b599 <= 0;

e329:    x119 + x209 - b600 <= 0;

e330:    x33 + x123 - b601 <= 0;

e331:    x36 + x126 - b602 <= 0;

e332:    x39 + x129 - b603 <= 0;

e333:    x42 + x132 - b604 <= 0;

e334:    x45 + x135 - b605 <= 0;

e335:    x48 + x138 - b606 <= 0;

e336:    x51 + x141 - b607 <= 0;

e337:    x54 + x144 - b608 <= 0;

e338:    x57 + x147 - b609 <= 0;

e339:    x60 + x150 - b610 <= 0;

e340:    x63 + x153 - b611 <= 0;

e341:    x66 + x156 - b612 <= 0;

e342:    x69 + x159 - b613 <= 0;

e343:    x72 + x162 - b614 <= 0;

e344:    x75 + x165 - b615 <= 0;

e345:    x78 + x168 - b616 <= 0;

e346:    x81 + x171 - b617 <= 0;

e347:    x84 + x174 - b618 <= 0;

e348:    x87 + x177 - b619 <= 0;

e349:    x90 + x180 - b620 <= 0;

e350:    x93 + x183 - b621 <= 0;

e351:    x96 + x186 - b622 <= 0;

e352:    x99 + x189 - b623 <= 0;

e353:    x102 + x192 - b624 <= 0;

e354:    x105 + x195 - b625 <= 0;

e355:    x108 + x198 - b626 <= 0;

e356:    x111 + x201 - b627 <= 0;

e357:    x114 + x204 - b628 <= 0;

e358:    x117 + x207 - b629 <= 0;

e359:    x120 + x210 - b630 <= 0;

e360:  - 200*b481 + x811 >= 0;

e361:  - 200*b482 + x812 >= 0;

e362:  - 200*b483 + x813 >= 0;

e363:  - 200*b484 + x814 >= 0;

e364:  - 200*b485 + x815 >= 0;

e365:  - 200*b486 + x816 >= 0;

e366:  - 200*b487 + x817 >= 0;

e367:  - 200*b488 + x818 >= 0;

e368:  - 200*b489 + x819 >= 0;

e369:  - 200*b490 + x820 >= 0;

e370:  - 200*b491 + x821 >= 0;

e371:  - 200*b492 + x822 >= 0;

e372:  - 200*b493 + x823 >= 0;

e373:  - 200*b494 + x824 >= 0;

e374:  - 200*b495 + x825 >= 0;

e375:  - 200*b496 + x826 >= 0;

e376:  - 200*b497 + x827 >= 0;

e377:  - 200*b498 + x828 >= 0;

e378:  - 200*b499 + x829 >= 0;

e379:  - 200*b500 + x830 >= 0;

e380:  - 200*b501 + x831 >= 0;

e381:  - 200*b502 + x832 >= 0;

e382:  - 200*b503 + x833 >= 0;

e383:  - 200*b504 + x834 >= 0;

e384:  - 200*b505 + x835 >= 0;

e385:  - 200*b506 + x836 >= 0;

e386:  - 200*b507 + x837 >= 0;

e387:  - 200*b508 + x838 >= 0;

e388:  - 200*b509 + x839 >= 0;

e389:  - 200*b510 + x840 >= 0;

e390:  - 200*b511 + x811 >= 0;

e391:  - 200*b512 + x812 >= 0;

e392:  - 200*b513 + x813 >= 0;

e393:  - 200*b514 + x814 >= 0;

e394:  - 200*b515 + x815 >= 0;

e395:  - 200*b516 + x816 >= 0;

e396:  - 200*b517 + x817 >= 0;

e397:  - 200*b518 + x818 >= 0;

e398:  - 200*b519 + x819 >= 0;

e399:  - 200*b520 + x820 >= 0;

e400:  - 200*b521 + x821 >= 0;

e401:  - 200*b522 + x822 >= 0;

e402:  - 200*b523 + x823 >= 0;

e403:  - 200*b524 + x824 >= 0;

e404:  - 200*b525 + x825 >= 0;

e405:  - 200*b526 + x826 >= 0;

e406:  - 200*b527 + x827 >= 0;

e407:  - 200*b528 + x828 >= 0;

e408:  - 200*b529 + x829 >= 0;

e409:  - 200*b530 + x830 >= 0;

e410:  - 200*b531 + x831 >= 0;

e411:  - 200*b532 + x832 >= 0;

e412:  - 200*b533 + x833 >= 0;

e413:  - 200*b534 + x834 >= 0;

e414:  - 200*b535 + x835 >= 0;

e415:  - 200*b536 + x836 >= 0;

e416:  - 200*b537 + x837 >= 0;

e417:  - 200*b538 + x838 >= 0;

e418:  - 200*b539 + x839 >= 0;

e419:  - 200*b540 + x840 >= 0;

e420:  - x391 + b481 = 0;

e421:  - x392 + b482 = 0;

e422:  - x393 + b483 = 0;

e423:  - x394 + b484 = 0;

e424:  - x395 + b485 = 0;

e425:  - x396 + b486 = 0;

e426:  - x397 + b487 = 0;

e427:  - x398 + b488 = 0;

e428:  - x399 + b489 = 0;

e429:  - x400 + b490 = 0;

e430:  - x401 + b491 = 0;

e431:  - x402 + b492 = 0;

e432:  - x403 + b493 = 0;

e433:  - x404 + b494 = 0;

e434:  - x405 + b495 = 0;

e435:  - x406 + b496 = 0;

e436:  - x407 + b497 = 0;

e437:  - x408 + b498 = 0;

e438:  - x409 + b499 = 0;

e439:  - x410 + b500 = 0;

e440:  - x411 + b501 = 0;

e441:  - x412 + b502 = 0;

e442:  - x413 + b503 = 0;

e443:  - x414 + b504 = 0;

e444:  - x415 + b505 = 0;

e445:  - x416 + b506 = 0;

e446:  - x417 + b507 = 0;

e447:  - x418 + b508 = 0;

e448:  - x419 + b509 = 0;

e449:  - x420 + b510 = 0;

e450:  - x421 + b511 = 0;

e451:  - x422 + b512 = 0;

e452:  - x423 + b513 = 0;

e453:  - x424 + b514 = 0;

e454:  - x425 + b515 = 0;

e455:  - x426 + b516 = 0;

e456:  - x427 + b517 = 0;

e457:  - x428 + b518 = 0;

e458:  - x429 + b519 = 0;

e459:  - x430 + b520 = 0;

e460:  - x431 + b521 = 0;

e461:  - x432 + b522 = 0;

e462:  - x433 + b523 = 0;

e463:  - x434 + b524 = 0;

e464:  - x435 + b525 = 0;

e465:  - x436 + b526 = 0;

e466:  - x437 + b527 = 0;

e467:  - x438 + b528 = 0;

e468:  - x439 + b529 = 0;

e469:  - x440 + b530 = 0;

e470:  - x441 + b531 = 0;

e471:  - x442 + b532 = 0;

e472:  - x443 + b533 = 0;

e473:  - x444 + b534 = 0;

e474:  - x445 + b535 = 0;

e475:  - x446 + b536 = 0;

e476:  - x447 + b537 = 0;

e477:  - x448 + b538 = 0;

e478:  - x449 + b539 = 0;

e479:  - x450 + b540 = 0;

e480:    200*b451 + x811 >= 200;

e481:    200*b452 + x812 >= 200;

e482:    200*b453 + x813 >= 200;

e483:    200*b454 + x814 >= 200;

e484:    200*b455 + x815 >= 200;

e485:    200*b456 + x816 >= 200;

e486:    200*b457 + x817 >= 200;

e487:    200*b458 + x818 >= 200;

e488:    200*b459 + x819 >= 200;

e489:    200*b460 + x820 >= 200;

e490:    200*b461 + x821 >= 200;

e491:    200*b462 + x822 >= 200;

e492:    200*b463 + x823 >= 200;

e493:    200*b464 + x824 >= 200;

e494:    200*b465 + x825 >= 200;

e495:    200*b466 + x826 >= 200;

e496:    200*b467 + x827 >= 200;

e497:    200*b468 + x828 >= 200;

e498:    200*b469 + x829 >= 200;

e499:    200*b470 + x830 >= 200;

e500:    200*b471 + x831 >= 200;

e501:    200*b472 + x832 >= 200;

e502:    200*b473 + x833 >= 200;

e503:    200*b474 + x834 >= 200;

e504:    200*b475 + x835 >= 200;

e505:    200*b476 + x836 >= 200;

e506:    200*b477 + x837 >= 200;

e507:    200*b478 + x838 >= 200;

e508:    200*b479 + x839 >= 200;

e509:    200*b480 + x840 >= 200;

e510:  - 1011*b451 - x811 >= -1211;

e511:  - 980.345454545454*b452 - x812 >= -1180.34545454545;

e512:  - 949.690909090909*b453 - x813 >= -1149.69090909091;

e513:  - 919.036363636363*b454 - x814 >= -1119.03636363636;

e514:  - 888.381818181818*b455 - x815 >= -1088.38181818182;

e515:  - 857.727272727272*b456 - x816 >= -1057.72727272727;

e516:  - 827.072727272727*b457 - x817 >= -1027.07272727273;

e517:  - 796.418181818181*b458 - x818 >= -996.418181818181;

e518:  - 765.763636363636*b459 - x819 >= -965.763636363636;

e519:  - 735.10909090909*b460 - x820 >= -935.10909090909;

e520:  - 704.454545454545*b461 - x821 >= -904.454545454545;

e521:  - 673.8*b462 - x822 >= -873.8;

e522:  - 643.145454545454*b463 - x823 >= -843.145454545454;

e523:  - 612.490909090909*b464 - x824 >= -812.490909090909;

e524:  - 581.836363636363*b465 - x825 >= -781.836363636363;

e525:  - 551.181818181818*b466 - x826 >= -751.181818181818;

e526:  - 520.527272727272*b467 - x827 >= -720.527272727272;

e527:  - 489.872727272727*b468 - x828 >= -689.872727272727;

e528:  - 459.218181818182*b469 - x829 >= -659.218181818182;

e529:  - 428.563636363636*b470 - x830 >= -628.563636363636;

e530:  - 397.909090909091*b471 - x831 >= -597.909090909091;

e531:  - 367.254545454545*b472 - x832 >= -567.254545454545;

e532:  - 336.6*b473 - x833 >= -536.6;

e533:  - 305.945454545454*b474 - x834 >= -505.945454545454;

e534:  - 275.290909090909*b475 - x835 >= -475.290909090909;

e535:  - 244.636363636364*b476 - x836 >= -444.636363636364;

e536:  - 213.981818181818*b477 - x837 >= -413.981818181818;

e537:  - 183.327272727273*b478 - x838 >= -383.327272727273;

e538:  - 152.672727272727*b479 - x839 >= -352.672727272727;

e539:  - 122.018181818182*b480 - x840 >= -322.018181818182;

e540:    x1 - x811 <= 0;

e541:    x2 - x812 <= 0;

e542:    x3 - x813 <= 0;

e543:    x4 - x814 <= 0;

e544:    x5 - x815 <= 0;

e545:    x6 - x816 <= 0;

e546:    x7 - x817 <= 0;

e547:    x8 - x818 <= 0;

e548:    x9 - x819 <= 0;

e549:    x10 - x820 <= 0;

e550:    x11 - x821 <= 0;

e551:    x12 - x822 <= 0;

e552:    x13 - x823 <= 0;

e553:    x14 - x824 <= 0;

e554:    x15 - x825 <= 0;

e555:    x16 - x826 <= 0;

e556:    x17 - x827 <= 0;

e557:    x18 - x828 <= 0;

e558:    x19 - x829 <= 0;

e559:    x20 - x830 <= 0;

e560:    x21 - x831 <= 0;

e561:    x22 - x832 <= 0;

e562:    x23 - x833 <= 0;

e563:    x24 - x834 <= 0;

e564:    x25 - x835 <= 0;

e565:    x26 - x836 <= 0;

e566:    x27 - x837 <= 0;

e567:    x28 - x838 <= 0;

e568:    x29 - x839 <= 0;

e569:    x30 - x840 <= 0;

e570:    x1 + 1211*b451 <= 1211;

e571:    x2 + 1180.34545454545*b452 <= 1180.34545454545;

e572:    x3 + 1149.69090909091*b453 <= 1149.69090909091;

e573:    x4 + 1119.03636363636*b454 <= 1119.03636363636;

e574:    x5 + 1088.38181818182*b455 <= 1088.38181818182;

e575:    x6 + 1057.72727272727*b456 <= 1057.72727272727;

e576:    x7 + 1027.07272727273*b457 <= 1027.07272727273;

e577:    x8 + 996.418181818181*b458 <= 996.418181818181;

e578:    x9 + 965.763636363636*b459 <= 965.763636363636;

e579:    x10 + 935.10909090909*b460 <= 935.10909090909;

e580:    x11 + 904.454545454545*b461 <= 904.454545454545;

e581:    x12 + 873.8*b462 <= 873.8;

e582:    x13 + 843.145454545454*b463 <= 843.145454545454;

e583:    x14 + 812.490909090909*b464 <= 812.490909090909;

e584:    x15 + 781.836363636363*b465 <= 781.836363636363;

e585:    x16 + 751.181818181818*b466 <= 751.181818181818;

e586:    x17 + 720.527272727272*b467 <= 720.527272727272;

e587:    x18 + 689.872727272727*b468 <= 689.872727272727;

e588:    x19 + 659.218181818182*b469 <= 659.218181818182;

e589:    x20 + 628.563636363636*b470 <= 628.563636363636;

e590:    x21 + 597.909090909091*b471 <= 597.909090909091;

e591:    x22 + 567.254545454545*b472 <= 567.254545454545;

e592:    x23 + 536.6*b473 <= 536.6;

e593:    x24 + 505.945454545454*b474 <= 505.945454545454;

e594:    x25 + 475.290909090909*b475 <= 475.290909090909;

e595:    x26 + 444.636363636364*b476 <= 444.636363636364;

e596:    x27 + 413.981818181818*b477 <= 413.981818181818;

e597:    x28 + 383.327272727273*b478 <= 383.327272727273;

e598:    x29 + 352.672727272727*b479 <= 352.672727272727;

e599:    x30 + 322.018181818182*b480 <= 322.018181818182;

e600:    x1 + 1211*b451 - x811 >= 0;

e601:    x2 + 1180.34545454545*b452 - x812 >= 0;

e602:    x3 + 1149.69090909091*b453 - x813 >= 0;

e603:    x4 + 1119.03636363636*b454 - x814 >= 0;

e604:    x5 + 1088.38181818182*b455 - x815 >= 0;

e605:    x6 + 1057.72727272727*b456 - x816 >= 0;

e606:    x7 + 1027.07272727273*b457 - x817 >= 0;

e607:    x8 + 996.418181818181*b458 - x818 >= 0;

e608:    x9 + 965.763636363636*b459 - x819 >= 0;

e609:    x10 + 935.10909090909*b460 - x820 >= 0;

e610:    x11 + 904.454545454545*b461 - x821 >= 0;

e611:    x12 + 873.8*b462 - x822 >= 0;

e612:    x13 + 843.145454545454*b463 - x823 >= 0;

e613:    x14 + 812.490909090909*b464 - x824 >= 0;

e614:    x15 + 781.836363636363*b465 - x825 >= 0;

e615:    x16 + 751.181818181818*b466 - x826 >= 0;

e616:    x17 + 720.527272727272*b467 - x827 >= 0;

e617:    x18 + 689.872727272727*b468 - x828 >= 0;

e618:    x19 + 659.218181818182*b469 - x829 >= 0;

e619:    x20 + 628.563636363636*b470 - x830 >= 0;

e620:    x21 + 597.909090909091*b471 - x831 >= 0;

e621:    x22 + 567.254545454545*b472 - x832 >= 0;

e622:    x23 + 536.6*b473 - x833 >= 0;

e623:    x24 + 505.945454545454*b474 - x834 >= 0;

e624:    x25 + 475.290909090909*b475 - x835 >= 0;

e625:    x26 + 444.636363636364*b476 - x836 >= 0;

e626:    x27 + 413.981818181818*b477 - x837 >= 0;

e627:    x28 + 383.327272727273*b478 - x838 >= 0;

e628:    x29 + 352.672727272727*b479 - x839 >= 0;

e629:    x30 + 322.018181818182*b480 - x840 >= 0;

e630:  - 81.9*x31 + x631 = 0;

e631:  - 81.9*x34 + x634 = 0;

e632:  - 81.9*x37 + x637 = 0;

e633:  - 81.9*x40 + x640 = 0;

e634:  - 81.9*x43 + x643 = 0;

e635:  - 81.9*x46 + x646 = 0;

e636:  - 81.9*x49 + x649 = 0;

e637:  - 81.9*x52 + x652 = 0;

e638:  - 81.9*x55 + x655 = 0;

e639:  - 81.9*x58 + x658 = 0;

e640:  - 81.9*x61 + x661 = 0;

e641:  - 81.9*x64 + x664 = 0;

e642:  - 81.9*x67 + x667 = 0;

e643:  - 81.9*x70 + x670 = 0;

e644:  - 81.9*x73 + x673 = 0;

e645:  - 81.9*x76 + x676 = 0;

e646:  - 81.9*x79 + x679 = 0;

e647:  - 81.9*x82 + x682 = 0;

e648:  - 81.9*x85 + x685 = 0;

e649:  - 81.9*x88 + x688 = 0;

e650:  - 81.9*x91 + x691 = 0;

e651:  - 81.9*x94 + x694 = 0;

e652:  - 81.9*x97 + x697 = 0;

e653:  - 81.9*x100 + x700 = 0;

e654:  - 81.9*x103 + x703 = 0;

e655:  - 81.9*x106 + x706 = 0;

e656:  - 81.9*x109 + x709 = 0;

e657:  - 81.9*x112 + x712 = 0;

e658:  - 81.9*x115 + x715 = 0;

e659:  - 81.9*x118 + x718 = 0;

e660:  - 81.9*x32 + x632 = 0;

e661:  - 81.9*x35 + x635 = 0;

e662:  - 81.9*x38 + x638 = 0;

e663:  - 81.9*x41 + x641 = 0;

e664:  - 81.9*x44 + x644 = 0;

e665:  - 81.9*x47 + x647 = 0;

e666:  - 81.9*x50 + x650 = 0;

e667:  - 81.9*x53 + x653 = 0;

e668:  - 81.9*x56 + x656 = 0;

e669:  - 81.9*x59 + x659 = 0;

e670:  - 81.9*x62 + x662 = 0;

e671:  - 81.9*x65 + x665 = 0;

e672:  - 81.9*x68 + x668 = 0;

e673:  - 81.9*x71 + x671 = 0;

e674:  - 81.9*x74 + x674 = 0;

e675:  - 81.9*x77 + x677 = 0;

e676:  - 81.9*x80 + x680 = 0;

e677:  - 81.9*x83 + x683 = 0;

e678:  - 81.9*x86 + x686 = 0;

e679:  - 81.9*x89 + x689 = 0;

e680:  - 81.9*x92 + x692 = 0;

e681:  - 81.9*x95 + x695 = 0;

e682:  - 81.9*x98 + x698 = 0;

e683:  - 81.9*x101 + x701 = 0;

e684:  - 81.9*x104 + x704 = 0;

e685:  - 81.9*x107 + x707 = 0;

e686:  - 81.9*x110 + x710 = 0;

e687:  - 81.9*x113 + x713 = 0;

e688:  - 81.9*x116 + x716 = 0;

e689:  - 81.9*x119 + x719 = 0;

e690:  - 81.9*x33 + x633 = 0;

e691:  - 81.9*x36 + x636 = 0;

e692:  - 81.9*x39 + x639 = 0;

e693:  - 81.9*x42 + x642 = 0;

e694:  - 81.9*x45 + x645 = 0;

e695:  - 81.9*x48 + x648 = 0;

e696:  - 81.9*x51 + x651 = 0;

e697:  - 81.9*x54 + x654 = 0;

e698:  - 81.9*x57 + x657 = 0;

e699:  - 81.9*x60 + x660 = 0;

e700:  - 81.9*x63 + x663 = 0;

e701:  - 81.9*x66 + x666 = 0;

e702:  - 81.9*x69 + x669 = 0;

e703:  - 81.9*x72 + x672 = 0;

e704:  - 81.9*x75 + x675 = 0;

e705:  - 81.9*x78 + x678 = 0;

e706:  - 81.9*x81 + x681 = 0;

e707:  - 81.9*x84 + x684 = 0;

e708:  - 81.9*x87 + x687 = 0;

e709:  - 81.9*x90 + x690 = 0;

e710:  - 81.9*x93 + x693 = 0;

e711:  - 81.9*x96 + x696 = 0;

e712:  - 81.9*x99 + x699 = 0;

e713:  - 81.9*x102 + x702 = 0;

e714:  - 81.9*x105 + x705 = 0;

e715:  - 81.9*x108 + x708 = 0;

e716:  - 81.9*x111 + x711 = 0;

e717:  - 81.9*x114 + x714 = 0;

e718:  - 81.9*x117 + x717 = 0;

e719:  - 81.9*x120 + x720 = 0;

e720:  - 136.62*x121 + x721 = 0;

e721:  - 136.62*x124 + x724 = 0;

e722:  - 136.62*x127 + x727 = 0;

e723:  - 136.62*x130 + x730 = 0;

e724:  - 136.62*x133 + x733 = 0;

e725:  - 136.62*x136 + x736 = 0;

e726:  - 136.62*x139 + x739 = 0;

e727:  - 136.62*x142 + x742 = 0;

e728:  - 136.62*x145 + x745 = 0;

e729:  - 136.62*x148 + x748 = 0;

e730:  - 136.62*x151 + x751 = 0;

e731:  - 136.62*x154 + x754 = 0;

e732:  - 136.62*x157 + x757 = 0;

e733:  - 136.62*x160 + x760 = 0;

e734:  - 136.62*x163 + x763 = 0;

e735:  - 136.62*x166 + x766 = 0;

e736:  - 136.62*x169 + x769 = 0;

e737:  - 136.62*x172 + x772 = 0;

e738:  - 136.62*x175 + x775 = 0;

e739:  - 136.62*x178 + x778 = 0;

e740:  - 136.62*x181 + x781 = 0;

e741:  - 136.62*x184 + x784 = 0;

e742:  - 136.62*x187 + x787 = 0;

e743:  - 136.62*x190 + x790 = 0;

e744:  - 136.62*x193 + x793 = 0;

e745:  - 136.62*x196 + x796 = 0;

e746:  - 136.62*x199 + x799 = 0;

e747:  - 136.62*x202 + x802 = 0;

e748:  - 136.62*x205 + x805 = 0;

e749:  - 136.62*x208 + x808 = 0;

e750:  - 136.62*x122 + x722 = 0;

e751:  - 136.62*x125 + x725 = 0;

e752:  - 136.62*x128 + x728 = 0;

e753:  - 136.62*x131 + x731 = 0;

e754:  - 136.62*x134 + x734 = 0;

e755:  - 136.62*x137 + x737 = 0;

e756:  - 136.62*x140 + x740 = 0;

e757:  - 136.62*x143 + x743 = 0;

e758:  - 136.62*x146 + x746 = 0;

e759:  - 136.62*x149 + x749 = 0;

e760:  - 136.62*x152 + x752 = 0;

e761:  - 136.62*x155 + x755 = 0;

e762:  - 136.62*x158 + x758 = 0;

e763:  - 136.62*x161 + x761 = 0;

e764:  - 136.62*x164 + x764 = 0;

e765:  - 136.62*x167 + x767 = 0;

e766:  - 136.62*x170 + x770 = 0;

e767:  - 136.62*x173 + x773 = 0;

e768:  - 136.62*x176 + x776 = 0;

e769:  - 136.62*x179 + x779 = 0;

e770:  - 136.62*x182 + x782 = 0;

e771:  - 136.62*x185 + x785 = 0;

e772:  - 136.62*x188 + x788 = 0;

e773:  - 136.62*x191 + x791 = 0;

e774:  - 136.62*x194 + x794 = 0;

e775:  - 136.62*x197 + x797 = 0;

e776:  - 136.62*x200 + x800 = 0;

e777:  - 136.62*x203 + x803 = 0;

e778:  - 136.62*x206 + x806 = 0;

e779:  - 136.62*x209 + x809 = 0;

e780:  - 136.62*x123 + x723 = 0;

e781:  - 136.62*x126 + x726 = 0;

e782:  - 136.62*x129 + x729 = 0;

e783:  - 136.62*x132 + x732 = 0;

e784:  - 136.62*x135 + x735 = 0;

e785:  - 136.62*x138 + x738 = 0;

e786:  - 136.62*x141 + x741 = 0;

e787:  - 136.62*x144 + x744 = 0;

e788:  - 136.62*x147 + x747 = 0;

e789:  - 136.62*x150 + x750 = 0;

e790:  - 136.62*x153 + x753 = 0;

e791:  - 136.62*x156 + x756 = 0;

e792:  - 136.62*x159 + x759 = 0;

e793:  - 136.62*x162 + x762 = 0;

e794:  - 136.62*x165 + x765 = 0;

e795:  - 136.62*x168 + x768 = 0;

e796:  - 136.62*x171 + x771 = 0;

e797:  - 136.62*x174 + x774 = 0;

e798:  - 136.62*x177 + x777 = 0;

e799:  - 136.62*x180 + x780 = 0;

e800:  - 136.62*x183 + x783 = 0;

e801:  - 136.62*x186 + x786 = 0;

e802:  - 136.62*x189 + x789 = 0;

e803:  - 136.62*x192 + x792 = 0;

e804:  - 136.62*x195 + x795 = 0;

e805:  - 136.62*x198 + x798 = 0;

e806:  - 136.62*x201 + x801 = 0;

e807:  - 136.62*x204 + x804 = 0;

e808:  - 136.62*x207 + x807 = 0;

e809:  - 136.62*x210 + x810 = 0;

e811:  - b451 - b481 = -1;

e812:  - b452 - b482 = -1;

e813:  - b453 - b483 = -1;

e814:  - b454 - b484 = -1;

e815:  - b455 - b485 = -1;

e816:  - b456 - b486 = -1;

e817:  - b457 - b487 = -1;

e818:  - b458 - b488 = -1;

e819:  - b459 - b489 = -1;

e820:  - b460 - b490 = -1;

e821:  - b461 - b491 = -1;

e822:  - b462 - b492 = -1;

e823:  - b463 - b493 = -1;

e824:  - b464 - b494 = -1;

e825:  - b465 - b495 = -1;

e826:  - b466 - b496 = -1;

e827:  - b467 - b497 = -1;

e828:  - b468 - b498 = -1;

e829:  - b469 - b499 = -1;

e830:  - b470 - b500 = -1;

e831:  - b471 - b501 = -1;

e832:  - b472 - b502 = -1;

e833:  - b473 - b503 = -1;

e834:  - b474 - b504 = -1;

e835:  - b475 - b505 = -1;

e836:  - b476 - b506 = -1;

e837:  - b477 - b507 = -1;

e838:  - b478 - b508 = -1;

e839:  - b479 - b509 = -1;

e840:  - b480 - b510 = -1;

e841:  - b451 - b511 = -1;

e842:  - b452 - b512 = -1;

e843:  - b453 - b513 = -1;

e844:  - b454 - b514 = -1;

e845:  - b455 - b515 = -1;

e846:  - b456 - b516 = -1;

e847:  - b457 - b517 = -1;

e848:  - b458 - b518 = -1;

e849:  - b459 - b519 = -1;

e850:  - b460 - b520 = -1;

e851:  - b461 - b521 = -1;

e852:  - b462 - b522 = -1;

e853:  - b463 - b523 = -1;

e854:  - b464 - b524 = -1;

e855:  - b465 - b525 = -1;

e856:  - b466 - b526 = -1;

e857:  - b467 - b527 = -1;

e858:  - b468 - b528 = -1;

e859:  - b469 - b529 = -1;

e860:  - b470 - b530 = -1;

e861:  - b471 - b531 = -1;

e862:  - b472 - b532 = -1;

e863:  - b473 - b533 = -1;

e864:  - b474 - b534 = -1;

e865:  - b475 - b535 = -1;

e866:  - b476 - b536 = -1;

e867:  - b477 - b537 = -1;

e868:  - b478 - b538 = -1;

e869:  - b479 - b539 = -1;

e870:  - b480 - b540 = -1;

e871:  - b451 + b452 >= 0;

e872:  - b452 + b453 >= 0;

e873:  - b453 + b454 >= 0;

e874:  - b454 + b455 >= 0;

e875:  - b455 + b456 >= 0;

e876:  - b456 + b457 >= 0;

e877:  - b457 + b458 >= 0;

e878:  - b458 + b459 >= 0;

e879:  - b459 + b460 >= 0;

e880:  - b460 + b461 >= 0;

e881:  - b461 + b462 >= 0;

e882:  - b462 + b463 >= 0;

e883:  - b463 + b464 >= 0;

e884:  - b464 + b465 >= 0;

e885:  - b465 + b466 >= 0;

e886:  - b466 + b467 >= 0;

e887:  - b467 + b468 >= 0;

e888:  - b468 + b469 >= 0;

e889:  - b469 + b470 >= 0;

e890:  - b470 + b471 >= 0;

e891:  - b471 + b472 >= 0;

e892:  - b472 + b473 >= 0;

e893:  - b473 + b474 >= 0;

e894:  - b474 + b475 >= 0;

e895:  - b475 + b476 >= 0;

e896:  - b476 + b477 >= 0;

e897:  - b477 + b478 >= 0;

e898:  - b478 + b479 >= 0;

e899:  - b479 + b480 >= 0;