#  MIQCP written by GAMS Convert at 02/15/18 15:45:46
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        451      301        0      150        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        456      306      150        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1651     1351      300        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
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 x152;
var x153;
var x154;
var x155;
var x156;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;
var x291 >= 0;
var x292 >= 0;
var x293 >= 0;
var x294 >= 0;
var x295 >= 0;
var x296 >= 0;
var x297 >= 0;
var x298 >= 0;
var x299 >= 0;
var x300 >= 0;
var x301 >= 0;
var x302 >= 0;
var x303 >= 0;
var x304 >= 0;
var x305 >= 0;
var x306 >= 0;
var x307;
var x308;
var x309;
var x310;
var x311;
var x312;
var x313;
var x314;
var x315;
var x316;
var x317;
var x318;
var x319;
var x320;
var x321;
var x322;
var x323;
var x324;
var x325;
var x326;
var x327;
var x328;
var x329;
var x330;
var x331;
var x332;
var x333;
var x334;
var x335;
var x336;
var x337;
var x338;
var x339;
var x340;
var x341;
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;
var x422;
var x423;
var x424;
var x425;
var x426;
var x427;
var x428;
var x429;
var x430;
var x431;
var x432;
var x433;
var x434;
var x435;
var x436;
var x437;
var x438;
var x439;
var x440;
var x441;
var x442;
var x443;
var x444;
var x445;
var x446;
var x447;
var x448;
var x449;
var x450;
var x451;
var x452;
var x453;
var x454;
var x455;
var x456;

minimize obj:    b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13
     + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25
     + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37
     + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49
     + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61
     + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73
     + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85
     + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97
     + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108
     + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118
     + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128
     + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138
     + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148
     + b149 + b150 + b151;

subject to

e2:  - 5.1*x152 - 3.5*x153 - 1.4*x154 - 0.2*x155 + x156 - x157 <= -1;

e3:  - 4.9*x152 - 3*x153 - 1.4*x154 - 0.2*x155 + x156 - x158 <= -1;

e4:  - 4.7*x152 - 3.2*x153 - 1.3*x154 - 0.2*x155 + x156 - x159 <= -1;

e5:  - 4.6*x152 - 3.1*x153 - 1.5*x154 - 0.2*x155 + x156 - x160 <= -1;

e6:  - 5*x152 - 3.6*x153 - 1.4*x154 - 0.2*x155 + x156 - x161 <= -1;

e7:  - 5.4*x152 - 3.9*x153 - 1.7*x154 - 0.4*x155 + x156 - x162 <= -1;

e8:  - 4.6*x152 - 3.4*x153 - 1.4*x154 - 0.3*x155 + x156 - x163 <= -1;

e9:  - 5*x152 - 3.4*x153 - 1.5*x154 - 0.2*x155 + x156 - x164 <= -1;

e10:  - 4.4*x152 - 2.9*x153 - 1.4*x154 - 0.2*x155 + x156 - x165 <= -1;

e11:  - 4.9*x152 - 3.1*x153 - 1.5*x154 - 0.1*x155 + x156 - x166 <= -1;

e12:  - 5.4*x152 - 3.7*x153 - 1.5*x154 - 0.2*x155 + x156 - x167 <= -1;

e13:  - 4.8*x152 - 3.4*x153 - 1.6*x154 - 0.2*x155 + x156 - x168 <= -1;

e14:  - 4.8*x152 - 3*x153 - 1.4*x154 - 0.1*x155 + x156 - x169 <= -1;

e15:  - 4.3*x152 - 3*x153 - 1.1*x154 - 0.1*x155 + x156 - x170 <= -1;

e16:  - 5.8*x152 - 4*x153 - 1.2*x154 - 0.2*x155 + x156 - x171 <= -1;

e17:  - 5.7*x152 - 4.4*x153 - 1.5*x154 - 0.4*x155 + x156 - x172 <= -1;

e18:  - 5.4*x152 - 3.9*x153 - 1.3*x154 - 0.4*x155 + x156 - x173 <= -1;

e19:  - 5.1*x152 - 3.5*x153 - 1.4*x154 - 0.3*x155 + x156 - x174 <= -1;

e20:  - 5.7*x152 - 3.8*x153 - 1.7*x154 - 0.3*x155 + x156 - x175 <= -1;

e21:  - 5.1*x152 - 3.8*x153 - 1.5*x154 - 0.3*x155 + x156 - x176 <= -1;

e22:  - 5.4*x152 - 3.4*x153 - 1.7*x154 - 0.2*x155 + x156 - x177 <= -1;

e23:  - 5.1*x152 - 3.7*x153 - 1.5*x154 - 0.4*x155 + x156 - x178 <= -1;

e24:  - 4.6*x152 - 3.6*x153 - x154 - 0.2*x155 + x156 - x179 <= -1;

e25:  - 5.1*x152 - 3.3*x153 - 1.7*x154 - 0.5*x155 + x156 - x180 <= -1;

e26:  - 4.8*x152 - 3.4*x153 - 1.9*x154 - 0.2*x155 + x156 - x181 <= -1;

e27:  - 5*x152 - 3*x153 - 1.6*x154 - 0.2*x155 + x156 - x182 <= -1;

e28:  - 5*x152 - 3.4*x153 - 1.6*x154 - 0.4*x155 + x156 - x183 <= -1;

e29:  - 5.2*x152 - 3.5*x153 - 1.5*x154 - 0.2*x155 + x156 - x184 <= -1;

e30:  - 5.2*x152 - 3.4*x153 - 1.4*x154 - 0.2*x155 + x156 - x185 <= -1;

e31:  - 4.7*x152 - 3.2*x153 - 1.6*x154 - 0.2*x155 + x156 - x186 <= -1;

e32:  - 4.8*x152 - 3.1*x153 - 1.6*x154 - 0.2*x155 + x156 - x187 <= -1;

e33:  - 5.4*x152 - 3.4*x153 - 1.5*x154 - 0.4*x155 + x156 - x188 <= -1;

e34:  - 5.2*x152 - 4.1*x153 - 1.5*x154 - 0.1*x155 + x156 - x189 <= -1;

e35:  - 5.5*x152 - 4.2*x153 - 1.4*x154 - 0.2*x155 + x156 - x190 <= -1;

e36:  - 4.9*x152 - 3.1*x153 - 1.5*x154 - 0.1*x155 + x156 - x191 <= -1;

e37:  - 5*x152 - 3.2*x153 - 1.2*x154 - 0.2*x155 + x156 - x192 <= -1;

e38:  - 5.5*x152 - 3.5*x153 - 1.3*x154 - 0.2*x155 + x156 - x193 <= -1;

e39:  - 4.9*x152 - 3.1*x153 - 1.5*x154 - 0.1*x155 + x156 - x194 <= -1;

e40:  - 4.4*x152 - 3*x153 - 1.3*x154 - 0.2*x155 + x156 - x195 <= -1;

e41:  - 5.1*x152 - 3.4*x153 - 1.5*x154 - 0.2*x155 + x156 - x196 <= -1;

e42:  - 5*x152 - 3.5*x153 - 1.3*x154 - 0.3*x155 + x156 - x197 <= -1;

e43:  - 4.5*x152 - 2.3*x153 - 1.3*x154 - 0.3*x155 + x156 - x198 <= -1;

e44:  - 4.4*x152 - 3.2*x153 - 1.3*x154 - 0.2*x155 + x156 - x199 <= -1;

e45:  - 5*x152 - 3.5*x153 - 1.6*x154 - 0.6*x155 + x156 - x200 <= -1;

e46:  - 5.1*x152 - 3.8*x153 - 1.9*x154 - 0.4*x155 + x156 - x201 <= -1;

e47:  - 4.8*x152 - 3*x153 - 1.4*x154 - 0.3*x155 + x156 - x202 <= -1;

e48:  - 5.1*x152 - 3.8*x153 - 1.6*x154 - 0.2*x155 + x156 - x203 <= -1;

e49:  - 4.6*x152 - 3.2*x153 - 1.4*x154 - 0.2*x155 + x156 - x204 <= -1;

e50:  - 5.3*x152 - 3.7*x153 - 1.5*x154 - 0.2*x155 + x156 - x205 <= -1;

e51:  - 5*x152 - 3.3*x153 - 1.4*x154 - 0.2*x155 + x156 - x206 <= -1;

e52:    7*x152 + 3.2*x153 + 4.7*x154 + 1.4*x155 - x156 - x207 <= -1;

e53:    6.4*x152 + 3.2*x153 + 4.5*x154 + 1.5*x155 - x156 - x208 <= -1;

e54:    6.9*x152 + 3.1*x153 + 4.9*x154 + 1.5*x155 - x156 - x209 <= -1;

e55:    5.5*x152 + 2.3*x153 + 4*x154 + 1.3*x155 - x156 - x210 <= -1;

e56:    6.5*x152 + 2.8*x153 + 4.6*x154 + 1.5*x155 - x156 - x211 <= -1;

e57:    5.7*x152 + 2.8*x153 + 4.5*x154 + 1.3*x155 - x156 - x212 <= -1;

e58:    6.3*x152 + 3.3*x153 + 4.7*x154 + 1.6*x155 - x156 - x213 <= -1;

e59:    4.9*x152 + 2.4*x153 + 3.3*x154 + x155 - x156 - x214 <= -1;

e60:    6.6*x152 + 2.9*x153 + 4.6*x154 + 1.3*x155 - x156 - x215 <= -1;

e61:    5.2*x152 + 2.7*x153 + 3.9*x154 + 1.4*x155 - x156 - x216 <= -1;

e62:    5*x152 + 2*x153 + 3.5*x154 + x155 - x156 - x217 <= -1;

e63:    5.9*x152 + 3*x153 + 4.2*x154 + 1.5*x155 - x156 - x218 <= -1;

e64:    6*x152 + 2.2*x153 + 4*x154 + x155 - x156 - x219 <= -1;

e65:    6.1*x152 + 2.9*x153 + 4.7*x154 + 1.4*x155 - x156 - x220 <= -1;

e66:    5.6*x152 + 2.9*x153 + 3.6*x154 + 1.3*x155 - x156 - x221 <= -1;

e67:    6.7*x152 + 3.1*x153 + 4.4*x154 + 1.4*x155 - x156 - x222 <= -1;

e68:    5.6*x152 + 3*x153 + 4.5*x154 + 1.5*x155 - x156 - x223 <= -1;

e69:    5.8*x152 + 2.7*x153 + 4.1*x154 + x155 - x156 - x224 <= -1;

e70:    6.2*x152 + 2.2*x153 + 4.5*x154 + 1.5*x155 - x156 - x225 <= -1;

e71:    5.6*x152 + 2.5*x153 + 3.9*x154 + 1.1*x155 - x156 - x226 <= -1;

e72:    5.9*x152 + 3.2*x153 + 4.8*x154 + 1.8*x155 - x156 - x227 <= -1;

e73:    6.1*x152 + 2.8*x153 + 4*x154 + 1.3*x155 - x156 - x228 <= -1;

e74:    6.3*x152 + 2.5*x153 + 4.9*x154 + 1.5*x155 - x156 - x229 <= -1;

e75:    6.1*x152 + 2.8*x153 + 4.7*x154 + 1.2*x155 - x156 - x230 <= -1;

e76:    6.4*x152 + 2.9*x153 + 4.3*x154 + 1.3*x155 - x156 - x231 <= -1;

e77:    6.6*x152 + 3*x153 + 4.4*x154 + 1.4*x155 - x156 - x232 <= -1;

e78:    6.8*x152 + 2.8*x153 + 4.8*x154 + 1.4*x155 - x156 - x233 <= -1;

e79:    6.7*x152 + 3*x153 + 5*x154 + 1.7*x155 - x156 - x234 <= -1;

e80:    6*x152 + 2.9*x153 + 4.5*x154 + 1.5*x155 - x156 - x235 <= -1;

e81:    5.7*x152 + 2.6*x153 + 3.5*x154 + x155 - x156 - x236 <= -1;

e82:    5.5*x152 + 2.4*x153 + 3.8*x154 + 1.1*x155 - x156 - x237 <= -1;

e83:    5.5*x152 + 2.4*x153 + 3.7*x154 + x155 - x156 - x238 <= -1;

e84:    5.8*x152 + 2.7*x153 + 3.9*x154 + 1.2*x155 - x156 - x239 <= -1;

e85:    6*x152 + 2.7*x153 + 5.1*x154 + 1.6*x155 - x156 - x240 <= -1;

e86:    5.4*x152 + 3*x153 + 4.5*x154 + 1.5*x155 - x156 - x241 <= -1;

e87:    6*x152 + 3.4*x153 + 4.5*x154 + 1.6*x155 - x156 - x242 <= -1;

e88:    6.7*x152 + 3.1*x153 + 4.7*x154 + 1.5*x155 - x156 - x243 <= -1;

e89:    6.3*x152 + 2.3*x153 + 4.4*x154 + 1.3*x155 - x156 - x244 <= -1;

e90:    5.6*x152 + 3*x153 + 4.1*x154 + 1.3*x155 - x156 - x245 <= -1;

e91:    5.5*x152 + 2.5*x153 + 4*x154 + 1.3*x155 - x156 - x246 <= -1;

e92:    5.5*x152 + 2.6*x153 + 4.4*x154 + 1.2*x155 - x156 - x247 <= -1;

e93:    6.1*x152 + 3*x153 + 4.6*x154 + 1.4*x155 - x156 - x248 <= -1;

e94:    5.8*x152 + 2.6*x153 + 4*x154 + 1.2*x155 - x156 - x249 <= -1;

e95:    5*x152 + 2.3*x153 + 3.3*x154 + x155 - x156 - x250 <= -1;

e96:    5.6*x152 + 2.7*x153 + 4.2*x154 + 1.3*x155 - x156 - x251 <= -1;

e97:    5.7*x152 + 3*x153 + 4.2*x154 + 1.2*x155 - x156 - x252 <= -1;

e98:    5.7*x152 + 2.9*x153 + 4.2*x154 + 1.3*x155 - x156 - x253 <= -1;

e99:    6.2*x152 + 2.9*x153 + 4.3*x154 + 1.3*x155 - x156 - x254 <= -1;

e100:    5.1*x152 + 2.5*x153 + 3*x154 + 1.1*x155 - x156 - x255 <= -1;

e101:    5.7*x152 + 2.8*x153 + 4.1*x154 + 1.3*x155 - x156 - x256 <= -1;

e102:  - 6.3*x152 - 3.3*x153 - 6*x154 - 2.5*x155 + x156 - x257 <= -1;

e103:  - 5.8*x152 - 2.7*x153 - 5.1*x154 - 1.9*x155 + x156 - x258 <= -1;

e104:  - 7.1*x152 - 3*x153 - 5.9*x154 - 2.1*x155 + x156 - x259 <= -1;

e105:  - 6.3*x152 - 2.9*x153 - 5.6*x154 - 1.8*x155 + x156 - x260 <= -1;

e106:  - 6.5*x152 - 3*x153 - 5.8*x154 - 2.2*x155 + x156 - x261 <= -1;

e107:  - 7.6*x152 - 3*x153 - 6.6*x154 - 2.1*x155 + x156 - x262 <= -1;

e108:  - 4.9*x152 - 2.5*x153 - 4.5*x154 - 1.7*x155 + x156 - x263 <= -1;

e109:  - 7.3*x152 - 2.9*x153 - 6.3*x154 - 1.8*x155 + x156 - x264 <= -1;

e110:  - 6.7*x152 - 2.5*x153 - 5.8*x154 - 1.8*x155 + x156 - x265 <= -1;

e111:  - 7.2*x152 - 3.6*x153 - 6.1*x154 - 2.5*x155 + x156 - x266 <= -1;

e112:  - 6.5*x152 - 3.2*x153 - 5.1*x154 - 2*x155 + x156 - x267 <= -1;

e113:  - 6.4*x152 - 2.7*x153 - 5.3*x154 - 1.9*x155 + x156 - x268 <= -1;

e114:  - 6.8*x152 - 3*x153 - 5.5*x154 - 2.1*x155 + x156 - x269 <= -1;

e115:  - 5.7*x152 - 2.5*x153 - 5*x154 - 2*x155 + x156 - x270 <= -1;

e116:  - 5.8*x152 - 2.8*x153 - 5.1*x154 - 2.4*x155 + x156 - x271 <= -1;

e117:  - 6.4*x152 - 3.2*x153 - 5.3*x154 - 2.3*x155 + x156 - x272 <= -1;

e118:  - 6.5*x152 - 3*x153 - 5.5*x154 - 1.8*x155 + x156 - x273 <= -1;

e119:  - 7.7*x152 - 3.8*x153 - 6.7*x154 - 2.2*x155 + x156 - x274 <= -1;

e120:  - 7.7*x152 - 2.6*x153 - 6.9*x154 - 2.3*x155 + x156 - x275 <= -1;

e121:  - 6*x152 - 2.2*x153 - 5*x154 - 1.5*x155 + x156 - x276 <= -1;

e122:  - 6.9*x152 - 3.2*x153 - 5.7*x154 - 2.3*x155 + x156 - x277 <= -1;

e123:  - 5.6*x152 - 2.8*x153 - 4.9*x154 - 2*x155 + x156 - x278 <= -1;

e124:  - 7.7*x152 - 2.8*x153 - 6.7*x154 - 2*x155 + x156 - x279 <= -1;

e125:  - 6.3*x152 - 2.7*x153 - 4.9*x154 - 1.8*x155 + x156 - x280 <= -1;

e126:  - 6.7*x152 - 3.3*x153 - 5.7*x154 - 2.1*x155 + x156 - x281 <= -1;

e127:  - 7.2*x152 - 3.2*x153 - 6*x154 - 1.8*x155 + x156 - x282 <= -1;

e128:  - 6.2*x152 - 2.8*x153 - 4.8*x154 - 1.8*x155 + x156 - x283 <= -1;

e129:  - 6.1*x152 - 3*x153 - 4.9*x154 - 1.8*x155 + x156 - x284 <= -1;

e130:  - 6.4*x152 - 2.8*x153 - 5.6*x154 - 2.1*x155 + x156 - x285 <= -1;

e131:  - 7.2*x152 - 3*x153 - 5.8*x154 - 1.6*x155 + x156 - x286 <= -1;

e132:  - 7.4*x152 - 2.8*x153 - 6.1*x154 - 1.9*x155 + x156 - x287 <= -1;

e133:  - 7.9*x152 - 3.8*x153 - 6.4*x154 - 2*x155 + x156 - x288 <= -1;

e134:  - 6.4*x152 - 2.8*x153 - 5.6*x154 - 2.2*x155 + x156 - x289 <= -1;

e135:  - 6.3*x152 - 2.8*x153 - 5.1*x154 - 1.5*x155 + x156 - x290 <= -1;

e136:  - 6.1*x152 - 2.6*x153 - 5.6*x154 - 1.4*x155 + x156 - x291 <= -1;

e137:  - 7.7*x152 - 3*x153 - 6.1*x154 - 2.3*x155 + x156 - x292 <= -1;

e138:  - 6.3*x152 - 3.4*x153 - 5.6*x154 - 2.4*x155 + x156 - x293 <= -1;

e139:  - 6.4*x152 - 3.1*x153 - 5.5*x154 - 1.8*x155 + x156 - x294 <= -1;

e140:  - 6*x152 - 3*x153 - 4.8*x154 - 1.8*x155 + x156 - x295 <= -1;

e141:  - 6.9*x152 - 3.1*x153 - 5.4*x154 - 2.1*x155 + x156 - x296 <= -1;

e142:  - 6.7*x152 - 3.1*x153 - 5.6*x154 - 2.4*x155 + x156 - x297 <= -1;

e143:  - 6.9*x152 - 3.1*x153 - 5.1*x154 - 2.3*x155 + x156 - x298 <= -1;

e144:  - 5.8*x152 - 2.7*x153 - 5.1*x154 - 1.9*x155 + x156 - x299 <= -1;

e145:  - 6.8*x152 - 3.2*x153 - 5.9*x154 - 2.3*x155 + x156 - x300 <= -1;

e146:  - 6.7*x152 - 3.3*x153 - 5.7*x154 - 2.5*x155 + x156 - x301 <= -1;

e147:  - 6.7*x152 - 3*x153 - 5.2*x154 - 2.3*x155 + x156 - x302 <= -1;

e148:  - 6.3*x152 - 2.5*x153 - 5*x154 - 1.9*x155 + x156 - x303 <= -1;

e149:  - 6.5*x152 - 3*x153 - 5.2*x154 - 2*x155 + x156 - x304 <= -1;

e150:  - 6.2*x152 - 3.4*x153 - 5.4*x154 - 2.3*x155 + x156 - x305 <= -1;

e151:  - 5.9*x152 - 3*x153 - 5.1*x154 - 1.8*x155 + x156 - x306 <= -1;

e152:  - b2 - x307 = -1;

e153:  - b3 - x308 = -1;

e154:  - b4 - x309 = -1;

e155:  - b5 - x310 = -1;

e156:  - b6 - x311 = -1;

e157:  - b7 - x312 = -1;

e158:  - b8 - x313 = -1;

e159:  - b9 - x314 = -1;

e160:  - b10 - x315 = -1;

e161:  - b11 - x316 = -1;

e162:  - b12 - x317 = -1;

e163:  - b13 - x318 = -1;

e164:  - b14 - x319 = -1;

e165:  - b15 - x320 = -1;

e166:  - b16 - x321 = -1;

e167:  - b17 - x322 = -1;

e168:  - b18 - x323 = -1;

e169:  - b19 - x324 = -1;

e170:  - b20 - x325 = -1;

e171:  - b21 - x326 = -1;

e172:  - b22 - x327 = -1;

e173:  - b23 - x328 = -1;

e174:  - b24 - x329 = -1;

e175:  - b25 - x330 = -1;

e176:  - b26 - x331 = -1;

e177:  - b27 - x332 = -1;

e178:  - b28 - x333 = -1;

e179:  - b29 - x334 = -1;

e180:  - b30 - x335 = -1;

e181:  - b31 - x336 = -1;

e182:  - b32 - x337 = -1;

e183:  - b33 - x338 = -1;

e184:  - b34 - x339 = -1;

e185:  - b35 - x340 = -1;

e186:  - b36 - x341 = -1;

e187:  - b37 - x342 = -1;

e188:  - b38 - x343 = -1;

e189:  - b39 - x344 = -1;

e190:  - b40 - x345 = -1;

e191:  - b41 - x346 = -1;

e192:  - b42 - x347 = -1;

e193:  - b43 - x348 = -1;

e194:  - b44 - x349 = -1;

e195:  - b45 - x350 = -1;

e196:  - b46 - x351 = -1;

e197:  - b47 - x352 = -1;

e198:  - b48 - x353 = -1;

e199:  - b49 - x354 = -1;

e200:  - b50 - x355 = -1;

e201:  - b51 - x356 = -1;

e202:  - b52 - x357 = -1;

e203:  - b53 - x358 = -1;

e204:  - b54 - x359 = -1;

e205:  - b55 - x360 = -1;

e206:  - b56 - x361 = -1;

e207:  - b57 - x362 = -1;

e208:  - b58 - x363 = -1;

e209:  - b59 - x364 = -1;

e210:  - b60 - x365 = -1;

e211:  - b61 - x366 = -1;

e212:  - b62 - x367 = -1;

e213:  - b63 - x368 = -1;

e214:  - b64 - x369 = -1;

e215:  - b65 - x370 = -1;

e216:  - b66 - x371 = -1;

e217:  - b67 - x372 = -1;

e218:  - b68 - x373 = -1;

e219:  - b69 - x374 = -1;

e220:  - b70 - x375 = -1;

e221:  - b71 - x376 = -1;

e222:  - b72 - x377 = -1;

e223:  - b73 - x378 = -1;

e224:  - b74 - x379 = -1;

e225:  - b75 - x380 = -1;

e226:  - b76 - x381 = -1;

e227:  - b77 - x382 = -1;

e228:  - b78 - x383 = -1;

e229:  - b79 - x384 = -1;

e230:  - b80 - x385 = -1;

e231:  - b81 - x386 = -1;

e232:  - b82 - x387 = -1;

e233:  - b83 - x388 = -1;

e234:  - b84 - x389 = -1;

e235:  - b85 - x390 = -1;

e236:  - b86 - x391 = -1;

e237:  - b87 - x392 = -1;

e238:  - b88 - x393 = -1;

e239:  - b89 - x394 = -1;

e240:  - b90 - x395 = -1;

e241:  - b91 - x396 = -1;

e242:  - b92 - x397 = -1;

e243:  - b93 - x398 = -1;

e244:  - b94 - x399 = -1;

e245:  - b95 - x400 = -1;

e246:  - b96 - x401 = -1;

e247:  - b97 - x402 = -1;

e248:  - b98 - x403 = -1;

e249:  - b99 - x404 = -1;

e250:  - b100 - x405 = -1;

e251:  - b101 - x406 = -1;

e252:  - b102 - x407 = -1;

e253:  - b103 - x408 = -1;

e254:  - b104 - x409 = -1;

e255:  - b105 - x410 = -1;

e256:  - b106 - x411 = -1;

e257:  - b107 - x412 = -1;

e258:  - b108 - x413 = -1;

e259:  - b109 - x414 = -1;

e260:  - b110 - x415 = -1;

e261:  - b111 - x416 = -1;

e262:  - b112 - x417 = -1;

e263:  - b113 - x418 = -1;

e264:  - b114 - x419 = -1;

e265:  - b115 - x420 = -1;

e266:  - b116 - x421 = -1;

e267:  - b117 - x422 = -1;

e268:  - b118 - x423 = -1;

e269:  - b119 - x424 = -1;

e270:  - b120 - x425 = -1;

e271:  - b121 - x426 = -1;

e272:  - b122 - x427 = -1;

e273:  - b123 - x428 = -1;

e274:  - b124 - x429 = -1;

e275:  - b125 - x430 = -1;

e276:  - b126 - x431 = -1;

e277:  - b127 - x432 = -1;

e278:  - b128 - x433 = -1;

e279:  - b129 - x434 = -1;

e280:  - b130 - x435 = -1;

e281:  - b131 - x436 = -1;

e282:  - b132 - x437 = -1;

e283:  - b133 - x438 = -1;

e284:  - b134 - x439 = -1;

e285:  - b135 - x440 = -1;

e286:  - b136 - x441 = -1;

e287:  - b137 - x442 = -1;

e288:  - b138 - x443 = -1;

e289:  - b139 - x444 = -1;

e290:  - b140 - x445 = -1;

e291:  - b141 - x446 = -1;

e292:  - b142 - x447 = -1;

e293:  - b143 - x448 = -1;

e294:  - b144 - x449 = -1;

e295:  - b145 - x450 = -1;

e296:  - b146 - x451 = -1;

e297:  - b147 - x452 = -1;

e298:  - b148 - x453 = -1;

e299:  - b149 - x454 = -1;

e300:  - b150 - x455 = -1;

e301:  - b151 - x456 = -1;

e302: x307*x157 = 0;

e303: x308*x158 = 0;

e304: x309*x159 = 0;

e305: x310*x160 = 0;

e306: x311*x161 = 0;

e307: x312*x162 = 0;

e308: x313*x163 = 0;

e309: x314*x164 = 0;

e310: x315*x165 = 0;

e311: x316*x166 = 0;

e312: x317*x167 = 0;

e313: x318*x168 = 0;

e314: x319*x169 = 0;

e315: x320*x170 = 0;

e316: x321*x171 = 0;

e317: x322*x172 = 0;

e318: x323*x173 = 0;

e319: x324*x174 = 0;

e320: x325*x175 = 0;

e321: x326*x176 = 0;

e322: x327*x177 = 0;

e323: x328*x178 = 0;

e324: x329*x179 = 0;

e325: x330*x180 = 0;

e326: x331*x181 = 0;

e327: x332*x182 = 0;

e328: x333*x183 = 0;

e329: x334*x184 = 0;

e330: x335*x185 = 0;

e331: x336*x186 = 0;

e332: x337*x187 = 0;

e333: x338*x188 = 0;

e334: x339*x189 = 0;

e335: x340*x190 = 0;

e336: x341*x191 = 0;

e337: x342*x192 = 0;

e338: x343*x193 = 0;

e339: x344*x194 = 0;

e340: x345*x195 = 0;

e341: x346*x196 = 0;

e342: x347*x197 = 0;

e343: x348*x198 = 0;

e344: x349*x199 = 0;

e345: x350*x200 = 0;

e346: x351*x201 = 0;

e347: x352*x202 = 0;

e348: x353*x203 = 0;

e349: x354*x204 = 0;

e350: x355*x205 = 0;

e351: x356*x206 = 0;

e352: x357*x207 = 0;

e353: x358*x208 = 0;

e354: x359*x209 = 0;

e355: x360*x210 = 0;

e356: x361*x211 = 0;

e357: x362*x212 = 0;

e358: x363*x213 = 0;

e359: x364*x214 = 0;

e360: x365*x215 = 0;

e361: x366*x216 = 0;

e362: x367*x217 = 0;

e363: x368*x218 = 0;

e364: x369*x219 = 0;

e365: x370*x220 = 0;

e366: x371*x221 = 0;

e367: x372*x222 = 0;

e368: x373*x223 = 0;

e369: x374*x224 = 0;

e370: x375*x225 = 0;

e371: x376*x226 = 0;

e372: x377*x227 = 0;

e373: x378*x228 = 0;

e374: x379*x229 = 0;

e375: x380*x230 = 0;

e376: x381*x231 = 0;

e377: x382*x232 = 0;

e378: x383*x233 = 0;

e379: x384*x234 = 0;

e380: x385*x235 = 0;

e381: x386*x236 = 0;

e382: x387*x237 = 0;

e383: x388*x238 = 0;

e384: x389*x239 = 0;

e385: x390*x240 = 0;

e386: x391*x241 = 0;

e387: x392*x242 = 0;

e388: x393*x243 = 0;

e389: x394*x244 = 0;

e390: x395*x245 = 0;

e391: x396*x246 = 0;

e392: x397*x247 = 0;

e393: x398*x248 = 0;

e394: x399*x249 = 0;

e395: x400*x250 = 0;

e396: x401*x251 = 0;

e397: x402*x252 = 0;

e398: x403*x253 = 0;

e399: x404*x254 = 0;

e400: x405*x255 = 0;

e401: x406*x256 = 0;

e402: x407*x257 = 0;

e403: x408*x258 = 0;

e404: x409*x259 = 0;

e405: x410*x260 = 0;

e406: x411*x261 = 0;

e407: x412*x262 = 0;

e408: x413*x263 = 0;

e409: x414*x264 = 0;

e410: x415*x265 = 0;

e411: x416*x266 = 0;

e412: x417*x267 = 0;

e413: x418*x268 = 0;

e414: x419*x269 = 0;

e415: x420*x270 = 0;

e416: x421*x271 = 0;

e417: x422*x272 = 0;

e418: x423*x273 = 0;

e419: x424*x274 = 0;

e420: x425*x275 = 0;

e421: x426*x276 = 0;

e422: x427*x277 = 0;

e423: x428*x278 = 0;

e424: x429*x279 = 0;

e425: x430*x280 = 0;

e426: x431*x281 = 0;

e427: x432*x282 = 0;

e428: x433*x283 = 0;

e429: x434*x284 = 0;

e430: x435*x285 = 0;

e431: x436*x286 = 0;

e432: x437*x287 = 0;

e433: x438*x288 = 0;

e434: x439*x289 = 0;

e435: x440*x290 = 0;

e436: x441*x291 = 0;

e437: x442*x292 = 0;

e438: x443*x293 = 0;

e439: x444*x294 = 0;

e440: x445*x295 = 0;

e441: x446*x296 = 0;

e442: x447*x297 = 0;

e443: x448*x298 = 0;

e444: x449*x299 = 0;

e445: x450*x300 = 0;

e446: x451*x301 = 0;

e447: x452*x302 = 0;

e448: x453*x303 = 0;

e449: x454*x304 = 0;

e450: x455*x305 = 0;

e451: x456*x306 = 0;