#  MINLP written by GAMS Convert at 01/12/18 13:42:07
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        770      161      178      431        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        361      213      148        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1952     1946        6        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 b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
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 b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var x302 >= 0, <= 40;
var x303 >= 0, <= 40;
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, <= 30;
var x325 >= 0, <= 30;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
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 x352;
var x353;
var x354;
var x355;
var x356;
var x357;
var x358;
var x359;
var x360;
var x361;

maximize obj:  - 20*x2 - 17*x3 - 20*x12 - 21*x13 - 18*x20 - 20*x21 - 16*x44
     - 19*x45 + 26*x52 + 31*x53 + 30*x56 + 29*x57 - 20*x58 - 18*x59 + 2*x64
     + 2*x65 + 3*x66 + 2*x67 + 30*x68 + 31*x69 + 24*x70 + 22*x71 - 6*b240
     - 4*b241 - 40*b242 - 35*b243 - 46*b244 - 39*b245 - 7*b248 - 4*b249
     - 30*b250 - 25*b251 - 37*b252 - 29*b253 - 7*b256 - 5*b257 - 15*b258
     - 5*b259 - 22*b260 - 10*b261 - 11*b264 - 8*b265 - 13*b266 - 8*b267
     - 24*b268 - 16*b269 - 10*b272 - 7*b273 - 13*b274 - 8*b275 - 23*b276
     - 15*b277 - 9*b280 - 9*b281 - 30*b282 - 30*b283 - 39*b284 - 39*b285
     - 8*b288 - 7*b289 - 20*b290 - 15*b291 - 28*b292 - 22*b293 - 8*b296
     - 6*b297 - 15*b298 - 10*b299 - 23*b300 - 16*b301 - x302 - x303 + 5*x314
     + 10*x315 - 2*x324 - x325 + 80*x326 + 90*x327 + 285*x328 + 390*x329
     + 290*x330 + 405*x331 - 5*b342 - 4*b343 - 8*b344 - 7*b345 - 6*b346
     - 9*b347 - 10*b348 - 9*b349 - 6*b350 - 10*b351;

subject to

e2:    x2 - 0.2*x72 = 0;

e3:    x3 - 0.2*x73 = 0;

e4:    x4 - 0.2*x74 = 0;

e5:    x5 - 0.2*x75 = 0;

e6:    x6 - 0.2*x76 = 0;

e7:    x7 - 0.2*x77 = 0;

e8:    x8 - 0.2*x78 = 0;

e9:    x9 - 0.2*x79 = 0;

e10:    x10 - 0.2*x80 = 0;

e11:    x11 - 0.2*x81 = 0;

e12:    x12 - 0.5*x82 = 0;

e13:    x13 - 0.5*x83 = 0;

e14:    x14 - 0.5*x84 = 0;

e15:    x15 - 0.5*x85 = 0;

e16:    x16 - 0.7*x86 = 0;

e17:    x17 - 0.7*x87 = 0;

e18:    x18 - 0.7*x88 = 0;

e19:    x19 - 0.7*x89 = 0;

e20:    x20 - 1.2*x90 = 0;

e21:    x21 - 1.2*x91 = 0;

e22:    x22 - 1.2*x92 = 0;

e23:    x23 - 1.2*x93 = 0;

e24:    x24 - 0.5*x94 = 0;

e25:    x25 - 0.5*x95 = 0;

e26:    x26 - 0.7*x96 = 0;

e27:    x27 - 0.7*x97 = 0;

e28:    x28 - 1.2*x98 = 0;

e29:    x29 - 1.2*x99 = 0;

e30:    x30 - 1.2*x100 = 0;

e31:    x31 - 1.2*x101 = 0;

e32:    x32 - 1.2*x102 = 0;

e33:    x33 - 1.2*x103 = 0;

e34:    x34 - 1.2*x104 = 0;

e35:    x35 - 1.2*x105 = 0;

e36:    x36 - 0.3*x106 = 0;

e37:    x37 - 0.3*x107 = 0;

e38:    x38 - 0.9*x108 = 0;

e39:    x39 - 0.9*x109 = 0;

e40:    x40 - 0.3*x110 = 0;

e41:    x41 - 0.3*x111 = 0;

e42:    x42 - 0.9*x112 = 0;

e43:    x43 - 0.9*x113 = 0;

e44:    x44 - 0.4*x114 = 0;

e45:    x45 - 0.4*x115 = 0;

e46:    x46 - 0.4*x116 = 0;

e47:    x47 - 0.4*x117 = 0;

e48:    x48 - 0.4*x118 = 0;

e49:    x49 - 0.4*x119 = 0;

e50:    x50 - 1.6*x120 = 0;

e51:    x51 - 1.6*x121 = 0;

e52:    x52 - 1.6*x122 = 0;

e53:    x53 - 1.6*x123 = 0;

e54:    x54 - 1.1*x124 = 0;

e55:    x55 - 1.1*x125 = 0;

e56:    x56 - 1.1*x126 = 0;

e57:    x57 - 1.1*x127 = 0;

e58:    x58 - 0.7*x128 = 0;

e59:    x59 - 0.7*x129 = 0;

e60:    x60 - 0.7*x130 = 0;

e61:    x61 - 0.7*x131 = 0;

e62:    x62 - 0.7*x132 = 0;

e63:    x63 - 0.7*x133 = 0;

e64:    x64 - 0.2*x134 = 0;

e65:    x65 - 0.2*x135 = 0;

e66:    x66 - 0.7*x136 = 0;

e67:    x67 - 0.7*x137 = 0;

e68:    x68 - 0.3*x138 = 0;

e69:    x69 - 0.3*x139 = 0;

e70:    x70 - 0.9*x140 = 0;

e71:    x71 - 0.9*x141 = 0;

e72:    x52 >= 1.2;

e73:    x53 >= 1.15;

e74:    x56 >= 1.2;

e75:    x57 >= 1.15;

e76:    x64 >= 1.1;

e77:    x65 >= 1.1;

e78:    x66 >= 1.1;

e79:    x67 >= 1.1;

e80:    x68 >= 1.4;

e81:    x69 >= 1.3;

e82:    x70 >= 1.3;

e83:    x71 >= 1.2;

e84:    x2 <= 55;

e85:    x3 <= 40;

e86:    x12 <= 46;

e87:    x13 <= 41;

e88:    x20 <= 45;

e89:    x21 <= 62;

e90:    x44 <= 54;

e91:    x45 <= 51;

e92:    x58 <= 40;

e93:    x59 <= 45;

e94:    x2 - x4 - x6 = 0;

e95:    x3 - x5 - x7 = 0;

e96:    x8 - x10 = 0;

e97:    x9 - x11 = 0;

e98:    x12 - x14 + x24 = 0;

e99:    x13 - x15 + x25 = 0;

e100:    x16 - x18 + x26 = 0;

e101:    x17 - x19 + x27 = 0;

e102:    x20 - x22 - x28 = 0;

e103:    x21 - x23 - x29 = 0;

e104:    x30 - x32 - x34 = 0;

e105:    x31 - x33 - x35 = 0;

e106:    x36 - x40 = 0;

e107:    x37 - x41 = 0;

e108:    x38 - x42 = 0;

e109:    x39 - x43 = 0;

e110:    x44 - x46 - x48 = 0;

e111:    x45 - x47 - x49 = 0;

e112:    x50 - x52 = 0;

e113:    x51 - x53 = 0;

e114:    x54 - x56 = 0;

e115:    x55 - x57 = 0;

e116:    x58 - x60 = 0;

e117:    x59 - x61 = 0;

e118:    x4 - x8 - x142 = 0;

e119:    x5 - x9 - x143 = 0;

e120:    x6 + x14 - x16 - x144 = 0;

e121:    x7 + x15 - x17 - x145 = 0;

e122:    x22 - x24 - x26 - x146 = 0;

e123:    x23 - x25 - x27 - x147 = 0;

e124:    x28 - x30 - x148 = 0;

e125:    x29 - x31 - x149 = 0;

e126:    x34 - x36 - x38 - x150 = 0;

e127:    x35 - x37 - x39 - x151 = 0;

e128:    x32 + x46 - x50 - x152 = 0;

e129:    x33 + x47 - x51 - x153 = 0;

e130:    x48 - x54 + x62 - x154 = 0;

e131:    x49 - x55 + x63 - x155 = 0;

e132:    x60 - x62 - x156 = 0;

e133:    x61 - x63 - x157 = 0;

e134:    x76 - x84 <= 0;

e135:    x77 - x85 <= 0;

e136:    x102 - x116 <= 0;

e137:    x103 - x117 <= 0;

e138:    x118 - x132 <= 0;

e139:    x119 - x133 <= 0;

e140:  - 0.8*x74 + x78 + 233.75*b174 <= 233.75;

e141:  - 0.8*x75 + x79 + 170*b175 <= 170;

e142:  - 0.85*x74 + x78 + 233.75*b176 <= 233.75;

e143:  - 0.85*x75 + x79 + 170*b177 <= 170;

e144:  - 0.8*x74 + x78 + 233.75*b178 <= 233.75;

e145:  - 0.8*x75 + x79 + 170*b179 <= 170;

e146:  - 0.85*x74 + x78 + 233.75*b180 <= 233.75;

e147:  - 0.85*x75 + x79 + 170*b181 <= 170;

e148:  - 0.8*x74 + x78 - 233.75*b174 >= -233.75;

e149:  - 0.8*x75 + x79 - 170*b175 >= -170;

e150:  - 0.85*x74 + x78 - 233.75*b176 >= -233.75;

e151:  - 0.85*x75 + x79 - 170*b177 >= -170;

e152:  - 0.8*x74 + x78 - 233.75*b178 >= -233.75;

e153:  - 0.8*x75 + x79 - 170*b179 >= -170;

e154:  - 0.85*x74 + x78 - 233.75*b180 >= -233.75;

e155:  - 0.85*x75 + x79 - 170*b181 >= -170;

e156:  - 0.9*x76 + x86 + 383.5625*b182 <= 383.5625;

e157:  - 0.9*x77 + x87 + 316.001666666667*b183 <= 316.001666666667;

e158:  - 0.95*x76 + x86 + 383.5625*b184 <= 383.5625;

e159:  - 0.95*x77 + x87 + 316.001666666667*b185 <= 316.001666666667;

e160:  - 0.9*x76 + x86 + 383.5625*b186 <= 383.5625;

e161:  - 0.9*x77 + x87 + 316.001666666667*b187 <= 316.001666666667;

e162:  - 0.95*x76 + x86 + 383.5625*b188 <= 383.5625;

e163:  - 0.95*x77 + x87 + 316.001666666667*b189 <= 316.001666666667;

e164:  - 0.9*x76 + x86 - 261.25*b182 >= -261.25;

e165:  - 0.9*x77 + x87 - 190*b183 >= -190;

e166:  - 0.95*x76 + x86 - 261.25*b184 >= -261.25;

e167:  - 0.95*x77 + x87 - 190*b185 >= -190;

e168:  - 0.9*x76 + x86 - 261.25*b186 >= -261.25;

e169:  - 0.9*x77 + x87 - 190*b187 >= -190;

e170:  - 0.95*x76 + x86 - 261.25*b188 >= -261.25;

e171:  - 0.95*x77 + x87 - 190*b189 >= -190;

e172:  - 0.85*x92 + x94 + 36.75*b190 <= 36.75;

e173:  - 0.85*x93 + x95 + 50.6333333333333*b191 <= 50.6333333333333;

e174:  - 0.98*x92 + x94 + 36.75*b192 <= 36.75;

e175:  - 0.98*x93 + x95 + 50.6333333333333*b193 <= 50.6333333333333;

e176:  - 0.85*x92 + x94 + 36.75*b194 <= 36.75;

e177:  - 0.85*x93 + x95 + 50.6333333333333*b195 <= 50.6333333333333;

e178:  - 0.98*x92 + x94 + 36.75*b196 <= 36.75;

e179:  - 0.98*x93 + x95 + 50.6333333333333*b197 <= 50.6333333333333;

e180:  - 0.85*x92 + x96 + 36.75*b190 <= 36.75;

e181:  - 0.85*x93 + x97 + 50.6333333333333*b191 <= 50.6333333333333;

e182:  - 0.98*x92 + x96 + 36.75*b192 <= 36.75;

e183:  - 0.98*x93 + x97 + 50.6333333333333*b193 <= 50.6333333333333;

e184:  - 0.85*x92 + x96 + 36.75*b194 <= 36.75;

e185:  - 0.85*x93 + x97 + 50.6333333333333*b195 <= 50.6333333333333;

e186:  - 0.98*x92 + x96 + 36.75*b196 <= 36.75;

e187:  - 0.98*x93 + x97 + 50.6333333333333*b197 <= 50.6333333333333;

e188:  - 0.85*x92 + x94 - 36.75*b190 >= -36.75;

e189:  - 0.85*x93 + x95 - 50.6333333333333*b191 >= -50.6333333333333;

e190:  - 0.98*x92 + x94 - 36.75*b192 >= -36.75;

e191:  - 0.98*x93 + x95 - 50.6333333333333*b193 >= -50.6333333333333;

e192:  - 0.85*x92 + x94 - 36.75*b194 >= -36.75;

e193:  - 0.85*x93 + x95 - 50.6333333333333*b195 >= -50.6333333333333;

e194:  - 0.98*x92 + x94 - 36.75*b196 >= -36.75;

e195:  - 0.98*x93 + x95 - 50.6333333333333*b197 >= -50.6333333333333;

e196:  - 0.85*x92 + x96 - 36.75*b190 >= -36.75;

e197:  - 0.85*x93 + x97 - 50.6333333333333*b191 >= -50.6333333333333;

e198:  - 0.98*x92 + x96 - 36.75*b192 >= -36.75;

e199:  - 0.98*x93 + x97 - 50.6333333333333*b193 >= -50.6333333333333;

e200:  - 0.85*x92 + x96 - 36.75*b194 >= -36.75;

e201:  - 0.85*x93 + x97 - 50.6333333333333*b195 >= -50.6333333333333;

e202:  - 0.98*x92 + x96 - 36.75*b196 >= -36.75;

e203:  - 0.98*x93 + x97 - 50.6333333333333*b197 >= -50.6333333333333;

e204:  - 0.85*x98 + x100 + 33.75*b198 <= 33.75;

e205:  - 0.85*x99 + x101 + 46.5*b199 <= 46.5;

e206:  - 0.9*x98 + x100 + 33.75*b200 <= 33.75;

e207:  - 0.9*x99 + x101 + 46.5*b201 <= 46.5;

e208:  - 0.85*x98 + x100 + 33.75*b202 <= 33.75;

e209:  - 0.85*x99 + x101 + 46.5*b203 <= 46.5;

e210:  - 0.9*x98 + x100 + 33.75*b204 <= 33.75;

e211:  - 0.9*x99 + x101 + 46.5*b205 <= 46.5;

e212:  - 0.85*x98 + x100 - 33.75*b198 >= -33.75;

e213:  - 0.85*x99 + x101 - 46.5*b199 >= -46.5;

e214:  - 0.9*x98 + x100 - 33.75*b200 >= -33.75;

e215:  - 0.9*x99 + x101 - 46.5*b201 >= -46.5;

e216:  - 0.85*x98 + x100 - 33.75*b202 >= -33.75;

e217:  - 0.85*x99 + x101 - 46.5*b203 >= -46.5;

e218:  - 0.9*x98 + x100 - 33.75*b204 >= -33.75;

e219:  - 0.9*x99 + x101 - 46.5*b205 >= -46.5;

e220:  - 0.75*x104 + x106 + 32.0625*b206 <= 32.0625;

e221:  - 0.75*x105 + x107 + 44.175*b207 <= 44.175;

e222:  - 0.95*x104 + x106 + 32.0625*b208 <= 32.0625;

e223:  - 0.95*x105 + x107 + 44.175*b209 <= 44.175;

e224:  - 0.9*x104 + x106 + 32.0625*b210 <= 32.0625;

e225:  - 0.9*x105 + x107 + 44.175*b211 <= 44.175;

e226:  - 0.95*x104 + x106 + 32.0625*b212 <= 32.0625;

e227:  - 0.95*x105 + x107 + 44.175*b213 <= 44.175;

e228:  - 0.75*x104 + x108 + 32.0625*b206 <= 32.0625;

e229:  - 0.75*x105 + x109 + 44.175*b207 <= 44.175;

e230:  - 0.95*x104 + x108 + 32.0625*b208 <= 32.0625;

e231:  - 0.95*x105 + x109 + 44.175*b209 <= 44.175;

e232:  - 0.9*x104 + x108 + 32.0625*b210 <= 32.0625;

e233:  - 0.9*x105 + x109 + 44.175*b211 <= 44.175;

e234:  - 0.95*x104 + x108 + 32.0625*b212 <= 32.0625;

e235:  - 0.95*x105 + x109 + 44.175*b213 <= 44.175;

e236:  - 0.75*x104 + x106 - 32.0625*b206 >= -32.0625;

e237:  - 0.75*x105 + x107 - 44.175*b207 >= -44.175;

e238:  - 0.95*x104 + x106 - 32.0625*b208 >= -32.0625;

e239:  - 0.95*x105 + x107 - 44.175*b209 >= -44.175;

e240:  - 0.9*x104 + x106 - 32.0625*b210 >= -32.0625;

e241:  - 0.9*x105 + x107 - 44.175*b211 >= -44.175;

e242:  - 0.95*x104 + x106 - 32.0625*b212 >= -32.0625;

e243:  - 0.95*x105 + x107 - 44.175*b213 >= -44.175;

e244:  - 0.75*x104 + x108 - 32.0625*b206 >= -32.0625;

e245:  - 0.75*x105 + x109 - 44.175*b207 >= -44.175;

e246:  - 0.95*x104 + x108 - 32.0625*b208 >= -32.0625;

e247:  - 0.95*x105 + x109 - 44.175*b209 >= -44.175;

e248:  - 0.9*x104 + x108 - 32.0625*b210 >= -32.0625;

e249:  - 0.9*x105 + x109 - 44.175*b211 >= -44.175;

e250:  - 0.95*x104 + x108 - 32.0625*b212 >= -32.0625;

e251:  - 0.95*x105 + x109 - 44.175*b213 >= -44.175;

e252:  - 0.8*x102 + x120 + 143.4375*b214 <= 143.4375;

e253:  - 0.8*x103 + x121 + 147.9*b215 <= 147.9;

e254:  - 0.85*x102 + x120 + 143.4375*b216 <= 143.4375;

e255:  - 0.85*x103 + x121 + 147.9*b217 <= 147.9;

e256:  - 0.8*x102 + x120 + 143.4375*b218 <= 143.4375;

e257:  - 0.8*x103 + x121 + 147.9*b219 <= 147.9;

e258:  - 0.85*x102 + x120 + 143.4375*b220 <= 143.4375;

e259:  - 0.85*x103 + x121 + 147.9*b221 <= 147.9;

e260:  - 0.8*x102 + x120 - 28.6875*b214 >= -28.6875;

e261:  - 0.8*x103 + x121 - 39.525*b215 >= -39.525;

e262:  - 0.85*x102 + x120 - 28.6875*b216 >= -28.6875;

e263:  - 0.85*x103 + x121 - 39.525*b217 >= -39.525;

e264:  - 0.8*x102 + x120 - 28.6875*b218 >= -28.6875;

e265:  - 0.8*x103 + x121 - 39.525*b219 >= -39.525;

e266:  - 0.85*x102 + x120 - 28.6875*b220 >= -28.6875;

e267:  - 0.85*x103 + x121 - 39.525*b221 >= -39.525;

e268:  - 0.85*x118 + x124 + 178.192857142857*b222 <= 178.192857142857;

e269:  - 0.85*x119 + x125 + 177.310714285714*b223 <= 177.310714285714;

e270:  - 0.95*x118 + x124 + 178.192857142857*b224 <= 178.192857142857;

e271:  - 0.95*x119 + x125 + 177.310714285714*b225 <= 177.310714285714;

e272:  - 0.85*x118 + x124 + 178.192857142857*b226 <= 178.192857142857;

e273:  - 0.85*x119 + x125 + 177.310714285714*b227 <= 177.310714285714;

e274:  - 0.95*x118 + x124 + 178.192857142857*b228 <= 178.192857142857;

e275:  - 0.95*x119 + x125 + 177.310714285714*b229 <= 177.310714285714;

e276:  - 0.85*x118 + x124 - 128.25*b222 >= -128.25;

e277:  - 0.85*x119 + x125 - 121.125*b223 >= -121.125;

e278:  - 0.95*x118 + x124 - 128.25*b224 >= -128.25;

e279:  - 0.95*x119 + x125 - 121.125*b225 >= -121.125;

e280:  - 0.85*x118 + x124 - 128.25*b226 >= -128.25;

e281:  - 0.85*x119 + x125 - 121.125*b227 >= -121.125;

e282:  - 0.95*x118 + x124 - 128.25*b228 >= -128.25;

e283:  - 0.95*x119 + x125 - 121.125*b229 >= -121.125;

e284:  - 0.8*x130 + x132 + 52.5714285714286*b230 <= 52.5714285714286;

e285:  - 0.8*x131 + x133 + 59.1428571428572*b231 <= 59.1428571428572;

e286:  - 0.92*x130 + x132 + 52.5714285714286*b232 <= 52.5714285714286;

e287:  - 0.92*x131 + x133 + 59.1428571428572*b233 <= 59.1428571428572;

e288:  - 0.8*x130 + x132 + 52.5714285714286*b234 <= 52.5714285714286;

e289:  - 0.8*x131 + x133 + 59.1428571428572*b235 <= 59.1428571428572;

e290:  - 0.92*x130 + x132 + 52.5714285714286*b236 <= 52.5714285714286;

e291:  - 0.92*x131 + x133 + 59.1428571428572*b237 <= 59.1428571428572;

e292:  - 0.8*x130 + x132 - 52.5714285714286*b230 >= -52.5714285714286;

e293:  - 0.8*x131 + x133 - 59.1428571428572*b231 >= -59.1428571428572;

e294:  - 0.92*x130 + x132 - 52.5714285714286*b232 >= -52.5714285714286;

e295:  - 0.92*x131 + x133 - 59.1428571428572*b233 >= -59.1428571428572;

e296:  - 0.8*x130 + x132 - 52.5714285714286*b234 >= -52.5714285714286;

e297:  - 0.8*x131 + x133 - 59.1428571428572*b235 >= -59.1428571428572;

e298:  - 0.92*x130 + x132 - 52.5714285714286*b236 >= -52.5714285714286;

e299:  - 0.92*x131 + x133 - 59.1428571428572*b237 >= -59.1428571428572;

e300:    x4 + 45*b174 <= 55;

e301:    x5 + 30*b175 <= 40;

e302:    x4 + 45*b176 <= 55;

e303:    x5 + 30*b177 <= 40;

e304:    x4 + 5*b178 <= 55;

e305:    x5 - 10*b179 <= 40;

e306:    x4 + 5*b180 <= 55;

e307:    x5 - 10*b181 <= 40;

e308:    x6 + x14 + 106*b182 <= 146;

e309:    x7 + x15 + 103*b183 <= 143;

e310:    x6 + x14 + 106*b184 <= 146;

e311:    x7 + x15 + 103*b185 <= 143;

e312:    x6 + x14 + 86*b186 <= 146;

e313:    x7 + x15 + 83*b187 <= 143;

e314:    x6 + x14 + 86*b188 <= 146;

e315:    x7 + x15 + 83*b189 <= 143;

e316:    x22 + 30*b190 <= 45;

e317:    x23 + 47*b191 <= 62;

e318:    x22 + 30*b192 <= 45;

e319:    x23 + 47*b193 <= 62;

e320:    x22 + 20*b194 <= 45;

e321:    x23 + 37*b195 <= 62;

e322:    x22 + 20*b196 <= 45;

e323:    x23 + 37*b197 <= 62;

e324:    x28 + 30*b198 <= 45;

e325:    x29 + 47*b199 <= 62;

e326:    x28 + 30*b200 <= 45;

e327:    x29 + 47*b201 <= 62;

e328:    x28 + 25*b202 <= 45;

e329:    x29 + 42*b203 <= 62;

e330:    x28 + 25*b204 <= 45;

e331:    x29 + 42*b205 <= 62;

e332:    x34 + 35*b206 <= 45;

e333:    x35 + 52*b207 <= 62;

e334:    x34 + 35*b208 <= 45;

e335:    x35 + 52*b209 <= 62;

e336:    x34 + 25*b210 <= 45;

e337:    x35 + 42*b211 <= 62;

e338:    x34 + 25*b212 <= 45;

e339:    x35 + 42*b213 <= 62;

e340:    x32 + x46 + 79*b214 <= 99;

e341:    x33 + x47 + 93*b215 <= 113;

e342:    x32 + x46 + 79*b216 <= 99;

e343:    x33 + x47 + 93*b217 <= 113;

e344:    x32 + x46 + 44*b218 <= 99;

e345:    x33 + x47 + 58*b219 <= 113;

e346:    x32 + x46 + 44*b220 <= 99;

e347:    x33 + x47 + 58*b221 <= 113;

e348:    x48 + x62 + 69*b222 <= 94;

e349:    x49 + x63 + 71*b223 <= 96;

e350:    x48 + x62 + 69*b224 <= 94;

e351:    x49 + x63 + 71*b225 <= 96;

e352:    x48 + x62 + 44*b226 <= 94;

e353:    x49 + x63 + 46*b227 <= 96;

e354:    x48 + x62 + 44*b228 <= 94;

e355:    x49 + x63 + 46*b229 <= 96;

e356:    x60 + 25*b230 <= 40;

e357:    x61 + 30*b231 <= 45;

e358:    x60 + 25*b232 <= 40;

e359:    x61 + 30*b233 <= 45;

e360:    x60 + 5*b234 <= 40;

e361:    x61 + 10*b235 <= 45;

e362:    x60 + 5*b236 <= 40;

e363:    x61 + 10*b237 <= 45;

e364:    x158 + 46*b238 <= 46;

e365:    x159 + 39*b239 <= 39;

e366:    x158 + 40*b240 <= 46;

e367:    x159 + 35*b241 <= 39;

e368:    x158 + 6*b242 <= 46;

e369:    x159 + 4*b243 <= 39;

e370:    x158 <= 46;

e371:    x159 <= 39;

e372:    x160 + 37*b246 <= 37;

e373:    x161 + 29*b247 <= 29;

e374:    x160 + 30*b248 <= 37;

e375:    x161 + 25*b249 <= 29;

e376:    x160 + 7*b250 <= 37;

e377:    x161 + 4*b251 <= 29;

e378:    x160 <= 37;

e379:    x161 <= 29;

e380:    x162 + 22*b254 <= 22;

e381:    x163 + 10*b255 <= 10;

e382:    x162 + 15*b256 <= 22;

e383:    x163 + 5*b257 <= 10;

e384:    x162 + 7*b258 <= 22;

e385:    x163 + 5*b259 <= 10;

e386:    x162 <= 22;

e387:    x163 <= 10;

e388:    x164 + 24*b262 <= 24;

e389:    x165 + 16*b263 <= 16;

e390:    x164 + 13*b264 <= 24;

e391:    x165 + 8*b265 <= 16;

e392:    x164 + 11*b266 <= 24;

e393:    x165 + 8*b267 <= 16;

e394:    x164 <= 24;

e395:    x165 <= 16;

e396:    x166 + 23*b270 <= 23;

e397:    x167 + 15*b271 <= 15;

e398:    x166 + 13*b272 <= 23;

e399:    x167 + 8*b273 <= 15;

e400:    x166 + 10*b274 <= 23;

e401:    x167 + 7*b275 <= 15;

e402:    x166 <= 23;

e403:    x167 <= 15;

e404:    x168 + 39*b278 <= 39;

e405:    x169 + 39*b279 <= 39;

e406:    x168 + 30*b280 <= 39;

e407:    x169 + 30*b281 <= 39;

e408:    x168 + 9*b282 <= 39;

e409:    x169 + 9*b283 <= 39;

e410:    x168 <= 39;

e411:    x169 <= 39;

e412:    x170 + 28*b286 <= 28;

e413:    x171 + 22*b287 <= 22;

e414:    x170 + 20*b288 <= 28;

e415:    x171 + 15*b289 <= 22;

e416:    x170 + 8*b290 <= 28;

e417:    x171 + 7*b291 <= 22;

e418:    x170 <= 28;

e419:    x171 <= 22;

e420:    x172 + 23*b294 <= 23;

e421:    x173 + 16*b295 <= 16;

e422:    x172 + 15*b296 <= 23;

e423:    x173 + 10*b297 <= 16;

e424:    x172 + 8*b298 <= 23;

e425:    x173 + 6*b299 <= 16;

e426:    x172 <= 23;

e427:    x173 <= 16;

e428:    x158 >= 0;

e429:    x159 >= 0;

e430:    x158 - 6*b240 >= 0;

e431:    x159 - 4*b241 >= 0;

e432:    x158 - 40*b242 >= 0;

e433:    x159 - 35*b243 >= 0;

e434:    x158 - 46*b244 >= 0;

e435:    x159 - 39*b245 >= 0;

e436:    x160 >= 0;

e437:    x161 >= 0;

e438:    x160 - 7*b248 >= 0;

e439:    x161 - 4*b249 >= 0;

e440:    x160 - 30*b250 >= 0;

e441:    x161 - 25*b251 >= 0;

e442:    x160 - 37*b252 >= 0;

e443:    x161 - 29*b253 >= 0;

e444:    x162 >= 0;

e445:    x163 >= 0;

e446:    x162 - 7*b256 >= 0;

e447:    x163 - 5*b257 >= 0;

e448:    x162 - 15*b258 >= 0;

e449:    x163 - 5*b259 >= 0;

e450:    x162 - 22*b260 >= 0;

e451:    x163 - 10*b261 >= 0;

e452:    x164 >= 0;

e453:    x165 >= 0;

e454:    x164 - 11*b264 >= 0;

e455:    x165 - 8*b265 >= 0;

e456:    x164 - 13*b266 >= 0;

e457:    x165 - 8*b267 >= 0;

e458:    x164 - 24*b268 >= 0;

e459:    x165 - 16*b269 >= 0;

e460:    x166 >= 0;

e461:    x167 >= 0;

e462:    x166 - 10*b272 >= 0;

e463:    x167 - 7*b273 >= 0;

e464:    x166 - 13*b274 >= 0;

e465:    x167 - 8*b275 >= 0;

e466:    x166 - 23*b276 >= 0;

e467:    x167 - 15*b277 >= 0;

e468:    x168 >= 0;

e469:    x169 >= 0;

e470:    x168 - 9*b280 >= 0;

e471:    x169 - 9*b281 >= 0;

e472:    x168 - 30*b282 >= 0;

e473:    x169 - 30*b283 >= 0;

e474:    x168 - 39*b284 >= 0;

e475:    x169 - 39*b285 >= 0;

e476:    x170 >= 0;

e477:    x171 >= 0;

e478:    x170 - 8*b288 >= 0;

e479:    x171 - 7*b289 >= 0;

e480:    x170 - 20*b290 >= 0;

e481:    x171 - 15*b291 >= 0;

e482:    x170 - 28*b292 >= 0;

e483:    x171 - 22*b293 >= 0;

e484:    x172 >= 0;

e485:    x173 >= 0;

e486:    x172 - 8*b296 >= 0;

e487:    x173 - 6*b297 >= 0;

e488:    x172 - 15*b298 >= 0;

e489:    x173 - 10*b299 >= 0;

e490:    x172 - 23*b300 >= 0;

e491:    x173 - 16*b301 >= 0;

e492:    20*x2 + 20*x12 + 18*x20 + 16*x44 + 20*x58 + x158 + x160 + x162 + x164
       + x166 + x168 + x170 + x172 <= 4000;

e493:    17*x3 + 21*x13 + 20*x21 + 19*x45 + 18*x59 + x159 + x161 + x163 + x165
       + x167 + x169 + x171 + x173 <= 3800;

e494:    b174 + b176 + b178 + b180 = 1;

e495:    b175 + b177 + b179 + b181 = 1;

e496:    b182 + b184 + b186 + b188 = 1;

e497:    b183 + b185 + b187 + b189 = 1;

e498:    b190 + b192 + b194 + b196 = 1;

e499:    b191 + b193 + b195 + b197 = 1;

e500:    b198 + b200 + b202 + b204 = 1;

e501:    b199 + b201 + b203 + b205 = 1;

e502:    b206 + b208 + b210 + b212 = 1;

e503:    b207 + b209 + b211 + b213 = 1;

e504:    b214 + b216 + b218 + b220 = 1;

e505:    b215 + b217 + b219 + b221 = 1;

e506:    b222 + b224 + b226 + b228 = 1;

e507:    b223 + b225 + b227 + b229 = 1;

e508:    b230 + b232 + b234 + b236 = 1;

e509:    b231 + b233 + b235 + b237 = 1;

e510:    b238 + b240 + b242 + b244 = 1;

e511:    b239 + b241 + b243 + b245 = 1;

e512:    b246 + b248 + b250 + b252 = 1;

e513:    b247 + b249 + b251 + b253 = 1;

e514:    b254 + b256 + b258 + b260 = 1;

e515:    b255 + b257 + b259 + b261 = 1;

e516:    b262 + b264 + b266 + b268 = 1;

e517:    b263 + b265 + b267 + b269 = 1;

e518:    b270 + b272 + b274 + b276 = 1;

e519:    b271 + b273 + b275 + b277 = 1;

e520:    b278 + b280 + b282 + b284 = 1;

e521:    b279 + b281 + b283 + b285 = 1;

e522:    b286 + b288 + b290 + b292 = 1;

e523:    b287 + b289 + b291 + b293 = 1;

e524:    b294 + b296 + b298 + b300 = 1;

e525:    b295 + b297 + b299 + b301 = 1;

e526:    b176 - b177 <= 0;

e527:    b178 - b179 <= 0;

e528:    b180 - b181 <= 0;

e529:    b184 - b185 <= 0;

e530:    b186 - b187 <= 0;

e531:    b188 - b189 <= 0;

e532:    b192 - b193 <= 0;

e533:    b194 - b195 <= 0;

e534:    b196 - b197 <= 0;

e535:    b200 - b201 <= 0;

e536:    b202 - b203 <= 0;

e537:    b204 - b205 <= 0;

e538:    b208 - b209 <= 0;

e539:    b210 - b211 <= 0;

e540:    b212 - b213 <= 0;

e541:    b216 - b217 <= 0;

e542:    b218 - b219 <= 0;

e543:    b220 - b221 <= 0;

e544:    b224 - b225 <= 0;

e545:    b226 - b227 <= 0;

e546:    b228 - b229 <= 0;

e547:    b232 - b233 <= 0;

e548:    b234 - b235 <= 0;

e549:    b236 - b237 <= 0;

e550:  - b239 + b240 <= 0;

e551:  - b238 + b241 <= 0;

e552:  - b239 + b242 <= 0;

e553:  - b238 + b243 <= 0;

e554:  - b239 + b244 <= 0;

e555:  - b238 + b245 <= 0;

e556:  - b247 + b248 <= 0;

e557:  - b246 + b249 <= 0;

e558:  - b247 + b250 <= 0;

e559:  - b246 + b251 <= 0;

e560:  - b247 + b252 <= 0;

e561:  - b246 + b253 <= 0;

e562:  - b255 + b256 <= 0;

e563:  - b254 + b257 <= 0;

e564:  - b255 + b258 <= 0;

e565:  - b254 + b259 <= 0;

e566:  - b255 + b260 <= 0;

e567:  - b254 + b261 <= 0;

e568:  - b263 + b264 <= 0;

e569:  - b262 + b265 <= 0;

e570:  - b263 + b266 <= 0;

e571:  - b262 + b267 <= 0;

e572:  - b263 + b268 <= 0;

e573:  - b262 + b269 <= 0;

e574:  - b271 + b272 <= 0;

e575:  - b270 + b273 <= 0;

e576:  - b271 + b274 <= 0;

e577:  - b270 + b275 <= 0;

e578:  - b271 + b276 <= 0;

e579:  - b270 + b277 <= 0;

e580:  - b279 + b280 <= 0;

e581:  - b278 + b281 <= 0;

e582:  - b279 + b282 <= 0;

e583:  - b278 + b283 <= 0;

e584:  - b279 + b284 <= 0;

e585:  - b278 + b285 <= 0;

e586:  - b287 + b288 <= 0;

e587:  - b286 + b289 <= 0;

e588:  - b287 + b290 <= 0;

e589:  - b286 + b291 <= 0;

e590:  - b287 + b292 <= 0;

e591:  - b286 + b293 <= 0;

e592:  - b295 + b296 <= 0;

e593:  - b294 + b297 <= 0;

e594:  - b295 + b298 <= 0;

e595:  - b294 + b299 <= 0;

e596:  - b295 + b300 <= 0;

e597:  - b294 + b301 <= 0;

e598:    b174 - b238 <= 0;

e599:    b175 - b239 <= 0;

e600:    b182 - b246 <= 0;

e601:    b183 - b247 <= 0;

e602:    b190 - b254 <= 0;

e603:    b191 - b255 <= 0;

e604:    b198 - b262 <= 0;

e605:    b199 - b263 <= 0;

e606:    b206 - b270 <= 0;

e607:    b207 - b271 <= 0;

e608:    b214 - b278 <= 0;

e609:    b215 - b279 <= 0;

e610:    b222 - b286 <= 0;

e611:    b223 - b287 <= 0;

e612:    b230 - b294 <= 0;

e613:    b231 - b295 <= 0;

e614:    b176 - b240 <= 0;

e615:  - b176 + b177 - b241 <= 0;

e616:    b178 - b242 <= 0;

e617:  - b178 + b179 - b243 <= 0;

e618:    b180 - b244 <= 0;

e619:  - b180 + b181 - b245 <= 0;

e620:    b184 - b248 <= 0;

e621:  - b184 + b185 - b249 <= 0;

e622:    b186 - b250 <= 0;

e623:  - b186 + b187 - b251 <= 0;

e624:    b188 - b252 <= 0;

e625:  - b188 + b189 - b253 <= 0;

e626:    b192 - b256 <= 0;

e627:  - b192 + b193 - b257 <= 0;

e628:    b194 - b258 <= 0;

e629:  - b194 + b195 - b259 <= 0;

e630:    b196 - b260 <= 0;

e631:  - b196 + b197 - b261 <= 0;

e632:    b200 - b264 <= 0;

e633:  - b200 + b201 - b265 <= 0;

e634:    b202 - b266 <= 0;

e635:  - b202 + b203 - b267 <= 0;

e636:    b204 - b268 <= 0;

e637:  - b204 + b205 - b269 <= 0;

e638:    b208 - b272 <= 0;

e639:  - b208 + b209 - b273 <= 0;

e640:    b210 - b274 <= 0;

e641:  - b210 + b211 - b275 <= 0;

e642:    b212 - b276 <= 0;

e643:  - b212 + b213 - b277 <= 0;

e644:    b216 - b280 <= 0;

e645:  - b216 + b217 - b281 <= 0;

e646:    b218 - b282 <= 0;

e647:  - b218 + b219 - b283 <= 0;

e648:    b220 - b284 <= 0;

e649:  - b220 + b221 - b285 <= 0;

e650:    b224 - b288 <= 0;

e651:  - b224 + b225 - b289 <= 0;

e652:    b226 - b290 <= 0;

e653:  - b226 + b227 - b291 <= 0;

e654:    b228 - b292 <= 0;

e655:  - b228 + b229 - b293 <= 0;

e656:    b232 - b296 <= 0;

e657:  - b232 + b233 - b297 <= 0;

e658:    b234 - b298 <= 0;

e659:  - b234 + b235 - b299 <= 0;

e660:    b236 - b300 <= 0;

e661:  - b236 + b237 - b301 <= 0;

e662:    x10 - x64 - x302 = 0;

e663:    x11 - x65 - x303 = 0;

e664:    x18 - x66 - x324 = 0;

e665:    x19 - x67 - x325 = 0;

e666:    x40 - x68 = 0;

e667:    x41 - x69 = 0;

e668:    x42 - x70 = 0;

e669:    x43 - x71 = 0;

e670:    x302 - x304 - x306 = 0;

e671:    x303 - x305 - x307 = 0;

e672:  - x308 - x310 + x312 = 0;

e673:  - x309 - x311 + x313 = 0;

e674:    x312 - x314 - x316 = 0;

e675:    x313 - x315 - x317 = 0;

e676:    x316 - x318 - x320 - x322 = 0;

e677:    x317 - x319 - x321 - x323 = 0;

e678: -log(1 + x304) + x308 + b332 <= 1;

e679: -log(1 + x305) + x309 + b333 <= 1;

e680:    x304 - 40*b332 <= 0;

e681:    x305 - 40*b333 <= 0;

e682:    x308 - 3.71357206670431*b332 <= 0;

e683:    x309 - 3.71357206670431*b333 <= 0;

e684: -1.2*log(1 + x306) + x310 + b334 <= 1;

e685: -1.2*log(1 + x307) + x311 + b335 <= 1;

e686:    x306 - 40*b334 <= 0;

e687:    x307 - 40*b335 <= 0;

e688:    x310 - 4.45628648004517*b334 <= 0;

e689:    x311 - 4.45628648004517*b335 <= 0;

e690:  - 0.75*x318 + x326 + b336 <= 1;

e691:  - 0.75*x319 + x327 + b337 <= 1;

e692:  - 0.75*x318 + x326 - b336 >= -1;

e693:  - 0.75*x319 + x327 - b337 >= -1;

e694:    x318 - 4.45628648004517*b336 <= 0;

e695:    x319 - 4.45628648004517*b337 <= 0;

e696:    x326 - 3.34221486003388*b336 <= 0;

e697:    x327 - 3.34221486003388*b337 <= 0;

e698: -1.5*log(1 + x320) + x328 + b338 <= 1;

e699: -1.5*log(1 + x321) + x329 + b339 <= 1;

e700:    x320 - 4.45628648004517*b338 <= 0;

e701:    x321 - 4.45628648004517*b339 <= 0;

e702:    x328 - 2.54515263975353*b338 <= 0;

e703:    x329 - 2.54515263975353*b339 <= 0;

e704:  - x322 + x330 + b340 <= 1;

e705:  - x323 + x331 + b341 <= 1;

e706:  - x322 + x330 - b340 >= -1;

e707:  - x323 + x331 - b341 >= -1;

e708:  - 0.5*x324 + x330 + b340 <= 1;

e709:  - 0.5*x325 + x331 + b341 <= 1;

e710:  - 0.5*x324 + x330 - b340 >= -1;

e711:  - 0.5*x325 + x331 - b341 >= -1;

e712:    x322 - 4.45628648004517*b340 <= 0;

e713:    x323 - 4.45628648004517*b341 <= 0;

e714:    x324 - 30*b340 <= 0;

e715:    x325 - 30*b341 <= 0;

e716:    x330 - 15*b340 <= 0;

e717:    x331 - 15*b341 <= 0;

e718:    5*b342 + x352 <= 0;

e719:    4*b343 + x353 <= 0;

e720:    8*b344 + x354 <= 0;

e721:    7*b345 + x355 <= 0;

e722:    6*b346 + x356 <= 0;

e723:    9*b347 + x357 <= 0;

e724:    10*b348 + x358 <= 0;

e725:    9*b349 + x359 <= 0;

e726:    6*b350 + x360 <= 0;

e727:    10*b351 + x361 <= 0;

e728:    5*b342 + x352 >= 0;

e729:    4*b343 + x353 >= 0;

e730:    8*b344 + x354 >= 0;

e731:    7*b345 + x355 >= 0;

e732:    6*b346 + x356 >= 0;

e733:    9*b347 + x357 >= 0;

e734:    10*b348 + x358 >= 0;

e735:    9*b349 + x359 >= 0;

e736:    6*b350 + x360 >= 0;

e737:    10*b351 + x361 >= 0;

e738:    b332 - b333 <= 0;

e739:    b334 - b335 <= 0;

e740:    b336 - b337 <= 0;

e741:    b338 - b339 <= 0;

e742:    b340 - b341 <= 0;

e743:    b342 + b343 <= 1;

e744:    b342 + b343 <= 1;

e745:    b344 + b345 <= 1;

e746:    b344 + b345 <= 1;

e747:    b346 + b347 <= 1;

e748:    b346 + b347 <= 1;

e749:    b348 + b349 <= 1;

e750:    b348 + b349 <= 1;

e751:    b350 + b351 <= 1;

e752:    b350 + b351 <= 1;

e753:    b332 - b342 <= 0;

e754:  - b332 + b333 - b343 <= 0;

e755:    b334 - b344 <= 0;

e756:  - b334 + b335 - b345 <= 0;

e757:    b336 - b346 <= 0;

e758:  - b336 + b337 - b347 <= 0;

e759:    b338 - b348 <= 0;

e760:  - b338 + b339 - b349 <= 0;

e761:    b340 - b350 <= 0;

e762:  - b340 + b341 - b351 <= 0;

e763:    b332 + b334 = 1;

e764:    b333 + b335 = 1;

e765:    b332 + b334 - b336 >= 0;

e766:    b333 + b335 - b337 >= 0;

e767:    b332 + b334 - b338 >= 0;

e768:    b333 + b335 - b339 >= 0;

e769:    b332 + b334 - b340 >= 0;

e770:    b333 + b335 - b341 >= 0;
