#  MINLP written by GAMS Convert at 01/12/18 13:42:24
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        600       76      460       64        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        369      279       90        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1562     1382      180        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 >= 0, <= 0.26351883;
var x2 >= 0, <= 0.26351883;
var x3 >= 0, <= 0.26351883;
var x4 >= 0, <= 0.26351883;
var x5 >= 0, <= 0.22891574;
var x6 >= 0, <= 0.22891574;
var x7 >= 0, <= 0.22891574;
var x8 >= 0, <= 0.22891574;
var x9 >= 0, <= 0.21464835;
var x10 >= 0, <= 0.21464835;
var x11 >= 0, <= 0.21464835;
var x12 >= 0, <= 0.21464835;
var x13 >= 0, <= 0.17964414;
var x14 >= 0, <= 0.17964414;
var x15 >= 0, <= 0.17964414;
var x16 >= 0, <= 0.17964414;
var x17 >= 0, <= 0.17402843;
var x18 >= 0, <= 0.17402843;
var x19 >= 0, <= 0.17402843;
var x20 >= 0, <= 0.17402843;
var x21 >= 0, <= 0.15355962;
var x22 >= 0, <= 0.15355962;
var x23 >= 0, <= 0.15355962;
var x24 >= 0, <= 0.15355962;
var x25 >= 0, <= 0.1942283;
var x26 >= 0, <= 0.1942283;
var x27 >= 0, <= 0.1942283;
var x28 >= 0, <= 0.1942283;
var x29 >= 0, <= 0.25670555;
var x30 >= 0, <= 0.25670555;
var x31 >= 0, <= 0.25670555;
var x32 >= 0, <= 0.25670555;
var x33 >= 0, <= 0.27088619;
var x34 >= 0, <= 0.27088619;
var x35 >= 0, <= 0.27088619;
var x36 >= 0, <= 0.27088619;
var x37 >= 0, <= 0.28985675;
var x38 >= 0, <= 0.28985675;
var x39 >= 0, <= 0.28985675;
var x40 >= 0, <= 0.28985675;
var x41 >= 0, <= 0.25550303;
var x42 >= 0, <= 0.25550303;
var x43 >= 0, <= 0.25550303;
var x44 >= 0, <= 0.25550303;
var x45 >= 0, <= 0.19001726;
var x46 >= 0, <= 0.19001726;
var x47 >= 0, <= 0.19001726;
var x48 >= 0, <= 0.19001726;
var x49 >= 0, <= 0.23803143;
var x50 >= 0, <= 0.23803143;
var x51 >= 0, <= 0.23803143;
var x52 >= 0, <= 0.23803143;
var x53 >= 0, <= 0.23312962;
var x54 >= 0, <= 0.23312962;
var x55 >= 0, <= 0.23312962;
var x56 >= 0, <= 0.23312962;
var x57 >= 0, <= 0.27705307;
var x58 >= 0, <= 0.27705307;
var x59 >= 0, <= 0.27705307;
var x60 >= 0, <= 0.27705307;
var x61 := 1.92, >= 1.92, <= 2.02;
var x62 := 3.82, >= 3.82, <= 4.01333333333333;
var x63 := 4.53333333333333, >= 4.53333333333333, <= 4.76;
var x64 := 5.39333333333333, >= 5.39333333333333, <= 5.96;
var x65 := 36.3533333333333, >= 36.3533333333333, <= 42.0933333333333;
var x66 := 85.7466666666667, >= 85.7466666666667, <= 99.28;
var x67 := 6.28, >= 6.28, <= 6.59333333333333;
var x68 := 53.4333333333333, >= 53.4333333333333, <= 61.8666666666667;
var x69 := 48.6133333333333, >= 48.6133333333333, <= 56.2866666666667;
var x70 := 33.9533333333333, >= 33.9533333333333, <= 41.5;
var x71 := 53.9666666666667, >= 53.9666666666667, <= 62.4933333333333;
var x72 := 77.0533333333333, >= 77.0533333333333, <= 80.9066666666667;
var x73 := 24.9066666666667, >= 24.9066666666667, <= 26.1466666666667;
var x74 := 36.1866666666667, >= 36.1866666666667, <= 38;
var x75 := 56.3133333333333, >= 56.3133333333333, <= 62.24;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;
var b102 binary >= 0, <= 1;
var b103 binary >= 0, <= 1;
var b104 binary >= 0, <= 1;
var b105 binary >= 0, <= 1;
var b106 binary >= 0, <= 1;
var b107 binary >= 0, <= 1;
var b108 binary >= 0, <= 1;
var b109 binary >= 0, <= 1;
var b110 binary >= 0, <= 1;
var b111 binary >= 0, <= 1;
var b112 binary >= 0, <= 1;
var b113 binary >= 0, <= 1;
var b114 binary >= 0, <= 1;
var b115 binary >= 0, <= 1;
var b116 binary >= 0, <= 1;
var b117 binary >= 0, <= 1;
var b118 binary >= 0, <= 1;
var b119 binary >= 0, <= 1;
var b120 binary >= 0, <= 1;
var b121 binary >= 0, <= 1;
var b122 binary >= 0, <= 1;
var b123 binary >= 0, <= 1;
var b124 binary >= 0, <= 1;
var b125 binary >= 0, <= 1;
var b126 binary >= 0, <= 1;
var b127 binary >= 0, <= 1;
var b128 binary >= 0, <= 1;
var b129 binary >= 0, <= 1;
var b130 binary >= 0, <= 1;
var b131 binary >= 0, <= 1;
var b132 binary >= 0, <= 1;
var b133 binary >= 0, <= 1;
var b134 binary >= 0, <= 1;
var b135 binary >= 0, <= 1;
var x136 >= 0, <= 0.5323080366;
var x137 >= 0, <= 0.918715169866666;
var x138 >= 0, <= 1.021726146;
var x139 >= 0, <= 1.0706790744;
var x140 >= 0, <= 7.32543671346667;
var x141 >= 0, <= 15.2453990736;
var x142 >= 0, <= 1.28061192466667;
var x143 >= 0, <= 15.8815166933333;
var x144 >= 0, <= 15.2472806811333;
var x145 >= 0, <= 12.029055125;
var x146 >= 0, <= 15.9672360214667;
var x147 >= 0, <= 15.3736631157333;
var x148 >= 0, <= 6.2237284564;
var x149 >= 0, <= 8.85892556;
var x150 >= 0, <= 17.2437830768;
var x151 := 0.25788969, >= 0.25788969, <= 0.35227087;
var x152 := 0.25788969, >= 0.25788969, <= 0.35227087;
var x153 := 0.25788969, >= 0.25788969, <= 0.35227087;
var x154 := 0.25788969, >= 0.25788969, <= 0.35227087;
var x155 := -0.7794471, >= -0.98493628, <= -0.7794471;
var x156 := -0.7794471, >= -0.98493628, <= -0.7794471;
var x157 := -0.7794471, >= -0.98493628, <= -0.7794471;
var x158 := -0.7794471, >= -0.98493628, <= -0.7794471;
var x159 >= 0, <= 0.0580296499999999;
var x160 >= 0, <= 0.0580296499999999;
var x161 >= 0, <= 0.0580296499999999;
var x162 >= 0, <= 0.0580296499999999;
var x163 >= 0, <= 0.0546689399999999;
var x164 >= 0, <= 0.0546689399999999;
var x165 >= 0, <= 0.0546689399999999;
var x166 >= 0, <= 0.0546689399999999;
var x167 >= 0, <= 0.09360565;
var x168 >= 0, <= 0.09360565;
var x169 >= 0, <= 0.09360565;
var x170 >= 0, <= 0.09360565;
var x171 >= 0, <= 0.0476880399999999;
var x172 >= 0, <= 0.0476880399999999;
var x173 >= 0, <= 0.0476880399999999;
var x174 >= 0, <= 0.0476880399999999;
var x175 >= 0, <= 0.05276021;
var x176 >= 0, <= 0.05276021;
var x177 >= 0, <= 0.05276021;
var x178 >= 0, <= 0.05276021;
var x179 >= 0, <= 0.04905388;
var x180 >= 0, <= 0.04905388;
var x181 >= 0, <= 0.04905388;
var x182 >= 0, <= 0.04905388;
var x183 >= 0, <= 0.07731692;
var x184 >= 0, <= 0.07731692;
var x185 >= 0, <= 0.07731692;
var x186 >= 0, <= 0.07731692;
var x187 >= 0, <= 0.08211741;
var x188 >= 0, <= 0.08211741;
var x189 >= 0, <= 0.08211741;
var x190 >= 0, <= 0.08211741;
var x191 >= 0, <= 0.09438118;
var x192 >= 0, <= 0.09438118;
var x193 >= 0, <= 0.09438118;
var x194 >= 0, <= 0.09438118;
var x195 >= 0, <= 0.08436757;
var x196 >= 0, <= 0.08436757;
var x197 >= 0, <= 0.08436757;
var x198 >= 0, <= 0.08436757;
var x199 >= 0, <= 0.06987597;
var x200 >= 0, <= 0.06987597;
var x201 >= 0, <= 0.06987597;
var x202 >= 0, <= 0.06987597;
var x203 >= 0, <= 0.04788831;
var x204 >= 0, <= 0.04788831;
var x205 >= 0, <= 0.04788831;
var x206 >= 0, <= 0.04788831;
var x207 >= 0, <= 0.0668875099999999;
var x208 >= 0, <= 0.0668875099999999;
var x209 >= 0, <= 0.0668875099999999;
var x210 >= 0, <= 0.0668875099999999;
var x211 >= 0, <= 0.07276512;
var x212 >= 0, <= 0.07276512;
var x213 >= 0, <= 0.07276512;
var x214 >= 0, <= 0.07276512;
var x215 >= 0, <= 0.09438118;
var x216 >= 0, <= 0.09438118;
var x217 >= 0, <= 0.09438118;
var x218 >= 0, <= 0.09438118;
var x219 >= 0, <= 0.20548918;
var x220 >= 0, <= 0.20548918;
var x221 >= 0, <= 0.20548918;
var x222 >= 0, <= 0.20548918;
var x223 >= 0, <= 0.1742468;
var x224 >= 0, <= 0.1742468;
var x225 >= 0, <= 0.1742468;
var x226 >= 0, <= 0.1742468;
var x227 >= 0, <= 0.1210427;
var x228 >= 0, <= 0.1210427;
var x229 >= 0, <= 0.1210427;
var x230 >= 0, <= 0.1210427;
var x231 >= 0, <= 0.1319561;
var x232 >= 0, <= 0.1319561;
var x233 >= 0, <= 0.1319561;
var x234 >= 0, <= 0.1319561;
var x235 >= 0, <= 0.12126822;
var x236 >= 0, <= 0.12126822;
var x237 >= 0, <= 0.12126822;
var x238 >= 0, <= 0.12126822;
var x239 >= 0, <= 0.10450574;
var x240 >= 0, <= 0.10450574;
var x241 >= 0, <= 0.10450574;
var x242 >= 0, <= 0.10450574;
var x243 >= 0, <= 0.11691138;
var x244 >= 0, <= 0.11691138;
var x245 >= 0, <= 0.11691138;
var x246 >= 0, <= 0.11691138;
var x247 >= 0, <= 0.17458814;
var x248 >= 0, <= 0.17458814;
var x249 >= 0, <= 0.17458814;
var x250 >= 0, <= 0.17458814;
var x251 >= 0, <= 0.17650501;
var x252 >= 0, <= 0.17650501;
var x253 >= 0, <= 0.17650501;
var x254 >= 0, <= 0.17650501;
var x255 >= 0, <= 0.20548918;
var x256 >= 0, <= 0.20548918;
var x257 >= 0, <= 0.20548918;
var x258 >= 0, <= 0.20548918;
var x259 >= 0, <= 0.18562706;
var x260 >= 0, <= 0.18562706;
var x261 >= 0, <= 0.18562706;
var x262 >= 0, <= 0.18562706;
var x263 >= 0, <= 0.14212895;
var x264 >= 0, <= 0.14212895;
var x265 >= 0, <= 0.14212895;
var x266 >= 0, <= 0.14212895;
var x267 >= 0, <= 0.17114392;
var x268 >= 0, <= 0.17114392;
var x269 >= 0, <= 0.17114392;
var x270 >= 0, <= 0.17114392;
var x271 >= 0, <= 0.1603645;
var x272 >= 0, <= 0.1603645;
var x273 >= 0, <= 0.1603645;
var x274 >= 0, <= 0.1603645;
var x275 >= 0, <= 0.18267189;
var x276 >= 0, <= 0.18267189;
var x277 >= 0, <= 0.18267189;
var x278 >= 0, <= 0.18267189;
var x279 >= 0, <= 0.5323080366;
var x280 >= 0, <= 0.5323080366;
var x281 >= 0, <= 0.5323080366;
var x282 >= 0, <= 0.5323080366;
var x283 >= 0, <= 0.918715169866666;
var x284 >= 0, <= 0.918715169866666;
var x285 >= 0, <= 0.918715169866666;
var x286 >= 0, <= 0.918715169866666;
var x287 >= 0, <= 1.021726146;
var x288 >= 0, <= 1.021726146;
var x289 >= 0, <= 1.021726146;
var x290 >= 0, <= 1.021726146;
var x291 >= 0, <= 1.0706790744;
var x292 >= 0, <= 1.0706790744;
var x293 >= 0, <= 1.0706790744;
var x294 >= 0, <= 1.0706790744;
var x295 >= 0, <= 7.32543671346667;
var x296 >= 0, <= 7.32543671346667;
var x297 >= 0, <= 7.32543671346667;
var x298 >= 0, <= 7.32543671346667;
var x299 >= 0, <= 15.2453990736;
var x300 >= 0, <= 15.2453990736;
var x301 >= 0, <= 15.2453990736;
var x302 >= 0, <= 15.2453990736;
var x303 >= 0, <= 1.28061192466667;
var x304 >= 0, <= 1.28061192466667;
var x305 >= 0, <= 1.28061192466667;
var x306 >= 0, <= 1.28061192466667;
var x307 >= 0, <= 15.8815166933333;
var x308 >= 0, <= 15.8815166933333;
var x309 >= 0, <= 15.8815166933333;
var x310 >= 0, <= 15.8815166933333;
var x311 >= 0, <= 15.2472806811333;
var x312 >= 0, <= 15.2472806811333;
var x313 >= 0, <= 15.2472806811333;
var x314 >= 0, <= 15.2472806811333;
var x315 >= 0, <= 12.029055125;
var x316 >= 0, <= 12.029055125;
var x317 >= 0, <= 12.029055125;
var x318 >= 0, <= 12.029055125;
var x319 >= 0, <= 15.9672360214667;
var x320 >= 0, <= 15.9672360214667;
var x321 >= 0, <= 15.9672360214667;
var x322 >= 0, <= 15.9672360214667;
var x323 >= 0, <= 15.3736631157333;
var x324 >= 0, <= 15.3736631157333;
var x325 >= 0, <= 15.3736631157333;
var x326 >= 0, <= 15.3736631157333;
var x327 >= 0, <= 6.2237284564;
var x328 >= 0, <= 6.2237284564;
var x329 >= 0, <= 6.2237284564;
var x330 >= 0, <= 6.2237284564;
var x331 >= 0, <= 8.85892556;
var x332 >= 0, <= 8.85892556;
var x333 >= 0, <= 8.85892556;
var x334 >= 0, <= 8.85892556;
var x335 >= 0, <= 17.2437830768;
var x336 >= 0, <= 17.2437830768;
var x337 >= 0, <= 17.2437830768;
var x338 >= 0, <= 17.2437830768;
var b339 binary >= 0, <= 1;
var b340 binary >= 0, <= 1;
var b341 binary >= 0, <= 1;
var b342 binary >= 0, <= 1;
var b343 binary >= 0, <= 1;
var b344 binary >= 0, <= 1;
var b345 binary >= 0, <= 1;
var b346 binary >= 0, <= 1;
var b347 binary >= 0, <= 1;
var b348 binary >= 0, <= 1;
var b349 binary >= 0, <= 1;
var b350 binary >= 0, <= 1;
var b351 binary >= 0, <= 1;
var b352 binary >= 0, <= 1;
var b353 binary >= 0, <= 1;
var b354 binary >= 0, <= 1;
var b355 binary >= 0, <= 1;
var b356 binary >= 0, <= 1;
var b357 binary >= 0, <= 1;
var b358 binary >= 0, <= 1;
var b359 binary >= 0, <= 1;
var b360 binary >= 0, <= 1;
var b361 binary >= 0, <= 1;
var b362 binary >= 0, <= 1;
var b363 binary >= 0, <= 1;
var b364 binary >= 0, <= 1;
var b365 binary >= 0, <= 1;
var b366 binary >= 0, <= 1;
var b367 binary >= 0, <= 1;
var b368 binary >= 0, <= 1;

minimize obj:    x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144
     + x145 + x146 + x147 + x148 + x149 + x150;

subject to

e2: -x61*x1*b76 + x279 >= 0;

e3: -x61*x2*b77 + x280 >= 0;

e4: -x61*x3*b78 + x281 >= 0;

e5: -x61*x4*b79 + x282 >= 0;

e6: -x62*x5*b80 + x283 >= 0;

e7: -x62*x6*b81 + x284 >= 0;

e8: -x62*x7*b82 + x285 >= 0;

e9: -x62*x8*b83 + x286 >= 0;

e10: -x63*x9*b84 + x287 >= 0;

e11: -x63*x10*b85 + x288 >= 0;

e12: -x63*x11*b86 + x289 >= 0;

e13: -x63*x12*b87 + x290 >= 0;

e14: -x64*x13*b88 + x291 >= 0;

e15: -x64*x14*b89 + x292 >= 0;

e16: -x64*x15*b90 + x293 >= 0;

e17: -x64*x16*b91 + x294 >= 0;

e18: -x65*x17*b92 + x295 >= 0;

e19: -x65*x18*b93 + x296 >= 0;

e20: -x65*x19*b94 + x297 >= 0;

e21: -x65*x20*b95 + x298 >= 0;

e22: -x66*x21*b96 + x299 >= 0;

e23: -x66*x22*b97 + x300 >= 0;

e24: -x66*x23*b98 + x301 >= 0;

e25: -x66*x24*b99 + x302 >= 0;

e26: -x67*x25*b100 + x303 >= 0;

e27: -x67*x26*b101 + x304 >= 0;

e28: -x67*x27*b102 + x305 >= 0;

e29: -x67*x28*b103 + x306 >= 0;

e30: -x68*x29*b104 + x307 >= 0;

e31: -x68*x30*b105 + x308 >= 0;

e32: -x68*x31*b106 + x309 >= 0;

e33: -x68*x32*b107 + x310 >= 0;

e34: -x69*x33*b108 + x311 >= 0;

e35: -x69*x34*b109 + x312 >= 0;

e36: -x69*x35*b110 + x313 >= 0;

e37: -x69*x36*b111 + x314 >= 0;

e38: -x70*x37*b112 + x315 >= 0;

e39: -x70*x38*b113 + x316 >= 0;

e40: -x70*x39*b114 + x317 >= 0;

e41: -x70*x40*b115 + x318 >= 0;

e42: -x71*x41*b116 + x319 >= 0;

e43: -x71*x42*b117 + x320 >= 0;

e44: -x71*x43*b118 + x321 >= 0;

e45: -x71*x44*b119 + x322 >= 0;

e46: -x72*x45*b120 + x323 >= 0;

e47: -x72*x46*b121 + x324 >= 0;

e48: -x72*x47*b122 + x325 >= 0;

e49: -x72*x48*b123 + x326 >= 0;

e50: -x73*x49*b124 + x327 >= 0;

e51: -x73*x50*b125 + x328 >= 0;

e52: -x73*x51*b126 + x329 >= 0;

e53: -x73*x52*b127 + x330 >= 0;

e54: -x74*x53*b128 + x331 >= 0;

e55: -x74*x54*b129 + x332 >= 0;

e56: -x74*x55*b130 + x333 >= 0;

e57: -x74*x56*b131 + x334 >= 0;

e58: -x75*x57*b132 + x335 >= 0;

e59: -x75*x58*b133 + x336 >= 0;

e60: -x75*x59*b134 + x337 >= 0;

e61: -x75*x60*b135 + x338 >= 0;

e62:    b76 + b77 + b78 + b79 = 1;

e63:    b80 + b81 + b82 + b83 = 1;

e64:    b84 + b85 + b86 + b87 = 1;

e65:    b88 + b89 + b90 + b91 = 1;

e66:    b92 + b93 + b94 + b95 = 1;

e67:    b96 + b97 + b98 + b99 = 1;

e68:    b100 + b101 + b102 + b103 = 1;

e69:    b104 + b105 + b106 + b107 = 1;

e70:    b108 + b109 + b110 + b111 = 1;

e71:    b112 + b113 + b114 + b115 = 1;

e72:    b116 + b117 + b118 + b119 = 1;

e73:    b120 + b121 + b122 + b123 = 1;

e74:    b124 + b125 + b126 + b127 = 1;

e75:    b128 + b129 + b130 + b131 = 1;

e76:    b132 + b133 + b134 + b135 = 1;

e77:    2.02*b76 + 4.01333333333333*b80 + 4.76*b84 + 5.96*b88
      + 42.0933333333333*b92 + 99.28*b96 + 6.59333333333333*b100
      + 61.8666666666667*b104 + 56.2866666666667*b108 + 41.5*b112
      + 62.4933333333333*b116 + 80.9066666666667*b120 + 26.1466666666667*b124
      + 38*b128 + 62.24*b132 <= 153.54;

e78:    2.02*b77 + 4.01333333333333*b81 + 4.76*b85 + 5.96*b89
      + 42.0933333333333*b93 + 99.28*b97 + 6.59333333333333*b101
      + 61.8666666666667*b105 + 56.2866666666667*b109 + 41.5*b113
      + 62.4933333333333*b117 + 80.9066666666667*b121 + 26.1466666666667*b125
      + 38*b129 + 62.24*b133 <= 153.54;

e79:    2.02*b78 + 4.01333333333333*b82 + 4.76*b86 + 5.96*b90
      + 42.0933333333333*b94 + 99.28*b98 + 6.59333333333333*b102
      + 61.8666666666667*b106 + 56.2866666666667*b110 + 41.5*b114
      + 62.4933333333333*b118 + 80.9066666666667*b122 + 26.1466666666667*b126
      + 38*b130 + 62.24*b134 <= 153.54;

e80:    2.02*b79 + 4.01333333333333*b83 + 4.76*b87 + 5.96*b91
      + 42.0933333333333*b95 + 99.28*b99 + 6.59333333333333*b103
      + 61.8666666666667*b107 + 56.2866666666667*b111 + 41.5*b115
      + 62.4933333333333*b119 + 80.9066666666667*b123 + 26.1466666666667*b127
      + 38*b131 + 62.24*b135 <= 153.54;

e81:    x151 + x159 >= 0.29424122;

e82:    x152 + x160 >= 0.29424122;

e83:    x153 + x161 >= 0.29424122;

e84:    x154 + x162 >= 0.29424122;

e85:    x151 + x163 >= 0.29760193;

e86:    x152 + x164 >= 0.29760193;

e87:    x153 + x165 >= 0.29760193;

e88:    x154 + x166 >= 0.29760193;

e89:    x151 + x167 >= 0.35149534;

e90:    x152 + x168 >= 0.35149534;

e91:    x153 + x169 >= 0.35149534;

e92:    x154 + x170 >= 0.35149534;

e93:    x151 + x171 >= 0.30458283;

e94:    x152 + x172 >= 0.30458283;

e95:    x153 + x173 >= 0.30458283;

e96:    x154 + x174 >= 0.30458283;

e97:    x151 + x175 >= 0.29951066;

e98:    x152 + x176 >= 0.29951066;

e99:    x153 + x177 >= 0.29951066;

e100:    x154 + x178 >= 0.29951066;

e101:    x151 + x179 >= 0.30694357;

e102:    x152 + x180 >= 0.30694357;

e103:    x153 + x181 >= 0.30694357;

e104:    x154 + x182 >= 0.30694357;

e105:    x151 + x183 >= 0.33520661;

e106:    x152 + x184 >= 0.33520661;

e107:    x153 + x185 >= 0.33520661;

e108:    x154 + x186 >= 0.33520661;

e109:    x151 + x187 >= 0.3400071;

e110:    x152 + x188 >= 0.3400071;

e111:    x153 + x189 >= 0.3400071;

e112:    x154 + x190 >= 0.3400071;

e113:    x151 + x191 >= 0.35227087;

e114:    x152 + x192 >= 0.35227087;

e115:    x153 + x193 >= 0.35227087;

e116:    x154 + x194 >= 0.35227087;

e117:    x151 + x195 >= 0.34225726;

e118:    x152 + x196 >= 0.34225726;

e119:    x153 + x197 >= 0.34225726;

e120:    x154 + x198 >= 0.34225726;

e121:    x151 + x199 >= 0.32776566;

e122:    x152 + x200 >= 0.32776566;

e123:    x153 + x201 >= 0.32776566;

e124:    x154 + x202 >= 0.32776566;

e125:    x151 + x203 >= 0.30438256;

e126:    x152 + x204 >= 0.30438256;

e127:    x153 + x205 >= 0.30438256;

e128:    x154 + x206 >= 0.30438256;

e129:    x151 + x207 >= 0.28538336;

e130:    x152 + x208 >= 0.28538336;

e131:    x153 + x209 >= 0.28538336;

e132:    x154 + x210 >= 0.28538336;

e133:    x151 + x211 >= 0.27950575;

e134:    x152 + x212 >= 0.27950575;

e135:    x153 + x213 >= 0.27950575;

e136:    x154 + x214 >= 0.27950575;

e137:  - x151 + x159 >= -0.29424122;

e138:  - x152 + x160 >= -0.29424122;

e139:  - x153 + x161 >= -0.29424122;

e140:  - x154 + x162 >= -0.29424122;

e141:  - x151 + x163 >= -0.29760193;

e142:  - x152 + x164 >= -0.29760193;

e143:  - x153 + x165 >= -0.29760193;

e144:  - x154 + x166 >= -0.29760193;

e145:  - x151 + x167 >= -0.35149534;

e146:  - x152 + x168 >= -0.35149534;

e147:  - x153 + x169 >= -0.35149534;

e148:  - x154 + x170 >= -0.35149534;

e149:  - x151 + x171 >= -0.30458283;

e150:  - x152 + x172 >= -0.30458283;

e151:  - x153 + x173 >= -0.30458283;

e152:  - x154 + x174 >= -0.30458283;

e153:  - x151 + x175 >= -0.29951066;

e154:  - x152 + x176 >= -0.29951066;

e155:  - x153 + x177 >= -0.29951066;

e156:  - x154 + x178 >= -0.29951066;

e157:  - x151 + x179 >= -0.30694357;

e158:  - x152 + x180 >= -0.30694357;

e159:  - x153 + x181 >= -0.30694357;

e160:  - x154 + x182 >= -0.30694357;

e161:  - x151 + x183 >= -0.33520661;

e162:  - x152 + x184 >= -0.33520661;

e163:  - x153 + x185 >= -0.33520661;

e164:  - x154 + x186 >= -0.33520661;

e165:  - x151 + x187 >= -0.3400071;

e166:  - x152 + x188 >= -0.3400071;

e167:  - x153 + x189 >= -0.3400071;

e168:  - x154 + x190 >= -0.3400071;

e169:  - x151 + x195 >= -0.34225726;

e170:  - x152 + x196 >= -0.34225726;

e171:  - x153 + x197 >= -0.34225726;

e172:  - x154 + x198 >= -0.34225726;

e173:  - x151 + x199 >= -0.32776566;

e174:  - x152 + x200 >= -0.32776566;

e175:  - x153 + x201 >= -0.32776566;

e176:  - x154 + x202 >= -0.32776566;

e177:  - x151 + x203 >= -0.30438256;

e178:  - x152 + x204 >= -0.30438256;

e179:  - x153 + x205 >= -0.30438256;

e180:  - x154 + x206 >= -0.30438256;

e181:  - x151 + x207 >= -0.28538336;

e182:  - x152 + x208 >= -0.28538336;

e183:  - x153 + x209 >= -0.28538336;

e184:  - x154 + x210 >= -0.28538336;

e185:  - x151 + x211 >= -0.27950575;

e186:  - x152 + x212 >= -0.27950575;

e187:  - x153 + x213 >= -0.27950575;

e188:  - x154 + x214 >= -0.27950575;

e189:  - x151 + x215 >= -0.25788969;

e190:  - x152 + x216 >= -0.25788969;

e191:  - x153 + x217 >= -0.25788969;

e192:  - x154 + x218 >= -0.25788969;

e193:    x155 + x223 >= -0.9536939;

e194:    x156 + x224 >= -0.9536939;

e195:    x157 + x225 >= -0.9536939;

e196:    x158 + x226 >= -0.9536939;

e197:    x155 + x227 >= -0.9004898;

e198:    x156 + x228 >= -0.9004898;

e199:    x157 + x229 >= -0.9004898;

e200:    x158 + x230 >= -0.9004898;

e201:    x155 + x231 >= -0.9114032;

e202:    x156 + x232 >= -0.9114032;

e203:    x157 + x233 >= -0.9114032;

e204:    x158 + x234 >= -0.9114032;

e205:    x155 + x235 >= -0.90071532;

e206:    x156 + x236 >= -0.90071532;

e207:    x157 + x237 >= -0.90071532;

e208:    x158 + x238 >= -0.90071532;

e209:    x155 + x239 >= -0.88043054;

e210:    x156 + x240 >= -0.88043054;

e211:    x157 + x241 >= -0.88043054;

e212:    x158 + x242 >= -0.88043054;

e213:    x155 + x243 >= -0.8680249;

e214:    x156 + x244 >= -0.8680249;

e215:    x157 + x245 >= -0.8680249;

e216:    x158 + x246 >= -0.8680249;

e217:    x155 + x247 >= -0.81034814;

e218:    x156 + x248 >= -0.81034814;

e219:    x157 + x249 >= -0.81034814;

e220:    x158 + x250 >= -0.81034814;

e221:    x155 + x251 >= -0.80843127;

e222:    x156 + x252 >= -0.80843127;

e223:    x157 + x253 >= -0.80843127;

e224:    x158 + x254 >= -0.80843127;

e225:    x155 + x255 >= -0.7794471;

e226:    x156 + x256 >= -0.7794471;

e227:    x157 + x257 >= -0.7794471;

e228:    x158 + x258 >= -0.7794471;

e229:    x155 + x259 >= -0.79930922;

e230:    x156 + x260 >= -0.79930922;

e231:    x157 + x261 >= -0.79930922;

e232:    x158 + x262 >= -0.79930922;

e233:    x155 + x263 >= -0.84280733;

e234:    x156 + x264 >= -0.84280733;

e235:    x157 + x265 >= -0.84280733;

e236:    x158 + x266 >= -0.84280733;

e237:    x155 + x267 >= -0.81379236;

e238:    x156 + x268 >= -0.81379236;

e239:    x157 + x269 >= -0.81379236;

e240:    x158 + x270 >= -0.81379236;

e241:    x155 + x271 >= -0.82457178;

e242:    x156 + x272 >= -0.82457178;

e243:    x157 + x273 >= -0.82457178;

e244:    x158 + x274 >= -0.82457178;

e245:    x155 + x275 >= -0.80226439;

e246:    x156 + x276 >= -0.80226439;

e247:    x157 + x277 >= -0.80226439;

e248:    x158 + x278 >= -0.80226439;

e249:  - x155 + x219 >= 0.98493628;

e250:  - x156 + x220 >= 0.98493628;

e251:  - x157 + x221 >= 0.98493628;

e252:  - x158 + x222 >= 0.98493628;

e253:  - x155 + x223 >= 0.9536939;

e254:  - x156 + x224 >= 0.9536939;

e255:  - x157 + x225 >= 0.9536939;

e256:  - x158 + x226 >= 0.9536939;

e257:  - x155 + x227 >= 0.9004898;

e258:  - x156 + x228 >= 0.9004898;

e259:  - x157 + x229 >= 0.9004898;

e260:  - x158 + x230 >= 0.9004898;

e261:  - x155 + x231 >= 0.9114032;

e262:  - x156 + x232 >= 0.9114032;

e263:  - x157 + x233 >= 0.9114032;

e264:  - x158 + x234 >= 0.9114032;

e265:  - x155 + x235 >= 0.90071532;

e266:  - x156 + x236 >= 0.90071532;

e267:  - x157 + x237 >= 0.90071532;

e268:  - x158 + x238 >= 0.90071532;

e269:  - x155 + x239 >= 0.88043054;

e270:  - x156 + x240 >= 0.88043054;

e271:  - x157 + x241 >= 0.88043054;

e272:  - x158 + x242 >= 0.88043054;

e273:  - x155 + x243 >= 0.8680249;

e274:  - x156 + x244 >= 0.8680249;

e275:  - x157 + x245 >= 0.8680249;

e276:  - x158 + x246 >= 0.8680249;

e277:  - x155 + x247 >= 0.81034814;

e278:  - x156 + x248 >= 0.81034814;

e279:  - x157 + x249 >= 0.81034814;

e280:  - x158 + x250 >= 0.81034814;

e281:  - x155 + x251 >= 0.80843127;

e282:  - x156 + x252 >= 0.80843127;

e283:  - x157 + x253 >= 0.80843127;

e284:  - x158 + x254 >= 0.80843127;

e285:  - x155 + x259 >= 0.79930922;

e286:  - x156 + x260 >= 0.79930922;

e287:  - x157 + x261 >= 0.79930922;

e288:  - x158 + x262 >= 0.79930922;

e289:  - x155 + x263 >= 0.84280733;

e290:  - x156 + x264 >= 0.84280733;

e291:  - x157 + x265 >= 0.84280733;

e292:  - x158 + x266 >= 0.84280733;

e293:  - x155 + x267 >= 0.81379236;

e294:  - x156 + x268 >= 0.81379236;

e295:  - x157 + x269 >= 0.81379236;

e296:  - x158 + x270 >= 0.81379236;

e297:  - x155 + x271 >= 0.82457178;

e298:  - x156 + x272 >= 0.82457178;

e299:  - x157 + x273 >= 0.82457178;

e300:  - x158 + x274 >= 0.82457178;

e301:  - x155 + x275 >= 0.80226439;

e302:  - x156 + x276 >= 0.80226439;

e303:  - x157 + x277 >= 0.80226439;

e304:  - x158 + x278 >= 0.80226439;

e305:    x1 - x159 - x219 = 0;

e306:    x2 - x160 - x220 = 0;

e307:    x3 - x161 - x221 = 0;

e308:    x4 - x162 - x222 = 0;

e309:    x5 - x163 - x223 = 0;

e310:    x6 - x164 - x224 = 0;

e311:    x7 - x165 - x225 = 0;

e312:    x8 - x166 - x226 = 0;

e313:    x9 - x167 - x227 = 0;

e314:    x10 - x168 - x228 = 0;

e315:    x11 - x169 - x229 = 0;

e316:    x12 - x170 - x230 = 0;

e317:    x13 - x171 - x231 = 0;

e318:    x14 - x172 - x232 = 0;

e319:    x15 - x173 - x233 = 0;

e320:    x16 - x174 - x234 = 0;

e321:    x17 - x175 - x235 = 0;

e322:    x18 - x176 - x236 = 0;

e323:    x19 - x177 - x237 = 0;

e324:    x20 - x178 - x238 = 0;

e325:    x21 - x179 - x239 = 0;

e326:    x22 - x180 - x240 = 0;

e327:    x23 - x181 - x241 = 0;

e328:    x24 - x182 - x242 = 0;

e329:    x25 - x183 - x243 = 0;

e330:    x26 - x184 - x244 = 0;

e331:    x27 - x185 - x245 = 0;

e332:    x28 - x186 - x246 = 0;

e333:    x29 - x187 - x247 = 0;

e334:    x30 - x188 - x248 = 0;

e335:    x31 - x189 - x249 = 0;

e336:    x32 - x190 - x250 = 0;

e337:    x33 - x191 - x251 = 0;

e338:    x34 - x192 - x252 = 0;

e339:    x35 - x193 - x253 = 0;

e340:    x36 - x194 - x254 = 0;

e341:    x37 - x195 - x255 = 0;

e342:    x38 - x196 - x256 = 0;

e343:    x39 - x197 - x257 = 0;

e344:    x40 - x198 - x258 = 0;

e345:    x41 - x199 - x259 = 0;

e346:    x42 - x200 - x260 = 0;

e347:    x43 - x201 - x261 = 0;

e348:    x44 - x202 - x262 = 0;

e349:    x45 - x203 - x263 = 0;

e350:    x46 - x204 - x264 = 0;

e351:    x47 - x205 - x265 = 0;

e352:    x48 - x206 - x266 = 0;

e353:    x49 - x207 - x267 = 0;

e354:    x50 - x208 - x268 = 0;

e355:    x51 - x209 - x269 = 0;

e356:    x52 - x210 - x270 = 0;

e357:    x53 - x211 - x271 = 0;

e358:    x54 - x212 - x272 = 0;

e359:    x55 - x213 - x273 = 0;

e360:    x56 - x214 - x274 = 0;

e361:    x57 - x215 - x275 = 0;

e362:    x58 - x216 - x276 = 0;

e363:    x59 - x217 - x277 = 0;

e364:    x60 - x218 - x278 = 0;

e365:    b346 + b347 >= 1;

e366:    b344 + b349 >= 1;

e367:    b343 + b347 >= 1;

e368:    b343 + b346 + b348 >= 1;

e369:    b343 + b345 + b349 >= 1;

e370:    b343 + b344 >= 1;

e371:    b342 + b349 >= 1;

e372:    b342 + b346 >= 1;

e373:    b341 + b348 >= 1;

e374:    b341 + b346 + b349 >= 1;

e375:    b341 + b345 >= 1;

e376:    b341 + b343 + b349 >= 1;

e377:    b341 + b343 + b346 >= 1;

e378:    b341 + b342 >= 1;

e379:    b340 + b348 >= 1;

e380:    b340 + b346 + b349 >= 1;

e381:    b340 + b345 >= 1;

e382:    b340 + b343 >= 1;

e383:    b340 + b341 >= 1;

e384:    b339 + b348 >= 1;

e385:    b339 + b346 + b349 >= 1;

e386:    b339 + b345 >= 1;

e387:    b339 + b343 + b349 >= 1;

e388:    b339 + b343 + b346 >= 1;

e389:    b339 + b342 >= 1;

e390:    b339 + b341 >= 1;

e391:    b339 + b340 >= 1;

e392:    b349 + b354 >= 1;

e393:    b349 + b353 + b355 >= 1;

e394:    b349 + b352 + b356 >= 1;

e395:    b349 + b351 >= 1;

e396:    b349 + b350 + b356 >= 1;

e397:    b349 + b350 + b353 >= 1;

e398:    b348 + b355 >= 1;

e399:    b348 + b353 + b356 >= 1;

e400:    b348 + b352 >= 1;

e401:    b348 + b350 >= 1;

e402:    b347 + b356 >= 1;

e403:    b347 + b353 >= 1;

e404:    b347 + b350 >= 1;

e405:    b346 + b354 >= 1;

e406:    b346 + b353 + b355 >= 1;

e407:    b346 + b352 + b356 >= 1;

e408:    b346 + b351 >= 1;

e409:    b346 + b350 + b356 >= 1;

e410:    b346 + b350 + b353 >= 1;

e411:    b346 + b349 + b355 >= 1;

e412:    b346 + b349 + b353 + b356 >= 1;

e413:    b346 + b349 + b352 >= 1;

e414:    b346 + b349 + b350 >= 1;

e415:    b346 + b348 + b356 >= 1;

e416:    b346 + b348 + b353 >= 1;

e417:    b346 + b348 + b350 >= 1;

e418:    b345 + b355 >= 1;

e419:    b345 + b353 + b356 >= 1;

e420:    b345 + b352 >= 1;

e421:    b345 + b350 >= 1;

e422:    b345 + b349 + b356 >= 1;

e423:    b345 + b349 + b353 >= 1;

e424:    b345 + b349 + b350 >= 1;

e425:    b345 + b348 + b356 >= 1;

e426:    b345 + b348 + b353 >= 1;

e427:    b345 + b348 + b350 >= 1;

e428:    b344 + b356 >= 1;

e429:    b344 + b353 >= 1;

e430:    b344 + b350 >= 1;

e431:    b343 + b354 >= 1;

e432:    b343 + b353 + b355 >= 1;

e433:    b343 + b352 + b356 >= 1;

e434:    b343 + b351 >= 1;

e435:    b343 + b350 + b356 >= 1;

e436:    b343 + b350 + b353 >= 1;

e437:    b343 + b349 + b355 >= 1;

e438:    b343 + b349 + b353 + b356 >= 1;

e439:    b343 + b349 + b352 >= 1;

e440:    b343 + b349 + b350 >= 1;

e441:    b343 + b348 + b356 >= 1;

e442:    b343 + b348 + b353 >= 1;

e443:    b343 + b348 + b350 >= 1;

e444:    b343 + b346 + b355 >= 1;

e445:    b343 + b346 + b353 + b356 >= 1;

e446:    b343 + b346 + b352 >= 1;

e447:    b343 + b346 + b350 >= 1;

e448:    b343 + b346 + b349 + b356 >= 1;

e449:    b343 + b346 + b349 + b353 >= 1;

e450:    b343 + b346 + b349 + b350 >= 1;

e451:    b343 + b345 + b356 >= 1;

e452:    b343 + b345 + b353 >= 1;

e453:    b343 + b345 + b350 >= 1;

e454:    b342 + b356 >= 1;

e455:    b342 + b353 >= 1;

e456:    b342 + b350 >= 1;

e457:    b341 + b355 >= 1;

e458:    b341 + b353 + b356 >= 1;

e459:    b341 + b352 >= 1;

e460:    b341 + b350 >= 1;

e461:    b341 + b349 + b356 >= 1;

e462:    b341 + b349 + b353 >= 1;

e463:    b341 + b349 + b350 >= 1;

e464:    b341 + b346 + b356 >= 1;

e465:    b341 + b346 + b353 >= 1;

e466:    b341 + b346 + b350 >= 1;

e467:    b341 + b343 + b356 >= 1;

e468:    b341 + b343 + b353 >= 1;

e469:    b341 + b343 + b350 >= 1;

e470:    b340 + b355 >= 1;

e471:    b340 + b353 + b356 >= 1;

e472:    b340 + b352 >= 1;

e473:    b340 + b350 >= 1;

e474:    b340 + b349 + b356 >= 1;

e475:    b340 + b349 + b353 >= 1;

e476:    b340 + b349 + b350 >= 1;

e477:    b340 + b346 + b356 >= 1;

e478:    b340 + b346 + b353 >= 1;

e479:    b340 + b346 + b350 >= 1;

e480:    b339 + b355 >= 1;

e481:    b339 + b353 + b356 >= 1;

e482:    b339 + b352 >= 1;

e483:    b339 + b350 >= 1;

e484:    b339 + b349 + b356 >= 1;

e485:    b339 + b349 + b353 >= 1;

e486:    b339 + b349 + b350 >= 1;

e487:    b339 + b346 + b356 >= 1;

e488:    b339 + b346 + b353 >= 1;

e489:    b339 + b346 + b350 >= 1;

e490:    b339 + b343 + b356 >= 1;

e491:    b339 + b343 + b353 >= 1;

e492:    b339 + b343 + b350 >= 1;

e493:    x61 - 2.02*b339 >= 0;

e494:    x62 - 4.01333333333333*b340 >= 0;

e495:    x63 - 4.76*b341 >= 0;

e496:    x64 - 5.68*b342 >= 0;

e497:    x64 - 5.96*b343 >= 0;

e498:    x65 - 38.2666666666667*b344 >= 0;

e499:    x65 - 40.18*b345 >= 0;

e500:    x65 - 42.0933333333333*b346 >= 0;

e501:    x66 - 90.2533333333333*b347 >= 0;

e502:    x66 - 94.7666666666667*b348 >= 0;

e503:    x66 - 99.28*b349 >= 0;

e504:    x67 - 6.59333333333333*b350 >= 0;

e505:    x68 - 56.24*b351 >= 0;

e506:    x68 - 59.0533333333333*b352 >= 0;

e507:    x68 - 61.8666666666667*b353 >= 0;

e508:    x69 - 51.1733333333333*b354 >= 0;

e509:    x69 - 53.7333333333333*b355 >= 0;

e510:    x69 - 56.2866666666667*b356 >= 0;

e511:    x70 - 35.84*b357 >= 0;

e512:    x70 - 37.7266666666667*b358 >= 0;

e513:    x70 - 39.6133333333333*b359 >= 0;

e514:    x70 - 41.5*b360 >= 0;

e515:    x71 - 56.8066666666667*b361 >= 0;

e516:    x71 - 59.6466666666667*b362 >= 0;

e517:    x71 - 62.4933333333333*b363 >= 0;

e518:    x72 - 80.9066666666667*b364 >= 0;

e519:    x73 - 26.1466666666667*b365 >= 0;

e520:    x74 - 38*b366 >= 0;

e521:    x75 - 59.2733333333333*b367 >= 0;

e522:    x75 - 62.24*b368 >= 0;

e523:  - x136 + x279 <= 0;

e524:  - x136 + x280 <= 0;

e525:  - x136 + x281 <= 0;

e526:  - x136 + x282 <= 0;

e527:  - x137 + x283 <= 0;

e528:  - x137 + x284 <= 0;

e529:  - x137 + x285 <= 0;

e530:  - x137 + x286 <= 0;

e531:  - x138 + x287 <= 0;

e532:  - x138 + x288 <= 0;

e533:  - x138 + x289 <= 0;

e534:  - x138 + x290 <= 0;

e535:  - x139 + x291 <= 0;

e536:  - x139 + x292 <= 0;

e537:  - x139 + x293 <= 0;

e538:  - x139 + x294 <= 0;

e539:  - x140 + x295 <= 0;

e540:  - x140 + x296 <= 0;

e541:  - x140 + x297 <= 0;

e542:  - x140 + x298 <= 0;

e543:  - x141 + x299 <= 0;

e544:  - x141 + x300 <= 0;

e545:  - x141 + x301 <= 0;

e546:  - x141 + x302 <= 0;

e547:  - x142 + x303 <= 0;

e548:  - x142 + x304 <= 0;

e549:  - x142 + x305 <= 0;

e550:  - x142 + x306 <= 0;

e551:  - x143 + x307 <= 0;

e552:  - x143 + x308 <= 0;

e553:  - x143 + x309 <= 0;

e554:  - x143 + x310 <= 0;

e555:  - x144 + x311 <= 0;

e556:  - x144 + x312 <= 0;

e557:  - x144 + x313 <= 0;

e558:  - x144 + x314 <= 0;

e559:  - x145 + x315 <= 0;

e560:  - x145 + x316 <= 0;

e561:  - x145 + x317 <= 0;

e562:  - x145 + x318 <= 0;

e563:  - x146 + x319 <= 0;

e564:  - x146 + x320 <= 0;

e565:  - x146 + x321 <= 0;

e566:  - x146 + x322 <= 0;

e567:  - x147 + x323 <= 0;

e568:  - x147 + x324 <= 0;

e569:  - x147 + x325 <= 0;

e570:  - x147 + x326 <= 0;

e571:  - x148 + x327 <= 0;

e572:  - x148 + x328 <= 0;

e573:  - x148 + x329 <= 0;

e574:  - x148 + x330 <= 0;

e575:  - x149 + x331 <= 0;

e576:  - x149 + x332 <= 0;

e577:  - x149 + x333 <= 0;

e578:  - x149 + x334 <= 0;

e579:  - x150 + x335 <= 0;

e580:  - x150 + x336 <= 0;

e581:  - x150 + x337 <= 0;

e582:  - x150 + x338 <= 0;

e583:    b342 - b343 >= 0;

e584:    b344 - b345 >= 0;

e585:    b345 - b346 >= 0;

e586:    b347 - b348 >= 0;

e587:    b348 - b349 >= 0;

e588:    b351 - b352 >= 0;

e589:    b352 - b353 >= 0;

e590:    b354 - b355 >= 0;

e591:    b355 - b356 >= 0;

e592:    b357 - b358 >= 0;

e593:    b358 - b359 >= 0;

e594:    b359 - b360 >= 0;

e595:    b361 - b362 >= 0;

e596:    b362 - b363 >= 0;

e597:    b367 - b368 >= 0;

e598:    x155 - x156 >= 0;

e599:    x156 - x157 >= 0;

e600:    x157 - x158 >= 0;