#  MINLP written by GAMS Convert at 01/12/18 13:30:04
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        894       33      370      491        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        361       73      216       72        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       4918     4160      758        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 i26 integer := 2, >= 0, <= 4;
var i27 integer := 2, >= 0, <= 4;
var i28 integer := 2, >= 0, <= 4;
var i29 integer := 2, >= 0, <= 4;
var i30 integer := 2, >= 0, <= 4;
var i31 integer := 2, >= 0, <= 4;
var i32 integer := 2, >= 0, <= 4;
var i33 integer := 2, >= 0, <= 4;
var i34 integer := 2, >= 0, <= 4;
var i35 integer := 2, >= 0, <= 4;
var i36 integer := 2, >= 0, <= 4;
var i37 integer := 2, >= 0, <= 4;
var i38 integer := 2, >= 0, <= 4;
var i39 integer := 2, >= 0, <= 4;
var i40 integer := 2, >= 0, <= 4;
var i41 integer := 2, >= 0, <= 4;
var i42 integer := 2, >= 0, <= 4;
var i43 integer := 2, >= 0, <= 4;
var i44 integer := 2, >= 0, <= 4;
var i45 integer := 2, >= 0, <= 4;
var i46 integer := 2, >= 0, <= 4;
var i47 integer := 2, >= 0, <= 4;
var i48 integer := 2, >= 0, <= 4;
var i49 integer := 2, >= 0, <= 4;
var i50 integer := 2, >= 0, <= 4;
var i51 integer := 2, >= 0, <= 4;
var i52 integer := 2, >= 0, <= 4;
var i53 integer := 2, >= 0, <= 4;
var i54 integer := 2, >= 0, <= 4;
var i55 integer := 2, >= 0, <= 4;
var i56 integer := 2, >= 0, <= 4;
var i57 integer := 2, >= 0, <= 4;
var i58 integer := 2, >= 0, <= 4;
var i59 integer := 2, >= 0, <= 4;
var i60 integer := 2, >= 0, <= 4;
var i61 integer := 2, >= 0, <= 4;
var i62 integer := 2, >= 0, <= 4;
var i63 integer := 2, >= 0, <= 4;
var i64 integer := 2, >= 0, <= 4;
var i65 integer := 2, >= 0, <= 4;
var i66 integer := 2, >= 0, <= 4;
var i67 integer := 2, >= 0, <= 4;
var i68 integer := 2, >= 0, <= 4;
var i69 integer := 2, >= 0, <= 4;
var i70 integer := 2, >= 0, <= 4;
var i71 integer := 2, >= 0, <= 4;
var i72 integer := 2, >= 0, <= 4;
var i73 integer := 2, >= 0, <= 4;
var i74 integer := 2, >= 0, <= 4;
var i75 integer := 2, >= 0, <= 4;
var i76 integer := 2, >= 0, <= 4;
var i77 integer := 2, >= 0, <= 4;
var i78 integer := 2, >= 0, <= 4;
var i79 integer := 2, >= 0, <= 4;
var i80 integer := 2, >= 0, <= 4;
var i81 integer := 2, >= 0, <= 4;
var i82 integer := 2, >= 0, <= 4;
var i83 integer := 2, >= 0, <= 4;
var i84 integer := 2, >= 0, <= 4;
var i85 integer := 2, >= 0, <= 4;
var i86 integer := 2, >= 0, <= 4;
var i87 integer := 2, >= 0, <= 4;
var i88 integer := 2, >= 0, <= 4;
var i89 integer := 2, >= 0, <= 4;
var i90 integer := 2, >= 0, <= 4;
var i91 integer := 2, >= 0, <= 4;
var i92 integer := 2, >= 0, <= 4;
var i93 integer := 2, >= 0, <= 4;
var i94 integer := 2, >= 0, <= 4;
var i95 integer := 2, >= 0, <= 4;
var i96 integer := 2, >= 0, <= 4;
var i97 integer := 2, >= 0, <= 4;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
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 x242 >= 0, <= 1;
var x243 >= 0, <= 1;
var x244 >= 0, <= 1;
var x245 >= 0, <= 1;
var x246 >= 0, <= 1;
var x247 >= 0, <= 1;
var x248 >= 0, <= 1;
var x249 >= 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 x322 := 2000, >= 0;
var x323 := 2000, >= 0;
var x324 := 2000, >= 0;
var x325 := 2000, >= 0;
var x326 := 2000, >= 0;
var x327 := 2000, >= 0;
var x328 := 2000, >= 0;
var x329 := 2000, >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;
var x343 >= 0;
var x344 >= 0;
var x345 >= 0;
var x346 >= 0;
var x347 >= 0;
var x348 >= 0;
var x349 >= 0;
var x350 >= 0;
var x351 >= 0;
var x352 >= 0;
var x353 >= 0;
var x354 >= 0;
var x355 >= 0;
var x356 >= 0;
var x357 >= 0;
var x358 >= 0;
var x359 >= 0;
var x360 >= 0;
var x361 >= 0;

minimize obj:    x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13
     + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25
     + 10*x242 + 10*x243 + 10*x244 + 10*x245 + 10*x246 + 10*x247 + 10*x248
     + 10*x249;

subject to

e2:    i26 + i34 + i42 + i50 + i58 + i66 + i74 + i82 + i90 <= 4;

e3:    i27 + i35 + i43 + i51 + i59 + i67 + i75 + i83 + i91 <= 4;

e4:    i28 + i36 + i44 + i52 + i60 + i68 + i76 + i84 + i92 <= 4;

e5:    i29 + i37 + i45 + i53 + i61 + i69 + i77 + i85 + i93 <= 4;

e6:    i30 + i38 + i46 + i54 + i62 + i70 + i78 + i86 + i94 <= 4;

e7:    i31 + i39 + i47 + i55 + i63 + i71 + i79 + i87 + i95 <= 4;

e8:    i32 + i40 + i48 + i56 + i64 + i72 + i80 + i88 + i96 <= 4;

e9:    i33 + i41 + i49 + i57 + i65 + i73 + i81 + i89 + i97 <= 4;

e10:    x2 - 0.1287*x330 + 0.1287*x354 >= 0;

e11:    x3 - 0.19305*x331 + 0.19305*x354 >= 0;

e12:    x4 - 0.1287*x332 + 0.1287*x354 >= 0;

e13:    x5 - 0.1287*x333 + 0.1287*x355 >= 0;

e14:    x6 - 0.19305*x334 + 0.19305*x355 >= 0;

e15:    x7 - 0.1287*x335 + 0.1287*x355 >= 0;

e16:    x8 - 0.1287*x336 + 0.1287*x356 >= 0;

e17:    x9 - 0.19305*x337 + 0.19305*x356 >= 0;

e18:    x10 - 0.1287*x338 + 0.1287*x356 >= 0;

e19:    x11 - 0.1725*x339 + 0.1725*x357 >= 0;

e20:    x12 - 0.22815*x340 + 0.22815*x357 >= 0;

e21:    x13 - 0.1521*x341 + 0.1521*x357 >= 0;

e22:    x14 - 0.1725*x342 + 0.1725*x358 >= 0;

e23:    x15 - 0.22815*x343 + 0.22815*x358 >= 0;

e24:    x16 - 0.1521*x344 + 0.1521*x358 >= 0;

e25:    x17 - 0.1725*x345 + 0.1725*x359 >= 0;

e26:    x18 - 0.22815*x346 + 0.22815*x359 >= 0;

e27:    x19 - 0.1521*x347 + 0.1521*x359 >= 0;

e28:    x20 - 0.1521*x348 + 0.1521*x360 >= 0;

e29:    x21 - 0.19305*x349 + 0.19305*x360 >= 0;

e30:    x22 - 0.1521*x350 + 0.1521*x360 >= 0;

e31:    x23 - 0.1521*x351 + 0.1521*x361 >= 0;

e32:    x24 - 0.19305*x352 + 0.19305*x361 >= 0;

e33:    x25 - 0.1521*x353 + 0.1521*x361 >= 0;

e34:    b250 + b258 + b266 + b274 + b282 + b290 + b298 + b306 + b314 <= 2;

e35:    b251 + b259 + b267 + b275 + b283 + b291 + b299 + b307 + b315 <= 2;

e36:    b252 + b260 + b268 + b276 + b284 + b292 + b300 + b308 + b316 <= 2;

e37:    b253 + b261 + b269 + b277 + b285 + b293 + b301 + b309 + b317 <= 2;

e38:    b254 + b262 + b270 + b278 + b286 + b294 + b302 + b310 + b318 <= 2;

e39:    b255 + b263 + b271 + b279 + b287 + b295 + b303 + b311 + b319 <= 2;

e40:    b256 + b264 + b272 + b280 + b288 + b296 + b304 + b312 + b320 <= 2;

e41:    b257 + b265 + b273 + b281 + b289 + b297 + b305 + b313 + b321 <= 2;

e42:    b250 + b266 <= 1;

e43:    b250 + b274 <= 1;

e44:    b250 + b282 <= 1;

e45:    b250 + b306 <= 1;

e46:    b250 + b314 <= 1;

e47:    b258 + b266 <= 1;

e48:    b258 + b274 <= 1;

e49:    b258 + b282 <= 1;

e50:    b258 + b306 <= 1;

e51:    b258 + b314 <= 1;

e52:    b266 + b282 <= 1;

e53:    b266 + b290 <= 1;

e54:    b266 + b298 <= 1;

e55:    b266 + b314 <= 1;

e56:    b274 + b282 <= 1;

e57:    b274 + b290 <= 1;

e58:    b274 + b298 <= 1;

e59:    b274 + b314 <= 1;

e60:    b282 + b290 <= 1;

e61:    b282 + b298 <= 1;

e62:    b282 + b306 <= 1;

e63:    b282 + b314 <= 1;

e64:    b290 + b306 <= 1;

e65:    b290 + b314 <= 1;

e66:    b298 + b306 <= 1;

e67:    b298 + b314 <= 1;

e68:    b306 + b314 <= 1;

e69:    b251 + b267 <= 1;

e70:    b251 + b275 <= 1;

e71:    b251 + b283 <= 1;

e72:    b251 + b307 <= 1;

e73:    b251 + b315 <= 1;

e74:    b259 + b267 <= 1;

e75:    b259 + b275 <= 1;

e76:    b259 + b283 <= 1;

e77:    b259 + b307 <= 1;

e78:    b259 + b315 <= 1;

e79:    b267 + b283 <= 1;

e80:    b267 + b291 <= 1;

e81:    b267 + b299 <= 1;

e82:    b267 + b315 <= 1;

e83:    b275 + b283 <= 1;

e84:    b275 + b291 <= 1;

e85:    b275 + b299 <= 1;

e86:    b275 + b315 <= 1;

e87:    b283 + b291 <= 1;

e88:    b283 + b299 <= 1;

e89:    b283 + b307 <= 1;

e90:    b283 + b315 <= 1;

e91:    b291 + b307 <= 1;

e92:    b291 + b315 <= 1;

e93:    b299 + b307 <= 1;

e94:    b299 + b315 <= 1;

e95:    b307 + b315 <= 1;

e96:    b252 + b268 <= 1;

e97:    b252 + b276 <= 1;

e98:    b252 + b284 <= 1;

e99:    b252 + b308 <= 1;

e100:    b252 + b316 <= 1;

e101:    b260 + b268 <= 1;

e102:    b260 + b276 <= 1;

e103:    b260 + b284 <= 1;

e104:    b260 + b308 <= 1;

e105:    b260 + b316 <= 1;

e106:    b268 + b284 <= 1;

e107:    b268 + b292 <= 1;

e108:    b268 + b300 <= 1;

e109:    b268 + b316 <= 1;

e110:    b276 + b284 <= 1;

e111:    b276 + b292 <= 1;

e112:    b276 + b300 <= 1;

e113:    b276 + b316 <= 1;

e114:    b284 + b292 <= 1;

e115:    b284 + b300 <= 1;

e116:    b284 + b308 <= 1;

e117:    b284 + b316 <= 1;

e118:    b292 + b308 <= 1;

e119:    b292 + b316 <= 1;

e120:    b300 + b308 <= 1;

e121:    b300 + b316 <= 1;

e122:    b308 + b316 <= 1;

e123:    b253 + b269 <= 1;

e124:    b253 + b277 <= 1;

e125:    b253 + b285 <= 1;

e126:    b253 + b309 <= 1;

e127:    b253 + b317 <= 1;

e128:    b261 + b269 <= 1;

e129:    b261 + b277 <= 1;

e130:    b261 + b285 <= 1;

e131:    b261 + b309 <= 1;

e132:    b261 + b317 <= 1;

e133:    b269 + b285 <= 1;

e134:    b269 + b293 <= 1;

e135:    b269 + b301 <= 1;

e136:    b269 + b317 <= 1;

e137:    b277 + b285 <= 1;

e138:    b277 + b293 <= 1;

e139:    b277 + b301 <= 1;

e140:    b277 + b317 <= 1;

e141:    b285 + b293 <= 1;

e142:    b285 + b301 <= 1;

e143:    b285 + b309 <= 1;

e144:    b285 + b317 <= 1;

e145:    b293 + b309 <= 1;

e146:    b293 + b317 <= 1;

e147:    b301 + b309 <= 1;

e148:    b301 + b317 <= 1;

e149:    b309 + b317 <= 1;

e150:    b254 + b270 <= 1;

e151:    b254 + b278 <= 1;

e152:    b254 + b286 <= 1;

e153:    b254 + b310 <= 1;

e154:    b254 + b318 <= 1;

e155:    b262 + b270 <= 1;

e156:    b262 + b278 <= 1;

e157:    b262 + b286 <= 1;

e158:    b262 + b310 <= 1;

e159:    b262 + b318 <= 1;

e160:    b270 + b286 <= 1;

e161:    b270 + b294 <= 1;

e162:    b270 + b302 <= 1;

e163:    b270 + b318 <= 1;

e164:    b278 + b286 <= 1;

e165:    b278 + b294 <= 1;

e166:    b278 + b302 <= 1;

e167:    b278 + b318 <= 1;

e168:    b286 + b294 <= 1;

e169:    b286 + b302 <= 1;

e170:    b286 + b310 <= 1;

e171:    b286 + b318 <= 1;

e172:    b294 + b310 <= 1;

e173:    b294 + b318 <= 1;

e174:    b302 + b310 <= 1;

e175:    b302 + b318 <= 1;

e176:    b310 + b318 <= 1;

e177:    b255 + b271 <= 1;

e178:    b255 + b279 <= 1;

e179:    b255 + b287 <= 1;

e180:    b255 + b311 <= 1;

e181:    b255 + b319 <= 1;

e182:    b263 + b271 <= 1;

e183:    b263 + b279 <= 1;

e184:    b263 + b287 <= 1;

e185:    b263 + b311 <= 1;

e186:    b263 + b319 <= 1;

e187:    b271 + b287 <= 1;

e188:    b271 + b295 <= 1;

e189:    b271 + b303 <= 1;

e190:    b271 + b319 <= 1;

e191:    b279 + b287 <= 1;

e192:    b279 + b295 <= 1;

e193:    b279 + b303 <= 1;

e194:    b279 + b319 <= 1;

e195:    b287 + b295 <= 1;

e196:    b287 + b303 <= 1;

e197:    b287 + b311 <= 1;

e198:    b287 + b319 <= 1;

e199:    b295 + b311 <= 1;

e200:    b295 + b319 <= 1;

e201:    b303 + b311 <= 1;

e202:    b303 + b319 <= 1;

e203:    b311 + b319 <= 1;

e204:    b256 + b272 <= 1;

e205:    b256 + b280 <= 1;

e206:    b256 + b288 <= 1;

e207:    b256 + b312 <= 1;

e208:    b256 + b320 <= 1;

e209:    b264 + b272 <= 1;

e210:    b264 + b280 <= 1;

e211:    b264 + b288 <= 1;

e212:    b264 + b312 <= 1;

e213:    b264 + b320 <= 1;

e214:    b272 + b288 <= 1;

e215:    b272 + b296 <= 1;

e216:    b272 + b304 <= 1;

e217:    b272 + b320 <= 1;

e218:    b280 + b288 <= 1;

e219:    b280 + b296 <= 1;

e220:    b280 + b304 <= 1;

e221:    b280 + b320 <= 1;

e222:    b288 + b296 <= 1;

e223:    b288 + b304 <= 1;

e224:    b288 + b312 <= 1;

e225:    b288 + b320 <= 1;

e226:    b296 + b312 <= 1;

e227:    b296 + b320 <= 1;

e228:    b304 + b312 <= 1;

e229:    b304 + b320 <= 1;

e230:    b312 + b320 <= 1;

e231:    b257 + b273 <= 1;

e232:    b257 + b281 <= 1;

e233:    b257 + b289 <= 1;

e234:    b257 + b313 <= 1;

e235:    b257 + b321 <= 1;

e236:    b265 + b273 <= 1;

e237:    b265 + b281 <= 1;

e238:    b265 + b289 <= 1;

e239:    b265 + b313 <= 1;

e240:    b265 + b321 <= 1;

e241:    b273 + b289 <= 1;

e242:    b273 + b297 <= 1;

e243:    b273 + b305 <= 1;

e244:    b273 + b321 <= 1;

e245:    b281 + b289 <= 1;

e246:    b281 + b297 <= 1;

e247:    b281 + b305 <= 1;

e248:    b281 + b321 <= 1;

e249:    b289 + b297 <= 1;

e250:    b289 + b305 <= 1;

e251:    b289 + b313 <= 1;

e252:    b289 + b321 <= 1;

e253:    b297 + b313 <= 1;

e254:    b297 + b321 <= 1;

e255:    b305 + b313 <= 1;

e256:    b305 + b321 <= 1;

e257:    b313 + b321 <= 1;

e258:    b266 + b274 + b282 + b306 + b314 <= 0;

e259:    b267 + b275 + b283 + b307 + b315 <= 0;

e260:    b268 + b276 + b284 + b308 + b316 <= 0;

e261:    b253 + b261 + b285 + b293 + b301 + b317 <= 0;

e262:    b254 + b262 + b286 + b294 + b302 + b318 <= 0;

e263:    b255 + b263 + b287 + b295 + b303 + b319 <= 0;

e264:    b256 + b264 + b272 + b280 + b296 + b304 + b312 <= 0;

e265:    b257 + b265 + b273 + b281 + b297 + b305 + b313 <= 0;

e266:  - 330*i26 - 260*i34 - 480*i42 - 440*i50 - 711*i58 - 350*i66 - 300*i74
       - 450*i82 - 450*i90 + 1000*b98 + 1100*b122 + 1200*b146 + 1300*b170
       + 1400*b194 + 1500*b218 - 200*x242 <= 0;

e267:  - 330*i26 - 260*i34 - 480*i42 - 440*i50 - 711*i58 - 350*i66 - 300*i74
       - 450*i82 - 450*i90 + 1000*b106 + 1100*b130 + 1200*b154 + 1300*b178
       + 1400*b202 + 1500*b226 - 200*x242 <= 0;

e268:  - 330*i26 - 260*i34 - 480*i42 - 440*i50 - 711*i58 - 350*i66 - 300*i74
       - 450*i82 - 450*i90 + 1000*b114 + 1100*b138 + 1200*b162 + 1300*b186
       + 1400*b210 + 1500*b234 - 200*x242 <= 0;

e269:  - 330*i27 - 260*i35 - 480*i43 - 440*i51 - 711*i59 - 350*i67 - 300*i75
       - 450*i83 - 450*i91 + 1000*b99 + 1100*b123 + 1200*b147 + 1300*b171
       + 1400*b195 + 1500*b219 - 200*x243 <= 0;

e270:  - 330*i27 - 260*i35 - 480*i43 - 440*i51 - 711*i59 - 350*i67 - 300*i75
       - 450*i83 - 450*i91 + 1000*b107 + 1100*b131 + 1200*b155 + 1300*b179
       + 1400*b203 + 1500*b227 - 200*x243 <= 0;

e271:  - 330*i27 - 260*i35 - 480*i43 - 440*i51 - 711*i59 - 350*i67 - 300*i75
       - 450*i83 - 450*i91 + 1000*b115 + 1100*b139 + 1200*b163 + 1300*b187
       + 1400*b211 + 1500*b235 - 200*x243 <= 0;

e272:  - 330*i28 - 260*i36 - 480*i44 - 440*i52 - 711*i60 - 350*i68 - 300*i76
       - 450*i84 - 450*i92 + 1000*b100 + 1100*b124 + 1200*b148 + 1300*b172
       + 1400*b196 + 1500*b220 - 200*x244 <= 0;

e273:  - 330*i28 - 260*i36 - 480*i44 - 440*i52 - 711*i60 - 350*i68 - 300*i76
       - 450*i84 - 450*i92 + 1000*b108 + 1100*b132 + 1200*b156 + 1300*b180
       + 1400*b204 + 1500*b228 - 200*x244 <= 0;

e274:  - 330*i28 - 260*i36 - 480*i44 - 440*i52 - 711*i60 - 350*i68 - 300*i76
       - 450*i84 - 450*i92 + 1000*b116 + 1100*b140 + 1200*b164 + 1300*b188
       + 1400*b212 + 1500*b236 - 200*x244 <= 0;

e275:  - 330*i29 - 260*i37 - 480*i45 - 440*i53 - 711*i61 - 350*i69 - 300*i77
       - 450*i85 - 450*i93 + 1000*b101 + 1100*b125 + 1200*b149 + 1300*b173
       + 1400*b197 + 1500*b221 - 200*x245 <= 0;

e276:  - 330*i29 - 260*i37 - 480*i45 - 440*i53 - 711*i61 - 350*i69 - 300*i77
       - 450*i85 - 450*i93 + 1000*b109 + 1100*b133 + 1200*b157 + 1300*b181
       + 1400*b205 + 1500*b229 - 200*x245 <= 0;

e277:  - 330*i29 - 260*i37 - 480*i45 - 440*i53 - 711*i61 - 350*i69 - 300*i77
       - 450*i85 - 450*i93 + 1000*b117 + 1100*b141 + 1200*b165 + 1300*b189
       + 1400*b213 + 1500*b237 - 200*x245 <= 0;

e278:  - 330*i30 - 260*i38 - 480*i46 - 440*i54 - 711*i62 - 350*i70 - 300*i78
       - 450*i86 - 450*i94 + 1000*b102 + 1100*b126 + 1200*b150 + 1300*b174
       + 1400*b198 + 1500*b222 - 200*x246 <= 0;

e279:  - 330*i30 - 260*i38 - 480*i46 - 440*i54 - 711*i62 - 350*i70 - 300*i78
       - 450*i86 - 450*i94 + 1000*b110 + 1100*b134 + 1200*b158 + 1300*b182
       + 1400*b206 + 1500*b230 - 200*x246 <= 0;

e280:  - 330*i30 - 260*i38 - 480*i46 - 440*i54 - 711*i62 - 350*i70 - 300*i78
       - 450*i86 - 450*i94 + 1000*b118 + 1100*b142 + 1200*b166 + 1300*b190
       + 1400*b214 + 1500*b238 - 200*x246 <= 0;

e281:  - 330*i31 - 260*i39 - 480*i47 - 440*i55 - 711*i63 - 350*i71 - 300*i79
       - 450*i87 - 450*i95 + 1000*b103 + 1100*b127 + 1200*b151 + 1300*b175
       + 1400*b199 + 1500*b223 - 200*x247 <= 0;

e282:  - 330*i31 - 260*i39 - 480*i47 - 440*i55 - 711*i63 - 350*i71 - 300*i79
       - 450*i87 - 450*i95 + 1000*b111 + 1100*b135 + 1200*b159 + 1300*b183
       + 1400*b207 + 1500*b231 - 200*x247 <= 0;

e283:  - 330*i31 - 260*i39 - 480*i47 - 440*i55 - 711*i63 - 350*i71 - 300*i79
       - 450*i87 - 450*i95 + 1000*b119 + 1100*b143 + 1200*b167 + 1300*b191
       + 1400*b215 + 1500*b239 - 200*x247 <= 0;

e284:  - 330*i32 - 260*i40 - 480*i48 - 440*i56 - 711*i64 - 350*i72 - 300*i80
       - 450*i88 - 450*i96 + 1000*b104 + 1100*b128 + 1200*b152 + 1300*b176
       + 1400*b200 + 1500*b224 - 200*x248 <= 0;

e285:  - 330*i32 - 260*i40 - 480*i48 - 440*i56 - 711*i64 - 350*i72 - 300*i80
       - 450*i88 - 450*i96 + 1000*b112 + 1100*b136 + 1200*b160 + 1300*b184
       + 1400*b208 + 1500*b232 - 200*x248 <= 0;

e286:  - 330*i32 - 260*i40 - 480*i48 - 440*i56 - 711*i64 - 350*i72 - 300*i80
       - 450*i88 - 450*i96 + 1000*b120 + 1100*b144 + 1200*b168 + 1300*b192
       + 1400*b216 + 1500*b240 - 200*x248 <= 0;

e287:  - 330*i33 - 260*i41 - 480*i49 - 440*i57 - 711*i65 - 350*i73 - 300*i81
       - 450*i89 - 450*i97 + 1000*b105 + 1100*b129 + 1200*b153 + 1300*b177
       + 1400*b201 + 1500*b225 - 200*x249 <= 0;

e288:  - 330*i33 - 260*i41 - 480*i49 - 440*i57 - 711*i65 - 350*i73 - 300*i81
       - 450*i89 - 450*i97 + 1000*b113 + 1100*b137 + 1200*b161 + 1300*b185
       + 1400*b209 + 1500*b233 - 200*x249 <= 0;

e289:  - 330*i33 - 260*i41 - 480*i49 - 440*i57 - 711*i65 - 350*i73 - 300*i81
       - 450*i89 - 450*i97 + 1000*b121 + 1100*b145 + 1200*b169 + 1300*b193
       + 1400*b217 + 1500*b241 - 200*x249 <= 0;

e290:  - 330*i26 - 260*i34 - 480*i42 - 440*i50 - 711*i58 - 350*i66 - 300*i74
       - 450*i82 - 450*i90 + 1000*b98 + 1100*b122 + 1200*b146 + 1300*b170
       + 1400*b194 + 1500*b218 - 20*x242 >= 0;

e291:  - 330*i26 - 260*i34 - 480*i42 - 440*i50 - 711*i58 - 350*i66 - 300*i74
       - 450*i82 - 450*i90 + 1000*b106 + 1100*b130 + 1200*b154 + 1300*b178
       + 1400*b202 + 1500*b226 - 20*x242 >= 0;

e292:  - 330*i26 - 260*i34 - 480*i42 - 440*i50 - 711*i58 - 350*i66 - 300*i74
       - 450*i82 - 450*i90 + 1000*b114 + 1100*b138 + 1200*b162 + 1300*b186
       + 1400*b210 + 1500*b234 - 20*x242 >= 0;

e293:  - 330*i27 - 260*i35 - 480*i43 - 440*i51 - 711*i59 - 350*i67 - 300*i75
       - 450*i83 - 450*i91 + 1000*b99 + 1100*b123 + 1200*b147 + 1300*b171
       + 1400*b195 + 1500*b219 - 20*x243 >= 0;

e294:  - 330*i27 - 260*i35 - 480*i43 - 440*i51 - 711*i59 - 350*i67 - 300*i75
       - 450*i83 - 450*i91 + 1000*b107 + 1100*b131 + 1200*b155 + 1300*b179
       + 1400*b203 + 1500*b227 - 20*x243 >= 0;

e295:  - 330*i27 - 260*i35 - 480*i43 - 440*i51 - 711*i59 - 350*i67 - 300*i75
       - 450*i83 - 450*i91 + 1000*b115 + 1100*b139 + 1200*b163 + 1300*b187
       + 1400*b211 + 1500*b235 - 20*x243 >= 0;

e296:  - 330*i28 - 260*i36 - 480*i44 - 440*i52 - 711*i60 - 350*i68 - 300*i76
       - 450*i84 - 450*i92 + 1000*b100 + 1100*b124 + 1200*b148 + 1300*b172
       + 1400*b196 + 1500*b220 - 20*x244 >= 0;

e297:  - 330*i28 - 260*i36 - 480*i44 - 440*i52 - 711*i60 - 350*i68 - 300*i76
       - 450*i84 - 450*i92 + 1000*b108 + 1100*b132 + 1200*b156 + 1300*b180
       + 1400*b204 + 1500*b228 - 20*x244 >= 0;

e298:  - 330*i28 - 260*i36 - 480*i44 - 440*i52 - 711*i60 - 350*i68 - 300*i76
       - 450*i84 - 450*i92 + 1000*b116 + 1100*b140 + 1200*b164 + 1300*b188
       + 1400*b212 + 1500*b236 - 20*x244 >= 0;

e299:  - 330*i29 - 260*i37 - 480*i45 - 440*i53 - 711*i61 - 350*i69 - 300*i77
       - 450*i85 - 450*i93 + 1000*b101 + 1100*b125 + 1200*b149 + 1300*b173
       + 1400*b197 + 1500*b221 - 20*x245 >= 0;

e300:  - 330*i29 - 260*i37 - 480*i45 - 440*i53 - 711*i61 - 350*i69 - 300*i77
       - 450*i85 - 450*i93 + 1000*b109 + 1100*b133 + 1200*b157 + 1300*b181
       + 1400*b205 + 1500*b229 - 20*x245 >= 0;

e301:  - 330*i29 - 260*i37 - 480*i45 - 440*i53 - 711*i61 - 350*i69 - 300*i77
       - 450*i85 - 450*i93 + 1000*b117 + 1100*b141 + 1200*b165 + 1300*b189
       + 1400*b213 + 1500*b237 - 20*x245 >= 0;

e302:  - 330*i30 - 260*i38 - 480*i46 - 440*i54 - 711*i62 - 350*i70 - 300*i78
       - 450*i86 - 450*i94 + 1000*b102 + 1100*b126 + 1200*b150 + 1300*b174
       + 1400*b198 + 1500*b222 - 20*x246 >= 0;

e303:  - 330*i30 - 260*i38 - 480*i46 - 440*i54 - 711*i62 - 350*i70 - 300*i78
       - 450*i86 - 450*i94 + 1000*b110 + 1100*b134 + 1200*b158 + 1300*b182
       + 1400*b206 + 1500*b230 - 20*x246 >= 0;

e304:  - 330*i30 - 260*i38 - 480*i46 - 440*i54 - 711*i62 - 350*i70 - 300*i78
       - 450*i86 - 450*i94 + 1000*b118 + 1100*b142 + 1200*b166 + 1300*b190
       + 1400*b214 + 1500*b238 - 20*x246 >= 0;

e305:  - 330*i31 - 260*i39 - 480*i47 - 440*i55 - 711*i63 - 350*i71 - 300*i79
       - 450*i87 - 450*i95 + 1000*b103 + 1100*b127 + 1200*b151 + 1300*b175
       + 1400*b199 + 1500*b223 - 20*x247 >= 0;

e306:  - 330*i31 - 260*i39 - 480*i47 - 440*i55 - 711*i63 - 350*i71 - 300*i79
       - 450*i87 - 450*i95 + 1000*b111 + 1100*b135 + 1200*b159 + 1300*b183
       + 1400*b207 + 1500*b231 - 20*x247 >= 0;

e307:  - 330*i31 - 260*i39 - 480*i47 - 440*i55 - 711*i63 - 350*i71 - 300*i79
       - 450*i87 - 450*i95 + 1000*b119 + 1100*b143 + 1200*b167 + 1300*b191
       + 1400*b215 + 1500*b239 - 20*x247 >= 0;

e308:  - 330*i32 - 260*i40 - 480*i48 - 440*i56 - 711*i64 - 350*i72 - 300*i80
       - 450*i88 - 450*i96 + 1000*b104 + 1100*b128 + 1200*b152 + 1300*b176
       + 1400*b200 + 1500*b224 - 20*x248 >= 0;

e309:  - 330*i32 - 260*i40 - 480*i48 - 440*i56 - 711*i64 - 350*i72 - 300*i80
       - 450*i88 - 450*i96 + 1000*b112 + 1100*b136 + 1200*b160 + 1300*b184
       + 1400*b208 + 1500*b232 - 20*x248 >= 0;

e310:  - 330*i32 - 260*i40 - 480*i48 - 440*i56 - 711*i64 - 350*i72 - 300*i80
       - 450*i88 - 450*i96 + 1000*b120 + 1100*b144 + 1200*b168 + 1300*b192
       + 1400*b216 + 1500*b240 - 20*x248 >= 0;

e311:  - 330*i33 - 260*i41 - 480*i49 - 440*i57 - 711*i65 - 350*i73 - 300*i81
       - 450*i89 - 450*i97 + 1000*b105 + 1100*b129 + 1200*b153 + 1300*b177
       + 1400*b201 + 1500*b225 - 20*x249 >= 0;

e312:  - 330*i33 - 260*i41 - 480*i49 - 440*i57 - 711*i65 - 350*i73 - 300*i81
       - 450*i89 - 450*i97 + 1000*b113 + 1100*b137 + 1200*b161 + 1300*b185
       + 1400*b209 + 1500*b233 - 20*x249 >= 0;

e313:  - 330*i33 - 260*i41 - 480*i49 - 440*i57 - 711*i65 - 350*i73 - 300*i81
       - 450*i89 - 450*i97 + 1000*b121 + 1100*b145 + 1200*b169 + 1300*b193
       + 1400*b217 + 1500*b241 - 20*x249 >= 0;

e314:    b98 + b122 + b146 + b170 + b194 + b218 - b250 - b258 - b266 - b274
       - b282 - b290 - b298 - b306 - b314 <= 0;

e315:    b106 + b130 + b154 + b178 + b202 + b226 - b250 - b258 - b266 - b274
       - b282 - b290 - b298 - b306 - b314 <= 0;

e316:    b114 + b138 + b162 + b186 + b210 + b234 - b250 - b258 - b266 - b274
       - b282 - b290 - b298 - b306 - b314 <= 0;

e317:    b99 + b123 + b147 + b171 + b195 + b219 - b251 - b259 - b267 - b275
       - b283 - b291 - b299 - b307 - b315 <= 0;

e318:    b107 + b131 + b155 + b179 + b203 + b227 - b251 - b259 - b267 - b275
       - b283 - b291 - b299 - b307 - b315 <= 0;

e319:    b115 + b139 + b163 + b187 + b211 + b235 - b251 - b259 - b267 - b275
       - b283 - b291 - b299 - b307 - b315 <= 0;

e320:    b100 + b124 + b148 + b172 + b196 + b220 - b252 - b260 - b268 - b276
       - b284 - b292 - b300 - b308 - b316 <= 0;

e321:    b108 + b132 + b156 + b180 + b204 + b228 - b252 - b260 - b268 - b276
       - b284 - b292 - b300 - b308 - b316 <= 0;

e322:    b116 + b140 + b164 + b188 + b212 + b236 - b252 - b260 - b268 - b276
       - b284 - b292 - b300 - b308 - b316 <= 0;

e323:    b101 + b125 + b149 + b173 + b197 + b221 - b253 - b261 - b269 - b277
       - b285 - b293 - b301 - b309 - b317 <= 0;

e324:    b109 + b133 + b157 + b181 + b205 + b229 - b253 - b261 - b269 - b277
       - b285 - b293 - b301 - b309 - b317 <= 0;

e325:    b117 + b141 + b165 + b189 + b213 + b237 - b253 - b261 - b269 - b277
       - b285 - b293 - b301 - b309 - b317 <= 0;

e326:    b102 + b126 + b150 + b174 + b198 + b222 - b254 - b262 - b270 - b278
       - b286 - b294 - b302 - b310 - b318 <= 0;

e327:    b110 + b134 + b158 + b182 + b206 + b230 - b254 - b262 - b270 - b278
       - b286 - b294 - b302 - b310 - b318 <= 0;

e328:    b118 + b142 + b166 + b190 + b214 + b238 - b254 - b262 - b270 - b278
       - b286 - b294 - b302 - b310 - b318 <= 0;

e329:    b103 + b127 + b151 + b175 + b199 + b223 - b255 - b263 - b271 - b279
       - b287 - b295 - b303 - b311 - b319 <= 0;

e330:    b111 + b135 + b159 + b183 + b207 + b231 - b255 - b263 - b271 - b279
       - b287 - b295 - b303 - b311 - b319 <= 0;

e331:    b119 + b143 + b167 + b191 + b215 + b239 - b255 - b263 - b271 - b279
       - b287 - b295 - b303 - b311 - b319 <= 0;

e332:    b104 + b128 + b152 + b176 + b200 + b224 - b256 - b264 - b272 - b280
       - b288 - b296 - b304 - b312 - b320 <= 0;

e333:    b112 + b136 + b160 + b184 + b208 + b232 - b256 - b264 - b272 - b280
       - b288 - b296 - b304 - b312 - b320 <= 0;

e334:    b120 + b144 + b168 + b192 + b216 + b240 - b256 - b264 - b272 - b280
       - b288 - b296 - b304 - b312 - b320 <= 0;

e335:    b105 + b129 + b153 + b177 + b201 + b225 - b257 - b265 - b273 - b281
       - b289 - b297 - b305 - b313 - b321 <= 0;

e336:    b113 + b137 + b161 + b185 + b209 + b233 - b257 - b265 - b273 - b281
       - b289 - b297 - b305 - b313 - b321 <= 0;

e337:    b121 + b145 + b169 + b193 + b217 + b241 - b257 - b265 - b273 - b281
       - b289 - b297 - b305 - b313 - b321 <= 0;

e338:    b98 + b122 + b146 + b170 + b194 + b218 <= 1;

e339:    b106 + b130 + b154 + b178 + b202 + b226 <= 1;

e340:    b114 + b138 + b162 + b186 + b210 + b234 <= 1;

e341:    b99 + b123 + b147 + b171 + b195 + b219 <= 1;

e342:    b107 + b131 + b155 + b179 + b203 + b227 <= 1;

e343:    b115 + b139 + b163 + b187 + b211 + b235 <= 1;

e344:    b100 + b124 + b148 + b172 + b196 + b220 <= 1;

e345:    b108 + b132 + b156 + b180 + b204 + b228 <= 1;

e346:    b116 + b140 + b164 + b188 + b212 + b236 <= 1;

e347:    b101 + b125 + b149 + b173 + b197 + b221 <= 1;

e348:    b109 + b133 + b157 + b181 + b205 + b229 <= 1;

e349:    b117 + b141 + b165 + b189 + b213 + b237 <= 1;

e350:    b102 + b126 + b150 + b174 + b198 + b222 <= 1;

e351:    b110 + b134 + b158 + b182 + b206 + b230 <= 1;

e352:    b118 + b142 + b166 + b190 + b214 + b238 <= 1;

e353:    b103 + b127 + b151 + b175 + b199 + b223 <= 1;

e354:    b111 + b135 + b159 + b183 + b207 + b231 <= 1;

e355:    b119 + b143 + b167 + b191 + b215 + b239 <= 1;

e356:    b104 + b128 + b152 + b176 + b200 + b224 <= 1;

e357:    b112 + b136 + b160 + b184 + b208 + b232 <= 1;

e358:    b120 + b144 + b168 + b192 + b216 + b240 <= 1;

e359:    b105 + b129 + b153 + b177 + b201 + b225 <= 1;

e360:    b113 + b137 + b161 + b185 + b209 + b233 <= 1;

e361:    b121 + b145 + b169 + b193 + b217 + b241 <= 1;

e362:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e363:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e364:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e365:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e366:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e367:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e368:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e369:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e370:    b98 + b122 + b146 + b170 + b194 + b218 - x242 >= 0;

e371:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e372:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e373:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e374:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e375:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e376:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e377:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e378:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e379:    b106 + b130 + b154 + b178 + b202 + b226 - x242 >= 0;

e380:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e381:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e382:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e383:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e384:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e385:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e386:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e387:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e388:    b114 + b138 + b162 + b186 + b210 + b234 - x242 >= 0;

e389:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e390:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e391:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e392:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e393:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e394:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e395:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e396:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e397:    b99 + b123 + b147 + b171 + b195 + b219 - x243 >= 0;

e398:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e399:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e400:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e401:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e402:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e403:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e404:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e405:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e406:    b107 + b131 + b155 + b179 + b203 + b227 - x243 >= 0;

e407:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e408:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e409:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e410:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e411:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e412:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e413:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e414:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e415:    b115 + b139 + b163 + b187 + b211 + b235 - x243 >= 0;

e416:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e417:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e418:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e419:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e420:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e421:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e422:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e423:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e424:    b100 + b124 + b148 + b172 + b196 + b220 - x244 >= 0;

e425:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e426:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e427:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e428:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e429:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e430:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e431:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e432:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e433:    b108 + b132 + b156 + b180 + b204 + b228 - x244 >= 0;

e434:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e435:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e436:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e437:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e438:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e439:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e440:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e441:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e442:    b116 + b140 + b164 + b188 + b212 + b236 - x244 >= 0;

e443:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e444:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e445:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e446:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e447:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e448:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e449:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e450:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e451:    b101 + b125 + b149 + b173 + b197 + b221 - x245 >= 0;

e452:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e453:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e454:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e455:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e456:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e457:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e458:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e459:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e460:    b109 + b133 + b157 + b181 + b205 + b229 - x245 >= 0;

e461:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e462:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e463:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e464:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e465:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e466:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e467:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e468:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e469:    b117 + b141 + b165 + b189 + b213 + b237 - x245 >= 0;

e470:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e471:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e472:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e473:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e474:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e475:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e476:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e477:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e478:    b102 + b126 + b150 + b174 + b198 + b222 - x246 >= 0;

e479:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e480:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e481:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e482:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e483:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e484:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e485:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e486:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e487:    b110 + b134 + b158 + b182 + b206 + b230 - x246 >= 0;

e488:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e489:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e490:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e491:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e492:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e493:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e494:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e495:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e496:    b118 + b142 + b166 + b190 + b214 + b238 - x246 >= 0;

e497:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e498:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e499:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e500:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e501:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e502:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e503:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e504:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e505:    b103 + b127 + b151 + b175 + b199 + b223 - x247 >= 0;

e506:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e507:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e508:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e509:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e510:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e511:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e512:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e513:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e514:    b111 + b135 + b159 + b183 + b207 + b231 - x247 >= 0;

e515:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e516:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e517:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e518:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e519:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e520:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e521:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e522:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e523:    b119 + b143 + b167 + b191 + b215 + b239 - x247 >= 0;

e524:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e525:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e526:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e527:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e528:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e529:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e530:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e531:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e532:    b104 + b128 + b152 + b176 + b200 + b224 - x248 >= 0;

e533:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e534:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e535:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e536:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e537:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e538:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e539:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e540:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e541:    b112 + b136 + b160 + b184 + b208 + b232 - x248 >= 0;

e542:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e543:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e544:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e545:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e546:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e547:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e548:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e549:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e550:    b120 + b144 + b168 + b192 + b216 + b240 - x248 >= 0;

e551:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e552:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e553:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e554:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e555:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e556:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e557:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e558:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e559:    b105 + b129 + b153 + b177 + b201 + b225 - x249 >= 0;

e560:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e561:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e562:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e563:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e564:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e565:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e566:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e567:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e568:    b113 + b137 + b161 + b185 + b209 + b233 - x249 >= 0;

e569:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e570:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e571:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e572:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e573:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e574:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e575:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e576:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e577:    b121 + b145 + b169 + b193 + b217 + b241 - x249 >= 0;

e578: x322*b98 + 1.5*x322*b106 + x322*b114 + x323*b99 + 1.5*x323*b107 + x323*
      b115 + x324*b100 + 1.5*x324*b108 + x324*b116 + 1.5*x328*b112 + 1.5*x329*
      b113 <= 999999;

e579: x322*b122 + 1.5*x322*b130 + x322*b138 + x323*b123 + 1.5*x323*b131 + x323*
      b139 + x324*b124 + 1.5*x324*b132 + x324*b140 + 1.5*x328*b136 + 1.5*x329*
      b137 <= 999999;

e580: x322*b146 + 1.5*x322*b154 + x322*b162 + x323*b147 + 1.5*x323*b155 + x323*
      b163 + x324*b148 + 1.5*x324*b156 + x324*b164 + 1.5*x328*b160 + 1.5*x329*
      b161 <= 999999;

e581: x322*b170 + 1.5*x322*b178 + x322*b186 + x323*b171 + 1.5*x323*b179 + x323*
      b187 + x324*b172 + 1.5*x324*b180 + x324*b188 + 1.5*x328*b184 + 1.5*x329*
      b185 <= 888888;

e582: x322*b194 + 1.5*x322*b202 + x322*b210 + x323*b195 + 1.5*x323*b203 + x323*
      b211 + x324*b196 + 1.5*x324*b204 + x324*b212 + 1.5*x328*b208 + 1.5*x329*
      b209 <= 9999999;

e583: x322*b218 + 1.5*x322*b226 + x322*b234 + x323*b219 + 1.5*x323*b227 + x323*
      b235 + x324*b220 + 1.5*x324*b228 + x324*b236 + 1.5*x328*b232 + 1.5*x329*
      b233 <= 999999;

e584: 1.5*x325*b109 + x325*b117 + 1.5*x326*b110 + x326*b118 + 1.5*x327*b111 + 
      x327*b119 + x328*b104 + x328*b120 + x329*b105 + x329*b121 <= 72722;

e585: 1.5*x325*b133 + x325*b141 + 1.5*x326*b134 + x326*b142 + 1.5*x327*b135 + 
      x327*b143 + x328*b128 + x328*b144 + x329*b129 + x329*b145 <= 32737;

e586: 1.5*x325*b157 + x325*b165 + 1.5*x326*b158 + x326*b166 + 1.5*x327*b159 + 
      x327*b167 + x328*b152 + x328*b168 + x329*b153 + x329*b169 <= 999999;

e587: 1.5*x325*b181 + x325*b189 + 1.5*x326*b182 + x326*b190 + 1.5*x327*b183 + 
      x327*b191 + x328*b176 + x328*b192 + x329*b177 + x329*b193 <= 999999;

e588: 1.5*x325*b205 + x325*b213 + 1.5*x326*b206 + x326*b214 + 1.5*x327*b207 + 
      x327*b215 + x328*b200 + x328*b216 + x329*b201 + x329*b217 <= 122344;

e589: 1.5*x325*b229 + x325*b237 + 1.5*x326*b230 + x326*b238 + 1.5*x327*b231 + 
      x327*b239 + x328*b224 + x328*b240 + x329*b225 + x329*b241 <= 147559;

e590: x325*b101 + x326*b102 + x327*b103 <= 999999;

e591: x325*b125 + x326*b126 + x327*b127 <= 999999;

e592: x325*b149 + x326*b150 + x327*b151 <= 999999;

e593: x325*b173 + x326*b174 + x327*b175 <= 999999;

e594: x325*b197 + x326*b198 + x327*b199 <= 999999;

e595: x325*b221 + x326*b222 + x327*b223 <= 999999;

e596: 0.527704485488127*i26*x322 + 0.527704485488127*i27*x323 + 
      0.527704485488127*i28*x324 + 0.527704485488127*i29*x325 + 
      0.527704485488127*i30*x326 + 0.527704485488127*i31*x327 + 
      0.527704485488127*i32*x328 + 0.527704485488127*i33*x329 >= 1000;

e597: 1.33333333333333*i34*x322 + 1.33333333333333*i35*x323 + 1.33333333333333*
      i36*x324 + 1.33333333333333*i37*x325 + 1.33333333333333*i38*x326 + 
      1.33333333333333*i39*x327 + 1.33333333333333*i40*x328 + 1.33333333333333*
      i41*x329 >= 1500;

e598: 0.858369098712446*i42*x322 + 0.858369098712446*i43*x323 + 
      0.858369098712446*i44*x324 + 0.858369098712446*i45*x325 + 
      0.858369098712446*i46*x326 + 0.858369098712446*i47*x327 + 
      0.858369098712446*i48*x328 + 0.858369098712446*i49*x329 >= 2000;

e599: 1.32450331125828*i50*x322 + 1.32450331125828*i51*x323 + 1.32450331125828*
      i52*x324 + 1.32450331125828*i53*x325 + 1.32450331125828*i54*x326 + 
      1.32450331125828*i55*x327 + 1.32450331125828*i56*x328 + 1.32450331125828*
      i57*x329 >= 2000;

e600: 0.50125313283208*i58*x322 + 0.50125313283208*i59*x323 + 0.50125313283208*
      i60*x324 + 0.50125313283208*i61*x325 + 0.50125313283208*i62*x326 + 
      0.50125313283208*i63*x327 + 0.50125313283208*i64*x328 + 0.50125313283208*
      i65*x329 >= 1500;

e601: 0.555555555555556*i66*x322 + 0.555555555555556*i67*x323 + 
      0.555555555555556*i68*x324 + 0.555555555555556*i69*x325 + 
      0.555555555555556*i70*x326 + 0.555555555555556*i71*x327 + 
      0.555555555555556*i72*x328 + 0.555555555555556*i73*x329 >= 1500;

e602: 1.17647058823529*i74*x322 + 1.17647058823529*i75*x323 + 1.17647058823529*
      i76*x324 + 1.17647058823529*i77*x325 + 1.17647058823529*i78*x326 + 
      1.17647058823529*i79*x327 + 1.17647058823529*i80*x328 + 1.17647058823529*
      i81*x329 >= 2500;

e603: 0.833333333333333*i82*x322 + 0.833333333333333*i83*x323 + 
      0.833333333333333*i84*x324 + 0.833333333333333*i85*x325 + 
      0.833333333333333*i86*x326 + 0.833333333333333*i87*x327 + 
      0.833333333333333*i88*x328 + 0.833333333333333*i89*x329 >= 3000;

e604: 1.25*i90*x322 + 1.25*i91*x323 + 1.25*i92*x324 + 1.25*i93*x325 + 1.25*i94*
      x326 + 1.25*i95*x327 + 1.25*i96*x328 + 1.25*i97*x329 >= 2000;

e605: 0.527704485488127*i26*x322 + 0.527704485488127*i27*x323 + 
      0.527704485488127*i28*x324 + 0.527704485488127*i29*x325 + 
      0.527704485488127*i30*x326 + 0.527704485488127*i31*x327 + 
      0.527704485488127*i32*x328 + 0.527704485488127*i33*x329 <= 1500;

e606: 1.33333333333333*i34*x322 + 1.33333333333333*i35*x323 + 1.33333333333333*
      i36*x324 + 1.33333333333333*i37*x325 + 1.33333333333333*i38*x326 + 
      1.33333333333333*i39*x327 + 1.33333333333333*i40*x328 + 1.33333333333333*
      i41*x329 <= 2250;

e607: 0.858369098712446*i42*x322 + 0.858369098712446*i43*x323 + 
      0.858369098712446*i44*x324 + 0.858369098712446*i45*x325 + 
      0.858369098712446*i46*x326 + 0.858369098712446*i47*x327 + 
      0.858369098712446*i48*x328 + 0.858369098712446*i49*x329 <= 3000;

e608: 1.32450331125828*i50*x322 + 1.32450331125828*i51*x323 + 1.32450331125828*
      i52*x324 + 1.32450331125828*i53*x325 + 1.32450331125828*i54*x326 + 
      1.32450331125828*i55*x327 + 1.32450331125828*i56*x328 + 1.32450331125828*
      i57*x329 <= 3000;

e609: 0.50125313283208*i58*x322 + 0.50125313283208*i59*x323 + 0.50125313283208*
      i60*x324 + 0.50125313283208*i61*x325 + 0.50125313283208*i62*x326 + 
      0.50125313283208*i63*x327 + 0.50125313283208*i64*x328 + 0.50125313283208*
      i65*x329 <= 2250;

e610: 0.555555555555556*i66*x322 + 0.555555555555556*i67*x323 + 
      0.555555555555556*i68*x324 + 0.555555555555556*i69*x325 + 
      0.555555555555556*i70*x326 + 0.555555555555556*i71*x327 + 
      0.555555555555556*i72*x328 + 0.555555555555556*i73*x329 <= 2250;

e611: 1.17647058823529*i74*x322 + 1.17647058823529*i75*x323 + 1.17647058823529*
      i76*x324 + 1.17647058823529*i77*x325 + 1.17647058823529*i78*x326 + 
      1.17647058823529*i79*x327 + 1.17647058823529*i80*x328 + 1.17647058823529*
      i81*x329 <= 3750;

e612: 0.833333333333333*i82*x322 + 0.833333333333333*i83*x323 + 
      0.833333333333333*i84*x324 + 0.833333333333333*i85*x325 + 
      0.833333333333333*i86*x326 + 0.833333333333333*i87*x327 + 
      0.833333333333333*i88*x328 + 0.833333333333333*i89*x329 <= 4500;

e613: 1.25*i90*x322 + 1.25*i91*x323 + 1.25*i92*x324 + 1.25*i93*x325 + 1.25*i94*
      x326 + 1.25*i95*x327 + 1.25*i96*x328 + 1.25*i97*x329 <= 3000;

e614:  - 500*x242 + x322 >= 0;

e615:  - 500*x243 + x323 >= 0;

e616:  - 500*x244 + x324 >= 0;

e617:  - 500*x245 + x325 >= 0;

e618:  - 500*x246 + x326 >= 0;

e619:  - 500*x247 + x327 >= 0;

e620:  - 500*x248 + x328 >= 0;

e621:  - 500*x249 + x329 >= 0;

e622:  - 2000*x242 + x322 <= 0;

e623:  - 2000*x243 + x323 <= 0;

e624:  - 2000*x244 + x324 <= 0;

e625:  - 2000*x245 + x325 <= 0;

e626:  - 2000*x246 + x326 <= 0;

e627:  - 2000*x247 + x327 <= 0;

e628:  - 2000*x248 + x328 <= 0;

e629:  - 2000*x249 + x329 <= 0;

e630:  - x242 + b250 + b258 + b266 + b274 + b282 + b290 + b298 + b306 + b314
       >= 0;

e631:  - x243 + b251 + b259 + b267 + b275 + b283 + b291 + b299 + b307 + b315
       >= 0;

e632:  - x244 + b252 + b260 + b268 + b276 + b284 + b292 + b300 + b308 + b316
       >= 0;

e633:  - x245 + b253 + b261 + b269 + b277 + b285 + b293 + b301 + b309 + b317
       >= 0;

e634:  - x246 + b254 + b262 + b270 + b278 + b286 + b294 + b302 + b310 + b318
       >= 0;

e635:  - x247 + b255 + b263 + b271 + b279 + b287 + b295 + b303 + b311 + b319
       >= 0;

e636:  - x248 + b256 + b264 + b272 + b280 + b288 + b296 + b304 + b312 + b320
       >= 0;

e637:  - x249 + b257 + b265 + b273 + b281 + b289 + b297 + b305 + b313 + b321
       >= 0;

e638:    x242 - b250 >= 0;

e639:    x243 - b251 >= 0;

e640:    x244 - b252 >= 0;

e641:    x245 - b253 >= 0;

e642:    x246 - b254 >= 0;

e643:    x247 - b255 >= 0;

e644:    x248 - b256 >= 0;

e645:    x249 - b257 >= 0;

e646:    x242 - b258 >= 0;

e647:    x243 - b259 >= 0;

e648:    x244 - b260 >= 0;

e649:    x245 - b261 >= 0;

e650:    x246 - b262 >= 0;

e651:    x247 - b263 >= 0;

e652:    x248 - b264 >= 0;

e653:    x249 - b265 >= 0;

e654:    x242 - b266 >= 0;

e655:    x243 - b267 >= 0;

e656:    x244 - b268 >= 0;

e657:    x245 - b269 >= 0;

e658:    x246 - b270 >= 0;

e659:    x247 - b271 >= 0;

e660:    x248 - b272 >= 0;

e661:    x249 - b273 >= 0;

e662:    x242 - b274 >= 0;

e663:    x243 - b275 >= 0;

e664:    x244 - b276 >= 0;

e665:    x245 - b277 >= 0;

e666:    x246 - b278 >= 0;

e667:    x247 - b279 >= 0;

e668:    x248 - b280 >= 0;

e669:    x249 - b281 >= 0;

e670:    x242 - b282 >= 0;

e671:    x243 - b283 >= 0;

e672:    x244 - b284 >= 0;

e673:    x245 - b285 >= 0;

e674:    x246 - b286 >= 0;

e675:    x247 - b287 >= 0;

e676:    x248 - b288 >= 0;

e677:    x249 - b289 >= 0;

e678:    x242 - b290 >= 0;

e679:    x243 - b291 >= 0;

e680:    x244 - b292 >= 0;

e681:    x245 - b293 >= 0;

e682:    x246 - b294 >= 0;

e683:    x247 - b295 >= 0;

e684:    x248 - b296 >= 0;

e685:    x249 - b297 >= 0;

e686:    x242 - b298 >= 0;

e687:    x243 - b299 >= 0;

e688:    x244 - b300 >= 0;

e689:    x245 - b301 >= 0;

e690:    x246 - b302 >= 0;

e691:    x247 - b303 >= 0;

e692:    x248 - b304 >= 0;

e693:    x249 - b305 >= 0;

e694:    x242 - b306 >= 0;

e695:    x243 - b307 >= 0;

e696:    x244 - b308 >= 0;

e697:    x245 - b309 >= 0;

e698:    x246 - b310 >= 0;

e699:    x247 - b311 >= 0;

e700:    x248 - b312 >= 0;

e701:    x249 - b313 >= 0;

e702:    x242 - b314 >= 0;

e703:    x243 - b315 >= 0;

e704:    x244 - b316 >= 0;

e705:    x245 - b317 >= 0;

e706:    x246 - b318 >= 0;

e707:    x247 - b319 >= 0;

e708:    x248 - b320 >= 0;

e709:    x249 - b321 >= 0;

e710:    b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 >= 1;

e711:    b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 >= 1;

e712:    b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 >= 1;

e713:    b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 >= 1;

e714:    b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 >= 1;

e715:    b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 >= 1;

e716:    b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 >= 1;

e717:    b306 + b307 + b308 + b309 + b310 + b311 + b312 + b313 >= 1;

e718:    b314 + b315 + b316 + b317 + b318 + b319 + b320 + b321 >= 1;

e719:  - i26 + b250 <= 0;

e720:  - i27 + b251 <= 0;

e721:  - i28 + b252 <= 0;

e722:  - i29 + b253 <= 0;

e723:  - i30 + b254 <= 0;

e724:  - i31 + b255 <= 0;

e725:  - i32 + b256 <= 0;

e726:  - i33 + b257 <= 0;

e727:  - i34 + b258 <= 0;

e728:  - i35 + b259 <= 0;

e729:  - i36 + b260 <= 0;

e730:  - i37 + b261 <= 0;

e731:  - i38 + b262 <= 0;

e732:  - i39 + b263 <= 0;

e733:  - i40 + b264 <= 0;

e734:  - i41 + b265 <= 0;

e735:  - i42 + b266 <= 0;

e736:  - i43 + b267 <= 0;

e737:  - i44 + b268 <= 0;

e738:  - i45 + b269 <= 0;

e739:  - i46 + b270 <= 0;

e740:  - i47 + b271 <= 0;

e741:  - i48 + b272 <= 0;

e742:  - i49 + b273 <= 0;

e743:  - i50 + b274 <= 0;

e744:  - i51 + b275 <= 0;

e745:  - i52 + b276 <= 0;

e746:  - i53 + b277 <= 0;

e747:  - i54 + b278 <= 0;

e748:  - i55 + b279 <= 0;

e749:  - i56 + b280 <= 0;

e750:  - i57 + b281 <= 0;

e751:  - i58 + b282 <= 0;

e752:  - i59 + b283 <= 0;

e753:  - i60 + b284 <= 0;

e754:  - i61 + b285 <= 0;

e755:  - i62 + b286 <= 0;

e756:  - i63 + b287 <= 0;

e757:  - i64 + b288 <= 0;

e758:  - i65 + b289 <= 0;

e759:  - i66 + b290 <= 0;

e760:  - i67 + b291 <= 0;

e761:  - i68 + b292 <= 0;

e762:  - i69 + b293 <= 0;

e763:  - i70 + b294 <= 0;

e764:  - i71 + b295 <= 0;

e765:  - i72 + b296 <= 0;

e766:  - i73 + b297 <= 0;

e767:  - i74 + b298 <= 0;

e768:  - i75 + b299 <= 0;

e769:  - i76 + b300 <= 0;

e770:  - i77 + b301 <= 0;

e771:  - i78 + b302 <= 0;

e772:  - i79 + b303 <= 0;

e773:  - i80 + b304 <= 0;

e774:  - i81 + b305 <= 0;

e775:  - i82 + b306 <= 0;

e776:  - i83 + b307 <= 0;

e777:  - i84 + b308 <= 0;

e778:  - i85 + b309 <= 0;

e779:  - i86 + b310 <= 0;

e780:  - i87 + b311 <= 0;

e781:  - i88 + b312 <= 0;

e782:  - i89 + b313 <= 0;

e783:  - i90 + b314 <= 0;

e784:  - i91 + b315 <= 0;

e785:  - i92 + b316 <= 0;

e786:  - i93 + b317 <= 0;

e787:  - i94 + b318 <= 0;

e788:  - i95 + b319 <= 0;

e789:  - i96 + b320 <= 0;

e790:  - i97 + b321 <= 0;

e791:    i26 - 4*b250 <= 0;

e792:    i27 - 4*b251 <= 0;

e793:    i28 - 4*b252 <= 0;

e794:    i29 - 4*b253 <= 0;

e795:    i30 - 4*b254 <= 0;

e796:    i31 - 4*b255 <= 0;

e797:    i32 - 4*b256 <= 0;

e798:    i33 - 4*b257 <= 0;

e799:    i34 - 4*b258 <= 0;

e800:    i35 - 4*b259 <= 0;

e801:    i36 - 4*b260 <= 0;

e802:    i37 - 4*b261 <= 0;

e803:    i38 - 4*b262 <= 0;

e804:    i39 - 4*b263 <= 0;

e805:    i40 - 4*b264 <= 0;

e806:    i41 - 4*b265 <= 0;

e807:    i42 - 4*b266 <= 0;

e808:    i43 - 4*b267 <= 0;

e809:    i44 - 4*b268 <= 0;

e810:    i45 - 4*b269 <= 0;

e811:    i46 - 4*b270 <= 0;

e812:    i47 - 4*b271 <= 0;

e813:    i48 - 4*b272 <= 0;

e814:    i49 - 4*b273 <= 0;

e815:    i50 - 4*b274 <= 0;

e816:    i51 - 4*b275 <= 0;

e817:    i52 - 4*b276 <= 0;

e818:    i53 - 4*b277 <= 0;

e819:    i54 - 4*b278 <= 0;

e820:    i55 - 4*b279 <= 0;

e821:    i56 - 4*b280 <= 0;

e822:    i57 - 4*b281 <= 0;

e823:    i58 - 4*b282 <= 0;

e824:    i59 - 4*b283 <= 0;

e825:    i60 - 4*b284 <= 0;

e826:    i61 - 4*b285 <= 0;

e827:    i62 - 4*b286 <= 0;

e828:    i63 - 4*b287 <= 0;

e829:    i64 - 4*b288 <= 0;

e830:    i65 - 4*b289 <= 0;

e831:    i66 - 4*b290 <= 0;

e832:    i67 - 4*b291 <= 0;

e833:    i68 - 4*b292 <= 0;

e834:    i69 - 4*b293 <= 0;

e835:    i70 - 4*b294 <= 0;

e836:    i71 - 4*b295 <= 0;

e837:    i72 - 4*b296 <= 0;

e838:    i73 - 4*b297 <= 0;

e839:    i74 - 4*b298 <= 0;

e840:    i75 - 4*b299 <= 0;

e841:    i76 - 4*b300 <= 0;

e842:    i77 - 4*b301 <= 0;

e843:    i78 - 4*b302 <= 0;

e844:    i79 - 4*b303 <= 0;

e845:    i80 - 4*b304 <= 0;

e846:    i81 - 4*b305 <= 0;

e847:    i82 - 4*b306 <= 0;

e848:    i83 - 4*b307 <= 0;

e849:    i84 - 4*b308 <= 0;

e850:    i85 - 4*b309 <= 0;

e851:    i86 - 4*b310 <= 0;

e852:    i87 - 4*b311 <= 0;

e853:    i88 - 4*b312 <= 0;

e854:    i89 - 4*b313 <= 0;

e855:    i90 - 4*b314 <= 0;

e856:    i91 - 4*b315 <= 0;

e857:    i92 - 4*b316 <= 0;

e858:    i93 - 4*b317 <= 0;

e859:    i94 - 4*b318 <= 0;

e860:    i95 - 4*b319 <= 0;

e861:    i96 - 4*b320 <= 0;

e862:    i97 - 4*b321 <= 0;

e863: b98*x322 + 1.1*b122*x322 + 1.2*b146*x322 + 1.3*b170*x322 + 1.4*b194*x322
       + 1.5*b218*x322 - x330 = 0;

e864: b106*x322 + 1.1*b130*x322 + 1.2*b154*x322 + 1.3*b178*x322 + 1.4*b202*x322
       + 1.5*b226*x322 - x331 = 0;

e865: b114*x322 + 1.1*b138*x322 + 1.2*b162*x322 + 1.3*b186*x322 + 1.4*b210*x322
       + 1.5*b234*x322 - x332 = 0;

e866: b99*x323 + 1.1*b123*x323 + 1.2*b147*x323 + 1.3*b171*x323 + 1.4*b195*x323
       + 1.5*b219*x323 - x333 = 0;

e867: b107*x323 + 1.1*b131*x323 + 1.2*b155*x323 + 1.3*b179*x323 + 1.4*b203*x323
       + 1.5*b227*x323 - x334 = 0;

e868: b115*x323 + 1.1*b139*x323 + 1.2*b163*x323 + 1.3*b187*x323 + 1.4*b211*x323
       + 1.5*b235*x323 - x335 = 0;

e869: b100*x324 + 1.1*b124*x324 + 1.2*b148*x324 + 1.3*b172*x324 + 1.4*b196*x324
       + 1.5*b220*x324 - x336 = 0;

e870: b108*x324 + 1.1*b132*x324 + 1.2*b156*x324 + 1.3*b180*x324 + 1.4*b204*x324
       + 1.5*b228*x324 - x337 = 0;

e871: b116*x324 + 1.1*b140*x324 + 1.2*b164*x324 + 1.3*b188*x324 + 1.4*b212*x324
       + 1.5*b236*x324 - x338 = 0;

e872: b101*x325 + 1.1*b125*x325 + 1.2*b149*x325 + 1.3*b173*x325 + 1.4*b197*x325
       + 1.5*b221*x325 - x339 = 0;

e873: b109*x325 + 1.1*b133*x325 + 1.2*b157*x325 + 1.3*b181*x325 + 1.4*b205*x325
       + 1.5*b229*x325 - x340 = 0;

e874: b117*x325 + 1.1*b141*x325 + 1.2*b165*x325 + 1.3*b189*x325 + 1.4*b213*x325
       + 1.5*b237*x325 - x341 = 0;

e875: b102*x326 + 1.1*b126*x326 + 1.2*b150*x326 + 1.3*b174*x326 + 1.4*b198*x326
       + 1.5*b222*x326 - x342 = 0;

e876: b110*x326 + 1.1*b134*x326 + 1.2*b158*x326 + 1.3*b182*x326 + 1.4*b206*x326
       + 1.5*b230*x326 - x343 = 0;

e877: b118*x326 + 1.1*b142*x326 + 1.2*b166*x326 + 1.3*b190*x326 + 1.4*b214*x326
       + 1.5*b238*x326 - x344 = 0;

e878: b103*x327 + 1.1*b127*x327 + 1.2*b151*x327 + 1.3*b175*x327 + 1.4*b199*x327
       + 1.5*b223*x327 - x345 = 0;

e879: b111*x327 + 1.1*b135*x327 + 1.2*b159*x327 + 1.3*b183*x327 + 1.4*b207*x327
       + 1.5*b231*x327 - x346 = 0;

e880: b119*x327 + 1.1*b143*x327 + 1.2*b167*x327 + 1.3*b191*x327 + 1.4*b215*x327
       + 1.5*b239*x327 - x347 = 0;

e881: b104*x328 + 1.1*b128*x328 + 1.2*b152*x328 + 1.3*b176*x328 + 1.4*b200*x328
       + 1.5*b224*x328 - x348 = 0;

e882: b112*x328 + 1.1*b136*x328 + 1.2*b160*x328 + 1.3*b184*x328 + 1.4*b208*x328
       + 1.5*b232*x328 - x349 = 0;

e883: b120*x328 + 1.1*b144*x328 + 1.2*b168*x328 + 1.3*b192*x328 + 1.4*b216*x328
       + 1.5*b240*x328 - x350 = 0;

e884: b105*x329 + 1.1*b129*x329 + 1.2*b153*x329 + 1.3*b177*x329 + 1.4*b201*x329
       + 1.5*b225*x329 - x351 = 0;

e885: b113*x329 + 1.1*b137*x329 + 1.2*b161*x329 + 1.3*b185*x329 + 1.4*b209*x329
       + 1.5*b233*x329 - x352 = 0;

e886: b121*x329 + 1.1*b145*x329 + 1.2*b169*x329 + 1.3*b193*x329 + 1.4*b217*x329
       + 1.5*b241*x329 - x353 = 0;

e887: 0.33*i26*x322 + 0.26*i34*x322 + 0.48*i42*x322 + 0.44*i50*x322 + 0.711*i58
      *x322 + 0.35*i66*x322 + 0.3*i74*x322 + 0.45*i82*x322 + 0.45*i90*x322
       - x354 = 0;

e888: 0.33*i27*x323 + 0.26*i35*x323 + 0.48*i43*x323 + 0.44*i51*x323 + 0.711*i59
      *x323 + 0.35*i67*x323 + 0.3*i75*x323 + 0.45*i83*x323 + 0.45*i91*x323
       - x355 = 0;

e889: 0.33*i28*x324 + 0.26*i36*x324 + 0.48*i44*x324 + 0.44*i52*x324 + 0.711*i60
      *x324 + 0.35*i68*x324 + 0.3*i76*x324 + 0.45*i84*x324 + 0.45*i92*x324
       - x356 = 0;

e890: 0.33*i29*x325 + 0.26*i37*x325 + 0.48*i45*x325 + 0.44*i53*x325 + 0.711*i61
      *x325 + 0.35*i69*x325 + 0.3*i77*x325 + 0.45*i85*x325 + 0.45*i93*x325
       - x357 = 0;

e891: 0.33*i30*x326 + 0.26*i38*x326 + 0.48*i46*x326 + 0.44*i54*x326 + 0.711*i62
      *x326 + 0.35*i70*x326 + 0.3*i78*x326 + 0.45*i86*x326 + 0.45*i94*x326
       - x358 = 0;

e892: 0.33*i31*x327 + 0.26*i39*x327 + 0.48*i47*x327 + 0.44*i55*x327 + 0.711*i63
      *x327 + 0.35*i71*x327 + 0.3*i79*x327 + 0.45*i87*x327 + 0.45*i95*x327
       - x359 = 0;

e893: 0.33*i32*x328 + 0.26*i40*x328 + 0.48*i48*x328 + 0.44*i56*x328 + 0.711*i64
      *x328 + 0.35*i72*x328 + 0.3*i80*x328 + 0.45*i88*x328 + 0.45*i96*x328
       - x360 = 0;

e894: 0.33*i33*x329 + 0.26*i41*x329 + 0.48*i49*x329 + 0.44*i57*x329 + 0.711*i65
      *x329 + 0.35*i73*x329 + 0.3*i81*x329 + 0.45*i89*x329 + 0.45*i97*x329
       - x361 = 0;