#  MINLP written by GAMS Convert at 01/12/18 13:30:00
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        885       65      220      600        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        313      189      124        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2469     2093      376        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x2 >= 0, <= 1;
var x3 >= 0, <= 1;
var x4 >= 0, <= 1;
var x5 >= 0, <= 1;
var x6 >= 0, <= 1;
var x7 >= 0, <= 1;
var x8 >= 0, <= 1;
var x9 >= 0, <= 1;
var x10 >= 0, <= 1;
var x11 >= 0, <= 1;
var x12 >= 0, <= 1;
var x13 >= 0, <= 1;
var x14 >= 0, <= 1;
var x15 >= 0, <= 1;
var x16 >= 0, <= 1;
var x17 >= 0, <= 1;
var x18 >= 0, <= 1;
var x19 >= 0, <= 1;
var x20 >= 0, <= 1;
var x21 >= 0, <= 1;
var x22 >= 0, <= 1;
var x23 >= 0, <= 1;
var x24 >= 0, <= 1;
var x25 >= 0, <= 1;
var x26 >= 0, <= 1;
var x27 >= 0, <= 1;
var x28 >= 0, <= 1;
var x29 >= 0, <= 1;
var x30 >= 0, <= 1;
var x31 >= 0, <= 1;
var x32 >= 0, <= 1;
var x33 >= 0, <= 1;
var x34 >= 0, <= 1;
var x35 >= 0, <= 1;
var x36 >= 0, <= 1;
var x37 >= 0, <= 1;
var x38 >= 0, <= 1;
var x39 >= 0, <= 1;
var x40 >= 0, <= 1;
var x41 >= 0, <= 1;
var x42 >= 0, <= 1;
var x43 >= 0, <= 1;
var x44 >= 0, <= 1;
var x45 >= 0, <= 1;
var x46 >= 0, <= 1;
var x47 >= 0, <= 1;
var x48 >= 0, <= 1;
var x49 >= 0, <= 1;
var x50 >= 0, <= 1;
var x51 >= 0, <= 1;
var x52 >= 0, <= 1;
var x53 >= 0, <= 1;
var x54 >= 0, <= 1;
var x55 >= 0, <= 1;
var x56 >= 0, <= 1;
var x57 >= 0, <= 1;
var x58 >= 0, <= 1;
var x59 >= 0, <= 1;
var x60 >= 0, <= 1;
var x61 >= 0, <= 1;
var x62 >= 0, <= 1;
var x63 >= 0, <= 1;
var x64 >= 0, <= 1;
var x65 >= 0, <= 1;
var x66 >= 0, <= 1;
var x67 >= 0, <= 1;
var x68 >= 0, <= 1;
var x69 >= 0, <= 1;
var x70 >= 0, <= 1;
var x71 >= 0, <= 1;
var x72 >= 0, <= 1;
var x73 >= 0, <= 1;
var x74 >= 0, <= 1;
var x75 >= 0, <= 1;
var x76 >= 0, <= 1;
var x77 >= 0, <= 1;
var x78 >= 0, <= 1;
var x79 >= 0, <= 1;
var x80 >= 0, <= 1;
var x81 >= 0, <= 1;
var x82 >= 0, <= 1;
var x83 >= 0, <= 1;
var x84 >= 0, <= 1;
var x85 >= 0, <= 1;
var x86 >= 0, <= 1;
var x87 >= 0, <= 1;
var x88 >= 0, <= 1;
var x89 >= 0, <= 1;
var x90 >= 0, <= 1;
var x91 >= 0, <= 1;
var x92 >= 0, <= 1;
var x93 >= 0, <= 1;
var x94 >= 0, <= 1;
var x95 >= 0, <= 1;
var x96 >= 0, <= 1;
var x97 >= 0, <= 1;
var x98 >= 0, <= 1;
var x99 >= 0, <= 1;
var x100 >= 0, <= 1;
var x101 >= 0, <= 1;
var x102 >= 0, <= 1;
var x103 >= 0, <= 1;
var x104 >= 0, <= 1;
var x105 >= 0, <= 1;
var x106 >= 0, <= 1;
var x107 >= 0, <= 1;
var x108 >= 0, <= 1;
var x109 >= 0, <= 1;
var x110 >= 0, <= 1;
var x111 >= 0, <= 1;
var x112 >= 0, <= 1;
var x113 >= 0, <= 1;
var x114 >= 0, <= 1;
var x115 >= 0, <= 1;
var x116 >= 0, <= 1;
var x117 >= 0, <= 1;
var x118 >= 0, <= 1;
var x119 >= 0, <= 1;
var x120 >= 0, <= 1;
var x121 >= 0, <= 1;
var x122 >= 0, <= 1;
var x123 >= 0, <= 1;
var x124 >= 0, <= 1;
var x125 >= 0, <= 1;
var x126 >= 0, <= 1;
var x127 >= 0, <= 1;
var x128 >= 0, <= 1;
var x129 >= 0, <= 1;
var x130 >= 0, <= 1;
var x131 >= 0, <= 1;
var x132 >= 0, <= 1;
var x133 >= 0, <= 1;
var x134 >= 0, <= 1;
var x135 >= 0, <= 1;
var x136 >= 0, <= 1;
var x137 >= 0, <= 1;
var x138 >= 0, <= 1;
var x139 >= 0, <= 1;
var x140 >= 0, <= 1;
var x141 >= 0, <= 1;
var x142 >= 0, <= 1;
var x143 >= 0, <= 1;
var x144 >= 0, <= 1;
var x145 >= 0, <= 1;
var x146 >= 0, <= 1;
var x147 >= 0, <= 1;
var x148 >= 0, <= 1;
var x149 >= 0, <= 1;
var x150 >= 0, <= 1;
var x151 >= 0, <= 1;
var x152 >= 0, <= 1;
var x153 >= 0, <= 1;
var x154 >= 0, <= 1;
var x155 >= 0, <= 1;
var x156 >= 0, <= 1;
var x157 >= 0, <= 1;
var x158 >= 0, <= 2;
var x159 >= 0, <= 2;
var x160 >= 0, <= 2;
var x161 >= 0, <= 2;
var x162 >= 0, <= 2;
var x163 >= 0, <= 2;
var x164 >= 0, <= 2;
var x165 >= 0, <= 2;
var x166 >= 0, <= 2;
var x167 >= 0, <= 2;
var x168 >= 0, <= 2;
var x169 >= 0, <= 2;
var x170 >= 0, <= 2;
var x171 >= 0, <= 2;
var x172 >= 0, <= 2;
var x173 >= 0, <= 2;
var x174 >= 0, <= 2;
var x175 >= 0, <= 2;
var x176 >= 0, <= 2;
var x177 >= 0, <= 2;
var x178 >= 0, <= 2;
var x179 >= 0, <= 2;
var x180 >= 0, <= 2;
var x181 >= 0, <= 2;
var x182 >= 0, <= 2;
var x183 >= 0, <= 2;
var x184 >= 0, <= 2;
var x185 >= 0, <= 2;
var x186 >= 0, <= 2;
var x187 >= 0, <= 2;
var x188 >= 0, <= 2;
var x189 >= 0, <= 2;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;
var b306 binary >= 0, <= 1;
var b307 binary >= 0, <= 1;
var b308 binary >= 0, <= 1;
var b309 binary >= 0, <= 1;
var b310 binary >= 0, <= 1;
var b311 binary >= 0, <= 1;
var b312 binary >= 0, <= 1;
var b313 binary >= 0, <= 1;

maximize obj:  - 0.43*x2 - 0.43*x3 - 0.43*x4 - 0.43*x5 - 0.9*x6 - 0.9*x7
     - 0.9*x8 - 0.9*x9 - 0.44*x10 - 0.44*x11 - 0.44*x12 - 0.44*x13 + 2.14*x14
     + 2.14*x15 + 2.14*x16 + 2.14*x17 + 3.61*x18 + 3.61*x19 + 3.61*x20
     + 3.61*x21 - 1.5*x22 - 1.5*x23 - 1.5*x24 - 1.5*x25 - 1.12*x26 - 1.12*x27
     - 1.12*x28 - 1.12*x29 - 1.2*x30 - 1.2*x31 - 1.2*x32 - 1.2*x33 - 1.32*x34
     - 1.32*x35 - 1.32*x36 - 1.32*x37 + 1.41*x38 + 1.41*x39 + 1.41*x40
     + 1.41*x41 + 2.5*x42 + 2.5*x43 + 2.5*x44 + 2.5*x45 - 0.93*x46 - 0.93*x47
     - 0.93*x48 - 0.93*x49 - 0.49*x50 - 0.49*x51 - 0.49*x52 - 0.49*x53
     - 0.24*x54 - 0.24*x55 - 0.24*x56 - 0.24*x57 + 1.44*x58 + 1.44*x59
     + 1.44*x60 + 1.44*x61 + 3.68*x62 + 3.68*x63 + 3.68*x64 + 3.68*x65
     - 0.49*x66 - 0.49*x67 - 0.49*x68 - 0.49*x69 - 0.68*x70 - 0.68*x71
     - 0.68*x72 - 0.68*x73 - 0.37*x74 - 0.37*x75 - 0.37*x76 - 0.37*x77
     + 2.36*x78 + 2.36*x79 + 2.36*x80 + 2.36*x81 + 3.29*x82 + 3.29*x83
     + 3.29*x84 + 3.29*x85 - 0.1*x86 - 0.1*x87 - 0.1*x88 - 0.1*x89 - 0.34*x90
     - 0.34*x91 - 0.34*x92 - 0.34*x93 - 0.14*x94 - 0.14*x95 - 0.14*x96
     - 0.14*x97 + 2.29*x98 + 2.29*x99 + 2.29*x100 + 2.29*x101 + 3.71*x102
     + 3.71*x103 + 3.71*x104 + 3.71*x105 - 0.72*x106 - 0.72*x107 - 0.72*x108
     - 0.72*x109 - 0.89*x110 - 0.89*x111 - 0.89*x112 - 0.89*x113 - 0.7*x114
     - 0.7*x115 - 0.7*x116 - 0.7*x117 + 2.37*x118 + 2.37*x119 + 2.37*x120
     + 2.37*x121 + 3.7*x122 + 3.7*x123 + 3.7*x124 + 3.7*x125 - 0.92*b190
     - 0.92*b191 - 0.92*b192 - 0.92*b193 - 0.18*b194 - 0.18*b195 - 0.18*b196
     - 0.18*b197 - 0.98*b198 - 0.98*b199 - 0.98*b200 - 0.98*b201 - 0.11*b202
     - 0.11*b203 - 0.11*b204 - 0.11*b205 - 0.41*b206 - 0.41*b207 - 0.41*b208
     - 0.41*b209 - 0.26*b210 - 0.26*b211 - 0.26*b212 - 0.26*b213 - 0.71*b214
     - 0.71*b215 - 0.71*b216 - 0.71*b217 - 0.12*b218 - 0.12*b219 - 0.12*b220
     - 0.12*b221 - 0.32*b222 - 0.32*b223 - 0.32*b224 - 0.32*b225 - 0.51*b226
     - 0.51*b227 - 0.51*b228 - 0.51*b229 - 0.26*b230 - 0.26*b231 - 0.26*b232
     - 0.26*b233 - 0.03*b234 - 0.03*b235 - 0.03*b236 - 0.03*b237 - 0.73*b238
     - 0.73*b239 - 0.73*b240 - 0.73*b241 - 0.58*b242 - 0.58*b243 - 0.58*b244
     - 0.58*b245 - 0.46*b246 - 0.46*b247 - 0.46*b248 - 0.46*b249 - 0.55*b250
     - 0.55*b251 - 0.55*b252 - 0.55*b253 - 0.23*b254 - 0.23*b255 - 0.23*b256
     - 0.23*b257 - 0.62*b258 - 0.62*b259 - 0.62*b260 - 0.62*b261 - 0.4*b262
     - 0.4*b263 - 0.4*b264 - 0.4*b265 - 0.99*b266 - 0.99*b267 - 0.99*b268
     - 0.99*b269 - 0.89*b270 - 0.89*b271 - 0.89*b272 - 0.89*b273 - 0.8*b274
     - 0.8*b275 - 0.8*b276 - 0.8*b277 - 0.26*b278 - 0.26*b279 - 0.26*b280
     - 0.26*b281 - 0.68*b282 - 0.68*b283 - 0.68*b284 - 0.68*b285 - 0.72*b286
     - 0.72*b287 - 0.72*b288 - 0.72*b289 - 0.65*b290 - 0.65*b291 - 0.65*b292
     - 0.65*b293 - 0.78*b294 - 0.78*b295 - 0.78*b296 - 0.78*b297 - 0.9*b298
     - 0.9*b299 - 0.9*b300 - 0.9*b301 - 0.33*b302 - 0.33*b303 - 0.33*b304
     - 0.33*b305 - 0.2*b306 - 0.2*b307 - 0.2*b308 - 0.2*b309 - 0.74*b310
     - 0.74*b311 - 0.74*b312 - 0.74*b313;

subject to

e2:    x2 + x6 + x10 + x14 + x18 + x158 = 1.2;

e3:    x22 + x26 + x30 + x34 + x38 + x42 + x162 = 0.7;

e4:  - x22 + x46 + x50 + x54 + x58 + x62 - x66 - x86 - x106 + x166 = 1;

e5:  - x2 - x26 - x46 + x66 + x70 + x74 + x78 + x82 - x90 - x110 + x170 = 0.8;

e6:  - x6 - x30 - x50 - x70 + x86 + x90 + x94 + x98 + x102 - x114 + x174 = 0.2;

e7:  - x10 - x34 - x54 - x74 - x94 + x106 + x110 + x114 + x118 + x122 + x178
     = 0.5;

e8:  - x14 - x38 - x58 - x78 - x98 - x118 + x182 = -0.1;

e9:  - x18 - x42 - x62 - x82 - x102 - x122 + x186 = 0.06;

e10: x126*x166 - 0.9*x22 + 0.4*x46 + 0.4*x50 + 0.4*x54 + 0.4*x58 + 0.4*x62
      - 0.4*x66 - 0.1*x86 - x106 = 0.4;

e11: x130*x170 - 0.1*x2 - 0.9*x26 - 0.4*x46 + 0.4*x66 + 0.4*x70 + 0.4*x74
      + 0.4*x78 + 0.4*x82 - 0.1*x90 - x110 = 0.32;

e12: x134*x174 - 0.1*x6 - 0.9*x30 - 0.4*x50 - 0.4*x70 + 0.1*x86 + 0.1*x90
      + 0.1*x94 + 0.1*x98 + 0.1*x102 - x114 = 0.02;

e13: x138*x178 - 0.1*x10 - 0.9*x34 - 0.4*x54 - 0.4*x74 - 0.1*x94 + x106 + x110
      + x114 + x118 + x122 = 0.5;

e14: x142*x166 - 0.8*x22 + 0.2*x46 + 0.2*x50 + 0.2*x54 + 0.2*x58 + 0.2*x62
      - 0.1*x66 - 0.9*x86 - 0.6*x106 = 0.2;

e15: x146*x170 - 0.2*x2 - 0.8*x26 - 0.2*x46 + 0.1*x66 + 0.1*x70 + 0.1*x74
      + 0.1*x78 + 0.1*x82 - 0.9*x90 - 0.6*x110 = 0.08;

e16: x150*x174 - 0.2*x6 - 0.8*x30 - 0.2*x50 - 0.1*x70 + 0.9*x86 + 0.9*x90
      + 0.9*x94 + 0.9*x98 + 0.9*x102 - 0.6*x114 = 0.18;

e17: x154*x178 - 0.2*x10 - 0.8*x34 - 0.2*x54 - 0.1*x74 - 0.9*x94 + 0.6*x106
      + 0.6*x110 + 0.6*x114 + 0.6*x118 + 0.6*x122 = 0.3;

e18:    x3 + x7 + x11 + x15 + x19 - x158 + x159 = 0.2;

e19:    x4 + x8 + x12 + x16 + x20 - x159 + x160 = 0.7;

e20:    x5 + x9 + x13 + x17 + x21 - x160 + x161 = 0.5;

e21:    x23 + x27 + x31 + x35 + x39 + x43 - x162 + x163 = 0.6;

e22:    x24 + x28 + x32 + x36 + x40 + x44 - x163 + x164 = 0.6;

e23:    x25 + x29 + x33 + x37 + x41 + x45 - x164 + x165 = 0.5;

e24:  - x23 + x47 + x51 + x55 + x59 + x63 - x67 - x87 - x107 - x166 + x167 = 0;

e25:  - x24 + x48 + x52 + x56 + x60 + x64 - x68 - x88 - x108 - x167 + x168 = 0;

e26:  - x25 + x49 + x53 + x57 + x61 + x65 - x69 - x89 - x109 - x168 + x169 = 0;

e27:  - x3 - x27 - x47 + x67 + x71 + x75 + x79 + x83 - x91 - x111 - x170 + x171
      = 0;

e28:  - x4 - x28 - x48 + x68 + x72 + x76 + x80 + x84 - x92 - x112 - x171 + x172
      = 0;

e29:  - x5 - x29 - x49 + x69 + x73 + x77 + x81 + x85 - x93 - x113 - x172 + x173
      = 0;

e30:  - x7 - x31 - x51 - x71 + x87 + x91 + x95 + x99 + x103 - x115 - x174
      + x175 = 0;

e31:  - x8 - x32 - x52 - x72 + x88 + x92 + x96 + x100 + x104 - x116 - x175
      + x176 = 0;

e32:  - x9 - x33 - x53 - x73 + x89 + x93 + x97 + x101 + x105 - x117 - x176
      + x177 = 0;

e33:  - x11 - x35 - x55 - x75 - x95 + x107 + x111 + x115 + x119 + x123 - x178
      + x179 = 0;

e34:  - x12 - x36 - x56 - x76 - x96 + x108 + x112 + x116 + x120 + x124 - x179
      + x180 = 0;

e35:  - x13 - x37 - x57 - x77 - x97 + x109 + x113 + x117 + x121 + x125 - x180
      + x181 = 0;

e36:  - x15 - x39 - x59 - x79 - x99 - x119 - x182 + x183 = -0.19;

e37:  - x16 - x40 - x60 - x80 - x100 - x120 - x183 + x184 = -0.18;

e38:  - x17 - x41 - x61 - x81 - x101 - x121 - x184 + x185 = -0.63;

e39:  - x19 - x43 - x63 - x83 - x103 - x123 - x186 + x187 = -0.69;

e40:  - x20 - x44 - x64 - x84 - x104 - x124 - x187 + x188 = -0.37;

e41:  - x21 - x45 - x65 - x85 - x105 - x125 - x188 + x189 = -0.78;

e42: x127*x167 - (x126*x166 + x130*x67 + x134*x87 + x138*x107 - (x126*x47 + 
     x126*x51 + x126*x55 + x126*x59 + x126*x63)) - 0.9*x23 = 0;

e43: x128*x168 - (x127*x167 + x131*x68 + x135*x88 + x139*x108 - (x127*x48 + 
     x127*x52 + x127*x56 + x127*x60 + x127*x64)) - 0.9*x24 = 0;

e44: x129*x169 - (x128*x168 + x132*x69 + x136*x89 + x140*x109 - (x128*x49 + 
     x128*x53 + x128*x57 + x128*x61 + x128*x65)) - 0.9*x25 = 0;

e45: x131*x171 - (x130*x170 + x126*x47 + x134*x91 + x138*x111 - (x130*x67 + 
     x130*x71 + x130*x75 + x130*x79 + x130*x83)) - 0.1*x3 - 0.9*x27 = 0;

e46: x132*x172 - (x131*x171 + x127*x48 + x135*x92 + x139*x112 - (x131*x68 + 
     x131*x72 + x131*x76 + x131*x80 + x131*x84)) - 0.1*x4 - 0.9*x28 = 0;

e47: x133*x173 - (x132*x172 + x128*x49 + x136*x93 + x140*x113 - (x132*x69 + 
     x132*x73 + x132*x77 + x132*x81 + x132*x85)) - 0.1*x5 - 0.9*x29 = 0;

e48: x135*x175 - (x134*x174 + x126*x51 + x130*x71 + x138*x115 - (x134*x87 + 
     x134*x91 + x134*x95 + x134*x99 + x134*x103)) - 0.1*x7 - 0.9*x31 = 0;

e49: x136*x176 - (x135*x175 + x127*x52 + x131*x72 + x139*x116 - (x135*x88 + 
     x135*x92 + x135*x96 + x135*x100 + x135*x104)) - 0.1*x8 - 0.9*x32 = 0;

e50: x137*x177 - (x136*x176 + x128*x53 + x132*x73 + x140*x117 - (x136*x89 + 
     x136*x93 + x136*x97 + x136*x101 + x136*x105)) - 0.1*x9 - 0.9*x33 = 0;

e51: x139*x179 - (x138*x178 + x126*x55 + x130*x75 + x134*x95 - (x138*x107 + 
     x138*x111 + x138*x115 + x138*x119 + x138*x123)) - 0.1*x11 - 0.9*x35 = 0;

e52: x140*x180 - (x139*x179 + x127*x56 + x131*x76 + x135*x96 - (x139*x108 + 
     x139*x112 + x139*x116 + x139*x120 + x139*x124)) - 0.1*x12 - 0.9*x36 = 0;

e53: x141*x181 - (x140*x180 + x128*x57 + x132*x77 + x136*x97 - (x140*x109 + 
     x140*x113 + x140*x117 + x140*x121 + x140*x125)) - 0.1*x13 - 0.9*x37 = 0;

e54: x143*x167 - (x142*x166 + x146*x67 + x150*x87 + x154*x107 - (x142*x47 + 
     x142*x51 + x142*x55 + x142*x59 + x142*x63)) - 0.8*x23 = 0;

e55: x144*x168 - (x143*x167 + x147*x68 + x151*x88 + x155*x108 - (x143*x48 + 
     x143*x52 + x143*x56 + x143*x60 + x143*x64)) - 0.8*x24 = 0;

e56: x145*x169 - (x144*x168 + x148*x69 + x152*x89 + x156*x109 - (x144*x49 + 
     x144*x53 + x144*x57 + x144*x61 + x144*x65)) - 0.8*x25 = 0;

e57: x147*x171 - (x146*x170 + x142*x47 + x150*x91 + x154*x111 - (x146*x67 + 
     x146*x71 + x146*x75 + x146*x79 + x146*x83)) - 0.2*x3 - 0.8*x27 = 0;

e58: x148*x172 - (x147*x171 + x143*x48 + x151*x92 + x155*x112 - (x147*x68 + 
     x147*x72 + x147*x76 + x147*x80 + x147*x84)) - 0.2*x4 - 0.8*x28 = 0;

e59: x149*x173 - (x148*x172 + x144*x49 + x152*x93 + x156*x113 - (x148*x69 + 
     x148*x73 + x148*x77 + x148*x81 + x148*x85)) - 0.2*x5 - 0.8*x29 = 0;

e60: x151*x175 - (x150*x174 + x142*x51 + x146*x71 + x154*x115 - (x150*x87 + 
     x150*x91 + x150*x95 + x150*x99 + x150*x103)) - 0.2*x7 - 0.8*x31 = 0;

e61: x152*x176 - (x151*x175 + x143*x52 + x147*x72 + x155*x116 - (x151*x88 + 
     x151*x92 + x151*x96 + x151*x100 + x151*x104)) - 0.2*x8 - 0.8*x32 = 0;

e62: x153*x177 - (x152*x176 + x144*x53 + x148*x73 + x156*x117 - (x152*x89 + 
     x152*x93 + x152*x97 + x152*x101 + x152*x105)) - 0.2*x9 - 0.8*x33 = 0;

e63: x155*x179 - (x154*x178 + x142*x55 + x146*x75 + x150*x95 - (x154*x107 + 
     x154*x111 + x154*x115 + x154*x119 + x154*x123)) - 0.2*x11 - 0.8*x35 = 0;

e64: x156*x180 - (x155*x179 + x143*x56 + x147*x76 + x151*x96 - (x155*x108 + 
     x155*x112 + x155*x116 + x155*x120 + x155*x124)) - 0.2*x12 - 0.8*x36 = 0;

e65: x157*x181 - (x156*x180 + x144*x57 + x148*x77 + x152*x97 - (x156*x109 + 
     x156*x113 + x156*x117 + x156*x121 + x156*x125)) - 0.2*x13 - 0.8*x37 = 0;

e66:    x2 - b190 <= 0;

e67:    x3 - b191 <= 0;

e68:    x4 - b192 <= 0;

e69:    x5 - b193 <= 0;

e70:    x6 - b194 <= 0;

e71:    x7 - b195 <= 0;

e72:    x8 - b196 <= 0;

e73:    x9 - b197 <= 0;

e74:    x10 - b198 <= 0;

e75:    x11 - b199 <= 0;

e76:    x12 - b200 <= 0;

e77:    x13 - b201 <= 0;

e78:    x14 - b202 <= 0;

e79:    x15 - b203 <= 0;

e80:    x16 - b204 <= 0;

e81:    x17 - b205 <= 0;

e82:    x18 - b206 <= 0;

e83:    x19 - b207 <= 0;

e84:    x20 - b208 <= 0;

e85:    x21 - b209 <= 0;

e86:    x22 - b210 <= 0;

e87:    x23 - b211 <= 0;

e88:    x24 - b212 <= 0;

e89:    x25 - b213 <= 0;

e90:    x26 - b214 <= 0;

e91:    x27 - b215 <= 0;

e92:    x28 - b216 <= 0;

e93:    x29 - b217 <= 0;

e94:    x30 - b218 <= 0;

e95:    x31 - b219 <= 0;

e96:    x32 - b220 <= 0;

e97:    x33 - b221 <= 0;

e98:    x34 - b222 <= 0;

e99:    x35 - b223 <= 0;

e100:    x36 - b224 <= 0;

e101:    x37 - b225 <= 0;

e102:    x38 - b226 <= 0;

e103:    x39 - b227 <= 0;

e104:    x40 - b228 <= 0;

e105:    x41 - b229 <= 0;

e106:    x42 - b230 <= 0;

e107:    x43 - b231 <= 0;

e108:    x44 - b232 <= 0;

e109:    x45 - b233 <= 0;

e110:    x46 - b234 <= 0;

e111:    x47 - b235 <= 0;

e112:    x48 - b236 <= 0;

e113:    x49 - b237 <= 0;

e114:    x50 - b238 <= 0;

e115:    x51 - b239 <= 0;

e116:    x52 - b240 <= 0;

e117:    x53 - b241 <= 0;

e118:    x54 - b242 <= 0;

e119:    x55 - b243 <= 0;

e120:    x56 - b244 <= 0;

e121:    x57 - b245 <= 0;

e122:    x58 - b246 <= 0;

e123:    x59 - b247 <= 0;

e124:    x60 - b248 <= 0;

e125:    x61 - b249 <= 0;

e126:    x62 - b250 <= 0;

e127:    x63 - b251 <= 0;

e128:    x64 - b252 <= 0;

e129:    x65 - b253 <= 0;

e130:    x66 - b254 <= 0;

e131:    x67 - b255 <= 0;

e132:    x68 - b256 <= 0;

e133:    x69 - b257 <= 0;

e134:    x70 - b258 <= 0;

e135:    x71 - b259 <= 0;

e136:    x72 - b260 <= 0;

e137:    x73 - b261 <= 0;

e138:    x74 - b262 <= 0;

e139:    x75 - b263 <= 0;

e140:    x76 - b264 <= 0;

e141:    x77 - b265 <= 0;

e142:    x78 - b266 <= 0;

e143:    x79 - b267 <= 0;

e144:    x80 - b268 <= 0;

e145:    x81 - b269 <= 0;

e146:    x82 - b270 <= 0;

e147:    x83 - b271 <= 0;

e148:    x84 - b272 <= 0;

e149:    x85 - b273 <= 0;

e150:    x86 - b274 <= 0;

e151:    x87 - b275 <= 0;

e152:    x88 - b276 <= 0;

e153:    x89 - b277 <= 0;

e154:    x90 - b278 <= 0;

e155:    x91 - b279 <= 0;

e156:    x92 - b280 <= 0;

e157:    x93 - b281 <= 0;

e158:    x94 - b282 <= 0;

e159:    x95 - b283 <= 0;

e160:    x96 - b284 <= 0;

e161:    x97 - b285 <= 0;

e162:    x98 - b286 <= 0;

e163:    x99 - b287 <= 0;

e164:    x100 - b288 <= 0;

e165:    x101 - b289 <= 0;

e166:    x102 - b290 <= 0;

e167:    x103 - b291 <= 0;

e168:    x104 - b292 <= 0;

e169:    x105 - b293 <= 0;

e170:    x106 - b294 <= 0;

e171:    x107 - b295 <= 0;

e172:    x108 - b296 <= 0;

e173:    x109 - b297 <= 0;

e174:    x110 - b298 <= 0;

e175:    x111 - b299 <= 0;

e176:    x112 - b300 <= 0;

e177:    x113 - b301 <= 0;

e178:    x114 - b302 <= 0;

e179:    x115 - b303 <= 0;

e180:    x116 - b304 <= 0;

e181:    x117 - b305 <= 0;

e182:    x118 - b306 <= 0;

e183:    x119 - b307 <= 0;

e184:    x120 - b308 <= 0;

e185:    x121 - b309 <= 0;

e186:    x122 - b310 <= 0;

e187:    x123 - b311 <= 0;

e188:    x124 - b312 <= 0;

e189:    x125 - b313 <= 0;

e190:    x2 >= 0;

e191:    x3 >= 0;

e192:    x4 >= 0;

e193:    x5 >= 0;

e194:    x6 >= 0;

e195:    x7 >= 0;

e196:    x8 >= 0;

e197:    x9 >= 0;

e198:    x10 >= 0;

e199:    x11 >= 0;

e200:    x12 >= 0;

e201:    x13 >= 0;

e202:    x14 >= 0;

e203:    x15 >= 0;

e204:    x16 >= 0;

e205:    x17 >= 0;

e206:    x18 >= 0;

e207:    x19 >= 0;

e208:    x20 >= 0;

e209:    x21 >= 0;

e210:    x22 >= 0;

e211:    x23 >= 0;

e212:    x24 >= 0;

e213:    x25 >= 0;

e214:    x26 >= 0;

e215:    x27 >= 0;

e216:    x28 >= 0;

e217:    x29 >= 0;

e218:    x30 >= 0;

e219:    x31 >= 0;

e220:    x32 >= 0;

e221:    x33 >= 0;

e222:    x34 >= 0;

e223:    x35 >= 0;

e224:    x36 >= 0;

e225:    x37 >= 0;

e226:    x38 >= 0;

e227:    x39 >= 0;

e228:    x40 >= 0;

e229:    x41 >= 0;

e230:    x42 >= 0;

e231:    x43 >= 0;

e232:    x44 >= 0;

e233:    x45 >= 0;

e234:    x46 >= 0;

e235:    x47 >= 0;

e236:    x48 >= 0;

e237:    x49 >= 0;

e238:    x50 >= 0;

e239:    x51 >= 0;

e240:    x52 >= 0;

e241:    x53 >= 0;

e242:    x54 >= 0;

e243:    x55 >= 0;

e244:    x56 >= 0;

e245:    x57 >= 0;

e246:    x58 >= 0;

e247:    x59 >= 0;

e248:    x60 >= 0;

e249:    x61 >= 0;

e250:    x62 >= 0;

e251:    x63 >= 0;

e252:    x64 >= 0;

e253:    x65 >= 0;

e254:    x66 >= 0;

e255:    x67 >= 0;

e256:    x68 >= 0;

e257:    x69 >= 0;

e258:    x70 >= 0;

e259:    x71 >= 0;

e260:    x72 >= 0;

e261:    x73 >= 0;

e262:    x74 >= 0;

e263:    x75 >= 0;

e264:    x76 >= 0;

e265:    x77 >= 0;

e266:    x78 >= 0;

e267:    x79 >= 0;

e268:    x80 >= 0;

e269:    x81 >= 0;

e270:    x82 >= 0;

e271:    x83 >= 0;

e272:    x84 >= 0;

e273:    x85 >= 0;

e274:    x86 >= 0;

e275:    x87 >= 0;

e276:    x88 >= 0;

e277:    x89 >= 0;

e278:    x90 >= 0;

e279:    x91 >= 0;

e280:    x92 >= 0;

e281:    x93 >= 0;

e282:    x94 >= 0;

e283:    x95 >= 0;

e284:    x96 >= 0;

e285:    x97 >= 0;

e286:    x98 >= 0;

e287:    x99 >= 0;

e288:    x100 >= 0;

e289:    x101 >= 0;

e290:    x102 >= 0;

e291:    x103 >= 0;

e292:    x104 >= 0;

e293:    x105 >= 0;

e294:    x106 >= 0;

e295:    x107 >= 0;

e296:    x108 >= 0;

e297:    x109 >= 0;

e298:    x110 >= 0;

e299:    x111 >= 0;

e300:    x112 >= 0;

e301:    x113 >= 0;

e302:    x114 >= 0;

e303:    x115 >= 0;

e304:    x116 >= 0;

e305:    x117 >= 0;

e306:    x118 >= 0;

e307:    x119 >= 0;

e308:    x120 >= 0;

e309:    x121 >= 0;

e310:    x122 >= 0;

e311:    x123 >= 0;

e312:    x124 >= 0;

e313:    x125 >= 0;

e314:    b202 <= 0.4;

e315:    b203 <= 0.4;

e316:    b204 <= 0.4;

e317:    b205 <= 0.4;

e318:    b206 <= 0.6;

e319:    b207 <= 0.6;

e320:    b208 <= 0.6;

e321:    b209 <= 0.6;

e322:    b226 <= 1.2;

e323:    b227 <= 1.2;

e324:    b228 <= 1.2;

e325:    b229 <= 1.2;

e326:    b230 <= 1.4;

e327:    b231 <= 1.4;

e328:    b232 <= 1.4;

e329:    b233 <= 1.4;

e330:    b202 <= 0.9;

e331:    b203 <= 0.9;

e332:    b204 <= 0.9;

e333:    b205 <= 0.9;

e334:    b206 <= 0.9;

e335:    b207 <= 0.9;

e336:    b208 <= 0.9;

e337:    b209 <= 0.9;

e338:    b226 <= 1.5;

e339:    b227 <= 1.5;

e340:    b228 <= 1.5;

e341:    b229 <= 1.5;

e342:    b230 <= 1.5;

e343:    b231 <= 1.5;

e344:    b232 <= 1.5;

e345:    b233 <= 1.5;

e346:  - b202 >= -1.9;

e347:  - b203 >= -1.9;

e348:  - b204 >= -1.9;

e349:  - b205 >= -1.9;

e350:  - b206 >= -1.7;

e351:  - b207 >= -1.7;

e352:  - b208 >= -1.7;

e353:  - b209 >= -1.7;

e354:  - b226 >= -1.1;

e355:  - b227 >= -1.1;

e356:  - b228 >= -1.1;

e357:  - b229 >= -1.1;

e358:  - b230 >= -0.9;

e359:  - b231 >= -0.9;

e360:  - b232 >= -0.9;

e361:  - b233 >= -0.9;

e362:  - b202 >= -1.4;

e363:  - b203 >= -1.4;

e364:  - b204 >= -1.4;

e365:  - b205 >= -1.4;

e366:  - b206 >= -1.6;

e367:  - b207 >= -1.6;

e368:  - b208 >= -1.6;

e369:  - b209 >= -1.6;

e370:  - b226 >= -0.8;

e371:  - b227 >= -0.8;

e372:  - b228 >= -0.8;

e373:  - b229 >= -0.8;

e374:  - b230 >= -1;

e375:  - b231 >= -1;

e376:  - b232 >= -1;

e377:  - b233 >= -1;

e378:  - x126 + b247 <= 0.3;

e379:  - x127 + b248 <= 0.3;

e380:  - x128 + b249 <= 0.3;

e381:  - x126 + b251 <= 0.5;

e382:  - x127 + b252 <= 0.5;

e383:  - x128 + b253 <= 0.5;

e384:  - x130 + b267 <= 0.3;

e385:  - x131 + b268 <= 0.3;

e386:  - x132 + b269 <= 0.3;

e387:  - x130 + b271 <= 0.5;

e388:  - x131 + b272 <= 0.5;

e389:  - x132 + b273 <= 0.5;

e390:  - x134 + b287 <= 0.3;

e391:  - x135 + b288 <= 0.3;

e392:  - x136 + b289 <= 0.3;

e393:  - x134 + b291 <= 0.5;

e394:  - x135 + b292 <= 0.5;

e395:  - x136 + b293 <= 0.5;

e396:  - x138 + b307 <= 0.3;

e397:  - x139 + b308 <= 0.3;

e398:  - x140 + b309 <= 0.3;

e399:  - x138 + b311 <= 0.5;

e400:  - x139 + b312 <= 0.5;

e401:  - x140 + b313 <= 0.5;

e402:  - x142 + b247 <= 0.7;

e403:  - x143 + b248 <= 0.7;

e404:  - x144 + b249 <= 0.7;

e405:  - x142 + b251 <= 0.7;

e406:  - x143 + b252 <= 0.7;

e407:  - x144 + b253 <= 0.7;

e408:  - x146 + b267 <= 0.7;

e409:  - x147 + b268 <= 0.7;

e410:  - x148 + b269 <= 0.7;

e411:  - x146 + b271 <= 0.7;

e412:  - x147 + b272 <= 0.7;

e413:  - x148 + b273 <= 0.7;

e414:  - x150 + b287 <= 0.7;

e415:  - x151 + b288 <= 0.7;

e416:  - x152 + b289 <= 0.7;

e417:  - x150 + b291 <= 0.7;

e418:  - x151 + b292 <= 0.7;

e419:  - x152 + b293 <= 0.7;

e420:  - x154 + b307 <= 0.7;

e421:  - x155 + b308 <= 0.7;

e422:  - x156 + b309 <= 0.7;

e423:  - x154 + b311 <= 0.7;

e424:  - x155 + b312 <= 0.7;

e425:  - x156 + b313 <= 0.7;

e426:  - x126 - b247 >= -2;

e427:  - x127 - b248 >= -2;

e428:  - x128 - b249 >= -2;

e429:  - x126 - b251 >= -1.8;

e430:  - x127 - b252 >= -1.8;

e431:  - x128 - b253 >= -1.8;

e432:  - x130 - b267 >= -2;

e433:  - x131 - b268 >= -2;

e434:  - x132 - b269 >= -2;

e435:  - x130 - b271 >= -1.8;

e436:  - x131 - b272 >= -1.8;

e437:  - x132 - b273 >= -1.8;

e438:  - x134 - b287 >= -2;

e439:  - x135 - b288 >= -2;

e440:  - x136 - b289 >= -2;

e441:  - x134 - b291 >= -1.8;

e442:  - x135 - b292 >= -1.8;

e443:  - x136 - b293 >= -1.8;

e444:  - x138 - b307 >= -2;

e445:  - x139 - b308 >= -2;

e446:  - x140 - b309 >= -2;

e447:  - x138 - b311 >= -1.8;

e448:  - x139 - b312 >= -1.8;

e449:  - x140 - b313 >= -1.8;

e450:  - x142 - b247 >= -1.6;

e451:  - x143 - b248 >= -1.6;

e452:  - x144 - b249 >= -1.6;

e453:  - x142 - b251 >= -1.8;

e454:  - x143 - b252 >= -1.8;

e455:  - x144 - b253 >= -1.8;

e456:  - x146 - b267 >= -1.6;

e457:  - x147 - b268 >= -1.6;

e458:  - x148 - b269 >= -1.6;

e459:  - x146 - b271 >= -1.8;

e460:  - x147 - b272 >= -1.8;

e461:  - x148 - b273 >= -1.8;

e462:  - x150 - b287 >= -1.6;

e463:  - x151 - b288 >= -1.6;

e464:  - x152 - b289 >= -1.6;

e465:  - x150 - b291 >= -1.8;

e466:  - x151 - b292 >= -1.8;

e467:  - x152 - b293 >= -1.8;

e468:  - x154 - b307 >= -1.6;

e469:  - x155 - b308 >= -1.6;

e470:  - x156 - b309 >= -1.6;

e471:  - x154 - b311 >= -1.8;

e472:  - x155 - b312 >= -1.8;

e473:  - x156 - b313 >= -1.8;

e474:    b246 <= 0.7;

e475:    b250 <= 0.9;

e476:    b266 <= 0.7;

e477:    b270 <= 0.9;

e478:    b286 <= 0.4;

e479:    b290 <= 0.6;

e480:    b306 <= 1.3;

e481:    b310 <= 1.5;

e482:    b246 <= 0.9;

e483:    b250 <= 0.9;

e484:    b266 <= 0.8;

e485:    b270 <= 0.8;

e486:    b286 <= 1.6;

e487:    b290 <= 1.6;

e488:    b306 <= 1.3;

e489:    b310 <= 1.3;

e490:  - b246 >= -1.6;

e491:  - b250 >= -1.4;

e492:  - b266 >= -1.6;

e493:  - b270 >= -1.4;

e494:  - b286 >= -1.9;

e495:  - b290 >= -1.7;

e496:  - b306 >= -1;

e497:  - b310 >= -0.8;

e498:  - b246 >= -1.4;

e499:  - b250 >= -1.6;

e500:  - b266 >= -1.5;

e501:  - b270 >= -1.7;

e502:  - b286 >= -0.7;

e503:  - b290 >= -0.9;

e504:  - b306 >= -1;

e505:  - b310 >= -1.2;

e506:    b210 + b234 <= 1;

e507:    b211 + b235 <= 1;

e508:    b212 + b236 <= 1;

e509:    b213 + b237 <= 1;

e510:    b210 + b238 <= 1;

e511:    b211 + b239 <= 1;

e512:    b212 + b240 <= 1;

e513:    b213 + b241 <= 1;

e514:    b210 + b242 <= 1;

e515:    b211 + b243 <= 1;

e516:    b212 + b244 <= 1;

e517:    b213 + b245 <= 1;

e518:    b210 + b246 <= 1;

e519:    b211 + b247 <= 1;

e520:    b212 + b248 <= 1;

e521:    b213 + b249 <= 1;

e522:    b210 + b250 <= 1;

e523:    b211 + b251 <= 1;

e524:    b212 + b252 <= 1;

e525:    b213 + b253 <= 1;

e526:    b234 + b254 <= 1;

e527:    b235 + b255 <= 1;

e528:    b236 + b256 <= 1;

e529:    b237 + b257 <= 1;

e530:    b238 + b254 <= 1;

e531:    b239 + b255 <= 1;

e532:    b240 + b256 <= 1;

e533:    b241 + b257 <= 1;

e534:    b242 + b254 <= 1;

e535:    b243 + b255 <= 1;

e536:    b244 + b256 <= 1;

e537:    b245 + b257 <= 1;

e538:    b246 + b254 <= 1;

e539:    b247 + b255 <= 1;

e540:    b248 + b256 <= 1;

e541:    b249 + b257 <= 1;

e542:    b250 + b254 <= 1;

e543:    b251 + b255 <= 1;

e544:    b252 + b256 <= 1;

e545:    b253 + b257 <= 1;

e546:    b234 + b274 <= 1;

e547:    b235 + b275 <= 1;

e548:    b236 + b276 <= 1;

e549:    b237 + b277 <= 1;

e550:    b238 + b274 <= 1;

e551:    b239 + b275 <= 1;

e552:    b240 + b276 <= 1;

e553:    b241 + b277 <= 1;

e554:    b242 + b274 <= 1;

e555:    b243 + b275 <= 1;

e556:    b244 + b276 <= 1;

e557:    b245 + b277 <= 1;

e558:    b246 + b274 <= 1;

e559:    b247 + b275 <= 1;

e560:    b248 + b276 <= 1;

e561:    b249 + b277 <= 1;

e562:    b250 + b274 <= 1;

e563:    b251 + b275 <= 1;

e564:    b252 + b276 <= 1;

e565:    b253 + b277 <= 1;

e566:    b234 + b294 <= 1;

e567:    b235 + b295 <= 1;

e568:    b236 + b296 <= 1;

e569:    b237 + b297 <= 1;

e570:    b238 + b294 <= 1;

e571:    b239 + b295 <= 1;

e572:    b240 + b296 <= 1;

e573:    b241 + b297 <= 1;

e574:    b242 + b294 <= 1;

e575:    b243 + b295 <= 1;

e576:    b244 + b296 <= 1;

e577:    b245 + b297 <= 1;

e578:    b246 + b294 <= 1;

e579:    b247 + b295 <= 1;

e580:    b248 + b296 <= 1;

e581:    b249 + b297 <= 1;

e582:    b250 + b294 <= 1;

e583:    b251 + b295 <= 1;

e584:    b252 + b296 <= 1;

e585:    b253 + b297 <= 1;

e586:    b190 + b254 <= 1;

e587:    b191 + b255 <= 1;

e588:    b192 + b256 <= 1;

e589:    b193 + b257 <= 1;

e590:    b190 + b258 <= 1;

e591:    b191 + b259 <= 1;

e592:    b192 + b260 <= 1;

e593:    b193 + b261 <= 1;

e594:    b190 + b262 <= 1;

e595:    b191 + b263 <= 1;

e596:    b192 + b264 <= 1;

e597:    b193 + b265 <= 1;

e598:    b190 + b266 <= 1;

e599:    b191 + b267 <= 1;

e600:    b192 + b268 <= 1;

e601:    b193 + b269 <= 1;

e602:    b190 + b270 <= 1;

e603:    b191 + b271 <= 1;

e604:    b192 + b272 <= 1;

e605:    b193 + b273 <= 1;

e606:    b214 + b254 <= 1;

e607:    b215 + b255 <= 1;

e608:    b216 + b256 <= 1;

e609:    b217 + b257 <= 1;

e610:    b214 + b258 <= 1;

e611:    b215 + b259 <= 1;

e612:    b216 + b260 <= 1;

e613:    b217 + b261 <= 1;

e614:    b214 + b262 <= 1;

e615:    b215 + b263 <= 1;

e616:    b216 + b264 <= 1;

e617:    b217 + b265 <= 1;

e618:    b214 + b266 <= 1;

e619:    b215 + b267 <= 1;

e620:    b216 + b268 <= 1;

e621:    b217 + b269 <= 1;

e622:    b214 + b270 <= 1;

e623:    b215 + b271 <= 1;

e624:    b216 + b272 <= 1;

e625:    b217 + b273 <= 1;

e626:    b234 + b254 <= 1;

e627:    b235 + b255 <= 1;

e628:    b236 + b256 <= 1;

e629:    b237 + b257 <= 1;

e630:    b234 + b258 <= 1;

e631:    b235 + b259 <= 1;

e632:    b236 + b260 <= 1;

e633:    b237 + b261 <= 1;

e634:    b234 + b262 <= 1;

e635:    b235 + b263 <= 1;

e636:    b236 + b264 <= 1;

e637:    b237 + b265 <= 1;

e638:    b234 + b266 <= 1;

e639:    b235 + b267 <= 1;

e640:    b236 + b268 <= 1;

e641:    b237 + b269 <= 1;

e642:    b234 + b270 <= 1;

e643:    b235 + b271 <= 1;

e644:    b236 + b272 <= 1;

e645:    b237 + b273 <= 1;

e646:    b254 + b278 <= 1;

e647:    b255 + b279 <= 1;

e648:    b256 + b280 <= 1;

e649:    b257 + b281 <= 1;

e650:    b258 + b278 <= 1;

e651:    b259 + b279 <= 1;

e652:    b260 + b280 <= 1;

e653:    b261 + b281 <= 1;

e654:    b262 + b278 <= 1;

e655:    b263 + b279 <= 1;

e656:    b264 + b280 <= 1;

e657:    b265 + b281 <= 1;

e658:    b266 + b278 <= 1;

e659:    b267 + b279 <= 1;

e660:    b268 + b280 <= 1;

e661:    b269 + b281 <= 1;

e662:    b270 + b278 <= 1;

e663:    b271 + b279 <= 1;

e664:    b272 + b280 <= 1;

e665:    b273 + b281 <= 1;

e666:    b254 + b298 <= 1;

e667:    b255 + b299 <= 1;

e668:    b256 + b300 <= 1;

e669:    b257 + b301 <= 1;

e670:    b258 + b298 <= 1;

e671:    b259 + b299 <= 1;

e672:    b260 + b300 <= 1;

e673:    b261 + b301 <= 1;

e674:    b262 + b298 <= 1;

e675:    b263 + b299 <= 1;

e676:    b264 + b300 <= 1;

e677:    b265 + b301 <= 1;

e678:    b266 + b298 <= 1;

e679:    b267 + b299 <= 1;

e680:    b268 + b300 <= 1;

e681:    b269 + b301 <= 1;

e682:    b270 + b298 <= 1;

e683:    b271 + b299 <= 1;

e684:    b272 + b300 <= 1;

e685:    b273 + b301 <= 1;

e686:    b194 + b274 <= 1;

e687:    b195 + b275 <= 1;

e688:    b196 + b276 <= 1;

e689:    b197 + b277 <= 1;

e690:    b194 + b278 <= 1;

e691:    b195 + b279 <= 1;

e692:    b196 + b280 <= 1;

e693:    b197 + b281 <= 1;

e694:    b194 + b282 <= 1;

e695:    b195 + b283 <= 1;

e696:    b196 + b284 <= 1;

e697:    b197 + b285 <= 1;

e698:    b194 + b286 <= 1;

e699:    b195 + b287 <= 1;

e700:    b196 + b288 <= 1;

e701:    b197 + b289 <= 1;

e702:    b194 + b290 <= 1;

e703:    b195 + b291 <= 1;

e704:    b196 + b292 <= 1;

e705:    b197 + b293 <= 1;

e706:    b218 + b274 <= 1;

e707:    b219 + b275 <= 1;

e708:    b220 + b276 <= 1;

e709:    b221 + b277 <= 1;

e710:    b218 + b278 <= 1;

e711:    b219 + b279 <= 1;

e712:    b220 + b280 <= 1;

e713:    b221 + b281 <= 1;

e714:    b218 + b282 <= 1;

e715:    b219 + b283 <= 1;

e716:    b220 + b284 <= 1;

e717:    b221 + b285 <= 1;

e718:    b218 + b286 <= 1;

e719:    b219 + b287 <= 1;

e720:    b220 + b288 <= 1;

e721:    b221 + b289 <= 1;

e722:    b218 + b290 <= 1;

e723:    b219 + b291 <= 1;

e724:    b220 + b292 <= 1;

e725:    b221 + b293 <= 1;

e726:    b238 + b274 <= 1;

e727:    b239 + b275 <= 1;

e728:    b240 + b276 <= 1;

e729:    b241 + b277 <= 1;

e730:    b238 + b278 <= 1;

e731:    b239 + b279 <= 1;

e732:    b240 + b280 <= 1;

e733:    b241 + b281 <= 1;

e734:    b238 + b282 <= 1;

e735:    b239 + b283 <= 1;

e736:    b240 + b284 <= 1;

e737:    b241 + b285 <= 1;

e738:    b238 + b286 <= 1;

e739:    b239 + b287 <= 1;

e740:    b240 + b288 <= 1;

e741:    b241 + b289 <= 1;

e742:    b238 + b290 <= 1;

e743:    b239 + b291 <= 1;

e744:    b240 + b292 <= 1;

e745:    b241 + b293 <= 1;

e746:    b258 + b274 <= 1;

e747:    b259 + b275 <= 1;

e748:    b260 + b276 <= 1;

e749:    b261 + b277 <= 1;

e750:    b258 + b278 <= 1;

e751:    b259 + b279 <= 1;

e752:    b260 + b280 <= 1;

e753:    b261 + b281 <= 1;

e754:    b258 + b282 <= 1;

e755:    b259 + b283 <= 1;

e756:    b260 + b284 <= 1;

e757:    b261 + b285 <= 1;

e758:    b258 + b286 <= 1;

e759:    b259 + b287 <= 1;

e760:    b260 + b288 <= 1;

e761:    b261 + b289 <= 1;

e762:    b258 + b290 <= 1;

e763:    b259 + b291 <= 1;

e764:    b260 + b292 <= 1;

e765:    b261 + b293 <= 1;

e766:    b274 + b302 <= 1;

e767:    b275 + b303 <= 1;

e768:    b276 + b304 <= 1;

e769:    b277 + b305 <= 1;

e770:    b278 + b302 <= 1;

e771:    b279 + b303 <= 1;

e772:    b280 + b304 <= 1;

e773:    b281 + b305 <= 1;

e774:    b282 + b302 <= 1;

e775:    b283 + b303 <= 1;

e776:    b284 + b304 <= 1;

e777:    b285 + b305 <= 1;

e778:    b286 + b302 <= 1;

e779:    b287 + b303 <= 1;

e780:    b288 + b304 <= 1;

e781:    b289 + b305 <= 1;

e782:    b290 + b302 <= 1;

e783:    b291 + b303 <= 1;

e784:    b292 + b304 <= 1;

e785:    b293 + b305 <= 1;

e786:    b198 + b294 <= 1;

e787:    b199 + b295 <= 1;

e788:    b200 + b296 <= 1;

e789:    b201 + b297 <= 1;

e790:    b198 + b298 <= 1;

e791:    b199 + b299 <= 1;

e792:    b200 + b300 <= 1;

e793:    b201 + b301 <= 1;

e794:    b198 + b302 <= 1;

e795:    b199 + b303 <= 1;

e796:    b200 + b304 <= 1;

e797:    b201 + b305 <= 1;

e798:    b198 + b306 <= 1;

e799:    b199 + b307 <= 1;

e800:    b200 + b308 <= 1;

e801:    b201 + b309 <= 1;

e802:    b198 + b310 <= 1;

e803:    b199 + b311 <= 1;

e804:    b200 + b312 <= 1;

e805:    b201 + b313 <= 1;

e806:    b222 + b294 <= 1;

e807:    b223 + b295 <= 1;

e808:    b224 + b296 <= 1;

e809:    b225 + b297 <= 1;

e810:    b222 + b298 <= 1;

e811:    b223 + b299 <= 1;

e812:    b224 + b300 <= 1;

e813:    b225 + b301 <= 1;

e814:    b222 + b302 <= 1;

e815:    b223 + b303 <= 1;

e816:    b224 + b304 <= 1;

e817:    b225 + b305 <= 1;

e818:    b222 + b306 <= 1;

e819:    b223 + b307 <= 1;

e820:    b224 + b308 <= 1;

e821:    b225 + b309 <= 1;

e822:    b222 + b310 <= 1;

e823:    b223 + b311 <= 1;

e824:    b224 + b312 <= 1;

e825:    b225 + b313 <= 1;

e826:    b242 + b294 <= 1;

e827:    b243 + b295 <= 1;

e828:    b244 + b296 <= 1;

e829:    b245 + b297 <= 1;

e830:    b242 + b298 <= 1;

e831:    b243 + b299 <= 1;

e832:    b244 + b300 <= 1;

e833:    b245 + b301 <= 1;

e834:    b242 + b302 <= 1;

e835:    b243 + b303 <= 1;

e836:    b244 + b304 <= 1;

e837:    b245 + b305 <= 1;

e838:    b242 + b306 <= 1;

e839:    b243 + b307 <= 1;

e840:    b244 + b308 <= 1;

e841:    b245 + b309 <= 1;

e842:    b242 + b310 <= 1;

e843:    b243 + b311 <= 1;

e844:    b244 + b312 <= 1;

e845:    b245 + b313 <= 1;

e846:    b262 + b294 <= 1;

e847:    b263 + b295 <= 1;

e848:    b264 + b296 <= 1;

e849:    b265 + b297 <= 1;

e850:    b262 + b298 <= 1;

e851:    b263 + b299 <= 1;

e852:    b264 + b300 <= 1;

e853:    b265 + b301 <= 1;

e854:    b262 + b302 <= 1;

e855:    b263 + b303 <= 1;

e856:    b264 + b304 <= 1;

e857:    b265 + b305 <= 1;

e858:    b262 + b306 <= 1;

e859:    b263 + b307 <= 1;

e860:    b264 + b308 <= 1;

e861:    b265 + b309 <= 1;

e862:    b262 + b310 <= 1;

e863:    b263 + b311 <= 1;

e864:    b264 + b312 <= 1;

e865:    b265 + b313 <= 1;

e866:    b282 + b294 <= 1;

e867:    b283 + b295 <= 1;

e868:    b284 + b296 <= 1;

e869:    b285 + b297 <= 1;

e870:    b282 + b298 <= 1;

e871:    b283 + b299 <= 1;

e872:    b284 + b300 <= 1;

e873:    b285 + b301 <= 1;

e874:    b282 + b302 <= 1;

e875:    b283 + b303 <= 1;

e876:    b284 + b304 <= 1;

e877:    b285 + b305 <= 1;

e878:    b282 + b306 <= 1;

e879:    b283 + b307 <= 1;

e880:    b284 + b308 <= 1;

e881:    b285 + b309 <= 1;

e882:    b282 + b310 <= 1;

e883:    b283 + b311 <= 1;

e884:    b284 + b312 <= 1;

e885:    b285 + b313 <= 1;