#  MINLP written by GAMS Convert at 01/12/18 13:43:51
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#       1053       45      224      784        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        421      261      160        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2581     2525       56        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 40;
var x3 >= 0, <= 40;
var x4 >= 0, <= 40;
var x5 >= 0, <= 40;
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, <= 30;
var x47 >= 0, <= 30;
var x48 >= 0, <= 30;
var x49 >= 0, <= 30;
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, <= 20;
var x115 >= 0, <= 20;
var x116 >= 0, <= 20;
var x117 >= 0, <= 20;
var x118 >= 0, <= 20;
var x119 >= 0, <= 20;
var x120 >= 0, <= 20;
var x121 >= 0, <= 20;
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 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 b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
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 x342;
var x343;
var x344;
var x345;
var x346;
var x347;
var x348;
var x349;
var x350;
var x351;
var x352;
var x353;
var x354;
var x355;
var x356;
var x357;
var x358;
var x359;
var x360;
var x361;
var x362;
var x363;
var x364;
var x365;
var x366;
var x367;
var x368;
var x369;
var x370;
var x371;
var x372;
var x373;
var x374;
var x375;
var x376;
var x377;
var x378;
var x379;
var x380;
var x381;
var x382;
var x383;
var x384;
var x385;
var x386;
var x387;
var x388;
var x389;
var x390;
var x391;
var x392;
var x393;
var x394;
var x395;
var x396;
var x397;
var x398;
var x399;
var x400;
var x401;
var x402;
var x403;
var x404;
var x405;
var x406;
var x407;
var x408;
var x409;
var x410;
var x411;
var x412;
var x413;
var x414;
var x415;
var x416;
var x417;
var x418;
var x419;
var x420;
var x421;

maximize obj:  - x2 - x3 - x4 - x5 + 5*x26 + 10*x27 + 5*x28 + 10*x29 - 2*x46
     - x47 - 2*x48 - x49 - 10*x114 - 5*x115 - 5*x116 - 10*x117 - 5*x118
     - 5*x119 - 5*x120 - 10*x121 + 80*x146 + 130*x147 + 215*x148 + 210*x149
     + 110*x150 + 120*x151 + 125*x152 + 130*x153 + 110*x154 + 130*x155
     + 140*x156 + 140*x157 + 80*x158 + 90*x159 + 120*x160 + 100*x161 + 285*x162
     + 390*x163 + 350*x164 + 300*x165 + 290*x166 + 405*x167 + 190*x168
     + 340*x169 + 280*x170 + 400*x171 + 430*x172 + 260*x173 + 290*x174
     + 300*x175 + 240*x176 + 310*x177 + 350*x178 + 250*x179 + 300*x180
     + 400*x181 - 5*b262 - 4*b263 - 6*b264 - 3*b265 - 8*b266 - 7*b267 - 6*b268
     - 5*b269 - 6*b270 - 9*b271 - 4*b272 - 3*b273 - 10*b274 - 9*b275 - 5*b276
     - 6*b277 - 6*b278 - 10*b279 - 6*b280 - 9*b281 - 7*b282 - 7*b283 - 4*b284
     - 2*b285 - 4*b286 - 3*b287 - 2*b288 - 8*b289 - 5*b290 - 6*b291 - 7*b292
     - 4*b293 - 2*b294 - 5*b295 - 2*b296 - 6*b297 - 4*b298 - 7*b299 - 4*b300
     - 7*b301 - 3*b302 - 9*b303 - 3*b304 - 6*b305 - 7*b306 - 2*b307 - 9*b308
     - 6*b309 - 3*b310 - b311 - 9*b312 - 10*b313 - 2*b314 - 6*b315 - 3*b316
     - 7*b317 - 4*b318 - 8*b319 - b320 - 4*b321 - 2*b322 - 5*b323 - 2*b324
     - 5*b325 - 3*b326 - 4*b327 - 3*b328 - 7*b329 - 5*b330 - 7*b331 - 6*b332
     - 2*b333 - 2*b334 - 8*b335 - 4*b336 - 2*b337 - b338 - 4*b339 - b340 - b341
    ;

subject to

e2:    x2 - x6 - x10 = 0;

e3:    x3 - x7 - x11 = 0;

e4:    x4 - x8 - x12 = 0;

e5:    x5 - x9 - x13 = 0;

e6:  - x14 - x18 + x22 = 0;

e7:  - x15 - x19 + x23 = 0;

e8:  - x16 - x20 + x24 = 0;

e9:  - x17 - x21 + x25 = 0;

e10:    x22 - x26 - x30 = 0;

e11:    x23 - x27 - x31 = 0;

e12:    x24 - x28 - x32 = 0;

e13:    x25 - x29 - x33 = 0;

e14:    x30 - x34 - x38 - x42 = 0;

e15:    x31 - x35 - x39 - x43 = 0;

e16:    x32 - x36 - x40 - x44 = 0;

e17:    x33 - x37 - x41 - x45 = 0;

e18:    x50 - x62 - x66 = 0;

e19:    x51 - x63 - x67 = 0;

e20:    x52 - x64 - x68 = 0;

e21:    x53 - x65 - x69 = 0;

e22:    x58 - x70 - x74 - x78 = 0;

e23:    x59 - x71 - x75 - x79 = 0;

e24:    x60 - x72 - x76 - x80 = 0;

e25:    x61 - x73 - x77 - x81 = 0;

e26:    x90 - x106 - x110 = 0;

e27:    x91 - x107 - x111 = 0;

e28:    x92 - x108 - x112 = 0;

e29:    x93 - x109 - x113 = 0;

e30:  - x94 - x118 + x122 = 0;

e31:  - x95 - x119 + x123 = 0;

e32:  - x96 - x120 + x124 = 0;

e33:  - x97 - x121 + x125 = 0;

e34:    x98 - x126 - x130 = 0;

e35:    x99 - x127 - x131 = 0;

e36:    x100 - x128 - x132 = 0;

e37:    x101 - x129 - x133 = 0;

e38:    x102 - x134 - x138 - x142 = 0;

e39:    x103 - x135 - x139 - x143 = 0;

e40:    x104 - x136 - x140 - x144 = 0;

e41:    x105 - x137 - x141 - x145 = 0;

e42: -log(1 + x6) + x14 + b182 <= 1;

e43: -log(1 + x7) + x15 + b183 <= 1;

e44: -log(1 + x8) + x16 + b184 <= 1;

e45: -log(1 + x9) + x17 + b185 <= 1;

e46:    x6 - 40*b182 <= 0;

e47:    x7 - 40*b183 <= 0;

e48:    x8 - 40*b184 <= 0;

e49:    x9 - 40*b185 <= 0;

e50:    x14 - 3.71357206670431*b182 <= 0;

e51:    x15 - 3.71357206670431*b183 <= 0;

e52:    x16 - 3.71357206670431*b184 <= 0;

e53:    x17 - 3.71357206670431*b185 <= 0;

e54: -1.2*log(1 + x10) + x18 + b186 <= 1;

e55: -1.2*log(1 + x11) + x19 + b187 <= 1;

e56: -1.2*log(1 + x12) + x20 + b188 <= 1;

e57: -1.2*log(1 + x13) + x21 + b189 <= 1;

e58:    x10 - 40*b186 <= 0;

e59:    x11 - 40*b187 <= 0;

e60:    x12 - 40*b188 <= 0;

e61:    x13 - 40*b189 <= 0;

e62:    x18 - 4.45628648004517*b186 <= 0;

e63:    x19 - 4.45628648004517*b187 <= 0;

e64:    x20 - 4.45628648004517*b188 <= 0;

e65:    x21 - 4.45628648004517*b189 <= 0;

e66:  - 0.75*x34 + x50 + b190 <= 1;

e67:  - 0.75*x35 + x51 + b191 <= 1;

e68:  - 0.75*x36 + x52 + b192 <= 1;

e69:  - 0.75*x37 + x53 + b193 <= 1;

e70:  - 0.75*x34 + x50 - b190 >= -1;

e71:  - 0.75*x35 + x51 - b191 >= -1;

e72:  - 0.75*x36 + x52 - b192 >= -1;

e73:  - 0.75*x37 + x53 - b193 >= -1;

e74:    x34 - 4.45628648004517*b190 <= 0;

e75:    x35 - 4.45628648004517*b191 <= 0;

e76:    x36 - 4.45628648004517*b192 <= 0;

e77:    x37 - 4.45628648004517*b193 <= 0;

e78:    x50 - 3.34221486003388*b190 <= 0;

e79:    x51 - 3.34221486003388*b191 <= 0;

e80:    x52 - 3.34221486003388*b192 <= 0;

e81:    x53 - 3.34221486003388*b193 <= 0;

e82: -1.5*log(1 + x38) + x54 + b194 <= 1;

e83: -1.5*log(1 + x39) + x55 + b195 <= 1;

e84: -1.5*log(1 + x40) + x56 + b196 <= 1;

e85: -1.5*log(1 + x41) + x57 + b197 <= 1;

e86:    x38 - 4.45628648004517*b194 <= 0;

e87:    x39 - 4.45628648004517*b195 <= 0;

e88:    x40 - 4.45628648004517*b196 <= 0;

e89:    x41 - 4.45628648004517*b197 <= 0;

e90:    x54 - 2.54515263975353*b194 <= 0;

e91:    x55 - 2.54515263975353*b195 <= 0;

e92:    x56 - 2.54515263975353*b196 <= 0;

e93:    x57 - 2.54515263975353*b197 <= 0;

e94:  - x42 + x58 + b198 <= 1;

e95:  - x43 + x59 + b199 <= 1;

e96:  - x44 + x60 + b200 <= 1;

e97:  - x45 + x61 + b201 <= 1;

e98:  - x42 + x58 - b198 >= -1;

e99:  - x43 + x59 - b199 >= -1;

e100:  - x44 + x60 - b200 >= -1;

e101:  - x45 + x61 - b201 >= -1;

e102:  - 0.5*x46 + x58 + b198 <= 1;

e103:  - 0.5*x47 + x59 + b199 <= 1;

e104:  - 0.5*x48 + x60 + b200 <= 1;

e105:  - 0.5*x49 + x61 + b201 <= 1;

e106:  - 0.5*x46 + x58 - b198 >= -1;

e107:  - 0.5*x47 + x59 - b199 >= -1;

e108:  - 0.5*x48 + x60 - b200 >= -1;

e109:  - 0.5*x49 + x61 - b201 >= -1;

e110:    x42 - 4.45628648004517*b198 <= 0;

e111:    x43 - 4.45628648004517*b199 <= 0;

e112:    x44 - 4.45628648004517*b200 <= 0;

e113:    x45 - 4.45628648004517*b201 <= 0;

e114:    x46 - 30*b198 <= 0;

e115:    x47 - 30*b199 <= 0;

e116:    x48 - 30*b200 <= 0;

e117:    x49 - 30*b201 <= 0;

e118:    x58 - 15*b198 <= 0;

e119:    x59 - 15*b199 <= 0;

e120:    x60 - 15*b200 <= 0;

e121:    x61 - 15*b201 <= 0;

e122: -1.25*log(1 + x62) + x82 + b202 <= 1;

e123: -1.25*log(1 + x63) + x83 + b203 <= 1;

e124: -1.25*log(1 + x64) + x84 + b204 <= 1;

e125: -1.25*log(1 + x65) + x85 + b205 <= 1;

e126:    x62 - 3.34221486003388*b202 <= 0;

e127:    x63 - 3.34221486003388*b203 <= 0;

e128:    x64 - 3.34221486003388*b204 <= 0;

e129:    x65 - 3.34221486003388*b205 <= 0;

e130:    x82 - 1.83548069293539*b202 <= 0;

e131:    x83 - 1.83548069293539*b203 <= 0;

e132:    x84 - 1.83548069293539*b204 <= 0;

e133:    x85 - 1.83548069293539*b205 <= 0;

e134: -0.9*log(1 + x66) + x86 + b206 <= 1;

e135: -0.9*log(1 + x67) + x87 + b207 <= 1;

e136: -0.9*log(1 + x68) + x88 + b208 <= 1;

e137: -0.9*log(1 + x69) + x89 + b209 <= 1;

e138:    x66 - 3.34221486003388*b206 <= 0;

e139:    x67 - 3.34221486003388*b207 <= 0;

e140:    x68 - 3.34221486003388*b208 <= 0;

e141:    x69 - 3.34221486003388*b209 <= 0;

e142:    x86 - 1.32154609891348*b206 <= 0;

e143:    x87 - 1.32154609891348*b207 <= 0;

e144:    x88 - 1.32154609891348*b208 <= 0;

e145:    x89 - 1.32154609891348*b209 <= 0;

e146: -log(1 + x54) + x90 + b210 <= 1;

e147: -log(1 + x55) + x91 + b211 <= 1;

e148: -log(1 + x56) + x92 + b212 <= 1;

e149: -log(1 + x57) + x93 + b213 <= 1;

e150:    x54 - 2.54515263975353*b210 <= 0;

e151:    x55 - 2.54515263975353*b211 <= 0;

e152:    x56 - 2.54515263975353*b212 <= 0;

e153:    x57 - 2.54515263975353*b213 <= 0;

e154:    x90 - 1.26558121681553*b210 <= 0;

e155:    x91 - 1.26558121681553*b211 <= 0;

e156:    x92 - 1.26558121681553*b212 <= 0;

e157:    x93 - 1.26558121681553*b213 <= 0;

e158:  - 0.9*x70 + x94 + b214 <= 1;

e159:  - 0.9*x71 + x95 + b215 <= 1;

e160:  - 0.9*x72 + x96 + b216 <= 1;

e161:  - 0.9*x73 + x97 + b217 <= 1;

e162:  - 0.9*x70 + x94 - b214 >= -1;

e163:  - 0.9*x71 + x95 - b215 >= -1;

e164:  - 0.9*x72 + x96 - b216 >= -1;

e165:  - 0.9*x73 + x97 - b217 >= -1;

e166:    x70 - 15*b214 <= 0;

e167:    x71 - 15*b215 <= 0;

e168:    x72 - 15*b216 <= 0;

e169:    x73 - 15*b217 <= 0;

e170:    x94 - 13.5*b214 <= 0;

e171:    x95 - 13.5*b215 <= 0;

e172:    x96 - 13.5*b216 <= 0;

e173:    x97 - 13.5*b217 <= 0;

e174:  - 0.6*x74 + x98 + b218 <= 1;

e175:  - 0.6*x75 + x99 + b219 <= 1;

e176:  - 0.6*x76 + x100 + b220 <= 1;

e177:  - 0.6*x77 + x101 + b221 <= 1;

e178:  - 0.6*x74 + x98 - b218 >= -1;

e179:  - 0.6*x75 + x99 - b219 >= -1;

e180:  - 0.6*x76 + x100 - b220 >= -1;

e181:  - 0.6*x77 + x101 - b221 >= -1;

e182:    x74 - 15*b218 <= 0;

e183:    x75 - 15*b219 <= 0;

e184:    x76 - 15*b220 <= 0;

e185:    x77 - 15*b221 <= 0;

e186:    x98 - 9*b218 <= 0;

e187:    x99 - 9*b219 <= 0;

e188:    x100 - 9*b220 <= 0;

e189:    x101 - 9*b221 <= 0;

e190: -1.1*log(1 + x78) + x102 + b222 <= 1;

e191: -1.1*log(1 + x79) + x103 + b223 <= 1;

e192: -1.1*log(1 + x80) + x104 + b224 <= 1;

e193: -1.1*log(1 + x81) + x105 + b225 <= 1;

e194:    x78 - 15*b222 <= 0;

e195:    x79 - 15*b223 <= 0;

e196:    x80 - 15*b224 <= 0;

e197:    x81 - 15*b225 <= 0;

e198:    x102 - 3.04984759446376*b222 <= 0;

e199:    x103 - 3.04984759446376*b223 <= 0;

e200:    x104 - 3.04984759446376*b224 <= 0;

e201:    x105 - 3.04984759446376*b225 <= 0;

e202:  - 0.9*x82 + x146 + b226 <= 1;

e203:  - 0.9*x83 + x147 + b227 <= 1;

e204:  - 0.9*x84 + x148 + b228 <= 1;

e205:  - 0.9*x85 + x149 + b229 <= 1;

e206:  - 0.9*x82 + x146 - b226 >= -1;

e207:  - 0.9*x83 + x147 - b227 >= -1;

e208:  - 0.9*x84 + x148 - b228 >= -1;

e209:  - 0.9*x85 + x149 - b229 >= -1;

e210:  - x114 + x146 + b226 <= 1;

e211:  - x115 + x147 + b227 <= 1;

e212:  - x116 + x148 + b228 <= 1;

e213:  - x117 + x149 + b229 <= 1;

e214:  - x114 + x146 - b226 >= -1;

e215:  - x115 + x147 - b227 >= -1;

e216:  - x116 + x148 - b228 >= -1;

e217:  - x117 + x149 - b229 >= -1;

e218:    x82 - 1.83548069293539*b226 <= 0;

e219:    x83 - 1.83548069293539*b227 <= 0;

e220:    x84 - 1.83548069293539*b228 <= 0;

e221:    x85 - 1.83548069293539*b229 <= 0;

e222:    x114 - 20*b226 <= 0;

e223:    x115 - 20*b227 <= 0;

e224:    x116 - 20*b228 <= 0;

e225:    x117 - 20*b229 <= 0;

e226:    x146 - 20*b226 <= 0;

e227:    x147 - 20*b227 <= 0;

e228:    x148 - 20*b228 <= 0;

e229:    x149 - 20*b229 <= 0;

e230: -log(1 + x86) + x150 + b230 <= 1;

e231: -log(1 + x87) + x151 + b231 <= 1;

e232: -log(1 + x88) + x152 + b232 <= 1;

e233: -log(1 + x89) + x153 + b233 <= 1;

e234:    x86 - 1.32154609891348*b230 <= 0;

e235:    x87 - 1.32154609891348*b231 <= 0;

e236:    x88 - 1.32154609891348*b232 <= 0;

e237:    x89 - 1.32154609891348*b233 <= 0;

e238:    x150 - 0.842233385663186*b230 <= 0;

e239:    x151 - 0.842233385663186*b231 <= 0;

e240:    x152 - 0.842233385663186*b232 <= 0;

e241:    x153 - 0.842233385663186*b233 <= 0;

e242: -0.7*log(1 + x106) + x154 + b234 <= 1;

e243: -0.7*log(1 + x107) + x155 + b235 <= 1;

e244: -0.7*log(1 + x108) + x156 + b236 <= 1;

e245: -0.7*log(1 + x109) + x157 + b237 <= 1;

e246:    x106 - 1.26558121681553*b234 <= 0;

e247:    x107 - 1.26558121681553*b235 <= 0;

e248:    x108 - 1.26558121681553*b236 <= 0;

e249:    x109 - 1.26558121681553*b237 <= 0;

e250:    x154 - 0.572481933717686*b234 <= 0;

e251:    x155 - 0.572481933717686*b235 <= 0;

e252:    x156 - 0.572481933717686*b236 <= 0;

e253:    x157 - 0.572481933717686*b237 <= 0;

e254: -0.65*log(1 + x110) + x158 + b238 <= 1;

e255: -0.65*log(1 + x111) + x159 + b239 <= 1;

e256: -0.65*log(1 + x112) + x160 + b240 <= 1;

e257: -0.65*log(1 + x113) + x161 + b241 <= 1;

e258: -0.65*log(1 + x122) + x158 + b238 <= 1;

e259: -0.65*log(1 + x123) + x159 + b239 <= 1;

e260: -0.65*log(1 + x124) + x160 + b240 <= 1;

e261: -0.65*log(1 + x125) + x161 + b241 <= 1;

e262:    x110 - 1.26558121681553*b238 <= 0;

e263:    x111 - 1.26558121681553*b239 <= 0;

e264:    x112 - 1.26558121681553*b240 <= 0;

e265:    x113 - 1.26558121681553*b241 <= 0;

e266:    x122 - 33.5*b238 <= 0;

e267:    x123 - 33.5*b239 <= 0;

e268:    x124 - 33.5*b240 <= 0;

e269:    x125 - 33.5*b241 <= 0;

e270:    x158 - 2.30162356062425*b238 <= 0;

e271:    x159 - 2.30162356062425*b239 <= 0;

e272:    x160 - 2.30162356062425*b240 <= 0;

e273:    x161 - 2.30162356062425*b241 <= 0;

e274:  - x126 + x162 + b242 <= 1;

e275:  - x127 + x163 + b243 <= 1;

e276:  - x128 + x164 + b244 <= 1;

e277:  - x129 + x165 + b245 <= 1;

e278:  - x126 + x162 - b242 >= -1;

e279:  - x127 + x163 - b243 >= -1;

e280:  - x128 + x164 - b244 >= -1;

e281:  - x129 + x165 - b245 >= -1;

e282:    x126 - 9*b242 <= 0;

e283:    x127 - 9*b243 <= 0;

e284:    x128 - 9*b244 <= 0;

e285:    x129 - 9*b245 <= 0;

e286:    x162 - 9*b242 <= 0;

e287:    x163 - 9*b243 <= 0;

e288:    x164 - 9*b244 <= 0;

e289:    x165 - 9*b245 <= 0;

e290:  - x130 + x166 + b246 <= 1;

e291:  - x131 + x167 + b247 <= 1;

e292:  - x132 + x168 + b248 <= 1;

e293:  - x133 + x169 + b249 <= 1;

e294:  - x130 + x166 - b246 >= -1;

e295:  - x131 + x167 - b247 >= -1;

e296:  - x132 + x168 - b248 >= -1;

e297:  - x133 + x169 - b249 >= -1;

e298:    x130 - 9*b246 <= 0;

e299:    x131 - 9*b247 <= 0;

e300:    x132 - 9*b248 <= 0;

e301:    x133 - 9*b249 <= 0;

e302:    x166 - 9*b246 <= 0;

e303:    x167 - 9*b247 <= 0;

e304:    x168 - 9*b248 <= 0;

e305:    x169 - 9*b249 <= 0;

e306: -0.75*log(1 + x134) + x170 + b250 <= 1;

e307: -0.75*log(1 + x135) + x171 + b251 <= 1;

e308: -0.75*log(1 + x136) + x172 + b252 <= 1;

e309: -0.75*log(1 + x137) + x173 + b253 <= 1;

e310:    x134 - 3.04984759446376*b250 <= 0;

e311:    x135 - 3.04984759446376*b251 <= 0;

e312:    x136 - 3.04984759446376*b252 <= 0;

e313:    x137 - 3.04984759446376*b253 <= 0;

e314:    x170 - 1.04900943706034*b250 <= 0;

e315:    x171 - 1.04900943706034*b251 <= 0;

e316:    x172 - 1.04900943706034*b252 <= 0;

e317:    x173 - 1.04900943706034*b253 <= 0;

e318: -0.8*log(1 + x138) + x174 + b254 <= 1;

e319: -0.8*log(1 + x139) + x175 + b255 <= 1;

e320: -0.8*log(1 + x140) + x176 + b256 <= 1;

e321: -0.8*log(1 + x141) + x177 + b257 <= 1;

e322:    x138 - 3.04984759446376*b254 <= 0;

e323:    x139 - 3.04984759446376*b255 <= 0;

e324:    x140 - 3.04984759446376*b256 <= 0;

e325:    x141 - 3.04984759446376*b257 <= 0;

e326:    x174 - 1.11894339953103*b254 <= 0;

e327:    x175 - 1.11894339953103*b255 <= 0;

e328:    x176 - 1.11894339953103*b256 <= 0;

e329:    x177 - 1.11894339953103*b257 <= 0;

e330: -0.85*log(1 + x142) + x178 + b258 <= 1;

e331: -0.85*log(1 + x143) + x179 + b259 <= 1;

e332: -0.85*log(1 + x144) + x180 + b260 <= 1;

e333: -0.85*log(1 + x145) + x181 + b261 <= 1;

e334:    x142 - 3.04984759446376*b258 <= 0;

e335:    x143 - 3.04984759446376*b259 <= 0;

e336:    x144 - 3.04984759446376*b260 <= 0;

e337:    x145 - 3.04984759446376*b261 <= 0;

e338:    x178 - 1.18887736200171*b258 <= 0;

e339:    x179 - 1.18887736200171*b259 <= 0;

e340:    x180 - 1.18887736200171*b260 <= 0;

e341:    x181 - 1.18887736200171*b261 <= 0;

e342:    5*b262 + x342 <= 0;

e343:    4*b263 + x343 <= 0;

e344:    6*b264 + x344 <= 0;

e345:    3*b265 + x345 <= 0;

e346:    8*b266 + x346 <= 0;

e347:    7*b267 + x347 <= 0;

e348:    6*b268 + x348 <= 0;

e349:    5*b269 + x349 <= 0;

e350:    6*b270 + x350 <= 0;

e351:    9*b271 + x351 <= 0;

e352:    4*b272 + x352 <= 0;

e353:    3*b273 + x353 <= 0;

e354:    10*b274 + x354 <= 0;

e355:    9*b275 + x355 <= 0;

e356:    5*b276 + x356 <= 0;

e357:    6*b277 + x357 <= 0;

e358:    6*b278 + x358 <= 0;

e359:    10*b279 + x359 <= 0;

e360:    6*b280 + x360 <= 0;

e361:    9*b281 + x361 <= 0;

e362:    7*b282 + x362 <= 0;

e363:    7*b283 + x363 <= 0;

e364:    4*b284 + x364 <= 0;

e365:    2*b285 + x365 <= 0;

e366:    4*b286 + x366 <= 0;

e367:    3*b287 + x367 <= 0;

e368:    2*b288 + x368 <= 0;

e369:    8*b289 + x369 <= 0;

e370:    5*b290 + x370 <= 0;

e371:    6*b291 + x371 <= 0;

e372:    7*b292 + x372 <= 0;

e373:    4*b293 + x373 <= 0;

e374:    2*b294 + x374 <= 0;

e375:    5*b295 + x375 <= 0;

e376:    2*b296 + x376 <= 0;

e377:    6*b297 + x377 <= 0;

e378:    4*b298 + x378 <= 0;

e379:    7*b299 + x379 <= 0;

e380:    4*b300 + x380 <= 0;

e381:    7*b301 + x381 <= 0;

e382:    3*b302 + x382 <= 0;

e383:    9*b303 + x383 <= 0;

e384:    3*b304 + x384 <= 0;

e385:    6*b305 + x385 <= 0;

e386:    7*b306 + x386 <= 0;

e387:    2*b307 + x387 <= 0;

e388:    9*b308 + x388 <= 0;

e389:    6*b309 + x389 <= 0;

e390:    3*b310 + x390 <= 0;

e391:    b311 + x391 <= 0;

e392:    9*b312 + x392 <= 0;

e393:    10*b313 + x393 <= 0;

e394:    2*b314 + x394 <= 0;

e395:    6*b315 + x395 <= 0;

e396:    3*b316 + x396 <= 0;

e397:    7*b317 + x397 <= 0;

e398:    4*b318 + x398 <= 0;

e399:    8*b319 + x399 <= 0;

e400:    b320 + x400 <= 0;

e401:    4*b321 + x401 <= 0;

e402:    2*b322 + x402 <= 0;

e403:    5*b323 + x403 <= 0;

e404:    2*b324 + x404 <= 0;

e405:    5*b325 + x405 <= 0;

e406:    3*b326 + x406 <= 0;

e407:    4*b327 + x407 <= 0;

e408:    3*b328 + x408 <= 0;

e409:    7*b329 + x409 <= 0;

e410:    5*b330 + x410 <= 0;

e411:    7*b331 + x411 <= 0;

e412:    6*b332 + x412 <= 0;

e413:    2*b333 + x413 <= 0;

e414:    2*b334 + x414 <= 0;

e415:    8*b335 + x415 <= 0;

e416:    4*b336 + x416 <= 0;

e417:    2*b337 + x417 <= 0;

e418:    b338 + x418 <= 0;

e419:    4*b339 + x419 <= 0;

e420:    b340 + x420 <= 0;

e421:    b341 + x421 <= 0;

e422:    5*b262 + x342 >= 0;

e423:    4*b263 + x343 >= 0;

e424:    6*b264 + x344 >= 0;

e425:    3*b265 + x345 >= 0;

e426:    8*b266 + x346 >= 0;

e427:    7*b267 + x347 >= 0;

e428:    6*b268 + x348 >= 0;

e429:    5*b269 + x349 >= 0;

e430:    6*b270 + x350 >= 0;

e431:    9*b271 + x351 >= 0;

e432:    4*b272 + x352 >= 0;

e433:    3*b273 + x353 >= 0;

e434:    10*b274 + x354 >= 0;

e435:    9*b275 + x355 >= 0;

e436:    5*b276 + x356 >= 0;

e437:    6*b277 + x357 >= 0;

e438:    6*b278 + x358 >= 0;

e439:    10*b279 + x359 >= 0;

e440:    6*b280 + x360 >= 0;

e441:    9*b281 + x361 >= 0;

e442:    7*b282 + x362 >= 0;

e443:    7*b283 + x363 >= 0;

e444:    4*b284 + x364 >= 0;

e445:    2*b285 + x365 >= 0;

e446:    4*b286 + x366 >= 0;

e447:    3*b287 + x367 >= 0;

e448:    2*b288 + x368 >= 0;

e449:    8*b289 + x369 >= 0;

e450:    5*b290 + x370 >= 0;

e451:    6*b291 + x371 >= 0;

e452:    7*b292 + x372 >= 0;

e453:    4*b293 + x373 >= 0;

e454:    2*b294 + x374 >= 0;

e455:    5*b295 + x375 >= 0;

e456:    2*b296 + x376 >= 0;

e457:    6*b297 + x377 >= 0;

e458:    4*b298 + x378 >= 0;

e459:    7*b299 + x379 >= 0;

e460:    4*b300 + x380 >= 0;

e461:    7*b301 + x381 >= 0;

e462:    3*b302 + x382 >= 0;

e463:    9*b303 + x383 >= 0;

e464:    3*b304 + x384 >= 0;

e465:    6*b305 + x385 >= 0;

e466:    7*b306 + x386 >= 0;

e467:    2*b307 + x387 >= 0;

e468:    9*b308 + x388 >= 0;

e469:    6*b309 + x389 >= 0;

e470:    3*b310 + x390 >= 0;

e471:    b311 + x391 >= 0;

e472:    9*b312 + x392 >= 0;

e473:    10*b313 + x393 >= 0;

e474:    2*b314 + x394 >= 0;

e475:    6*b315 + x395 >= 0;

e476:    3*b316 + x396 >= 0;

e477:    7*b317 + x397 >= 0;

e478:    4*b318 + x398 >= 0;

e479:    8*b319 + x399 >= 0;

e480:    b320 + x400 >= 0;

e481:    4*b321 + x401 >= 0;

e482:    2*b322 + x402 >= 0;

e483:    5*b323 + x403 >= 0;

e484:    2*b324 + x404 >= 0;

e485:    5*b325 + x405 >= 0;

e486:    3*b326 + x406 >= 0;

e487:    4*b327 + x407 >= 0;

e488:    3*b328 + x408 >= 0;

e489:    7*b329 + x409 >= 0;

e490:    5*b330 + x410 >= 0;

e491:    7*b331 + x411 >= 0;

e492:    6*b332 + x412 >= 0;

e493:    2*b333 + x413 >= 0;

e494:    2*b334 + x414 >= 0;

e495:    8*b335 + x415 >= 0;

e496:    4*b336 + x416 >= 0;

e497:    2*b337 + x417 >= 0;

e498:    b338 + x418 >= 0;

e499:    4*b339 + x419 >= 0;

e500:    b340 + x420 >= 0;

e501:    b341 + x421 >= 0;

e502:    b182 - b183 <= 0;

e503:    b182 - b184 <= 0;

e504:    b182 - b185 <= 0;

e505:    b183 - b184 <= 0;

e506:    b183 - b185 <= 0;

e507:    b184 - b185 <= 0;

e508:    b186 - b187 <= 0;

e509:    b186 - b188 <= 0;

e510:    b186 - b189 <= 0;

e511:    b187 - b188 <= 0;

e512:    b187 - b189 <= 0;

e513:    b188 - b189 <= 0;

e514:    b190 - b191 <= 0;

e515:    b190 - b192 <= 0;

e516:    b190 - b193 <= 0;

e517:    b191 - b192 <= 0;

e518:    b191 - b193 <= 0;

e519:    b192 - b193 <= 0;

e520:    b194 - b195 <= 0;

e521:    b194 - b196 <= 0;

e522:    b194 - b197 <= 0;

e523:    b195 - b196 <= 0;

e524:    b195 - b197 <= 0;

e525:    b196 - b197 <= 0;

e526:    b198 - b199 <= 0;

e527:    b198 - b200 <= 0;

e528:    b198 - b201 <= 0;

e529:    b199 - b200 <= 0;

e530:    b199 - b201 <= 0;

e531:    b200 - b201 <= 0;

e532:    b202 - b203 <= 0;

e533:    b202 - b204 <= 0;

e534:    b202 - b205 <= 0;

e535:    b203 - b204 <= 0;

e536:    b203 - b205 <= 0;

e537:    b204 - b205 <= 0;

e538:    b206 - b207 <= 0;

e539:    b206 - b208 <= 0;

e540:    b206 - b209 <= 0;

e541:    b207 - b208 <= 0;

e542:    b207 - b209 <= 0;

e543:    b208 - b209 <= 0;

e544:    b210 - b211 <= 0;

e545:    b210 - b212 <= 0;

e546:    b210 - b213 <= 0;

e547:    b211 - b212 <= 0;

e548:    b211 - b213 <= 0;

e549:    b212 - b213 <= 0;

e550:    b214 - b215 <= 0;

e551:    b214 - b216 <= 0;

e552:    b214 - b217 <= 0;

e553:    b215 - b216 <= 0;

e554:    b215 - b217 <= 0;

e555:    b216 - b217 <= 0;

e556:    b218 - b219 <= 0;

e557:    b218 - b220 <= 0;

e558:    b218 - b221 <= 0;

e559:    b219 - b220 <= 0;

e560:    b219 - b221 <= 0;

e561:    b220 - b221 <= 0;

e562:    b222 - b223 <= 0;

e563:    b222 - b224 <= 0;

e564:    b222 - b225 <= 0;

e565:    b223 - b224 <= 0;

e566:    b223 - b225 <= 0;

e567:    b224 - b225 <= 0;

e568:    b226 - b227 <= 0;

e569:    b226 - b228 <= 0;

e570:    b226 - b229 <= 0;

e571:    b227 - b228 <= 0;

e572:    b227 - b229 <= 0;

e573:    b228 - b229 <= 0;

e574:    b230 - b231 <= 0;

e575:    b230 - b232 <= 0;

e576:    b230 - b233 <= 0;

e577:    b231 - b232 <= 0;

e578:    b231 - b233 <= 0;

e579:    b232 - b233 <= 0;

e580:    b234 - b235 <= 0;

e581:    b234 - b236 <= 0;

e582:    b234 - b237 <= 0;

e583:    b235 - b236 <= 0;

e584:    b235 - b237 <= 0;

e585:    b236 - b237 <= 0;

e586:    b238 - b239 <= 0;

e587:    b238 - b240 <= 0;

e588:    b238 - b241 <= 0;

e589:    b239 - b240 <= 0;

e590:    b239 - b241 <= 0;

e591:    b240 - b241 <= 0;

e592:    b242 - b243 <= 0;

e593:    b242 - b244 <= 0;

e594:    b242 - b245 <= 0;

e595:    b243 - b244 <= 0;

e596:    b243 - b245 <= 0;

e597:    b244 - b245 <= 0;

e598:    b246 - b247 <= 0;

e599:    b246 - b248 <= 0;

e600:    b246 - b249 <= 0;

e601:    b247 - b248 <= 0;

e602:    b247 - b249 <= 0;

e603:    b248 - b249 <= 0;

e604:    b250 - b251 <= 0;

e605:    b250 - b252 <= 0;

e606:    b250 - b253 <= 0;

e607:    b251 - b252 <= 0;

e608:    b251 - b253 <= 0;

e609:    b252 - b253 <= 0;

e610:    b254 - b255 <= 0;

e611:    b254 - b256 <= 0;

e612:    b254 - b257 <= 0;

e613:    b255 - b256 <= 0;

e614:    b255 - b257 <= 0;

e615:    b256 - b257 <= 0;

e616:    b258 - b259 <= 0;

e617:    b258 - b260 <= 0;

e618:    b258 - b261 <= 0;

e619:    b259 - b260 <= 0;

e620:    b259 - b261 <= 0;

e621:    b260 - b261 <= 0;

e622:    b262 + b263 <= 1;

e623:    b262 + b264 <= 1;

e624:    b262 + b265 <= 1;

e625:    b262 + b263 <= 1;

e626:    b263 + b264 <= 1;

e627:    b263 + b265 <= 1;

e628:    b262 + b264 <= 1;

e629:    b263 + b264 <= 1;

e630:    b264 + b265 <= 1;

e631:    b262 + b265 <= 1;

e632:    b263 + b265 <= 1;

e633:    b264 + b265 <= 1;

e634:    b266 + b267 <= 1;

e635:    b266 + b268 <= 1;

e636:    b266 + b269 <= 1;

e637:    b266 + b267 <= 1;

e638:    b267 + b268 <= 1;

e639:    b267 + b269 <= 1;

e640:    b266 + b268 <= 1;

e641:    b267 + b268 <= 1;

e642:    b268 + b269 <= 1;

e643:    b266 + b269 <= 1;

e644:    b267 + b269 <= 1;

e645:    b268 + b269 <= 1;

e646:    b270 + b271 <= 1;

e647:    b270 + b272 <= 1;

e648:    b270 + b273 <= 1;

e649:    b270 + b271 <= 1;

e650:    b271 + b272 <= 1;

e651:    b271 + b273 <= 1;

e652:    b270 + b272 <= 1;

e653:    b271 + b272 <= 1;

e654:    b272 + b273 <= 1;

e655:    b270 + b273 <= 1;

e656:    b271 + b273 <= 1;

e657:    b272 + b273 <= 1;

e658:    b274 + b275 <= 1;

e659:    b274 + b276 <= 1;

e660:    b274 + b277 <= 1;

e661:    b274 + b275 <= 1;

e662:    b275 + b276 <= 1;

e663:    b275 + b277 <= 1;

e664:    b274 + b276 <= 1;

e665:    b275 + b276 <= 1;

e666:    b276 + b277 <= 1;

e667:    b274 + b277 <= 1;

e668:    b275 + b277 <= 1;

e669:    b276 + b277 <= 1;

e670:    b278 + b279 <= 1;

e671:    b278 + b280 <= 1;

e672:    b278 + b281 <= 1;

e673:    b278 + b279 <= 1;

e674:    b279 + b280 <= 1;

e675:    b279 + b281 <= 1;

e676:    b278 + b280 <= 1;

e677:    b279 + b280 <= 1;

e678:    b280 + b281 <= 1;

e679:    b278 + b281 <= 1;

e680:    b279 + b281 <= 1;

e681:    b280 + b281 <= 1;

e682:    b282 + b283 <= 1;

e683:    b282 + b284 <= 1;

e684:    b282 + b285 <= 1;

e685:    b282 + b283 <= 1;

e686:    b283 + b284 <= 1;

e687:    b283 + b285 <= 1;

e688:    b282 + b284 <= 1;

e689:    b283 + b284 <= 1;

e690:    b284 + b285 <= 1;

e691:    b282 + b285 <= 1;

e692:    b283 + b285 <= 1;

e693:    b284 + b285 <= 1;

e694:    b286 + b287 <= 1;

e695:    b286 + b288 <= 1;

e696:    b286 + b289 <= 1;

e697:    b286 + b287 <= 1;

e698:    b287 + b288 <= 1;

e699:    b287 + b289 <= 1;

e700:    b286 + b288 <= 1;

e701:    b287 + b288 <= 1;

e702:    b288 + b289 <= 1;

e703:    b286 + b289 <= 1;

e704:    b287 + b289 <= 1;

e705:    b288 + b289 <= 1;

e706:    b290 + b291 <= 1;

e707:    b290 + b292 <= 1;

e708:    b290 + b293 <= 1;

e709:    b290 + b291 <= 1;

e710:    b291 + b292 <= 1;

e711:    b291 + b293 <= 1;

e712:    b290 + b292 <= 1;

e713:    b291 + b292 <= 1;

e714:    b292 + b293 <= 1;

e715:    b290 + b293 <= 1;

e716:    b291 + b293 <= 1;

e717:    b292 + b293 <= 1;

e718:    b294 + b295 <= 1;

e719:    b294 + b296 <= 1;

e720:    b294 + b297 <= 1;

e721:    b294 + b295 <= 1;

e722:    b295 + b296 <= 1;

e723:    b295 + b297 <= 1;

e724:    b294 + b296 <= 1;

e725:    b295 + b296 <= 1;

e726:    b296 + b297 <= 1;

e727:    b294 + b297 <= 1;

e728:    b295 + b297 <= 1;

e729:    b296 + b297 <= 1;

e730:    b298 + b299 <= 1;

e731:    b298 + b300 <= 1;

e732:    b298 + b301 <= 1;

e733:    b298 + b299 <= 1;

e734:    b299 + b300 <= 1;

e735:    b299 + b301 <= 1;

e736:    b298 + b300 <= 1;

e737:    b299 + b300 <= 1;

e738:    b300 + b301 <= 1;

e739:    b298 + b301 <= 1;

e740:    b299 + b301 <= 1;

e741:    b300 + b301 <= 1;

e742:    b302 + b303 <= 1;

e743:    b302 + b304 <= 1;

e744:    b302 + b305 <= 1;

e745:    b302 + b303 <= 1;

e746:    b303 + b304 <= 1;

e747:    b303 + b305 <= 1;

e748:    b302 + b304 <= 1;

e749:    b303 + b304 <= 1;

e750:    b304 + b305 <= 1;

e751:    b302 + b305 <= 1;

e752:    b303 + b305 <= 1;

e753:    b304 + b305 <= 1;

e754:    b306 + b307 <= 1;

e755:    b306 + b308 <= 1;

e756:    b306 + b309 <= 1;

e757:    b306 + b307 <= 1;

e758:    b307 + b308 <= 1;

e759:    b307 + b309 <= 1;

e760:    b306 + b308 <= 1;

e761:    b307 + b308 <= 1;

e762:    b308 + b309 <= 1;

e763:    b306 + b309 <= 1;

e764:    b307 + b309 <= 1;

e765:    b308 + b309 <= 1;

e766:    b310 + b311 <= 1;

e767:    b310 + b312 <= 1;

e768:    b310 + b313 <= 1;

e769:    b310 + b311 <= 1;

e770:    b311 + b312 <= 1;

e771:    b311 + b313 <= 1;

e772:    b310 + b312 <= 1;

e773:    b311 + b312 <= 1;

e774:    b312 + b313 <= 1;

e775:    b310 + b313 <= 1;

e776:    b311 + b313 <= 1;

e777:    b312 + b313 <= 1;

e778:    b314 + b315 <= 1;

e779:    b314 + b316 <= 1;

e780:    b314 + b317 <= 1;

e781:    b314 + b315 <= 1;

e782:    b315 + b316 <= 1;

e783:    b315 + b317 <= 1;

e784:    b314 + b316 <= 1;

e785:    b315 + b316 <= 1;

e786:    b316 + b317 <= 1;

e787:    b314 + b317 <= 1;

e788:    b315 + b317 <= 1;

e789:    b316 + b317 <= 1;

e790:    b318 + b319 <= 1;

e791:    b318 + b320 <= 1;

e792:    b318 + b321 <= 1;

e793:    b318 + b319 <= 1;

e794:    b319 + b320 <= 1;

e795:    b319 + b321 <= 1;

e796:    b318 + b320 <= 1;

e797:    b319 + b320 <= 1;

e798:    b320 + b321 <= 1;

e799:    b318 + b321 <= 1;

e800:    b319 + b321 <= 1;

e801:    b320 + b321 <= 1;

e802:    b322 + b323 <= 1;

e803:    b322 + b324 <= 1;

e804:    b322 + b325 <= 1;

e805:    b322 + b323 <= 1;

e806:    b323 + b324 <= 1;

e807:    b323 + b325 <= 1;

e808:    b322 + b324 <= 1;

e809:    b323 + b324 <= 1;

e810:    b324 + b325 <= 1;

e811:    b322 + b325 <= 1;

e812:    b323 + b325 <= 1;

e813:    b324 + b325 <= 1;

e814:    b326 + b327 <= 1;

e815:    b326 + b328 <= 1;

e816:    b326 + b329 <= 1;

e817:    b326 + b327 <= 1;

e818:    b327 + b328 <= 1;

e819:    b327 + b329 <= 1;

e820:    b326 + b328 <= 1;

e821:    b327 + b328 <= 1;

e822:    b328 + b329 <= 1;

e823:    b326 + b329 <= 1;

e824:    b327 + b329 <= 1;

e825:    b328 + b329 <= 1;

e826:    b330 + b331 <= 1;

e827:    b330 + b332 <= 1;

e828:    b330 + b333 <= 1;

e829:    b330 + b331 <= 1;

e830:    b331 + b332 <= 1;

e831:    b331 + b333 <= 1;

e832:    b330 + b332 <= 1;

e833:    b331 + b332 <= 1;

e834:    b332 + b333 <= 1;

e835:    b330 + b333 <= 1;

e836:    b331 + b333 <= 1;

e837:    b332 + b333 <= 1;

e838:    b334 + b335 <= 1;

e839:    b334 + b336 <= 1;

e840:    b334 + b337 <= 1;

e841:    b334 + b335 <= 1;

e842:    b335 + b336 <= 1;

e843:    b335 + b337 <= 1;

e844:    b334 + b336 <= 1;

e845:    b335 + b336 <= 1;

e846:    b336 + b337 <= 1;

e847:    b334 + b337 <= 1;

e848:    b335 + b337 <= 1;

e849:    b336 + b337 <= 1;

e850:    b338 + b339 <= 1;

e851:    b338 + b340 <= 1;

e852:    b338 + b341 <= 1;

e853:    b338 + b339 <= 1;

e854:    b339 + b340 <= 1;

e855:    b339 + b341 <= 1;

e856:    b338 + b340 <= 1;

e857:    b339 + b340 <= 1;

e858:    b340 + b341 <= 1;

e859:    b338 + b341 <= 1;

e860:    b339 + b341 <= 1;

e861:    b340 + b341 <= 1;

e862:    b182 - b262 <= 0;

e863:  - b182 + b183 - b263 <= 0;

e864:  - b182 - b183 + b184 - b264 <= 0;

e865:  - b182 - b183 - b184 + b185 - b265 <= 0;

e866:    b186 - b266 <= 0;

e867:  - b186 + b187 - b267 <= 0;

e868:  - b186 - b187 + b188 - b268 <= 0;

e869:  - b186 - b187 - b188 + b189 - b269 <= 0;

e870:    b190 - b270 <= 0;

e871:  - b190 + b191 - b271 <= 0;

e872:  - b190 - b191 + b192 - b272 <= 0;

e873:  - b190 - b191 - b192 + b193 - b273 <= 0;

e874:    b194 - b274 <= 0;

e875:  - b194 + b195 - b275 <= 0;

e876:  - b194 - b195 + b196 - b276 <= 0;

e877:  - b194 - b195 - b196 + b197 - b277 <= 0;

e878:    b198 - b278 <= 0;

e879:  - b198 + b199 - b279 <= 0;

e880:  - b198 - b199 + b200 - b280 <= 0;

e881:  - b198 - b199 - b200 + b201 - b281 <= 0;

e882:    b202 - b282 <= 0;

e883:  - b202 + b203 - b283 <= 0;

e884:  - b202 - b203 + b204 - b284 <= 0;

e885:  - b202 - b203 - b204 + b205 - b285 <= 0;

e886:    b206 - b286 <= 0;

e887:  - b206 + b207 - b287 <= 0;

e888:  - b206 - b207 + b208 - b288 <= 0;

e889:  - b206 - b207 - b208 + b209 - b289 <= 0;

e890:    b210 - b290 <= 0;

e891:  - b210 + b211 - b291 <= 0;

e892:  - b210 - b211 + b212 - b292 <= 0;

e893:  - b210 - b211 - b212 + b213 - b293 <= 0;

e894:    b214 - b294 <= 0;

e895:  - b214 + b215 - b295 <= 0;

e896:  - b214 - b215 + b216 - b296 <= 0;

e897:  - b214 - b215 - b216 + b217 - b297 <= 0;

e898:    b218 - b298 <= 0;

e899:  - b218 + b219 - b299 <= 0;

e900:  - b218 - b219 + b220 - b300 <= 0;

e901:  - b218 - b219 - b220 + b221 - b301 <= 0;

e902:    b222 - b302 <= 0;

e903:  - b222 + b223 - b303 <= 0;

e904:  - b222 - b223 + b224 - b304 <= 0;

e905:  - b222 - b223 - b224 + b225 - b305 <= 0;

e906:    b226 - b306 <= 0;

e907:  - b226 + b227 - b307 <= 0;

e908:  - b226 - b227 + b228 - b308 <= 0;

e909:  - b226 - b227 - b228 + b229 - b309 <= 0;

e910:    b230 - b310 <= 0;

e911:  - b230 + b231 - b311 <= 0;

e912:  - b230 - b231 + b232 - b312 <= 0;

e913:  - b230 - b231 - b232 + b233 - b313 <= 0;

e914:    b234 - b314 <= 0;

e915:  - b234 + b235 - b315 <= 0;

e916:  - b234 - b235 + b236 - b316 <= 0;

e917:  - b234 - b235 - b236 + b237 - b317 <= 0;

e918:    b238 - b318 <= 0;

e919:  - b238 + b239 - b319 <= 0;

e920:  - b238 - b239 + b240 - b320 <= 0;

e921:  - b238 - b239 - b240 + b241 - b321 <= 0;

e922:    b242 - b322 <= 0;

e923:  - b242 + b243 - b323 <= 0;

e924:  - b242 - b243 + b244 - b324 <= 0;

e925:  - b242 - b243 - b244 + b245 - b325 <= 0;

e926:    b246 - b326 <= 0;

e927:  - b246 + b247 - b327 <= 0;

e928:  - b246 - b247 + b248 - b328 <= 0;

e929:  - b246 - b247 - b248 + b249 - b329 <= 0;

e930:    b250 - b330 <= 0;

e931:  - b250 + b251 - b331 <= 0;

e932:  - b250 - b251 + b252 - b332 <= 0;

e933:  - b250 - b251 - b252 + b253 - b333 <= 0;

e934:    b254 - b334 <= 0;

e935:  - b254 + b255 - b335 <= 0;

e936:  - b254 - b255 + b256 - b336 <= 0;

e937:  - b254 - b255 - b256 + b257 - b337 <= 0;

e938:    b258 - b338 <= 0;

e939:  - b258 + b259 - b339 <= 0;

e940:  - b258 - b259 + b260 - b340 <= 0;

e941:  - b258 - b259 - b260 + b261 - b341 <= 0;

e942:    b182 + b186 = 1;

e943:    b183 + b187 = 1;

e944:    b184 + b188 = 1;

e945:    b185 + b189 = 1;

e946:  - b190 + b202 + b206 >= 0;

e947:  - b191 + b203 + b207 >= 0;

e948:  - b192 + b204 + b208 >= 0;

e949:  - b193 + b205 + b209 >= 0;

e950:  - b202 + b226 >= 0;

e951:  - b203 + b227 >= 0;

e952:  - b204 + b228 >= 0;

e953:  - b205 + b229 >= 0;

e954:  - b206 + b230 >= 0;

e955:  - b207 + b231 >= 0;

e956:  - b208 + b232 >= 0;

e957:  - b209 + b233 >= 0;

e958:  - b194 + b210 >= 0;

e959:  - b195 + b211 >= 0;

e960:  - b196 + b212 >= 0;

e961:  - b197 + b213 >= 0;

e962:  - b210 + b234 + b238 >= 0;

e963:  - b211 + b235 + b239 >= 0;

e964:  - b212 + b236 + b240 >= 0;

e965:  - b213 + b237 + b241 >= 0;

e966:  - b198 + b214 + b218 + b222 >= 0;

e967:  - b199 + b215 + b219 + b223 >= 0;

e968:  - b200 + b216 + b220 + b224 >= 0;

e969:  - b201 + b217 + b221 + b225 >= 0;

e970:  - b214 + b238 >= 0;

e971:  - b215 + b239 >= 0;

e972:  - b216 + b240 >= 0;

e973:  - b217 + b241 >= 0;

e974:  - b218 + b242 + b246 >= 0;

e975:  - b219 + b243 + b247 >= 0;

e976:  - b220 + b244 + b248 >= 0;

e977:  - b221 + b245 + b249 >= 0;

e978:  - b222 + b250 + b254 + b258 >= 0;

e979:  - b223 + b251 + b255 + b259 >= 0;

e980:  - b224 + b252 + b256 + b260 >= 0;

e981:  - b225 + b253 + b257 + b261 >= 0;

e982:    b182 + b186 - b190 >= 0;

e983:    b183 + b187 - b191 >= 0;

e984:    b184 + b188 - b192 >= 0;

e985:    b185 + b189 - b193 >= 0;

e986:    b182 + b186 - b194 >= 0;

e987:    b183 + b187 - b195 >= 0;

e988:    b184 + b188 - b196 >= 0;

e989:    b185 + b189 - b197 >= 0;

e990:    b182 + b186 - b198 >= 0;

e991:    b183 + b187 - b199 >= 0;

e992:    b184 + b188 - b200 >= 0;

e993:    b185 + b189 - b201 >= 0;

e994:    b190 - b202 >= 0;

e995:    b191 - b203 >= 0;

e996:    b192 - b204 >= 0;

e997:    b193 - b205 >= 0;

e998:    b190 - b206 >= 0;

e999:    b191 - b207 >= 0;

e1000:    b192 - b208 >= 0;

e1001:    b193 - b209 >= 0;

e1002:    b194 - b210 >= 0;

e1003:    b195 - b211 >= 0;

e1004:    b196 - b212 >= 0;

e1005:    b197 - b213 >= 0;

e1006:    b198 - b214 >= 0;

e1007:    b199 - b215 >= 0;

e1008:    b200 - b216 >= 0;

e1009:    b201 - b217 >= 0;

e1010:    b198 - b218 >= 0;

e1011:    b199 - b219 >= 0;

e1012:    b200 - b220 >= 0;

e1013:    b201 - b221 >= 0;

e1014:    b198 - b222 >= 0;

e1015:    b199 - b223 >= 0;

e1016:    b200 - b224 >= 0;

e1017:    b201 - b225 >= 0;

e1018:    b202 - b226 >= 0;

e1019:    b203 - b227 >= 0;

e1020:    b204 - b228 >= 0;

e1021:    b205 - b229 >= 0;

e1022:    b206 - b230 >= 0;

e1023:    b207 - b231 >= 0;

e1024:    b208 - b232 >= 0;

e1025:    b209 - b233 >= 0;

e1026:    b210 - b234 >= 0;

e1027:    b211 - b235 >= 0;

e1028:    b212 - b236 >= 0;

e1029:    b213 - b237 >= 0;

e1030:    b210 - b238 >= 0;

e1031:    b211 - b239 >= 0;

e1032:    b212 - b240 >= 0;

e1033:    b213 - b241 >= 0;

e1034:    b218 - b242 >= 0;

e1035:    b219 - b243 >= 0;

e1036:    b220 - b244 >= 0;

e1037:    b221 - b245 >= 0;

e1038:    b218 - b246 >= 0;

e1039:    b219 - b247 >= 0;

e1040:    b220 - b248 >= 0;

e1041:    b221 - b249 >= 0;

e1042:    b222 - b250 >= 0;

e1043:    b223 - b251 >= 0;

e1044:    b224 - b252 >= 0;

e1045:    b225 - b253 >= 0;

e1046:    b222 - b254 >= 0;

e1047:    b223 - b255 >= 0;

e1048:    b224 - b256 >= 0;

e1049:    b225 - b257 >= 0;

e1050:    b222 - b258 >= 0;

e1051:    b223 - b259 >= 0;

e1052:    b224 - b260 >= 0;

e1053:    b225 - b261 >= 0;