#  MINLP written by GAMS Convert at 09/25/19 11:21:48
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        607      253       54      300        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        383      303       80        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1375     1291       84        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2;
var x3;
var x4;
var x5;
var x6;
var x7;
var x8;
var x9;
var x10;
var x11;
var x12;
var x13;
var x14;
var x15;
var x16;
var x17;
var x18;
var x19;
var x20;
var x21;
var x22;
var x23;
var x24;
var x25;
var x26;
var x27;
var x28;
var x29;
var x30;
var x31;
var x32;
var x33;
var x34;
var x35;
var x36;
var x37;
var x38;
var x39;
var x40;
var x41;
var x42 >= 0, <= 40;
var x43 >= 0, <= 40;
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, <= 30;
var x65 >= 0, <= 30;
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, <= 20;
var x99 >= 0, <= 20;
var x100 >= 0, <= 20;
var x101 >= 0, <= 20;
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 b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;
var b314 binary >= 0, <= 1;
var b315 binary >= 0, <= 1;
var b316 binary >= 0, <= 1;
var b317 binary >= 0, <= 1;
var b318 binary >= 0, <= 1;
var b319 binary >= 0, <= 1;
var b320 binary >= 0, <= 1;
var b321 binary >= 0, <= 1;
var b322 binary >= 0, <= 1;
var b323 binary >= 0, <= 1;
var b324 binary >= 0, <= 1;
var b325 binary >= 0, <= 1;
var b326 binary >= 0, <= 1;
var b327 binary >= 0, <= 1;
var b328 binary >= 0, <= 1;
var b329 binary >= 0, <= 1;
var b330 binary >= 0, <= 1;
var b331 binary >= 0, <= 1;
var b332 binary >= 0, <= 1;
var b333 binary >= 0, <= 1;
var b334 binary >= 0, <= 1;
var b335 binary >= 0, <= 1;
var b336 binary >= 0, <= 1;
var b337 binary >= 0, <= 1;
var b338 binary >= 0, <= 1;
var b339 binary >= 0, <= 1;
var b340 binary >= 0, <= 1;
var b341 binary >= 0, <= 1;
var b342 binary >= 0, <= 1;
var b343 binary >= 0, <= 1;
var b344 binary >= 0, <= 1;
var b345 binary >= 0, <= 1;
var b346 binary >= 0, <= 1;
var b347 binary >= 0, <= 1;
var b348 binary >= 0, <= 1;
var b349 binary >= 0, <= 1;
var b350 binary >= 0, <= 1;
var b351 binary >= 0, <= 1;
var b352 binary >= 0, <= 1;
var b353 binary >= 0, <= 1;
var b354 binary >= 0, <= 1;
var b355 binary >= 0, <= 1;
var b356 binary >= 0, <= 1;
var b357 binary >= 0, <= 1;
var b358 binary >= 0, <= 1;
var b359 binary >= 0, <= 1;
var b360 binary >= 0, <= 1;
var b361 binary >= 0, <= 1;
var b362 binary >= 0, <= 1;
var b363 binary >= 0, <= 1;
var b364 binary >= 0, <= 1;
var b365 binary >= 0, <= 1;
var b366 binary >= 0, <= 1;
var b367 binary >= 0, <= 1;
var b368 binary >= 0, <= 1;
var b369 binary >= 0, <= 1;
var b370 binary >= 0, <= 1;
var b371 binary >= 0, <= 1;
var b372 binary >= 0, <= 1;
var b373 binary >= 0, <= 1;
var b374 binary >= 0, <= 1;
var b375 binary >= 0, <= 1;
var b376 binary >= 0, <= 1;
var b377 binary >= 0, <= 1;
var b378 binary >= 0, <= 1;
var b379 binary >= 0, <= 1;
var b380 binary >= 0, <= 1;
var b381 binary >= 0, <= 1;
var b382 binary >= 0, <= 1;
var b383 binary >= 0, <= 1;

maximize obj:  - x42 - x43 + 5*x54 + 10*x55 - 2*x64 - x65 - 10*x98 - 5*x99
     - 5*x100 - 5*x101 + 80*x114 + 130*x115 + 110*x116 + 120*x117 + 110*x118
     + 130*x119 + 80*x120 + 90*x121 + 285*x122 + 390*x123 + 290*x124 + 405*x125
     + 280*x126 + 400*x127 + 290*x128 + 300*x129 + 350*x130 + 250*x131 - 5*b344
     - 4*b345 - 8*b346 - 7*b347 - 6*b348 - 9*b349 - 10*b350 - 9*b351 - 6*b352
     - 10*b353 - 7*b354 - 7*b355 - 4*b356 - 3*b357 - 5*b358 - 6*b359 - 2*b360
     - 5*b361 - 4*b362 - 7*b363 - 3*b364 - 9*b365 - 7*b366 - 2*b367 - 3*b368
     - b369 - 2*b370 - 6*b371 - 4*b372 - 8*b373 - 2*b374 - 5*b375 - 3*b376
     - 4*b377 - 5*b378 - 7*b379 - 2*b380 - 8*b381 - b382 - 4*b383;

subject to

e2:    x42 - x44 - x46 = 0;

e3:    x43 - x45 - x47 = 0;

e4:  - x48 - x50 + x52 = 0;

e5:  - x49 - x51 + x53 = 0;

e6:    x52 - x54 - x56 = 0;

e7:    x53 - x55 - x57 = 0;

e8:    x56 - x58 - x60 - x62 = 0;

e9:    x57 - x59 - x61 - x63 = 0;

e10:    x66 - x72 - x74 = 0;

e11:    x67 - x73 - x75 = 0;

e12:    x70 - x76 - x78 - x80 = 0;

e13:    x71 - x77 - x79 - x81 = 0;

e14:    x86 - x94 - x96 = 0;

e15:    x87 - x95 - x97 = 0;

e16:  - x88 - x100 + x102 = 0;

e17:  - x89 - x101 + x103 = 0;

e18:    x90 - x104 - x106 = 0;

e19:    x91 - x105 - x107 = 0;

e20:    x92 - x108 - x110 - x112 = 0;

e21:    x93 - x109 - x111 - x113 = 0;

e22: (x140/(0.001 + 0.999*b304) - log(1 + x132/(0.001 + 0.999*b304)))*(0.001 + 
     0.999*b304) <= 0;

e23: (x141/(0.001 + 0.999*b305) - log(1 + x133/(0.001 + 0.999*b305)))*(0.001 + 
     0.999*b305) <= 0;

e24:    x134 = 0;

e25:    x135 = 0;

e26:    x142 = 0;

e27:    x143 = 0;

e28:    x44 - x132 - x134 = 0;

e29:    x45 - x133 - x135 = 0;

e30:    x48 - x140 - x142 = 0;

e31:    x49 - x141 - x143 = 0;

e32:    x132 - 40*b304 <= 0;

e33:    x133 - 40*b305 <= 0;

e34:    x134 + 40*b304 <= 40;

e35:    x135 + 40*b305 <= 40;

e36:    x140 - 3.71357206670431*b304 <= 0;

e37:    x141 - 3.71357206670431*b305 <= 0;

e38:    x142 + 3.71357206670431*b304 <= 3.71357206670431;

e39:    x143 + 3.71357206670431*b305 <= 3.71357206670431;

e40: (x144/(0.001 + 0.999*b306) - 1.2*log(1 + x136/(0.001 + 0.999*b306)))*(
     0.001 + 0.999*b306) <= 0;

e41: (x145/(0.001 + 0.999*b307) - 1.2*log(1 + x137/(0.001 + 0.999*b307)))*(
     0.001 + 0.999*b307) <= 0;

e42:    x138 = 0;

e43:    x139 = 0;

e44:    x146 = 0;

e45:    x147 = 0;

e46:    x46 - x136 - x138 = 0;

e47:    x47 - x137 - x139 = 0;

e48:    x50 - x144 - x146 = 0;

e49:    x51 - x145 - x147 = 0;

e50:    x136 - 40*b306 <= 0;

e51:    x137 - 40*b307 <= 0;

e52:    x138 + 40*b306 <= 40;

e53:    x139 + 40*b307 <= 40;

e54:    x144 - 4.45628648004517*b306 <= 0;

e55:    x145 - 4.45628648004517*b307 <= 0;

e56:    x146 + 4.45628648004517*b306 <= 4.45628648004517;

e57:    x147 + 4.45628648004517*b307 <= 4.45628648004517;

e58:  - 0.75*x148 + x164 = 0;

e59:  - 0.75*x149 + x165 = 0;

e60:    x150 = 0;

e61:    x151 = 0;

e62:    x166 = 0;

e63:    x167 = 0;

e64:    x58 - x148 - x150 = 0;

e65:    x59 - x149 - x151 = 0;

e66:    x66 - x164 - x166 = 0;

e67:    x67 - x165 - x167 = 0;

e68:    x148 - 4.45628648004517*b308 <= 0;

e69:    x149 - 4.45628648004517*b309 <= 0;

e70:    x150 + 4.45628648004517*b308 <= 4.45628648004517;

e71:    x151 + 4.45628648004517*b309 <= 4.45628648004517;

e72:    x164 - 3.34221486003388*b308 <= 0;

e73:    x165 - 3.34221486003388*b309 <= 0;

e74:    x166 + 3.34221486003388*b308 <= 3.34221486003388;

e75:    x167 + 3.34221486003388*b309 <= 3.34221486003388;

e76: (x168/(0.001 + 0.999*b310) - 1.5*log(1 + x152/(0.001 + 0.999*b310)))*(
     0.001 + 0.999*b310) <= 0;

e77: (x169/(0.001 + 0.999*b311) - 1.5*log(1 + x153/(0.001 + 0.999*b311)))*(
     0.001 + 0.999*b311) <= 0;

e78:    x154 = 0;

e79:    x155 = 0;

e80:    x172 = 0;

e81:    x173 = 0;

e82:    x60 - x152 - x154 = 0;

e83:    x61 - x153 - x155 = 0;

e84:    x68 - x168 - x172 = 0;

e85:    x69 - x169 - x173 = 0;

e86:    x152 - 4.45628648004517*b310 <= 0;

e87:    x153 - 4.45628648004517*b311 <= 0;

e88:    x154 + 4.45628648004517*b310 <= 4.45628648004517;

e89:    x155 + 4.45628648004517*b311 <= 4.45628648004517;

e90:    x168 - 2.54515263975353*b310 <= 0;

e91:    x169 - 2.54515263975353*b311 <= 0;

e92:    x172 + 2.54515263975353*b310 <= 2.54515263975353;

e93:    x173 + 2.54515263975353*b311 <= 2.54515263975353;

e94:  - x156 + x176 = 0;

e95:  - x157 + x177 = 0;

e96:  - 0.5*x160 + x176 = 0;

e97:  - 0.5*x161 + x177 = 0;

e98:    x158 = 0;

e99:    x159 = 0;

e100:    x162 = 0;

e101:    x163 = 0;

e102:    x178 = 0;

e103:    x179 = 0;

e104:    x62 - x156 - x158 = 0;

e105:    x63 - x157 - x159 = 0;

e106:    x64 - x160 - x162 = 0;

e107:    x65 - x161 - x163 = 0;

e108:    x70 - x176 - x178 = 0;

e109:    x71 - x177 - x179 = 0;

e110:    x156 - 4.45628648004517*b312 <= 0;

e111:    x157 - 4.45628648004517*b313 <= 0;

e112:    x158 + 4.45628648004517*b312 <= 4.45628648004517;

e113:    x159 + 4.45628648004517*b313 <= 4.45628648004517;

e114:    x160 - 30*b312 <= 0;

e115:    x161 - 30*b313 <= 0;

e116:    x162 + 30*b312 <= 30;

e117:    x163 + 30*b313 <= 30;

e118:    x176 - 15*b312 <= 0;

e119:    x177 - 15*b313 <= 0;

e120:    x178 + 15*b312 <= 15;

e121:    x179 + 15*b313 <= 15;

e122: (x200/(0.001 + 0.999*b314) - 1.25*log(1 + x180/(0.001 + 0.999*b314)))*(
      0.001 + 0.999*b314) <= 0;

e123: (x201/(0.001 + 0.999*b315) - 1.25*log(1 + x181/(0.001 + 0.999*b315)))*(
      0.001 + 0.999*b315) <= 0;

e124:    x182 = 0;

e125:    x183 = 0;

e126:    x204 = 0;

e127:    x205 = 0;

e128:    x72 - x180 - x182 = 0;

e129:    x73 - x181 - x183 = 0;

e130:    x82 - x200 - x204 = 0;

e131:    x83 - x201 - x205 = 0;

e132:    x180 - 3.34221486003388*b314 <= 0;

e133:    x181 - 3.34221486003388*b315 <= 0;

e134:    x182 + 3.34221486003388*b314 <= 3.34221486003388;

e135:    x183 + 3.34221486003388*b315 <= 3.34221486003388;

e136:    x200 - 1.83548069293539*b314 <= 0;

e137:    x201 - 1.83548069293539*b315 <= 0;

e138:    x204 + 1.83548069293539*b314 <= 1.83548069293539;

e139:    x205 + 1.83548069293539*b315 <= 1.83548069293539;

e140: (x208/(0.001 + 0.999*b316) - 0.9*log(1 + x184/(0.001 + 0.999*b316)))*(
      0.001 + 0.999*b316) <= 0;

e141: (x209/(0.001 + 0.999*b317) - 0.9*log(1 + x185/(0.001 + 0.999*b317)))*(
      0.001 + 0.999*b317) <= 0;

e142:    x186 = 0;

e143:    x187 = 0;

e144:    x212 = 0;

e145:    x213 = 0;

e146:    x74 - x184 - x186 = 0;

e147:    x75 - x185 - x187 = 0;

e148:    x84 - x208 - x212 = 0;

e149:    x85 - x209 - x213 = 0;

e150:    x184 - 3.34221486003388*b316 <= 0;

e151:    x185 - 3.34221486003388*b317 <= 0;

e152:    x186 + 3.34221486003388*b316 <= 3.34221486003388;

e153:    x187 + 3.34221486003388*b317 <= 3.34221486003388;

e154:    x208 - 1.32154609891348*b316 <= 0;

e155:    x209 - 1.32154609891348*b317 <= 0;

e156:    x212 + 1.32154609891348*b316 <= 1.32154609891348;

e157:    x213 + 1.32154609891348*b317 <= 1.32154609891348;

e158: (x216/(0.001 + 0.999*b318) - log(1 + x170/(0.001 + 0.999*b318)))*(0.001
       + 0.999*b318) <= 0;

e159: (x217/(0.001 + 0.999*b319) - log(1 + x171/(0.001 + 0.999*b319)))*(0.001
       + 0.999*b319) <= 0;

e160:    x174 = 0;

e161:    x175 = 0;

e162:    x218 = 0;

e163:    x219 = 0;

e164:    x68 - x170 - x174 = 0;

e165:    x69 - x171 - x175 = 0;

e166:    x86 - x216 - x218 = 0;

e167:    x87 - x217 - x219 = 0;

e168:    x170 - 2.54515263975353*b318 <= 0;

e169:    x171 - 2.54515263975353*b319 <= 0;

e170:    x174 + 2.54515263975353*b318 <= 2.54515263975353;

e171:    x175 + 2.54515263975353*b319 <= 2.54515263975353;

e172:    x216 - 1.26558121681553*b318 <= 0;

e173:    x217 - 1.26558121681553*b319 <= 0;

e174:    x218 + 1.26558121681553*b318 <= 1.26558121681553;

e175:    x219 + 1.26558121681553*b319 <= 1.26558121681553;

e176:  - 0.9*x188 + x220 = 0;

e177:  - 0.9*x189 + x221 = 0;

e178:    x190 = 0;

e179:    x191 = 0;

e180:    x222 = 0;

e181:    x223 = 0;

e182:    x76 - x188 - x190 = 0;

e183:    x77 - x189 - x191 = 0;

e184:    x88 - x220 - x222 = 0;

e185:    x89 - x221 - x223 = 0;

e186:    x188 - 15*b320 <= 0;

e187:    x189 - 15*b321 <= 0;

e188:    x190 + 15*b320 <= 15;

e189:    x191 + 15*b321 <= 15;

e190:    x220 - 13.5*b320 <= 0;

e191:    x221 - 13.5*b321 <= 0;

e192:    x222 + 13.5*b320 <= 13.5;

e193:    x223 + 13.5*b321 <= 13.5;

e194:  - 0.6*x192 + x224 = 0;

e195:  - 0.6*x193 + x225 = 0;

e196:    x194 = 0;

e197:    x195 = 0;

e198:    x226 = 0;

e199:    x227 = 0;

e200:    x78 - x192 - x194 = 0;

e201:    x79 - x193 - x195 = 0;

e202:    x90 - x224 - x226 = 0;

e203:    x91 - x225 - x227 = 0;

e204:    x192 - 15*b322 <= 0;

e205:    x193 - 15*b323 <= 0;

e206:    x194 + 15*b322 <= 15;

e207:    x195 + 15*b323 <= 15;

e208:    x224 - 9*b322 <= 0;

e209:    x225 - 9*b323 <= 0;

e210:    x226 + 9*b322 <= 9;

e211:    x227 + 9*b323 <= 9;

e212: (x228/(0.001 + 0.999*b324) - 1.1*log(1 + x196/(0.001 + 0.999*b324)))*(
      0.001 + 0.999*b324) <= 0;

e213: (x229/(0.001 + 0.999*b325) - 1.1*log(1 + x197/(0.001 + 0.999*b325)))*(
      0.001 + 0.999*b325) <= 0;

e214:    x198 = 0;

e215:    x199 = 0;

e216:    x230 = 0;

e217:    x231 = 0;

e218:    x80 - x196 - x198 = 0;

e219:    x81 - x197 - x199 = 0;

e220:    x92 - x228 - x230 = 0;

e221:    x93 - x229 - x231 = 0;

e222:    x196 - 15*b324 <= 0;

e223:    x197 - 15*b325 <= 0;

e224:    x198 + 15*b324 <= 15;

e225:    x199 + 15*b325 <= 15;

e226:    x228 - 3.04984759446376*b324 <= 0;

e227:    x229 - 3.04984759446376*b325 <= 0;

e228:    x230 + 3.04984759446376*b324 <= 3.04984759446376;

e229:    x231 + 3.04984759446376*b325 <= 3.04984759446376;

e230:  - 0.9*x202 + x268 = 0;

e231:  - 0.9*x203 + x269 = 0;

e232:  - x240 + x268 = 0;

e233:  - x241 + x269 = 0;

e234:    x206 = 0;

e235:    x207 = 0;

e236:    x242 = 0;

e237:    x243 = 0;

e238:    x270 = 0;

e239:    x271 = 0;

e240:    x82 - x202 - x206 = 0;

e241:    x83 - x203 - x207 = 0;

e242:    x98 - x240 - x242 = 0;

e243:    x99 - x241 - x243 = 0;

e244:    x114 - x268 - x270 = 0;

e245:    x115 - x269 - x271 = 0;

e246:    x202 - 1.83548069293539*b326 <= 0;

e247:    x203 - 1.83548069293539*b327 <= 0;

e248:    x206 + 1.83548069293539*b326 <= 1.83548069293539;

e249:    x207 + 1.83548069293539*b327 <= 1.83548069293539;

e250:    x240 - 20*b326 <= 0;

e251:    x241 - 20*b327 <= 0;

e252:    x242 + 20*b326 <= 20;

e253:    x243 + 20*b327 <= 20;

e254:    x268 - 20*b326 <= 0;

e255:    x269 - 20*b327 <= 0;

e256:    x270 + 20*b326 <= 20;

e257:    x271 + 20*b327 <= 20;

e258: (x272/(0.001 + 0.999*b328) - log(1 + x210/(0.001 + 0.999*b328)))*(0.001
       + 0.999*b328) <= 0;

e259: (x273/(0.001 + 0.999*b329) - log(1 + x211/(0.001 + 0.999*b329)))*(0.001
       + 0.999*b329) <= 0;

e260:    x214 = 0;

e261:    x215 = 0;

e262:    x274 = 0;

e263:    x275 = 0;

e264:    x84 - x210 - x214 = 0;

e265:    x85 - x211 - x215 = 0;

e266:    x116 - x272 - x274 = 0;

e267:    x117 - x273 - x275 = 0;

e268:    x210 - 1.32154609891348*b328 <= 0;

e269:    x211 - 1.32154609891348*b329 <= 0;

e270:    x214 + 1.32154609891348*b328 <= 1.32154609891348;

e271:    x215 + 1.32154609891348*b329 <= 1.32154609891348;

e272:    x272 - 0.842233385663186*b328 <= 0;

e273:    x273 - 0.842233385663186*b329 <= 0;

e274:    x274 + 0.842233385663186*b328 <= 0.842233385663186;

e275:    x275 + 0.842233385663186*b329 <= 0.842233385663186;

e276: (x276/(0.001 + 0.999*b330) - 0.7*log(1 + x232/(0.001 + 0.999*b330)))*(
      0.001 + 0.999*b330) <= 0;

e277: (x277/(0.001 + 0.999*b331) - 0.7*log(1 + x233/(0.001 + 0.999*b331)))*(
      0.001 + 0.999*b331) <= 0;

e278:    x234 = 0;

e279:    x235 = 0;

e280:    x278 = 0;

e281:    x279 = 0;

e282:    x94 - x232 - x234 = 0;

e283:    x95 - x233 - x235 = 0;

e284:    x118 - x276 - x278 = 0;

e285:    x119 - x277 - x279 = 0;

e286:    x232 - 1.26558121681553*b330 <= 0;

e287:    x233 - 1.26558121681553*b331 <= 0;

e288:    x234 + 1.26558121681553*b330 <= 1.26558121681553;

e289:    x235 + 1.26558121681553*b331 <= 1.26558121681553;

e290:    x276 - 0.572481933717686*b330 <= 0;

e291:    x277 - 0.572481933717686*b331 <= 0;

e292:    x278 + 0.572481933717686*b330 <= 0.572481933717686;

e293:    x279 + 0.572481933717686*b331 <= 0.572481933717686;

e294: (x280/(0.001 + 0.999*b332) - 0.65*log(1 + x236/(0.001 + 0.999*b332)))*(
      0.001 + 0.999*b332) <= 0;

e295: (x281/(0.001 + 0.999*b333) - 0.65*log(1 + x237/(0.001 + 0.999*b333)))*(
      0.001 + 0.999*b333) <= 0;

e296: (x280/(0.001 + 0.999*b332) - 0.65*log(1 + x244/(0.001 + 0.999*b332)))*(
      0.001 + 0.999*b332) <= 0;

e297: (x281/(0.001 + 0.999*b333) - 0.65*log(1 + x245/(0.001 + 0.999*b333)))*(
      0.001 + 0.999*b333) <= 0;

e298:    x238 = 0;

e299:    x239 = 0;

e300:    x246 = 0;

e301:    x247 = 0;

e302:    x282 = 0;

e303:    x283 = 0;

e304:    x96 - x236 - x238 = 0;

e305:    x97 - x237 - x239 = 0;

e306:    x102 - x244 - x246 = 0;

e307:    x103 - x245 - x247 = 0;

e308:    x120 - x280 - x282 = 0;

e309:    x121 - x281 - x283 = 0;

e310:    x236 - 1.26558121681553*b332 <= 0;

e311:    x237 - 1.26558121681553*b333 <= 0;

e312:    x238 + 1.26558121681553*b332 <= 1.26558121681553;

e313:    x239 + 1.26558121681553*b333 <= 1.26558121681553;

e314:    x244 - 33.5*b332 <= 0;

e315:    x245 - 33.5*b333 <= 0;

e316:    x246 + 33.5*b332 <= 33.5;

e317:    x247 + 33.5*b333 <= 33.5;

e318:    x280 - 2.30162356062425*b332 <= 0;

e319:    x281 - 2.30162356062425*b333 <= 0;

e320:    x282 + 2.30162356062425*b332 <= 2.30162356062425;

e321:    x283 + 2.30162356062425*b333 <= 2.30162356062425;

e322:  - x248 + x284 = 0;

e323:  - x249 + x285 = 0;

e324:    x250 = 0;

e325:    x251 = 0;

e326:    x286 = 0;

e327:    x287 = 0;

e328:    x104 - x248 - x250 = 0;

e329:    x105 - x249 - x251 = 0;

e330:    x122 - x284 - x286 = 0;

e331:    x123 - x285 - x287 = 0;

e332:    x248 - 9*b334 <= 0;

e333:    x249 - 9*b335 <= 0;

e334:    x250 + 9*b334 <= 9;

e335:    x251 + 9*b335 <= 9;

e336:    x284 - 9*b334 <= 0;

e337:    x285 - 9*b335 <= 0;

e338:    x286 + 9*b334 <= 9;

e339:    x287 + 9*b335 <= 9;

e340:  - x252 + x288 = 0;

e341:  - x253 + x289 = 0;

e342:    x254 = 0;

e343:    x255 = 0;

e344:    x290 = 0;

e345:    x291 = 0;

e346:    x106 - x252 - x254 = 0;

e347:    x107 - x253 - x255 = 0;

e348:    x124 - x288 - x290 = 0;

e349:    x125 - x289 - x291 = 0;

e350:    x252 - 9*b336 <= 0;

e351:    x253 - 9*b337 <= 0;

e352:    x254 + 9*b336 <= 9;

e353:    x255 + 9*b337 <= 9;

e354:    x288 - 9*b336 <= 0;

e355:    x289 - 9*b337 <= 0;

e356:    x290 + 9*b336 <= 9;

e357:    x291 + 9*b337 <= 9;

e358: (x292/(0.001 + 0.999*b338) - 0.75*log(1 + x256/(0.001 + 0.999*b338)))*(
      0.001 + 0.999*b338) <= 0;

e359: (x293/(0.001 + 0.999*b339) - 0.75*log(1 + x257/(0.001 + 0.999*b339)))*(
      0.001 + 0.999*b339) <= 0;

e360:    x258 = 0;

e361:    x259 = 0;

e362:    x294 = 0;

e363:    x295 = 0;

e364:    x108 - x256 - x258 = 0;

e365:    x109 - x257 - x259 = 0;

e366:    x126 - x292 - x294 = 0;

e367:    x127 - x293 - x295 = 0;

e368:    x256 - 3.04984759446376*b338 <= 0;

e369:    x257 - 3.04984759446376*b339 <= 0;

e370:    x258 + 3.04984759446376*b338 <= 3.04984759446376;

e371:    x259 + 3.04984759446376*b339 <= 3.04984759446376;

e372:    x292 - 1.04900943706034*b338 <= 0;

e373:    x293 - 1.04900943706034*b339 <= 0;

e374:    x294 + 1.04900943706034*b338 <= 1.04900943706034;

e375:    x295 + 1.04900943706034*b339 <= 1.04900943706034;

e376: (x296/(0.001 + 0.999*b340) - 0.8*log(1 + x260/(0.001 + 0.999*b340)))*(
      0.001 + 0.999*b340) <= 0;

e377: (x297/(0.001 + 0.999*b341) - 0.8*log(1 + x261/(0.001 + 0.999*b341)))*(
      0.001 + 0.999*b341) <= 0;

e378:    x262 = 0;

e379:    x263 = 0;

e380:    x298 = 0;

e381:    x299 = 0;

e382:    x110 - x260 - x262 = 0;

e383:    x111 - x261 - x263 = 0;

e384:    x128 - x296 - x298 = 0;

e385:    x129 - x297 - x299 = 0;

e386:    x260 - 3.04984759446376*b340 <= 0;

e387:    x261 - 3.04984759446376*b341 <= 0;

e388:    x262 + 3.04984759446376*b340 <= 3.04984759446376;

e389:    x263 + 3.04984759446376*b341 <= 3.04984759446376;

e390:    x296 - 1.11894339953103*b340 <= 0;

e391:    x297 - 1.11894339953103*b341 <= 0;

e392:    x298 + 1.11894339953103*b340 <= 1.11894339953103;

e393:    x299 + 1.11894339953103*b341 <= 1.11894339953103;

e394: (x300/(0.001 + 0.999*b342) - 0.85*log(1 + x264/(0.001 + 0.999*b342)))*(
      0.001 + 0.999*b342) <= 0;

e395: (x301/(0.001 + 0.999*b343) - 0.85*log(1 + x265/(0.001 + 0.999*b343)))*(
      0.001 + 0.999*b343) <= 0;

e396:    x266 = 0;

e397:    x267 = 0;

e398:    x302 = 0;

e399:    x303 = 0;

e400:    x112 - x264 - x266 = 0;

e401:    x113 - x265 - x267 = 0;

e402:    x130 - x300 - x302 = 0;

e403:    x131 - x301 - x303 = 0;

e404:    x264 - 3.04984759446376*b342 <= 0;

e405:    x265 - 3.04984759446376*b343 <= 0;

e406:    x266 + 3.04984759446376*b342 <= 3.04984759446376;

e407:    x267 + 3.04984759446376*b343 <= 3.04984759446376;

e408:    x300 - 1.18887736200171*b342 <= 0;

e409:    x301 - 1.18887736200171*b343 <= 0;

e410:    x302 + 1.18887736200171*b342 <= 1.18887736200171;

e411:    x303 + 1.18887736200171*b343 <= 1.18887736200171;

e412:    x2 + 5*b344 = 0;

e413:    x3 + 4*b345 = 0;

e414:    x4 + 8*b346 = 0;

e415:    x5 + 7*b347 = 0;

e416:    x6 + 6*b348 = 0;

e417:    x7 + 9*b349 = 0;

e418:    x8 + 10*b350 = 0;

e419:    x9 + 9*b351 = 0;

e420:    x10 + 6*b352 = 0;

e421:    x11 + 10*b353 = 0;

e422:    x12 + 7*b354 = 0;

e423:    x13 + 7*b355 = 0;

e424:    x14 + 4*b356 = 0;

e425:    x15 + 3*b357 = 0;

e426:    x16 + 5*b358 = 0;

e427:    x17 + 6*b359 = 0;

e428:    x18 + 2*b360 = 0;

e429:    x19 + 5*b361 = 0;

e430:    x20 + 4*b362 = 0;

e431:    x21 + 7*b363 = 0;

e432:    x22 + 3*b364 = 0;

e433:    x23 + 9*b365 = 0;

e434:    x24 + 7*b366 = 0;

e435:    x25 + 2*b367 = 0;

e436:    x26 + 3*b368 = 0;

e437:    x27 + b369 = 0;

e438:    x28 + 2*b370 = 0;

e439:    x29 + 6*b371 = 0;

e440:    x30 + 4*b372 = 0;

e441:    x31 + 8*b373 = 0;

e442:    x32 + 2*b374 = 0;

e443:    x33 + 5*b375 = 0;

e444:    x34 + 3*b376 = 0;

e445:    x35 + 4*b377 = 0;

e446:    x36 + 5*b378 = 0;

e447:    x37 + 7*b379 = 0;

e448:    x38 + 2*b380 = 0;

e449:    x39 + 8*b381 = 0;

e450:    x40 + b382 = 0;

e451:    x41 + 4*b383 = 0;

e452:    b304 - b305 <= 0;

e453:    b306 - b307 <= 0;

e454:    b308 - b309 <= 0;

e455:    b310 - b311 <= 0;

e456:    b312 - b313 <= 0;

e457:    b314 - b315 <= 0;

e458:    b316 - b317 <= 0;

e459:    b318 - b319 <= 0;

e460:    b320 - b321 <= 0;

e461:    b322 - b323 <= 0;

e462:    b324 - b325 <= 0;

e463:    b326 - b327 <= 0;

e464:    b328 - b329 <= 0;

e465:    b330 - b331 <= 0;

e466:    b332 - b333 <= 0;

e467:    b334 - b335 <= 0;

e468:    b336 - b337 <= 0;

e469:    b338 - b339 <= 0;

e470:    b340 - b341 <= 0;

e471:    b342 - b343 <= 0;

e472:    b344 + b345 <= 1;

e473:    b344 + b345 <= 1;

e474:    b346 + b347 <= 1;

e475:    b346 + b347 <= 1;

e476:    b348 + b349 <= 1;

e477:    b348 + b349 <= 1;

e478:    b350 + b351 <= 1;

e479:    b350 + b351 <= 1;

e480:    b352 + b353 <= 1;

e481:    b352 + b353 <= 1;

e482:    b354 + b355 <= 1;

e483:    b354 + b355 <= 1;

e484:    b356 + b357 <= 1;

e485:    b356 + b357 <= 1;

e486:    b358 + b359 <= 1;

e487:    b358 + b359 <= 1;

e488:    b360 + b361 <= 1;

e489:    b360 + b361 <= 1;

e490:    b362 + b363 <= 1;

e491:    b362 + b363 <= 1;

e492:    b364 + b365 <= 1;

e493:    b364 + b365 <= 1;

e494:    b366 + b367 <= 1;

e495:    b366 + b367 <= 1;

e496:    b368 + b369 <= 1;

e497:    b368 + b369 <= 1;

e498:    b370 + b371 <= 1;

e499:    b370 + b371 <= 1;

e500:    b372 + b373 <= 1;

e501:    b372 + b373 <= 1;

e502:    b374 + b375 <= 1;

e503:    b374 + b375 <= 1;

e504:    b376 + b377 <= 1;

e505:    b376 + b377 <= 1;

e506:    b378 + b379 <= 1;

e507:    b378 + b379 <= 1;

e508:    b380 + b381 <= 1;

e509:    b380 + b381 <= 1;

e510:    b382 + b383 <= 1;

e511:    b382 + b383 <= 1;

e512:    b304 - b344 <= 0;

e513:  - b304 + b305 - b345 <= 0;

e514:    b306 - b346 <= 0;

e515:  - b306 + b307 - b347 <= 0;

e516:    b308 - b348 <= 0;

e517:  - b308 + b309 - b349 <= 0;

e518:    b310 - b350 <= 0;

e519:  - b310 + b311 - b351 <= 0;

e520:    b312 - b352 <= 0;

e521:  - b312 + b313 - b353 <= 0;

e522:    b314 - b354 <= 0;

e523:  - b314 + b315 - b355 <= 0;

e524:    b316 - b356 <= 0;

e525:  - b316 + b317 - b357 <= 0;

e526:    b318 - b358 <= 0;

e527:  - b318 + b319 - b359 <= 0;

e528:    b320 - b360 <= 0;

e529:  - b320 + b321 - b361 <= 0;

e530:    b322 - b362 <= 0;

e531:  - b322 + b323 - b363 <= 0;

e532:    b324 - b364 <= 0;

e533:  - b324 + b325 - b365 <= 0;

e534:    b326 - b366 <= 0;

e535:  - b326 + b327 - b367 <= 0;

e536:    b328 - b368 <= 0;

e537:  - b328 + b329 - b369 <= 0;

e538:    b330 - b370 <= 0;

e539:  - b330 + b331 - b371 <= 0;

e540:    b332 - b372 <= 0;

e541:  - b332 + b333 - b373 <= 0;

e542:    b334 - b374 <= 0;

e543:  - b334 + b335 - b375 <= 0;

e544:    b336 - b376 <= 0;

e545:  - b336 + b337 - b377 <= 0;

e546:    b338 - b378 <= 0;

e547:  - b338 + b339 - b379 <= 0;

e548:    b340 - b380 <= 0;

e549:  - b340 + b341 - b381 <= 0;

e550:    b342 - b382 <= 0;

e551:  - b342 + b343 - b383 <= 0;

e552:    b304 + b306 = 1;

e553:    b305 + b307 = 1;

e554:  - b308 + b314 + b316 >= 0;

e555:  - b309 + b315 + b317 >= 0;

e556:  - b314 + b326 >= 0;

e557:  - b315 + b327 >= 0;

e558:  - b316 + b328 >= 0;

e559:  - b317 + b329 >= 0;

e560:  - b310 + b318 >= 0;

e561:  - b311 + b319 >= 0;

e562:  - b318 + b330 + b332 >= 0;

e563:  - b319 + b331 + b333 >= 0;

e564:  - b312 + b320 + b322 + b324 >= 0;

e565:  - b313 + b321 + b323 + b325 >= 0;

e566:  - b320 + b332 >= 0;

e567:  - b321 + b333 >= 0;

e568:  - b322 + b334 + b336 >= 0;

e569:  - b323 + b335 + b337 >= 0;

e570:  - b324 + b338 + b340 + b342 >= 0;

e571:  - b325 + b339 + b341 + b343 >= 0;

e572:    b304 + b306 - b308 >= 0;

e573:    b305 + b307 - b309 >= 0;

e574:    b304 + b306 - b310 >= 0;

e575:    b305 + b307 - b311 >= 0;

e576:    b304 + b306 - b312 >= 0;

e577:    b305 + b307 - b313 >= 0;

e578:    b308 - b314 >= 0;

e579:    b309 - b315 >= 0;

e580:    b308 - b316 >= 0;

e581:    b309 - b317 >= 0;

e582:    b310 - b318 >= 0;

e583:    b311 - b319 >= 0;

e584:    b312 - b320 >= 0;

e585:    b313 - b321 >= 0;

e586:    b312 - b322 >= 0;

e587:    b313 - b323 >= 0;

e588:    b312 - b324 >= 0;

e589:    b313 - b325 >= 0;

e590:    b314 - b326 >= 0;

e591:    b315 - b327 >= 0;

e592:    b316 - b328 >= 0;

e593:    b317 - b329 >= 0;

e594:    b318 - b330 >= 0;

e595:    b319 - b331 >= 0;

e596:    b318 - b332 >= 0;

e597:    b319 - b333 >= 0;

e598:    b322 - b334 >= 0;

e599:    b323 - b335 >= 0;

e600:    b322 - b336 >= 0;

e601:    b323 - b337 >= 0;

e602:    b324 - b338 >= 0;

e603:    b325 - b339 >= 0;

e604:    b324 - b340 >= 0;

e605:    b325 - b341 >= 0;

e606:    b324 - b342 >= 0;

e607:    b325 - b343 >= 0;