#  MINLP written by GAMS Convert at 01/12/18 13:42:10
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        553      261       26      266        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        388      341       47        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1339     1306       33        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0;
var x3 >= 0;
var x4 >= 0;
var x5 >= 0;
var x6 >= 0;
var x7 >= 0;
var x8 >= 0;
var x9 >= 0;
var x10 >= 0;
var x11 >= 0;
var x12 >= 0;
var x13 >= 0;
var x14 >= 0;
var x15 >= 0;
var x16 >= 0;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var x268 >= 0, <= 10;
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, <= 7;
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, <= 5;
var x297 >= 0, <= 5;
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 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;
var b384 binary >= 0, <= 1;
var b385 binary >= 0, <= 1;
var b386 binary >= 0, <= 1;
var b387 binary >= 0, <= 1;
var b388 binary >= 0, <= 1;

maximize obj:  - 4*x2 - 8*x7 - 5*x11 - 8*x23 + 23*x27 + 19*x29 - 10*x30 + 2*x33
     + 3*x34 + 5*x35 + 4*x36 - 6*b237 - 40*b238 - 46*b239 - 7*b241 - 30*b242
     - 37*b243 - 7*b245 - 15*b246 - 22*b247 - 11*b249 - 13*b250 - 24*b251
     - 10*b253 - 13*b254 - 23*b255 - 9*b257 - 30*b258 - 39*b259 - 8*b261
     - 20*b262 - 28*b263 - 8*b265 - 15*b266 - 23*b267 + 5*x274 + 500*x292
     + 350*x293 + 200*x304 + 250*x305 + 200*x306 + 200*x307 - 5*b374 - 8*b375
     - 6*b376 - 10*b377 - 6*b378 - 7*b379 - 4*b380 - 5*b381 - 2*b382 - 4*b383
     - 3*b384 - 7*b385 - 3*b386 - 2*b387 - 4*b388;

subject to

e2:    x2 - 0.2*x37 = 0;

e3:    x3 - 0.2*x38 = 0;

e4:    x4 - 0.2*x39 = 0;

e5:    x5 - 0.2*x40 = 0;

e6:    x6 - 0.2*x41 = 0;

e7:    x7 - 0.5*x42 = 0;

e8:    x8 - 0.5*x43 = 0;

e9:    x9 - 0.7*x44 = 0;

e10:    x10 - 0.7*x45 = 0;

e11:    x11 - 1.2*x46 = 0;

e12:    x12 - 1.2*x47 = 0;

e13:    x13 - 0.5*x48 = 0;

e14:    x14 - 0.7*x49 = 0;

e15:    x15 - 1.2*x50 = 0;

e16:    x16 - 1.2*x51 = 0;

e17:    x17 - 1.2*x52 = 0;

e18:    x18 - 1.2*x53 = 0;

e19:    x19 - 0.3*x54 = 0;

e20:    x20 - 0.9*x55 = 0;

e21:    x21 - 0.3*x56 = 0;

e22:    x22 - 0.9*x57 = 0;

e23:    x23 - 0.4*x58 = 0;

e24:    x24 - 0.4*x59 = 0;

e25:    x25 - 0.4*x60 = 0;

e26:    x26 - 1.6*x61 = 0;

e27:    x27 - 1.6*x62 = 0;

e28:    x28 - 1.1*x63 = 0;

e29:    x29 - 1.1*x64 = 0;

e30:    x30 - 0.7*x65 = 0;

e31:    x31 - 0.7*x66 = 0;

e32:    x32 - 0.7*x67 = 0;

e33:    x33 - 0.2*x68 = 0;

e34:    x34 - 0.7*x69 = 0;

e35:    x35 - 0.3*x70 = 0;

e36:    x36 - 0.9*x71 = 0;

e37:    x27 >= 0.4;

e38:    x29 >= 0.3;

e39:    x33 >= 0.2;

e40:    x34 >= 0.5;

e41:    x35 >= 0.2;

e42:    x36 >= 0.3;

e43:    x2 <= 35;

e44:    x7 <= 36;

e45:    x11 <= 25;

e46:    x23 <= 24;

e47:    x30 <= 30;

e48:    x2 - x3 - x4 = 0;

e49:    x5 - x6 = 0;

e50:    x7 - x8 + x13 = 0;

e51:    x9 - x10 + x14 = 0;

e52:    x11 - x12 - x15 = 0;

e53:    x16 - x17 - x18 = 0;

e54:    x19 - x21 = 0;

e55:    x20 - x22 = 0;

e56:    x23 - x24 - x25 = 0;

e57:    x26 - x27 = 0;

e58:    x28 - x29 = 0;

e59:    x30 - x31 = 0;

e60:    x3 - x5 - x72 = 0;

e61:    x4 + x8 - x9 - x73 = 0;

e62:    x12 - x13 - x14 - x74 = 0;

e63:    x15 - x16 - x75 = 0;

e64:    x18 - x19 - x20 - x76 = 0;

e65:    x17 + x24 - x26 - x77 = 0;

e66:    x25 - x28 + x32 - x78 = 0;

e67:    x31 - x32 - x79 = 0;

e68:    x39 - x43 <= 0;

e69:    x52 - x59 <= 0;

e70:    x60 - x67 <= 0;

e71:    x40 - x140 - x141 - x142 - x143 = 0;

e72:    x38 - x132 - x133 - x134 - x135 = 0;

e73:    x44 - x144 - x145 - x146 - x147 = 0;

e74:    x39 - x136 - x137 - x138 - x139 = 0;

e75:    x48 - x152 - x153 - x154 - x155 = 0;

e76:    x49 - x156 - x157 - x158 - x159 = 0;

e77:    x47 - x148 - x149 - x150 - x151 = 0;

e78:    x51 - x164 - x165 - x166 - x167 = 0;

e79:    x50 - x160 - x161 - x162 - x163 = 0;

e80:    x54 - x176 - x177 - x178 - x179 = 0;

e81:    x55 - x180 - x181 - x182 - x183 = 0;

e82:    x53 - x172 - x173 - x174 - x175 = 0;

e83:    x61 - x188 - x189 - x190 - x191 = 0;

e84:    x52 - x168 - x169 - x170 - x171 = 0;

e85:    x63 - x192 - x193 - x194 - x195 = 0;

e86:    x60 - x184 - x185 - x186 - x187 = 0;

e87:    x67 - x200 - x201 - x202 - x203 = 0;

e88:    x66 - x196 - x197 - x198 - x199 = 0;

e89:    x140 - 148.75*b236 <= 0;

e90:    x141 - 148.75*b237 <= 0;

e91:    x142 - 148.75*b238 <= 0;

e92:    x143 - 148.75*b239 <= 0;

e93:    x144 - 254.045833333333*b240 <= 0;

e94:    x145 - 254.045833333333*b241 <= 0;

e95:    x146 - 254.045833333333*b242 <= 0;

e96:    x147 - 254.045833333333*b243 <= 0;

e97:    x152 - 20.4166666666667*b244 <= 0;

e98:    x153 - 20.4166666666667*b245 <= 0;

e99:    x154 - 20.4166666666667*b246 <= 0;

e100:    x155 - 20.4166666666667*b247 <= 0;

e101:    x156 - 20.4166666666667*b244 <= 0;

e102:    x157 - 20.4166666666667*b245 <= 0;

e103:    x158 - 20.4166666666667*b246 <= 0;

e104:    x159 - 20.4166666666667*b247 <= 0;

e105:    x164 - 18.75*b248 <= 0;

e106:    x165 - 18.75*b249 <= 0;

e107:    x166 - 18.75*b250 <= 0;

e108:    x167 - 18.75*b251 <= 0;

e109:    x176 - 17.8125*b252 <= 0;

e110:    x177 - 17.8125*b253 <= 0;

e111:    x178 - 17.8125*b254 <= 0;

e112:    x179 - 17.8125*b255 <= 0;

e113:    x180 - 17.8125*b252 <= 0;

e114:    x181 - 17.8125*b253 <= 0;

e115:    x182 - 17.8125*b254 <= 0;

e116:    x183 - 17.8125*b255 <= 0;

e117:    x188 - 66.9375*b256 <= 0;

e118:    x189 - 66.9375*b257 <= 0;

e119:    x190 - 66.9375*b258 <= 0;

e120:    x191 - 66.9375*b259 <= 0;

e121:    x192 - 94.4571428571429*b260 <= 0;

e122:    x193 - 94.4571428571429*b261 <= 0;

e123:    x194 - 94.4571428571429*b262 <= 0;

e124:    x195 - 94.4571428571429*b263 <= 0;

e125:    x200 - 39.4285714285714*b264 <= 0;

e126:    x201 - 39.4285714285714*b265 <= 0;

e127:    x202 - 39.4285714285714*b266 <= 0;

e128:    x203 - 39.4285714285714*b267 <= 0;

e129:    x132 - 175*b236 <= 0;

e130:    x133 - 175*b237 <= 0;

e131:    x134 - 175*b238 <= 0;

e132:    x135 - 175*b239 <= 0;

e133:    x136 - 175*b240 <= 0;

e134:    x137 - 175*b241 <= 0;

e135:    x138 - 175*b242 <= 0;

e136:    x139 - 175*b243 <= 0;

e137:    x148 - 20.8333333333333*b244 <= 0;

e138:    x149 - 20.8333333333333*b245 <= 0;

e139:    x150 - 20.8333333333333*b246 <= 0;

e140:    x151 - 20.8333333333333*b247 <= 0;

e141:    x160 - 20.8333333333333*b248 <= 0;

e142:    x161 - 20.8333333333333*b249 <= 0;

e143:    x162 - 20.8333333333333*b250 <= 0;

e144:    x163 - 20.8333333333333*b251 <= 0;

e145:    x172 - 18.75*b252 <= 0;

e146:    x173 - 18.75*b253 <= 0;

e147:    x174 - 18.75*b254 <= 0;

e148:    x175 - 18.75*b255 <= 0;

e149:    x168 - 18.75*b256 <= 0;

e150:    x169 - 18.75*b257 <= 0;

e151:    x170 - 18.75*b258 <= 0;

e152:    x171 - 18.75*b259 <= 0;

e153:    x184 - 60*b260 <= 0;

e154:    x185 - 60*b261 <= 0;

e155:    x186 - 60*b262 <= 0;

e156:    x187 - 60*b263 <= 0;

e157:    x196 - 42.8571428571429*b264 <= 0;

e158:    x197 - 42.8571428571429*b265 <= 0;

e159:    x198 - 42.8571428571429*b266 <= 0;

e160:    x199 - 42.8571428571429*b267 <= 0;

e161:  - 0.8*x132 + x140 = 0;

e162:  - 0.85*x133 + x141 = 0;

e163:  - 0.8*x134 + x142 = 0;

e164:  - 0.85*x135 + x143 = 0;

e165:  - 0.9*x136 + x144 = 0;

e166:  - 0.95*x137 + x145 = 0;

e167:  - 0.9*x138 + x146 = 0;

e168:  - 0.95*x139 + x147 = 0;

e169:  - 0.85*x148 + x152 = 0;

e170:  - 0.98*x149 + x153 = 0;

e171:  - 0.85*x150 + x154 = 0;

e172:  - 0.98*x151 + x155 = 0;

e173:  - 0.85*x148 + x156 = 0;

e174:  - 0.98*x149 + x157 = 0;

e175:  - 0.85*x150 + x158 = 0;

e176:  - 0.98*x151 + x159 = 0;

e177:  - 0.85*x160 + x164 = 0;

e178:  - 0.9*x161 + x165 = 0;

e179:  - 0.85*x162 + x166 = 0;

e180:  - 0.9*x163 + x167 = 0;

e181:  - 0.75*x172 + x176 = 0;

e182:  - 0.95*x173 + x177 = 0;

e183:  - 0.9*x174 + x178 = 0;

e184:  - 0.95*x175 + x179 = 0;

e185:  - 0.75*x172 + x180 = 0;

e186:  - 0.95*x173 + x181 = 0;

e187:  - 0.9*x174 + x182 = 0;

e188:  - 0.95*x175 + x183 = 0;

e189:  - 0.8*x168 + x188 = 0;

e190:  - 0.85*x169 + x189 = 0;

e191:  - 0.8*x170 + x190 = 0;

e192:  - 0.85*x171 + x191 = 0;

e193:  - 0.85*x184 + x192 = 0;

e194:  - 0.95*x185 + x193 = 0;

e195:  - 0.85*x186 + x194 = 0;

e196:  - 0.95*x187 + x195 = 0;

e197:  - 0.8*x196 + x200 = 0;

e198:  - 0.92*x197 + x201 = 0;

e199:  - 0.8*x198 + x202 = 0;

e200:  - 0.92*x199 + x203 = 0;

e201:    x3 - x88 - x89 - x90 - x91 = 0;

e202:    x4 - x92 - x93 - x94 - x95 = 0;

e203:    x8 - x96 - x97 - x98 - x99 = 0;

e204:    x12 - x100 - x101 - x102 - x103 = 0;

e205:    x15 - x104 - x105 - x106 - x107 = 0;

e206:    x18 - x112 - x113 - x114 - x115 = 0;

e207:    x17 - x108 - x109 - x110 - x111 = 0;

e208:    x24 - x116 - x117 - x118 - x119 = 0;

e209:    x25 - x120 - x121 - x122 - x123 = 0;

e210:    x32 - x128 - x129 - x130 - x131 = 0;

e211:    x31 - x124 - x125 - x126 - x127 = 0;

e212:    x88 - 35*b236 <= 0;

e213:    x89 - 35*b237 <= 0;

e214:    x90 - 35*b238 <= 0;

e215:    x91 - 35*b239 <= 0;

e216:    x92 - 35*b240 <= 0;

e217:    x93 - 35*b241 <= 0;

e218:    x94 - 35*b242 <= 0;

e219:    x95 - 35*b243 <= 0;

e220:    x96 - 61*b240 <= 0;

e221:    x97 - 61*b241 <= 0;

e222:    x98 - 61*b242 <= 0;

e223:    x99 - 61*b243 <= 0;

e224:    x100 - 25*b244 <= 0;

e225:    x101 - 25*b245 <= 0;

e226:    x102 - 25*b246 <= 0;

e227:    x103 - 25*b247 <= 0;

e228:    x104 - 25*b248 <= 0;

e229:    x105 - 25*b249 <= 0;

e230:    x106 - 25*b250 <= 0;

e231:    x107 - 25*b251 <= 0;

e232:    x112 - 25*b252 <= 0;

e233:    x113 - 25*b253 <= 0;

e234:    x114 - 25*b254 <= 0;

e235:    x115 - 25*b255 <= 0;

e236:    x108 - 25*b256 <= 0;

e237:    x109 - 25*b257 <= 0;

e238:    x110 - 25*b258 <= 0;

e239:    x111 - 25*b259 <= 0;

e240:    x116 - 24*b256 <= 0;

e241:    x117 - 24*b257 <= 0;

e242:    x118 - 24*b258 <= 0;

e243:    x119 - 24*b259 <= 0;

e244:    x120 - 24*b260 <= 0;

e245:    x121 - 24*b261 <= 0;

e246:    x122 - 24*b262 <= 0;

e247:    x123 - 24*b263 <= 0;

e248:    x128 - 30*b260 <= 0;

e249:    x129 - 30*b261 <= 0;

e250:    x130 - 30*b262 <= 0;

e251:    x131 - 30*b263 <= 0;

e252:    x124 - 30*b264 <= 0;

e253:    x125 - 30*b265 <= 0;

e254:    x126 - 30*b266 <= 0;

e255:    x127 - 30*b267 <= 0;

e256:    x88 - 10*b236 <= 0;

e257:    x89 - 10*b237 <= 0;

e258:    x90 - 50*b238 <= 0;

e259:    x91 - 50*b239 <= 0;

e260:    x92 + x96 - 40*b240 <= 0;

e261:    x93 + x97 - 40*b241 <= 0;

e262:    x94 + x98 - 60*b242 <= 0;

e263:    x95 + x99 - 60*b243 <= 0;

e264:    x100 - 15*b244 <= 0;

e265:    x101 - 15*b245 <= 0;

e266:    x102 - 25*b246 <= 0;

e267:    x103 - 25*b247 <= 0;

e268:    x104 - 15*b248 <= 0;

e269:    x105 - 15*b249 <= 0;

e270:    x106 - 20*b250 <= 0;

e271:    x107 - 20*b251 <= 0;

e272:    x112 - 10*b252 <= 0;

e273:    x113 - 10*b253 <= 0;

e274:    x114 - 20*b254 <= 0;

e275:    x115 - 20*b255 <= 0;

e276:    x108 + x116 - 20*b256 <= 0;

e277:    x109 + x117 - 20*b257 <= 0;

e278:    x110 + x118 - 55*b258 <= 0;

e279:    x111 + x119 - 55*b259 <= 0;

e280:    x120 + x128 - 25*b260 <= 0;

e281:    x121 + x129 - 25*b261 <= 0;

e282:    x122 + x130 - 50*b262 <= 0;

e283:    x123 + x131 - 50*b263 <= 0;

e284:    x124 - 15*b264 <= 0;

e285:    x125 - 15*b265 <= 0;

e286:    x126 - 35*b266 <= 0;

e287:    x127 - 35*b267 <= 0;

e288:    x80 - x204 - x205 - x206 - x207 = 0;

e289:    x81 - x208 - x209 - x210 - x211 = 0;

e290:    x82 - x212 - x213 - x214 - x215 = 0;

e291:    x83 - x216 - x217 - x218 - x219 = 0;

e292:    x84 - x220 - x221 - x222 - x223 = 0;

e293:    x85 - x224 - x225 - x226 - x227 = 0;

e294:    x86 - x228 - x229 - x230 - x231 = 0;

e295:    x87 - x232 - x233 - x234 - x235 = 0;

e296:    x204 <= 0;

e297:    x205 - 6*b237 <= 0;

e298:    x206 - 40*b238 <= 0;

e299:    x207 - 46*b239 <= 0;

e300:    x208 <= 0;

e301:    x209 - 7*b241 <= 0;

e302:    x210 - 30*b242 <= 0;

e303:    x211 - 37*b243 <= 0;

e304:    x212 <= 0;

e305:    x213 - 7*b245 <= 0;

e306:    x214 - 15*b246 <= 0;

e307:    x215 - 22*b247 <= 0;

e308:    x216 <= 0;

e309:    x217 - 11*b249 <= 0;

e310:    x218 - 13*b250 <= 0;

e311:    x219 - 24*b251 <= 0;

e312:    x220 <= 0;

e313:    x221 - 10*b253 <= 0;

e314:    x222 - 13*b254 <= 0;

e315:    x223 - 23*b255 <= 0;

e316:    x224 <= 0;

e317:    x225 - 9*b257 <= 0;

e318:    x226 - 30*b258 <= 0;

e319:    x227 - 39*b259 <= 0;

e320:    x228 <= 0;

e321:    x229 - 8*b261 <= 0;

e322:    x230 - 20*b262 <= 0;

e323:    x231 - 28*b263 <= 0;

e324:    x232 <= 0;

e325:    x233 - 8*b265 <= 0;

e326:    x234 - 15*b266 <= 0;

e327:    x235 - 23*b267 <= 0;

e328:    x204 = 0;

e329:    x205 - 6*b237 = 0;

e330:    x206 - 40*b238 = 0;

e331:    x207 - 46*b239 = 0;

e332:    x208 = 0;

e333:    x209 - 7*b241 = 0;

e334:    x210 - 30*b242 = 0;

e335:    x211 - 37*b243 = 0;

e336:    x212 = 0;

e337:    x213 - 7*b245 = 0;

e338:    x214 - 15*b246 = 0;

e339:    x215 - 22*b247 = 0;

e340:    x216 = 0;

e341:    x217 - 11*b249 = 0;

e342:    x218 - 13*b250 = 0;

e343:    x219 - 24*b251 = 0;

e344:    x220 = 0;

e345:    x221 - 10*b253 = 0;

e346:    x222 - 13*b254 = 0;

e347:    x223 - 23*b255 = 0;

e348:    x224 = 0;

e349:    x225 - 9*b257 = 0;

e350:    x226 - 30*b258 = 0;

e351:    x227 - 39*b259 = 0;

e352:    x228 = 0;

e353:    x229 - 8*b261 = 0;

e354:    x230 - 20*b262 = 0;

e355:    x231 - 28*b263 = 0;

e356:    x232 = 0;

e357:    x233 - 8*b265 = 0;

e358:    x234 - 15*b266 = 0;

e359:    x235 - 23*b267 = 0;

e360:    4*x2 + 8*x7 + 5*x11 + 8*x23 + 10*x30 + x80 + x81 + x82 + x83 + x84
       + x85 + x86 + x87 <= 4000;

e361:    b236 + b237 + b238 + b239 = 1;

e362:    b240 + b241 + b242 + b243 = 1;

e363:    b244 + b245 + b246 + b247 = 1;

e364:    b248 + b249 + b250 + b251 = 1;

e365:    b252 + b253 + b254 + b255 = 1;

e366:    b256 + b257 + b258 + b259 = 1;

e367:    b260 + b261 + b262 + b263 = 1;

e368:    b264 + b265 + b266 + b267 = 1;

e369:    x6 - x33 - x268 = 0;

e370:    x10 - x34 - x279 = 0;

e371:    x21 - x35 - x296 = 0;

e372:    x22 - x36 - x297 = 0;

e373:    x268 - x269 - x270 = 0;

e374:  - x271 - x272 + x273 = 0;

e375:    x273 - x274 - x275 = 0;

e376:    x275 - x276 - x277 - x278 = 0;

e377:    x280 - x283 - x284 = 0;

e378:    x282 - x285 - x286 - x287 = 0;

e379:    x290 - x294 - x295 = 0;

e380:  - x291 - x297 + x298 = 0;

e381:    x292 - x299 - x300 = 0;

e382:    x293 - x301 - x302 - x303 = 0;

e383: (x312/(1e-6 + b374) - log(1 + x308/(1e-6 + b374)))*(1e-6 + b374) <= 0;

e384:    x309 = 0;

e385:    x313 = 0;

e386:    x269 - x308 - x309 = 0;

e387:    x271 - x312 - x313 = 0;

e388:    x308 - 10*b374 <= 0;

e389:    x309 + 10*b374 <= 10;

e390:    x312 - 2.39789527279837*b374 <= 0;

e391:    x313 + 2.39789527279837*b374 <= 2.39789527279837;

e392: (x314/(1e-6 + b375) - 1.2*log(1 + x310/(1e-6 + b375)))*(1e-6 + b375)
       <= 0;

e393:    x311 = 0;

e394:    x315 = 0;

e395:    x270 - x310 - x311 = 0;

e396:    x272 - x314 - x315 = 0;

e397:    x310 - 10*b375 <= 0;

e398:    x311 + 10*b375 <= 10;

e399:    x314 - 2.87747432735804*b375 <= 0;

e400:    x315 + 2.87747432735804*b375 <= 2.87747432735804;

e401:  - 0.75*x316 + x324 = 0;

e402:    x317 = 0;

e403:    x325 = 0;

e404:    x276 - x316 - x317 = 0;

e405:    x280 - x324 - x325 = 0;

e406:    x316 - 2.87747432735804*b376 <= 0;

e407:    x317 + 2.87747432735804*b376 <= 2.87747432735804;

e408:    x324 - 2.15810574551853*b376 <= 0;

e409:    x325 + 2.15810574551853*b376 <= 2.15810574551853;

e410: (x326/(1e-6 + b377) - 1.5*log(1 + x318/(1e-6 + b377)))*(1e-6 + b377)
       <= 0;

e411:    x319 = 0;

e412:    x328 = 0;

e413:    x277 - x318 - x319 = 0;

e414:    x281 - x326 - x328 = 0;

e415:    x318 - 2.87747432735804*b377 <= 0;

e416:    x319 + 2.87747432735804*b377 <= 2.87747432735804;

e417:    x326 - 2.03277599268042*b377 <= 0;

e418:    x328 + 2.03277599268042*b377 <= 2.03277599268042;

e419:  - x320 + x330 = 0;

e420:  - 0.5*x322 + x330 = 0;

e421:    x321 = 0;

e422:    x323 = 0;

e423:    x331 = 0;

e424:    x278 - x320 - x321 = 0;

e425:    x279 - x322 - x323 = 0;

e426:    x282 - x330 - x331 = 0;

e427:    x320 - 2.87747432735804*b378 <= 0;

e428:    x321 + 2.87747432735804*b378 <= 2.87747432735804;

e429:    x322 - 7*b378 <= 0;

e430:    x323 + 7*b378 <= 7;

e431:    x330 - 3.5*b378 <= 0;

e432:    x331 + 3.5*b378 <= 3.5;

e433: (x342/(1e-6 + b379) - 1.25*log(1 + x332/(1e-6 + b379)))*(1e-6 + b379)
       <= 0;

e434:    x333 = 0;

e435:    x344 = 0;

e436:    x283 - x332 - x333 = 0;

e437:    x288 - x342 - x344 = 0;

e438:    x332 - 2.15810574551853*b379 <= 0;

e439:    x333 + 2.15810574551853*b379 <= 2.15810574551853;

e440:    x342 - 1.43746550029693*b379 <= 0;

e441:    x344 + 1.43746550029693*b379 <= 1.43746550029693;

e442: (x346/(1e-6 + b380) - 0.9*log(1 + x334/(1e-6 + b380)))*(1e-6 + b380)
       <= 0;

e443:    x335 = 0;

e444:    x348 = 0;

e445:    x284 - x334 - x335 = 0;

e446:    x289 - x346 - x348 = 0;

e447:    x334 - 2.15810574551853*b380 <= 0;

e448:    x335 + 2.15810574551853*b380 <= 2.15810574551853;

e449:    x346 - 1.03497516021379*b380 <= 0;

e450:    x348 + 1.03497516021379*b380 <= 1.03497516021379;

e451: (x350/(1e-6 + b381) - log(1 + x327/(1e-6 + b381)))*(1e-6 + b381) <= 0;

e452:    x329 = 0;

e453:    x351 = 0;

e454:    x281 - x327 - x329 = 0;

e455:    x290 - x350 - x351 = 0;

e456:    x327 - 2.03277599268042*b381 <= 0;

e457:    x329 + 2.03277599268042*b381 <= 2.03277599268042;

e458:    x350 - 1.10947836929589*b381 <= 0;

e459:    x351 + 1.10947836929589*b381 <= 1.10947836929589;

e460:  - 0.9*x336 + x352 = 0;

e461:    x337 = 0;

e462:    x353 = 0;

e463:    x285 - x336 - x337 = 0;

e464:    x291 - x352 - x353 = 0;

e465:    x336 - 3.5*b382 <= 0;

e466:    x337 + 3.5*b382 <= 3.5;

e467:    x352 - 3.15*b382 <= 0;

e468:    x353 + 3.15*b382 <= 3.15;

e469:  - 0.6*x338 + x354 = 0;

e470:    x339 = 0;

e471:    x355 = 0;

e472:    x286 - x338 - x339 = 0;

e473:    x292 - x354 - x355 = 0;

e474:    x338 - 3.5*b383 <= 0;

e475:    x339 + 3.5*b383 <= 3.5;

e476:    x354 - 2.1*b383 <= 0;

e477:    x355 + 2.1*b383 <= 2.1;

e478: (x356/(1e-6 + b384) - 1.1*log(1 + x340/(1e-6 + b384)))*(1e-6 + b384)
       <= 0;

e479:    x341 = 0;

e480:    x357 = 0;

e481:    x287 - x340 - x341 = 0;

e482:    x293 - x356 - x357 = 0;

e483:    x340 - 3.5*b384 <= 0;

e484:    x341 + 3.5*b384 <= 3.5;

e485:    x356 - 1.6544851364539*b384 <= 0;

e486:    x357 + 1.6544851364539*b384 <= 1.6544851364539;

e487:  - 0.9*x343 + x366 = 0;

e488:  - x362 + x366 = 0;

e489:    x345 = 0;

e490:    x363 = 0;

e491:    x367 = 0;

e492:    x288 - x343 - x345 = 0;

e493:    x296 - x362 - x363 = 0;

e494:    x304 - x366 - x367 = 0;

e495:    x343 - 1.43746550029693*b385 <= 0;

e496:    x345 + 1.43746550029693*b385 <= 1.43746550029693;

e497:    x362 - 5*b385 <= 0;

e498:    x363 + 5*b385 <= 5;

e499:    x366 - 5*b385 <= 0;

e500:    x367 + 5*b385 <= 5;

e501: (x368/(1e-6 + b386) - log(1 + x347/(1e-6 + b386)))*(1e-6 + b386) <= 0;

e502:    x349 = 0;

e503:    x369 = 0;

e504:    x289 - x347 - x349 = 0;

e505:    x305 - x368 - x369 = 0;

e506:    x347 - 1.03497516021379*b386 <= 0;

e507:    x349 + 1.03497516021379*b386 <= 1.03497516021379;

e508:    x368 - 0.710483612536911*b386 <= 0;

e509:    x369 + 0.710483612536911*b386 <= 0.710483612536911;

e510: (x370/(1e-6 + b387) - 0.7*log(1 + x358/(1e-6 + b387)))*(1e-6 + b387)
       <= 0;

e511:    x359 = 0;

e512:    x371 = 0;

e513:    x294 - x358 - x359 = 0;

e514:    x306 - x370 - x371 = 0;

e515:    x358 - 1.10947836929589*b387 <= 0;

e516:    x359 + 1.10947836929589*b387 <= 1.10947836929589;

e517:    x370 - 0.522508489006913*b387 <= 0;

e518:    x371 + 0.522508489006913*b387 <= 0.522508489006913;

e519: (x372/(1e-6 + b388) - 0.65*log(1 + x360/(1e-6 + b388)))*(1e-6 + b388)
       <= 0;

e520: (x372/(1e-6 + b388) - 0.65*log(1 + x364/(1e-6 + b388)))*(1e-6 + b388)
       <= 0;

e521:    x361 = 0;

e522:    x365 = 0;

e523:    x373 = 0;

e524:    x295 - x360 - x361 = 0;

e525:    x298 - x364 - x365 = 0;

e526:    x307 - x372 - x373 = 0;

e527:    x360 - 1.10947836929589*b388 <= 0;

e528:    x361 + 1.10947836929589*b388 <= 1.10947836929589;

e529:    x364 - 8.15*b388 <= 0;

e530:    x365 + 8.15*b388 <= 8.15;

e531:    x372 - 1.43894002153683*b388 <= 0;

e532:    x373 + 1.43894002153683*b388 <= 1.43894002153683;

e533:    b374 + b375 = 1;

e534:  - b376 + b379 + b380 >= 0;

e535:  - b379 + b385 >= 0;

e536:  - b380 + b386 >= 0;

e537:  - b377 + b381 >= 0;

e538:  - b381 + b387 + b388 >= 0;

e539:  - b378 + b382 + b383 + b384 >= 0;

e540:  - b382 + b388 >= 0;

e541:    b374 + b375 - b376 >= 0;

e542:    b374 + b375 - b377 >= 0;

e543:    b374 + b375 - b378 >= 0;

e544:    b376 - b379 >= 0;

e545:    b376 - b380 >= 0;

e546:    b377 - b381 >= 0;

e547:    b378 - b382 >= 0;

e548:    b378 - b383 >= 0;

e549:    b378 - b384 >= 0;

e550:    b379 - b385 >= 0;

e551:    b380 - b386 >= 0;

e552:    b381 - b387 >= 0;

e553:    b381 - b388 >= 0;