#  MIQCP written by GAMS Convert at 02/15/18 15:36:59
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        944      160      144      640        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        362      261      101        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       3913     2409     1504        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, >= 0.1, <= 1;
var x104 := 0.1, >= 0.1, <= 1;
var x105 := 0.1, >= 0.1, <= 1;
var x106 := 0.1, >= 0.1, <= 1;
var x107 := 0.1, >= 0.1, <= 0.9;
var x108 := 0.1, >= 0.1, <= 0.9;
var x109 := 0.1, >= 0.1, <= 0.9;
var x110 := 0.1, >= 0.1, <= 0.9;
var x111 >= 0, <= 0.9;
var x112 >= 0, <= 0.9;
var x113 >= 0, <= 0.9;
var x114 >= 0, <= 0.9;
var x115 >= 0, <= 0.8;
var x116 >= 0, <= 0.8;
var x117 >= 0, <= 0.8;
var x118 >= 0, <= 0.8;
var x119 := 0.2, >= 0.2, <= 1;
var x120 := 0.2, >= 0.2, <= 1;
var x121 := 0.2, >= 0.2, <= 1;
var x122 := 0.2, >= 0.2, <= 1;
var x123 := 0.2, >= 0.2, <= 1;
var x124 := 0.2, >= 0.2, <= 1;
var x125 := 0.2, >= 0.2, <= 1;
var x126 := 0.2, >= 0.2, <= 1;
var x127 >= 0, <= 0.9;
var x128 >= 0, <= 0.9;
var x129 >= 0, <= 0.9;
var x130 >= 0, <= 0.9;
var x131 := 0.2, >= 0.2, <= 1;
var x132 := 0.2, >= 0.2, <= 1;
var x133 := 0.2, >= 0.2, <= 1;
var x134 := 0.2, >= 0.2, <= 1;
var b135 binary >= 0, <= 1;
var b136 binary >= 0, <= 1;
var b137 binary >= 0, <= 1;
var b138 binary >= 0, <= 1;
var b139 binary >= 0, <= 1;
var b140 binary >= 0, <= 1;
var b141 binary >= 0, <= 1;
var b142 binary >= 0, <= 1;
var b143 binary >= 0, <= 1;
var b144 binary >= 0, <= 1;
var b145 binary >= 0, <= 1;
var b146 binary >= 0, <= 1;
var b147 binary >= 0, <= 1;
var b148 binary >= 0, <= 1;
var b149 binary >= 0, <= 1;
var b150 binary >= 0, <= 1;
var b151 binary >= 0, <= 1;
var b152 binary >= 0, <= 1;
var b153 binary >= 0, <= 1;
var b154 binary >= 0, <= 1;
var b155 binary >= 0, <= 1;
var b156 binary >= 0, <= 1;
var b157 binary >= 0, <= 1;
var b158 binary >= 0, <= 1;
var b159 binary >= 0, <= 1;
var b160 binary >= 0, <= 1;
var b161 binary >= 0, <= 1;
var b162 binary >= 0, <= 1;
var b163 binary >= 0, <= 1;
var b164 binary >= 0, <= 1;
var b165 binary >= 0, <= 1;
var b166 binary >= 0, <= 1;
var b167 binary >= 0, <= 1;
var b168 binary >= 0, <= 1;
var b169 binary >= 0, <= 1;
var b170 binary >= 0, <= 1;
var b171 binary >= 0, <= 1;
var b172 binary >= 0, <= 1;
var b173 binary >= 0, <= 1;
var b174 binary >= 0, <= 1;
var b175 binary >= 0, <= 1;
var b176 binary >= 0, <= 1;
var b177 binary >= 0, <= 1;
var b178 binary >= 0, <= 1;
var b179 binary >= 0, <= 1;
var b180 binary >= 0, <= 1;
var b181 binary >= 0, <= 1;
var b182 binary >= 0, <= 1;
var b183 binary >= 0, <= 1;
var b184 binary >= 0, <= 1;
var b185 binary >= 0, <= 1;
var b186 binary >= 0, <= 1;
var b187 binary >= 0, <= 1;
var b188 binary >= 0, <= 1;
var b189 binary >= 0, <= 1;
var b190 binary >= 0, <= 1;
var b191 binary >= 0, <= 1;
var b192 binary >= 0, <= 1;
var b193 binary >= 0, <= 1;
var b194 binary >= 0, <= 1;
var b195 binary >= 0, <= 1;
var b196 binary >= 0, <= 1;
var b197 binary >= 0, <= 1;
var b198 binary >= 0, <= 1;
var b199 binary >= 0, <= 1;
var b200 binary >= 0, <= 1;
var b201 binary >= 0, <= 1;
var b202 binary >= 0, <= 1;
var b203 binary >= 0, <= 1;
var b204 binary >= 0, <= 1;
var b205 binary >= 0, <= 1;
var b206 binary >= 0, <= 1;
var b207 binary >= 0, <= 1;
var b208 binary >= 0, <= 1;
var b209 binary >= 0, <= 1;
var b210 binary >= 0, <= 1;
var b211 binary >= 0, <= 1;
var b212 binary >= 0, <= 1;
var b213 binary >= 0, <= 1;
var b214 binary >= 0, <= 1;
var b215 binary >= 0, <= 1;
var b216 binary >= 0, <= 1;
var b217 binary >= 0, <= 1;
var b218 binary >= 0, <= 1;
var b219 binary >= 0, <= 1;
var b220 binary >= 0, <= 1;
var b221 binary >= 0, <= 1;
var b222 binary >= 0, <= 1;
var b223 binary >= 0, <= 1;
var b224 binary >= 0, <= 1;
var b225 binary >= 0, <= 1;
var b226 binary >= 0, <= 1;
var b227 binary >= 0, <= 1;
var b228 binary >= 0, <= 1;
var b229 binary >= 0, <= 1;
var b230 binary >= 0, <= 1;
var b231 binary >= 0, <= 1;
var b232 binary >= 0, <= 1;
var b233 binary >= 0, <= 1;
var b234 binary >= 0, <= 1;
var b235 binary >= 0, <= 1;
var x236 >= 0, <= 2;
var x237 >= 0, <= 2;
var x238 >= 0, <= 2;
var x239 >= 0, <= 2;
var x240 >= 0, <= 2;
var x241 >= 0, <= 2;
var x242 >= 0, <= 2;
var x243 >= 0, <= 2;
var x244 >= 0, <= 2;
var x245 >= 0, <= 2;
var x246 >= 0, <= 2;
var x247 >= 0, <= 2;
var x248 >= 0, <= 2;
var x249 >= 0, <= 2;
var x250 >= 0, <= 2;
var x251 >= 0, <= 2;
var x252 >= 0, <= 2;
var x253 >= 0, <= 2;
var x254 >= 0, <= 2;
var x255 >= 0, <= 2;
var x256 >= 0, <= 2;
var x257 >= 0, <= 2;
var x258 >= 0, <= 2;
var x259 >= 0, <= 2;
var x260 >= 0, <= 2;
var x261 >= 0, <= 2;
var x262 >= 0, <= 2;
var x263 >= 0, <= 2;
var x264 >= 0, <= 2;
var x265 >= 0, <= 2;
var x266 >= 0, <= 2;
var x267 := 0.1, >= 0.1, <= 1;
var x268 := 0.1, >= 0.1, <= 1;
var x269 := 0.1, >= 0.1, <= 1;
var x270 := 0.1, >= 0.1, <= 1;
var x271 := 0.1, >= 0.1, <= 1;
var x272 := 0.1, >= 0.1, <= 1;
var x273 := 0.1, >= 0.1, <= 1;
var x274 := 0.1, >= 0.1, <= 1;
var x275 := 0.1, >= 0.1, <= 1;
var x276 := 0.1, >= 0.1, <= 1;
var x277 := 0.1, >= 0.1, <= 1;
var x278 := 0.1, >= 0.1, <= 1;
var x279 := 0.1, >= 0.1, <= 0.9;
var x280 := 0.1, >= 0.1, <= 0.9;
var x281 := 0.1, >= 0.1, <= 0.9;
var x282 := 0.1, >= 0.1, <= 0.9;
var x283 := 0.1, >= 0.1, <= 0.9;
var x284 := 0.1, >= 0.1, <= 0.9;
var x285 := 0.1, >= 0.1, <= 0.9;
var x286 := 0.1, >= 0.1, <= 0.9;
var x287 := 0.1, >= 0.1, <= 0.9;
var x288 := 0.1, >= 0.1, <= 0.9;
var x289 := 0.1, >= 0.1, <= 0.9;
var x290 := 0.1, >= 0.1, <= 0.9;
var x291 >= 0, <= 0.9;
var x292 >= 0, <= 0.9;
var x293 >= 0, <= 0.9;
var x294 >= 0, <= 0.9;
var x295 >= 0, <= 0.9;
var x296 >= 0, <= 0.9;
var x297 >= 0, <= 0.9;
var x298 >= 0, <= 0.9;
var x299 >= 0, <= 0.9;
var x300 >= 0, <= 0.9;
var x301 >= 0, <= 0.9;
var x302 >= 0, <= 0.9;
var x303 >= 0, <= 0.8;
var x304 >= 0, <= 0.8;
var x305 >= 0, <= 0.8;
var x306 >= 0, <= 0.8;
var x307 >= 0, <= 0.8;
var x308 >= 0, <= 0.8;
var x309 >= 0, <= 0.8;
var x310 >= 0, <= 0.8;
var x311 >= 0, <= 0.8;
var x312 >= 0, <= 0.8;
var x313 >= 0, <= 0.8;
var x314 >= 0, <= 0.8;
var x315 := 0.2, >= 0.2, <= 1;
var x316 := 0.2, >= 0.2, <= 1;
var x317 := 0.2, >= 0.2, <= 1;
var x318 := 0.2, >= 0.2, <= 1;
var x319 := 0.2, >= 0.2, <= 1;
var x320 := 0.2, >= 0.2, <= 1;
var x321 := 0.2, >= 0.2, <= 1;
var x322 := 0.2, >= 0.2, <= 1;
var x323 := 0.2, >= 0.2, <= 1;
var x324 := 0.2, >= 0.2, <= 1;
var x325 := 0.2, >= 0.2, <= 1;
var x326 := 0.2, >= 0.2, <= 1;
var x327 := 0.2, >= 0.2, <= 1;
var x328 := 0.2, >= 0.2, <= 1;
var x329 := 0.2, >= 0.2, <= 1;
var x330 := 0.2, >= 0.2, <= 1;
var x331 := 0.2, >= 0.2, <= 1;
var x332 := 0.2, >= 0.2, <= 1;
var x333 := 0.2, >= 0.2, <= 1;
var x334 := 0.2, >= 0.2, <= 1;
var x335 := 0.2, >= 0.2, <= 1;
var x336 := 0.2, >= 0.2, <= 1;
var x337 := 0.2, >= 0.2, <= 1;
var x338 := 0.2, >= 0.2, <= 1;
var x339 >= 0, <= 0.9;
var x340 >= 0, <= 0.9;
var x341 >= 0, <= 0.9;
var x342 >= 0, <= 0.9;
var x343 >= 0, <= 0.9;
var x344 >= 0, <= 0.9;
var x345 >= 0, <= 0.9;
var x346 >= 0, <= 0.9;
var x347 >= 0, <= 0.9;
var x348 >= 0, <= 0.9;
var x349 >= 0, <= 0.9;
var x350 >= 0, <= 0.9;
var x351 := 0.2, >= 0.2, <= 1;
var x352 := 0.2, >= 0.2, <= 1;
var x353 := 0.2, >= 0.2, <= 1;
var x354 := 0.2, >= 0.2, <= 1;
var x355 := 0.2, >= 0.2, <= 1;
var x356 := 0.2, >= 0.2, <= 1;
var x357 := 0.2, >= 0.2, <= 1;
var x358 := 0.2, >= 0.2, <= 1;
var x359 := 0.2, >= 0.2, <= 1;
var x360 := 0.2, >= 0.2, <= 1;
var x361 := 0.2, >= 0.2, <= 1;
var x362 := 0.2, >= 0.2, <= 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 - 1.5*x14
     - 1.5*x15 - 1.5*x16 - 1.5*x17 - 1.12*x18 - 1.12*x19 - 1.12*x20 - 1.12*x21
     - 1.2*x22 - 1.2*x23 - 1.2*x24 - 1.2*x25 - 1.32*x26 - 1.32*x27 - 1.32*x28
     - 1.32*x29 - 0.93*x30 - 0.93*x31 - 0.93*x32 - 0.93*x33 - 0.49*x34
     - 0.49*x35 - 0.49*x36 - 0.49*x37 - 0.24*x38 - 0.24*x39 - 0.24*x40
     - 0.24*x41 + 1.44*x42 + 1.44*x43 + 1.44*x44 + 3.68*x45 + 3.68*x46
     + 3.68*x47 - 0.49*x48 - 0.49*x49 - 0.49*x50 - 0.49*x51 - 0.68*x52
     - 0.68*x53 - 0.68*x54 - 0.68*x55 - 0.37*x56 - 0.37*x57 - 0.37*x58
     - 0.37*x59 + 2.36*x60 + 2.36*x61 + 2.36*x62 + 3.29*x63 + 3.29*x64
     + 3.29*x65 - 0.1*x66 - 0.1*x67 - 0.1*x68 - 0.1*x69 - 0.34*x70 - 0.34*x71
     - 0.34*x72 - 0.34*x73 - 0.14*x74 - 0.14*x75 - 0.14*x76 - 0.14*x77
     + 2.29*x78 + 2.29*x79 + 2.29*x80 + 3.71*x81 + 3.71*x82 + 3.71*x83
     - 0.72*x84 - 0.72*x85 - 0.72*x86 - 0.72*x87 - 0.89*x88 - 0.89*x89
     - 0.89*x90 - 0.89*x91 - 0.7*x92 - 0.7*x93 - 0.7*x94 - 0.7*x95 + 2.37*x96
     + 2.37*x97 + 2.37*x98 + 2.37*x99 + 3.7*x100 + 3.7*x101 + 3.7*x102
     - 0.92*b135 - 0.92*b136 - 0.92*b137 - 0.92*b138 - 0.18*b139 - 0.18*b140
     - 0.18*b141 - 0.18*b142 - 0.98*b143 - 0.98*b144 - 0.98*b145 - 0.98*b146
     - 0.26*b147 - 0.26*b148 - 0.26*b149 - 0.26*b150 - 0.71*b151 - 0.71*b152
     - 0.71*b153 - 0.71*b154 - 0.12*b155 - 0.12*b156 - 0.12*b157 - 0.12*b158
     - 0.32*b159 - 0.32*b160 - 0.32*b161 - 0.32*b162 - 0.03*b163 - 0.03*b164
     - 0.03*b165 - 0.03*b166 - 0.73*b167 - 0.73*b168 - 0.73*b169 - 0.73*b170
     - 0.58*b171 - 0.58*b172 - 0.58*b173 - 0.58*b174 - 0.46*b175 - 0.46*b176
     - 0.46*b177 - 0.55*b178 - 0.55*b179 - 0.55*b180 - 0.23*b181 - 0.23*b182
     - 0.23*b183 - 0.23*b184 - 0.62*b185 - 0.62*b186 - 0.62*b187 - 0.62*b188
     - 0.4*b189 - 0.4*b190 - 0.4*b191 - 0.4*b192 - 0.99*b193 - 0.99*b194
     - 0.99*b195 - 0.89*b196 - 0.89*b197 - 0.89*b198 - 0.8*b199 - 0.8*b200
     - 0.8*b201 - 0.8*b202 - 0.26*b203 - 0.26*b204 - 0.26*b205 - 0.26*b206
     - 0.68*b207 - 0.68*b208 - 0.68*b209 - 0.68*b210 - 0.72*b211 - 0.72*b212
     - 0.72*b213 - 0.65*b214 - 0.65*b215 - 0.65*b216 - 0.78*b217 - 0.78*b218
     - 0.78*b219 - 0.78*b220 - 0.9*b221 - 0.9*b222 - 0.9*b223 - 0.9*b224
     - 0.33*b225 - 0.33*b226 - 0.33*b227 - 0.33*b228 - 0.2*b229 - 0.2*b230
     - 0.2*b231 - 0.2*b232 - 0.74*b233 - 0.74*b234 - 0.74*b235;

subject to

e2:    x2 + x6 + x10 + x236 = 1.2;

e3:    x14 + x18 + x22 + x26 + x237 = 0.7;

e4:  - x14 + x30 + x34 + x38 - x48 - x66 - x84 + x238 = 1;

e5:  - x2 - x18 - x30 + x48 + x52 + x56 - x70 - x88 + x239 = 0.8;

e6:  - x6 - x22 - x34 - x52 + x66 + x70 + x74 - x92 + x240 = 0.2;

e7:  - x10 - x26 - x38 - x56 - x74 + x84 + x88 + x92 + x96 + x241 = 0.5;

e8:  - x96 + x242 = -0.1;

e9:    x3 + x7 + x11 - x236 + x243 = 0.2;

e10:    x4 + x8 + x12 - x243 + x244 = 0.7;

e11:    x5 + x9 + x13 - x244 + x245 = 0.5;

e12:    x15 + x19 + x23 + x27 - x237 + x246 = 0.6;

e13:    x16 + x20 + x24 + x28 - x246 + x247 = 0.6;

e14:    x17 + x21 + x25 + x29 - x247 + x248 = 0.5;

e15:  - x15 + x31 + x35 + x39 + x42 + x45 - x49 - x67 - x85 - x238 + x249 = 0;

e16:  - x16 + x32 + x36 + x40 + x43 + x46 - x50 - x68 - x86 - x249 + x250 = 0;

e17:  - x17 + x33 + x37 + x41 + x44 + x47 - x51 - x69 - x87 - x250 + x251 = 0;

e18:  - x3 - x19 - x31 + x49 + x53 + x57 + x60 + x63 - x71 - x89 - x239 + x252
      = 0;

e19:  - x4 - x20 - x32 + x50 + x54 + x58 + x61 + x64 - x72 - x90 - x252 + x253
      = 0;

e20:  - x5 - x21 - x33 + x51 + x55 + x59 + x62 + x65 - x73 - x91 - x253 + x254
      = 0;

e21:  - x7 - x23 - x35 - x53 + x67 + x71 + x75 + x78 + x81 - x93 - x240 + x255
      = 0;

e22:  - x8 - x24 - x36 - x54 + x68 + x72 + x76 + x79 + x82 - x94 - x255 + x256
      = 0;

e23:  - x9 - x25 - x37 - x55 + x69 + x73 + x77 + x80 + x83 - x95 - x256 + x257
      = 0;

e24:  - x11 - x27 - x39 - x57 - x75 + x85 + x89 + x93 + x97 + x100 - x241
      + x258 = 0;

e25:  - x12 - x28 - x40 - x58 - x76 + x86 + x90 + x94 + x98 + x101 - x258
      + x259 = 0;

e26:  - x13 - x29 - x41 - x59 - x77 + x87 + x91 + x95 + x99 + x102 - x259
      + x260 = 0;

e27:  - x42 - x60 - x78 - x97 - x242 + x261 = -0.19;

e28:  - x43 - x61 - x79 - x98 - x261 + x262 = -0.18;

e29:  - x44 - x62 - x80 - x99 - x262 + x263 = -0.63;

e30:  - x45 - x63 - x81 - x100 + x264 = -0.63;

e31:  - x46 - x64 - x82 - x101 - x264 + x265 = -0.37;

e32:  - x47 - x65 - x83 - x102 - x265 + x266 = -0.78;

e33:    x2 - b135 <= 0;

e34:    x3 - b136 <= 0;

e35:    x4 - b137 <= 0;

e36:    x5 - b138 <= 0;

e37:    x6 - b139 <= 0;

e38:    x7 - b140 <= 0;

e39:    x8 - b141 <= 0;

e40:    x9 - b142 <= 0;

e41:    x10 - b143 <= 0;

e42:    x11 - b144 <= 0;

e43:    x12 - b145 <= 0;

e44:    x13 - b146 <= 0;

e45:    x14 - b147 <= 0;

e46:    x15 - b148 <= 0;

e47:    x16 - b149 <= 0;

e48:    x17 - b150 <= 0;

e49:    x18 - b151 <= 0;

e50:    x19 - b152 <= 0;

e51:    x20 - b153 <= 0;

e52:    x21 - b154 <= 0;

e53:    x22 - b155 <= 0;

e54:    x23 - b156 <= 0;

e55:    x24 - b157 <= 0;

e56:    x25 - b158 <= 0;

e57:    x26 - b159 <= 0;

e58:    x27 - b160 <= 0;

e59:    x28 - b161 <= 0;

e60:    x29 - b162 <= 0;

e61:    x30 - b163 <= 0;

e62:    x31 - b164 <= 0;

e63:    x32 - b165 <= 0;

e64:    x33 - b166 <= 0;

e65:    x34 - b167 <= 0;

e66:    x35 - b168 <= 0;

e67:    x36 - b169 <= 0;

e68:    x37 - b170 <= 0;

e69:    x38 - b171 <= 0;

e70:    x39 - b172 <= 0;

e71:    x40 - b173 <= 0;

e72:    x41 - b174 <= 0;

e73:    x42 - b175 <= 0;

e74:    x43 - b176 <= 0;

e75:    x44 - b177 <= 0;

e76:    x45 - b178 <= 0;

e77:    x46 - b179 <= 0;

e78:    x47 - b180 <= 0;

e79:    x48 - b181 <= 0;

e80:    x49 - b182 <= 0;

e81:    x50 - b183 <= 0;

e82:    x51 - b184 <= 0;

e83:    x52 - b185 <= 0;

e84:    x53 - b186 <= 0;

e85:    x54 - b187 <= 0;

e86:    x55 - b188 <= 0;

e87:    x56 - b189 <= 0;

e88:    x57 - b190 <= 0;

e89:    x58 - b191 <= 0;

e90:    x59 - b192 <= 0;

e91:    x60 - b193 <= 0;

e92:    x61 - b194 <= 0;

e93:    x62 - b195 <= 0;

e94:    x63 - b196 <= 0;

e95:    x64 - b197 <= 0;

e96:    x65 - b198 <= 0;

e97:    x66 - b199 <= 0;

e98:    x67 - b200 <= 0;

e99:    x68 - b201 <= 0;

e100:    x69 - b202 <= 0;

e101:    x70 - b203 <= 0;

e102:    x71 - b204 <= 0;

e103:    x72 - b205 <= 0;

e104:    x73 - b206 <= 0;

e105:    x74 - b207 <= 0;

e106:    x75 - b208 <= 0;

e107:    x76 - b209 <= 0;

e108:    x77 - b210 <= 0;

e109:    x78 - b211 <= 0;

e110:    x79 - b212 <= 0;

e111:    x80 - b213 <= 0;

e112:    x81 - b214 <= 0;

e113:    x82 - b215 <= 0;

e114:    x83 - b216 <= 0;

e115:    x84 - b217 <= 0;

e116:    x85 - b218 <= 0;

e117:    x86 - b219 <= 0;

e118:    x87 - b220 <= 0;

e119:    x88 - b221 <= 0;

e120:    x89 - b222 <= 0;

e121:    x90 - b223 <= 0;

e122:    x91 - b224 <= 0;

e123:    x92 - b225 <= 0;

e124:    x93 - b226 <= 0;

e125:    x94 - b227 <= 0;

e126:    x95 - b228 <= 0;

e127:    x96 - b229 <= 0;

e128:    x97 - b230 <= 0;

e129:    x98 - b231 <= 0;

e130:    x99 - b232 <= 0;

e131:    x100 - b233 <= 0;

e132:    x101 - b234 <= 0;

e133:    x102 - b235 <= 0;

e134:    0.6*b175 - x267 <= -0.1;

e135:    0.6*b176 - x268 <= -0.1;

e136:    0.6*b177 - x269 <= -0.1;

e137:    0.4*b178 - x267 <= -0.1;

e138:    0.4*b179 - x268 <= -0.1;

e139:    0.4*b180 - x269 <= -0.1;

e140:    0.6*b193 - x270 <= -0.1;

e141:    0.6*b194 - x271 <= -0.1;

e142:    0.6*b195 - x272 <= -0.1;

e143:    0.4*b196 - x270 <= -0.1;

e144:    0.4*b197 - x271 <= -0.1;

e145:    0.4*b198 - x272 <= -0.1;

e146:    0.6*b211 - x273 <= -0.1;

e147:    0.6*b212 - x274 <= -0.1;

e148:    0.6*b213 - x275 <= -0.1;

e149:    0.4*b214 - x273 <= -0.1;

e150:    0.4*b215 - x274 <= -0.1;

e151:    0.4*b216 - x275 <= -0.1;

e152:    0.6*b230 - x276 <= -0.1;

e153:    0.6*b231 - x277 <= -0.1;

e154:    0.6*b232 - x278 <= -0.1;

e155:    0.4*b233 - x276 <= -0.1;

e156:    0.4*b234 - x277 <= -0.1;

e157:    0.4*b235 - x278 <= -0.1;

e158:    0.2*b175 - x279 <= -0.1;

e159:    0.2*b176 - x280 <= -0.1;

e160:    0.2*b177 - x281 <= -0.1;

e161:    0.2*b178 - x279 <= -0.1;

e162:    0.2*b179 - x280 <= -0.1;

e163:    0.2*b180 - x281 <= -0.1;

e164:    0.2*b193 - x282 <= -0.1;

e165:    0.2*b194 - x283 <= -0.1;

e166:    0.2*b195 - x284 <= -0.1;

e167:    0.2*b196 - x282 <= -0.1;

e168:    0.2*b197 - x283 <= -0.1;

e169:    0.2*b198 - x284 <= -0.1;

e170:    0.2*b211 - x285 <= -0.1;

e171:    0.2*b212 - x286 <= -0.1;

e172:    0.2*b213 - x287 <= -0.1;

e173:    0.2*b214 - x285 <= -0.1;

e174:    0.2*b215 - x286 <= -0.1;

e175:    0.2*b216 - x287 <= -0.1;

e176:    0.2*b230 - x288 <= -0.1;

e177:    0.2*b231 - x289 <= -0.1;

e178:    0.2*b232 - x290 <= -0.1;

e179:    0.2*b233 - x288 <= -0.1;

e180:    0.2*b234 - x289 <= -0.1;

e181:    0.2*b235 - x290 <= -0.1;

e182:    0.6*b175 - x291 <= 0;

e183:    0.6*b176 - x292 <= 0;

e184:    0.6*b177 - x293 <= 0;

e185:    0.4*b178 - x291 <= 0;

e186:    0.4*b179 - x292 <= 0;

e187:    0.4*b180 - x293 <= 0;

e188:    0.6*b193 - x294 <= 0;

e189:    0.6*b194 - x295 <= 0;

e190:    0.6*b195 - x296 <= 0;

e191:    0.4*b196 - x294 <= 0;

e192:    0.4*b197 - x295 <= 0;

e193:    0.4*b198 - x296 <= 0;

e194:    0.6*b211 - x297 <= 0;

e195:    0.6*b212 - x298 <= 0;

e196:    0.6*b213 - x299 <= 0;

e197:    0.4*b214 - x297 <= 0;

e198:    0.4*b215 - x298 <= 0;

e199:    0.4*b216 - x299 <= 0;

e200:    0.6*b230 - x300 <= 0;

e201:    0.6*b231 - x301 <= 0;

e202:    0.6*b232 - x302 <= 0;

e203:    0.4*b233 - x300 <= 0;

e204:    0.4*b234 - x301 <= 0;

e205:    0.4*b235 - x302 <= 0;

e206:    0.2*b175 - x303 <= 0;

e207:    0.2*b176 - x304 <= 0;

e208:    0.2*b177 - x305 <= 0;

e209:    0.2*b178 - x303 <= 0;

e210:    0.2*b179 - x304 <= 0;

e211:    0.2*b180 - x305 <= 0;

e212:    0.2*b193 - x306 <= 0;

e213:    0.2*b194 - x307 <= 0;

e214:    0.2*b195 - x308 <= 0;

e215:    0.2*b196 - x306 <= 0;

e216:    0.2*b197 - x307 <= 0;

e217:    0.2*b198 - x308 <= 0;

e218:    0.2*b211 - x309 <= 0;

e219:    0.2*b212 - x310 <= 0;

e220:    0.2*b213 - x311 <= 0;

e221:    0.2*b214 - x309 <= 0;

e222:    0.2*b215 - x310 <= 0;

e223:    0.2*b216 - x311 <= 0;

e224:    0.2*b230 - x312 <= 0;

e225:    0.2*b231 - x313 <= 0;

e226:    0.2*b232 - x314 <= 0;

e227:    0.2*b233 - x312 <= 0;

e228:    0.2*b234 - x313 <= 0;

e229:    0.2*b235 - x314 <= 0;

e230:    0.6*b175 - x315 <= -0.2;

e231:    0.6*b176 - x316 <= -0.2;

e232:    0.6*b177 - x317 <= -0.2;

e233:    0.4*b178 - x315 <= -0.2;

e234:    0.4*b179 - x316 <= -0.2;

e235:    0.4*b180 - x317 <= -0.2;

e236:    0.6*b193 - x318 <= -0.2;

e237:    0.6*b194 - x319 <= -0.2;

e238:    0.6*b195 - x320 <= -0.2;

e239:    0.4*b196 - x318 <= -0.2;

e240:    0.4*b197 - x319 <= -0.2;

e241:    0.4*b198 - x320 <= -0.2;

e242:    0.6*b211 - x321 <= -0.2;

e243:    0.6*b212 - x322 <= -0.2;

e244:    0.6*b213 - x323 <= -0.2;

e245:    0.4*b214 - x321 <= -0.2;

e246:    0.4*b215 - x322 <= -0.2;

e247:    0.4*b216 - x323 <= -0.2;

e248:    0.6*b230 - x324 <= -0.2;

e249:    0.6*b231 - x325 <= -0.2;

e250:    0.6*b232 - x326 <= -0.2;

e251:    0.4*b233 - x324 <= -0.2;

e252:    0.4*b234 - x325 <= -0.2;

e253:    0.4*b235 - x326 <= -0.2;

e254:    0.2*b175 - x327 <= -0.2;

e255:    0.2*b176 - x328 <= -0.2;

e256:    0.2*b177 - x329 <= -0.2;

e257:    0.2*b178 - x327 <= -0.2;

e258:    0.2*b179 - x328 <= -0.2;

e259:    0.2*b180 - x329 <= -0.2;

e260:    0.2*b193 - x330 <= -0.2;

e261:    0.2*b194 - x331 <= -0.2;

e262:    0.2*b195 - x332 <= -0.2;

e263:    0.2*b196 - x330 <= -0.2;

e264:    0.2*b197 - x331 <= -0.2;

e265:    0.2*b198 - x332 <= -0.2;

e266:    0.2*b211 - x333 <= -0.2;

e267:    0.2*b212 - x334 <= -0.2;

e268:    0.2*b213 - x335 <= -0.2;

e269:    0.2*b214 - x333 <= -0.2;

e270:    0.2*b215 - x334 <= -0.2;

e271:    0.2*b216 - x335 <= -0.2;

e272:    0.2*b230 - x336 <= -0.2;

e273:    0.2*b231 - x337 <= -0.2;

e274:    0.2*b232 - x338 <= -0.2;

e275:    0.2*b233 - x336 <= -0.2;

e276:    0.2*b234 - x337 <= -0.2;

e277:    0.2*b235 - x338 <= -0.2;

e278:    0.6*b175 - x339 <= 0;

e279:    0.6*b176 - x340 <= 0;

e280:    0.6*b177 - x341 <= 0;

e281:    0.4*b178 - x339 <= 0;

e282:    0.4*b179 - x340 <= 0;

e283:    0.4*b180 - x341 <= 0;

e284:    0.6*b193 - x342 <= 0;

e285:    0.6*b194 - x343 <= 0;

e286:    0.6*b195 - x344 <= 0;

e287:    0.4*b196 - x342 <= 0;

e288:    0.4*b197 - x343 <= 0;

e289:    0.4*b198 - x344 <= 0;

e290:    0.6*b211 - x345 <= 0;

e291:    0.6*b212 - x346 <= 0;

e292:    0.6*b213 - x347 <= 0;

e293:    0.4*b214 - x345 <= 0;

e294:    0.4*b215 - x346 <= 0;

e295:    0.4*b216 - x347 <= 0;

e296:    0.6*b230 - x348 <= 0;

e297:    0.6*b231 - x349 <= 0;

e298:    0.6*b232 - x350 <= 0;

e299:    0.4*b233 - x348 <= 0;

e300:    0.4*b234 - x349 <= 0;

e301:    0.4*b235 - x350 <= 0;

e302:    0.2*b175 - x351 <= -0.2;

e303:    0.2*b176 - x352 <= -0.2;

e304:    0.2*b177 - x353 <= -0.2;

e305:    0.2*b178 - x351 <= -0.2;

e306:    0.2*b179 - x352 <= -0.2;

e307:    0.2*b180 - x353 <= -0.2;

e308:    0.2*b193 - x354 <= -0.2;

e309:    0.2*b194 - x355 <= -0.2;

e310:    0.2*b195 - x356 <= -0.2;

e311:    0.2*b196 - x354 <= -0.2;

e312:    0.2*b197 - x355 <= -0.2;

e313:    0.2*b198 - x356 <= -0.2;

e314:    0.2*b211 - x357 <= -0.2;

e315:    0.2*b212 - x358 <= -0.2;

e316:    0.2*b213 - x359 <= -0.2;

e317:    0.2*b214 - x357 <= -0.2;

e318:    0.2*b215 - x358 <= -0.2;

e319:    0.2*b216 - x359 <= -0.2;

e320:    0.2*b230 - x360 <= -0.2;

e321:    0.2*b231 - x361 <= -0.2;

e322:    0.2*b232 - x362 <= -0.2;

e323:    0.2*b233 - x360 <= -0.2;

e324:    0.2*b234 - x361 <= -0.2;

e325:    0.2*b235 - x362 <= -0.2;

e326:  - 0.2*b178 - x267 >= -1;

e327:  - 0.2*b179 - x268 >= -1;

e328:  - 0.2*b180 - x269 >= -1;

e329:  - 0.2*b196 - x270 >= -1;

e330:  - 0.2*b197 - x271 >= -1;

e331:  - 0.2*b198 - x272 >= -1;

e332:  - 0.2*b214 - x273 >= -1;

e333:  - 0.2*b215 - x274 >= -1;

e334:  - 0.2*b216 - x275 >= -1;

e335:  - 0.2*b233 - x276 >= -1;

e336:  - 0.2*b234 - x277 >= -1;

e337:  - 0.2*b235 - x278 >= -1;

e338:  - 0.3*b175 - x279 >= -0.9;

e339:  - 0.3*b176 - x280 >= -0.9;

e340:  - 0.3*b177 - x281 >= -0.9;

e341:  - 0.1*b178 - x279 >= -0.9;

e342:  - 0.1*b179 - x280 >= -0.9;

e343:  - 0.1*b180 - x281 >= -0.9;

e344:  - 0.3*b193 - x282 >= -0.9;

e345:  - 0.3*b194 - x283 >= -0.9;

e346:  - 0.3*b195 - x284 >= -0.9;

e347:  - 0.1*b196 - x282 >= -0.9;

e348:  - 0.1*b197 - x283 >= -0.9;

e349:  - 0.1*b198 - x284 >= -0.9;

e350:  - 0.3*b211 - x285 >= -0.9;

e351:  - 0.3*b212 - x286 >= -0.9;

e352:  - 0.3*b213 - x287 >= -0.9;

e353:  - 0.1*b214 - x285 >= -0.9;

e354:  - 0.1*b215 - x286 >= -0.9;

e355:  - 0.1*b216 - x287 >= -0.9;

e356:  - 0.3*b230 - x288 >= -0.9;

e357:  - 0.3*b231 - x289 >= -0.9;

e358:  - 0.3*b232 - x290 >= -0.9;

e359:  - 0.1*b233 - x288 >= -0.9;

e360:  - 0.1*b234 - x289 >= -0.9;

e361:  - 0.1*b235 - x290 >= -0.9;

e362:  - 0.2*b178 - x291 >= -0.9;

e363:  - 0.2*b179 - x292 >= -0.9;

e364:  - 0.2*b180 - x293 >= -0.9;

e365:  - 0.2*b196 - x294 >= -0.9;

e366:  - 0.2*b197 - x295 >= -0.9;

e367:  - 0.2*b198 - x296 >= -0.9;

e368:  - 0.2*b214 - x297 >= -0.9;

e369:  - 0.2*b215 - x298 >= -0.9;

e370:  - 0.2*b216 - x299 >= -0.9;

e371:  - 0.2*b233 - x300 >= -0.9;

e372:  - 0.2*b234 - x301 >= -0.9;

e373:  - 0.2*b235 - x302 >= -0.9;

e374:  - 0.3*b175 - x303 >= -0.8;

e375:  - 0.3*b176 - x304 >= -0.8;

e376:  - 0.3*b177 - x305 >= -0.8;

e377:  - 0.1*b178 - x303 >= -0.8;

e378:  - 0.1*b179 - x304 >= -0.8;

e379:  - 0.1*b180 - x305 >= -0.8;

e380:  - 0.3*b193 - x306 >= -0.8;

e381:  - 0.3*b194 - x307 >= -0.8;

e382:  - 0.3*b195 - x308 >= -0.8;

e383:  - 0.1*b196 - x306 >= -0.8;

e384:  - 0.1*b197 - x307 >= -0.8;

e385:  - 0.1*b198 - x308 >= -0.8;

e386:  - 0.3*b211 - x309 >= -0.8;

e387:  - 0.3*b212 - x310 >= -0.8;

e388:  - 0.3*b213 - x311 >= -0.8;

e389:  - 0.1*b214 - x309 >= -0.8;

e390:  - 0.1*b215 - x310 >= -0.8;

e391:  - 0.1*b216 - x311 >= -0.8;

e392:  - 0.3*b230 - x312 >= -0.8;

e393:  - 0.3*b231 - x313 >= -0.8;

e394:  - 0.3*b232 - x314 >= -0.8;

e395:  - 0.1*b233 - x312 >= -0.8;

e396:  - 0.1*b234 - x313 >= -0.8;

e397:  - 0.1*b235 - x314 >= -0.8;

e398:  - 0.1*b178 - x315 >= -1;

e399:  - 0.1*b179 - x316 >= -1;

e400:  - 0.1*b180 - x317 >= -1;

e401:  - 0.1*b196 - x318 >= -1;

e402:  - 0.1*b197 - x319 >= -1;

e403:  - 0.1*b198 - x320 >= -1;

e404:  - 0.1*b214 - x321 >= -1;

e405:  - 0.1*b215 - x322 >= -1;

e406:  - 0.1*b216 - x323 >= -1;

e407:  - 0.1*b233 - x324 >= -1;

e408:  - 0.1*b234 - x325 >= -1;

e409:  - 0.1*b235 - x326 >= -1;

e410:  - 0.3*b175 - x327 >= -1;

e411:  - 0.3*b176 - x328 >= -1;

e412:  - 0.3*b177 - x329 >= -1;

e413:  - 0.1*b178 - x327 >= -1;

e414:  - 0.1*b179 - x328 >= -1;

e415:  - 0.1*b180 - x329 >= -1;

e416:  - 0.3*b193 - x330 >= -1;

e417:  - 0.3*b194 - x331 >= -1;

e418:  - 0.3*b195 - x332 >= -1;

e419:  - 0.1*b196 - x330 >= -1;

e420:  - 0.1*b197 - x331 >= -1;

e421:  - 0.1*b198 - x332 >= -1;

e422:  - 0.3*b211 - x333 >= -1;

e423:  - 0.3*b212 - x334 >= -1;

e424:  - 0.3*b213 - x335 >= -1;

e425:  - 0.1*b214 - x333 >= -1;

e426:  - 0.1*b215 - x334 >= -1;

e427:  - 0.1*b216 - x335 >= -1;

e428:  - 0.3*b230 - x336 >= -1;

e429:  - 0.3*b231 - x337 >= -1;

e430:  - 0.3*b232 - x338 >= -1;

e431:  - 0.1*b233 - x336 >= -1;

e432:  - 0.1*b234 - x337 >= -1;

e433:  - 0.1*b235 - x338 >= -1;

e434:  - 0.2*b178 - x339 >= -0.9;

e435:  - 0.2*b179 - x340 >= -0.9;

e436:  - 0.2*b180 - x341 >= -0.9;

e437:  - 0.2*b196 - x342 >= -0.9;

e438:  - 0.2*b197 - x343 >= -0.9;

e439:  - 0.2*b198 - x344 >= -0.9;

e440:  - 0.2*b214 - x345 >= -0.9;

e441:  - 0.2*b215 - x346 >= -0.9;

e442:  - 0.2*b216 - x347 >= -0.9;

e443:  - 0.2*b233 - x348 >= -0.9;

e444:  - 0.2*b234 - x349 >= -0.9;

e445:  - 0.2*b235 - x350 >= -0.9;

e446:  - 0.3*b175 - x351 >= -1;

e447:  - 0.3*b176 - x352 >= -1;

e448:  - 0.3*b177 - x353 >= -1;

e449:  - 0.1*b178 - x351 >= -1;

e450:  - 0.1*b179 - x352 >= -1;

e451:  - 0.1*b180 - x353 >= -1;

e452:  - 0.3*b193 - x354 >= -1;

e453:  - 0.3*b194 - x355 >= -1;

e454:  - 0.3*b195 - x356 >= -1;

e455:  - 0.1*b196 - x354 >= -1;

e456:  - 0.1*b197 - x355 >= -1;

e457:  - 0.1*b198 - x356 >= -1;

e458:  - 0.3*b211 - x357 >= -1;

e459:  - 0.3*b212 - x358 >= -1;

e460:  - 0.3*b213 - x359 >= -1;

e461:  - 0.1*b214 - x357 >= -1;

e462:  - 0.1*b215 - x358 >= -1;

e463:  - 0.1*b216 - x359 >= -1;

e464:  - 0.3*b230 - x360 >= -1;

e465:  - 0.3*b231 - x361 >= -1;

e466:  - 0.3*b232 - x362 >= -1;

e467:  - 0.1*b233 - x360 >= -1;

e468:  - 0.1*b234 - x361 >= -1;

e469:  - 0.1*b235 - x362 >= -1;

e470:    b147 + b163 <= 1;

e471:    b148 + b164 <= 1;

e472:    b149 + b165 <= 1;

e473:    b150 + b166 <= 1;

e474:    b147 + b167 <= 1;

e475:    b148 + b168 <= 1;

e476:    b149 + b169 <= 1;

e477:    b150 + b170 <= 1;

e478:    b147 + b171 <= 1;

e479:    b148 + b172 <= 1;

e480:    b149 + b173 <= 1;

e481:    b150 + b174 <= 1;

e482:    b148 + b175 <= 1;

e483:    b149 + b176 <= 1;

e484:    b150 + b177 <= 1;

e485:    b148 + b178 <= 1;

e486:    b149 + b179 <= 1;

e487:    b150 + b180 <= 1;

e488:    b163 + b181 <= 1;

e489:    b164 + b182 <= 1;

e490:    b165 + b183 <= 1;

e491:    b166 + b184 <= 1;

e492:    b167 + b181 <= 1;

e493:    b168 + b182 <= 1;

e494:    b169 + b183 <= 1;

e495:    b170 + b184 <= 1;

e496:    b171 + b181 <= 1;

e497:    b172 + b182 <= 1;

e498:    b173 + b183 <= 1;

e499:    b174 + b184 <= 1;

e500:    b175 + b182 <= 1;

e501:    b176 + b183 <= 1;

e502:    b177 + b184 <= 1;

e503:    b178 + b182 <= 1;

e504:    b179 + b183 <= 1;

e505:    b180 + b184 <= 1;

e506:    b163 + b199 <= 1;

e507:    b164 + b200 <= 1;

e508:    b165 + b201 <= 1;

e509:    b166 + b202 <= 1;

e510:    b167 + b199 <= 1;

e511:    b168 + b200 <= 1;

e512:    b169 + b201 <= 1;

e513:    b170 + b202 <= 1;

e514:    b171 + b199 <= 1;

e515:    b172 + b200 <= 1;

e516:    b173 + b201 <= 1;

e517:    b174 + b202 <= 1;

e518:    b175 + b200 <= 1;

e519:    b176 + b201 <= 1;

e520:    b177 + b202 <= 1;

e521:    b178 + b200 <= 1;

e522:    b179 + b201 <= 1;

e523:    b180 + b202 <= 1;

e524:    b163 + b217 <= 1;

e525:    b164 + b218 <= 1;

e526:    b165 + b219 <= 1;

e527:    b166 + b220 <= 1;

e528:    b167 + b217 <= 1;

e529:    b168 + b218 <= 1;

e530:    b169 + b219 <= 1;

e531:    b170 + b220 <= 1;

e532:    b171 + b217 <= 1;

e533:    b172 + b218 <= 1;

e534:    b173 + b219 <= 1;

e535:    b174 + b220 <= 1;

e536:    b175 + b218 <= 1;

e537:    b176 + b219 <= 1;

e538:    b177 + b220 <= 1;

e539:    b178 + b218 <= 1;

e540:    b179 + b219 <= 1;

e541:    b180 + b220 <= 1;

e542:    b135 + b181 <= 1;

e543:    b136 + b182 <= 1;

e544:    b137 + b183 <= 1;

e545:    b138 + b184 <= 1;

e546:    b135 + b185 <= 1;

e547:    b136 + b186 <= 1;

e548:    b137 + b187 <= 1;

e549:    b138 + b188 <= 1;

e550:    b135 + b189 <= 1;

e551:    b136 + b190 <= 1;

e552:    b137 + b191 <= 1;

e553:    b138 + b192 <= 1;

e554:    b136 + b193 <= 1;

e555:    b137 + b194 <= 1;

e556:    b138 + b195 <= 1;

e557:    b136 + b196 <= 1;

e558:    b137 + b197 <= 1;

e559:    b138 + b198 <= 1;

e560:    b151 + b181 <= 1;

e561:    b152 + b182 <= 1;

e562:    b153 + b183 <= 1;

e563:    b154 + b184 <= 1;

e564:    b151 + b185 <= 1;

e565:    b152 + b186 <= 1;

e566:    b153 + b187 <= 1;

e567:    b154 + b188 <= 1;

e568:    b151 + b189 <= 1;

e569:    b152 + b190 <= 1;

e570:    b153 + b191 <= 1;

e571:    b154 + b192 <= 1;

e572:    b152 + b193 <= 1;

e573:    b153 + b194 <= 1;

e574:    b154 + b195 <= 1;

e575:    b152 + b196 <= 1;

e576:    b153 + b197 <= 1;

e577:    b154 + b198 <= 1;

e578:    b163 + b181 <= 1;

e579:    b164 + b182 <= 1;

e580:    b165 + b183 <= 1;

e581:    b166 + b184 <= 1;

e582:    b163 + b185 <= 1;

e583:    b164 + b186 <= 1;

e584:    b165 + b187 <= 1;

e585:    b166 + b188 <= 1;

e586:    b163 + b189 <= 1;

e587:    b164 + b190 <= 1;

e588:    b165 + b191 <= 1;

e589:    b166 + b192 <= 1;

e590:    b164 + b193 <= 1;

e591:    b165 + b194 <= 1;

e592:    b166 + b195 <= 1;

e593:    b164 + b196 <= 1;

e594:    b165 + b197 <= 1;

e595:    b166 + b198 <= 1;

e596:    b181 + b203 <= 1;

e597:    b182 + b204 <= 1;

e598:    b183 + b205 <= 1;

e599:    b184 + b206 <= 1;

e600:    b185 + b203 <= 1;

e601:    b186 + b204 <= 1;

e602:    b187 + b205 <= 1;

e603:    b188 + b206 <= 1;

e604:    b189 + b203 <= 1;

e605:    b190 + b204 <= 1;

e606:    b191 + b205 <= 1;

e607:    b192 + b206 <= 1;

e608:    b193 + b204 <= 1;

e609:    b194 + b205 <= 1;

e610:    b195 + b206 <= 1;

e611:    b196 + b204 <= 1;

e612:    b197 + b205 <= 1;

e613:    b198 + b206 <= 1;

e614:    b181 + b221 <= 1;

e615:    b182 + b222 <= 1;

e616:    b183 + b223 <= 1;

e617:    b184 + b224 <= 1;

e618:    b185 + b221 <= 1;

e619:    b186 + b222 <= 1;

e620:    b187 + b223 <= 1;

e621:    b188 + b224 <= 1;

e622:    b189 + b221 <= 1;

e623:    b190 + b222 <= 1;

e624:    b191 + b223 <= 1;

e625:    b192 + b224 <= 1;

e626:    b193 + b222 <= 1;

e627:    b194 + b223 <= 1;

e628:    b195 + b224 <= 1;

e629:    b196 + b222 <= 1;

e630:    b197 + b223 <= 1;

e631:    b198 + b224 <= 1;

e632:    b139 + b199 <= 1;

e633:    b140 + b200 <= 1;

e634:    b141 + b201 <= 1;

e635:    b142 + b202 <= 1;

e636:    b139 + b203 <= 1;

e637:    b140 + b204 <= 1;

e638:    b141 + b205 <= 1;

e639:    b142 + b206 <= 1;

e640:    b139 + b207 <= 1;

e641:    b140 + b208 <= 1;

e642:    b141 + b209 <= 1;

e643:    b142 + b210 <= 1;

e644:    b140 + b211 <= 1;

e645:    b141 + b212 <= 1;

e646:    b142 + b213 <= 1;

e647:    b140 + b214 <= 1;

e648:    b141 + b215 <= 1;

e649:    b142 + b216 <= 1;

e650:    b155 + b199 <= 1;

e651:    b156 + b200 <= 1;

e652:    b157 + b201 <= 1;

e653:    b158 + b202 <= 1;

e654:    b155 + b203 <= 1;

e655:    b156 + b204 <= 1;

e656:    b157 + b205 <= 1;

e657:    b158 + b206 <= 1;

e658:    b155 + b207 <= 1;

e659:    b156 + b208 <= 1;

e660:    b157 + b209 <= 1;

e661:    b158 + b210 <= 1;

e662:    b156 + b211 <= 1;

e663:    b157 + b212 <= 1;

e664:    b158 + b213 <= 1;

e665:    b156 + b214 <= 1;

e666:    b157 + b215 <= 1;

e667:    b158 + b216 <= 1;

e668:    b167 + b199 <= 1;

e669:    b168 + b200 <= 1;

e670:    b169 + b201 <= 1;

e671:    b170 + b202 <= 1;

e672:    b167 + b203 <= 1;

e673:    b168 + b204 <= 1;

e674:    b169 + b205 <= 1;

e675:    b170 + b206 <= 1;

e676:    b167 + b207 <= 1;

e677:    b168 + b208 <= 1;

e678:    b169 + b209 <= 1;

e679:    b170 + b210 <= 1;

e680:    b168 + b211 <= 1;

e681:    b169 + b212 <= 1;

e682:    b170 + b213 <= 1;

e683:    b168 + b214 <= 1;

e684:    b169 + b215 <= 1;

e685:    b170 + b216 <= 1;

e686:    b185 + b199 <= 1;

e687:    b186 + b200 <= 1;

e688:    b187 + b201 <= 1;

e689:    b188 + b202 <= 1;

e690:    b185 + b203 <= 1;

e691:    b186 + b204 <= 1;

e692:    b187 + b205 <= 1;

e693:    b188 + b206 <= 1;

e694:    b185 + b207 <= 1;

e695:    b186 + b208 <= 1;

e696:    b187 + b209 <= 1;

e697:    b188 + b210 <= 1;

e698:    b186 + b211 <= 1;

e699:    b187 + b212 <= 1;

e700:    b188 + b213 <= 1;

e701:    b186 + b214 <= 1;

e702:    b187 + b215 <= 1;

e703:    b188 + b216 <= 1;

e704:    b199 + b225 <= 1;

e705:    b200 + b226 <= 1;

e706:    b201 + b227 <= 1;

e707:    b202 + b228 <= 1;

e708:    b203 + b225 <= 1;

e709:    b204 + b226 <= 1;

e710:    b205 + b227 <= 1;

e711:    b206 + b228 <= 1;

e712:    b207 + b225 <= 1;

e713:    b208 + b226 <= 1;

e714:    b209 + b227 <= 1;

e715:    b210 + b228 <= 1;

e716:    b211 + b226 <= 1;

e717:    b212 + b227 <= 1;

e718:    b213 + b228 <= 1;

e719:    b214 + b226 <= 1;

e720:    b215 + b227 <= 1;

e721:    b216 + b228 <= 1;

e722:    b143 + b217 <= 1;

e723:    b144 + b218 <= 1;

e724:    b145 + b219 <= 1;

e725:    b146 + b220 <= 1;

e726:    b143 + b221 <= 1;

e727:    b144 + b222 <= 1;

e728:    b145 + b223 <= 1;

e729:    b146 + b224 <= 1;

e730:    b143 + b225 <= 1;

e731:    b144 + b226 <= 1;

e732:    b145 + b227 <= 1;

e733:    b146 + b228 <= 1;

e734:    b143 + b229 <= 1;

e735:    b144 + b230 <= 1;

e736:    b145 + b231 <= 1;

e737:    b146 + b232 <= 1;

e738:    b144 + b233 <= 1;

e739:    b145 + b234 <= 1;

e740:    b146 + b235 <= 1;

e741:    b159 + b217 <= 1;

e742:    b160 + b218 <= 1;

e743:    b161 + b219 <= 1;

e744:    b162 + b220 <= 1;

e745:    b159 + b221 <= 1;

e746:    b160 + b222 <= 1;

e747:    b161 + b223 <= 1;

e748:    b162 + b224 <= 1;

e749:    b159 + b225 <= 1;

e750:    b160 + b226 <= 1;

e751:    b161 + b227 <= 1;

e752:    b162 + b228 <= 1;

e753:    b159 + b229 <= 1;

e754:    b160 + b230 <= 1;

e755:    b161 + b231 <= 1;

e756:    b162 + b232 <= 1;

e757:    b160 + b233 <= 1;

e758:    b161 + b234 <= 1;

e759:    b162 + b235 <= 1;

e760:    b171 + b217 <= 1;

e761:    b172 + b218 <= 1;

e762:    b173 + b219 <= 1;

e763:    b174 + b220 <= 1;

e764:    b171 + b221 <= 1;

e765:    b172 + b222 <= 1;

e766:    b173 + b223 <= 1;

e767:    b174 + b224 <= 1;

e768:    b171 + b225 <= 1;

e769:    b172 + b226 <= 1;

e770:    b173 + b227 <= 1;

e771:    b174 + b228 <= 1;

e772:    b171 + b229 <= 1;

e773:    b172 + b230 <= 1;

e774:    b173 + b231 <= 1;

e775:    b174 + b232 <= 1;

e776:    b172 + b233 <= 1;

e777:    b173 + b234 <= 1;

e778:    b174 + b235 <= 1;

e779:    b189 + b217 <= 1;

e780:    b190 + b218 <= 1;

e781:    b191 + b219 <= 1;

e782:    b192 + b220 <= 1;

e783:    b189 + b221 <= 1;

e784:    b190 + b222 <= 1;

e785:    b191 + b223 <= 1;

e786:    b192 + b224 <= 1;

e787:    b189 + b225 <= 1;

e788:    b190 + b226 <= 1;

e789:    b191 + b227 <= 1;

e790:    b192 + b228 <= 1;

e791:    b189 + b229 <= 1;

e792:    b190 + b230 <= 1;

e793:    b191 + b231 <= 1;

e794:    b192 + b232 <= 1;

e795:    b190 + b233 <= 1;

e796:    b191 + b234 <= 1;

e797:    b192 + b235 <= 1;

e798:    b207 + b217 <= 1;

e799:    b208 + b218 <= 1;

e800:    b209 + b219 <= 1;

e801:    b210 + b220 <= 1;

e802:    b207 + b221 <= 1;

e803:    b208 + b222 <= 1;

e804:    b209 + b223 <= 1;

e805:    b210 + b224 <= 1;

e806:    b207 + b225 <= 1;

e807:    b208 + b226 <= 1;

e808:    b209 + b227 <= 1;

e809:    b210 + b228 <= 1;

e810:    b207 + b229 <= 1;

e811:    b208 + b230 <= 1;

e812:    b209 + b231 <= 1;

e813:    b210 + b232 <= 1;

e814:    b208 + b233 <= 1;

e815:    b209 + b234 <= 1;

e816:    b210 + b235 <= 1;

e817: x267*x238 - 0.9*x14 + 0.4*x30 + 0.4*x34 + 0.4*x38 - 0.4*x48 - 0.1*x66
       - x84 = 0.4;

e818: x270*x239 - 0.1*x2 - 0.9*x18 - 0.4*x30 + 0.4*x48 + 0.4*x52 + 0.4*x56
       - 0.1*x70 - x88 = 0.32;

e819: x273*x240 - 0.1*x6 - 0.9*x22 - 0.4*x34 - 0.4*x52 + 0.1*x66 + 0.1*x70
       + 0.1*x74 - x92 = 0.02;

e820: x276*x241 - 0.1*x10 - 0.9*x26 - 0.4*x38 - 0.4*x56 - 0.1*x74 + x84 + x88
       + x92 + x96 = 0.5;

e821: x279*x238 - 0.8*x14 + 0.2*x30 + 0.2*x34 + 0.2*x38 - 0.1*x48 - 0.9*x66
       - 0.6*x84 = 0.2;

e822: x282*x239 - 0.2*x2 - 0.8*x18 - 0.2*x30 + 0.1*x48 + 0.1*x52 + 0.1*x56
       - 0.9*x70 - 0.6*x88 = 0.08;

e823: x285*x240 - 0.2*x6 - 0.8*x22 - 0.2*x34 - 0.1*x52 + 0.9*x66 + 0.9*x70
       + 0.9*x74 - 0.6*x92 = 0.18;

e824: x288*x241 - 0.2*x10 - 0.8*x26 - 0.2*x38 - 0.1*x56 - 0.9*x74 + 0.6*x84
       + 0.6*x88 + 0.6*x92 + 0.6*x96 = 0.3;

e825: x291*x238 - 0.8*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.3*x48 - 0.9*x84
       = 0.3;

e826: x294*x239 - 0.8*x18 - 0.3*x30 + 0.3*x48 + 0.3*x52 + 0.3*x56 - 0.9*x88
       = 0.24;

e827: x297*x240 - 0.8*x22 - 0.3*x34 - 0.3*x52 - 0.9*x92 = 0;

e828: x300*x241 - 0.8*x26 - 0.3*x38 - 0.3*x56 + 0.9*x84 + 0.9*x88 + 0.9*x92
       + 0.9*x96 = 0.45;

e829: x303*x238 - 0.7*x14 + 0.1*x30 + 0.1*x34 + 0.1*x38 - 0.8*x66 - 0.5*x84
       = 0.1;

e830: x306*x239 - 0.1*x2 - 0.7*x18 - 0.1*x30 - 0.8*x70 - 0.5*x88 = 0;

e831: x309*x240 - 0.1*x6 - 0.7*x22 - 0.1*x34 + 0.8*x66 + 0.8*x70 + 0.8*x74
       - 0.5*x92 = 0.16;

e832: x312*x241 - 0.1*x10 - 0.7*x26 - 0.1*x38 - 0.8*x74 + 0.5*x84 + 0.5*x88
       + 0.5*x92 + 0.5*x96 = 0.25;

e833: x315*x238 - x14 + 0.5*x30 + 0.5*x34 + 0.5*x38 - 0.5*x48 - 0.2*x66 - x84
       = 0.5;

e834: x318*x239 - 0.2*x2 - x18 - 0.5*x30 + 0.5*x48 + 0.5*x52 + 0.5*x56
       - 0.2*x70 - x88 = 0.4;

e835: x321*x240 - 0.2*x6 - x22 - 0.5*x34 - 0.5*x52 + 0.2*x66 + 0.2*x70
       + 0.2*x74 - x92 = 0.04;

e836: x324*x241 - 0.2*x10 - x26 - 0.5*x38 - 0.5*x56 - 0.2*x74 + x84 + x88 + x92
       + x96 = 0.5;

e837: x327*x238 - 0.9*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.2*x48 - x66
       - 0.7*x84 = 0.3;

e838: x330*x239 - 0.3*x2 - 0.9*x18 - 0.3*x30 + 0.2*x48 + 0.2*x52 + 0.2*x56
       - x70 - 0.7*x88 = 0.16;

e839: x333*x240 - 0.3*x6 - 0.9*x22 - 0.3*x34 - 0.2*x52 + x66 + x70 + x74
       - 0.7*x92 = 0.2;

e840: x336*x241 - 0.3*x10 - 0.9*x26 - 0.3*x38 - 0.2*x56 - x74 + 0.7*x84
       + 0.7*x88 + 0.7*x92 + 0.7*x96 = 0.35;

e841: x339*x238 - 0.8*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.3*x48 - 0.9*x84
       = 0.3;

e842: x342*x239 - 0.8*x18 - 0.3*x30 + 0.3*x48 + 0.3*x52 + 0.3*x56 - 0.9*x88
       = 0.24;

e843: x345*x240 - 0.8*x22 - 0.3*x34 - 0.3*x52 - 0.9*x92 = 0;

e844: x348*x241 - 0.8*x26 - 0.3*x38 - 0.3*x56 + 0.9*x84 + 0.9*x88 + 0.9*x92
       + 0.9*x96 = 0.45;

e845: x351*x238 - 0.9*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.2*x48 - x66
       - 0.7*x84 = 0.3;

e846: x354*x239 - 0.3*x2 - 0.9*x18 - 0.3*x30 + 0.2*x48 + 0.2*x52 + 0.2*x56
       - x70 - 0.7*x88 = 0.16;

e847: x357*x240 - 0.3*x6 - 0.9*x22 - 0.3*x34 - 0.2*x52 + x66 + x70 + x74
       - 0.7*x92 = 0.2;

e848: x360*x241 - 0.3*x10 - 0.9*x26 - 0.3*x38 - 0.2*x56 - x74 + 0.7*x84
       + 0.7*x88 + 0.7*x92 + 0.7*x96 = 0.35;

e849: x267*x31 + x267*x35 + x267*x39 + x267*x42 + x267*x45 - x270*x49 - x273*
      x67 - x276*x85 - x267*x238 + x268*x249 - 0.9*x15 = 0;

e850: x268*x32 + x268*x36 + x268*x40 + x268*x43 + x268*x46 - x271*x50 - x274*
      x68 - x277*x86 - x268*x249 + x269*x250 - 0.9*x16 = 0;

e851: x269*x33 + x269*x37 + x269*x41 + x269*x44 + x269*x47 - x272*x51 - x275*
      x69 - x278*x87 + x251*x103 - x269*x250 - 0.9*x17 = 0;

e852: x270*x49 - x267*x31 + x270*x53 + x270*x57 + x270*x60 + x270*x63 - x273*
      x71 - x276*x89 - x270*x239 + x271*x252 - 0.1*x3 - 0.9*x19 = 0;

e853: x271*x50 - x268*x32 + x271*x54 + x271*x58 + x271*x61 + x271*x64 - x274*
      x72 - x277*x90 - x271*x252 + x272*x253 - 0.1*x4 - 0.9*x20 = 0;

e854: x272*x51 - x269*x33 + x272*x55 + x272*x59 + x272*x62 + x272*x65 - x275*
      x73 - x278*x91 + x254*x104 - x272*x253 - 0.1*x5 - 0.9*x21 = 0;

e855: (-x267*x35) - x270*x53 + x273*x67 + x273*x71 + x273*x75 + x273*x78 + x273
      *x81 - x276*x93 - x273*x240 + x274*x255 - 0.1*x7 - 0.9*x23 = 0;

e856: (-x268*x36) - x271*x54 + x274*x68 + x274*x72 + x274*x76 + x274*x79 + x274
      *x82 - x277*x94 - x274*x255 + x275*x256 - 0.1*x8 - 0.9*x24 = 0;

e857: (-x269*x37) - x272*x55 + x275*x69 + x275*x73 + x275*x77 + x275*x80 + x275
      *x83 - x278*x95 + x257*x105 - x275*x256 - 0.1*x9 - 0.9*x25 = 0;

e858: (-x267*x39) - x270*x57 - x273*x75 + x276*x85 + x276*x89 + x276*x93 + x276
      *x97 + x276*x100 - x276*x241 + x277*x258 - 0.1*x11 - 0.9*x27 = 0;

e859: (-x268*x40) - x271*x58 - x274*x76 + x277*x86 + x277*x90 + x277*x94 + x277
      *x98 + x277*x101 - x277*x258 + x278*x259 - 0.1*x12 - 0.9*x28 = 0;

e860: (-x269*x41) - x272*x59 - x275*x77 + x278*x87 + x278*x91 + x278*x95 + x278
      *x99 + x278*x102 + x260*x106 - x278*x259 - 0.1*x13 - 0.9*x29 = 0;

e861: x279*x31 + x279*x35 + x279*x39 + x279*x42 + x279*x45 - x282*x49 - x285*
      x67 - x288*x85 - x279*x238 + x280*x249 - 0.8*x15 = 0;

e862: x280*x32 + x280*x36 + x280*x40 + x280*x43 + x280*x46 - x283*x50 - x286*
      x68 - x289*x86 - x280*x249 + x281*x250 - 0.8*x16 = 0;

e863: x281*x33 + x281*x37 + x281*x41 + x281*x44 + x281*x47 - x284*x51 - x287*
      x69 - x290*x87 + x251*x107 - x281*x250 - 0.8*x17 = 0;

e864: x282*x49 - x279*x31 + x282*x53 + x282*x57 + x282*x60 + x282*x63 - x285*
      x71 - x288*x89 - x282*x239 + x283*x252 - 0.2*x3 - 0.8*x19 = 0;

e865: x283*x50 - x280*x32 + x283*x54 + x283*x58 + x283*x61 + x283*x64 - x286*
      x72 - x289*x90 - x283*x252 + x284*x253 - 0.2*x4 - 0.8*x20 = 0;

e866: x284*x51 - x281*x33 + x284*x55 + x284*x59 + x284*x62 + x284*x65 - x287*
      x73 - x290*x91 + x254*x108 - x284*x253 - 0.2*x5 - 0.8*x21 = 0;

e867: (-x279*x35) - x282*x53 + x285*x67 + x285*x71 + x285*x75 + x285*x78 + x285
      *x81 - x288*x93 - x285*x240 + x286*x255 - 0.2*x7 - 0.8*x23 = 0;

e868: (-x280*x36) - x283*x54 + x286*x68 + x286*x72 + x286*x76 + x286*x79 + x286
      *x82 - x289*x94 - x286*x255 + x287*x256 - 0.2*x8 - 0.8*x24 = 0;

e869: (-x281*x37) - x284*x55 + x287*x69 + x287*x73 + x287*x77 + x287*x80 + x287
      *x83 - x290*x95 + x257*x109 - x287*x256 - 0.2*x9 - 0.8*x25 = 0;

e870: (-x279*x39) - x282*x57 - x285*x75 + x288*x85 + x288*x89 + x288*x93 + x288
      *x97 + x288*x100 - x288*x241 + x289*x258 - 0.2*x11 - 0.8*x27 = 0;

e871: (-x280*x40) - x283*x58 - x286*x76 + x289*x86 + x289*x90 + x289*x94 + x289
      *x98 + x289*x101 - x289*x258 + x290*x259 - 0.2*x12 - 0.8*x28 = 0;

e872: (-x281*x41) - x284*x59 - x287*x77 + x290*x87 + x290*x91 + x290*x95 + x290
      *x99 + x290*x102 + x260*x110 - x290*x259 - 0.2*x13 - 0.8*x29 = 0;

e873: x291*x31 + x291*x35 + x291*x39 + x291*x42 + x291*x45 - x294*x49 - x297*
      x67 - x300*x85 - x291*x238 + x292*x249 - 0.8*x15 = 0;

e874: x292*x32 + x292*x36 + x292*x40 + x292*x43 + x292*x46 - x295*x50 - x298*
      x68 - x301*x86 - x292*x249 + x293*x250 - 0.8*x16 = 0;

e875: x293*x33 + x293*x37 + x293*x41 + x293*x44 + x293*x47 - x296*x51 - x299*
      x69 - x302*x87 + x251*x111 - x293*x250 - 0.8*x17 = 0;

e876: x294*x49 - x291*x31 + x294*x53 + x294*x57 + x294*x60 + x294*x63 - x297*
      x71 - x300*x89 - x294*x239 + x295*x252 - 0.8*x19 = 0;

e877: x295*x50 - x292*x32 + x295*x54 + x295*x58 + x295*x61 + x295*x64 - x298*
      x72 - x301*x90 - x295*x252 + x296*x253 - 0.8*x20 = 0;

e878: x296*x51 - x293*x33 + x296*x55 + x296*x59 + x296*x62 + x296*x65 - x299*
      x73 - x302*x91 + x254*x112 - x296*x253 - 0.8*x21 = 0;

e879: (-x291*x35) - x294*x53 + x297*x67 + x297*x71 + x297*x75 + x297*x78 + x297
      *x81 - x300*x93 - x297*x240 + x298*x255 - 0.8*x23 = 0;

e880: (-x292*x36) - x295*x54 + x298*x68 + x298*x72 + x298*x76 + x298*x79 + x298
      *x82 - x301*x94 - x298*x255 + x299*x256 - 0.8*x24 = 0;

e881: (-x293*x37) - x296*x55 + x299*x69 + x299*x73 + x299*x77 + x299*x80 + x299
      *x83 - x302*x95 + x257*x113 - x299*x256 - 0.8*x25 = 0;

e882: (-x291*x39) - x294*x57 - x297*x75 + x300*x85 + x300*x89 + x300*x93 + x300
      *x97 + x300*x100 - x300*x241 + x301*x258 - 0.8*x27 = 0;

e883: (-x292*x40) - x295*x58 - x298*x76 + x301*x86 + x301*x90 + x301*x94 + x301
      *x98 + x301*x101 - x301*x258 + x302*x259 - 0.8*x28 = 0;

e884: (-x293*x41) - x296*x59 - x299*x77 + x302*x87 + x302*x91 + x302*x95 + x302
      *x99 + x302*x102 + x260*x114 - x302*x259 - 0.8*x29 = 0;

e885: x303*x31 + x303*x35 + x303*x39 + x303*x42 + x303*x45 - x306*x49 - x309*
      x67 - x312*x85 - x303*x238 + x304*x249 - 0.7*x15 = 0;

e886: x304*x32 + x304*x36 + x304*x40 + x304*x43 + x304*x46 - x307*x50 - x310*
      x68 - x313*x86 - x304*x249 + x305*x250 - 0.7*x16 = 0;

e887: x305*x33 + x305*x37 + x305*x41 + x305*x44 + x305*x47 - x308*x51 - x311*
      x69 - x314*x87 + x251*x115 - x305*x250 - 0.7*x17 = 0;

e888: x306*x49 - x303*x31 + x306*x53 + x306*x57 + x306*x60 + x306*x63 - x309*
      x71 - x312*x89 - x306*x239 + x307*x252 - 0.1*x3 - 0.7*x19 = 0;

e889: x307*x50 - x304*x32 + x307*x54 + x307*x58 + x307*x61 + x307*x64 - x310*
      x72 - x313*x90 - x307*x252 + x308*x253 - 0.1*x4 - 0.7*x20 = 0;

e890: x308*x51 - x305*x33 + x308*x55 + x308*x59 + x308*x62 + x308*x65 - x311*
      x73 - x314*x91 + x254*x116 - x308*x253 - 0.1*x5 - 0.7*x21 = 0;

e891: (-x303*x35) - x306*x53 + x309*x67 + x309*x71 + x309*x75 + x309*x78 + x309
      *x81 - x312*x93 - x309*x240 + x310*x255 - 0.1*x7 - 0.7*x23 = 0;

e892: (-x304*x36) - x307*x54 + x310*x68 + x310*x72 + x310*x76 + x310*x79 + x310
      *x82 - x313*x94 - x310*x255 + x311*x256 - 0.1*x8 - 0.7*x24 = 0;

e893: (-x305*x37) - x308*x55 + x311*x69 + x311*x73 + x311*x77 + x311*x80 + x311
      *x83 - x314*x95 + x257*x117 - x311*x256 - 0.1*x9 - 0.7*x25 = 0;

e894: (-x303*x39) - x306*x57 - x309*x75 + x312*x85 + x312*x89 + x312*x93 + x312
      *x97 + x312*x100 - x312*x241 + x313*x258 - 0.1*x11 - 0.7*x27 = 0;

e895: (-x304*x40) - x307*x58 - x310*x76 + x313*x86 + x313*x90 + x313*x94 + x313
      *x98 + x313*x101 - x313*x258 + x314*x259 - 0.1*x12 - 0.7*x28 = 0;

e896: (-x305*x41) - x308*x59 - x311*x77 + x314*x87 + x314*x91 + x314*x95 + x314
      *x99 + x314*x102 + x260*x118 - x314*x259 - 0.1*x13 - 0.7*x29 = 0;

e897: x315*x31 + x315*x35 + x315*x39 + x315*x42 + x315*x45 - x318*x49 - x321*
      x67 - x324*x85 - x315*x238 + x316*x249 - x15 = 0;

e898: x316*x32 + x316*x36 + x316*x40 + x316*x43 + x316*x46 - x319*x50 - x322*
      x68 - x325*x86 - x316*x249 + x317*x250 - x16 = 0;

e899: x317*x33 + x317*x37 + x317*x41 + x317*x44 + x317*x47 - x320*x51 - x323*
      x69 - x326*x87 + x251*x119 - x317*x250 - x17 = 0;

e900: x318*x49 - x315*x31 + x318*x53 + x318*x57 + x318*x60 + x318*x63 - x321*
      x71 - x324*x89 - x318*x239 + x319*x252 - 0.2*x3 - x19 = 0;

e901: x319*x50 - x316*x32 + x319*x54 + x319*x58 + x319*x61 + x319*x64 - x322*
      x72 - x325*x90 - x319*x252 + x320*x253 - 0.2*x4 - x20 = 0;

e902: x320*x51 - x317*x33 + x320*x55 + x320*x59 + x320*x62 + x320*x65 - x323*
      x73 - x326*x91 + x254*x120 - x320*x253 - 0.2*x5 - x21 = 0;

e903: (-x315*x35) - x318*x53 + x321*x67 + x321*x71 + x321*x75 + x321*x78 + x321
      *x81 - x324*x93 - x321*x240 + x322*x255 - 0.2*x7 - x23 = 0;

e904: (-x316*x36) - x319*x54 + x322*x68 + x322*x72 + x322*x76 + x322*x79 + x322
      *x82 - x325*x94 - x322*x255 + x323*x256 - 0.2*x8 - x24 = 0;

e905: (-x317*x37) - x320*x55 + x323*x69 + x323*x73 + x323*x77 + x323*x80 + x323
      *x83 - x326*x95 + x257*x121 - x323*x256 - 0.2*x9 - x25 = 0;

e906: (-x315*x39) - x318*x57 - x321*x75 + x324*x85 + x324*x89 + x324*x93 + x324
      *x97 + x324*x100 - x324*x241 + x325*x258 - 0.2*x11 - x27 = 0;

e907: (-x316*x40) - x319*x58 - x322*x76 + x325*x86 + x325*x90 + x325*x94 + x325
      *x98 + x325*x101 - x325*x258 + x326*x259 - 0.2*x12 - x28 = 0;

e908: (-x317*x41) - x320*x59 - x323*x77 + x326*x87 + x326*x91 + x326*x95 + x326
      *x99 + x326*x102 + x260*x122 - x326*x259 - 0.2*x13 - x29 = 0;

e909: x327*x31 + x327*x35 + x327*x39 + x327*x42 + x327*x45 - x330*x49 - x333*
      x67 - x336*x85 - x327*x238 + x328*x249 - 0.9*x15 = 0;

e910: x328*x32 + x328*x36 + x328*x40 + x328*x43 + x328*x46 - x331*x50 - x334*
      x68 - x337*x86 - x328*x249 + x329*x250 - 0.9*x16 = 0;

e911: x329*x33 + x329*x37 + x329*x41 + x329*x44 + x329*x47 - x332*x51 - x335*
      x69 - x338*x87 + x251*x123 - x329*x250 - 0.9*x17 = 0;

e912: x330*x49 - x327*x31 + x330*x53 + x330*x57 + x330*x60 + x330*x63 - x333*
      x71 - x336*x89 - x330*x239 + x331*x252 - 0.3*x3 - 0.9*x19 = 0;

e913: x331*x50 - x328*x32 + x331*x54 + x331*x58 + x331*x61 + x331*x64 - x334*
      x72 - x337*x90 - x331*x252 + x332*x253 - 0.3*x4 - 0.9*x20 = 0;

e914: x332*x51 - x329*x33 + x332*x55 + x332*x59 + x332*x62 + x332*x65 - x335*
      x73 - x338*x91 + x254*x124 - x332*x253 - 0.3*x5 - 0.9*x21 = 0;

e915: (-x327*x35) - x330*x53 + x333*x67 + x333*x71 + x333*x75 + x333*x78 + x333
      *x81 - x336*x93 - x333*x240 + x334*x255 - 0.3*x7 - 0.9*x23 = 0;

e916: (-x328*x36) - x331*x54 + x334*x68 + x334*x72 + x334*x76 + x334*x79 + x334
      *x82 - x337*x94 - x334*x255 + x335*x256 - 0.3*x8 - 0.9*x24 = 0;

e917: (-x329*x37) - x332*x55 + x335*x69 + x335*x73 + x335*x77 + x335*x80 + x335
      *x83 - x338*x95 + x257*x125 - x335*x256 - 0.3*x9 - 0.9*x25 = 0;

e918: (-x327*x39) - x330*x57 - x333*x75 + x336*x85 + x336*x89 + x336*x93 + x336
      *x97 + x336*x100 - x336*x241 + x337*x258 - 0.3*x11 - 0.9*x27 = 0;

e919: (-x328*x40) - x331*x58 - x334*x76 + x337*x86 + x337*x90 + x337*x94 + x337
      *x98 + x337*x101 - x337*x258 + x338*x259 - 0.3*x12 - 0.9*x28 = 0;

e920: (-x329*x41) - x332*x59 - x335*x77 + x338*x87 + x338*x91 + x338*x95 + x338
      *x99 + x338*x102 + x260*x126 - x338*x259 - 0.3*x13 - 0.9*x29 = 0;

e921: x339*x31 + x339*x35 + x339*x39 + x339*x42 + x339*x45 - x342*x49 - x345*
      x67 - x348*x85 - x339*x238 + x340*x249 - 0.8*x15 = 0;

e922: x340*x32 + x340*x36 + x340*x40 + x340*x43 + x340*x46 - x343*x50 - x346*
      x68 - x349*x86 - x340*x249 + x341*x250 - 0.8*x16 = 0;

e923: x341*x33 + x341*x37 + x341*x41 + x341*x44 + x341*x47 - x344*x51 - x347*
      x69 - x350*x87 + x251*x127 - x341*x250 - 0.8*x17 = 0;

e924: x342*x49 - x339*x31 + x342*x53 + x342*x57 + x342*x60 + x342*x63 - x345*
      x71 - x348*x89 - x342*x239 + x343*x252 - 0.8*x19 = 0;

e925: x343*x50 - x340*x32 + x343*x54 + x343*x58 + x343*x61 + x343*x64 - x346*
      x72 - x349*x90 - x343*x252 + x344*x253 - 0.8*x20 = 0;

e926: x344*x51 - x341*x33 + x344*x55 + x344*x59 + x344*x62 + x344*x65 - x347*
      x73 - x350*x91 + x254*x128 - x344*x253 - 0.8*x21 = 0;

e927: (-x339*x35) - x342*x53 + x345*x67 + x345*x71 + x345*x75 + x345*x78 + x345
      *x81 - x348*x93 - x345*x240 + x346*x255 - 0.8*x23 = 0;

e928: (-x340*x36) - x343*x54 + x346*x68 + x346*x72 + x346*x76 + x346*x79 + x346
      *x82 - x349*x94 - x346*x255 + x347*x256 - 0.8*x24 = 0;

e929: (-x341*x37) - x344*x55 + x347*x69 + x347*x73 + x347*x77 + x347*x80 + x347
      *x83 - x350*x95 + x257*x129 - x347*x256 - 0.8*x25 = 0;

e930: (-x339*x39) - x342*x57 - x345*x75 + x348*x85 + x348*x89 + x348*x93 + x348
      *x97 + x348*x100 - x348*x241 + x349*x258 - 0.8*x27 = 0;

e931: (-x340*x40) - x343*x58 - x346*x76 + x349*x86 + x349*x90 + x349*x94 + x349
      *x98 + x349*x101 - x349*x258 + x350*x259 - 0.8*x28 = 0;

e932: (-x341*x41) - x344*x59 - x347*x77 + x350*x87 + x350*x91 + x350*x95 + x350
      *x99 + x350*x102 + x260*x130 - x350*x259 - 0.8*x29 = 0;

e933: x351*x31 + x351*x35 + x351*x39 + x351*x42 + x351*x45 - x354*x49 - x357*
      x67 - x360*x85 - x351*x238 + x352*x249 - 0.9*x15 = 0;

e934: x352*x32 + x352*x36 + x352*x40 + x352*x43 + x352*x46 - x355*x50 - x358*
      x68 - x361*x86 - x352*x249 + x353*x250 - 0.9*x16 = 0;

e935: x353*x33 + x353*x37 + x353*x41 + x353*x44 + x353*x47 - x356*x51 - x359*
      x69 - x362*x87 + x251*x131 - x353*x250 - 0.9*x17 = 0;

e936: x354*x49 - x351*x31 + x354*x53 + x354*x57 + x354*x60 + x354*x63 - x357*
      x71 - x360*x89 - x354*x239 + x355*x252 - 0.3*x3 - 0.9*x19 = 0;

e937: x355*x50 - x352*x32 + x355*x54 + x355*x58 + x355*x61 + x355*x64 - x358*
      x72 - x361*x90 - x355*x252 + x356*x253 - 0.3*x4 - 0.9*x20 = 0;

e938: x356*x51 - x353*x33 + x356*x55 + x356*x59 + x356*x62 + x356*x65 - x359*
      x73 - x362*x91 + x254*x132 - x356*x253 - 0.3*x5 - 0.9*x21 = 0;

e939: (-x351*x35) - x354*x53 + x357*x67 + x357*x71 + x357*x75 + x357*x78 + x357
      *x81 - x360*x93 - x357*x240 + x358*x255 - 0.3*x7 - 0.9*x23 = 0;

e940: (-x352*x36) - x355*x54 + x358*x68 + x358*x72 + x358*x76 + x358*x79 + x358
      *x82 - x361*x94 - x358*x255 + x359*x256 - 0.3*x8 - 0.9*x24 = 0;

e941: (-x353*x37) - x356*x55 + x359*x69 + x359*x73 + x359*x77 + x359*x80 + x359
      *x83 - x362*x95 + x257*x133 - x359*x256 - 0.3*x9 - 0.9*x25 = 0;

e942: (-x351*x39) - x354*x57 - x357*x75 + x360*x85 + x360*x89 + x360*x93 + x360
      *x97 + x360*x100 - x360*x241 + x361*x258 - 0.3*x11 - 0.9*x27 = 0;

e943: (-x352*x40) - x355*x58 - x358*x76 + x361*x86 + x361*x90 + x361*x94 + x361
      *x98 + x361*x101 - x361*x258 + x362*x259 - 0.3*x12 - 0.9*x28 = 0;

e944: (-x353*x41) - x356*x59 - x359*x77 + x362*x87 + x362*x91 + x362*x95 + x362
      *x99 + x362*x102 + x260*x134 - x362*x259 - 0.3*x13 - 0.9*x29 = 0;