#  MINLP written by GAMS Convert at 01/12/18 13:42:08
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        484      231       16      237        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        344      302       42        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1182     1164       18        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;
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 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;

maximize obj:  - 4*x2 - 8*x7 - 5*x11 - 8*x23 + 23*x27 + 19*x29 - 10*x30 + 2*x33
     + 3*x34 + 25*x35 + 24*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 - 2*x279
     + 200*x287 + 250*x288 + 200*x289 + 200*x290 + 500*x291 + 350*x292 - 5*b335
     - 8*b336 - 6*b337 - 10*b338 - 6*b339 - 7*b340 - 4*b341 - 5*b342 - 2*b343
     - 4*b344;

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 = 0;

e372:    x22 - x36 = 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: (x297/(1e-6 + b335) - log(1 + x293/(1e-6 + b335)))*(1e-6 + b335) <= 0;

e380:    x294 = 0;

e381:    x298 = 0;

e382:    x269 - x293 - x294 = 0;

e383:    x271 - x297 - x298 = 0;

e384:    x293 - 10*b335 <= 0;

e385:    x294 + 10*b335 <= 10;

e386:    x297 - 2.39789527279837*b335 <= 0;

e387:    x298 + 2.39789527279837*b335 <= 2.39789527279837;

e388: (x299/(1e-6 + b336) - 1.2*log(1 + x295/(1e-6 + b336)))*(1e-6 + b336)
       <= 0;

e389:    x296 = 0;

e390:    x300 = 0;

e391:    x270 - x295 - x296 = 0;

e392:    x272 - x299 - x300 = 0;

e393:    x295 - 10*b336 <= 0;

e394:    x296 + 10*b336 <= 10;

e395:    x299 - 2.87747432735804*b336 <= 0;

e396:    x300 + 2.87747432735804*b336 <= 2.87747432735804;

e397:  - 0.75*x301 + x309 = 0;

e398:    x302 = 0;

e399:    x310 = 0;

e400:    x276 - x301 - x302 = 0;

e401:    x280 - x309 - x310 = 0;

e402:    x301 - 2.87747432735804*b337 <= 0;

e403:    x302 + 2.87747432735804*b337 <= 2.87747432735804;

e404:    x309 - 2.15810574551853*b337 <= 0;

e405:    x310 + 2.15810574551853*b337 <= 2.15810574551853;

e406: (x311/(1e-6 + b338) - 1.5*log(1 + x303/(1e-6 + b338)))*(1e-6 + b338)
       <= 0;

e407:    x304 = 0;

e408:    x313 = 0;

e409:    x277 - x303 - x304 = 0;

e410:    x281 - x311 - x313 = 0;

e411:    x303 - 2.87747432735804*b338 <= 0;

e412:    x304 + 2.87747432735804*b338 <= 2.87747432735804;

e413:    x311 - 2.03277599268042*b338 <= 0;

e414:    x313 + 2.03277599268042*b338 <= 2.03277599268042;

e415:  - x305 + x315 = 0;

e416:  - 0.5*x307 + x315 = 0;

e417:    x306 = 0;

e418:    x308 = 0;

e419:    x316 = 0;

e420:    x278 - x305 - x306 = 0;

e421:    x279 - x307 - x308 = 0;

e422:    x282 - x315 - x316 = 0;

e423:    x305 - 2.87747432735804*b339 <= 0;

e424:    x306 + 2.87747432735804*b339 <= 2.87747432735804;

e425:    x307 - 7*b339 <= 0;

e426:    x308 + 7*b339 <= 7;

e427:    x315 - 3.5*b339 <= 0;

e428:    x316 + 3.5*b339 <= 3.5;

e429: (x325/(1e-6 + b340) - 1.25*log(1 + x317/(1e-6 + b340)))*(1e-6 + b340)
       <= 0;

e430:    x318 = 0;

e431:    x326 = 0;

e432:    x283 - x317 - x318 = 0;

e433:    x288 - x325 - x326 = 0;

e434:    x317 - 2.15810574551853*b340 <= 0;

e435:    x318 + 2.15810574551853*b340 <= 2.15810574551853;

e436:    x325 - 1.43746550029693*b340 <= 0;

e437:    x326 + 1.43746550029693*b340 <= 1.43746550029693;

e438: (x327/(1e-6 + b341) - 0.9*log(1 + x319/(1e-6 + b341)))*(1e-6 + b341)
       <= 0;

e439:    x320 = 0;

e440:    x328 = 0;

e441:    x284 - x319 - x320 = 0;

e442:    x289 - x327 - x328 = 0;

e443:    x319 - 2.15810574551853*b341 <= 0;

e444:    x320 + 2.15810574551853*b341 <= 2.15810574551853;

e445:    x327 - 1.03497516021379*b341 <= 0;

e446:    x328 + 1.03497516021379*b341 <= 1.03497516021379;

e447: (x329/(1e-6 + b342) - log(1 + x312/(1e-6 + b342)))*(1e-6 + b342) <= 0;

e448:    x314 = 0;

e449:    x330 = 0;

e450:    x281 - x312 - x314 = 0;

e451:    x290 - x329 - x330 = 0;

e452:    x312 - 2.03277599268042*b342 <= 0;

e453:    x314 + 2.03277599268042*b342 <= 2.03277599268042;

e454:    x329 - 1.10947836929589*b342 <= 0;

e455:    x330 + 1.10947836929589*b342 <= 1.10947836929589;

e456:  - 0.9*x321 + x331 = 0;

e457:    x322 = 0;

e458:    x332 = 0;

e459:    x285 - x321 - x322 = 0;

e460:    x291 - x331 - x332 = 0;

e461:    x321 - 3.5*b343 <= 0;

e462:    x322 + 3.5*b343 <= 3.5;

e463:    x331 - 3.15*b343 <= 0;

e464:    x332 + 3.15*b343 <= 3.15;

e465:  - 0.6*x323 + x333 = 0;

e466:    x324 = 0;

e467:    x334 = 0;

e468:    x286 - x323 - x324 = 0;

e469:    x292 - x333 - x334 = 0;

e470:    x323 - 3.5*b344 <= 0;

e471:    x324 + 3.5*b344 <= 3.5;

e472:    x333 - 2.1*b344 <= 0;

e473:    x334 + 2.1*b344 <= 2.1;

e474:    b335 + b336 = 1;

e475:  - b337 + b340 + b341 >= 0;

e476:  - b338 + b342 >= 0;

e477:    b335 + b336 - b337 >= 0;

e478:    b335 + b336 - b338 >= 0;

e479:    b335 + b336 - b339 >= 0;

e480:    b337 - b340 >= 0;

e481:    b337 - b341 >= 0;

e482:    b338 - b342 >= 0;

e483:    b339 - b343 >= 0;

e484:    b339 - b344 >= 0;