#  MINLP written by GAMS Convert at 01/12/18 13:43:51
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        901      381       74      446        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        577      457      120        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2039     1919      120        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 40;
var x3 >= 0, <= 40;
var x4 >= 0;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0, <= 30;
var x25 >= 0, <= 30;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0, <= 20;
var x59 >= 0, <= 20;
var x60 >= 0, <= 20;
var x61 >= 0, <= 20;
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, <= 30;
var x115 >= 0, <= 30;
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 b398 binary >= 0, <= 1;
var b399 binary >= 0, <= 1;
var b400 binary >= 0, <= 1;
var b401 binary >= 0, <= 1;
var b402 binary >= 0, <= 1;
var b403 binary >= 0, <= 1;
var b404 binary >= 0, <= 1;
var b405 binary >= 0, <= 1;
var b406 binary >= 0, <= 1;
var b407 binary >= 0, <= 1;
var b408 binary >= 0, <= 1;
var b409 binary >= 0, <= 1;
var b410 binary >= 0, <= 1;
var b411 binary >= 0, <= 1;
var b412 binary >= 0, <= 1;
var b413 binary >= 0, <= 1;
var b414 binary >= 0, <= 1;
var b415 binary >= 0, <= 1;
var b416 binary >= 0, <= 1;
var b417 binary >= 0, <= 1;
var b418 binary >= 0, <= 1;
var b419 binary >= 0, <= 1;
var b420 binary >= 0, <= 1;
var b421 binary >= 0, <= 1;
var b422 binary >= 0, <= 1;
var b423 binary >= 0, <= 1;
var b424 binary >= 0, <= 1;
var b425 binary >= 0, <= 1;
var b426 binary >= 0, <= 1;
var b427 binary >= 0, <= 1;
var b428 binary >= 0, <= 1;
var b429 binary >= 0, <= 1;
var b430 binary >= 0, <= 1;
var b431 binary >= 0, <= 1;
var b432 binary >= 0, <= 1;
var b433 binary >= 0, <= 1;
var b434 binary >= 0, <= 1;
var b435 binary >= 0, <= 1;
var b436 binary >= 0, <= 1;
var b437 binary >= 0, <= 1;
var b438 binary >= 0, <= 1;
var b439 binary >= 0, <= 1;
var b440 binary >= 0, <= 1;
var b441 binary >= 0, <= 1;
var b442 binary >= 0, <= 1;
var b443 binary >= 0, <= 1;
var b444 binary >= 0, <= 1;
var b445 binary >= 0, <= 1;
var b446 binary >= 0, <= 1;
var b447 binary >= 0, <= 1;
var b448 binary >= 0, <= 1;
var b449 binary >= 0, <= 1;
var b450 binary >= 0, <= 1;
var b451 binary >= 0, <= 1;
var b452 binary >= 0, <= 1;
var b453 binary >= 0, <= 1;
var b454 binary >= 0, <= 1;
var b455 binary >= 0, <= 1;
var b456 binary >= 0, <= 1;
var b457 binary >= 0, <= 1;
var b458 binary >= 0, <= 1;
var b459 binary >= 0, <= 1;
var b460 binary >= 0, <= 1;
var b461 binary >= 0, <= 1;
var b462 binary >= 0, <= 1;
var b463 binary >= 0, <= 1;
var b464 binary >= 0, <= 1;
var b465 binary >= 0, <= 1;
var b466 binary >= 0, <= 1;
var b467 binary >= 0, <= 1;
var b468 binary >= 0, <= 1;
var b469 binary >= 0, <= 1;
var b470 binary >= 0, <= 1;
var b471 binary >= 0, <= 1;
var b472 binary >= 0, <= 1;
var b473 binary >= 0, <= 1;
var b474 binary >= 0, <= 1;
var b475 binary >= 0, <= 1;
var b476 binary >= 0, <= 1;
var b477 binary >= 0, <= 1;
var b478 binary >= 0, <= 1;
var b479 binary >= 0, <= 1;
var b480 binary >= 0, <= 1;
var b481 binary >= 0, <= 1;
var b482 binary >= 0, <= 1;
var b483 binary >= 0, <= 1;
var b484 binary >= 0, <= 1;
var b485 binary >= 0, <= 1;
var b486 binary >= 0, <= 1;
var b487 binary >= 0, <= 1;
var b488 binary >= 0, <= 1;
var b489 binary >= 0, <= 1;
var b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var x518;
var x519;
var x520;
var x521;
var x522;
var x523;
var x524;
var x525;
var x526;
var x527;
var x528;
var x529;
var x530;
var x531;
var x532;
var x533;
var x534;
var x535;
var x536;
var x537;
var x538;
var x539;
var x540;
var x541;
var x542;
var x543;
var x544;
var x545;
var x546;
var x547;
var x548;
var x549;
var x550;
var x551;
var x552;
var x553;
var x554;
var x555;
var x556;
var x557;
var x558;
var x559;
var x560;
var x561;
var x562;
var x563;
var x564;
var x565;
var x566;
var x567;
var x568;
var x569;
var x570;
var x571;
var x572;
var x573;
var x574;
var x575;
var x576;
var x577;

maximize obj:  - x2 - x3 + 5*x14 + 10*x15 - 2*x24 - x25 - 10*x58 - 5*x59
     - 5*x60 - 5*x61 + 40*x74 + 30*x75 + 15*x76 + 20*x77 + 10*x78 + 30*x79
     + 30*x80 + 20*x81 + 35*x82 + 50*x83 + 20*x84 + 30*x85 + 25*x86 + 50*x87
     + 15*x88 + 20*x89 + 30*x104 + 40*x105 - x114 - x115 + 80*x130 + 90*x131
     + 285*x132 + 390*x133 + 290*x134 + 405*x135 + 280*x136 + 400*x137
     + 290*x138 + 300*x139 + 350*x140 + 250*x141 - 5*b458 - 4*b459 - 8*b460
     - 7*b461 - 6*b462 - 9*b463 - 10*b464 - 9*b465 - 6*b466 - 10*b467 - 7*b468
     - 7*b469 - 4*b470 - 3*b471 - 5*b472 - 6*b473 - 2*b474 - 5*b475 - 4*b476
     - 7*b477 - 3*b478 - 9*b479 - 7*b480 - 2*b481 - 3*b482 - b483 - 2*b484
     - 6*b485 - 4*b486 - 8*b487 - 2*b488 - 5*b489 - 3*b490 - 4*b491 - 5*b492
     - 7*b493 - 2*b494 - 8*b495 - b496 - 4*b497 - 2*b498 - 5*b499 - 9*b500
     - 2*b501 - 5*b502 - 8*b503 - 2*b504 - 3*b505 - 10*b506 - 6*b507 - 4*b508
     - 8*b509 - 7*b510 - 3*b511 - 4*b512 - 8*b513 - 2*b514 - b515 - 8*b516
     - 3*b517;

subject to

e2:    x2 - x4 - x6 = 0;

e3:    x3 - x5 - x7 = 0;

e4:  - x8 - x10 + x12 = 0;

e5:  - x9 - x11 + x13 = 0;

e6:    x12 - x14 - x16 = 0;

e7:    x13 - x15 - x17 = 0;

e8:    x16 - x18 - x20 - x22 = 0;

e9:    x17 - x19 - x21 - x23 = 0;

e10:    x26 - x32 - x34 = 0;

e11:    x27 - x33 - x35 = 0;

e12:    x30 - x36 - x38 - x40 = 0;

e13:    x31 - x37 - x39 - x41 = 0;

e14:    x46 - x54 - x56 = 0;

e15:    x47 - x55 - x57 = 0;

e16:  - x48 - x60 + x62 = 0;

e17:  - x49 - x61 + x63 = 0;

e18:    x50 - x64 - x66 = 0;

e19:    x51 - x65 - x67 = 0;

e20:    x52 - x68 - x70 - x72 = 0;

e21:    x53 - x69 - x71 - x73 = 0;

e22:    x90 - x92 = 0;

e23:    x91 - x93 = 0;

e24:    x92 - x94 - x96 = 0;

e25:    x93 - x95 - x97 = 0;

e26:  - x98 - x100 + x102 = 0;

e27:  - x99 - x101 + x103 = 0;

e28:    x102 - x104 - x106 = 0;

e29:    x103 - x105 - x107 = 0;

e30:    x106 - x108 - x110 - x112 = 0;

e31:    x107 - x109 - x111 - x113 = 0;

e32:    x116 - x122 - x124 = 0;

e33:    x117 - x123 - x125 = 0;

e34:    x120 - x126 - x128 - x130 = 0;

e35:    x121 - x127 - x129 - x131 = 0;

e36: (x150/(1e-6 + b398) - log(1 + x142/(1e-6 + b398)))*(1e-6 + b398) <= 0;

e37: (x151/(1e-6 + b399) - log(1 + x143/(1e-6 + b399)))*(1e-6 + b399) <= 0;

e38:    x144 = 0;

e39:    x145 = 0;

e40:    x152 = 0;

e41:    x153 = 0;

e42:    x4 - x142 - x144 = 0;

e43:    x5 - x143 - x145 = 0;

e44:    x8 - x150 - x152 = 0;

e45:    x9 - x151 - x153 = 0;

e46:    x142 - 40*b398 <= 0;

e47:    x143 - 40*b399 <= 0;

e48:    x144 + 40*b398 <= 40;

e49:    x145 + 40*b399 <= 40;

e50:    x150 - 3.71357206670431*b398 <= 0;

e51:    x151 - 3.71357206670431*b399 <= 0;

e52:    x152 + 3.71357206670431*b398 <= 3.71357206670431;

e53:    x153 + 3.71357206670431*b399 <= 3.71357206670431;

e54: (x154/(1e-6 + b400) - 1.2*log(1 + x146/(1e-6 + b400)))*(1e-6 + b400) <= 0;

e55: (x155/(1e-6 + b401) - 1.2*log(1 + x147/(1e-6 + b401)))*(1e-6 + b401) <= 0;

e56:    x148 = 0;

e57:    x149 = 0;

e58:    x156 = 0;

e59:    x157 = 0;

e60:    x6 - x146 - x148 = 0;

e61:    x7 - x147 - x149 = 0;

e62:    x10 - x154 - x156 = 0;

e63:    x11 - x155 - x157 = 0;

e64:    x146 - 40*b400 <= 0;

e65:    x147 - 40*b401 <= 0;

e66:    x148 + 40*b400 <= 40;

e67:    x149 + 40*b401 <= 40;

e68:    x154 - 4.45628648004517*b400 <= 0;

e69:    x155 - 4.45628648004517*b401 <= 0;

e70:    x156 + 4.45628648004517*b400 <= 4.45628648004517;

e71:    x157 + 4.45628648004517*b401 <= 4.45628648004517;

e72:  - 0.75*x158 + x174 = 0;

e73:  - 0.75*x159 + x175 = 0;

e74:    x160 = 0;

e75:    x161 = 0;

e76:    x176 = 0;

e77:    x177 = 0;

e78:    x18 - x158 - x160 = 0;

e79:    x19 - x159 - x161 = 0;

e80:    x26 - x174 - x176 = 0;

e81:    x27 - x175 - x177 = 0;

e82:    x158 - 4.45628648004517*b402 <= 0;

e83:    x159 - 4.45628648004517*b403 <= 0;

e84:    x160 + 4.45628648004517*b402 <= 4.45628648004517;

e85:    x161 + 4.45628648004517*b403 <= 4.45628648004517;

e86:    x174 - 3.34221486003388*b402 <= 0;

e87:    x175 - 3.34221486003388*b403 <= 0;

e88:    x176 + 3.34221486003388*b402 <= 3.34221486003388;

e89:    x177 + 3.34221486003388*b403 <= 3.34221486003388;

e90: (x178/(1e-6 + b404) - 1.5*log(1 + x162/(1e-6 + b404)))*(1e-6 + b404) <= 0;

e91: (x179/(1e-6 + b405) - 1.5*log(1 + x163/(1e-6 + b405)))*(1e-6 + b405) <= 0;

e92:    x164 = 0;

e93:    x165 = 0;

e94:    x182 = 0;

e95:    x183 = 0;

e96:    x20 - x162 - x164 = 0;

e97:    x21 - x163 - x165 = 0;

e98:    x28 - x178 - x182 = 0;

e99:    x29 - x179 - x183 = 0;

e100:    x162 - 4.45628648004517*b404 <= 0;

e101:    x163 - 4.45628648004517*b405 <= 0;

e102:    x164 + 4.45628648004517*b404 <= 4.45628648004517;

e103:    x165 + 4.45628648004517*b405 <= 4.45628648004517;

e104:    x178 - 2.54515263975353*b404 <= 0;

e105:    x179 - 2.54515263975353*b405 <= 0;

e106:    x182 + 2.54515263975353*b404 <= 2.54515263975353;

e107:    x183 + 2.54515263975353*b405 <= 2.54515263975353;

e108:  - x166 + x186 = 0;

e109:  - x167 + x187 = 0;

e110:  - 0.5*x170 + x186 = 0;

e111:  - 0.5*x171 + x187 = 0;

e112:    x168 = 0;

e113:    x169 = 0;

e114:    x172 = 0;

e115:    x173 = 0;

e116:    x188 = 0;

e117:    x189 = 0;

e118:    x22 - x166 - x168 = 0;

e119:    x23 - x167 - x169 = 0;

e120:    x24 - x170 - x172 = 0;

e121:    x25 - x171 - x173 = 0;

e122:    x30 - x186 - x188 = 0;

e123:    x31 - x187 - x189 = 0;

e124:    x166 - 4.45628648004517*b406 <= 0;

e125:    x167 - 4.45628648004517*b407 <= 0;

e126:    x168 + 4.45628648004517*b406 <= 4.45628648004517;

e127:    x169 + 4.45628648004517*b407 <= 4.45628648004517;

e128:    x170 - 30*b406 <= 0;

e129:    x171 - 30*b407 <= 0;

e130:    x172 + 30*b406 <= 30;

e131:    x173 + 30*b407 <= 30;

e132:    x186 - 15*b406 <= 0;

e133:    x187 - 15*b407 <= 0;

e134:    x188 + 15*b406 <= 15;

e135:    x189 + 15*b407 <= 15;

e136: (x210/(1e-6 + b408) - 1.25*log(1 + x190/(1e-6 + b408)))*(1e-6 + b408)
       <= 0;

e137: (x211/(1e-6 + b409) - 1.25*log(1 + x191/(1e-6 + b409)))*(1e-6 + b409)
       <= 0;

e138:    x192 = 0;

e139:    x193 = 0;

e140:    x214 = 0;

e141:    x215 = 0;

e142:    x32 - x190 - x192 = 0;

e143:    x33 - x191 - x193 = 0;

e144:    x42 - x210 - x214 = 0;

e145:    x43 - x211 - x215 = 0;

e146:    x190 - 3.34221486003388*b408 <= 0;

e147:    x191 - 3.34221486003388*b409 <= 0;

e148:    x192 + 3.34221486003388*b408 <= 3.34221486003388;

e149:    x193 + 3.34221486003388*b409 <= 3.34221486003388;

e150:    x210 - 1.83548069293539*b408 <= 0;

e151:    x211 - 1.83548069293539*b409 <= 0;

e152:    x214 + 1.83548069293539*b408 <= 1.83548069293539;

e153:    x215 + 1.83548069293539*b409 <= 1.83548069293539;

e154: (x218/(1e-6 + b410) - 0.9*log(1 + x194/(1e-6 + b410)))*(1e-6 + b410)
       <= 0;

e155: (x219/(1e-6 + b411) - 0.9*log(1 + x195/(1e-6 + b411)))*(1e-6 + b411)
       <= 0;

e156:    x196 = 0;

e157:    x197 = 0;

e158:    x222 = 0;

e159:    x223 = 0;

e160:    x34 - x194 - x196 = 0;

e161:    x35 - x195 - x197 = 0;

e162:    x44 - x218 - x222 = 0;

e163:    x45 - x219 - x223 = 0;

e164:    x194 - 3.34221486003388*b410 <= 0;

e165:    x195 - 3.34221486003388*b411 <= 0;

e166:    x196 + 3.34221486003388*b410 <= 3.34221486003388;

e167:    x197 + 3.34221486003388*b411 <= 3.34221486003388;

e168:    x218 - 1.32154609891348*b410 <= 0;

e169:    x219 - 1.32154609891348*b411 <= 0;

e170:    x222 + 1.32154609891348*b410 <= 1.32154609891348;

e171:    x223 + 1.32154609891348*b411 <= 1.32154609891348;

e172: (x226/(1e-6 + b412) - log(1 + x180/(1e-6 + b412)))*(1e-6 + b412) <= 0;

e173: (x227/(1e-6 + b413) - log(1 + x181/(1e-6 + b413)))*(1e-6 + b413) <= 0;

e174:    x184 = 0;

e175:    x185 = 0;

e176:    x228 = 0;

e177:    x229 = 0;

e178:    x28 - x180 - x184 = 0;

e179:    x29 - x181 - x185 = 0;

e180:    x46 - x226 - x228 = 0;

e181:    x47 - x227 - x229 = 0;

e182:    x180 - 2.54515263975353*b412 <= 0;

e183:    x181 - 2.54515263975353*b413 <= 0;

e184:    x184 + 2.54515263975353*b412 <= 2.54515263975353;

e185:    x185 + 2.54515263975353*b413 <= 2.54515263975353;

e186:    x226 - 1.26558121681553*b412 <= 0;

e187:    x227 - 1.26558121681553*b413 <= 0;

e188:    x228 + 1.26558121681553*b412 <= 1.26558121681553;

e189:    x229 + 1.26558121681553*b413 <= 1.26558121681553;

e190:  - 0.9*x198 + x230 = 0;

e191:  - 0.9*x199 + x231 = 0;

e192:    x200 = 0;

e193:    x201 = 0;

e194:    x232 = 0;

e195:    x233 = 0;

e196:    x36 - x198 - x200 = 0;

e197:    x37 - x199 - x201 = 0;

e198:    x48 - x230 - x232 = 0;

e199:    x49 - x231 - x233 = 0;

e200:    x198 - 15*b414 <= 0;

e201:    x199 - 15*b415 <= 0;

e202:    x200 + 15*b414 <= 15;

e203:    x201 + 15*b415 <= 15;

e204:    x230 - 13.5*b414 <= 0;

e205:    x231 - 13.5*b415 <= 0;

e206:    x232 + 13.5*b414 <= 13.5;

e207:    x233 + 13.5*b415 <= 13.5;

e208:  - 0.6*x202 + x234 = 0;

e209:  - 0.6*x203 + x235 = 0;

e210:    x204 = 0;

e211:    x205 = 0;

e212:    x236 = 0;

e213:    x237 = 0;

e214:    x38 - x202 - x204 = 0;

e215:    x39 - x203 - x205 = 0;

e216:    x50 - x234 - x236 = 0;

e217:    x51 - x235 - x237 = 0;

e218:    x202 - 15*b416 <= 0;

e219:    x203 - 15*b417 <= 0;

e220:    x204 + 15*b416 <= 15;

e221:    x205 + 15*b417 <= 15;

e222:    x234 - 9*b416 <= 0;

e223:    x235 - 9*b417 <= 0;

e224:    x236 + 9*b416 <= 9;

e225:    x237 + 9*b417 <= 9;

e226: (x238/(1e-6 + b418) - 1.1*log(1 + x206/(1e-6 + b418)))*(1e-6 + b418)
       <= 0;

e227: (x239/(1e-6 + b419) - 1.1*log(1 + x207/(1e-6 + b419)))*(1e-6 + b419)
       <= 0;

e228:    x208 = 0;

e229:    x209 = 0;

e230:    x240 = 0;

e231:    x241 = 0;

e232:    x40 - x206 - x208 = 0;

e233:    x41 - x207 - x209 = 0;

e234:    x52 - x238 - x240 = 0;

e235:    x53 - x239 - x241 = 0;

e236:    x206 - 15*b418 <= 0;

e237:    x207 - 15*b419 <= 0;

e238:    x208 + 15*b418 <= 15;

e239:    x209 + 15*b419 <= 15;

e240:    x238 - 3.04984759446376*b418 <= 0;

e241:    x239 - 3.04984759446376*b419 <= 0;

e242:    x240 + 3.04984759446376*b418 <= 3.04984759446376;

e243:    x241 + 3.04984759446376*b419 <= 3.04984759446376;

e244:  - 0.9*x212 + x278 = 0;

e245:  - 0.9*x213 + x279 = 0;

e246:  - x250 + x278 = 0;

e247:  - x251 + x279 = 0;

e248:    x216 = 0;

e249:    x217 = 0;

e250:    x252 = 0;

e251:    x253 = 0;

e252:    x280 = 0;

e253:    x281 = 0;

e254:    x42 - x212 - x216 = 0;

e255:    x43 - x213 - x217 = 0;

e256:    x58 - x250 - x252 = 0;

e257:    x59 - x251 - x253 = 0;

e258:    x74 - x278 - x280 = 0;

e259:    x75 - x279 - x281 = 0;

e260:    x212 - 1.83548069293539*b420 <= 0;

e261:    x213 - 1.83548069293539*b421 <= 0;

e262:    x216 + 1.83548069293539*b420 <= 1.83548069293539;

e263:    x217 + 1.83548069293539*b421 <= 1.83548069293539;

e264:    x250 - 20*b420 <= 0;

e265:    x251 - 20*b421 <= 0;

e266:    x252 + 20*b420 <= 20;

e267:    x253 + 20*b421 <= 20;

e268:    x278 - 20*b420 <= 0;

e269:    x279 - 20*b421 <= 0;

e270:    x280 + 20*b420 <= 20;

e271:    x281 + 20*b421 <= 20;

e272: (x282/(1e-6 + b422) - log(1 + x220/(1e-6 + b422)))*(1e-6 + b422) <= 0;

e273: (x283/(1e-6 + b423) - log(1 + x221/(1e-6 + b423)))*(1e-6 + b423) <= 0;

e274:    x224 = 0;

e275:    x225 = 0;

e276:    x284 = 0;

e277:    x285 = 0;

e278:    x44 - x220 - x224 = 0;

e279:    x45 - x221 - x225 = 0;

e280:    x76 - x282 - x284 = 0;

e281:    x77 - x283 - x285 = 0;

e282:    x220 - 1.32154609891348*b422 <= 0;

e283:    x221 - 1.32154609891348*b423 <= 0;

e284:    x224 + 1.32154609891348*b422 <= 1.32154609891348;

e285:    x225 + 1.32154609891348*b423 <= 1.32154609891348;

e286:    x282 - 0.842233385663186*b422 <= 0;

e287:    x283 - 0.842233385663186*b423 <= 0;

e288:    x284 + 0.842233385663186*b422 <= 0.842233385663186;

e289:    x285 + 0.842233385663186*b423 <= 0.842233385663186;

e290: (x286/(1e-6 + b424) - 0.7*log(1 + x242/(1e-6 + b424)))*(1e-6 + b424)
       <= 0;

e291: (x287/(1e-6 + b425) - 0.7*log(1 + x243/(1e-6 + b425)))*(1e-6 + b425)
       <= 0;

e292:    x244 = 0;

e293:    x245 = 0;

e294:    x288 = 0;

e295:    x289 = 0;

e296:    x54 - x242 - x244 = 0;

e297:    x55 - x243 - x245 = 0;

e298:    x78 - x286 - x288 = 0;

e299:    x79 - x287 - x289 = 0;

e300:    x242 - 1.26558121681553*b424 <= 0;

e301:    x243 - 1.26558121681553*b425 <= 0;

e302:    x244 + 1.26558121681553*b424 <= 1.26558121681553;

e303:    x245 + 1.26558121681553*b425 <= 1.26558121681553;

e304:    x286 - 0.572481933717686*b424 <= 0;

e305:    x287 - 0.572481933717686*b425 <= 0;

e306:    x288 + 0.572481933717686*b424 <= 0.572481933717686;

e307:    x289 + 0.572481933717686*b425 <= 0.572481933717686;

e308: (x290/(1e-6 + b426) - 0.65*log(1 + x246/(1e-6 + b426)))*(1e-6 + b426)
       <= 0;

e309: (x291/(1e-6 + b427) - 0.65*log(1 + x247/(1e-6 + b427)))*(1e-6 + b427)
       <= 0;

e310: (x290/(1e-6 + b426) - 0.65*log(1 + x254/(1e-6 + b426)))*(1e-6 + b426)
       <= 0;

e311: (x291/(1e-6 + b427) - 0.65*log(1 + x255/(1e-6 + b427)))*(1e-6 + b427)
       <= 0;

e312:    x248 = 0;

e313:    x249 = 0;

e314:    x256 = 0;

e315:    x257 = 0;

e316:    x292 = 0;

e317:    x293 = 0;

e318:    x56 - x246 - x248 = 0;

e319:    x57 - x247 - x249 = 0;

e320:    x62 - x254 - x256 = 0;

e321:    x63 - x255 - x257 = 0;

e322:    x80 - x290 - x292 = 0;

e323:    x81 - x291 - x293 = 0;

e324:    x246 - 1.26558121681553*b426 <= 0;

e325:    x247 - 1.26558121681553*b427 <= 0;

e326:    x248 + 1.26558121681553*b426 <= 1.26558121681553;

e327:    x249 + 1.26558121681553*b427 <= 1.26558121681553;

e328:    x254 - 33.5*b426 <= 0;

e329:    x255 - 33.5*b427 <= 0;

e330:    x256 + 33.5*b426 <= 33.5;

e331:    x257 + 33.5*b427 <= 33.5;

e332:    x290 - 2.30162356062425*b426 <= 0;

e333:    x291 - 2.30162356062425*b427 <= 0;

e334:    x292 + 2.30162356062425*b426 <= 2.30162356062425;

e335:    x293 + 2.30162356062425*b427 <= 2.30162356062425;

e336:  - x258 + x294 = 0;

e337:  - x259 + x295 = 0;

e338:    x260 = 0;

e339:    x261 = 0;

e340:    x296 = 0;

e341:    x297 = 0;

e342:    x64 - x258 - x260 = 0;

e343:    x65 - x259 - x261 = 0;

e344:    x82 - x294 - x296 = 0;

e345:    x83 - x295 - x297 = 0;

e346:    x258 - 9*b428 <= 0;

e347:    x259 - 9*b429 <= 0;

e348:    x260 + 9*b428 <= 9;

e349:    x261 + 9*b429 <= 9;

e350:    x294 - 9*b428 <= 0;

e351:    x295 - 9*b429 <= 0;

e352:    x296 + 9*b428 <= 9;

e353:    x297 + 9*b429 <= 9;

e354:  - x262 + x298 = 0;

e355:  - x263 + x299 = 0;

e356:    x264 = 0;

e357:    x265 = 0;

e358:    x300 = 0;

e359:    x301 = 0;

e360:    x66 - x262 - x264 = 0;

e361:    x67 - x263 - x265 = 0;

e362:    x84 - x298 - x300 = 0;

e363:    x85 - x299 - x301 = 0;

e364:    x262 - 9*b430 <= 0;

e365:    x263 - 9*b431 <= 0;

e366:    x264 + 9*b430 <= 9;

e367:    x265 + 9*b431 <= 9;

e368:    x298 - 9*b430 <= 0;

e369:    x299 - 9*b431 <= 0;

e370:    x300 + 9*b430 <= 9;

e371:    x301 + 9*b431 <= 9;

e372: (x302/(1e-6 + b432) - 0.75*log(1 + x266/(1e-6 + b432)))*(1e-6 + b432)
       <= 0;

e373: (x303/(1e-6 + b433) - 0.75*log(1 + x267/(1e-6 + b433)))*(1e-6 + b433)
       <= 0;

e374:    x268 = 0;

e375:    x269 = 0;

e376:    x304 = 0;

e377:    x305 = 0;

e378:    x68 - x266 - x268 = 0;

e379:    x69 - x267 - x269 = 0;

e380:    x86 - x302 - x304 = 0;

e381:    x87 - x303 - x305 = 0;

e382:    x266 - 3.04984759446376*b432 <= 0;

e383:    x267 - 3.04984759446376*b433 <= 0;

e384:    x268 + 3.04984759446376*b432 <= 3.04984759446376;

e385:    x269 + 3.04984759446376*b433 <= 3.04984759446376;

e386:    x302 - 1.04900943706034*b432 <= 0;

e387:    x303 - 1.04900943706034*b433 <= 0;

e388:    x304 + 1.04900943706034*b432 <= 1.04900943706034;

e389:    x305 + 1.04900943706034*b433 <= 1.04900943706034;

e390: (x306/(1e-6 + b434) - 0.8*log(1 + x270/(1e-6 + b434)))*(1e-6 + b434)
       <= 0;

e391: (x307/(1e-6 + b435) - 0.8*log(1 + x271/(1e-6 + b435)))*(1e-6 + b435)
       <= 0;

e392:    x272 = 0;

e393:    x273 = 0;

e394:    x308 = 0;

e395:    x309 = 0;

e396:    x70 - x270 - x272 = 0;

e397:    x71 - x271 - x273 = 0;

e398:    x88 - x306 - x308 = 0;

e399:    x89 - x307 - x309 = 0;

e400:    x270 - 3.04984759446376*b434 <= 0;

e401:    x271 - 3.04984759446376*b435 <= 0;

e402:    x272 + 3.04984759446376*b434 <= 3.04984759446376;

e403:    x273 + 3.04984759446376*b435 <= 3.04984759446376;

e404:    x306 - 1.11894339953103*b434 <= 0;

e405:    x307 - 1.11894339953103*b435 <= 0;

e406:    x308 + 1.11894339953103*b434 <= 1.11894339953103;

e407:    x309 + 1.11894339953103*b435 <= 1.11894339953103;

e408: (x310/(1e-6 + b436) - 0.85*log(1 + x274/(1e-6 + b436)))*(1e-6 + b436)
       <= 0;

e409: (x311/(1e-6 + b437) - 0.85*log(1 + x275/(1e-6 + b437)))*(1e-6 + b437)
       <= 0;

e410:    x276 = 0;

e411:    x277 = 0;

e412:    x312 = 0;

e413:    x313 = 0;

e414:    x72 - x274 - x276 = 0;

e415:    x73 - x275 - x277 = 0;

e416:    x90 - x310 - x312 = 0;

e417:    x91 - x311 - x313 = 0;

e418:    x274 - 3.04984759446376*b436 <= 0;

e419:    x275 - 3.04984759446376*b437 <= 0;

e420:    x276 + 3.04984759446376*b436 <= 3.04984759446376;

e421:    x277 + 3.04984759446376*b437 <= 3.04984759446376;

e422:    x310 - 1.18887736200171*b436 <= 0;

e423:    x311 - 1.18887736200171*b437 <= 0;

e424:    x312 + 1.18887736200171*b436 <= 1.18887736200171;

e425:    x313 + 1.18887736200171*b437 <= 1.18887736200171;

e426: (x322/(1e-6 + b438) - log(1 + x314/(1e-6 + b438)))*(1e-6 + b438) <= 0;

e427: (x323/(1e-6 + b439) - log(1 + x315/(1e-6 + b439)))*(1e-6 + b439) <= 0;

e428:    x316 = 0;

e429:    x317 = 0;

e430:    x324 = 0;

e431:    x325 = 0;

e432:    x94 - x314 - x316 = 0;

e433:    x95 - x315 - x317 = 0;

e434:    x98 - x322 - x324 = 0;

e435:    x99 - x323 - x325 = 0;

e436:    x314 - 1.18887736200171*b438 <= 0;

e437:    x315 - 1.18887736200171*b439 <= 0;

e438:    x316 + 1.18887736200171*b438 <= 1.18887736200171;

e439:    x317 + 1.18887736200171*b439 <= 1.18887736200171;

e440:    x322 - 0.78338879230327*b438 <= 0;

e441:    x323 - 0.78338879230327*b439 <= 0;

e442:    x324 + 0.78338879230327*b438 <= 0.78338879230327;

e443:    x325 + 0.78338879230327*b439 <= 0.78338879230327;

e444: (x326/(1e-6 + b440) - 1.2*log(1 + x318/(1e-6 + b440)))*(1e-6 + b440)
       <= 0;

e445: (x327/(1e-6 + b441) - 1.2*log(1 + x319/(1e-6 + b441)))*(1e-6 + b441)
       <= 0;

e446:    x320 = 0;

e447:    x321 = 0;

e448:    x328 = 0;

e449:    x329 = 0;

e450:    x96 - x318 - x320 = 0;

e451:    x97 - x319 - x321 = 0;

e452:    x100 - x326 - x328 = 0;

e453:    x101 - x327 - x329 = 0;

e454:    x318 - 1.18887736200171*b440 <= 0;

e455:    x319 - 1.18887736200171*b441 <= 0;

e456:    x320 + 1.18887736200171*b440 <= 1.18887736200171;

e457:    x321 + 1.18887736200171*b441 <= 1.18887736200171;

e458:    x326 - 0.940066550763924*b440 <= 0;

e459:    x327 - 0.940066550763924*b441 <= 0;

e460:    x328 + 0.940066550763924*b440 <= 0.940066550763924;

e461:    x329 + 0.940066550763924*b441 <= 0.940066550763924;

e462:  - 0.75*x330 + x346 = 0;

e463:  - 0.75*x331 + x347 = 0;

e464:    x332 = 0;

e465:    x333 = 0;

e466:    x348 = 0;

e467:    x349 = 0;

e468:    x108 - x330 - x332 = 0;

e469:    x109 - x331 - x333 = 0;

e470:    x116 - x346 - x348 = 0;

e471:    x117 - x347 - x349 = 0;

e472:    x330 - 0.940066550763924*b442 <= 0;

e473:    x331 - 0.940066550763924*b443 <= 0;

e474:    x332 + 0.940066550763924*b442 <= 0.940066550763924;

e475:    x333 + 0.940066550763924*b443 <= 0.940066550763924;

e476:    x346 - 0.705049913072943*b442 <= 0;

e477:    x347 - 0.705049913072943*b443 <= 0;

e478:    x348 + 0.705049913072943*b442 <= 0.705049913072943;

e479:    x349 + 0.705049913072943*b443 <= 0.705049913072943;

e480: (x350/(1e-6 + b444) - 1.5*log(1 + x334/(1e-6 + b444)))*(1e-6 + b444)
       <= 0;

e481: (x351/(1e-6 + b445) - 1.5*log(1 + x335/(1e-6 + b445)))*(1e-6 + b445)
       <= 0;

e482:    x336 = 0;

e483:    x337 = 0;

e484:    x354 = 0;

e485:    x355 = 0;

e486:    x110 - x334 - x336 = 0;

e487:    x111 - x335 - x337 = 0;

e488:    x118 - x350 - x354 = 0;

e489:    x119 - x351 - x355 = 0;

e490:    x334 - 0.940066550763924*b444 <= 0;

e491:    x335 - 0.940066550763924*b445 <= 0;

e492:    x336 + 0.940066550763924*b444 <= 0.940066550763924;

e493:    x337 + 0.940066550763924*b445 <= 0.940066550763924;

e494:    x350 - 0.994083415506506*b444 <= 0;

e495:    x351 - 0.994083415506506*b445 <= 0;

e496:    x354 + 0.994083415506506*b444 <= 0.994083415506506;

e497:    x355 + 0.994083415506506*b445 <= 0.994083415506506;

e498:  - x338 + x358 = 0;

e499:  - x339 + x359 = 0;

e500:  - 0.5*x342 + x358 = 0;

e501:  - 0.5*x343 + x359 = 0;

e502:    x340 = 0;

e503:    x341 = 0;

e504:    x344 = 0;

e505:    x345 = 0;

e506:    x360 = 0;

e507:    x361 = 0;

e508:    x112 - x338 - x340 = 0;

e509:    x113 - x339 - x341 = 0;

e510:    x114 - x342 - x344 = 0;

e511:    x115 - x343 - x345 = 0;

e512:    x120 - x358 - x360 = 0;

e513:    x121 - x359 - x361 = 0;

e514:    x338 - 0.940066550763924*b446 <= 0;

e515:    x339 - 0.940066550763924*b447 <= 0;

e516:    x340 + 0.940066550763924*b446 <= 0.940066550763924;

e517:    x341 + 0.940066550763924*b447 <= 0.940066550763924;

e518:    x342 - 30*b446 <= 0;

e519:    x343 - 30*b447 <= 0;

e520:    x344 + 30*b446 <= 30;

e521:    x345 + 30*b447 <= 30;

e522:    x358 - 15*b446 <= 0;

e523:    x359 - 15*b447 <= 0;

e524:    x360 + 15*b446 <= 15;

e525:    x361 + 15*b447 <= 15;

e526: (x378/(1e-6 + b448) - 1.25*log(1 + x362/(1e-6 + b448)))*(1e-6 + b448)
       <= 0;

e527: (x379/(1e-6 + b449) - 1.25*log(1 + x363/(1e-6 + b449)))*(1e-6 + b449)
       <= 0;

e528:    x364 = 0;

e529:    x365 = 0;

e530:    x380 = 0;

e531:    x381 = 0;

e532:    x122 - x362 - x364 = 0;

e533:    x123 - x363 - x365 = 0;

e534:    x132 - x378 - x380 = 0;

e535:    x133 - x379 - x381 = 0;

e536:    x362 - 0.705049913072943*b448 <= 0;

e537:    x363 - 0.705049913072943*b449 <= 0;

e538:    x364 + 0.705049913072943*b448 <= 0.705049913072943;

e539:    x365 + 0.705049913072943*b449 <= 0.705049913072943;

e540:    x378 - 0.666992981045719*b448 <= 0;

e541:    x379 - 0.666992981045719*b449 <= 0;

e542:    x380 + 0.666992981045719*b448 <= 0.666992981045719;

e543:    x381 + 0.666992981045719*b449 <= 0.666992981045719;

e544: (x382/(1e-6 + b450) - 0.9*log(1 + x366/(1e-6 + b450)))*(1e-6 + b450)
       <= 0;

e545: (x383/(1e-6 + b451) - 0.9*log(1 + x367/(1e-6 + b451)))*(1e-6 + b451)
       <= 0;

e546:    x368 = 0;

e547:    x369 = 0;

e548:    x384 = 0;

e549:    x385 = 0;

e550:    x124 - x366 - x368 = 0;

e551:    x125 - x367 - x369 = 0;

e552:    x134 - x382 - x384 = 0;

e553:    x135 - x383 - x385 = 0;

e554:    x366 - 0.705049913072943*b450 <= 0;

e555:    x367 - 0.705049913072943*b451 <= 0;

e556:    x368 + 0.705049913072943*b450 <= 0.705049913072943;

e557:    x369 + 0.705049913072943*b451 <= 0.705049913072943;

e558:    x382 - 0.480234946352917*b450 <= 0;

e559:    x383 - 0.480234946352917*b451 <= 0;

e560:    x384 + 0.480234946352917*b450 <= 0.480234946352917;

e561:    x385 + 0.480234946352917*b451 <= 0.480234946352917;

e562: (x386/(1e-6 + b452) - log(1 + x352/(1e-6 + b452)))*(1e-6 + b452) <= 0;

e563: (x387/(1e-6 + b453) - log(1 + x353/(1e-6 + b453)))*(1e-6 + b453) <= 0;

e564:    x356 = 0;

e565:    x357 = 0;

e566:    x388 = 0;

e567:    x389 = 0;

e568:    x118 - x352 - x356 = 0;

e569:    x119 - x353 - x357 = 0;

e570:    x136 - x386 - x388 = 0;

e571:    x137 - x387 - x389 = 0;

e572:    x352 - 0.994083415506506*b452 <= 0;

e573:    x353 - 0.994083415506506*b453 <= 0;

e574:    x356 + 0.994083415506506*b452 <= 0.994083415506506;

e575:    x357 + 0.994083415506506*b453 <= 0.994083415506506;

e576:    x386 - 0.690184503917672*b452 <= 0;

e577:    x387 - 0.690184503917672*b453 <= 0;

e578:    x388 + 0.690184503917672*b452 <= 0.690184503917672;

e579:    x389 + 0.690184503917672*b453 <= 0.690184503917672;

e580:  - 0.9*x370 + x390 = 0;

e581:  - 0.9*x371 + x391 = 0;

e582:    x372 = 0;

e583:    x373 = 0;

e584:    x392 = 0;

e585:    x393 = 0;

e586:    x126 - x370 - x372 = 0;

e587:    x127 - x371 - x373 = 0;

e588:    x138 - x390 - x392 = 0;

e589:    x139 - x391 - x393 = 0;

e590:    x370 - 15*b454 <= 0;

e591:    x371 - 15*b455 <= 0;

e592:    x372 + 15*b454 <= 15;

e593:    x373 + 15*b455 <= 15;

e594:    x390 - 13.5*b454 <= 0;

e595:    x391 - 13.5*b455 <= 0;

e596:    x392 + 13.5*b454 <= 13.5;

e597:    x393 + 13.5*b455 <= 13.5;

e598:  - 0.6*x374 + x394 = 0;

e599:  - 0.6*x375 + x395 = 0;

e600:    x376 = 0;

e601:    x377 = 0;

e602:    x396 = 0;

e603:    x397 = 0;

e604:    x128 - x374 - x376 = 0;

e605:    x129 - x375 - x377 = 0;

e606:    x140 - x394 - x396 = 0;

e607:    x141 - x395 - x397 = 0;

e608:    x374 - 15*b456 <= 0;

e609:    x375 - 15*b457 <= 0;

e610:    x376 + 15*b456 <= 15;

e611:    x377 + 15*b457 <= 15;

e612:    x394 - 9*b456 <= 0;

e613:    x395 - 9*b457 <= 0;

e614:    x396 + 9*b456 <= 9;

e615:    x397 + 9*b457 <= 9;

e616:    5*b458 + x518 = 0;

e617:    4*b459 + x519 = 0;

e618:    8*b460 + x520 = 0;

e619:    7*b461 + x521 = 0;

e620:    6*b462 + x522 = 0;

e621:    9*b463 + x523 = 0;

e622:    10*b464 + x524 = 0;

e623:    9*b465 + x525 = 0;

e624:    6*b466 + x526 = 0;

e625:    10*b467 + x527 = 0;

e626:    7*b468 + x528 = 0;

e627:    7*b469 + x529 = 0;

e628:    4*b470 + x530 = 0;

e629:    3*b471 + x531 = 0;

e630:    5*b472 + x532 = 0;

e631:    6*b473 + x533 = 0;

e632:    2*b474 + x534 = 0;

e633:    5*b475 + x535 = 0;

e634:    4*b476 + x536 = 0;

e635:    7*b477 + x537 = 0;

e636:    3*b478 + x538 = 0;

e637:    9*b479 + x539 = 0;

e638:    7*b480 + x540 = 0;

e639:    2*b481 + x541 = 0;

e640:    3*b482 + x542 = 0;

e641:    b483 + x543 = 0;

e642:    2*b484 + x544 = 0;

e643:    6*b485 + x545 = 0;

e644:    4*b486 + x546 = 0;

e645:    8*b487 + x547 = 0;

e646:    2*b488 + x548 = 0;

e647:    5*b489 + x549 = 0;

e648:    3*b490 + x550 = 0;

e649:    4*b491 + x551 = 0;

e650:    5*b492 + x552 = 0;

e651:    7*b493 + x553 = 0;

e652:    2*b494 + x554 = 0;

e653:    8*b495 + x555 = 0;

e654:    b496 + x556 = 0;

e655:    4*b497 + x557 = 0;

e656:    2*b498 + x558 = 0;

e657:    5*b499 + x559 = 0;

e658:    9*b500 + x560 = 0;

e659:    2*b501 + x561 = 0;

e660:    5*b502 + x562 = 0;

e661:    8*b503 + x563 = 0;

e662:    2*b504 + x564 = 0;

e663:    3*b505 + x565 = 0;

e664:    10*b506 + x566 = 0;

e665:    6*b507 + x567 = 0;

e666:    4*b508 + x568 = 0;

e667:    8*b509 + x569 = 0;

e668:    7*b510 + x570 = 0;

e669:    3*b511 + x571 = 0;

e670:    4*b512 + x572 = 0;

e671:    8*b513 + x573 = 0;

e672:    2*b514 + x574 = 0;

e673:    b515 + x575 = 0;

e674:    8*b516 + x576 = 0;

e675:    3*b517 + x577 = 0;

e676:    b398 - b399 <= 0;

e677:    b400 - b401 <= 0;

e678:    b402 - b403 <= 0;

e679:    b404 - b405 <= 0;

e680:    b406 - b407 <= 0;

e681:    b408 - b409 <= 0;

e682:    b410 - b411 <= 0;

e683:    b412 - b413 <= 0;

e684:    b414 - b415 <= 0;

e685:    b416 - b417 <= 0;

e686:    b418 - b419 <= 0;

e687:    b420 - b421 <= 0;

e688:    b422 - b423 <= 0;

e689:    b424 - b425 <= 0;

e690:    b426 - b427 <= 0;

e691:    b428 - b429 <= 0;

e692:    b430 - b431 <= 0;

e693:    b432 - b433 <= 0;

e694:    b434 - b435 <= 0;

e695:    b436 - b437 <= 0;

e696:    b438 - b439 <= 0;

e697:    b440 - b441 <= 0;

e698:    b442 - b443 <= 0;

e699:    b444 - b445 <= 0;

e700:    b446 - b447 <= 0;

e701:    b448 - b449 <= 0;

e702:    b450 - b451 <= 0;

e703:    b452 - b453 <= 0;

e704:    b454 - b455 <= 0;

e705:    b456 - b457 <= 0;

e706:    b458 + b459 <= 1;

e707:    b458 + b459 <= 1;

e708:    b460 + b461 <= 1;

e709:    b460 + b461 <= 1;

e710:    b462 + b463 <= 1;

e711:    b462 + b463 <= 1;

e712:    b464 + b465 <= 1;

e713:    b464 + b465 <= 1;

e714:    b466 + b467 <= 1;

e715:    b466 + b467 <= 1;

e716:    b468 + b469 <= 1;

e717:    b468 + b469 <= 1;

e718:    b470 + b471 <= 1;

e719:    b470 + b471 <= 1;

e720:    b472 + b473 <= 1;

e721:    b472 + b473 <= 1;

e722:    b474 + b475 <= 1;

e723:    b474 + b475 <= 1;

e724:    b476 + b477 <= 1;

e725:    b476 + b477 <= 1;

e726:    b478 + b479 <= 1;

e727:    b478 + b479 <= 1;

e728:    b480 + b481 <= 1;

e729:    b480 + b481 <= 1;

e730:    b482 + b483 <= 1;

e731:    b482 + b483 <= 1;

e732:    b484 + b485 <= 1;

e733:    b484 + b485 <= 1;

e734:    b486 + b487 <= 1;

e735:    b486 + b487 <= 1;

e736:    b488 + b489 <= 1;

e737:    b488 + b489 <= 1;

e738:    b490 + b491 <= 1;

e739:    b490 + b491 <= 1;

e740:    b492 + b493 <= 1;

e741:    b492 + b493 <= 1;

e742:    b494 + b495 <= 1;

e743:    b494 + b495 <= 1;

e744:    b496 + b497 <= 1;

e745:    b496 + b497 <= 1;

e746:    b498 + b499 <= 1;

e747:    b498 + b499 <= 1;

e748:    b500 + b501 <= 1;

e749:    b500 + b501 <= 1;

e750:    b502 + b503 <= 1;

e751:    b502 + b503 <= 1;

e752:    b504 + b505 <= 1;

e753:    b504 + b505 <= 1;

e754:    b506 + b507 <= 1;

e755:    b506 + b507 <= 1;

e756:    b508 + b509 <= 1;

e757:    b508 + b509 <= 1;

e758:    b510 + b511 <= 1;

e759:    b510 + b511 <= 1;

e760:    b512 + b513 <= 1;

e761:    b512 + b513 <= 1;

e762:    b514 + b515 <= 1;

e763:    b514 + b515 <= 1;

e764:    b516 + b517 <= 1;

e765:    b516 + b517 <= 1;

e766:    b398 - b458 <= 0;

e767:  - b398 + b399 - b459 <= 0;

e768:    b400 - b460 <= 0;

e769:  - b400 + b401 - b461 <= 0;

e770:    b402 - b462 <= 0;

e771:  - b402 + b403 - b463 <= 0;

e772:    b404 - b464 <= 0;

e773:  - b404 + b405 - b465 <= 0;

e774:    b406 - b466 <= 0;

e775:  - b406 + b407 - b467 <= 0;

e776:    b408 - b468 <= 0;

e777:  - b408 + b409 - b469 <= 0;

e778:    b410 - b470 <= 0;

e779:  - b410 + b411 - b471 <= 0;

e780:    b412 - b472 <= 0;

e781:  - b412 + b413 - b473 <= 0;

e782:    b414 - b474 <= 0;

e783:  - b414 + b415 - b475 <= 0;

e784:    b416 - b476 <= 0;

e785:  - b416 + b417 - b477 <= 0;

e786:    b418 - b478 <= 0;

e787:  - b418 + b419 - b479 <= 0;

e788:    b420 - b480 <= 0;

e789:  - b420 + b421 - b481 <= 0;

e790:    b422 - b482 <= 0;

e791:  - b422 + b423 - b483 <= 0;

e792:    b424 - b484 <= 0;

e793:  - b424 + b425 - b485 <= 0;

e794:    b426 - b486 <= 0;

e795:  - b426 + b427 - b487 <= 0;

e796:    b428 - b488 <= 0;

e797:  - b428 + b429 - b489 <= 0;

e798:    b430 - b490 <= 0;

e799:  - b430 + b431 - b491 <= 0;

e800:    b432 - b492 <= 0;

e801:  - b432 + b433 - b493 <= 0;

e802:    b434 - b494 <= 0;

e803:  - b434 + b435 - b495 <= 0;

e804:    b436 - b496 <= 0;

e805:  - b436 + b437 - b497 <= 0;

e806:    b438 - b498 <= 0;

e807:  - b438 + b439 - b499 <= 0;

e808:    b440 - b500 <= 0;

e809:  - b440 + b441 - b501 <= 0;

e810:    b442 - b502 <= 0;

e811:  - b442 + b443 - b503 <= 0;

e812:    b444 - b504 <= 0;

e813:  - b444 + b445 - b505 <= 0;

e814:    b446 - b506 <= 0;

e815:  - b446 + b447 - b507 <= 0;

e816:    b448 - b508 <= 0;

e817:  - b448 + b449 - b509 <= 0;

e818:    b450 - b510 <= 0;

e819:  - b450 + b451 - b511 <= 0;

e820:    b452 - b512 <= 0;

e821:  - b452 + b453 - b513 <= 0;

e822:    b454 - b514 <= 0;

e823:  - b454 + b455 - b515 <= 0;

e824:    b456 - b516 <= 0;

e825:  - b456 + b457 - b517 <= 0;

e826:    b398 + b400 = 1;

e827:    b399 + b401 = 1;

e828:  - b402 + b408 + b410 >= 0;

e829:  - b403 + b409 + b411 >= 0;

e830:  - b408 + b420 >= 0;

e831:  - b409 + b421 >= 0;

e832:  - b410 + b422 >= 0;

e833:  - b411 + b423 >= 0;

e834:  - b404 + b412 >= 0;

e835:  - b405 + b413 >= 0;

e836:  - b412 + b424 + b426 >= 0;

e837:  - b413 + b425 + b427 >= 0;

e838:  - b406 + b414 + b416 + b418 >= 0;

e839:  - b407 + b415 + b417 + b419 >= 0;

e840:  - b414 + b426 >= 0;

e841:  - b415 + b427 >= 0;

e842:  - b416 + b428 + b430 >= 0;

e843:  - b417 + b429 + b431 >= 0;

e844:  - b418 + b432 + b434 + b436 >= 0;

e845:  - b419 + b433 + b435 + b437 >= 0;

e846:    b398 + b400 - b402 >= 0;

e847:    b399 + b401 - b403 >= 0;

e848:    b398 + b400 - b404 >= 0;

e849:    b399 + b401 - b405 >= 0;

e850:    b398 + b400 - b406 >= 0;

e851:    b399 + b401 - b407 >= 0;

e852:    b402 - b408 >= 0;

e853:    b403 - b409 >= 0;

e854:    b402 - b410 >= 0;

e855:    b403 - b411 >= 0;

e856:    b404 - b412 >= 0;

e857:    b405 - b413 >= 0;

e858:    b406 - b414 >= 0;

e859:    b407 - b415 >= 0;

e860:    b406 - b416 >= 0;

e861:    b407 - b417 >= 0;

e862:    b406 - b418 >= 0;

e863:    b407 - b419 >= 0;

e864:    b408 - b420 >= 0;

e865:    b409 - b421 >= 0;

e866:    b410 - b422 >= 0;

e867:    b411 - b423 >= 0;

e868:    b412 - b424 >= 0;

e869:    b413 - b425 >= 0;

e870:    b412 - b426 >= 0;

e871:    b413 - b427 >= 0;

e872:    b416 - b428 >= 0;

e873:    b417 - b429 >= 0;

e874:    b416 - b430 >= 0;

e875:    b417 - b431 >= 0;

e876:    b418 - b432 >= 0;

e877:    b419 - b433 >= 0;

e878:    b418 - b434 >= 0;

e879:    b419 - b435 >= 0;

e880:    b418 - b436 >= 0;

e881:    b419 - b437 >= 0;

e882:  - b436 + b438 + b440 >= 0;

e883:  - b437 + b439 + b441 >= 0;

e884:  - b442 + b448 + b450 >= 0;

e885:  - b443 + b449 + b451 >= 0;

e886:  - b444 + b452 >= 0;

e887:  - b445 + b453 >= 0;

e888:    b436 - b438 >= 0;

e889:    b437 - b439 >= 0;

e890:    b436 - b440 >= 0;

e891:    b437 - b441 >= 0;

e892:    b442 - b448 >= 0;

e893:    b443 - b449 >= 0;

e894:    b442 - b450 >= 0;

e895:    b443 - b451 >= 0;

e896:    b444 - b452 >= 0;

e897:    b445 - b453 >= 0;

e898:    b446 - b454 >= 0;

e899:    b447 - b455 >= 0;

e900:    b446 - b456 >= 0;

e901:    b447 - b457 >= 0;