#  QCP written by GAMS Convert at 02/15/18 15:46:16
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        252      244        0        8        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        304      304        0        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1105      881      224        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 1000000;
var x3 >= 0, <= 1000000;
var x4 >= 0, <= 1000000;
var x5 >= 0, <= 1000000;
var x6 >= 0, <= 1000000;
var x7 >= 0, <= 1000000;
var x8 >= 0, <= 1000000;
var x9 >= 0, <= 1000000;
var x10 >= 0, <= 1000000;
var x11 >= 0, <= 1000000;
var x12 >= 0, <= 1000000;
var x13 >= 0, <= 1000000;
var x14 >= 0, <= 1000000;
var x15 >= 0, <= 1000000;
var x16 >= 0, <= 1000000;
var x17 >= 0, <= 1000000;
var x18 >= 0, <= 1000000;
var x19 >= 0, <= 1000000;
var x20 >= 0, <= 1000000;
var x21 >= 0, <= 1000000;
var x22 >= 0, <= 1000000;
var x23 >= 0, <= 1000000;
var x24 >= 0, <= 1000000;
var x25 >= 0, <= 1000000;
var x26 >= 0, <= 1000000;
var x27 >= 0, <= 1000000;
var x28 >= 0, <= 1000000;
var x29 >= 0, <= 1000000;
var x30 >= 0, <= 1000000;
var x31 >= 0, <= 1000000;
var x32 >= 0, <= 1000000;
var x33 >= 0, <= 1000000;
var x34 >= 0, <= 1000000;
var x35 >= 0, <= 1000000;
var x36 >= 0, <= 1000000;
var x37 >= 0, <= 1000000;
var x38 >= 0, <= 1000000;
var x39 >= 0, <= 1000000;
var x40 >= 0, <= 1000000;
var x41 >= 0, <= 1000000;
var x42 >= 0, <= 1000000;
var x43 >= 0, <= 1000000;
var x44 >= 0, <= 1000000;
var x45 >= 0, <= 1000000;
var x46 >= 0, <= 1000000;
var x47 >= 0, <= 1000000;
var x48 >= 0, <= 1000000;
var x49 >= 0, <= 1000000;
var x50 >= 0, <= 1000000;
var x51 >= 0, <= 1000000;
var x52 >= 0, <= 1000000;
var x53 >= 0, <= 1000000;
var x54 >= 0, <= 1000000;
var x55 >= 0, <= 1000000;
var x56 >= 0, <= 1000000;
var x57 >= 0, <= 1000000;
var x58 >= 0, <= 1000000;
var x59 >= 0, <= 1000000;
var x60 >= 0, <= 1000000;
var x61 >= 0, <= 1000000;
var x62 >= 0, <= 1000000;
var x63 >= 0, <= 1000000;
var x64 >= 0, <= 1000000;
var x65 >= 0, <= 1000000;
var x66 >= 0, <= 1000000;
var x67 >= 0, <= 1000000;
var x68 >= 0, <= 1000000;
var x69 >= 0, <= 1000000;
var x70 >= 0, <= 1000000;
var x71 >= 0, <= 1000000;
var x72 >= 0, <= 1000000;
var x73 >= 0, <= 1000000;
var x74 >= 0, <= 1000000;
var x75 >= 0, <= 1000000;
var x76 >= 0, <= 1000000;
var x77 >= 0, <= 1000000;
var x78 >= 0, <= 1000000;
var x79 >= 0, <= 1000000;
var x80 >= 0, <= 1000000;
var x81 >= 0, <= 1000000;
var x82 >= 0, <= 1000000;
var x83 >= 0, <= 1000000;
var x84 >= 0, <= 1000000;
var x85 >= 0, <= 1000000;
var x86 >= 0, <= 1000000;
var x87 >= 0, <= 1000000;
var x88 >= 0, <= 1000000;
var x89 >= 0, <= 1000000;
var x90 >= 0, <= 1000000;
var x91 >= 0, <= 1000000;
var x92 >= 0, <= 1000000;
var x93 >= 0, <= 1000000;
var x94 >= 0, <= 1000000;
var x95 >= 0, <= 1000000;
var x96 >= 0, <= 1000000;
var x97 >= 0, <= 1000000;
var x98 >= 0, <= 1000000;
var x99 >= 0, <= 1000000;
var x100 >= 0, <= 1000000;
var x101 >= 0, <= 1000000;
var x102 >= 0, <= 1000000;
var x103 >= 0, <= 1000000;
var x104 >= 0, <= 1000000;
var x105 >= 0, <= 1000000;
var x106 >= 0, <= 1000000;
var x107 >= 0, <= 1000000;
var x108 >= 0, <= 1000000;
var x109 >= 0, <= 1000000;
var x110 >= 0, <= 1000000;
var x111 >= 0, <= 1000000;
var x112 >= 0, <= 1000000;
var x113 >= 0, <= 1000000;
var x114 >= 0, <= 1000000;
var x115 >= 0, <= 1000000;
var x116 >= 0, <= 1000000;
var x117 >= 0, <= 1000000;
var x118 >= 0, <= 1000000;
var x119 >= 0, <= 1000000;
var x120 >= 0, <= 1000000;
var x121 >= 0, <= 1000000;
var x122 >= 0, <= 1000000;
var x123 >= 0, <= 1000000;
var x124 >= 0, <= 1000000;
var x125 >= 0, <= 1000000;
var x126 >= 0, <= 1000000;
var x127 >= 0, <= 1000000;
var x128 >= 0, <= 1000000;
var x129 >= 0, <= 1000000;
var x130 >= 0, <= 1000000;
var x131 >= 0, <= 1000000;
var x132 >= 0, <= 1000000;
var x133 >= 0, <= 1000000;
var x134 >= 0, <= 1000000;
var x135 >= 0, <= 1000000;
var x136 >= 0, <= 1000000;
var x137 >= 0, <= 1000000;
var x138 >= 0, <= 1000000;
var x139 >= 0, <= 1000000;
var x140 >= 0, <= 1000000;
var x141 >= 0, <= 1000000;
var x142 >= 0, <= 1000000;
var x143 >= 0, <= 1000000;
var x144 >= 0, <= 1000000;
var x145 >= 0, <= 1000000;
var x146 >= 0, <= 1000000;
var x147 >= 0, <= 1000000;
var x148 >= 0, <= 1000000;
var x149 >= 0, <= 1000000;
var x150 >= 0, <= 1000000;
var x151 >= 0, <= 1000000;
var x152 >= 0, <= 1000000;
var x153 >= 0, <= 1000000;
var x154 >= 0, <= 1000000;
var x155 >= 0, <= 1000000;
var x156 >= 0, <= 1000000;
var x157 >= 0, <= 1000000;
var x158 >= 0, <= 1000000;
var x159 >= 0, <= 1000000;
var x160 >= 0, <= 1000000;
var x161 >= 0, <= 1000000;
var x162 >= 0, <= 1000000;
var x163 >= 0, <= 1000000;
var x164 >= 0, <= 1000000;
var x165 >= 0, <= 1000000;
var x166 >= 0, <= 1000000;
var x167 >= 0, <= 1000000;
var x168 >= 0, <= 1000000;
var x169 >= 0, <= 1000000;
var x170 >= 0, <= 1000000;
var x171 >= 0, <= 1000000;
var x172 >= 0, <= 1000000;
var x173 >= 0, <= 1000000;
var x174 >= 0, <= 1000000;
var x175 >= 0, <= 1000000;
var x176 >= 0, <= 1000000;
var x177 >= 0, <= 1000000;
var x178 >= 0, <= 1000000;
var x179 >= 0, <= 1000000;
var x180 >= 0, <= 1000000;
var x181 >= 0, <= 1000000;
var x182 >= 0, <= 1000000;
var x183 >= 0, <= 1000000;
var x184 >= 0, <= 1000000;
var x185 >= 0, <= 1000000;
var x186 >= 0, <= 1000000;
var x187 >= 0, <= 1000000;
var x188 >= 0, <= 1000000;
var x189 >= 0, <= 1000000;
var x190 >= 0, <= 1000000;
var x191 >= 0, <= 1000000;
var x192 >= 0, <= 1000000;
var x193 >= 0, <= 1000000;
var x194 >= 0, <= 1000000;
var x195 >= 0, <= 1000000;
var x196 >= 0, <= 1000000;
var x197 >= 0, <= 1000000;
var x198 >= 0, <= 1000000;
var x199 >= 0, <= 1000000;
var x200 >= 0, <= 1000000;
var x201 >= 0, <= 1000000;
var x202 >= 0, <= 1000000;
var x203 >= 0, <= 1000000;
var x204 >= 0, <= 1000000;
var x205 >= 0, <= 1000000;
var x206 >= 0, <= 1000000;
var x207 >= 0, <= 1000000;
var x208 >= 0, <= 1000000;
var x209 >= 0, <= 1000000;
var x210 >= 0, <= 1000000;
var x211 >= 0, <= 1000000;
var x212 >= 0, <= 1000000;
var x213 >= 0, <= 1000000;
var x214 >= 0, <= 1000000;
var x215 >= 0, <= 1000000;
var x216 >= 0, <= 1000000;
var x217 >= 0, <= 1000000;
var x218 >= 0, <= 1000000;
var x219 >= 0, <= 1000000;
var x220 >= 0, <= 1000000;
var x221 >= 0, <= 1000000;
var x222 >= 0, <= 1000000;
var x223 >= 0, <= 1000000;
var x224 >= 0, <= 1000000;
var x225 >= 0, <= 1000000;
var x226 >= 0, <= 1000000;
var x227 >= 0, <= 1000000;
var x228 >= 0, <= 1000000;
var x229 >= 0, <= 1000000;
var x230 >= 0, <= 1000000;
var x231 >= 0, <= 1000000;
var x232 >= 0, <= 1000000;
var x233 >= 0, <= 1000000;
var x234 >= 0, <= 1000000;
var x235 >= 0, <= 1000000;
var x236 >= 0, <= 1000000;
var x237 >= 0, <= 1000000;
var x238 >= 0, <= 1000000;
var x239 >= 0, <= 1000000;
var x240 >= 0, <= 1000000;
var x241 >= 0, <= 1000000;
var x242 >= 0, <= 1000000;
var x243 >= 0, <= 1000000;
var x244 >= 0, <= 1000000;
var x245 >= 0, <= 1000000;
var x246 >= 0, <= 1000000;
var x247 >= 0, <= 1000000;
var x248 >= 0, <= 1000000;
var x249 >= 0, <= 1000000;
var x250 >= 0, <= 1000000;
var x251 >= 0, <= 1000000;
var x252 >= 0, <= 1000000;
var x253 >= 0, <= 1000000;
var x254 >= 0, <= 1000000;
var x255 >= 0, <= 1000000;
var x256 >= 0, <= 1000000;
var x257 >= 0, <= 1000000;
var x258 >= 0, <= 1000000;
var x259 >= 0, <= 1000000;
var x260 >= 0, <= 1000000;
var x261 >= 0, <= 1000000;
var x262 >= 0, <= 1000000;
var x263 >= 0, <= 1000000;
var x264 >= 0, <= 1000000;
var x265 >= 0, <= 1000000;
var x266 >= 0, <= 1000000;
var x267 >= 0, <= 1000000;
var x268 >= 0, <= 1000000;
var x269 >= 0, <= 1000000;
var x270 >= 0, <= 1000000;
var x271 >= 0, <= 1000000;
var x272 >= 0, <= 1000000;
var x273 >= 0, <= 1000000;
var x274 >= 0, <= 1000000;
var x275 >= 0, <= 1000000;
var x276 >= 0, <= 1000000;
var x277 >= 0, <= 1000000;
var x278 >= 0, <= 1000000;
var x279 >= 0, <= 1000000;
var x280 >= 0, <= 1000000;
var x281 >= 0, <= 1000000;
var x282 >= 0, <= 1000000;
var x283 >= 0, <= 1000000;
var x284 >= 0, <= 1000000;
var x285 >= 0, <= 1000000;
var x286 >= 0, <= 1000000;
var x287 >= 0, <= 1000000;
var x288 >= 0, <= 1000000;
var x289 >= 0, <= 1000000;
var x290 >= 0, <= 1000000;
var x291 >= 0, <= 1000000;
var x292 >= 0, <= 1000000;
var x293 >= 0, <= 1000000;
var x294 >= 0, <= 1000000;
var x295 >= 0, <= 1000000;
var x296 >= 0, <= 1000000;
var x297 >= 0, <= 1000000;
var x298 >= 0, <= 1000000;
var x299 >= 0, <= 1000000;
var x300 >= 0, <= 1000000;
var x301 >= 0, <= 1000000;
var x302 >= 0, <= 1000000;
var x303 >= 0, <= 1000000;
var x304 >= 0, <= 1000000;

minimize obj:    x2 + x3 + x4 + x5 + x6 + x7 + x8;

subject to

e2:  - x9 - x10 - x11 - x12 - x13 - x14 - x15 - x16 = -80;

e3:  - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 = -450;

e4:  - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x32 = -230;

e5:  - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 = -90;

e6:  - x41 - x42 - x43 - x44 - x45 - x46 - x47 - x48 = -330;

e7:    x2 - x10 - x18 - x26 - x34 - x42 - x49 - x50 - x51 - x52 - x53 - x54
     - x55 = 0;

e8:    x3 - x11 - x19 - x27 - x35 - x43 - x56 - x57 - x58 - x59 - x60 - x61
     - x62 = 0;

e9:    x4 - x12 - x20 - x28 - x36 - x44 - x63 - x64 - x65 - x66 - x67 - x68
     - x69 = 0;

e10:    x5 - x13 - x21 - x29 - x37 - x45 - x70 - x71 - x72 - x73 - x74 - x75
      - x76 = 0;

e11:    x6 - x14 - x22 - x30 - x38 - x46 - x77 - x78 - x79 - x80 - x81 - x82
      - x83 = 0;

e12:    x7 - x15 - x23 - x31 - x39 - x47 - x84 - x85 - x86 - x87 - x88 - x89
      - x90 = 0;

e13:    x8 - x16 - x24 - x32 - x40 - x48 - x91 - x92 - x93 - x94 - x95 - x96
      - x97 = 0;

e14:    x2 - x49 - x56 - x63 - x70 - x77 - x84 - x91 - x98 = 0;

e15:    x3 - x50 - x57 - x64 - x71 - x78 - x85 - x92 - x99 = 0;

e16:    x4 - x51 - x58 - x65 - x72 - x79 - x86 - x93 - x100 = 0;

e17:    x5 - x52 - x59 - x66 - x73 - x80 - x87 - x94 - x101 = 0;

e18:    x6 - x53 - x60 - x67 - x74 - x81 - x88 - x95 - x102 = 0;

e19:    x7 - x54 - x61 - x68 - x75 - x82 - x89 - x96 - x103 = 0;

e20:    x8 - x55 - x62 - x69 - x76 - x83 - x90 - x97 - x104 = 0;

e21:  - x9 - x17 - x25 - x33 - x41 - x98 - x99 - x100 - x101 - x102 - x103
      - x104 + x105 = 0;

e22:  - x106 - x107 - x108 - x109 - x110 - x111 - x112 - x113 = -960;

e23:  - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121 = -22500;

e24:  - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 = -115000;

e25:  - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 = -36000;

e26:  - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 = -39600;

e27:  - x107 + 960*x146 = 0;

e28:  - x108 + 960*x147 = 0;

e29:  - x109 + 960*x148 = 0;

e30:  - x110 + 960*x149 = 0;

e31:  - x111 + 960*x150 = 0;

e32:  - x112 + 960*x151 = 0;

e33:  - x113 + 960*x152 = 0;

e34:  - x115 + 22500*x153 = 0;

e35:  - x116 + 22500*x154 = 0;

e36:  - x117 + 22500*x155 = 0;

e37:  - x118 + 22500*x156 = 0;

e38:  - x119 + 22500*x157 = 0;

e39:  - x120 + 22500*x158 = 0;

e40:  - x121 + 22500*x159 = 0;

e41:  - x123 + 115000*x160 = 0;

e42:  - x124 + 115000*x161 = 0;

e43:  - x125 + 115000*x162 = 0;

e44:  - x126 + 115000*x163 = 0;

e45:  - x127 + 115000*x164 = 0;

e46:  - x128 + 115000*x165 = 0;

e47:  - x129 + 115000*x166 = 0;

e48:  - x131 + 36000*x167 = 0;

e49:  - x132 + 36000*x168 = 0;

e50:  - x133 + 36000*x169 = 0;

e51:  - x134 + 36000*x170 = 0;

e52:  - x135 + 36000*x171 = 0;

e53:  - x136 + 36000*x172 = 0;

e54:  - x137 + 36000*x173 = 0;

e55:  - x139 + 39600*x174 = 0;

e56:  - x140 + 39600*x175 = 0;

e57:  - x141 + 39600*x176 = 0;

e58:  - x142 + 39600*x177 = 0;

e59:  - x143 + 39600*x178 = 0;

e60:  - x144 + 39600*x179 = 0;

e61:  - x145 + 39600*x180 = 0;

e62:  - x106 + 960*x181 = 0;

e63:  - x114 + 22500*x182 = 0;

e64:  - x122 + 115000*x183 = 0;

e65:  - x130 + 36000*x184 = 0;

e66:  - x138 + 39600*x185 = 0;

e67:  - x10 + 80*x146 = 0;

e68:  - x11 + 80*x147 = 0;

e69:  - x12 + 80*x148 = 0;

e70:  - x13 + 80*x149 = 0;

e71:  - x14 + 80*x150 = 0;

e72:  - x15 + 80*x151 = 0;

e73:  - x16 + 80*x152 = 0;

e74:  - x18 + 450*x153 = 0;

e75:  - x19 + 450*x154 = 0;

e76:  - x20 + 450*x155 = 0;

e77:  - x21 + 450*x156 = 0;

e78:  - x22 + 450*x157 = 0;

e79:  - x23 + 450*x158 = 0;

e80:  - x24 + 450*x159 = 0;

e81:  - x26 + 230*x160 = 0;

e82:  - x27 + 230*x161 = 0;

e83:  - x28 + 230*x162 = 0;

e84:  - x29 + 230*x163 = 0;

e85:  - x30 + 230*x164 = 0;

e86:  - x31 + 230*x165 = 0;

e87:  - x32 + 230*x166 = 0;

e88:  - x34 + 90*x167 = 0;

e89:  - x35 + 90*x168 = 0;

e90:  - x36 + 90*x169 = 0;

e91:  - x37 + 90*x170 = 0;

e92:  - x38 + 90*x171 = 0;

e93:  - x39 + 90*x172 = 0;

e94:  - x40 + 90*x173 = 0;

e95:  - x42 + 330*x174 = 0;

e96:  - x43 + 330*x175 = 0;

e97:  - x44 + 330*x176 = 0;

e98:  - x45 + 330*x177 = 0;

e99:  - x46 + 330*x178 = 0;

e100:  - x47 + 330*x179 = 0;

e101:  - x48 + 330*x180 = 0;

e102:  - x9 + 80*x181 = 0;

e103:  - x17 + 450*x182 = 0;

e104:  - x25 + 230*x183 = 0;

e105:  - x33 + 90*x184 = 0;

e106:  - x41 + 330*x185 = 0;

e107:    x146 + x147 + x148 + x149 + x150 + x151 + x152 + x181 = 1;

e108:    x153 + x154 + x155 + x156 + x157 + x158 + x159 + x182 = 1;

e109:    x160 + x161 + x162 + x163 + x164 + x165 + x166 + x183 = 1;

e110:    x167 + x168 + x169 + x170 + x171 + x172 + x173 + x184 = 1;

e111:    x174 + x175 + x176 + x177 + x178 + x179 + x180 + x185 = 1;

e112:  - 400*x2 + x107 + x115 + x123 + x131 + x139 + x186 + x187 + x188 + x189
       + x190 + x191 + x192 <= 0;

e113:  - 100*x3 + x108 + x116 + x124 + x132 + x140 + x193 + x194 + x195 + x196
       + x197 + x198 + x199 <= 0;

e114:  - 50*x4 + x109 + x117 + x125 + x133 + x141 + x200 + x201 + x202 + x203
       + x204 + x205 + x206 <= 0;

e115:  - 570*x5 + x110 + x118 + x126 + x134 + x142 + x207 + x208 + x209 + x210
       + x211 + x212 + x213 <= 0;

e116:  - 100*x6 + x111 + x119 + x127 + x135 + x143 + x214 + x215 + x216 + x217
       + x218 + x219 + x220 <= 0;

e117:  - 30*x7 + x112 + x120 + x128 + x136 + x144 + x221 + x222 + x223 + x224
       + x225 + x226 + x227 <= 0;

e118:  - 640*x8 + x113 + x121 + x129 + x137 + x145 + x228 + x229 + x230 + x231
       + x232 + x233 + x234 <= 0;

e119:    0.9*x107 + 0.9*x115 + 0.9*x123 + 0.9*x131 + 0.9*x139 + 0.9*x186
       + 0.9*x187 + 0.9*x188 + 0.9*x189 + 0.9*x190 + 0.9*x191 + 0.9*x192 - x235
       = 0;

e120:    0.6*x108 + 0.6*x116 + 0.6*x124 + 0.6*x132 + 0.6*x140 + 0.6*x193
       + 0.6*x194 + 0.6*x195 + 0.6*x196 + 0.6*x197 + 0.6*x198 + 0.6*x199 - x236
       = 0;

e121:    0.15*x109 + 0.15*x117 + 0.15*x125 + 0.15*x133 + 0.15*x141 + 0.15*x200
       + 0.15*x201 + 0.15*x202 + 0.15*x203 + 0.15*x204 + 0.15*x205 + 0.15*x206
       - x237 = 0;

e122:    0.26*x110 + 0.26*x118 + 0.26*x126 + 0.26*x134 + 0.26*x142 + 0.26*x207
       + 0.26*x208 + 0.26*x209 + 0.26*x210 + 0.26*x211 + 0.26*x212 + 0.26*x213
       - x238 = 0;

e123:    0.1*x111 + 0.1*x119 + 0.1*x127 + 0.1*x135 + 0.1*x143 + 0.1*x214
       + 0.1*x215 + 0.1*x216 + 0.1*x217 + 0.1*x218 + 0.1*x219 + 0.1*x220 - x239
       = 0;

e124:    0.4*x112 + 0.4*x120 + 0.4*x128 + 0.4*x136 + 0.4*x144 + 0.4*x221
       + 0.4*x222 + 0.4*x223 + 0.4*x224 + 0.4*x225 + 0.4*x226 + 0.4*x227 - x240
       = 0;

e125:    0.3*x113 + 0.3*x121 + 0.3*x129 + 0.3*x137 + 0.3*x145 + 0.3*x228
       + 0.3*x229 + 0.3*x230 + 0.3*x231 + 0.3*x232 + 0.3*x233 + 0.3*x234 - x241
       = 0;

e126:  - x186 - x193 - x200 - x207 - x214 - x221 - x228 + x235 - x242 = 0;

e127:  - x187 - x194 - x201 - x208 - x215 - x222 - x229 + x236 - x243 = 0;

e128:  - x188 - x195 - x202 - x209 - x216 - x223 - x230 + x237 - x244 = 0;

e129:  - x189 - x196 - x203 - x210 - x217 - x224 - x231 + x238 - x245 = 0;

e130:  - x190 - x197 - x204 - x211 - x218 - x225 - x232 + x239 - x246 = 0;

e131:  - x191 - x198 - x205 - x212 - x219 - x226 - x233 + x240 - x247 = 0;

e132:  - x192 - x199 - x206 - x213 - x220 - x227 - x234 + x241 - x248 = 0;

e133:    x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 = 1;

e134:    x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 = 1;

e135:    x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 = 1;

e136:    x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 = 1;

e137:    x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 = 1;

e138:    x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 = 1;

e139:    x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 = 1;

e140:  - 4*x105 + x106 + x114 + x122 + x130 + x138 + x242 + x243 + x244 + x245
       + x246 + x247 + x248 <= 0;

e141: x249*x235 - x186 = 0;

e142: x250*x235 - x193 = 0;

e143: x251*x235 - x200 = 0;

e144: x252*x235 - x207 = 0;

e145: x253*x235 - x214 = 0;

e146: x254*x235 - x221 = 0;

e147: x255*x235 - x228 = 0;

e148: x257*x236 - x187 = 0;

e149: x258*x236 - x194 = 0;

e150: x259*x236 - x201 = 0;

e151: x260*x236 - x208 = 0;

e152: x261*x236 - x215 = 0;

e153: x262*x236 - x222 = 0;

e154: x263*x236 - x229 = 0;

e155: x265*x237 - x188 = 0;

e156: x266*x237 - x195 = 0;

e157: x267*x237 - x202 = 0;

e158: x268*x237 - x209 = 0;

e159: x269*x237 - x216 = 0;

e160: x270*x237 - x223 = 0;

e161: x271*x237 - x230 = 0;

e162: x273*x238 - x189 = 0;

e163: x274*x238 - x196 = 0;

e164: x275*x238 - x203 = 0;

e165: x276*x238 - x210 = 0;

e166: x277*x238 - x217 = 0;

e167: x278*x238 - x224 = 0;

e168: x279*x238 - x231 = 0;

e169: x281*x239 - x190 = 0;

e170: x282*x239 - x197 = 0;

e171: x283*x239 - x204 = 0;

e172: x284*x239 - x211 = 0;

e173: x285*x239 - x218 = 0;

e174: x286*x239 - x225 = 0;

e175: x287*x239 - x232 = 0;

e176: x289*x240 - x191 = 0;

e177: x290*x240 - x198 = 0;

e178: x291*x240 - x205 = 0;

e179: x292*x240 - x212 = 0;

e180: x293*x240 - x219 = 0;

e181: x294*x240 - x226 = 0;

e182: x295*x240 - x233 = 0;

e183: x297*x241 - x192 = 0;

e184: x298*x241 - x199 = 0;

e185: x299*x241 - x206 = 0;

e186: x300*x241 - x213 = 0;

e187: x301*x241 - x220 = 0;

e188: x302*x241 - x227 = 0;

e189: x303*x241 - x234 = 0;

e190: x256*x235 - x242 = 0;

e191: x264*x236 - x243 = 0;

e192: x272*x237 - x244 = 0;

e193: x280*x238 - x245 = 0;

e194: x288*x239 - x246 = 0;

e195: x296*x240 - x247 = 0;

e196: x304*x241 - x248 = 0;

e197: x249*x2 - x49 = 0;

e198: x250*x2 - x56 = 0;

e199: x251*x2 - x63 = 0;

e200: x252*x2 - x70 = 0;

e201: x253*x2 - x77 = 0;

e202: x254*x2 - x84 = 0;

e203: x255*x2 - x91 = 0;

e204: x257*x3 - x50 = 0;

e205: x258*x3 - x57 = 0;

e206: x259*x3 - x64 = 0;

e207: x260*x3 - x71 = 0;

e208: x261*x3 - x78 = 0;

e209: x262*x3 - x85 = 0;

e210: x263*x3 - x92 = 0;

e211: x265*x4 - x51 = 0;

e212: x266*x4 - x58 = 0;

e213: x267*x4 - x65 = 0;

e214: x268*x4 - x72 = 0;

e215: x269*x4 - x79 = 0;

e216: x270*x4 - x86 = 0;

e217: x271*x4 - x93 = 0;

e218: x273*x5 - x52 = 0;

e219: x274*x5 - x59 = 0;

e220: x275*x5 - x66 = 0;

e221: x276*x5 - x73 = 0;

e222: x277*x5 - x80 = 0;

e223: x278*x5 - x87 = 0;

e224: x279*x5 - x94 = 0;

e225: x281*x6 - x53 = 0;

e226: x282*x6 - x60 = 0;

e227: x283*x6 - x67 = 0;

e228: x284*x6 - x74 = 0;

e229: x285*x6 - x81 = 0;

e230: x286*x6 - x88 = 0;

e231: x287*x6 - x95 = 0;

e232: x289*x7 - x54 = 0;

e233: x290*x7 - x61 = 0;

e234: x291*x7 - x68 = 0;

e235: x292*x7 - x75 = 0;

e236: x293*x7 - x82 = 0;

e237: x294*x7 - x89 = 0;

e238: x295*x7 - x96 = 0;

e239: x297*x8 - x55 = 0;

e240: x298*x8 - x62 = 0;

e241: x299*x8 - x69 = 0;

e242: x300*x8 - x76 = 0;

e243: x301*x8 - x83 = 0;

e244: x302*x8 - x90 = 0;

e245: x303*x8 - x97 = 0;

e246: x256*x2 - x98 = 0;

e247: x264*x3 - x99 = 0;

e248: x272*x4 - x100 = 0;

e249: x280*x5 - x101 = 0;

e250: x288*x6 - x102 = 0;

e251: x296*x7 - x103 = 0;

e252: x304*x8 - x104 = 0;