#  MINLP written by GAMS Convert at 01/12/18 13:30:01
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        861       65      208      588        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        305      185      120        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2413     2037      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, <= 2;
var x155 >= 0, <= 2;
var x156 >= 0, <= 2;
var x157 >= 0, <= 2;
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 b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var b236 binary >= 0, <= 1;
var b237 binary >= 0, <= 1;
var b238 binary >= 0, <= 1;
var b239 binary >= 0, <= 1;
var b240 binary >= 0, <= 1;
var b241 binary >= 0, <= 1;
var b242 binary >= 0, <= 1;
var b243 binary >= 0, <= 1;
var b244 binary >= 0, <= 1;
var b245 binary >= 0, <= 1;
var b246 binary >= 0, <= 1;
var b247 binary >= 0, <= 1;
var b248 binary >= 0, <= 1;
var b249 binary >= 0, <= 1;
var b250 binary >= 0, <= 1;
var b251 binary >= 0, <= 1;
var b252 binary >= 0, <= 1;
var b253 binary >= 0, <= 1;
var b254 binary >= 0, <= 1;
var b255 binary >= 0, <= 1;
var b256 binary >= 0, <= 1;
var b257 binary >= 0, <= 1;
var b258 binary >= 0, <= 1;
var b259 binary >= 0, <= 1;
var b260 binary >= 0, <= 1;
var b261 binary >= 0, <= 1;
var b262 binary >= 0, <= 1;
var b263 binary >= 0, <= 1;
var b264 binary >= 0, <= 1;
var b265 binary >= 0, <= 1;
var b266 binary >= 0, <= 1;
var b267 binary >= 0, <= 1;
var b268 binary >= 0, <= 1;
var b269 binary >= 0, <= 1;
var b270 binary >= 0, <= 1;
var b271 binary >= 0, <= 1;
var b272 binary >= 0, <= 1;
var b273 binary >= 0, <= 1;
var b274 binary >= 0, <= 1;
var b275 binary >= 0, <= 1;
var b276 binary >= 0, <= 1;
var b277 binary >= 0, <= 1;
var b278 binary >= 0, <= 1;
var b279 binary >= 0, <= 1;
var b280 binary >= 0, <= 1;
var b281 binary >= 0, <= 1;
var b282 binary >= 0, <= 1;
var b283 binary >= 0, <= 1;
var b284 binary >= 0, <= 1;
var b285 binary >= 0, <= 1;
var b286 binary >= 0, <= 1;
var b287 binary >= 0, <= 1;
var b288 binary >= 0, <= 1;
var b289 binary >= 0, <= 1;
var b290 binary >= 0, <= 1;
var b291 binary >= 0, <= 1;
var b292 binary >= 0, <= 1;
var b293 binary >= 0, <= 1;
var b294 binary >= 0, <= 1;
var b295 binary >= 0, <= 1;
var b296 binary >= 0, <= 1;
var b297 binary >= 0, <= 1;
var b298 binary >= 0, <= 1;
var b299 binary >= 0, <= 1;
var b300 binary >= 0, <= 1;
var b301 binary >= 0, <= 1;
var b302 binary >= 0, <= 1;
var b303 binary >= 0, <= 1;
var b304 binary >= 0, <= 1;
var b305 binary >= 0, <= 1;

maximize obj:  - 1.03*x2 - 1.03*x3 - 1.03*x4 - 1.03*x5 - 0.75*x6 - 0.75*x7
     - 0.75*x8 - 0.75*x9 - 0.49*x10 - 0.49*x11 - 0.49*x12 - 0.49*x13 - 0.95*x14
     - 0.95*x15 - 0.95*x16 - 0.95*x17 + 8.83*x18 + 8.83*x19 + 8.83*x20
     + 8.83*x21 - 1.05*x22 - 1.05*x23 - 1.05*x24 - 1.05*x25 - 1.78*x26
     - 1.78*x27 - 1.78*x28 - 1.78*x29 - 1.13*x30 - 1.13*x31 - 1.13*x32
     - 1.13*x33 + 8.13*x34 + 8.13*x35 + 8.13*x36 + 8.13*x37 + 8.26*x38
     + 8.26*x39 + 8.26*x40 + 8.26*x41 - 0.79*x42 - 0.79*x43 - 0.79*x44
     - 0.79*x45 - 0.53*x46 - 0.53*x47 - 0.53*x48 - 0.53*x49 - 0.6*x50 - 0.6*x51
     - 0.6*x52 - 0.6*x53 + 8.95*x54 + 8.95*x55 + 8.95*x56 + 8.95*x57 + 8.85*x58
     + 8.85*x59 + 8.85*x60 + 8.85*x61 - 0.08*x62 - 0.08*x63 - 0.08*x64
     - 0.08*x65 - 0.91*x66 - 0.91*x67 - 0.91*x68 - 0.91*x69 - 0.83*x70
     - 0.83*x71 - 0.83*x72 - 0.83*x73 + 8.6*x74 + 8.6*x75 + 8.6*x76 + 8.6*x77
     + 9.16*x78 + 9.16*x79 + 9.16*x80 + 9.16*x81 - 0.96*x82 - 0.96*x83
     - 0.96*x84 - 0.96*x85 - 0.77*x86 - 0.77*x87 - 0.77*x88 - 0.77*x89
     - 0.87*x90 - 0.87*x91 - 0.87*x92 - 0.87*x93 + 9.2*x94 + 9.2*x95 + 9.2*x96
     + 9.2*x97 + 8.8*x98 + 8.8*x99 + 8.8*x100 + 8.8*x101 - 0.91*x102
     - 0.91*x103 - 0.91*x104 - 0.91*x105 - 0.26*x106 - 0.26*x107 - 0.26*x108
     - 0.26*x109 - 0.14*x110 - 0.14*x111 - 0.14*x112 - 0.14*x113 + 9.02*x114
     + 9.02*x115 + 9.02*x116 + 9.02*x117 + 9.46*x118 + 9.46*x119 + 9.46*x120
     + 9.46*x121 - 0.35*b186 - 0.35*b187 - 0.35*b188 - 0.35*b189 - 0.59*b190
     - 0.59*b191 - 0.59*b192 - 0.59*b193 - 0.92*b194 - 0.92*b195 - 0.92*b196
     - 0.92*b197 - 0.76*b198 - 0.76*b199 - 0.76*b200 - 0.76*b201 - 0.38*b202
     - 0.38*b203 - 0.38*b204 - 0.38*b205 - 0.08*b206 - 0.08*b207 - 0.08*b208
     - 0.08*b209 - 0.53*b210 - 0.53*b211 - 0.53*b212 - 0.53*b213 - 0.93*b214
     - 0.93*b215 - 0.93*b216 - 0.93*b217 - 0.57*b218 - 0.57*b219 - 0.57*b220
     - 0.57*b221 - 0.01*b222 - 0.01*b223 - 0.01*b224 - 0.01*b225 - 0.16*b226
     - 0.16*b227 - 0.16*b228 - 0.16*b229 - 0.31*b230 - 0.31*b231 - 0.31*b232
     - 0.31*b233 - 0.17*b234 - 0.17*b235 - 0.17*b236 - 0.17*b237 - 0.26*b238
     - 0.26*b239 - 0.26*b240 - 0.26*b241 - 0.69*b242 - 0.69*b243 - 0.69*b244
     - 0.69*b245 - 0.45*b246 - 0.45*b247 - 0.45*b248 - 0.45*b249 - 0.23*b250
     - 0.23*b251 - 0.23*b252 - 0.23*b253 - 0.15*b254 - 0.15*b255 - 0.15*b256
     - 0.15*b257 - 0.54*b258 - 0.54*b259 - 0.54*b260 - 0.54*b261 - 0.08*b262
     - 0.08*b263 - 0.08*b264 - 0.08*b265 - 0.11*b266 - 0.11*b267 - 0.11*b268
     - 0.11*b269 - 0.82*b274 - 0.82*b275 - 0.82*b276 - 0.82*b277 - 0.08*b278
     - 0.08*b279 - 0.08*b280 - 0.08*b281 - 0.26*b282 - 0.26*b283 - 0.26*b284
     - 0.26*b285 - 0.43*b286 - 0.43*b287 - 0.43*b288 - 0.43*b289 - 0.18*b290
     - 0.18*b291 - 0.18*b292 - 0.18*b293 - 0.15*b294 - 0.15*b295 - 0.15*b296
     - 0.15*b297 - 0.87*b298 - 0.87*b299 - 0.87*b300 - 0.87*b301 - 0.55*b302
     - 0.55*b303 - 0.55*b304 - 0.55*b305;

subject to

e2:    x2 + x6 + x10 + x14 + x18 + x154 = 1.9;

e3:    x22 + x26 + x30 + x34 + x38 + x158 = 1.8;

e4:  - x2 + x42 + x46 + x50 + x54 + x58 - x62 - x82 - x102 + x162 = 0.3;

e5:  - x6 - x22 - x42 + x62 + x66 + x70 + x74 + x78 - x86 - x106 + x166 = 1.8;

e6:  - x10 - x26 - x46 - x66 + x82 + x86 + x90 + x94 + x98 - x110 + x170 = 1.3;

e7:  - x14 - x30 - x50 - x70 - x90 + x102 + x106 + x110 + x114 + x118 + x174
     = 0.2;

e8:  - x18 - x34 - x54 - x74 - x94 - x114 + x178 = 0.16;

e9:  - x38 - x58 - x78 - x98 - x118 + x182 = 0.72;

e10: x122*x162 - 0.7*x2 + 0.7*x42 + 0.7*x46 + 0.7*x50 + 0.7*x54 + 0.7*x58
      - 0.8*x62 - 0.7*x82 - 0.7*x102 = 0.21;

e11: x126*x166 - 0.7*x6 - 0.9*x22 - 0.7*x42 + 0.8*x62 + 0.8*x66 + 0.8*x70
      + 0.8*x74 + 0.8*x78 - 0.7*x86 - 0.7*x106 = 1.44;

e12: x130*x170 - 0.7*x10 - 0.9*x26 - 0.7*x46 - 0.8*x66 + 0.7*x82 + 0.7*x86
      + 0.7*x90 + 0.7*x94 + 0.7*x98 - 0.7*x110 = 0.91;

e13: x134*x174 - 0.7*x14 - 0.9*x30 - 0.7*x50 - 0.8*x70 - 0.7*x90 + 0.7*x102
      + 0.7*x106 + 0.7*x110 + 0.7*x114 + 0.7*x118 = 0.14;

e14: x138*x162 - 0.2*x2 - 0.9*x62 - 0.8*x82 - 0.4*x102 = 0;

e15: x142*x166 - 0.2*x6 - 0.8*x22 + 0.9*x62 + 0.9*x66 + 0.9*x70 + 0.9*x74
      + 0.9*x78 - 0.8*x86 - 0.4*x106 = 1.62;

e16: x146*x170 - 0.2*x10 - 0.8*x26 - 0.9*x66 + 0.8*x82 + 0.8*x86 + 0.8*x90
      + 0.8*x94 + 0.8*x98 - 0.4*x110 = 1.04;

e17: x150*x174 - 0.2*x14 - 0.8*x30 - 0.9*x70 - 0.8*x90 + 0.4*x102 + 0.4*x106
      + 0.4*x110 + 0.4*x114 + 0.4*x118 = 0.08;

e18:    x3 + x7 + x11 + x15 + x19 - x154 + x155 = 0.1;

e19:    x4 + x8 + x12 + x16 + x20 - x155 + x156 = 0.7;

e20:    x5 + x9 + x13 + x17 + x21 - x156 + x157 = 1;

e21:    x23 + x27 + x31 + x35 + x39 - x158 + x159 = 0.8;

e22:    x24 + x28 + x32 + x36 + x40 - x159 + x160 = 0.3;

e23:    x25 + x29 + x33 + x37 + x41 - x160 + x161 = 0;

e24:  - x3 + x43 + x47 + x51 + x55 + x59 - x63 - x83 - x103 - x162 + x163 = 0;

e25:  - x4 + x44 + x48 + x52 + x56 + x60 - x64 - x84 - x104 - x163 + x164 = 0;

e26:  - x5 + x45 + x49 + x53 + x57 + x61 - x65 - x85 - x105 - x164 + x165 = 0;

e27:  - x7 - x23 - x43 + x63 + x67 + x71 + x75 + x79 - x87 - x107 - x166 + x167
      = 0;

e28:  - x8 - x24 - x44 + x64 + x68 + x72 + x76 + x80 - x88 - x108 - x167 + x168
      = 0;

e29:  - x9 - x25 - x45 + x65 + x69 + x73 + x77 + x81 - x89 - x109 - x168 + x169
      = 0;

e30:  - x11 - x27 - x47 - x67 + x83 + x87 + x91 + x95 + x99 - x111 - x170
      + x171 = 0;

e31:  - x12 - x28 - x48 - x68 + x84 + x88 + x92 + x96 + x100 - x112 - x171
      + x172 = 0;

e32:  - x13 - x29 - x49 - x69 + x85 + x89 + x93 + x97 + x101 - x113 - x172
      + x173 = 0;

e33:  - x15 - x31 - x51 - x71 - x91 + x103 + x107 + x111 + x115 + x119 - x174
      + x175 = 0;

e34:  - x16 - x32 - x52 - x72 - x92 + x104 + x108 + x112 + x116 + x120 - x175
      + x176 = 0;

e35:  - x17 - x33 - x53 - x73 - x93 + x105 + x109 + x113 + x117 + x121 - x176
      + x177 = 0;

e36:  - x19 - x35 - x55 - x75 - x95 - x115 - x178 + x179 = -0.77;

e37:  - x20 - x36 - x56 - x76 - x96 - x116 - x179 + x180 = -0.19;

e38:  - x21 - x37 - x57 - x77 - x97 - x117 - x180 + x181 = -0.45;

e39:  - x39 - x59 - x79 - x99 - x119 - x182 + x183 = -0.8;

e40:  - x40 - x60 - x80 - x100 - x120 - x183 + x184 = -0.49;

e41:  - x41 - x61 - x81 - x101 - x121 - x184 + x185 = -0.65;

e42: x123*x163 - (x122*x162 + x126*x63 + x130*x83 + x134*x103 - (x122*x43 + 
     x122*x47 + x122*x51 + x122*x55 + x122*x59)) - 0.7*x3 = 0;

e43: x124*x164 - (x123*x163 + x127*x64 + x131*x84 + x135*x104 - (x123*x44 + 
     x123*x48 + x123*x52 + x123*x56 + x123*x60)) - 0.7*x4 = 0;

e44: x125*x165 - (x124*x164 + x128*x65 + x132*x85 + x136*x105 - (x124*x45 + 
     x124*x49 + x124*x53 + x124*x57 + x124*x61)) - 0.7*x5 = 0;

e45: x127*x167 - (x126*x166 + x122*x43 + x130*x87 + x134*x107 - (x126*x63 + 
     x126*x67 + x126*x71 + x126*x75 + x126*x79)) - 0.7*x7 - 0.9*x23 = 0;

e46: x128*x168 - (x127*x167 + x123*x44 + x131*x88 + x135*x108 - (x127*x64 + 
     x127*x68 + x127*x72 + x127*x76 + x127*x80)) - 0.7*x8 - 0.9*x24 = 0;

e47: x129*x169 - (x128*x168 + x124*x45 + x132*x89 + x136*x109 - (x128*x65 + 
     x128*x69 + x128*x73 + x128*x77 + x128*x81)) - 0.7*x9 - 0.9*x25 = 0;

e48: x131*x171 - (x130*x170 + x122*x47 + x126*x67 + x134*x111 - (x130*x83 + 
     x130*x87 + x130*x91 + x130*x95 + x130*x99)) - 0.7*x11 - 0.9*x27 = 0;

e49: x132*x172 - (x131*x171 + x123*x48 + x127*x68 + x135*x112 - (x131*x84 + 
     x131*x88 + x131*x92 + x131*x96 + x131*x100)) - 0.7*x12 - 0.9*x28 = 0;

e50: x133*x173 - (x132*x172 + x124*x49 + x128*x69 + x136*x113 - (x132*x85 + 
     x132*x89 + x132*x93 + x132*x97 + x132*x101)) - 0.7*x13 - 0.9*x29 = 0;

e51: x135*x175 - (x134*x174 + x122*x51 + x126*x71 + x130*x91 - (x134*x103 + 
     x134*x107 + x134*x111 + x134*x115 + x134*x119)) - 0.7*x15 - 0.9*x31 = 0;

e52: x136*x176 - (x135*x175 + x123*x52 + x127*x72 + x131*x92 - (x135*x104 + 
     x135*x108 + x135*x112 + x135*x116 + x135*x120)) - 0.7*x16 - 0.9*x32 = 0;

e53: x137*x177 - (x136*x176 + x124*x53 + x128*x73 + x132*x93 - (x136*x105 + 
     x136*x109 + x136*x113 + x136*x117 + x136*x121)) - 0.7*x17 - 0.9*x33 = 0;

e54: x139*x163 - (x138*x162 + x142*x63 + x146*x83 + x150*x103 - (x138*x43 + 
     x138*x47 + x138*x51 + x138*x55 + x138*x59)) - 0.2*x3 = 0;

e55: x140*x164 - (x139*x163 + x143*x64 + x147*x84 + x151*x104 - (x139*x44 + 
     x139*x48 + x139*x52 + x139*x56 + x139*x60)) - 0.2*x4 = 0;

e56: x141*x165 - (x140*x164 + x144*x65 + x148*x85 + x152*x105 - (x140*x45 + 
     x140*x49 + x140*x53 + x140*x57 + x140*x61)) - 0.2*x5 = 0;

e57: x143*x167 - (x142*x166 + x138*x43 + x146*x87 + x150*x107 - (x142*x63 + 
     x142*x67 + x142*x71 + x142*x75 + x142*x79)) - 0.2*x7 - 0.8*x23 = 0;

e58: x144*x168 - (x143*x167 + x139*x44 + x147*x88 + x151*x108 - (x143*x64 + 
     x143*x68 + x143*x72 + x143*x76 + x143*x80)) - 0.2*x8 - 0.8*x24 = 0;

e59: x145*x169 - (x144*x168 + x140*x45 + x148*x89 + x152*x109 - (x144*x65 + 
     x144*x69 + x144*x73 + x144*x77 + x144*x81)) - 0.2*x9 - 0.8*x25 = 0;

e60: x147*x171 - (x146*x170 + x138*x47 + x142*x67 + x150*x111 - (x146*x83 + 
     x146*x87 + x146*x91 + x146*x95 + x146*x99)) - 0.2*x11 - 0.8*x27 = 0;

e61: x148*x172 - (x147*x171 + x139*x48 + x143*x68 + x151*x112 - (x147*x84 + 
     x147*x88 + x147*x92 + x147*x96 + x147*x100)) - 0.2*x12 - 0.8*x28 = 0;

e62: x149*x173 - (x148*x172 + x140*x49 + x144*x69 + x152*x113 - (x148*x85 + 
     x148*x89 + x148*x93 + x148*x97 + x148*x101)) - 0.2*x13 - 0.8*x29 = 0;

e63: x151*x175 - (x150*x174 + x138*x51 + x142*x71 + x146*x91 - (x150*x103 + 
     x150*x107 + x150*x111 + x150*x115 + x150*x119)) - 0.2*x15 - 0.8*x31 = 0;

e64: x152*x176 - (x151*x175 + x139*x52 + x143*x72 + x147*x92 - (x151*x104 + 
     x151*x108 + x151*x112 + x151*x116 + x151*x120)) - 0.2*x16 - 0.8*x32 = 0;

e65: x153*x177 - (x152*x176 + x140*x53 + x144*x73 + x148*x93 - (x152*x105 + 
     x152*x109 + x152*x113 + x152*x117 + x152*x121)) - 0.2*x17 - 0.8*x33 = 0;

e66:    x2 - b186 <= 0;

e67:    x3 - b187 <= 0;

e68:    x4 - b188 <= 0;

e69:    x5 - b189 <= 0;

e70:    x6 - b190 <= 0;

e71:    x7 - b191 <= 0;

e72:    x8 - b192 <= 0;

e73:    x9 - b193 <= 0;

e74:    x10 - b194 <= 0;

e75:    x11 - b195 <= 0;

e76:    x12 - b196 <= 0;

e77:    x13 - b197 <= 0;

e78:    x14 - b198 <= 0;

e79:    x15 - b199 <= 0;

e80:    x16 - b200 <= 0;

e81:    x17 - b201 <= 0;

e82:    x18 - b202 <= 0;

e83:    x19 - b203 <= 0;

e84:    x20 - b204 <= 0;

e85:    x21 - b205 <= 0;

e86:    x22 - b206 <= 0;

e87:    x23 - b207 <= 0;

e88:    x24 - b208 <= 0;

e89:    x25 - b209 <= 0;

e90:    x26 - b210 <= 0;

e91:    x27 - b211 <= 0;

e92:    x28 - b212 <= 0;

e93:    x29 - b213 <= 0;

e94:    x30 - b214 <= 0;

e95:    x31 - b215 <= 0;

e96:    x32 - b216 <= 0;

e97:    x33 - b217 <= 0;

e98:    x34 - b218 <= 0;

e99:    x35 - b219 <= 0;

e100:    x36 - b220 <= 0;

e101:    x37 - b221 <= 0;

e102:    x38 - b222 <= 0;

e103:    x39 - b223 <= 0;

e104:    x40 - b224 <= 0;

e105:    x41 - b225 <= 0;

e106:    x42 - b226 <= 0;

e107:    x43 - b227 <= 0;

e108:    x44 - b228 <= 0;

e109:    x45 - b229 <= 0;

e110:    x46 - b230 <= 0;

e111:    x47 - b231 <= 0;

e112:    x48 - b232 <= 0;

e113:    x49 - b233 <= 0;

e114:    x50 - b234 <= 0;

e115:    x51 - b235 <= 0;

e116:    x52 - b236 <= 0;

e117:    x53 - b237 <= 0;

e118:    x54 - b238 <= 0;

e119:    x55 - b239 <= 0;

e120:    x56 - b240 <= 0;

e121:    x57 - b241 <= 0;

e122:    x58 - b242 <= 0;

e123:    x59 - b243 <= 0;

e124:    x60 - b244 <= 0;

e125:    x61 - b245 <= 0;

e126:    x62 - b246 <= 0;

e127:    x63 - b247 <= 0;

e128:    x64 - b248 <= 0;

e129:    x65 - b249 <= 0;

e130:    x66 - b250 <= 0;

e131:    x67 - b251 <= 0;

e132:    x68 - b252 <= 0;

e133:    x69 - b253 <= 0;

e134:    x70 - b254 <= 0;

e135:    x71 - b255 <= 0;

e136:    x72 - b256 <= 0;

e137:    x73 - b257 <= 0;

e138:    x74 - b258 <= 0;

e139:    x75 - b259 <= 0;

e140:    x76 - b260 <= 0;

e141:    x77 - b261 <= 0;

e142:    x78 - b262 <= 0;

e143:    x79 - b263 <= 0;

e144:    x80 - b264 <= 0;

e145:    x81 - b265 <= 0;

e146:    x82 - b266 <= 0;

e147:    x83 - b267 <= 0;

e148:    x84 - b268 <= 0;

e149:    x85 - b269 <= 0;

e150:    x86 - b270 <= 0;

e151:    x87 - b271 <= 0;

e152:    x88 - b272 <= 0;

e153:    x89 - b273 <= 0;

e154:    x90 - b274 <= 0;

e155:    x91 - b275 <= 0;

e156:    x92 - b276 <= 0;

e157:    x93 - b277 <= 0;

e158:    x94 - b278 <= 0;

e159:    x95 - b279 <= 0;

e160:    x96 - b280 <= 0;

e161:    x97 - b281 <= 0;

e162:    x98 - b282 <= 0;

e163:    x99 - b283 <= 0;

e164:    x100 - b284 <= 0;

e165:    x101 - b285 <= 0;

e166:    x102 - b286 <= 0;

e167:    x103 - b287 <= 0;

e168:    x104 - b288 <= 0;

e169:    x105 - b289 <= 0;

e170:    x106 - b290 <= 0;

e171:    x107 - b291 <= 0;

e172:    x108 - b292 <= 0;

e173:    x109 - b293 <= 0;

e174:    x110 - b294 <= 0;

e175:    x111 - b295 <= 0;

e176:    x112 - b296 <= 0;

e177:    x113 - b297 <= 0;

e178:    x114 - b298 <= 0;

e179:    x115 - b299 <= 0;

e180:    x116 - b300 <= 0;

e181:    x117 - b301 <= 0;

e182:    x118 - b302 <= 0;

e183:    x119 - b303 <= 0;

e184:    x120 - b304 <= 0;

e185:    x121 - b305 <= 0;

e186:    x2 >= 0;

e187:    x3 >= 0;

e188:    x4 >= 0;

e189:    x5 >= 0;

e190:    x6 >= 0;

e191:    x7 >= 0;

e192:    x8 >= 0;

e193:    x9 >= 0;

e194:    x10 >= 0;

e195:    x11 >= 0;

e196:    x12 >= 0;

e197:    x13 >= 0;

e198:    x14 >= 0;

e199:    x15 >= 0;

e200:    x16 >= 0;

e201:    x17 >= 0;

e202:    x18 >= 0;

e203:    x19 >= 0;

e204:    x20 >= 0;

e205:    x21 >= 0;

e206:    x22 >= 0;

e207:    x23 >= 0;

e208:    x24 >= 0;

e209:    x25 >= 0;

e210:    x26 >= 0;

e211:    x27 >= 0;

e212:    x28 >= 0;

e213:    x29 >= 0;

e214:    x30 >= 0;

e215:    x31 >= 0;

e216:    x32 >= 0;

e217:    x33 >= 0;

e218:    x34 >= 0;

e219:    x35 >= 0;

e220:    x36 >= 0;

e221:    x37 >= 0;

e222:    x38 >= 0;

e223:    x39 >= 0;

e224:    x40 >= 0;

e225:    x41 >= 0;

e226:    x42 >= 0;

e227:    x43 >= 0;

e228:    x44 >= 0;

e229:    x45 >= 0;

e230:    x46 >= 0;

e231:    x47 >= 0;

e232:    x48 >= 0;

e233:    x49 >= 0;

e234:    x50 >= 0;

e235:    x51 >= 0;

e236:    x52 >= 0;

e237:    x53 >= 0;

e238:    x54 >= 0;

e239:    x55 >= 0;

e240:    x56 >= 0;

e241:    x57 >= 0;

e242:    x58 >= 0;

e243:    x59 >= 0;

e244:    x60 >= 0;

e245:    x61 >= 0;

e246:    x62 >= 0;

e247:    x63 >= 0;

e248:    x64 >= 0;

e249:    x65 >= 0;

e250:    x66 >= 0;

e251:    x67 >= 0;

e252:    x68 >= 0;

e253:    x69 >= 0;

e254:    x70 >= 0;

e255:    x71 >= 0;

e256:    x72 >= 0;

e257:    x73 >= 0;

e258:    x74 >= 0;

e259:    x75 >= 0;

e260:    x76 >= 0;

e261:    x77 >= 0;

e262:    x78 >= 0;

e263:    x79 >= 0;

e264:    x80 >= 0;

e265:    x81 >= 0;

e266:    x82 >= 0;

e267:    x83 >= 0;

e268:    x84 >= 0;

e269:    x85 >= 0;

e270:    x86 >= 0;

e271:    x87 >= 0;

e272:    x88 >= 0;

e273:    x89 >= 0;

e274:    x90 >= 0;

e275:    x91 >= 0;

e276:    x92 >= 0;

e277:    x93 >= 0;

e278:    x94 >= 0;

e279:    x95 >= 0;

e280:    x96 >= 0;

e281:    x97 >= 0;

e282:    x98 >= 0;

e283:    x99 >= 0;

e284:    x100 >= 0;

e285:    x101 >= 0;

e286:    x102 >= 0;

e287:    x103 >= 0;

e288:    x104 >= 0;

e289:    x105 >= 0;

e290:    x106 >= 0;

e291:    x107 >= 0;

e292:    x108 >= 0;

e293:    x109 >= 0;

e294:    x110 >= 0;

e295:    x111 >= 0;

e296:    x112 >= 0;

e297:    x113 >= 0;

e298:    x114 >= 0;

e299:    x115 >= 0;

e300:    x116 >= 0;

e301:    x117 >= 0;

e302:    x118 >= 0;

e303:    x119 >= 0;

e304:    x120 >= 0;

e305:    x121 >= 0;

e306:    b202 <= 1.1;

e307:    b203 <= 1.1;

e308:    b204 <= 1.1;

e309:    b205 <= 1.1;

e310:    b218 <= 1.3;

e311:    b219 <= 1.3;

e312:    b220 <= 1.3;

e313:    b221 <= 1.3;

e314:    b222 <= 1.1;

e315:    b223 <= 1.1;

e316:    b224 <= 1.1;

e317:    b225 <= 1.1;

e318:    b202 <= 0.7;

e319:    b203 <= 0.7;

e320:    b204 <= 0.7;

e321:    b205 <= 0.7;

e322:    b218 <= 1.3;

e323:    b219 <= 1.3;

e324:    b220 <= 1.3;

e325:    b221 <= 1.3;

e326:    b222 <= 1.7;

e327:    b223 <= 1.7;

e328:    b224 <= 1.7;

e329:    b225 <= 1.7;

e330:  - b202 >= -1.3;

e331:  - b203 >= -1.3;

e332:  - b204 >= -1.3;

e333:  - b205 >= -1.3;

e334:  - b218 >= -1.1;

e335:  - b219 >= -1.1;

e336:  - b220 >= -1.1;

e337:  - b221 >= -1.1;

e338:  - b222 >= -1.1;

e339:  - b223 >= -1.1;

e340:  - b224 >= -1.1;

e341:  - b225 >= -1.1;

e342:  - b202 >= -1.7;

e343:  - b203 >= -1.7;

e344:  - b204 >= -1.7;

e345:  - b205 >= -1.7;

e346:  - b218 >= -1.1;

e347:  - b219 >= -1.1;

e348:  - b220 >= -1.1;

e349:  - b221 >= -1.1;

e350:  - b222 >= -1.2;

e351:  - b223 >= -1.2;

e352:  - b224 >= -1.2;

e353:  - b225 >= -1.2;

e354:  - x122 + b239 <= 0.4;

e355:  - x123 + b240 <= 0.4;

e356:  - x124 + b241 <= 0.4;

e357:  - x122 + b243 <= 0.2;

e358:  - x123 + b244 <= 0.2;

e359:  - x124 + b245 <= 0.2;

e360:  - x126 + b259 <= 0.4;

e361:  - x127 + b260 <= 0.4;

e362:  - x128 + b261 <= 0.4;

e363:  - x126 + b263 <= 0.2;

e364:  - x127 + b264 <= 0.2;

e365:  - x128 + b265 <= 0.2;

e366:  - x130 + b279 <= 0.4;

e367:  - x131 + b280 <= 0.4;

e368:  - x132 + b281 <= 0.4;

e369:  - x130 + b283 <= 0.2;

e370:  - x131 + b284 <= 0.2;

e371:  - x132 + b285 <= 0.2;

e372:  - x134 + b299 <= 0.4;

e373:  - x135 + b300 <= 0.4;

e374:  - x136 + b301 <= 0.4;

e375:  - x134 + b303 <= 0.2;

e376:  - x135 + b304 <= 0.2;

e377:  - x136 + b305 <= 0.2;

e378:  - x138 + b239 <= 0.5;

e379:  - x139 + b240 <= 0.5;

e380:  - x140 + b241 <= 0.5;

e381:  - x138 + b243 <= 0.9;

e382:  - x139 + b244 <= 0.9;

e383:  - x140 + b245 <= 0.9;

e384:  - x142 + b259 <= 0.5;

e385:  - x143 + b260 <= 0.5;

e386:  - x144 + b261 <= 0.5;

e387:  - x142 + b263 <= 0.9;

e388:  - x143 + b264 <= 0.9;

e389:  - x144 + b265 <= 0.9;

e390:  - x146 + b279 <= 0.5;

e391:  - x147 + b280 <= 0.5;

e392:  - x148 + b281 <= 0.5;

e393:  - x146 + b283 <= 0.9;

e394:  - x147 + b284 <= 0.9;

e395:  - x148 + b285 <= 0.9;

e396:  - x150 + b299 <= 0.5;

e397:  - x151 + b300 <= 0.5;

e398:  - x152 + b301 <= 0.5;

e399:  - x150 + b303 <= 0.9;

e400:  - x151 + b304 <= 0.9;

e401:  - x152 + b305 <= 0.9;

e402:  - x122 - b239 >= -2;

e403:  - x123 - b240 >= -2;

e404:  - x124 - b241 >= -2;

e405:  - x122 - b243 >= -2;

e406:  - x123 - b244 >= -2;

e407:  - x124 - b245 >= -2;

e408:  - x126 - b259 >= -2;

e409:  - x127 - b260 >= -2;

e410:  - x128 - b261 >= -2;

e411:  - x126 - b263 >= -2;

e412:  - x127 - b264 >= -2;

e413:  - x128 - b265 >= -2;

e414:  - x130 - b279 >= -2;

e415:  - x131 - b280 >= -2;

e416:  - x132 - b281 >= -2;

e417:  - x130 - b283 >= -2;

e418:  - x131 - b284 >= -2;

e419:  - x132 - b285 >= -2;

e420:  - x134 - b299 >= -2;

e421:  - x135 - b300 >= -2;

e422:  - x136 - b301 >= -2;

e423:  - x134 - b303 >= -2;

e424:  - x135 - b304 >= -2;

e425:  - x136 - b305 >= -2;

e426:  - x138 - b239 >= -1.9;

e427:  - x139 - b240 >= -1.9;

e428:  - x140 - b241 >= -1.9;

e429:  - x138 - b243 >= -2;

e430:  - x139 - b244 >= -2;

e431:  - x140 - b245 >= -2;

e432:  - x142 - b259 >= -1.9;

e433:  - x143 - b260 >= -1.9;

e434:  - x144 - b261 >= -1.9;

e435:  - x142 - b263 >= -2;

e436:  - x143 - b264 >= -2;

e437:  - x144 - b265 >= -2;

e438:  - x146 - b279 >= -1.9;

e439:  - x147 - b280 >= -1.9;

e440:  - x148 - b281 >= -1.9;

e441:  - x146 - b283 >= -2;

e442:  - x147 - b284 >= -2;

e443:  - x148 - b285 >= -2;

e444:  - x150 - b299 >= -1.9;

e445:  - x151 - b300 >= -1.9;

e446:  - x152 - b301 >= -1.9;

e447:  - x150 - b303 >= -2;

e448:  - x151 - b304 >= -2;

e449:  - x152 - b305 >= -2;

e450:    b238 <= 1.1;

e451:    b242 <= 0.9;

e452:    b258 <= 1.2;

e453:    b262 <= 1;

e454:    b278 <= 1.1;

e455:    b282 <= 0.9;

e456:    b298 <= 1.1;

e457:    b302 <= 0.9;

e458:    b238 <= 0.5;

e459:    b242 <= 0.9;

e460:    b258 <= 1.4;

e461:    b262 <= 1.8;

e462:    b278 <= 1.3;

e463:    b282 <= 1.7;

e464:    b298 <= 0.9;

e465:    b302 <= 1.3;

e466:  - b238 >= -1.3;

e467:  - b242 >= -1.3;

e468:  - b258 >= -1.2;

e469:  - b262 >= -1.2;

e470:  - b278 >= -1.3;

e471:  - b282 >= -1.3;

e472:  - b298 >= -1.3;

e473:  - b302 >= -1.3;

e474:  - b238 >= -1.9;

e475:  - b242 >= -2;

e476:  - b258 >= -1;

e477:  - b262 >= -1.1;

e478:  - b278 >= -1.1;

e479:  - b282 >= -1.2;

e480:  - b298 >= -1.5;

e481:  - b302 >= -1.6;

e482:    b186 + b226 <= 1;

e483:    b187 + b227 <= 1;

e484:    b188 + b228 <= 1;

e485:    b189 + b229 <= 1;

e486:    b186 + b230 <= 1;

e487:    b187 + b231 <= 1;

e488:    b188 + b232 <= 1;

e489:    b189 + b233 <= 1;

e490:    b186 + b234 <= 1;

e491:    b187 + b235 <= 1;

e492:    b188 + b236 <= 1;

e493:    b189 + b237 <= 1;

e494:    b186 + b238 <= 1;

e495:    b187 + b239 <= 1;

e496:    b188 + b240 <= 1;

e497:    b189 + b241 <= 1;

e498:    b186 + b242 <= 1;

e499:    b187 + b243 <= 1;

e500:    b188 + b244 <= 1;

e501:    b189 + b245 <= 1;

e502:    b226 + b246 <= 1;

e503:    b227 + b247 <= 1;

e504:    b228 + b248 <= 1;

e505:    b229 + b249 <= 1;

e506:    b230 + b246 <= 1;

e507:    b231 + b247 <= 1;

e508:    b232 + b248 <= 1;

e509:    b233 + b249 <= 1;

e510:    b234 + b246 <= 1;

e511:    b235 + b247 <= 1;

e512:    b236 + b248 <= 1;

e513:    b237 + b249 <= 1;

e514:    b238 + b246 <= 1;

e515:    b239 + b247 <= 1;

e516:    b240 + b248 <= 1;

e517:    b241 + b249 <= 1;

e518:    b242 + b246 <= 1;

e519:    b243 + b247 <= 1;

e520:    b244 + b248 <= 1;

e521:    b245 + b249 <= 1;

e522:    b226 + b266 <= 1;

e523:    b227 + b267 <= 1;

e524:    b228 + b268 <= 1;

e525:    b229 + b269 <= 1;

e526:    b230 + b266 <= 1;

e527:    b231 + b267 <= 1;

e528:    b232 + b268 <= 1;

e529:    b233 + b269 <= 1;

e530:    b234 + b266 <= 1;

e531:    b235 + b267 <= 1;

e532:    b236 + b268 <= 1;

e533:    b237 + b269 <= 1;

e534:    b238 + b266 <= 1;

e535:    b239 + b267 <= 1;

e536:    b240 + b268 <= 1;

e537:    b241 + b269 <= 1;

e538:    b242 + b266 <= 1;

e539:    b243 + b267 <= 1;

e540:    b244 + b268 <= 1;

e541:    b245 + b269 <= 1;

e542:    b226 + b286 <= 1;

e543:    b227 + b287 <= 1;

e544:    b228 + b288 <= 1;

e545:    b229 + b289 <= 1;

e546:    b230 + b286 <= 1;

e547:    b231 + b287 <= 1;

e548:    b232 + b288 <= 1;

e549:    b233 + b289 <= 1;

e550:    b234 + b286 <= 1;

e551:    b235 + b287 <= 1;

e552:    b236 + b288 <= 1;

e553:    b237 + b289 <= 1;

e554:    b238 + b286 <= 1;

e555:    b239 + b287 <= 1;

e556:    b240 + b288 <= 1;

e557:    b241 + b289 <= 1;

e558:    b242 + b286 <= 1;

e559:    b243 + b287 <= 1;

e560:    b244 + b288 <= 1;

e561:    b245 + b289 <= 1;

e562:    b190 + b246 <= 1;

e563:    b191 + b247 <= 1;

e564:    b192 + b248 <= 1;

e565:    b193 + b249 <= 1;

e566:    b190 + b250 <= 1;

e567:    b191 + b251 <= 1;

e568:    b192 + b252 <= 1;

e569:    b193 + b253 <= 1;

e570:    b190 + b254 <= 1;

e571:    b191 + b255 <= 1;

e572:    b192 + b256 <= 1;

e573:    b193 + b257 <= 1;

e574:    b190 + b258 <= 1;

e575:    b191 + b259 <= 1;

e576:    b192 + b260 <= 1;

e577:    b193 + b261 <= 1;

e578:    b190 + b262 <= 1;

e579:    b191 + b263 <= 1;

e580:    b192 + b264 <= 1;

e581:    b193 + b265 <= 1;

e582:    b206 + b246 <= 1;

e583:    b207 + b247 <= 1;

e584:    b208 + b248 <= 1;

e585:    b209 + b249 <= 1;

e586:    b206 + b250 <= 1;

e587:    b207 + b251 <= 1;

e588:    b208 + b252 <= 1;

e589:    b209 + b253 <= 1;

e590:    b206 + b254 <= 1;

e591:    b207 + b255 <= 1;

e592:    b208 + b256 <= 1;

e593:    b209 + b257 <= 1;

e594:    b206 + b258 <= 1;

e595:    b207 + b259 <= 1;

e596:    b208 + b260 <= 1;

e597:    b209 + b261 <= 1;

e598:    b206 + b262 <= 1;

e599:    b207 + b263 <= 1;

e600:    b208 + b264 <= 1;

e601:    b209 + b265 <= 1;

e602:    b226 + b246 <= 1;

e603:    b227 + b247 <= 1;

e604:    b228 + b248 <= 1;

e605:    b229 + b249 <= 1;

e606:    b226 + b250 <= 1;

e607:    b227 + b251 <= 1;

e608:    b228 + b252 <= 1;

e609:    b229 + b253 <= 1;

e610:    b226 + b254 <= 1;

e611:    b227 + b255 <= 1;

e612:    b228 + b256 <= 1;

e613:    b229 + b257 <= 1;

e614:    b226 + b258 <= 1;

e615:    b227 + b259 <= 1;

e616:    b228 + b260 <= 1;

e617:    b229 + b261 <= 1;

e618:    b226 + b262 <= 1;

e619:    b227 + b263 <= 1;

e620:    b228 + b264 <= 1;

e621:    b229 + b265 <= 1;

e622:    b246 + b270 <= 1;

e623:    b247 + b271 <= 1;

e624:    b248 + b272 <= 1;

e625:    b249 + b273 <= 1;

e626:    b250 + b270 <= 1;

e627:    b251 + b271 <= 1;

e628:    b252 + b272 <= 1;

e629:    b253 + b273 <= 1;

e630:    b254 + b270 <= 1;

e631:    b255 + b271 <= 1;

e632:    b256 + b272 <= 1;

e633:    b257 + b273 <= 1;

e634:    b258 + b270 <= 1;

e635:    b259 + b271 <= 1;

e636:    b260 + b272 <= 1;

e637:    b261 + b273 <= 1;

e638:    b262 + b270 <= 1;

e639:    b263 + b271 <= 1;

e640:    b264 + b272 <= 1;

e641:    b265 + b273 <= 1;

e642:    b246 + b290 <= 1;

e643:    b247 + b291 <= 1;

e644:    b248 + b292 <= 1;

e645:    b249 + b293 <= 1;

e646:    b250 + b290 <= 1;

e647:    b251 + b291 <= 1;

e648:    b252 + b292 <= 1;

e649:    b253 + b293 <= 1;

e650:    b254 + b290 <= 1;

e651:    b255 + b291 <= 1;

e652:    b256 + b292 <= 1;

e653:    b257 + b293 <= 1;

e654:    b258 + b290 <= 1;

e655:    b259 + b291 <= 1;

e656:    b260 + b292 <= 1;

e657:    b261 + b293 <= 1;

e658:    b262 + b290 <= 1;

e659:    b263 + b291 <= 1;

e660:    b264 + b292 <= 1;

e661:    b265 + b293 <= 1;

e662:    b194 + b266 <= 1;

e663:    b195 + b267 <= 1;

e664:    b196 + b268 <= 1;

e665:    b197 + b269 <= 1;

e666:    b194 + b270 <= 1;

e667:    b195 + b271 <= 1;

e668:    b196 + b272 <= 1;

e669:    b197 + b273 <= 1;

e670:    b194 + b274 <= 1;

e671:    b195 + b275 <= 1;

e672:    b196 + b276 <= 1;

e673:    b197 + b277 <= 1;

e674:    b194 + b278 <= 1;

e675:    b195 + b279 <= 1;

e676:    b196 + b280 <= 1;

e677:    b197 + b281 <= 1;

e678:    b194 + b282 <= 1;

e679:    b195 + b283 <= 1;

e680:    b196 + b284 <= 1;

e681:    b197 + b285 <= 1;

e682:    b210 + b266 <= 1;

e683:    b211 + b267 <= 1;

e684:    b212 + b268 <= 1;

e685:    b213 + b269 <= 1;

e686:    b210 + b270 <= 1;

e687:    b211 + b271 <= 1;

e688:    b212 + b272 <= 1;

e689:    b213 + b273 <= 1;

e690:    b210 + b274 <= 1;

e691:    b211 + b275 <= 1;

e692:    b212 + b276 <= 1;

e693:    b213 + b277 <= 1;

e694:    b210 + b278 <= 1;

e695:    b211 + b279 <= 1;

e696:    b212 + b280 <= 1;

e697:    b213 + b281 <= 1;

e698:    b210 + b282 <= 1;

e699:    b211 + b283 <= 1;

e700:    b212 + b284 <= 1;

e701:    b213 + b285 <= 1;

e702:    b230 + b266 <= 1;

e703:    b231 + b267 <= 1;

e704:    b232 + b268 <= 1;

e705:    b233 + b269 <= 1;

e706:    b230 + b270 <= 1;

e707:    b231 + b271 <= 1;

e708:    b232 + b272 <= 1;

e709:    b233 + b273 <= 1;

e710:    b230 + b274 <= 1;

e711:    b231 + b275 <= 1;

e712:    b232 + b276 <= 1;

e713:    b233 + b277 <= 1;

e714:    b230 + b278 <= 1;

e715:    b231 + b279 <= 1;

e716:    b232 + b280 <= 1;

e717:    b233 + b281 <= 1;

e718:    b230 + b282 <= 1;

e719:    b231 + b283 <= 1;

e720:    b232 + b284 <= 1;

e721:    b233 + b285 <= 1;

e722:    b250 + b266 <= 1;

e723:    b251 + b267 <= 1;

e724:    b252 + b268 <= 1;

e725:    b253 + b269 <= 1;

e726:    b250 + b270 <= 1;

e727:    b251 + b271 <= 1;

e728:    b252 + b272 <= 1;

e729:    b253 + b273 <= 1;

e730:    b250 + b274 <= 1;

e731:    b251 + b275 <= 1;

e732:    b252 + b276 <= 1;

e733:    b253 + b277 <= 1;

e734:    b250 + b278 <= 1;

e735:    b251 + b279 <= 1;

e736:    b252 + b280 <= 1;

e737:    b253 + b281 <= 1;

e738:    b250 + b282 <= 1;

e739:    b251 + b283 <= 1;

e740:    b252 + b284 <= 1;

e741:    b253 + b285 <= 1;

e742:    b266 + b294 <= 1;

e743:    b267 + b295 <= 1;

e744:    b268 + b296 <= 1;

e745:    b269 + b297 <= 1;

e746:    b270 + b294 <= 1;

e747:    b271 + b295 <= 1;

e748:    b272 + b296 <= 1;

e749:    b273 + b297 <= 1;

e750:    b274 + b294 <= 1;

e751:    b275 + b295 <= 1;

e752:    b276 + b296 <= 1;

e753:    b277 + b297 <= 1;

e754:    b278 + b294 <= 1;

e755:    b279 + b295 <= 1;

e756:    b280 + b296 <= 1;

e757:    b281 + b297 <= 1;

e758:    b282 + b294 <= 1;

e759:    b283 + b295 <= 1;

e760:    b284 + b296 <= 1;

e761:    b285 + b297 <= 1;

e762:    b198 + b286 <= 1;

e763:    b199 + b287 <= 1;

e764:    b200 + b288 <= 1;

e765:    b201 + b289 <= 1;

e766:    b198 + b290 <= 1;

e767:    b199 + b291 <= 1;

e768:    b200 + b292 <= 1;

e769:    b201 + b293 <= 1;

e770:    b198 + b294 <= 1;

e771:    b199 + b295 <= 1;

e772:    b200 + b296 <= 1;

e773:    b201 + b297 <= 1;

e774:    b198 + b298 <= 1;

e775:    b199 + b299 <= 1;

e776:    b200 + b300 <= 1;

e777:    b201 + b301 <= 1;

e778:    b198 + b302 <= 1;

e779:    b199 + b303 <= 1;

e780:    b200 + b304 <= 1;

e781:    b201 + b305 <= 1;

e782:    b214 + b286 <= 1;

e783:    b215 + b287 <= 1;

e784:    b216 + b288 <= 1;

e785:    b217 + b289 <= 1;

e786:    b214 + b290 <= 1;

e787:    b215 + b291 <= 1;

e788:    b216 + b292 <= 1;

e789:    b217 + b293 <= 1;

e790:    b214 + b294 <= 1;

e791:    b215 + b295 <= 1;

e792:    b216 + b296 <= 1;

e793:    b217 + b297 <= 1;

e794:    b214 + b298 <= 1;

e795:    b215 + b299 <= 1;

e796:    b216 + b300 <= 1;

e797:    b217 + b301 <= 1;

e798:    b214 + b302 <= 1;

e799:    b215 + b303 <= 1;

e800:    b216 + b304 <= 1;

e801:    b217 + b305 <= 1;

e802:    b234 + b286 <= 1;

e803:    b235 + b287 <= 1;

e804:    b236 + b288 <= 1;

e805:    b237 + b289 <= 1;

e806:    b234 + b290 <= 1;

e807:    b235 + b291 <= 1;

e808:    b236 + b292 <= 1;

e809:    b237 + b293 <= 1;

e810:    b234 + b294 <= 1;

e811:    b235 + b295 <= 1;

e812:    b236 + b296 <= 1;

e813:    b237 + b297 <= 1;

e814:    b234 + b298 <= 1;

e815:    b235 + b299 <= 1;

e816:    b236 + b300 <= 1;

e817:    b237 + b301 <= 1;

e818:    b234 + b302 <= 1;

e819:    b235 + b303 <= 1;

e820:    b236 + b304 <= 1;

e821:    b237 + b305 <= 1;

e822:    b254 + b286 <= 1;

e823:    b255 + b287 <= 1;

e824:    b256 + b288 <= 1;

e825:    b257 + b289 <= 1;

e826:    b254 + b290 <= 1;

e827:    b255 + b291 <= 1;

e828:    b256 + b292 <= 1;

e829:    b257 + b293 <= 1;

e830:    b254 + b294 <= 1;

e831:    b255 + b295 <= 1;

e832:    b256 + b296 <= 1;

e833:    b257 + b297 <= 1;

e834:    b254 + b298 <= 1;

e835:    b255 + b299 <= 1;

e836:    b256 + b300 <= 1;

e837:    b257 + b301 <= 1;

e838:    b254 + b302 <= 1;

e839:    b255 + b303 <= 1;

e840:    b256 + b304 <= 1;

e841:    b257 + b305 <= 1;

e842:    b274 + b286 <= 1;

e843:    b275 + b287 <= 1;

e844:    b276 + b288 <= 1;

e845:    b277 + b289 <= 1;

e846:    b274 + b290 <= 1;

e847:    b275 + b291 <= 1;

e848:    b276 + b292 <= 1;

e849:    b277 + b293 <= 1;

e850:    b274 + b294 <= 1;

e851:    b275 + b295 <= 1;

e852:    b276 + b296 <= 1;

e853:    b277 + b297 <= 1;

e854:    b274 + b298 <= 1;

e855:    b275 + b299 <= 1;

e856:    b276 + b300 <= 1;

e857:    b277 + b301 <= 1;

e858:    b274 + b302 <= 1;

e859:    b275 + b303 <= 1;

e860:    b276 + b304 <= 1;

e861:    b277 + b305 <= 1;