#  MINLP written by GAMS Convert at 01/12/18 13:52:06
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        823      490      137      196        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        665      629       36        0        0        0        0        0
#  FX      7        7        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2183     1779      404        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var x38;
var x39 >= -1000, <= 1000;
var x40;
var x41;
var x42 >= -1000, <= 1000;
var x43;
var x44;
var x45;
var x46 >= -1000, <= 1000;
var x47;
var x48;
var x49;
var x50 >= -1000, <= 1000;
var x51;
var x52;
var x53;
var x54 >= -1000, <= 1000;
var x55;
var x56;
var x57;
var x58 >= -1000, <= 1000;
var x59;
var x60;
var x61 >= -1000, <= 1000;
var x62;
var x63;
var x64 >= -1000, <= 1000;
var x65;
var x66;
var x67 >= -1000, <= 1000;
var x68;
var x69;
var x70 >= -1000, <= 1000;
var x71;
var x72;
var x73;
var x74 >= -1000, <= 1000;
var x75;
var x76;
var x77;
var x78 >= -1000, <= 1000;
var x79;
var x80;
var x81;
var x82 >= -1000, <= 1000;
var x83;
var x84;
var x85;
var x86 >= -1000, <= 1000;
var x87;
var x88;
var x89 >= -1000, <= 1000;
var x90;
var x91;
var x92 >= -1000, <= 1000;
var x93;
var x94;
var x95 >= -1000, <= 1000;
var x96;
var x97;
var x98 >= -1000, <= 1000;
var x99;
var x100;
var x101;
var x102 >= -1000, <= 1000;
var x103;
var x104;
var x105;
var x106 >= -1000, <= 1000;
var x107;
var x108;
var x109;
var x110 >= -1000, <= 1000;
var x111;
var x112;
var x113;
var x114 >= -1000, <= 1000;
var x115;
var x116;
var x117 >= -1000, <= 1000;
var x118;
var x119;
var x120 >= -1000, <= 1000;
var x121;
var x122;
var x123 >= -1000, <= 1000;
var x124;
var x125;
var x126 >= 0, <= 5;
var x127 >= 0, <= 5;
var x128 >= 0, <= 5;
var x129 >= 0, <= 5;
var x130 >= 0, <= 5;
var x131 >= 0, <= 2.4;
var x132 >= 0, <= 5;
var x133 >= 0, <= 2.4;
var x134 >= 0, <= 5;
var x135 >= 0, <= 2.4;
var x136 >= 0, <= 5;
var x137 >= 0, <= 2.4;
var x138 >= 0, <= 5;
var x139 >= 0, <= 2.4;
var x140 >= 0, <= 5;
var x141 >= 0, <= 2.4;
var x142 >= 0, <= 5;
var x143 >= 0, <= 2.4;
var x144 >= 0, <= 5;
var x145 >= 0, <= 2.4;
var x146 >= 0, <= 5;
var x147 >= 0, <= 5;
var x148 >= 0, <= 5;
var x149 >= 0, <= 5;
var x150 >= 0, <= 5;
var x151 >= 0, <= 1.16;
var x152 >= 0, <= 5;
var x153 >= 0, <= 1.16;
var x154 >= 0, <= 5;
var x155 >= 0, <= 1.16;
var x156 >= 0, <= 5;
var x157 >= 0, <= 1.16;
var x158 >= 0, <= 5;
var x159 >= 0, <= 5;
var x160 >= 0, <= 5;
var x161 >= 0, <= 5;
var x162 := 3.5, >= 3.5, <= 3.5;
var x163 := 2, >= 2, <= 5;
var x164 := 2, >= 2, <= 5;
var x165 := 2, >= 2, <= 5;
var x166 := 2, >= 2, <= 5;
var x167 := 2, >= 2, <= 5;
var x168 := 2, >= 2, <= 5;
var x169 := 2, >= 2, <= 5;
var x170 := 4.1, >= 4.1, <= 4.1;
var x171 := 2.5, >= 2.5, <= 5;
var x172 := 2.5, >= 2.5, <= 5;
var x173 := 2.5, >= 2.5, <= 5;
var x174 := 2.5, >= 2.5, <= 5;
var x175 := 2.5, >= 2.5, <= 5;
var x176 := 2.5, >= 2.5, <= 5;
var x177 := 2.5, >= 2.5, <= 5;
var x178 := 4, >= 4, <= 4;
var x179 := 2, >= 2, <= 6;
var x180 := 2, >= 2, <= 6;
var x181 := 2, >= 2, <= 6;
var x182 := 2, >= 2, <= 6;
var x183 := 2, >= 2, <= 6;
var x184 := 2, >= 2, <= 6;
var x185 := 2, >= 2, <= 6;
var x186 >= 0, <= 0.8;
var x187 >= -1000, <= 1000;
var x188 >= 0, <= 0.8;
var x189;
var x190 >= 0, <= 0.8;
var x191;
var x192 >= 0, <= 0.8;
var x193;
var x194 >= 0, <= 0.8;
var x195 >= -1000, <= 1000;
var x196 >= 0, <= 0.8;
var x197;
var x198 >= 0, <= 0.8;
var x199;
var x200 >= 0, <= 0.8;
var x201;
var x202 >= 0, <= 0.8;
var x203 >= -1000, <= 1000;
var x204 >= 0, <= 0.8;
var x205;
var x206 >= 0, <= 0.8;
var x207;
var x208 >= 0, <= 0.8;
var x209;
var x210 >= 0, <= 0.5;
var x211 >= -1000, <= 1000;
var x212 >= 0, <= 0.5;
var x213;
var x214 >= 0, <= 0.5;
var x215;
var x216 >= 0, <= 0.5;
var x217;
var x218 >= 0, <= 0.5;
var x219 >= -1000, <= 1000;
var x220 >= 0, <= 0.5;
var x221;
var x222 >= 0, <= 0.5;
var x223;
var x224 >= 0, <= 0.5;
var x225 >= -1000, <= 1000;
var x226 >= 0, <= 0.7;
var x227;
var x228 >= 0, <= 0.7;
var x229;
var x230 >= 0, <= 0.7;
var x231 >= -1000, <= 1000;
var x232 >= 0, <= 0.7;
var x233;
var x234 >= 0, <= 0.7;
var x235;
var x236 >= 0, <= 0.7;
var x237 >= -1000, <= 1000;
var x238 >= 0, <= 0.7;
var x239;
var x240 >= 0, <= 0.7;
var x241;
var x242 >= 0, <= 0.58;
var x243 >= -1000, <= 1000;
var x244 >= 0, <= 0.58;
var x245;
var x246 >= 0, <= 0.58;
var x247;
var x248 >= 0, <= 0.58;
var x249 >= -1000, <= 1000;
var x250 >= 0, <= 0.58;
var x251;
var x252 >= 0, <= 0.58;
var x253;
var x254 >= 0, <= 0.58;
var x255 >= -1000, <= 1000;
var x256 >= 0, <= 0.58;
var x257;
var x258 := 62, >= 62, <= 65;
var x259 := 62, >= 62, <= 65;
var x260 := 62, >= 62, <= 65;
var x261 := 62, >= 62, <= 65;
var x262 := 92.5, >= 92.5, <= 95;
var x263 := 92.5, >= 92.5, <= 95;
var x264 := 92.5, >= 92.5, <= 95;
var x265 := 92.5, >= 92.5, <= 95;
var x266 := 105, >= 105, <= 109;
var x267 := 105, >= 105, <= 109;
var x268 := 105, >= 105, <= 109;
var x269 := 105, >= 105, <= 109;
var x270 >= 0, <= 1000;
var x271 >= -125, <= 125;
var x272 >= 0, <= 1000;
var x273 >= -125, <= 125;
var x274 >= 0, <= 1000;
var x275 >= -125, <= 125;
var x276 >= 0, <= 1000;
var x277 >= -125, <= 125;
var x278 >= 0, <= 1000;
var x279 >= 0, <= 1000;
var x280 >= -100, <= 100;
var x281 >= 0, <= 1000;
var x282 >= 0, <= 1000;
var x283 >= -100, <= 100;
var x284 >= 0, <= 1000;
var x285 >= 0, <= 1000;
var x286 >= -100, <= 100;
var x287 >= 0, <= 1000;
var x288 >= 0, <= 1000;
var x289 >= -100, <= 100;
var x290 >= 0, <= 1000;
var x291 >= -125, <= 125;
var x292 >= 0, <= 1000;
var x293 >= -125, <= 125;
var x294 >= 0, <= 1000;
var x295 >= -125, <= 125;
var x296 >= 0, <= 1000;
var x297 >= -125, <= 125;
var x298 := 49, >= 49, <= 49;
var x299 >= -49, <= 1000;
var x300 := 49, >= 49, <= 49;
var x301 >= -49, <= 1000;
var x302 := 49, >= 49, <= 49;
var x303 >= -49, <= 1000;
var x304 := 49, >= 49, <= 49;
var x305 >= -49, <= 1000;
var x306 >= -65, <= 1000;
var x307 >= -65, <= 1000;
var x308 >= -65, <= 1000;
var x309 >= -65, <= 1000;
var x310 >= -95, <= 1000;
var x311 >= -95, <= 1000;
var x312 >= -95, <= 1000;
var x313 >= -95, <= 1000;
var x314 := 0.2, >= 0.2, <= 0.8;
var x315 := 0.2, >= 0.2, <= 0.8;
var x316 := 0.2, >= 0.2, <= 0.8;
var x317 := 0.2, >= 0.2, <= 0.8;
var x318 := 0.2, >= 0.2, <= 0.8;
var x319 := 0.2, >= 0.2, <= 0.8;
var x320 := 0.2, >= 0.2, <= 0.8;
var x321 := 0.2, >= 0.2, <= 0.8;
var x322 := 0.2, >= 0.2, <= 0.8;
var x323 := 0.2, >= 0.2, <= 0.8;
var x324 := 0.2, >= 0.2, <= 0.8;
var x325 := 0.2, >= 0.2, <= 0.8;
var x326 := 0.25, >= 0.25, <= 0.5;
var x327 := 0.25, >= 0.25, <= 0.5;
var x328 := 0.25, >= 0.25, <= 0.5;
var x329 := 0.25, >= 0.25, <= 0.5;
var x330 := 0.25, >= 0.25, <= 0.5;
var x331 := 0.25, >= 0.25, <= 0.5;
var x332 := 0.25, >= 0.25, <= 0.5;
var x333 := 0.25, >= 0.25, <= 0.5;
var x334 := 0.4, >= 0.4, <= 0.7;
var x335 := 0.4, >= 0.4, <= 0.7;
var x336 := 0.4, >= 0.4, <= 0.7;
var x337 := 0.4, >= 0.4, <= 0.7;
var x338 := 0.4, >= 0.4, <= 0.7;
var x339 := 0.4, >= 0.4, <= 0.7;
var x340 := 0.4, >= 0.4, <= 0.7;
var x341 := 0.4, >= 0.4, <= 0.7;
var x342 := 0.24, >= 0.24, <= 0.58;
var x343 := 0.24, >= 0.24, <= 0.58;
var x344 := 0.24, >= 0.24, <= 0.58;
var x345 := 0.24, >= 0.24, <= 0.58;
var x346 := 0.24, >= 0.24, <= 0.58;
var x347 := 0.24, >= 0.24, <= 0.58;
var x348 := 0.24, >= 0.24, <= 0.58;
var x349 := 0.24, >= 0.24, <= 0.58;
var x350 := 0.6, >= 0.6, <= 1;
var x351 := 0.6, >= 0.6, <= 1;
var x352 := 0.6, >= 0.6, <= 1;
var x353 := 0.6, >= 0.6, <= 1;
var x354 := 0.8, >= 0.8, <= 1;
var x355 := 0.8, >= 0.8, <= 1;
var x356 := 0.8, >= 0.8, <= 1;
var x357 := 0.8, >= 0.8, <= 1;
var x358 := 0.85, >= 0.85, <= 1;
var x359 := 0.85, >= 0.85, <= 1;
var x360 := 0.85, >= 0.85, <= 1;
var x361 := 0.85, >= 0.85, <= 1;
var x362 := 0.7, >= 0.7, <= 1;
var x363 := 0.7, >= 0.7, <= 1;
var x364 := 0.7, >= 0.7, <= 1;
var x365 := 0.7, >= 0.7, <= 1;
var x366 := 100, >= 100, <= 1000;
var x367 := 100, >= 100, <= 1000;
var x368 := 100, >= 100, <= 1000;
var x369 := 100, >= 100, <= 1000;
var x370 >= 0, <= 54.1717996137183;
var x371;
var x372;
var x373;
var x374;
var x375 >= 0, <= 54.1717996137183;
var x376;
var x377;
var x378;
var x379;
var x380;
var x381;
var x382;
var x383;
var x384 >= 0, <= 54.1717996137183;
var x385;
var x386;
var x387;
var x388;
var x389 >= 0, <= 54.1717996137183;
var x390 >= 0, <= 54.1717996137183;
var x391;
var x392;
var x393;
var x394;
var x395 >= 0, <= 54.1717996137183;
var x396;
var x397;
var x398;
var x399;
var x400 >= 0, <= 54.1717996137183;
var x401;
var x402;
var x403;
var x404;
var x405;
var x406;
var x407 >= 0, <= 54.1717996137183;
var x408;
var x409;
var x410 >= 0, <= 54.1717996137183;
var x411;
var x412;
var x413;
var x414;
var x415 >= 0, <= 54.1717996137183;
var x416;
var x417;
var x418;
var x419;
var x420 >= 0, <= 54.1717996137183;
var x421;
var x422;
var x423;
var x424;
var x425 >= 0, <= 54.1717996137183;
var x426;
var x427;
var x428;
var x429;
var x430 >= 0, <= 93.045051789432;
var x431;
var x432;
var x433;
var x434;
var x435 >= 0, <= 93.045051789432;
var x436;
var x437;
var x438;
var x439;
var x440 >= 0, <= 93.045051789432;
var x441;
var x442;
var x443;
var x444;
var x445 >= 0, <= 93.045051789432;
var x446;
var x447;
var x448;
var x449;
var x450 >= 0, <= 93.045051789432;
var x451;
var x452;
var x453;
var x454;
var x455 >= 0, <= 93.045051789432;
var x456;
var x457;
var x458;
var x459;
var x460 >= 0, <= 93.045051789432;
var x461;
var x462;
var x463;
var x464;
var x465 >= 0, <= 93.045051789432;
var x466;
var x467;
var x468;
var x469;
var x470 >= 0, <= 112.384987749469;
var x471;
var x472;
var x473;
var x474;
var x475 >= 0, <= 112.384987749469;
var x476;
var x477;
var x478;
var x479;
var x480 >= 0, <= 112.384987749469;
var x481;
var x482;
var x483;
var x484;
var x485 >= 0, <= 112.384987749469;
var x486;
var x487;
var x488;
var x489;
var x490 >= 0, <= 112.384987749469;
var x491;
var x492;
var x493;
var x494;
var x495 >= 0, <= 112.384987749469;
var x496;
var x497;
var x498;
var x499;
var x500 >= 0, <= 112.384987749469;
var x501;
var x502;
var x503;
var x504;
var x505 >= 0, <= 112.384987749469;
var x506;
var x507;
var x508;
var x509;
var x510 >= 0, <= 42.066542469172;
var x511;
var x512;
var x513;
var x514;
var x515 >= 0, <= 42.066542469172;
var x516;
var x517;
var x518;
var x519;
var x520 >= 0, <= 42.066542469172;
var x521;
var x522;
var x523;
var x524;
var x525 >= 0, <= 42.066542469172;
var x526;
var x527;
var x528;
var x529;
var x530 >= 0, <= 42.066542469172;
var x531;
var x532;
var x533;
var x534;
var x535 >= 0, <= 42.066542469172;
var x536;
var x537;
var x538;
var x539;
var x540 >= 0, <= 42.066542469172;
var x541;
var x542;
var x543;
var x544;
var x545 >= 0, <= 42.066542469172;
var x546;
var x547;
var x548;
var x549;
var x550 >= 0, <= 25;
var x551 >= 0, <= 25;
var x552 >= 0, <= 25;
var x553 >= 0, <= 25;
var x554 >= 0, <= 25;
var x555 >= 0, <= 25;
var x556 >= 0, <= 25;
var x557 >= 0, <= 25;
var x558 >= 0, <= 25;
var x559 >= 0, <= 25;
var x560 >= 0, <= 25;
var x561 >= 0, <= 25;
var x562 >= 0, <= 0.64;
var x563 >= 0, <= 0.512;
var x564 >= 0, <= 0.64;
var x565 >= 0, <= 0.512;
var x566 >= 0, <= 0.64;
var x567 >= 0, <= 0.512;
var x568 >= 0, <= 0.64;
var x569 >= 0, <= 0.512;
var x570 >= 0, <= 0.64;
var x571 >= 0, <= 0.512;
var x572 >= 0, <= 0.64;
var x573 >= 0, <= 0.512;
var x574 >= 0, <= 0.64;
var x575 >= 0, <= 0.512;
var x576 >= 0, <= 0.64;
var x577 >= 0, <= 0.512;
var x578 >= 0, <= 0.64;
var x579 >= 0, <= 0.512;
var x580 >= 0, <= 0.64;
var x581 >= 0, <= 0.512;
var x582 >= 0, <= 0.64;
var x583 >= 0, <= 0.512;
var x584 >= 0, <= 0.64;
var x585 >= 0, <= 0.512;
var x586 >= 0, <= 0.25;
var x587 >= 0, <= 0.125;
var x588 >= 0, <= 0.25;
var x589 >= 0, <= 0.125;
var x590 >= 0, <= 0.25;
var x591 >= 0, <= 0.125;
var x592 >= 0, <= 0.25;
var x593 >= 0, <= 0.125;
var x594 >= 0, <= 0.25;
var x595 >= 0, <= 0.125;
var x596 >= 0, <= 0.25;
var x597 >= 0, <= 0.125;
var x598 >= 0, <= 0.25;
var x599 >= 0, <= 0.125;
var x600 >= 0, <= 0.25;
var x601 >= 0, <= 0.125;
var x602 >= 0, <= 0.49;
var x603 >= 0, <= 0.343;
var x604 >= 0, <= 0.49;
var x605 >= 0, <= 0.343;
var x606 >= 0, <= 0.49;
var x607 >= 0, <= 0.343;
var x608 >= 0, <= 0.49;
var x609 >= 0, <= 0.343;
var x610 >= 0, <= 0.49;
var x611 >= 0, <= 0.343;
var x612 >= 0, <= 0.49;
var x613 >= 0, <= 0.343;
var x614 >= 0, <= 0.49;
var x615 >= 0, <= 0.343;
var x616 >= 0, <= 0.49;
var x617 >= 0, <= 0.343;
var x618 >= 0, <= 0.3364;
var x619 >= 0, <= 0.195112;
var x620 >= 0, <= 0.3364;
var x621 >= 0, <= 0.195112;
var x622 >= 0, <= 0.3364;
var x623 >= 0, <= 0.195112;
var x624 >= 0, <= 0.3364;
var x625 >= 0, <= 0.195112;
var x626 >= 0, <= 0.3364;
var x627 >= 0, <= 0.195112;
var x628 >= 0, <= 0.3364;
var x629 >= 0, <= 0.195112;
var x630 >= 0, <= 0.3364;
var x631 >= 0, <= 0.195112;
var x632 >= 0, <= 0.3364;
var x633 >= 0, <= 0.195112;
var x634 := 0.36, >= 0.36, <= 1;
var x635 := 0.216, >= 0.216, <= 1;
var x636 := 0.36, >= 0.36, <= 1;
var x637 := 0.216, >= 0.216, <= 1;
var x638 := 0.36, >= 0.36, <= 1;
var x639 := 0.216, >= 0.216, <= 1;
var x640 := 0.36, >= 0.36, <= 1;
var x641 := 0.216, >= 0.216, <= 1;
var x642 := 0.64, >= 0.64, <= 1;
var x643 := 0.512, >= 0.512, <= 1;
var x644 := 0.64, >= 0.64, <= 1;
var x645 := 0.512, >= 0.512, <= 1;
var x646 := 0.64, >= 0.64, <= 1;
var x647 := 0.512, >= 0.512, <= 1;
var x648 := 0.64, >= 0.64, <= 1;
var x649 := 0.512, >= 0.512, <= 1;
var x650 := 0.7225, >= 0.7225, <= 1;
var x651 := 0.614125, >= 0.614125, <= 1;
var x652 := 0.7225, >= 0.7225, <= 1;
var x653 := 0.614125, >= 0.614125, <= 1;
var x654 := 0.7225, >= 0.7225, <= 1;
var x655 := 0.614125, >= 0.614125, <= 1;
var x656 := 0.7225, >= 0.7225, <= 1;
var x657 := 0.614125, >= 0.614125, <= 1;
var x658 := 0.49, >= 0.49, <= 1;
var x659 := 0.343, >= 0.343, <= 1;
var x660 := 0.49, >= 0.49, <= 1;
var x661 := 0.343, >= 0.343, <= 1;
var x662 := 0.49, >= 0.49, <= 1;
var x663 := 0.343, >= 0.343, <= 1;
var x664 := 0.49, >= 0.49, <= 1;
var x665 := 0.343, >= 0.343, <= 1;

minimize obj:    x370 + x375 + x384 + x389 + x390 + x395 + x400 + x407 + x410
     + x415 + x420 + x425 + x430 + x435 + x440 + x445 + x450 + x455 + x460
     + x465 + x470 + x475 + x480 + x485 + x490 + x495 + x500 + x505 + x510
     + x515 + x520 + x525 + x530 + x535 + x540 + x545;

subject to

e2:    x187 + 27.42831624*x189 + 37.5407324*x191 - 57.2814121*x193 = 0;

e3:    x195 + 27.42831624*x197 + 37.5407324*x199 - 57.2814121*x201 = 0;

e4:    x203 + 27.42831624*x205 + 37.5407324*x207 - 57.2814121*x209 = 0;

e5:    x211 + 27.42831624*x213 - 57.2814121*x215 + 37.5407324*x217 = 0;

e6:  - 57.2814121*x193 + x219 + 37.5407324*x221 + 27.42831624*x223 = 0;

e7:  - 57.2814121*x201 + x225 + 37.5407324*x227 + 27.42831624*x229 = 0;

e8:  - 57.2814121*x209 + x231 + 37.5407324*x233 + 27.42831624*x235 = 0;

e9:  - 57.2814121*x215 + x237 + 37.5407324*x239 + 27.42831624*x241 = 0;

e10:  - 57.2814121*x193 + x243 + 27.42831624*x245 + 37.5407324*x247 = 0;

e11:  - 57.2814121*x201 + x249 + 27.42831624*x251 + 37.5407324*x253 = 0;

e12:    27.42831624*x38 - 57.2814121*x209 + x255 + 37.5407324*x257 = 0;

e13:    x39 + 37.5407324*x40 + 27.42831624*x41 - 57.2814121*x215 = 0;

e14:    x42 - 76.45219958*x43 + 43.14087708*x44 + 50.37356589*x45 = 0;

e15:    x46 + 50.37356589*x47 + 43.14087708*x48 - 76.45219958*x49 = 0;

e16:    x50 + 43.14087708*x51 + 50.37356589*x52 - 76.45219958*x53 = 0;

e17:    x54 + 50.37356589*x55 + 43.14087708*x56 - 76.45219958*x57 = 0;

e18:  - 76.45219958*x43 + x58 + 43.14087708*x59 + 50.37356589*x60 = 0;

e19:  - 76.45219958*x49 + x61 + 43.14087708*x62 + 50.37356589*x63 = 0;

e20:  - 76.45219958*x53 + x64 + 43.14087708*x65 + 50.37356589*x66 = 0;

e21:  - 76.45219958*x57 + x67 + 43.14087708*x68 + 50.37356589*x69 = 0;

e22:    x70 + 58.31011875*x71 - 25.39911174*x72 - 69.39622571*x73 = 0;

e23:    x74 - 25.39911174*x75 - 69.39622571*x76 + 58.31011875*x77 = 0;

e24:    x78 + 58.31011875*x79 - 69.39622571*x80 - 25.39911174*x81 = 0;

e25:    x82 - 69.39622571*x83 - 25.39911174*x84 + 58.31011875*x85 = 0;

e26:  - 69.39622571*x73 + x86 + 58.31011875*x87 - 25.39911174*x88 = 0;

e27:  - 69.39622571*x76 + x89 + 58.31011875*x90 - 25.39911174*x91 = 0;

e28:  - 69.39622571*x80 + x92 + 58.31011875*x93 - 25.39911174*x94 = 0;

e29:  - 69.39622571*x83 + x95 - 25.39911174*x96 + 58.31011875*x97 = 0;

e30:    x98 - 34.92732674*x99 + 63.61644904*x100 - 2.03724124*x101 = 0;

e31:    x102 - 2.03724124*x103 - 34.92732674*x104 + 63.61644904*x105 = 0;

e32:    x106 - 34.92732674*x107 - 2.03724124*x108 + 63.61644904*x109 = 0;

e33:    x110 + 63.61644904*x111 - 2.03724124*x112 - 34.92732674*x113 = 0;

e34:  - 34.92732674*x99 + x114 - 2.03724124*x115 + 63.61644904*x116 = 0;

e35:  - 34.92732674*x104 + x117 + 63.61644904*x118 - 2.03724124*x119 = 0;

e36:  - 34.92732674*x107 + x120 - 2.03724124*x121 + 63.61644904*x122 = 0;

e37:  - 34.92732674*x113 + x123 - 2.03724124*x124 + 63.61644904*x125 = 0;

e38:    x126 + x127 + x128 + x129 >= 1.152222222;

e39:  - x130 + x131 = 0;

e40:  - x132 + x133 = 0;

e41:  - x134 + x135 = 0;

e42:  - x136 + x137 = 0;

e43:  - x138 + x139 = 0;

e44:  - x140 + x141 = 0;

e45:  - x142 + x143 = 0;

e46:  - x144 + x145 = 0;

e47:    x138 - x146 = 0;

e48:    x140 - x147 = 0;

e49:    x142 - x148 = 0;

e50:    x144 - x149 = 0;

e51:  - x150 + x151 = 0;

e52:  - x152 + x153 = 0;

e53:  - x154 + x155 = 0;

e54:  - x156 + x157 = 0;

e55:    x158 = 0.296666667;

e56:    x159 = 0.294444444;

e57:    x160 = 0.283888889;

e58:    x161 = 0.277222222;

e59:    x126 - x131 = 0;

e60:    x127 - x133 = 0;

e61:    x128 - x135 = 0;

e62:    x129 - x137 = 0;

e63:    3600*x130 - 3600*x139 + 1800*x162 - 1800*x163 = 0;

e64:    3600*x132 - 3600*x141 + 1800*x164 - 1800*x165 = 0;

e65:    3600*x134 - 3600*x143 + 1800*x166 - 1800*x167 = 0;

e66:    3600*x136 - 3600*x145 + 1800*x168 - 1800*x169 = 0;

e67:    3600*x146 - 3600*x151 + 720*x170 - 720*x171 = 0;

e68:    3600*x147 - 3600*x153 + 720*x172 - 720*x173 = 0;

e69:    3600*x148 - 3600*x155 + 720*x174 - 720*x175 = 0;

e70:    3600*x149 - 3600*x157 + 720*x176 - 720*x177 = 0;

e71:    3600*x150 - 3600*x158 + 1600*x178 - 1600*x179 = 0;

e72:    3600*x152 - 3600*x159 + 1600*x180 - 1600*x181 = 0;

e73:    3600*x154 - 3600*x160 + 1600*x182 - 1600*x183 = 0;

e74:    3600*x156 - 3600*x161 + 1600*x184 - 1600*x185 = 0;

e75:  - x163 + x164 = 0;

e76:  - x165 + x166 = 0;

e77:  - x167 + x168 = 0;

e78:  - x171 + x172 = 0;

e79:  - x173 + x174 = 0;

e80:  - x175 + x176 = 0;

e81:  - x179 + x180 = 0;

e82:  - x181 + x182 = 0;

e83:  - x183 + x184 = 0;

e84:  - 0.2*b2 + x186 >= 0;

e85:  - 0.2*b3 + x188 >= 0;

e86:  - 0.2*b4 + x190 >= 0;

e87:  - 0.2*b5 + x192 >= 0;

e88:  - 0.2*b6 + x194 >= 0;

e89:  - 0.2*b7 + x196 >= 0;

e90:  - 0.2*b8 + x198 >= 0;

e91:  - 0.2*b9 + x200 >= 0;

e92:  - 0.2*b10 + x202 >= 0;

e93:  - 0.2*b11 + x204 >= 0;

e94:  - 0.2*b12 + x206 >= 0;

e95:  - 0.2*b13 + x208 >= 0;

e96:  - 0.25*b14 + x210 >= 0;

e97:  - 0.25*b15 + x212 >= 0;

e98:  - 0.25*b16 + x214 >= 0;

e99:  - 0.25*b17 + x216 >= 0;

e100:  - 0.25*b18 + x218 >= 0;

e101:  - 0.25*b19 + x220 >= 0;

e102:  - 0.25*b20 + x222 >= 0;

e103:  - 0.25*b21 + x224 >= 0;

e104:  - 0.4*b22 + x226 >= 0;

e105:  - 0.4*b23 + x228 >= 0;

e106:  - 0.4*b24 + x230 >= 0;

e107:  - 0.4*b25 + x232 >= 0;

e108:  - 0.4*b26 + x234 >= 0;

e109:  - 0.4*b27 + x236 >= 0;

e110:  - 0.4*b28 + x238 >= 0;

e111:  - 0.4*b29 + x240 >= 0;

e112:  - 0.24*b30 + x242 >= 0;

e113:  - 0.24*b31 + x244 >= 0;

e114:  - 0.24*b32 + x246 >= 0;

e115:  - 0.24*b33 + x248 >= 0;

e116:  - 0.24*b34 + x250 >= 0;

e117:  - 0.24*b35 + x252 >= 0;

e118:  - 0.24*b36 + x254 >= 0;

e119:  - 0.24*b37 + x256 >= 0;

e120:  - 0.8*b2 + x186 <= 0;

e121:  - 0.8*b3 + x188 <= 0;

e122:  - 0.8*b4 + x190 <= 0;

e123:  - 0.8*b5 + x192 <= 0;

e124:  - 0.8*b6 + x194 <= 0;

e125:  - 0.8*b7 + x196 <= 0;

e126:  - 0.8*b8 + x198 <= 0;

e127:  - 0.8*b9 + x200 <= 0;

e128:  - 0.8*b10 + x202 <= 0;

e129:  - 0.8*b11 + x204 <= 0;

e130:  - 0.8*b12 + x206 <= 0;

e131:  - 0.8*b13 + x208 <= 0;

e132:  - 0.5*b14 + x210 <= 0;

e133:  - 0.5*b15 + x212 <= 0;

e134:  - 0.5*b16 + x214 <= 0;

e135:  - 0.5*b17 + x216 <= 0;

e136:  - 0.5*b18 + x218 <= 0;

e137:  - 0.5*b19 + x220 <= 0;

e138:  - 0.5*b20 + x222 <= 0;

e139:  - 0.5*b21 + x224 <= 0;

e140:  - 0.7*b22 + x226 <= 0;

e141:  - 0.7*b23 + x228 <= 0;

e142:  - 0.7*b24 + x230 <= 0;

e143:  - 0.7*b25 + x232 <= 0;

e144:  - 0.7*b26 + x234 <= 0;

e145:  - 0.7*b27 + x236 <= 0;

e146:  - 0.7*b28 + x238 <= 0;

e147:  - 0.7*b29 + x240 <= 0;

e148:  - 0.58*b30 + x242 <= 0;

e149:  - 0.58*b31 + x244 <= 0;

e150:  - 0.58*b32 + x246 <= 0;

e151:  - 0.58*b33 + x248 <= 0;

e152:  - 0.58*b34 + x250 <= 0;

e153:  - 0.58*b35 + x252 <= 0;

e154:  - 0.58*b36 + x254 <= 0;

e155:  - 0.58*b37 + x256 <= 0;

e156:  - x162 + x258 = 60;

e157:  - x164 + x259 = 60;

e158:  - x166 + x260 = 60;

e159:  - x168 + x261 = 60;

e160:  - x170 + x262 = 90;

e161:  - x172 + x263 = 90;

e162:  - x174 + x264 = 90;

e163:  - x176 + x265 = 90;

e164:  - x178 + x266 = 103;

e165:  - x180 + x267 = 103;

e166:  - x182 + x268 = 103;

e167:  - x184 + x269 = 103;

e168:  - x258 + x270 - x271 = 0;

e169:  - x259 + x272 - x273 = 0;

e170:  - x260 + x274 - x275 = 0;

e171:  - x261 + x276 - x277 = 0;

e172:    x278 - x279 - x280 = 0;

e173:    x281 - x282 - x283 = 0;

e174:    x284 - x285 - x286 = 0;

e175:    x287 - x288 - x289 = 0;

e176:  - x266 + x290 - x291 = 0;

e177:  - x267 + x292 - x293 = 0;

e178:  - x268 + x294 - x295 = 0;

e179:  - x269 + x296 - x297 = 0;

e180:    x270 - x298 - x299 = 0;

e181:    x272 - x300 - x301 = 0;

e182:    x274 - x302 - x303 = 0;

e183:    x276 - x304 - x305 = 0;

e184:  - x258 + x278 - x306 = 0;

e185:  - x259 + x281 - x307 = 0;

e186:  - x260 + x284 - x308 = 0;

e187:  - x261 + x287 - x309 = 0;

e188:  - x262 + x290 - x310 = 0;

e189:  - x263 + x292 - x311 = 0;

e190:  - x264 + x294 - x312 = 0;

e191:  - x265 + x296 - x313 = 0;

e192:    0.2*b2 - x186 + x314 <= 0.2;

e193:    0.2*b3 - x188 + x315 <= 0.2;

e194:    0.2*b4 - x190 + x316 <= 0.2;

e195:    0.2*b5 - x192 + x317 <= 0.2;

e196:    0.2*b6 - x194 + x318 <= 0.2;

e197:    0.2*b7 - x196 + x319 <= 0.2;

e198:    0.2*b8 - x198 + x320 <= 0.2;

e199:    0.2*b9 - x200 + x321 <= 0.2;

e200:    0.2*b10 - x202 + x322 <= 0.2;

e201:    0.2*b11 - x204 + x323 <= 0.2;

e202:    0.2*b12 - x206 + x324 <= 0.2;

e203:    0.2*b13 - x208 + x325 <= 0.2;

e204:    0.25*b14 - x210 + x326 <= 0.25;

e205:    0.25*b15 - x212 + x327 <= 0.25;

e206:    0.25*b16 - x214 + x328 <= 0.25;

e207:    0.25*b17 - x216 + x329 <= 0.25;

e208:    0.25*b18 - x218 + x330 <= 0.25;

e209:    0.25*b19 - x220 + x331 <= 0.25;

e210:    0.25*b20 - x222 + x332 <= 0.25;

e211:    0.25*b21 - x224 + x333 <= 0.25;

e212:    0.4*b22 - x226 + x334 <= 0.4;

e213:    0.4*b23 - x228 + x335 <= 0.4;

e214:    0.4*b24 - x230 + x336 <= 0.4;

e215:    0.4*b25 - x232 + x337 <= 0.4;

e216:    0.4*b26 - x234 + x338 <= 0.4;

e217:    0.4*b27 - x236 + x339 <= 0.4;

e218:    0.4*b28 - x238 + x340 <= 0.4;

e219:    0.4*b29 - x240 + x341 <= 0.4;

e220:    0.24*b30 - x242 + x342 <= 0.24;

e221:    0.24*b31 - x244 + x343 <= 0.24;

e222:    0.24*b32 - x246 + x344 <= 0.24;

e223:    0.24*b33 - x248 + x345 <= 0.24;

e224:    0.24*b34 - x250 + x346 <= 0.24;

e225:    0.24*b35 - x252 + x347 <= 0.24;

e226:    0.24*b36 - x254 + x348 <= 0.24;

e227:    0.24*b37 - x256 + x349 <= 0.24;

e228:  - x186 + x314 >= 0;

e229:  - x188 + x315 >= 0;

e230:  - x190 + x316 >= 0;

e231:  - x192 + x317 >= 0;

e232:  - x194 + x318 >= 0;

e233:  - x196 + x319 >= 0;

e234:  - x198 + x320 >= 0;

e235:  - x200 + x321 >= 0;

e236:  - x202 + x322 >= 0;

e237:  - x204 + x323 >= 0;

e238:  - x206 + x324 >= 0;

e239:  - x208 + x325 >= 0;

e240:  - x210 + x326 >= 0;

e241:  - x212 + x327 >= 0;

e242:  - x214 + x328 >= 0;

e243:  - x216 + x329 >= 0;

e244:  - x218 + x330 >= 0;

e245:  - x220 + x331 >= 0;

e246:  - x222 + x332 >= 0;

e247:  - x224 + x333 >= 0;

e248:  - x226 + x334 >= 0;

e249:  - x228 + x335 >= 0;

e250:  - x230 + x336 >= 0;

e251:  - x232 + x337 >= 0;

e252:  - x234 + x338 >= 0;

e253:  - x236 + x339 >= 0;

e254:  - x238 + x340 >= 0;

e255:  - x240 + x341 >= 0;

e256:  - x242 + x342 >= 0;

e257:  - x244 + x343 >= 0;

e258:  - x246 + x344 >= 0;

e259:  - x248 + x345 >= 0;

e260:  - x250 + x346 >= 0;

e261:  - x252 + x347 >= 0;

e262:  - x254 + x348 >= 0;

e263:  - x256 + x349 >= 0;

e264:  - 0.6*b2 + x314 <= 0.2;

e265:  - 0.6*b3 + x315 <= 0.2;

e266:  - 0.6*b4 + x316 <= 0.2;

e267:  - 0.6*b5 + x317 <= 0.2;

e268:  - 0.6*b6 + x318 <= 0.2;

e269:  - 0.6*b7 + x319 <= 0.2;

e270:  - 0.6*b8 + x320 <= 0.2;

e271:  - 0.6*b9 + x321 <= 0.2;

e272:  - 0.6*b10 + x322 <= 0.2;

e273:  - 0.6*b11 + x323 <= 0.2;

e274:  - 0.6*b12 + x324 <= 0.2;

e275:  - 0.6*b13 + x325 <= 0.2;

e276:  - 0.25*b14 + x326 <= 0.25;

e277:  - 0.25*b15 + x327 <= 0.25;

e278:  - 0.25*b16 + x328 <= 0.25;

e279:  - 0.25*b17 + x329 <= 0.25;

e280:  - 0.25*b18 + x330 <= 0.25;

e281:  - 0.25*b19 + x331 <= 0.25;

e282:  - 0.25*b20 + x332 <= 0.25;

e283:  - 0.25*b21 + x333 <= 0.25;

e284:  - 0.3*b22 + x334 <= 0.4;

e285:  - 0.3*b23 + x335 <= 0.4;

e286:  - 0.3*b24 + x336 <= 0.4;

e287:  - 0.3*b25 + x337 <= 0.4;

e288:  - 0.3*b26 + x338 <= 0.4;

e289:  - 0.3*b27 + x339 <= 0.4;

e290:  - 0.3*b28 + x340 <= 0.4;

e291:  - 0.3*b29 + x341 <= 0.4;

e292:  - 0.34*b30 + x342 <= 0.24;

e293:  - 0.34*b31 + x343 <= 0.24;

e294:  - 0.34*b32 + x344 <= 0.24;

e295:  - 0.34*b33 + x345 <= 0.24;

e296:  - 0.34*b34 + x346 <= 0.24;

e297:  - 0.34*b35 + x347 <= 0.24;

e298:  - 0.34*b36 + x348 <= 0.24;

e299:  - 0.34*b37 + x349 <= 0.24;

e300:  - 0.4*b2 + x350 <= 0.6;

e301:  - 0.4*b3 + x351 <= 0.6;

e302:  - 0.4*b4 + x352 <= 0.6;

e303:  - 0.4*b5 + x353 <= 0.6;

e304:  - 0.2*b14 + x354 <= 0.8;

e305:  - 0.2*b15 + x355 <= 0.8;

e306:  - 0.2*b16 + x356 <= 0.8;

e307:  - 0.2*b17 + x357 <= 0.8;

e308:  - 0.15*b22 + x358 <= 0.85;

e309:  - 0.15*b23 + x359 <= 0.85;

e310:  - 0.15*b24 + x360 <= 0.85;

e311:  - 0.15*b25 + x361 <= 0.85;

e312:  - 0.3*b30 + x362 <= 0.7;

e313:  - 0.3*b31 + x363 <= 0.7;

e314:  - 0.3*b32 + x364 <= 0.7;

e315:  - 0.3*b33 + x365 <= 0.7;

e316:    b2 - b6 >= 0;

e317:    b3 - b7 >= 0;

e318:    b4 - b8 >= 0;

e319:    b5 - b9 >= 0;

e320:    b6 - b10 >= 0;

e321:    b7 - b11 >= 0;

e322:    b8 - b12 >= 0;

e323:    b9 - b13 >= 0;

e324:    b14 - b18 >= 0;

e325:    b15 - b19 >= 0;

e326:    b16 - b20 >= 0;

e327:    b17 - b21 >= 0;

e328:    b22 - b26 >= 0;

e329:    b23 - b27 >= 0;

e330:    b24 - b28 >= 0;

e331:    b25 - b29 >= 0;

e332:    b30 - b34 >= 0;

e333:    b31 - b35 >= 0;

e334:    b32 - b36 >= 0;

e335:    b33 - b37 >= 0;

e336:    x131 - x186 - x194 - x202 = 0;

e337:    x133 - x188 - x196 - x204 = 0;

e338:    x135 - x190 - x198 - x206 = 0;

e339:    x137 - x192 - x200 - x208 = 0;

e340:    x139 - x210 - x218 - x226 - x234 = 0;

e341:    x141 - x212 - x220 - x228 - x236 = 0;

e342:    x143 - x214 - x222 - x230 - x238 = 0;

e343:    x145 - x216 - x224 - x232 - x240 = 0;

e344:    x151 - x242 - x250 = 0;

e345:    x153 - x244 - x252 = 0;

e346:    x155 - x246 - x254 = 0;

e347:    x157 - x248 - x256 = 0;

e348:  - 2000*b2 + x187 - x299 >= -2000;

e349:  - 2000*b3 + x195 - x301 >= -2000;

e350:  - 2000*b4 + x203 - x303 >= -2000;

e351:  - 2000*b5 + x211 - x305 >= -2000;

e352:  - 2000*b6 + x219 - x299 >= -2000;

e353:  - 2000*b7 + x225 - x301 >= -2000;

e354:  - 2000*b8 + x231 - x303 >= -2000;

e355:  - 2000*b9 + x237 - x305 >= -2000;

e356:  - 2000*b10 + x243 - x299 >= -2000;

e357:  - 2000*b11 + x249 - x301 >= -2000;

e358:  - 2000*b12 + x255 - x303 >= -2000;

e359:  - 2000*b13 + x39 - x305 >= -2000;

e360:  - 2000*b14 + x42 - x306 >= -2000;

e361:  - 2000*b15 + x46 - x307 >= -2000;

e362:  - 2000*b16 + x50 - x308 >= -2000;

e363:  - 2000*b17 + x54 - x309 >= -2000;

e364:  - 2000*b18 + x58 - x306 >= -2000;

e365:  - 2000*b19 + x61 - x307 >= -2000;

e366:  - 2000*b20 + x64 - x308 >= -2000;

e367:  - 2000*b21 + x67 - x309 >= -2000;

e368:  - 2000*b22 + x70 - x306 >= -2000;

e369:  - 2000*b23 + x74 - x307 >= -2000;

e370:  - 2000*b24 + x78 - x308 >= -2000;

e371:  - 2000*b25 + x82 - x309 >= -2000;

e372:  - 2000*b26 + x86 - x306 >= -2000;

e373:  - 2000*b27 + x89 - x307 >= -2000;

e374:  - 2000*b28 + x92 - x308 >= -2000;

e375:  - 2000*b29 + x95 - x309 >= -2000;

e376:  - 2000*b30 + x98 - x310 >= -2000;

e377:  - 2000*b31 + x102 - x311 >= -2000;

e378:  - 2000*b32 + x106 - x312 >= -2000;

e379:  - 2000*b33 + x110 - x313 >= -2000;

e380:  - 2000*b34 + x114 - x310 >= -2000;

e381:  - 2000*b35 + x117 - x311 >= -2000;

e382:  - 2000*b36 + x120 - x312 >= -2000;

e383:  - 2000*b37 + x123 - x313 >= -2000;

e384:    1049*b2 + x187 - x299 <= 1049;

e385:    1049*b3 + x195 - x301 <= 1049;

e386:    1049*b4 + x203 - x303 <= 1049;

e387:    1049*b5 + x211 - x305 <= 1049;

e388:    1049*b6 + x219 - x299 <= 1049;

e389:    1049*b7 + x225 - x301 <= 1049;

e390:    1049*b8 + x231 - x303 <= 1049;

e391:    1049*b9 + x237 - x305 <= 1049;

e392:    1049*b10 + x243 - x299 <= 1049;

e393:    1049*b11 + x249 - x301 <= 1049;

e394:    1049*b12 + x255 - x303 <= 1049;

e395:    1049*b13 + x39 - x305 <= 1049;

e396:    1065*b14 + x42 - x306 <= 1065;

e397:    1065*b15 + x46 - x307 <= 1065;

e398:    1065*b16 + x50 - x308 <= 1065;

e399:    1065*b17 + x54 - x309 <= 1065;

e400:    1065*b18 + x58 - x306 <= 1065;

e401:    1065*b19 + x61 - x307 <= 1065;

e402:    1065*b20 + x64 - x308 <= 1065;

e403:    1065*b21 + x67 - x309 <= 1065;

e404:    1065*b22 + x70 - x306 <= 1065;

e405:    1065*b23 + x74 - x307 <= 1065;

e406:    1065*b24 + x78 - x308 <= 1065;

e407:    1065*b25 + x82 - x309 <= 1065;

e408:    1065*b26 + x86 - x306 <= 1065;

e409:    1065*b27 + x89 - x307 <= 1065;

e410:    1065*b28 + x92 - x308 <= 1065;

e411:    1065*b29 + x95 - x309 <= 1065;

e412:    1095*b30 + x98 - x310 <= 1095;

e413:    1095*b31 + x102 - x311 <= 1095;

e414:    1095*b32 + x106 - x312 <= 1095;

e415:    1095*b33 + x110 - x313 <= 1095;

e416:    1095*b34 + x114 - x310 <= 1095;

e417:    1095*b35 + x117 - x311 <= 1095;

e418:    1095*b36 + x120 - x312 <= 1095;

e419:    1095*b37 + x123 - x313 <= 1095;

e420:  - x262 + x279 >= 0;

e421:  - x263 + x282 >= 0;

e422:  - x264 + x285 >= 0;

e423:  - x265 + x288 >= 0;

e424:    x266 - x366 >= 0;

e425:    x267 - x367 >= 0;

e426:    x268 - x368 >= 0;

e427:    x269 - x369 >= 0;

e428:  - 0.309838295393634*x370 + 13.94696158*x371 + 24.46510819*x372
       - 7.28623839*x373 - 23.57687014*x374 <= 0;

e429:  - 0.309838295393634*x375 + 13.94696158*x376 + 24.46510819*x377
       - 7.28623839*x378 - 23.57687014*x379 <= 0;

e430:    13.94696158*x380 + 24.46510819*x381 - 7.28623839*x382
       - 23.57687014*x383 - 0.309838295393634*x384 <= 0;

e431:    13.94696158*x385 + 24.46510819*x386 - 7.28623839*x387
       - 23.57687014*x388 - 0.309838295393634*x389 <= 0;

e432:  - 0.309838295393634*x390 + 13.94696158*x391 + 24.46510819*x392
       - 7.28623839*x393 - 23.57687014*x394 <= 0;

e433:  - 0.309838295393634*x395 + 13.94696158*x396 + 24.46510819*x397
       - 7.28623839*x398 - 23.57687014*x399 <= 0;

e434:  - 0.309838295393634*x400 + 13.94696158*x401 + 24.46510819*x402
       - 7.28623839*x403 - 23.57687014*x404 <= 0;

e435:    24.46510819*x405 - 7.28623839*x406 - 0.309838295393634*x407
       + 13.94696158*x408 - 23.57687014*x409 <= 0;

e436:  - 0.309838295393634*x410 + 13.94696158*x411 + 24.46510819*x412
       - 7.28623839*x413 - 23.57687014*x414 <= 0;

e437:  - 0.309838295393634*x415 + 13.94696158*x416 + 24.46510819*x417
       - 7.28623839*x418 - 23.57687014*x419 <= 0;

e438:  - 0.309838295393634*x420 + 13.94696158*x421 + 24.46510819*x422
       - 7.28623839*x423 - 23.57687014*x424 <= 0;

e439:  - 0.309838295393634*x425 + 13.94696158*x426 + 24.46510819*x427
       - 7.28623839*x428 - 23.57687014*x429 <= 0;

e440:  - 0.309838295393634*x430 + 29.29404529*x431 - 108.39408287*x432
       + 442.21990639*x433 - 454.58448169*x434 <= 0;

e441:  - 0.309838295393634*x435 + 29.29404529*x436 - 108.39408287*x437
       + 442.21990639*x438 - 454.58448169*x439 <= 0;

e442:  - 0.309838295393634*x440 + 29.29404529*x441 - 108.39408287*x442
       + 442.21990639*x443 - 454.58448169*x444 <= 0;

e443:  - 0.309838295393634*x445 + 29.29404529*x446 - 108.39408287*x447
       + 442.21990639*x448 - 454.58448169*x449 <= 0;

e444:  - 0.309838295393634*x450 + 29.29404529*x451 - 108.39408287*x452
       + 442.21990639*x453 - 454.58448169*x454 <= 0;

e445:  - 0.309838295393634*x455 + 29.29404529*x456 - 108.39408287*x457
       + 442.21990639*x458 - 454.58448169*x459 <= 0;

e446:  - 0.309838295393634*x460 + 29.29404529*x461 - 108.39408287*x462
       + 442.21990639*x463 - 454.58448169*x464 <= 0;

e447:  - 0.309838295393634*x465 + 29.29404529*x466 - 108.39408287*x467
       + 442.21990639*x468 - 454.58448169*x469 <= 0;

e448:  - 0.309838295393634*x470 + 25.92674585*x471 + 18.13482123*x472
       + 22.12766012*x473 - 42.68950769*x474 <= 0;

e449:  - 0.309838295393634*x475 + 25.92674585*x476 + 18.13482123*x477
       + 22.12766012*x478 - 42.68950769*x479 <= 0;

e450:  - 0.309838295393634*x480 + 25.92674585*x481 + 18.13482123*x482
       + 22.12766012*x483 - 42.68950769*x484 <= 0;

e451:  - 0.309838295393634*x485 + 25.92674585*x486 + 18.13482123*x487
       + 22.12766012*x488 - 42.68950769*x489 <= 0;

e452:  - 0.309838295393634*x490 + 25.92674585*x491 + 18.13482123*x492
       + 22.12766012*x493 - 42.68950769*x494 <= 0;

e453:  - 0.309838295393634*x495 + 25.92674585*x496 + 18.13482123*x497
       + 22.12766012*x498 - 42.68950769*x499 <= 0;

e454:  - 0.309838295393634*x500 + 25.92674585*x501 + 18.13482123*x502
       + 22.12766012*x503 - 42.68950769*x504 <= 0;

e455:  - 0.309838295393634*x505 + 25.92674585*x506 + 18.13482123*x507
       + 22.12766012*x508 - 42.68950769*x509 <= 0;

e456:  - 0.309838295393634*x510 + 17.4714791*x511 - 39.98407808*x512
       + 134.55943082*x513 - 135.88441782*x514 <= 0;

e457:  - 0.309838295393634*x515 + 17.4714791*x516 - 39.98407808*x517
       + 134.55943082*x518 - 135.88441782*x519 <= 0;

e458:  - 0.309838295393634*x520 + 17.4714791*x521 - 39.98407808*x522
       + 134.55943082*x523 - 135.88441782*x524 <= 0;

e459:  - 0.309838295393634*x525 + 17.4714791*x526 - 39.98407808*x527
       + 134.55943082*x528 - 135.88441782*x529 <= 0;

e460:  - 0.309838295393634*x530 + 17.4714791*x531 - 39.98407808*x532
       + 134.55943082*x533 - 135.88441782*x534 <= 0;

e461:  - 0.309838295393634*x535 + 17.4714791*x536 - 39.98407808*x537
       + 134.55943082*x538 - 135.88441782*x539 <= 0;

e462:  - 0.309838295393634*x540 + 17.4714791*x541 - 39.98407808*x542
       + 134.55943082*x543 - 135.88441782*x544 <= 0;

e463:  - 0.309838295393634*x545 + 17.4714791*x546 - 39.98407808*x547
       + 134.55943082*x548 - 135.88441782*x549 <= 0;

e464: x130^2 - x550 = 0;

e465:    x271 - 5*x550 = 0;

e466: x132^2 - x551 = 0;

e467:    x273 - 5*x551 = 0;

e468: x134^2 - x552 = 0;

e469:    x275 - 5*x552 = 0;

e470: x136^2 - x553 = 0;

e471:    x277 - 5*x553 = 0;

e472: x138^2 - x554 = 0;

e473:    x280 - 4*x554 = 0;

e474: x140^2 - x555 = 0;

e475:    x283 - 4*x555 = 0;

e476: x142^2 - x556 = 0;

e477:    x286 - 4*x556 = 0;

e478: x144^2 - x557 = 0;

e479:    x289 - 4*x557 = 0;

e480: x150^2 - x558 = 0;

e481:    x291 - 5*x558 = 0;

e482: x152^2 - x559 = 0;

e483:    x293 - 5*x559 = 0;

e484: x154^2 - x560 = 0;

e485:    x295 - 5*x560 = 0;

e486: x156^2 - x561 = 0;

e487:    x297 - 5*x561 = 0;

e488: x186^2 - x562 = 0;

e489:    x189 - x562 = 0;

e490: x186^3 - x563 = 0;

e491:    x374 - x563 = 0;

e492: x188^2 - x564 = 0;

e493:    x197 - x564 = 0;

e494: x188^3 - x565 = 0;

e495:    x379 - x565 = 0;

e496: x190^2 - x566 = 0;

e497:    x205 - x566 = 0;

e498: x190^3 - x567 = 0;

e499:    x383 - x567 = 0;

e500: x192^2 - x568 = 0;

e501:    x213 - x568 = 0;

e502: x192^3 - x569 = 0;

e503:    x388 - x569 = 0;

e504: x194^2 - x570 = 0;

e505:    x223 - x570 = 0;

e506: x194^3 - x571 = 0;

e507:    x394 - x571 = 0;

e508: x196^2 - x572 = 0;

e509:    x229 - x572 = 0;

e510: x196^3 - x573 = 0;

e511:    x399 - x573 = 0;

e512: x198^2 - x574 = 0;

e513:    x235 - x574 = 0;

e514: x198^3 - x575 = 0;

e515:    x404 - x575 = 0;

e516: x200^2 - x576 = 0;

e517:    x241 - x576 = 0;

e518: x200^3 - x577 = 0;

e519:    x409 - x577 = 0;

e520: x202^2 - x578 = 0;

e521:    x245 - x578 = 0;

e522: x202^3 - x579 = 0;

e523:    x414 - x579 = 0;

e524: x204^2 - x580 = 0;

e525:    x251 - x580 = 0;

e526: x204^3 - x581 = 0;

e527:    x419 - x581 = 0;

e528: x206^2 - x582 = 0;

e529:    x38 - x582 = 0;

e530: x206^3 - x583 = 0;

e531:    x424 - x583 = 0;

e532: x208^2 - x584 = 0;

e533:    x41 - x584 = 0;

e534: x208^3 - x585 = 0;

e535:    x429 - x585 = 0;

e536: x210^2 - x586 = 0;

e537:    x45 - x586 = 0;

e538: x210^3 - x587 = 0;

e539:    x434 - x587 = 0;

e540: x212^2 - x588 = 0;

e541:    x47 - x588 = 0;

e542: x212^3 - x589 = 0;

e543:    x439 - x589 = 0;

e544: x214^2 - x590 = 0;

e545:    x52 - x590 = 0;

e546: x214^3 - x591 = 0;

e547:    x444 - x591 = 0;

e548: x216^2 - x592 = 0;

e549:    x55 - x592 = 0;

e550: x216^3 - x593 = 0;

e551:    x449 - x593 = 0;

e552: x218^2 - x594 = 0;

e553:    x60 - x594 = 0;

e554: x218^3 - x595 = 0;

e555:    x454 - x595 = 0;

e556: x220^2 - x596 = 0;

e557:    x63 - x596 = 0;

e558: x220^3 - x597 = 0;

e559:    x459 - x597 = 0;

e560: x222^2 - x598 = 0;

e561:    x66 - x598 = 0;

e562: x222^3 - x599 = 0;

e563:    x464 - x599 = 0;

e564: x224^2 - x600 = 0;

e565:    x69 - x600 = 0;

e566: x224^3 - x601 = 0;

e567:    x469 - x601 = 0;

e568: x226^2 - x602 = 0;

e569:    x72 - x602 = 0;

e570: x226^3 - x603 = 0;

e571:    x474 - x603 = 0;

e572: x228^2 - x604 = 0;

e573:    x75 - x604 = 0;

e574: x228^3 - x605 = 0;

e575:    x479 - x605 = 0;

e576: x230^2 - x606 = 0;

e577:    x81 - x606 = 0;

e578: x230^3 - x607 = 0;

e579:    x484 - x607 = 0;

e580: x232^2 - x608 = 0;

e581:    x84 - x608 = 0;

e582: x232^3 - x609 = 0;

e583:    x489 - x609 = 0;

e584: x234^2 - x610 = 0;

e585:    x88 - x610 = 0;

e586: x234^3 - x611 = 0;

e587:    x494 - x611 = 0;

e588: x236^2 - x612 = 0;

e589:    x91 - x612 = 0;

e590: x236^3 - x613 = 0;

e591:    x499 - x613 = 0;

e592: x238^2 - x614 = 0;

e593:    x94 - x614 = 0;

e594: x238^3 - x615 = 0;

e595:    x504 - x615 = 0;

e596: x240^2 - x616 = 0;

e597:    x96 - x616 = 0;

e598: x240^3 - x617 = 0;

e599:    x509 - x617 = 0;

e600: x242^2 - x618 = 0;

e601:    x100 - x618 = 0;

e602: x242^3 - x619 = 0;

e603:    x514 - x619 = 0;

e604: x244^2 - x620 = 0;

e605:    x105 - x620 = 0;

e606: x244^3 - x621 = 0;

e607:    x519 - x621 = 0;

e608: x246^2 - x622 = 0;

e609:    x109 - x622 = 0;

e610: x246^3 - x623 = 0;

e611:    x524 - x623 = 0;

e612: x248^2 - x624 = 0;

e613:    x111 - x624 = 0;

e614: x248^3 - x625 = 0;

e615:    x529 - x625 = 0;

e616: x250^2 - x626 = 0;

e617:    x116 - x626 = 0;

e618: x250^3 - x627 = 0;

e619:    x534 - x627 = 0;

e620: x252^2 - x628 = 0;

e621:    x118 - x628 = 0;

e622: x252^3 - x629 = 0;

e623:    x539 - x629 = 0;

e624: x254^2 - x630 = 0;

e625:    x122 - x630 = 0;

e626: x254^3 - x631 = 0;

e627:    x544 - x631 = 0;

e628: x256^2 - x632 = 0;

e629:    x125 - x632 = 0;

e630: x256^3 - x633 = 0;

e631:    x549 - x633 = 0;

e632: x186*x350 - x191 = 0;

e633: x350*x562 - x373 = 0;

e634: x194*x350 - x221 = 0;

e635: x350*x570 - x393 = 0;

e636: x202*x350 - x247 = 0;

e637: x350*x578 - x413 = 0;

e638: x350^2 - x634 = 0;

e639:    x193 - x634 = 0;

e640: x186*x634 - x372 = 0;

e641: x194*x634 - x392 = 0;

e642: x202*x634 - x412 = 0;

e643: x350^3 - x635 = 0;

e644: b2*x635 - x371 = 0;

e645: b6*x635 - x391 = 0;

e646: b10*x635 - x411 = 0;

e647: x188*x351 - x199 = 0;

e648: x351*x564 - x378 = 0;

e649: x196*x351 - x227 = 0;

e650: x351*x572 - x398 = 0;

e651: x204*x351 - x253 = 0;

e652: x351*x580 - x418 = 0;

e653: x351^2 - x636 = 0;

e654:    x201 - x636 = 0;

e655: x188*x636 - x377 = 0;

e656: x196*x636 - x397 = 0;

e657: x204*x636 - x417 = 0;

e658: x351^3 - x637 = 0;

e659: b3*x637 - x376 = 0;

e660: b7*x637 - x396 = 0;

e661: b11*x637 - x416 = 0;

e662: x190*x352 - x207 = 0;

e663: x352*x566 - x382 = 0;

e664: x198*x352 - x233 = 0;

e665: x352*x574 - x403 = 0;

e666: x206*x352 - x257 = 0;

e667: x352*x582 - x423 = 0;

e668: x352^2 - x638 = 0;

e669:    x209 - x638 = 0;

e670: x190*x638 - x381 = 0;

e671: x198*x638 - x402 = 0;

e672: x206*x638 - x422 = 0;

e673: x352^3 - x639 = 0;

e674: b4*x639 - x380 = 0;

e675: b8*x639 - x401 = 0;

e676: b12*x639 - x421 = 0;

e677: x192*x353 - x217 = 0;

e678: x353*x568 - x387 = 0;

e679: x200*x353 - x239 = 0;

e680: x353*x576 - x406 = 0;

e681: x208*x353 - x40 = 0;

e682: x353*x584 - x428 = 0;

e683: x353^2 - x640 = 0;

e684:    x215 - x640 = 0;

e685: x192*x640 - x386 = 0;

e686: x200*x640 - x405 = 0;

e687: x208*x640 - x427 = 0;

e688: x353^3 - x641 = 0;

e689: b5*x641 - x385 = 0;

e690: b9*x641 - x408 = 0;

e691: b13*x641 - x426 = 0;

e692: x210*x354 - x44 = 0;

e693: x354*x586 - x433 = 0;

e694: x218*x354 - x59 = 0;

e695: x354*x594 - x453 = 0;

e696: x354^2 - x642 = 0;

e697:    x43 - x642 = 0;

e698: x210*x642 - x432 = 0;

e699: x218*x642 - x452 = 0;

e700: x354^3 - x643 = 0;

e701: b14*x643 - x431 = 0;

e702: b18*x643 - x451 = 0;

e703: x212*x355 - x48 = 0;

e704: x355*x588 - x438 = 0;

e705: x220*x355 - x62 = 0;

e706: x355*x596 - x458 = 0;

e707: x355^2 - x644 = 0;

e708:    x49 - x644 = 0;

e709: x212*x644 - x437 = 0;

e710: x220*x644 - x457 = 0;

e711: x355^3 - x645 = 0;

e712: b15*x645 - x436 = 0;

e713: b19*x645 - x456 = 0;

e714: x214*x356 - x51 = 0;

e715: x356*x590 - x443 = 0;

e716: x222*x356 - x65 = 0;

e717: x356*x598 - x463 = 0;

e718: x356^2 - x646 = 0;

e719:    x53 - x646 = 0;

e720: x214*x646 - x442 = 0;

e721: x222*x646 - x462 = 0;

e722: x356^3 - x647 = 0;

e723: b16*x647 - x441 = 0;

e724: b20*x647 - x461 = 0;

e725: x216*x357 - x56 = 0;

e726: x357*x592 - x448 = 0;

e727: x224*x357 - x68 = 0;

e728: x357*x600 - x468 = 0;

e729: x357^2 - x648 = 0;

e730:    x57 - x648 = 0;

e731: x216*x648 - x447 = 0;

e732: x224*x648 - x467 = 0;

e733: x357^3 - x649 = 0;

e734: b17*x649 - x446 = 0;

e735: b21*x649 - x466 = 0;

e736: x226*x358 - x71 = 0;

e737: x358*x602 - x473 = 0;

e738: x234*x358 - x87 = 0;

e739: x358*x610 - x493 = 0;

e740: x358^2 - x650 = 0;

e741:    x73 - x650 = 0;

e742: x226*x650 - x472 = 0;

e743: x234*x650 - x492 = 0;

e744: x358^3 - x651 = 0;

e745: b22*x651 - x471 = 0;

e746: b26*x651 - x491 = 0;

e747: x228*x359 - x77 = 0;

e748: x359*x604 - x478 = 0;

e749: x236*x359 - x90 = 0;

e750: x359*x612 - x498 = 0;

e751: x359^2 - x652 = 0;

e752:    x76 - x652 = 0;

e753: x228*x652 - x477 = 0;

e754: x236*x652 - x497 = 0;

e755: x359^3 - x653 = 0;

e756: b23*x653 - x476 = 0;

e757: b27*x653 - x496 = 0;

e758: x230*x360 - x79 = 0;

e759: x360*x606 - x483 = 0;

e760: x238*x360 - x93 = 0;

e761: x360*x614 - x503 = 0;

e762: x360^2 - x654 = 0;

e763:    x80 - x654 = 0;

e764: x230*x654 - x482 = 0;

e765: x238*x654 - x502 = 0;

e766: x360^3 - x655 = 0;

e767: b24*x655 - x481 = 0;

e768: b28*x655 - x501 = 0;

e769: x232*x361 - x85 = 0;

e770: x361*x608 - x488 = 0;

e771: x240*x361 - x97 = 0;

e772: x361*x616 - x508 = 0;

e773: x361^2 - x656 = 0;

e774:    x83 - x656 = 0;

e775: x232*x656 - x487 = 0;

e776: x240*x656 - x507 = 0;

e777: x361^3 - x657 = 0;

e778: b25*x657 - x486 = 0;

e779: b29*x657 - x506 = 0;

e780: x242*x362 - x101 = 0;

e781: x362*x618 - x513 = 0;

e782: x250*x362 - x115 = 0;

e783: x362*x626 - x533 = 0;

e784: x362^2 - x658 = 0;

e785:    x99 - x658 = 0;

e786: x242*x658 - x512 = 0;

e787: x250*x658 - x532 = 0;

e788: x362^3 - x659 = 0;

e789: b30*x659 - x511 = 0;

e790: b34*x659 - x531 = 0;

e791: x244*x363 - x103 = 0;

e792: x363*x620 - x518 = 0;

e793: x252*x363 - x119 = 0;

e794: x363*x628 - x538 = 0;

e795: x363^2 - x660 = 0;

e796:    x104 - x660 = 0;

e797: x244*x660 - x517 = 0;

e798: x252*x660 - x537 = 0;

e799: x363^3 - x661 = 0;

e800: b31*x661 - x516 = 0;

e801: b35*x661 - x536 = 0;

e802: x246*x364 - x108 = 0;

e803: x364*x622 - x523 = 0;

e804: x254*x364 - x121 = 0;

e805: x364*x630 - x543 = 0;

e806: x364^2 - x662 = 0;

e807:    x107 - x662 = 0;

e808: x246*x662 - x522 = 0;

e809: x254*x662 - x542 = 0;

e810: x364^3 - x663 = 0;

e811: b32*x663 - x521 = 0;

e812: b36*x663 - x541 = 0;

e813: x248*x365 - x112 = 0;

e814: x365*x624 - x528 = 0;

e815: x256*x365 - x124 = 0;

e816: x365*x632 - x548 = 0;

e817: x365^2 - x664 = 0;

e818:    x113 - x664 = 0;

e819: x248*x664 - x527 = 0;

e820: x256*x664 - x547 = 0;

e821: x365^3 - x665 = 0;

e822: b33*x665 - x526 = 0;

e823: b37*x665 - x546 = 0;