#  MINLP written by GAMS Convert at 01/12/18 13:34:22
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        769       61      337      371        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        735      383      352        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       5492     3422     2070        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 >= 0, <= 20;
var x2 >= 0, <= 20;
var x3 >= 0, <= 20;
var x4 >= 0, <= 20;
var x5 >= 0, <= 20;
var x6 >= 0, <= 20;
var x7 >= 0, <= 20;
var x8 >= 0, <= 20;
var x9 >= 0, <= 20;
var x10 >= 0, <= 20;
var x11 >= 0, <= 20;
var x12 >= 0, <= 20;
var x13 >= 0, <= 20;
var x14 >= 0, <= 20;
var x15 >= 0, <= 20;
var x16 >= 0, <= 50;
var x17 >= 0, <= 50;
var x18 >= 0, <= 50;
var x19 >= 0, <= 50;
var x20 >= 0, <= 50;
var x21 >= 0, <= 50;
var x22 >= 0, <= 50;
var x23 >= 0, <= 50;
var x24 >= 0, <= 50;
var x25 >= 0, <= 50;
var x26 >= 0, <= 50;
var x27 >= 0, <= 50;
var x28 >= 0, <= 50;
var x29 >= 0, <= 50;
var x30 >= 0, <= 50;
var x31 >= 0, <= 47.5;
var x32 >= 0, <= 47.5;
var x33 >= 0, <= 47.5;
var x34 >= 0, <= 47.5;
var x35 >= 0, <= 47.5;
var x36 >= 0, <= 47.5;
var x37 >= 0, <= 47.5;
var x38 >= 0, <= 47.5;
var x39 >= 0, <= 47.5;
var x40 >= 0, <= 47.5;
var x41 >= 0, <= 47.5;
var x42 >= 0, <= 47.5;
var x43 >= 0, <= 47.5;
var x44 >= 0, <= 47.5;
var x45 >= 0, <= 47.5;
var x46 >= 0, <= 28;
var x47 >= 0, <= 28;
var x48 >= 0, <= 28;
var x49 >= 0, <= 28;
var x50 >= 0, <= 28;
var x51 >= 0, <= 28;
var x52 >= 0, <= 28;
var x53 >= 0, <= 28;
var x54 >= 0, <= 28;
var x55 >= 0, <= 28;
var x56 >= 0, <= 28;
var x57 >= 0, <= 28;
var x58 >= 0, <= 28;
var x59 >= 0, <= 28;
var x60 >= 0, <= 28;
var x61 >= 0, <= 100;
var x62 >= 0, <= 100;
var x63 >= 0, <= 100;
var x64 >= 0, <= 100;
var x65 >= 0, <= 100;
var x66 >= 0, <= 100;
var x67 >= 0, <= 100;
var x68 >= 0, <= 100;
var x69 >= 0, <= 100;
var x70 >= 0, <= 100;
var x71 >= 0, <= 100;
var x72 >= 0, <= 100;
var x73 >= 0, <= 100;
var x74 >= 0, <= 100;
var x75 >= 0, <= 100;
var x76 >= 0, <= 30;
var x77 >= 0, <= 30;
var x78 >= 0, <= 30;
var x79 >= 0, <= 30;
var x80 >= 0, <= 30;
var x81 >= 0, <= 30;
var x82 >= 0, <= 30;
var x83 >= 0, <= 30;
var x84 >= 0, <= 30;
var x85 >= 0, <= 30;
var x86 >= 0, <= 30;
var x87 >= 0, <= 30;
var x88 >= 0, <= 30;
var x89 >= 0, <= 30;
var x90 >= 0, <= 30;
var x91 >= 0, <= 25;
var x92 >= 0, <= 25;
var x93 >= 0, <= 25;
var x94 >= 0, <= 25;
var x95 >= 0, <= 25;
var x96 >= 0, <= 25;
var x97 >= 0, <= 25;
var x98 >= 0, <= 25;
var x99 >= 0, <= 25;
var x100 >= 0, <= 25;
var x101 >= 0, <= 25;
var x102 >= 0, <= 25;
var x103 >= 0, <= 25;
var x104 >= 0, <= 25;
var x105 >= 0, <= 25;
var x106 >= 0, <= 300.5;
var x107 >= 0, <= 300.5;
var x108 >= 0, <= 300.5;
var x109 >= 0, <= 300.5;
var x110 >= 0, <= 300.5;
var x111 >= 0, <= 300.5;
var x112 >= 0, <= 300.5;
var x113 >= 0, <= 300.5;
var x114 >= 0, <= 300.5;
var x115 >= 0, <= 300.5;
var x116 >= 0, <= 300.5;
var x117 >= 0, <= 300.5;
var x118 >= 0, <= 300.5;
var x119 >= 0, <= 300.5;
var x120 >= 0, <= 300.5;
var x121 >= 0, <= 300.5;
var x122 >= 0, <= 300.5;
var x123 >= 0, <= 300.5;
var x124 >= 0, <= 300.5;
var x125 >= 0, <= 300.5;
var x126 >= 0, <= 300.5;
var x127 >= 0, <= 300.5;
var x128 >= 0, <= 300.5;
var x129 >= 0, <= 300.5;
var x130 >= 0, <= 300.5;
var x131 >= 0, <= 300.5;
var x132 >= 0, <= 300.5;
var x133 >= 0, <= 300.5;
var x134 >= 0, <= 300.5;
var x135 >= 0, <= 300.5;
var x136 >= 0, <= 300.5;
var x137 >= 0, <= 300.5;
var x138 >= 0, <= 300.5;
var x139 >= 0, <= 300.5;
var x140 >= 0, <= 300.5;
var x141 >= 0, <= 300.5;
var x142 >= 0, <= 300.5;
var x143 >= 0, <= 300.5;
var x144 >= 0, <= 300.5;
var x145 >= 0, <= 300.5;
var x146 >= 0, <= 300.5;
var x147 >= 0, <= 300.5;
var x148 >= 0, <= 300.5;
var x149 >= 0, <= 300.5;
var x150 >= 0, <= 300.5;
var x151 >= 0, <= 300.5;
var x152 >= 0, <= 300.5;
var x153 >= 0, <= 300.5;
var x154 >= 0, <= 300.5;
var x155 >= 0, <= 300.5;
var x156 >= 0, <= 300.5;
var x157 >= 0, <= 300.5;
var x158 >= 0, <= 300.5;
var x159 >= 0, <= 300.5;
var x160 >= 0, <= 300.5;
var x161 >= 0, <= 300.5;
var x162 >= 0, <= 300.5;
var x163 >= 0, <= 300.5;
var x164 >= 0, <= 300.5;
var x165 >= 0, <= 300.5;
var x166 >= 0, <= 300.5;
var x167 >= 0, <= 300.5;
var x168 >= 0, <= 300.5;
var x169 >= 0, <= 300.5;
var x170 >= 0, <= 300.5;
var x171 >= 0, <= 300.5;
var x172 >= 0, <= 300.5;
var x173 >= 0, <= 300.5;
var x174 >= 0, <= 300.5;
var x175 >= 0, <= 300.5;
var x176 >= 0, <= 300.5;
var x177 >= 0, <= 300.5;
var x178 >= 0, <= 300.5;
var x179 >= 0, <= 300.5;
var x180 >= 0, <= 300.5;
var x181 >= 0, <= 300.5;
var x182 >= 0, <= 300.5;
var x183 >= 0, <= 300.5;
var x184 >= 0, <= 300.5;
var x185 >= 0, <= 300.5;
var x186 >= 0, <= 300.5;
var x187 >= 0, <= 300.5;
var x188 >= 0, <= 300.5;
var x189 >= 0, <= 300.5;
var x190 >= 0, <= 300.5;
var x191 >= 0, <= 300.5;
var x192 >= 0, <= 300.5;
var x193 >= 0, <= 300.5;
var x194 >= 0, <= 300.5;
var x195 >= 0, <= 300.5;
var x196 >= 0, <= 300.5;
var x197 >= 0, <= 300.5;
var x198 >= 0, <= 300.5;
var x199 >= 0, <= 300.5;
var x200 >= 0, <= 300.5;
var x201 >= 0, <= 300.5;
var x202 >= 0, <= 300.5;
var x203 >= 0, <= 300.5;
var x204 >= 0, <= 300.5;
var x205 >= 0, <= 300.5;
var x206 >= 0, <= 300.5;
var x207 >= 0, <= 300.5;
var x208 >= 0, <= 300.5;
var x209 >= 0, <= 300.5;
var x210 >= 0, <= 300.5;
var x211 >= 0, <= 300.5;
var x212 >= 0, <= 300.5;
var x213 >= 0, <= 300.5;
var x214 >= 0, <= 300.5;
var x215 >= 0, <= 300.5;
var x216 >= 0, <= 300.5;
var x217 >= 0, <= 300.5;
var x218 >= 0, <= 300.5;
var x219 >= 0, <= 300.5;
var x220 >= 0, <= 300.5;
var x221 >= 0, <= 300.5;
var x222 >= 0, <= 300.5;
var x223 >= 0, <= 300.5;
var x224 >= 0, <= 300.5;
var x225 >= 0, <= 300.5;
var x226 >= 0, <= 300.5;
var x227 >= 0, <= 300.5;
var x228 >= 0, <= 300.5;
var x229 >= 0, <= 300.5;
var x230 >= 0, <= 300.5;
var x231 >= 0, <= 300.5;
var x232 >= 0, <= 300.5;
var x233 >= 0, <= 300.5;
var x234 >= 0, <= 300.5;
var x235 >= 0, <= 300.5;
var x236 >= 0, <= 300.5;
var x237 >= 0, <= 300.5;
var x238 >= 0, <= 300.5;
var x239 >= 0, <= 300.5;
var x240 >= 0, <= 300.5;
var x241 >= 0, <= 300.5;
var x242 >= 0, <= 300.5;
var x243 >= 0, <= 300.5;
var x244 >= 0, <= 300.5;
var x245 >= 0, <= 300.5;
var x246 >= 0, <= 300.5;
var x247 >= 0, <= 300.5;
var x248 >= 0, <= 300.5;
var x249 >= 0, <= 300.5;
var x250 >= 0, <= 300.5;
var x251 >= 0, <= 300.5;
var x252 >= 0, <= 300.5;
var x253 >= 0, <= 300.5;
var x254 >= 0, <= 300.5;
var x255 >= 0, <= 300.5;
var x256 >= 0, <= 300.5;
var x257 >= 0, <= 300.5;
var x258 >= 0, <= 300.5;
var x259 >= 0, <= 300.5;
var x260 >= 0, <= 300.5;
var x261 >= 0, <= 300.5;
var x262 >= 0, <= 300.5;
var x263 >= 0, <= 300.5;
var x264 >= 0, <= 300.5;
var x265 >= 0, <= 300.5;
var x266 >= 0, <= 300.5;
var x267 >= 0, <= 300.5;
var x268 >= 0, <= 300.5;
var x269 >= 0, <= 300.5;
var x270 >= 0, <= 300.5;
var x271 >= 0, <= 300.5;
var x272 >= 0, <= 300.5;
var x273 >= 0, <= 300.5;
var x274 >= 0, <= 300.5;
var x275 >= 0, <= 300.5;
var x276 >= 0, <= 300.5;
var x277 >= 0, <= 300.5;
var x278 >= 0, <= 300.5;
var x279 >= 0, <= 300.5;
var x280 >= 0, <= 300.5;
var x281 >= 0, <= 300.5;
var x282 >= 0, <= 300.5;
var x283 >= 0, <= 300.5;
var x284 >= 0, <= 300.5;
var x285 >= 0, <= 300.5;
var x286 >= 0, <= 300.5;
var x287 >= 0, <= 300.5;
var x288 >= 0, <= 300.5;
var x289 >= 0, <= 300.5;
var x290 >= 0, <= 300.5;
var x291 >= 0, <= 300.5;
var x292 >= 0, <= 300.5;
var x293 >= 0, <= 300.5;
var x294 >= 0, <= 300.5;
var x295 >= 0, <= 300.5;
var x296 >= 0, <= 300.5;
var x297 >= 0, <= 300.5;
var x298 >= 0, <= 300.5;
var x299 >= 0, <= 300.5;
var x300 >= 0, <= 300.5;
var x301 >= 0, <= 300.5;
var x302 >= 0, <= 300.5;
var x303 >= 0, <= 300.5;
var x304 >= 0, <= 300.5;
var x305 >= 0, <= 300.5;
var x306 >= 0, <= 300.5;
var x307 >= 0, <= 300.5;
var x308 >= 0, <= 300.5;
var x309 >= 0, <= 300.5;
var x310 >= 0, <= 300.5;
var x311 >= 0, <= 300.5;
var x312 >= 0, <= 300.5;
var x313 >= 0, <= 300.5;
var x314 >= 0, <= 300.5;
var x315 >= 0, <= 300.5;
var x316 >= 0, <= 300.5;
var x317 >= 0, <= 300.5;
var x318 >= 0, <= 300.5;
var x319 >= 0, <= 300.5;
var x320 >= 0, <= 300.5;
var x321 >= 0, <= 300.5;
var x322 >= 0, <= 300.5;
var x323 >= 0, <= 300.5;
var x324 >= 0, <= 300.5;
var x325 >= 0, <= 300.5;
var x326 >= 0, <= 300.5;
var x327 >= 0, <= 300.5;
var x328 >= 0, <= 300.5;
var x329 >= 0, <= 300.5;
var x330 >= 0, <= 300.5;
var x331 >= 0, <= 20;
var x332 >= 0, <= 50;
var x333 >= 0, <= 47.5;
var x334 >= 0, <= 28;
var x335 >= 0, <= 100;
var x336 >= 0, <= 30;
var x337 >= 0, <= 25;
var x338 >= 0, <= 120;
var x339 >= 0, <= 87.5000000000001;
var x340 >= 0, <= 2000;
var x341 >= 0, <= 150;
var x342 >= 0, <= 875;
var x343 >= 0, <= 1000;
var x344 >= 0, <= 12;
var x345 >= 0, <= 175;
var x346 >= 0, <= 100;
var x347 >= 0, <= 1200;
var x348 >= 0, <= 437.5;
var x349 >= 0, <= 500;
var x350 >= 0, <= 120;
var x351 >= 0, <= 175;
var x352 >= 0, <= 1600;
var x353 >= 0, <= 1200;
var x354 >= 0, <= 1750;
var x355 >= 0, <= 100;
var x356 >= 0, <= 1200;
var x357 >= 0, <= 227.5;
var x358 >= 0, <= 200;
var x359 >= 0, <= 6.00000000000001;
var x360 >= 0, <= 1750;
var x361 >= 0, <= 2000;
var x362 >= 0, <= 1080;
var x363 >= 0, <= 17.5;
var x364 >= 0, <= 2000;
var x365 >= 0, <= 360;
var x366 >= 0, <= 1400;
var x367 >= 0, <= 1400;
var x368 >= 0, <= 12;
var x369 >= 0, <= 175;
var x370 >= 0, <= 100;
var x371 >= 0, <= 1200;
var x372 >= 0, <= 227.5;
var x373 >= 0, <= 200;
var x374 >= 0, <= 1080;
var x375 >= 0, <= 17.5;
var x376 >= 0, <= 2000;
var x377 >= 0, <= 360;
var x378 >= 0, <= 1400;
var x379 >= 0, <= 1400;
var x380 >= 0, <= 120;
var x381 >= 0, <= 87.5000000000001;
var x382 >= 0, <= 2000;
var b383 binary >= 0, <= 1;
var b384 binary >= 0, <= 1;
var b385 binary >= 0, <= 1;
var b386 binary >= 0, <= 1;
var b387 binary >= 0, <= 1;
var b388 binary >= 0, <= 1;
var b389 binary >= 0, <= 1;
var b390 binary >= 0, <= 1;
var b391 binary >= 0, <= 1;
var b392 binary >= 0, <= 1;
var b393 binary >= 0, <= 1;
var b394 binary >= 0, <= 1;
var b395 binary >= 0, <= 1;
var b396 binary >= 0, <= 1;
var b397 binary >= 0, <= 1;
var b398 binary >= 0, <= 1;
var b399 binary >= 0, <= 1;
var b400 binary >= 0, <= 1;
var b401 binary >= 0, <= 1;
var b402 binary >= 0, <= 1;
var b403 binary >= 0, <= 1;
var b404 binary >= 0, <= 1;
var b405 binary >= 0, <= 1;
var b406 binary >= 0, <= 1;
var b407 binary >= 0, <= 1;
var b408 binary >= 0, <= 1;
var b409 binary >= 0, <= 1;
var b410 binary >= 0, <= 1;
var b411 binary >= 0, <= 1;
var b412 binary >= 0, <= 1;
var b413 binary >= 0, <= 1;
var b414 binary >= 0, <= 1;
var b415 binary >= 0, <= 1;
var b416 binary >= 0, <= 1;
var b417 binary >= 0, <= 1;
var b418 binary >= 0, <= 1;
var b419 binary >= 0, <= 1;
var b420 binary >= 0, <= 1;
var b421 binary >= 0, <= 1;
var b422 binary >= 0, <= 1;
var b423 binary >= 0, <= 1;
var b424 binary >= 0, <= 1;
var b425 binary >= 0, <= 1;
var b426 binary >= 0, <= 1;
var b427 binary >= 0, <= 1;
var b428 binary >= 0, <= 1;
var b429 binary >= 0, <= 1;
var b430 binary >= 0, <= 1;
var b431 binary >= 0, <= 1;
var b432 binary >= 0, <= 1;
var b433 binary >= 0, <= 1;
var b434 binary >= 0, <= 1;
var b435 binary >= 0, <= 1;
var b436 binary >= 0, <= 1;
var b437 binary >= 0, <= 1;
var b438 binary >= 0, <= 1;
var b439 binary >= 0, <= 1;
var b440 binary >= 0, <= 1;
var b441 binary >= 0, <= 1;
var b442 binary >= 0, <= 1;
var b443 binary >= 0, <= 1;
var b444 binary >= 0, <= 1;
var b445 binary >= 0, <= 1;
var b446 binary >= 0, <= 1;
var b447 binary >= 0, <= 1;
var b448 binary >= 0, <= 1;
var b449 binary >= 0, <= 1;
var b450 binary >= 0, <= 1;
var b451 binary >= 0, <= 1;
var b452 binary >= 0, <= 1;
var b453 binary >= 0, <= 1;
var b454 binary >= 0, <= 1;
var b455 binary >= 0, <= 1;
var b456 binary >= 0, <= 1;
var b457 binary >= 0, <= 1;
var b458 binary >= 0, <= 1;
var b459 binary >= 0, <= 1;
var b460 binary >= 0, <= 1;
var b461 binary >= 0, <= 1;
var b462 binary >= 0, <= 1;
var b463 binary >= 0, <= 1;
var b464 binary >= 0, <= 1;
var b465 binary >= 0, <= 1;
var b466 binary >= 0, <= 1;
var b467 binary >= 0, <= 1;
var b468 binary >= 0, <= 1;
var b469 binary >= 0, <= 1;
var b470 binary >= 0, <= 1;
var b471 binary >= 0, <= 1;
var b472 binary >= 0, <= 1;
var b473 binary >= 0, <= 1;
var b474 binary >= 0, <= 1;
var b475 binary >= 0, <= 1;
var b476 binary >= 0, <= 1;
var b477 binary >= 0, <= 1;
var b478 binary >= 0, <= 1;
var b479 binary >= 0, <= 1;
var b480 binary >= 0, <= 1;
var b481 binary >= 0, <= 1;
var b482 binary >= 0, <= 1;
var b483 binary >= 0, <= 1;
var b484 binary >= 0, <= 1;
var b485 binary >= 0, <= 1;
var b486 binary >= 0, <= 1;
var b487 binary >= 0, <= 1;
var b488 binary >= 0, <= 1;
var b489 binary >= 0, <= 1;
var b490 binary >= 0, <= 1;
var b491 binary >= 0, <= 1;
var b492 binary >= 0, <= 1;
var b493 binary >= 0, <= 1;
var b494 binary >= 0, <= 1;
var b495 binary >= 0, <= 1;
var b496 binary >= 0, <= 1;
var b497 binary >= 0, <= 1;
var b498 binary >= 0, <= 1;
var b499 binary >= 0, <= 1;
var b500 binary >= 0, <= 1;
var b501 binary >= 0, <= 1;
var b502 binary >= 0, <= 1;
var b503 binary >= 0, <= 1;
var b504 binary >= 0, <= 1;
var b505 binary >= 0, <= 1;
var b506 binary >= 0, <= 1;
var b507 binary >= 0, <= 1;
var b508 binary >= 0, <= 1;
var b509 binary >= 0, <= 1;
var b510 binary >= 0, <= 1;
var b511 binary >= 0, <= 1;
var b512 binary >= 0, <= 1;
var b513 binary >= 0, <= 1;
var b514 binary >= 0, <= 1;
var b515 binary >= 0, <= 1;
var b516 binary >= 0, <= 1;
var b517 binary >= 0, <= 1;
var b518 binary >= 0, <= 1;
var b519 binary >= 0, <= 1;
var b520 binary >= 0, <= 1;
var b521 binary >= 0, <= 1;
var b522 binary >= 0, <= 1;
var b523 binary >= 0, <= 1;
var b524 binary >= 0, <= 1;
var b525 binary >= 0, <= 1;
var b526 binary >= 0, <= 1;
var b527 binary >= 0, <= 1;
var b528 binary >= 0, <= 1;
var b529 binary >= 0, <= 1;
var b530 binary >= 0, <= 1;
var b531 binary >= 0, <= 1;
var b532 binary >= 0, <= 1;
var b533 binary >= 0, <= 1;
var b534 binary >= 0, <= 1;
var b535 binary >= 0, <= 1;
var b536 binary >= 0, <= 1;
var b537 binary >= 0, <= 1;
var b538 binary >= 0, <= 1;
var b539 binary >= 0, <= 1;
var b540 binary >= 0, <= 1;
var b541 binary >= 0, <= 1;
var b542 binary >= 0, <= 1;
var b543 binary >= 0, <= 1;
var b544 binary >= 0, <= 1;
var b545 binary >= 0, <= 1;
var b546 binary >= 0, <= 1;
var b547 binary >= 0, <= 1;
var b548 binary >= 0, <= 1;
var b549 binary >= 0, <= 1;
var b550 binary >= 0, <= 1;
var b551 binary >= 0, <= 1;
var b552 binary >= 0, <= 1;
var b553 binary >= 0, <= 1;
var b554 binary >= 0, <= 1;
var b555 binary >= 0, <= 1;
var b556 binary >= 0, <= 1;
var b557 binary >= 0, <= 1;
var b558 binary >= 0, <= 1;
var b559 binary >= 0, <= 1;
var b560 binary >= 0, <= 1;
var b561 binary >= 0, <= 1;
var b562 binary >= 0, <= 1;
var b563 binary >= 0, <= 1;
var b564 binary >= 0, <= 1;
var b565 binary >= 0, <= 1;
var b566 binary >= 0, <= 1;
var b567 binary >= 0, <= 1;
var b568 binary >= 0, <= 1;
var b569 binary >= 0, <= 1;
var b570 binary >= 0, <= 1;
var b571 binary >= 0, <= 1;
var b572 binary >= 0, <= 1;
var b573 binary >= 0, <= 1;
var b574 binary >= 0, <= 1;
var b575 binary >= 0, <= 1;
var b576 binary >= 0, <= 1;
var b577 binary >= 0, <= 1;
var b578 binary >= 0, <= 1;
var b579 binary >= 0, <= 1;
var b580 binary >= 0, <= 1;
var b581 binary >= 0, <= 1;
var b582 binary >= 0, <= 1;
var b583 binary >= 0, <= 1;
var b584 binary >= 0, <= 1;
var b585 binary >= 0, <= 1;
var b586 binary >= 0, <= 1;
var b587 binary >= 0, <= 1;
var b588 binary >= 0, <= 1;
var b589 binary >= 0, <= 1;
var b590 binary >= 0, <= 1;
var b591 binary >= 0, <= 1;
var b592 binary >= 0, <= 1;
var b593 binary >= 0, <= 1;
var b594 binary >= 0, <= 1;
var b595 binary >= 0, <= 1;
var b596 binary >= 0, <= 1;
var b597 binary >= 0, <= 1;
var b598 binary >= 0, <= 1;
var b599 binary >= 0, <= 1;
var b600 binary >= 0, <= 1;
var b601 binary >= 0, <= 1;
var b602 binary >= 0, <= 1;
var b603 binary >= 0, <= 1;
var b604 binary >= 0, <= 1;
var b605 binary >= 0, <= 1;
var b606 binary >= 0, <= 1;
var b607 binary >= 0, <= 1;
var b608 binary >= 0, <= 1;
var b609 binary >= 0, <= 1;
var b610 binary >= 0, <= 1;
var b611 binary >= 0, <= 1;
var b612 binary >= 0, <= 1;
var b613 binary >= 0, <= 1;
var b614 binary >= 0, <= 1;
var b615 binary >= 0, <= 1;
var b616 binary >= 0, <= 1;
var b617 binary >= 0, <= 1;
var b618 binary >= 0, <= 1;
var b619 binary >= 0, <= 1;
var b620 binary >= 0, <= 1;
var b621 binary >= 0, <= 1;
var b622 binary >= 0, <= 1;
var b623 binary >= 0, <= 1;
var b624 binary >= 0, <= 1;
var b625 binary >= 0, <= 1;
var b626 binary >= 0, <= 1;
var b627 binary >= 0, <= 1;
var b628 binary >= 0, <= 1;
var b629 binary >= 0, <= 1;
var b630 binary >= 0, <= 1;
var b631 binary >= 0, <= 1;
var b632 binary >= 0, <= 1;
var b633 binary >= 0, <= 1;
var b634 binary >= 0, <= 1;
var b635 binary >= 0, <= 1;
var b636 binary >= 0, <= 1;
var b637 binary >= 0, <= 1;
var b638 binary >= 0, <= 1;
var b639 binary >= 0, <= 1;
var b640 binary >= 0, <= 1;
var b641 binary >= 0, <= 1;
var b642 binary >= 0, <= 1;
var b643 binary >= 0, <= 1;
var b644 binary >= 0, <= 1;
var b645 binary >= 0, <= 1;
var b646 binary >= 0, <= 1;
var b647 binary >= 0, <= 1;
var b648 binary >= 0, <= 1;
var b649 binary >= 0, <= 1;
var b650 binary >= 0, <= 1;
var b651 binary >= 0, <= 1;
var b652 binary >= 0, <= 1;
var b653 binary >= 0, <= 1;
var b654 binary >= 0, <= 1;
var b655 binary >= 0, <= 1;
var b656 binary >= 0, <= 1;
var b657 binary >= 0, <= 1;
var b658 binary >= 0, <= 1;
var b659 binary >= 0, <= 1;
var b660 binary >= 0, <= 1;
var b661 binary >= 0, <= 1;
var b662 binary >= 0, <= 1;
var b663 binary >= 0, <= 1;
var b664 binary >= 0, <= 1;
var b665 binary >= 0, <= 1;
var b666 binary >= 0, <= 1;
var b667 binary >= 0, <= 1;
var b668 binary >= 0, <= 1;
var b669 binary >= 0, <= 1;
var b670 binary >= 0, <= 1;
var b671 binary >= 0, <= 1;
var b672 binary >= 0, <= 1;
var b673 binary >= 0, <= 1;
var b674 binary >= 0, <= 1;
var b675 binary >= 0, <= 1;
var b676 binary >= 0, <= 1;
var b677 binary >= 0, <= 1;
var b678 binary >= 0, <= 1;
var b679 binary >= 0, <= 1;
var b680 binary >= 0, <= 1;
var b681 binary >= 0, <= 1;
var b682 binary >= 0, <= 1;
var b683 binary >= 0, <= 1;
var b684 binary >= 0, <= 1;
var b685 binary >= 0, <= 1;
var b686 binary >= 0, <= 1;
var b687 binary >= 0, <= 1;
var b688 binary >= 0, <= 1;
var b689 binary >= 0, <= 1;
var b690 binary >= 0, <= 1;
var b691 binary >= 0, <= 1;
var b692 binary >= 0, <= 1;
var b693 binary >= 0, <= 1;
var b694 binary >= 0, <= 1;
var b695 binary >= 0, <= 1;
var b696 binary >= 0, <= 1;
var b697 binary >= 0, <= 1;
var b698 binary >= 0, <= 1;
var b699 binary >= 0, <= 1;
var b700 binary >= 0, <= 1;
var b701 binary >= 0, <= 1;
var b702 binary >= 0, <= 1;
var b703 binary >= 0, <= 1;
var b704 binary >= 0, <= 1;
var b705 binary >= 0, <= 1;
var b706 binary >= 0, <= 1;
var b707 binary >= 0, <= 1;
var b708 binary >= 0, <= 1;
var b709 binary >= 0, <= 1;
var b710 binary >= 0, <= 1;
var b711 binary >= 0, <= 1;
var b712 binary >= 0, <= 1;
var b713 binary >= 0, <= 1;
var b714 binary >= 0, <= 1;
var b715 binary >= 0, <= 1;
var b716 binary >= 0, <= 1;
var b717 binary >= 0, <= 1;
var b718 binary >= 0, <= 1;
var b719 binary >= 0, <= 1;
var b720 binary >= 0, <= 1;
var b721 binary >= 0, <= 1;
var b722 binary >= 0, <= 1;
var b723 binary >= 0, <= 1;
var b724 binary >= 0, <= 1;
var b725 binary >= 0, <= 1;
var b726 binary >= 0, <= 1;
var b727 binary >= 0, <= 1;
var b728 binary >= 0, <= 1;
var b729 binary >= 0, <= 1;
var b730 binary >= 0, <= 1;
var b731 binary >= 0, <= 1;
var b732 binary >= 0, <= 1;
var b733 binary >= 0, <= 1;
var b734 binary >= 0, <= 1;

minimize obj:    40.0377777777778*x1 + 65.0613888888889*x2
     + 75.0708333333333*x3 + 100.094444444444*x4 + 120.113333333333*x5
     + 110.103888888889*x6 + 150.141666666667*x7 + 210.198333333333*x8
     + 280.264444444444*x9 + 245.231388888889*x10 + 75.0708333333333*x11
     + 150.141666666667*x12 + 280.264444444444*x13 + 245.231388888889*x14
     + 40.0377777777778*x15 + 15.0141666666667*x16 + 40.0377777777778*x17
     + 55.0519444444444*x18 + 75.0708333333333*x19 + 90.085*x20 + 90.085*x21
     + 125.118055555556*x22 + 180.17*x23 + 260.245555555556*x24
     + 215.203055555556*x25 + 55.0519444444444*x26 + 125.118055555556*x27
     + 260.245555555556*x28 + 215.203055555556*x29 + 15.0141666666667*x30
     + 40.0377777777778*x31 + 35.0330555555556*x32 + 30.0283333333333*x33
     + 65.0613888888889*x34 + 100.094444444444*x35 + 85.0802777777778*x36
     + 115.108611111111*x37 + 170.160555555556*x38 + 240.226666666667*x39
     + 220.207777777778*x40 + 30.0283333333333*x41 + 115.108611111111*x42
     + 240.226666666667*x43 + 220.207777777778*x44 + 40.0377777777778*x45
     + 85.0802777777778*x46 + 80.0755555555556*x47 + 55.0519444444444*x48
     + 100.094444444444*x49 + 140.132222222222*x50 + 120.113333333333*x51
     + 140.132222222222*x52 + 180.17*x53 + 245.231388888889*x54
     + 245.231388888889*x55 + 55.0519444444444*x56 + 140.132222222222*x57
     + 245.231388888889*x58 + 245.231388888889*x59 + 85.0802777777778*x60
     + 95.0897222222222*x61 + 70.0661111111111*x62 + 55.0519444444444*x63
     + 45.0425*x64 + 75.0708333333333*x65 + 45.0425*x66 + 40.0377777777778*x67
     + 75.0708333333333*x68 + 150.141666666667*x69 + 150.141666666667*x70
     + 55.0519444444444*x71 + 40.0377777777778*x72 + 150.141666666667*x73
     + 150.141666666667*x74 + 95.0897222222222*x75 + 80.0755555555556*x76
     + 70.0661111111111*x77 + 40.0377777777778*x78 + 90.085*x79
     + 125.118055555556*x80 + 100.094444444444*x81 + 120.113333333333*x82
     + 150.141666666667*x83 + 230.217222222222*x84 + 230.217222222222*x85
     + 40.0377777777778*x86 + 120.113333333333*x87 + 230.217222222222*x88
     + 230.217222222222*x89 + 80.0755555555556*x90 + 70.0661111111111*x91
     + 45.0425*x92 + 30.0283333333333*x93 + 40.0377777777778*x94
     + 75.0708333333333*x95 + 50.0472222222222*x96 + 60.0566666666667*x97
     + 100.094444444444*x98 + 175.165277777778*x99 + 165.155833333333*x100
     + 30.0283333333333*x101 + 60.0566666666667*x102 + 175.165277777778*x103
     + 165.155833333333*x104 + 70.0661111111111*x105 + 3980.41333333333*x106
     + 2990.28972222222*x107 + 1177.97083333333*x108 + 3945.38027777778*x109
     + 3980.41333333333*x110 + 3950.385*x111 + 2975.27555555556*x112
     + 2990.28972222222*x113 + 1263.05111111111*x114 + 1293.07944444444*x115
     + 2280.87083333333*x116 + 3264.77555555556*x117 + 1373.35111111111*x118
     + 1403.37944444444*x119 + 2822.31333333333*x120 + 3880.31888888889*x121
     + 3900.33777777778*x122 + 3910.34722222222*x123 + 3930.36611111111*x124
     + 3930.36611111111*x125 + 3960.39444444444*x126 + 4020.45111111111*x127
     + 4090.51722222222*x128 + 4050.47944444444*x129 + 3900.33777777778*x130
     + 3960.39444444444*x131 + 4090.51722222222*x132 + 4050.47944444444*x133
     + 3865.30472222222*x134 + 2915.21888888889*x135 + 2925.22833333333*x136
     + 2925.22833333333*x137 + 2955.25666666667*x138 + 2945.24722222222*x139
     + 2975.27555555556*x140 + 3035.33222222222*x141 + 3110.40305555556*x142
     + 3075.37*x143 + 2925.22833333333*x144 + 2975.27555555556*x145
     + 3110.40305555556*x146 + 3075.37*x147 + 2915.21888888889*x148
     + 1142.93777777778*x149 + 1132.92833333333*x150 + 1142.93777777778*x151
     + 1182.97555555556*x152 + 1162.95666666667*x153 + 1182.97555555556*x154
     + 1243.03222222222*x155 + 1313.09833333333*x156 + 1293.07944444444*x157
     + 1107.90472222222*x158 + 1182.97555555556*x159 + 1313.09833333333*x160
     + 1293.07944444444*x161 + 1142.93777777778*x162 + 3910.34722222222*x163
     + 3890.32833333333*x164 + 3900.33777777778*x165 + 3900.33777777778*x166
     + 3875.31416666667*x167 + 3910.34722222222*x168 + 3970.40388888889*x169
     + 4040.47*x170 + 4010.44166666667*x171 + 3900.33777777778*x172
     + 3910.34722222222*x173 + 4040.47*x174 + 4010.44166666667*x175
     + 3910.34722222222*x176 + 3930.36611111111*x177 + 3920.35666666667*x178
     + 3940.37555555556*x179 + 3900.33777777778*x180 + 3885.32361111111*x181
     + 3910.34722222222*x182 + 3970.40388888889*x183 + 4040.47*x184
     + 3980.41333333333*x185 + 3940.37555555556*x186 + 3910.34722222222*x187
     + 4040.47*x188 + 3980.41333333333*x189 + 3930.36611111111*x190
     + 3930.36611111111*x191 + 3910.34722222222*x192 + 3920.35666666667*x193
     + 3875.31416666667*x194 + 3885.32361111111*x195 + 3890.32833333333*x196
     + 3960.39444444444*x197 + 4030.46055555556*x198 + 3990.42277777778*x199
     + 3920.35666666667*x200 + 3890.32833333333*x201 + 4030.46055555556*x202
     + 3990.42277777778*x203 + 3930.36611111111*x204 + 2995.29444444444*x205
     + 2975.27555555556*x206 + 2975.27555555556*x207 + 2945.24722222222*x208
     + 2945.24722222222*x209 + 2925.22833333333*x210 + 2955.25666666667*x211
     + 3025.32277777778*x212 + 2995.29444444444*x213 + 2975.27555555556*x214
     + 2900.20472222222*x215 + 3025.32277777778*x216 + 2995.29444444444*x217
     + 2995.29444444444*x218 + 3055.35111111111*x219 + 3035.33222222222*x220
     + 3035.33222222222*x221 + 3005.30388888889*x222 + 3005.30388888889*x223
     + 2995.29444444444*x224 + 2955.25666666667*x225 + 2965.26611111111*x226
     + 2995.29444444444*x227 + 3035.33222222222*x228 + 2955.25666666667*x229
     + 2965.26611111111*x230 + 2995.29444444444*x231 + 3055.35111111111*x232
     + 1333.11722222222*x233 + 1318.10305555556*x234 + 1313.09833333333*x235
     + 1283.07*x236 + 1283.07*x237 + 1273.06055555556*x238
     + 1233.02277777778*x239 + 1172.96611111111*x240 + 1213.00388888889*x241
     + 1313.09833333333*x242 + 1233.02277777778*x243 + 1107.90472222222*x244
     + 1213.00388888889*x245 + 1333.11722222222*x246 + 1293.07944444444*x247
     + 1283.07*x248 + 1293.07944444444*x249 + 1253.04166666667*x250
     + 1223.01333333333*x251 + 1233.02277777778*x252 + 1202.99444444444*x253
     + 1202.99444444444*x254 + 1213.00388888889*x255 + 1293.07944444444*x256
     + 1202.99444444444*x257 + 1213.00388888889*x258 + 1107.90472222222*x259
     + 1293.07944444444*x260 + 2245.83777777778*x261 + 2235.82833333333*x262
     + 2210.80472222222*x263 + 2245.83777777778*x264 + 2285.87555555556*x265
     + 2265.85666666667*x266 + 2285.87555555556*x267 + 2345.93222222222*x268
     + 2415.99833333333*x269 + 2395.97944444444*x270 + 2285.87555555556*x271
     + 2415.99833333333*x272 + 2395.97944444444*x273 + 2245.83777777778*x274
     + 3284.79444444444*x275 + 3264.77555555556*x276 + 3264.77555555556*x277
     + 3234.74722222222*x278 + 3234.74722222222*x279 + 3214.72833333333*x280
     + 3189.70472222222*x281 + 3244.75666666667*x282 + 3314.82277777778*x283
     + 3284.79444444444*x284 + 3264.77555555556*x285 + 3314.82277777778*x286
     + 3284.79444444444*x287 + 3284.79444444444*x288 + 1443.41722222222*x289
     + 1428.40305555556*x290 + 1423.39833333333*x291 + 1393.37*x292
     + 1393.37*x293 + 1383.36055555556*x294 + 1343.32277777778*x295
     + 1283.26611111111*x296 + 1218.20472222222*x297 + 1323.30388888889*x298
     + 1423.39833333333*x299 + 1343.32277777778*x300 + 1323.30388888889*x301
     + 1443.41722222222*x302 + 1403.37944444444*x303 + 1393.37*x304
     + 1403.37944444444*x305 + 1363.34166666667*x306 + 1333.31333333333*x307
     + 1343.32277777778*x308 + 1313.29444444444*x309 + 1313.29444444444*x310
     + 1323.30388888889*x311 + 1218.20472222222*x312 + 1403.37944444444*x313
     + 1313.29444444444*x314 + 1323.30388888889*x315 + 1403.37944444444*x316
     + 2707.20472222222*x317 + 2722.21888888889*x318 + 2742.23777777778*x319
     + 2752.24722222222*x320 + 2772.26611111111*x321 + 2772.26611111111*x322
     + 2802.29444444444*x323 + 2862.35111111111*x324 + 2932.41722222222*x325
     + 2892.37944444444*x326 + 2742.23777777778*x327 + 2802.29444444444*x328
     + 2932.41722222222*x329 + 2892.37944444444*x330 + 150.141666666667*x331
     + 135.1275*x332 + 100.094444444444*x333 + 90.085*x334
     + 40.0377777777778*x335 + 70.0661111111111*x336 + 45.0425*x337 + 4984*b383
     + 8099*b384 + 9345*b385 + 12460*b386 + 14952*b387 + 13706*b388
     + 18690*b389 + 26166*b390 + 34888*b391 + 30527*b392 + 9345*b393
     + 18690*b394 + 34888*b395 + 30527*b396 + 4984*b397 + 1869*b398 + 4984*b399
     + 6853*b400 + 9345*b401 + 11214*b402 + 11214*b403 + 15575*b404
     + 22428*b405 + 32396*b406 + 26789*b407 + 6853*b408 + 15575*b409
     + 32396*b410 + 26789*b411 + 1869*b412 + 4984*b413 + 4361*b414 + 3738*b415
     + 8099*b416 + 12460*b417 + 10591*b418 + 14329*b419 + 21182*b420
     + 29904*b421 + 27412*b422 + 3738*b423 + 14329*b424 + 29904*b425
     + 27412*b426 + 4984*b427 + 10591*b428 + 9968*b429 + 6853*b430 + 12460*b431
     + 17444*b432 + 14952*b433 + 17444*b434 + 22428*b435 + 30527*b436
     + 30527*b437 + 6853*b438 + 17444*b439 + 30527*b440 + 30527*b441
     + 10591*b442 + 11837*b443 + 8722*b444 + 6853*b445 + 5607*b446 + 9345*b447
     + 5607*b448 + 4984*b449 + 9345*b450 + 18690*b451 + 18690*b452 + 6853*b453
     + 4984*b454 + 18690*b455 + 18690*b456 + 11837*b457 + 9968*b458 + 8722*b459
     + 4984*b460 + 11214*b461 + 15575*b462 + 12460*b463 + 14952*b464
     + 18690*b465 + 28658*b466 + 28658*b467 + 4984*b468 + 14952*b469
     + 28658*b470 + 28658*b471 + 9968*b472 + 8722*b473 + 5607*b474 + 3738*b475
     + 4984*b476 + 9345*b477 + 6230*b478 + 7476*b479 + 12460*b480 + 21805*b481
     + 20559*b482 + 3738*b483 + 7476*b484 + 21805*b485 + 20559*b486 + 8722*b487
     + 14952*b488 + 11837*b489 + 9345*b490 + 10591*b491 + 14952*b492
     + 11214*b493 + 9968*b494 + 11837*b495 + 19936*b496 + 23674*b497
     + 9345*b498 + 9968*b499 + 19936*b500 + 23674*b501 + 14952*b502 + 2492*b503
     + 4984*b504 + 6230*b505 + 8722*b506 + 8722*b507 + 12460*b508 + 19936*b509
     + 28658*b510 + 23674*b511 + 4984*b512 + 12460*b513 + 28658*b514
     + 23674*b515 + 623*b516 + 2492*b517 + 3738*b518 + 3738*b519 + 7476*b520
     + 6230*b521 + 9968*b522 + 17444*b523 + 26789*b524 + 22428*b525 + 3738*b526
     + 9968*b527 + 26789*b528 + 22428*b529 + 2492*b530 + 4984*b531 + 3738*b532
     + 4984*b533 + 9968*b534 + 7476*b535 + 9968*b536 + 17444*b537 + 26166*b538
     + 23674*b539 + 623*b540 + 9968*b541 + 26166*b542 + 23674*b543 + 4984*b544
     + 6230*b545 + 3738*b546 + 4984*b547 + 4984*b548 + 1869*b549 + 6230*b550
     + 13706*b551 + 22428*b552 + 18690*b553 + 4984*b554 + 6230*b555
     + 22428*b556 + 18690*b557 + 6230*b558 + 8722*b559 + 7476*b560 + 9968*b561
     + 4984*b562 + 3115*b563 + 6230*b564 + 13706*b565 + 22428*b566 + 14952*b567
     + 9968*b568 + 6230*b569 + 22428*b570 + 14952*b571 + 8722*b572 + 8722*b573
     + 6230*b574 + 7476*b575 + 1869*b576 + 3115*b577 + 3738*b578 + 12460*b579
     + 21182*b580 + 16198*b581 + 7476*b582 + 3738*b583 + 21182*b584
     + 16198*b585 + 8722*b586 + 12460*b587 + 9968*b588 + 9968*b589 + 6230*b590
     + 6230*b591 + 3738*b592 + 7476*b593 + 16198*b594 + 12460*b595 + 9968*b596
     + 623*b597 + 16198*b598 + 12460*b599 + 12460*b600 + 19936*b601
     + 17444*b602 + 17444*b603 + 13706*b604 + 13706*b605 + 12460*b606
     + 7476*b607 + 8722*b608 + 12460*b609 + 17444*b610 + 7476*b611 + 8722*b612
     + 12460*b613 + 19936*b614 + 28658*b615 + 26789*b616 + 26166*b617
     + 22428*b618 + 22428*b619 + 21182*b620 + 16198*b621 + 8722*b622
     + 13706*b623 + 26166*b624 + 16198*b625 + 623*b626 + 13706*b627
     + 28658*b628 + 23674*b629 + 22428*b630 + 23674*b631 + 18690*b632
     + 14952*b633 + 16198*b634 + 12460*b635 + 12460*b636 + 13706*b637
     + 23674*b638 + 12460*b639 + 13706*b640 + 623*b641 + 23674*b642 + 4984*b643
     + 3738*b644 + 623*b645 + 4984*b646 + 9968*b647 + 7476*b648 + 9968*b649
     + 17444*b650 + 26166*b651 + 23674*b652 + 9968*b653 + 26166*b654
     + 23674*b655 + 4984*b656 + 12460*b657 + 9968*b658 + 9968*b659 + 6230*b660
     + 6230*b661 + 3738*b662 + 623*b663 + 7476*b664 + 16198*b665 + 12460*b666
     + 9968*b667 + 16198*b668 + 12460*b669 + 12460*b670 + 28658*b671
     + 26789*b672 + 26166*b673 + 22428*b674 + 22428*b675 + 21182*b676
     + 16198*b677 + 8722*b678 + 623*b679 + 13706*b680 + 26166*b681 + 16198*b682
     + 13706*b683 + 28658*b684 + 23674*b685 + 22428*b686 + 23674*b687
     + 18690*b688 + 14952*b689 + 16198*b690 + 12460*b691 + 12460*b692
     + 13706*b693 + 623*b694 + 23674*b695 + 12460*b696 + 13706*b697
     + 23674*b698 + 623*b699 + 2492*b700 + 4984*b701 + 6230*b702 + 8722*b703
     + 8722*b704 + 12460*b705 + 19936*b706 + 28658*b707 + 23674*b708
     + 4984*b709 + 12460*b710 + 28658*b711 + 23674*b712 + 18690*b713
     + 16821*b714 + 12460*b715 + 11214*b716 + 4984*b717 + 8722*b718 + 5607*b719
     + 48901*b720 + 36676*b721 + 13972*b722 + 48901*b723 + 48901*b724
     + 48901*b725 + 36676*b726 + 36676*b727 + 13972*b728 + 13972*b729
     + 27944*b730 + 40344*b731 + 15369*b732 + 15369*b733 + 34231*b734;

subject to

e2:  - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13 - x14
     - x15 - x331 <= -20;

e3:  - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - x25 - x26 - x27
     - x28 - x29 - x30 - x332 <= -50;

e4:  - x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x41 - x42
     - x43 - x44 - x45 - x333 <= -47.5;

e5:  - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57
     - x58 - x59 - x60 - x334 <= -28;

e6:  - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72
     - x73 - x74 - x75 - x335 <= -100;

e7:  - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84 - x85 - x86 - x87
     - x88 - x89 - x90 - x336 <= -30;

e8:  - x91 - x92 - x93 - x94 - x95 - x96 - x97 - x98 - x99 - x100 - x101 - x102
     - x103 - x104 - x105 - x337 <= -25;

e9:    x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14
     + x15 + x331 <= 20;

e10:    x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27
      + x28 + x29 + x30 + x332 <= 50;

e11:    x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42
      + x43 + x44 + x45 + x333 <= 47.5;

e12:    x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57
      + x58 + x59 + x60 + x334 <= 28;

e13:    x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72
      + x73 + x74 + x75 + x335 <= 100;

e14:    x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87
      + x88 + x89 + x90 + x336 <= 30;

e15:    x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101
      + x102 + x103 + x104 + x105 + x337 <= 25;

e16:    x106 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129
      + x130 + x131 + x132 + x133 + x134 - 300.5*b720 <= 0;

e17:    x107 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143
      + x144 + x145 + x146 + x147 + x148 - 300.5*b721 <= 0;

e18:    x108 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157
      + x158 + x159 + x160 + x161 + x162 - 300.5*b722 <= 0;

e19:    x109 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171
      + x172 + x173 + x174 + x175 + x176 - 300.5*b723 <= 0;

e20:    x110 + x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185
      + x186 + x187 + x188 + x189 + x190 - 300.5*b724 <= 0;

e21:    x111 + x191 + x192 + x193 + x194 + x195 + x196 + x197 + x198 + x199
      + x200 + x201 + x202 + x203 + x204 - 300.5*b725 <= 0;

e22:    x112 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213
      + x214 + x215 + x216 + x217 + x218 - 300.5*b726 <= 0;

e23:    x113 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227
      + x228 + x229 + x230 + x231 + x232 - 300.5*b727 <= 0;

e24:    x114 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 + x241
      + x242 + x243 + x244 + x245 + x246 - 300.5*b728 <= 0;

e25:    x115 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255
      + x256 + x257 + x258 + x259 + x260 - 300.5*b729 <= 0;

e26:    x116 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269
      + x270 + x271 + x272 + x273 + x274 - 300.5*b730 <= 0;

e27:    x117 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283
      + x284 + x285 + x286 + x287 + x288 - 300.5*b731 <= 0;

e28:    x118 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297
      + x298 + x299 + x300 + x301 + x302 - 300.5*b732 <= 0;

e29:    x119 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311
      + x312 + x313 + x314 + x315 + x316 - 300.5*b733 <= 0;

e30:    x120 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325
      + x326 + x327 + x328 + x329 + x330 - 300.5*b734 <= 0;

e31:  - x106 - x107 - x108 - x109 - x110 - x111 - x112 - x113 - x114 - x115
      - x116 - x117 - x118 - x119 - x120 - x331 - x332 - x333 - x334 - x335
      - x336 - x337 <= -300.5;

e32:    x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115
      + x116 + x117 + x118 + x119 + x120 + x331 + x332 + x333 + x334 + x335
      + x336 + x337 <= 300.5;

e33:    x1 + x16 + x31 + x46 + x61 + x76 + x91 - x106 - x121 - x122 - x123
      - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132 - x133
      - x134 + x135 + x149 + x163 + x177 + x191 + x205 + x219 + x233 + x247
      + x261 + x275 + x289 + x303 + x317 = 0;

e34:    x2 + x17 + x32 + x47 + x62 + x77 + x92 - x107 + x121 - x135 - x136
      - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 - x146
      - x147 - x148 + x150 + x164 + x178 + x192 + x206 + x220 + x234 + x248
      + x262 + x276 + x290 + x304 + x318 = 0;

e35:    x3 + x18 + x33 + x48 + x63 + x78 + x93 - x108 + x122 + x136 - x149
      - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159
      - x160 - x161 - x162 + x165 + x179 + x193 + x207 + x221 + x235 + x249
      + x263 + x277 + x291 + x305 + x319 = 0;

e36:    x4 + x19 + x34 + x49 + x64 + x79 + x94 - x109 + x123 + x137 + x151
      - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 - x172
      - x173 - x174 - x175 - x176 + x180 + x194 + x208 + x222 + x236 + x250
      + x264 + x278 + x292 + x306 + x320 = 0;

e37:    x5 + x20 + x35 + x50 + x65 + x80 + x95 - x110 + x124 + x138 + x152
      + x166 - x177 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185
      - x186 - x187 - x188 - x189 - x190 + x195 + x209 + x223 + x237 + x251
      + x265 + x279 + x293 + x307 + x321 = 0;

e38:    x6 + x21 + x36 + x51 + x66 + x81 + x96 - x111 + x125 + x139 + x153
      + x167 + x181 - x191 - x192 - x193 - x194 - x195 - x196 - x197 - x198
      - x199 - x200 - x201 - x202 - x203 - x204 + x210 + x224 + x238 + x252
      + x266 + x280 + x294 + x308 + x322 = 0;

e39:    x7 + x22 + x37 + x52 + x67 + x82 + x97 - x112 + x126 + x140 + x154
      + x168 + x182 + x196 - x205 - x206 - x207 - x208 - x209 - x210 - x211
      - x212 - x213 - x214 - x215 - x216 - x217 - x218 + x225 + x239 + x253
      + x267 + x281 + x295 + x309 + x323 = 0;

e40:    x8 + x23 + x38 + x53 + x68 + x83 + x98 - x113 + x127 + x141 + x155
      + x169 + x183 + x197 + x211 - x219 - x220 - x221 - x222 - x223 - x224
      - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 + x240 + x254
      + x268 + x282 + x296 + x310 + x324 = 0;

e41:    x9 + x24 + x39 + x54 + x69 + x84 + x99 - x114 + x128 + x142 + x156
      + x170 + x184 + x198 + x212 + x226 - x233 - x234 - x235 - x236 - x237
      - x238 - x239 - x240 - x241 - x242 - x243 - x244 - x245 - x246 + x255
      + x269 + x283 + x297 + x311 + x325 = 0;

e42:    x10 + x25 + x40 + x55 + x70 + x85 + x100 - x115 + x129 + x143 + x157
      + x171 + x185 + x199 + x213 + x227 + x241 - x247 - x248 - x249 - x250
      - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260
      + x270 + x284 + x298 + x312 + x326 = 0;

e43:    x11 + x26 + x41 + x56 + x71 + x86 + x101 - x116 + x130 + x144 + x158
      + x172 + x186 + x200 + x214 + x228 + x242 + x256 - x261 - x262 - x263
      - x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273
      - x274 + x285 + x299 + x313 + x327 = 0;

e44:    x12 + x27 + x42 + x57 + x72 + x87 + x102 - x117 + x131 + x145 + x159
      + x173 + x187 + x201 + x215 + x229 + x243 + x257 + x271 - x275 - x276
      - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286
      - x287 - x288 + x300 + x314 + x328 = 0;

e45:    x13 + x28 + x43 + x58 + x73 + x88 + x103 - x118 + x132 + x146 + x160
      + x174 + x188 + x202 + x216 + x230 + x244 + x258 + x272 + x286 - x289
      - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299
      - x300 - x301 - x302 + x315 + x329 = 0;

e46:    x14 + x29 + x44 + x59 + x74 + x89 + x104 - x119 + x133 + x147 + x161
      + x175 + x189 + x203 + x217 + x231 + x245 + x259 + x273 + x287 + x301
      - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312
      - x313 - x314 - x315 - x316 + x330 = 0;

e47:    x15 + x30 + x45 + x60 + x75 + x90 + x105 - x120 + x134 + x148 + x162
      + x176 + x190 + x204 + x218 + x232 + x246 + x260 + x274 + x288 + x302
      + x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 - x325
      - x326 - x327 - x328 - x329 - x330 = 0;

e48: 0.1*(x341*x135 + x344*x149 + x347*x163 + x350*x177 + x353*x191 + x356*x205
      + x359*x219 + x362*x233 + x365*x247 + x368*x261 + x371*x275 + x374*x289
      + x377*x303 + x380*x317) - (x338*x106 + x338*x121 + x338*x122 + x338*x123
      + x338*x124 + x338*x125 + x338*x126 + x338*x127 + x338*x128 + x338*x129
      + x338*x130 + x338*x131 + x338*x132 + x338*x133 + x338*x134) + 10*x1
      + 80*x16 + 40*x31 + 120*x46 + 50*x61 + 5*x76 + 100*x91 = 0;

e49: 0.05*(x342*x135 + x345*x149 + x348*x163 + x351*x177 + x354*x191 + x357*
     x205 + x360*x219 + x363*x233 + x366*x247 + x369*x261 + x372*x275 + x375*
     x289 + x378*x303 + x381*x317) - (x339*x106 + x339*x121 + x339*x122 + x339*
     x123 + x339*x124 + x339*x125 + x339*x126 + x339*x127 + x339*x128 + x339*
     x129 + x339*x130 + x339*x131 + x339*x132 + x339*x133 + x339*x134) + 25*x1
      + 87.5000000000001*x16 + 4*x31 + 50*x46 + 35*x61 + 5*x76 + 2.5*x91 = 0;

e50: x343*x135 + x346*x149 + x349*x163 + x352*x177 + x355*x191 + x358*x205 + 
     x361*x219 + x364*x233 + x367*x247 + x370*x261 + x373*x275 + x376*x289 + 
     x379*x303 + x382*x317 - (x340*x106 + x340*x121 + x340*x122 + x340*x123 + 
     x340*x124 + x340*x125 + x340*x126 + x340*x127 + x340*x128 + x340*x129 + 
     x340*x130 + x340*x131 + x340*x132 + x340*x133 + x340*x134) + 500*x1
      + 2000*x16 + 100*x31 + 400*x46 + 250*x61 + 50*x76 + 150*x91 = 0;

e51: 0.125*(x338*x121 + x344*x150 + x347*x164 + x350*x178 + x353*x192 + x356*
     x206 + x359*x220 + x362*x234 + x365*x248 + x368*x262 + x371*x276 + x374*
     x290 + x377*x304 + x380*x318) - (x341*x107 + x341*x135 + x341*x136 + x341*
     x137 + x341*x138 + x341*x139 + x341*x140 + x341*x141 + x341*x142 + x341*
     x143 + x341*x144 + x341*x145 + x341*x146 + x341*x147 + x341*x148)
      + 12.5*x2 + 100*x17 + 50*x32 + 150*x47 + 62.5*x62 + 6.25*x77 + 125*x92
      = 0;

e52: 0.5*(x339*x121 + x345*x150 + x348*x164 + x351*x178 + x354*x192 + x357*x206
      + x360*x220 + x363*x234 + x366*x248 + x369*x262 + x372*x276 + x375*x290
      + x378*x304 + x381*x318) - (x342*x107 + x342*x135 + x342*x136 + x342*x137
      + x342*x138 + x342*x139 + x342*x140 + x342*x141 + x342*x142 + x342*x143
      + x342*x144 + x342*x145 + x342*x146 + x342*x147 + x342*x148) + 250*x2
      + 875*x17 + 40*x32 + 500*x47 + 350*x62 + 50*x77 + 25*x92 = 0;

e53: 0.5*(x340*x121 + x346*x150 + x349*x164 + x352*x178 + x355*x192 + x358*x206
      + x361*x220 + x364*x234 + x367*x248 + x370*x262 + x373*x276 + x376*x290
      + x379*x304 + x382*x318) - (x343*x107 + x343*x135 + x343*x136 + x343*x137
      + x343*x138 + x343*x139 + x343*x140 + x343*x141 + x343*x142 + x343*x143
      + x343*x144 + x343*x145 + x343*x146 + x343*x147 + x343*x148) + 250*x2
      + 1000*x17 + 50*x32 + 200*x47 + 125*x62 + 25*x77 + 75*x92 = 0;

e54: 0.01*(x338*x122 + x341*x136 + x347*x165 + x350*x179 + x353*x193 + x356*
     x207 + x359*x221 + x362*x235 + x365*x249 + x368*x263 + x371*x277 + x374*
     x291 + x377*x305 + x380*x319) - (x344*x108 + x344*x149 + x344*x150 + x344*
     x151 + x344*x152 + x344*x153 + x344*x154 + x344*x155 + x344*x156 + x344*
     x157 + x344*x158 + x344*x159 + x344*x160 + x344*x161 + x344*x162) + x3
      + 8.00000000000001*x18 + 4*x33 + 12*x48 + 5*x63 + 0.5*x78 + 10*x93 = 0;

e55: 0.1*(x339*x122 + x342*x136 + x348*x165 + x351*x179 + x354*x193 + x357*x207
      + x360*x221 + x363*x235 + x366*x249 + x369*x263 + x372*x277 + x375*x291
      + x378*x305 + x381*x319) - (x345*x108 + x345*x149 + x345*x150 + x345*x151
      + x345*x152 + x345*x153 + x345*x154 + x345*x155 + x345*x156 + x345*x157
      + x345*x158 + x345*x159 + x345*x160 + x345*x161 + x345*x162) + 50*x3
      + 175*x18 + 8*x33 + 100*x48 + 70*x63 + 10*x78 + 5*x93 = 0;

e56: 0.05*(x340*x122 + x343*x136 + x349*x165 + x352*x179 + x355*x193 + x358*
     x207 + x361*x221 + x364*x235 + x367*x249 + x370*x263 + x373*x277 + x376*
     x291 + x379*x305 + x382*x319) - (x346*x108 + x346*x149 + x346*x150 + x346*
     x151 + x346*x152 + x346*x153 + x346*x154 + x346*x155 + x346*x156 + x346*
     x157 + x346*x158 + x346*x159 + x346*x160 + x346*x161 + x346*x162) + 25*x3
      + 100*x18 + 5*x33 + 20*x48 + 12.5*x63 + 2.5*x78 + 7.50000000000001*x93
      = 0;

e57: x338*x123 + x341*x137 + x344*x151 + x350*x180 + x353*x194 + x356*x208 + 
     x359*x222 + x362*x236 + x365*x250 + x368*x264 + x371*x278 + x374*x292 + 
     x377*x306 + x380*x320 - (x347*x109 + x347*x163 + x347*x164 + x347*x165 + 
     x347*x166 + x347*x167 + x347*x168 + x347*x169 + x347*x170 + x347*x171 + 
     x347*x172 + x347*x173 + x347*x174 + x347*x175 + x347*x176) + 100*x4
      + 800*x19 + 400*x34 + 1200*x49 + 500*x64 + 50*x79 + 1000*x94 = 0;

e58: 0.25*(x339*x123 + x342*x137 + x345*x151 + x351*x180 + x354*x194 + x357*
     x208 + x360*x222 + x363*x236 + x366*x250 + x369*x264 + x372*x278 + x375*
     x292 + x378*x306 + x381*x320) - (x348*x109 + x348*x163 + x348*x164 + x348*
     x165 + x348*x166 + x348*x167 + x348*x168 + x348*x169 + x348*x170 + x348*
     x171 + x348*x172 + x348*x173 + x348*x174 + x348*x175 + x348*x176) + 125*x4
      + 437.5*x19 + 20*x34 + 250*x49 + 175*x64 + 25*x79 + 12.5*x94 = 0;

e59: 0.25*(x340*x123 + x343*x137 + x346*x151 + x352*x180 + x355*x194 + x358*
     x208 + x361*x222 + x364*x236 + x367*x250 + x370*x264 + x373*x278 + x376*
     x292 + x379*x306 + x382*x320) - (x349*x109 + x349*x163 + x349*x164 + x349*
     x165 + x349*x166 + x349*x167 + x349*x168 + x349*x169 + x349*x170 + x349*
     x171 + x349*x172 + x349*x173 + x349*x174 + x349*x175 + x349*x176) + 125*x4
      + 500*x19 + 25*x34 + 100*x49 + 62.5*x64 + 12.5*x79 + 37.5*x94 = 0;

e60: 0.1*(x338*x124 + x341*x138 + x344*x152 + x347*x166 + x353*x195 + x356*x209
      + x359*x223 + x362*x237 + x365*x251 + x368*x265 + x371*x279 + x374*x293
      + x377*x307 + x380*x321) - (x350*x110 + x350*x177 + x350*x178 + x350*x179
      + x350*x180 + x350*x181 + x350*x182 + x350*x183 + x350*x184 + x350*x185
      + x350*x186 + x350*x187 + x350*x188 + x350*x189 + x350*x190) + 10*x5
      + 80*x20 + 40*x35 + 120*x50 + 50*x65 + 5*x80 + 100*x95 = 0;

e61: 0.1*(x339*x124 + x342*x138 + x345*x152 + x348*x166 + x354*x195 + x357*x209
      + x360*x223 + x363*x237 + x366*x251 + x369*x265 + x372*x279 + x375*x293
      + x378*x307 + x381*x321) - (x351*x110 + x351*x177 + x351*x178 + x351*x179
      + x351*x180 + x351*x181 + x351*x182 + x351*x183 + x351*x184 + x351*x185
      + x351*x186 + x351*x187 + x351*x188 + x351*x189 + x351*x190) + 50*x5
      + 175*x20 + 8*x35 + 100*x50 + 70*x65 + 10*x80 + 5*x95 = 0;

e62: 0.8*(x340*x124 + x343*x138 + x346*x152 + x349*x166 + x355*x195 + x358*x209
      + x361*x223 + x364*x237 + x367*x251 + x370*x265 + x373*x279 + x376*x293
      + x379*x307 + x382*x321) - (x352*x110 + x352*x177 + x352*x178 + x352*x179
      + x352*x180 + x352*x181 + x352*x182 + x352*x183 + x352*x184 + x352*x185
      + x352*x186 + x352*x187 + x352*x188 + x352*x189 + x352*x190) + 400*x5
      + 1600*x20 + 80*x35 + 320*x50 + 200*x65 + 40*x80 + 120*x95 = 0;

e63: x338*x125 + x341*x139 + x344*x153 + x347*x167 + x350*x181 + x356*x210 + 
     x359*x224 + x362*x238 + x365*x252 + x368*x266 + x371*x280 + x374*x294 + 
     x377*x308 + x380*x322 - (x353*x111 + x353*x191 + x353*x192 + x353*x193 + 
     x353*x194 + x353*x195 + x353*x196 + x353*x197 + x353*x198 + x353*x199 + 
     x353*x200 + x353*x201 + x353*x202 + x353*x203 + x353*x204) + 100*x6
      + 800*x21 + 400*x36 + 1200*x51 + 500*x66 + 50*x81 + 1000*x96 = 0;

e64: x339*x125 + x342*x139 + x345*x153 + x348*x167 + x351*x181 + x357*x210 + 
     x360*x224 + x363*x238 + x366*x252 + x369*x266 + x372*x280 + x375*x294 + 
     x378*x308 + x381*x322 - (x354*x111 + x354*x191 + x354*x192 + x354*x193 + 
     x354*x194 + x354*x195 + x354*x196 + x354*x197 + x354*x198 + x354*x199 + 
     x354*x200 + x354*x201 + x354*x202 + x354*x203 + x354*x204) + 500*x6
      + 1750*x21 + 80*x36 + 1000*x51 + 700*x66 + 100*x81 + 50*x96 = 0;

e65: 0.05*(x340*x125 + x343*x139 + x346*x153 + x349*x167 + x352*x181 + x358*
     x210 + x361*x224 + x364*x238 + x367*x252 + x370*x266 + x373*x280 + x376*
     x294 + x379*x308 + x382*x322) - (x355*x111 + x355*x191 + x355*x192 + x355*
     x193 + x355*x194 + x355*x195 + x355*x196 + x355*x197 + x355*x198 + x355*
     x199 + x355*x200 + x355*x201 + x355*x202 + x355*x203 + x355*x204) + 25*x6
      + 100*x21 + 5*x36 + 20*x51 + 12.5*x66 + 2.5*x81 + 7.50000000000001*x96
      = 0;

e66: x338*x126 + x341*x140 + x344*x154 + x347*x168 + x350*x182 + x353*x196 + 
     x359*x225 + x362*x239 + x365*x253 + x368*x267 + x371*x281 + x374*x295 + 
     x377*x309 + x380*x323 - (x356*x112 + x356*x205 + x356*x206 + x356*x207 + 
     x356*x208 + x356*x209 + x356*x210 + x356*x211 + x356*x212 + x356*x213 + 
     x356*x214 + x356*x215 + x356*x216 + x356*x217 + x356*x218) + 100*x7
      + 800*x22 + 400*x37 + 1200*x52 + 500*x67 + 50*x82 + 1000*x97 = 0;

e67: 0.13*(x339*x126 + x342*x140 + x345*x154 + x348*x168 + x351*x182 + x354*
     x196 + x360*x225 + x363*x239 + x366*x253 + x369*x267 + x372*x281 + x375*
     x295 + x378*x309 + x381*x323) - (x357*x112 + x357*x205 + x357*x206 + x357*
     x207 + x357*x208 + x357*x209 + x357*x210 + x357*x211 + x357*x212 + x357*
     x213 + x357*x214 + x357*x215 + x357*x216 + x357*x217 + x357*x218) + 65*x7
      + 227.5*x22 + 10.4*x37 + 130*x52 + 91*x67 + 13*x82 + 6.5*x97 = 0;

e68: 0.1*(x340*x126 + x343*x140 + x346*x154 + x349*x168 + x352*x182 + x355*x196
      + x361*x225 + x364*x239 + x367*x253 + x370*x267 + x373*x281 + x376*x295
      + x379*x309 + x382*x323) - (x358*x112 + x358*x205 + x358*x206 + x358*x207
      + x358*x208 + x358*x209 + x358*x210 + x358*x211 + x358*x212 + x358*x213
      + x358*x214 + x358*x215 + x358*x216 + x358*x217 + x358*x218) + 50*x7
      + 200*x22 + 10*x37 + 40*x52 + 25*x67 + 5*x82 + 15*x97 = 0;

e69: 0.005*(x338*x127 + x341*x141 + x344*x155 + x347*x169 + x350*x183 + x353*
     x197 + x356*x211 + x362*x240 + x365*x254 + x368*x268 + x371*x282 + x374*
     x296 + x377*x310 + x380*x324) - (x359*x113 + x359*x219 + x359*x220 + x359*
     x221 + x359*x222 + x359*x223 + x359*x224 + x359*x225 + x359*x226 + x359*
     x227 + x359*x228 + x359*x229 + x359*x230 + x359*x231 + x359*x232) + 0.5*x8
      + 4*x23 + 2*x38 + 6.00000000000001*x53 + 2.5*x68 + 0.25*x83 + 5*x98 = 0;

e70: x339*x127 + x342*x141 + x345*x155 + x348*x169 + x351*x183 + x354*x197 + 
     x357*x211 + x363*x240 + x366*x254 + x369*x268 + x372*x282 + x375*x296 + 
     x378*x310 + x381*x324 - (x360*x113 + x360*x219 + x360*x220 + x360*x221 + 
     x360*x222 + x360*x223 + x360*x224 + x360*x225 + x360*x226 + x360*x227 + 
     x360*x228 + x360*x229 + x360*x230 + x360*x231 + x360*x232) + 500*x8
      + 1750*x23 + 80*x38 + 1000*x53 + 700*x68 + 100*x83 + 50*x98 = 0;

e71: x340*x127 + x343*x141 + x346*x155 + x349*x169 + x352*x183 + x355*x197 + 
     x358*x211 + x364*x240 + x367*x254 + x370*x268 + x373*x282 + x376*x296 + 
     x379*x310 + x382*x324 - (x361*x113 + x361*x219 + x361*x220 + x361*x221 + 
     x361*x222 + x361*x223 + x361*x224 + x361*x225 + x361*x226 + x361*x227 + 
     x361*x228 + x361*x229 + x361*x230 + x361*x231 + x361*x232) + 500*x8
      + 2000*x23 + 100*x38 + 400*x53 + 250*x68 + 50*x83 + 150*x98 = 0;

e72: 0.9*(x338*x128 + x341*x142 + x344*x156 + x347*x170 + x350*x184 + x353*x198
      + x356*x212 + x359*x226 + x365*x255 + x368*x269 + x371*x283 + x374*x297
      + x377*x311 + x380*x325) - (x362*x114 + x362*x233 + x362*x234 + x362*x235
      + x362*x236 + x362*x237 + x362*x238 + x362*x239 + x362*x240 + x362*x241
      + x362*x242 + x362*x243 + x362*x244 + x362*x245 + x362*x246) + 90*x9
      + 720*x24 + 360*x39 + 1080*x54 + 450*x69 + 45*x84 + 900*x99 = 0;

e73: 0.01*(x339*x128 + x342*x142 + x345*x156 + x348*x170 + x351*x184 + x354*
     x198 + x357*x212 + x360*x226 + x366*x255 + x369*x269 + x372*x283 + x375*
     x297 + x378*x311 + x381*x325) - (x363*x114 + x363*x233 + x363*x234 + x363*
     x235 + x363*x236 + x363*x237 + x363*x238 + x363*x239 + x363*x240 + x363*
     x241 + x363*x242 + x363*x243 + x363*x244 + x363*x245 + x363*x246) + 5*x9
      + 17.5*x24 + 0.800000000000001*x39 + 10*x54 + 7.00000000000001*x69 + x84
      + 0.5*x99 = 0;

e74: x340*x128 + x343*x142 + x346*x156 + x349*x170 + x352*x184 + x355*x198 + 
     x358*x212 + x361*x226 + x367*x255 + x370*x269 + x373*x283 + x376*x297 + 
     x379*x311 + x382*x325 - (x364*x114 + x364*x233 + x364*x234 + x364*x235 + 
     x364*x236 + x364*x237 + x364*x238 + x364*x239 + x364*x240 + x364*x241 + 
     x364*x242 + x364*x243 + x364*x244 + x364*x245 + x364*x246) + 500*x9
      + 2000*x24 + 100*x39 + 400*x54 + 250*x69 + 50*x84 + 150*x99 = 0;

e75: 0.3*(x338*x129 + x341*x143 + x344*x157 + x347*x171 + x350*x185 + x353*x199
      + x356*x213 + x359*x227 + x362*x241 + x368*x270 + x371*x284 + x374*x298
      + x377*x312 + x380*x326) - (x365*x115 + x365*x247 + x365*x248 + x365*x249
      + x365*x250 + x365*x251 + x365*x252 + x365*x253 + x365*x254 + x365*x255
      + x365*x256 + x365*x257 + x365*x258 + x365*x259 + x365*x260) + 30*x10
      + 240*x25 + 120*x40 + 360*x55 + 150*x70 + 15*x85 + 300*x100 = 0;

e76: 0.8*(x339*x129 + x342*x143 + x345*x157 + x348*x171 + x351*x185 + x354*x199
      + x357*x213 + x360*x227 + x363*x241 + x369*x270 + x372*x284 + x375*x298
      + x378*x312 + x381*x326) - (x366*x115 + x366*x247 + x366*x248 + x366*x249
      + x366*x250 + x366*x251 + x366*x252 + x366*x253 + x366*x254 + x366*x255
      + x366*x256 + x366*x257 + x366*x258 + x366*x259 + x366*x260) + 400*x10
      + 1400*x25 + 64*x40 + 800*x55 + 560*x70 + 80*x85 + 40*x100 = 0;

e77: 0.7*(x340*x129 + x343*x143 + x346*x157 + x349*x171 + x352*x185 + x355*x199
      + x358*x213 + x361*x227 + x364*x241 + x370*x270 + x373*x284 + x376*x298
      + x379*x312 + x382*x326) - (x367*x115 + x367*x247 + x367*x248 + x367*x249
      + x367*x250 + x367*x251 + x367*x252 + x367*x253 + x367*x254 + x367*x255
      + x367*x256 + x367*x257 + x367*x258 + x367*x259 + x367*x260) + 350*x10
      + 1400*x25 + 70*x40 + 280*x55 + 175*x70 + 35*x85 + 105*x100 = 0;

e78: 0.01*(x338*x130 + x341*x144 + x344*x158 + x347*x172 + x350*x186 + x353*
     x200 + x356*x214 + x359*x228 + x362*x242 + x365*x256 + x371*x285 + x374*
     x299 + x377*x313 + x380*x327) - (x368*x116 + x368*x261 + x368*x262 + x368*
     x263 + x368*x264 + x368*x265 + x368*x266 + x368*x267 + x368*x268 + x368*
     x269 + x368*x270 + x368*x271 + x368*x272 + x368*x273 + x368*x274) + x11
      + 8.00000000000001*x26 + 4*x41 + 12*x56 + 5*x71 + 0.5*x86 + 10*x101 = 0;

e79: 0.1*(x339*x130 + x342*x144 + x345*x158 + x348*x172 + x351*x186 + x354*x200
      + x357*x214 + x360*x228 + x363*x242 + x366*x256 + x372*x285 + x375*x299
      + x378*x313 + x381*x327) - (x369*x116 + x369*x261 + x369*x262 + x369*x263
      + x369*x264 + x369*x265 + x369*x266 + x369*x267 + x369*x268 + x369*x269
      + x369*x270 + x369*x271 + x369*x272 + x369*x273 + x369*x274) + 50*x11
      + 175*x26 + 8*x41 + 100*x56 + 70*x71 + 10*x86 + 5*x101 = 0;

e80: 0.05*(x340*x130 + x343*x144 + x346*x158 + x349*x172 + x352*x186 + x355*
     x200 + x358*x214 + x361*x228 + x364*x242 + x367*x256 + x373*x285 + x376*
     x299 + x379*x313 + x382*x327) - (x370*x116 + x370*x261 + x370*x262 + x370*
     x263 + x370*x264 + x370*x265 + x370*x266 + x370*x267 + x370*x268 + x370*
     x269 + x370*x270 + x370*x271 + x370*x272 + x370*x273 + x370*x274) + 25*x11
      + 100*x26 + 5*x41 + 20*x56 + 12.5*x71 + 2.5*x86 + 7.50000000000001*x101
      = 0;

e81: x338*x131 + x341*x145 + x344*x159 + x347*x173 + x350*x187 + x353*x201 + 
     x356*x215 + x359*x229 + x362*x243 + x365*x257 + x368*x271 + x374*x300 + 
     x377*x314 + x380*x328 - (x371*x117 + x371*x275 + x371*x276 + x371*x277 + 
     x371*x278 + x371*x279 + x371*x280 + x371*x281 + x371*x282 + x371*x283 + 
     x371*x284 + x371*x285 + x371*x286 + x371*x287 + x371*x288) + 100*x12
      + 800*x27 + 400*x42 + 1200*x57 + 500*x72 + 50*x87 + 1000*x102 = 0;

e82: 0.13*(x339*x131 + x342*x145 + x345*x159 + x348*x173 + x351*x187 + x354*
     x201 + x357*x215 + x360*x229 + x363*x243 + x366*x257 + x369*x271 + x375*
     x300 + x378*x314 + x381*x328) - (x372*x117 + x372*x275 + x372*x276 + x372*
     x277 + x372*x278 + x372*x279 + x372*x280 + x372*x281 + x372*x282 + x372*
     x283 + x372*x284 + x372*x285 + x372*x286 + x372*x287 + x372*x288) + 65*x12
      + 227.5*x27 + 10.4*x42 + 130*x57 + 91*x72 + 13*x87 + 6.5*x102 = 0;

e83: 0.1*(x340*x131 + x343*x145 + x346*x159 + x349*x173 + x352*x187 + x355*x201
      + x358*x215 + x361*x229 + x364*x243 + x367*x257 + x370*x271 + x376*x300
      + x379*x314 + x382*x328) - (x373*x117 + x373*x275 + x373*x276 + x373*x277
      + x373*x278 + x373*x279 + x373*x280 + x373*x281 + x373*x282 + x373*x283
      + x373*x284 + x373*x285 + x373*x286 + x373*x287 + x373*x288) + 50*x12
      + 200*x27 + 10*x42 + 40*x57 + 25*x72 + 5*x87 + 15*x102 = 0;

e84: 0.9*(x338*x132 + x341*x146 + x344*x160 + x347*x174 + x350*x188 + x353*x202
      + x356*x216 + x359*x230 + x362*x244 + x365*x258 + x368*x272 + x371*x286
      + x377*x315 + x380*x329) - (x374*x118 + x374*x289 + x374*x290 + x374*x291
      + x374*x292 + x374*x293 + x374*x294 + x374*x295 + x374*x296 + x374*x297
      + x374*x298 + x374*x299 + x374*x300 + x374*x301 + x374*x302) + 90*x13
      + 720*x28 + 360*x43 + 1080*x58 + 450*x73 + 45*x88 + 900*x103 = 0;

e85: 0.01*(x339*x132 + x342*x146 + x345*x160 + x348*x174 + x351*x188 + x354*
     x202 + x357*x216 + x360*x230 + x363*x244 + x366*x258 + x369*x272 + x372*
     x286 + x378*x315 + x381*x329) - (x375*x118 + x375*x289 + x375*x290 + x375*
     x291 + x375*x292 + x375*x293 + x375*x294 + x375*x295 + x375*x296 + x375*
     x297 + x375*x298 + x375*x299 + x375*x300 + x375*x301 + x375*x302) + 5*x13
      + 17.5*x28 + 0.800000000000001*x43 + 10*x58 + 7.00000000000001*x73 + x88
      + 0.5*x103 = 0;

e86: x340*x132 + x343*x146 + x346*x160 + x349*x174 + x352*x188 + x355*x202 + 
     x358*x216 + x361*x230 + x364*x244 + x367*x258 + x370*x272 + x373*x286 + 
     x379*x315 + x382*x329 - (x376*x118 + x376*x289 + x376*x290 + x376*x291 + 
     x376*x292 + x376*x293 + x376*x294 + x376*x295 + x376*x296 + x376*x297 + 
     x376*x298 + x376*x299 + x376*x300 + x376*x301 + x376*x302) + 500*x13
      + 2000*x28 + 100*x43 + 400*x58 + 250*x73 + 50*x88 + 150*x103 = 0;

e87: 0.3*(x338*x133 + x341*x147 + x344*x161 + x347*x175 + x350*x189 + x353*x203
      + x356*x217 + x359*x231 + x362*x245 + x365*x259 + x368*x273 + x371*x287
      + x374*x301 + x380*x330) - (x377*x119 + x377*x303 + x377*x304 + x377*x305
      + x377*x306 + x377*x307 + x377*x308 + x377*x309 + x377*x310 + x377*x311
      + x377*x312 + x377*x313 + x377*x314 + x377*x315 + x377*x316) + 30*x14
      + 240*x29 + 120*x44 + 360*x59 + 150*x74 + 15*x89 + 300*x104 = 0;

e88: 0.8*(x339*x133 + x342*x147 + x345*x161 + x348*x175 + x351*x189 + x354*x203
      + x357*x217 + x360*x231 + x363*x245 + x366*x259 + x369*x273 + x372*x287
      + x375*x301 + x381*x330) - (x378*x119 + x378*x303 + x378*x304 + x378*x305
      + x378*x306 + x378*x307 + x378*x308 + x378*x309 + x378*x310 + x378*x311
      + x378*x312 + x378*x313 + x378*x314 + x378*x315 + x378*x316) + 400*x14
      + 1400*x29 + 64*x44 + 800*x59 + 560*x74 + 80*x89 + 40*x104 = 0;

e89: 0.7*(x340*x133 + x343*x147 + x346*x161 + x349*x175 + x352*x189 + x355*x203
      + x358*x217 + x361*x231 + x364*x245 + x367*x259 + x370*x273 + x373*x287
      + x376*x301 + x382*x330) - (x379*x119 + x379*x303 + x379*x304 + x379*x305
      + x379*x306 + x379*x307 + x379*x308 + x379*x309 + x379*x310 + x379*x311
      + x379*x312 + x379*x313 + x379*x314 + x379*x315 + x379*x316) + 350*x14
      + 1400*x29 + 70*x44 + 280*x59 + 175*x74 + 35*x89 + 105*x104 = 0;

e90: 0.1*(x338*x134 + x341*x148 + x344*x162 + x347*x176 + x350*x190 + x353*x204
      + x356*x218 + x359*x232 + x362*x246 + x365*x260 + x368*x274 + x371*x288
      + x374*x302 + x377*x316) - (x380*x120 + x380*x317 + x380*x318 + x380*x319
      + x380*x320 + x380*x321 + x380*x322 + x380*x323 + x380*x324 + x380*x325
      + x380*x326 + x380*x327 + x380*x328 + x380*x329 + x380*x330) + 10*x15
      + 80*x30 + 40*x45 + 120*x60 + 50*x75 + 5*x90 + 100*x105 = 0;

e91: 0.05*(x339*x134 + x342*x148 + x345*x162 + x348*x176 + x351*x190 + x354*
     x204 + x357*x218 + x360*x232 + x363*x246 + x366*x260 + x369*x274 + x372*
     x288 + x375*x302 + x378*x316) - (x381*x120 + x381*x317 + x381*x318 + x381*
     x319 + x381*x320 + x381*x321 + x381*x322 + x381*x323 + x381*x324 + x381*
     x325 + x381*x326 + x381*x327 + x381*x328 + x381*x329 + x381*x330) + 25*x15
      + 87.5000000000001*x30 + 4*x45 + 50*x60 + 35*x75 + 5*x90 + 2.5*x105 = 0;

e92: x340*x134 + x343*x148 + x346*x162 + x349*x176 + x352*x190 + x355*x204 + 
     x358*x218 + x361*x232 + x364*x246 + x367*x260 + x370*x274 + x373*x288 + 
     x376*x302 + x379*x316 - (x382*x120 + x382*x317 + x382*x318 + x382*x319 + 
     x382*x320 + x382*x321 + x382*x322 + x382*x323 + x382*x324 + x382*x325 + 
     x382*x326 + x382*x327 + x382*x328 + x382*x329 + x382*x330) + 500*x15
      + 2000*x30 + 100*x45 + 400*x60 + 250*x75 + 50*x90 + 150*x105 = 0;

e93: x338*x106 + x341*x107 + x344*x108 + x347*x109 + x350*x110 + x353*x111 + 
     x356*x112 + x359*x113 + x362*x114 + x365*x115 + x368*x116 + x371*x117 + 
     x374*x118 + x377*x119 + x380*x120 - 5*x106 - 5*x107 - 5*x108 - 5*x109 - 5*
     x110 - 5*x111 - 5*x112 - 5*x113 - 5*x114 - 5*x115 - 5*x116 - 5*x117 - 5*
     x118 - 5*x119 - 5*x120 + 95*x331 + 795*x332 + 395*x333 + 1195*x334
      + 495*x335 + 45*x336 + 995*x337 <= 0;

e94: x339*x106 + x342*x107 + x345*x108 + x348*x109 + x351*x110 + x354*x111 + 
     x357*x112 + x360*x113 + x363*x114 + x366*x115 + x369*x116 + x372*x117 + 
     x375*x118 + x378*x119 + x381*x120 - 5*x106 - 5*x107 - 5*x108 - 5*x109 - 5*
     x110 - 5*x111 - 5*x112 - 5*x113 - 5*x114 - 5*x115 - 5*x116 - 5*x117 - 5*
     x118 - 5*x119 - 5*x120 + 495*x331 + 1745*x332 + 75*x333 + 995*x334
      + 695*x335 + 95*x336 + 45*x337 <= 0;

e95: x340*x106 + x343*x107 + x346*x108 + x349*x109 + x352*x110 + x355*x111 + 
     x358*x112 + x361*x113 + x364*x114 + x367*x115 + x370*x116 + x373*x117 + 
     x376*x118 + x379*x119 + x382*x120 - 10*x106 - 10*x107 - 10*x108 - 10*x109
      - 10*x110 - 10*x111 - 10*x112 - 10*x113 - 10*x114 - 10*x115 - 10*x116 - 
     10*x117 - 10*x118 - 10*x119 - 10*x120 + 490*x331 + 1990*x332 + 90*x333
      + 390*x334 + 240*x335 + 40*x336 + 140*x337 <= 0;

e96:    x1 - 0.2*b383 >= 0;

e97:    x2 - 0.2*b384 >= 0;

e98:    x3 - 0.2*b385 >= 0;

e99:    x4 - 0.2*b386 >= 0;

e100:    x5 - 0.2*b387 >= 0;

e101:    x6 - 0.2*b388 >= 0;

e102:    x7 - 0.2*b389 >= 0;

e103:    x8 - 0.2*b390 >= 0;

e104:    x9 - 0.2*b391 >= 0;

e105:    x10 - 0.2*b392 >= 0;

e106:    x11 - 0.2*b393 >= 0;

e107:    x12 - 0.2*b394 >= 0;

e108:    x13 - 0.2*b395 >= 0;

e109:    x14 - 0.2*b396 >= 0;

e110:    x15 - 0.2*b397 >= 0;

e111:    x16 - 0.2*b398 >= 0;

e112:    x17 - 0.2*b399 >= 0;

e113:    x18 - 0.2*b400 >= 0;

e114:    x19 - 0.2*b401 >= 0;

e115:    x20 - 0.2*b402 >= 0;

e116:    x21 - 0.2*b403 >= 0;

e117:    x22 - 0.2*b404 >= 0;

e118:    x23 - 0.2*b405 >= 0;

e119:    x24 - 0.2*b406 >= 0;

e120:    x25 - 0.2*b407 >= 0;

e121:    x26 - 0.2*b408 >= 0;

e122:    x27 - 0.2*b409 >= 0;

e123:    x28 - 0.2*b410 >= 0;

e124:    x29 - 0.2*b411 >= 0;

e125:    x30 - 0.2*b412 >= 0;

e126:    x31 - 0.2*b413 >= 0;

e127:    x32 - 0.2*b414 >= 0;

e128:    x33 - 0.2*b415 >= 0;

e129:    x34 - 0.2*b416 >= 0;

e130:    x35 - 0.2*b417 >= 0;

e131:    x36 - 0.2*b418 >= 0;

e132:    x37 - 0.2*b419 >= 0;

e133:    x38 - 0.2*b420 >= 0;

e134:    x39 - 0.2*b421 >= 0;

e135:    x40 - 0.2*b422 >= 0;

e136:    x41 - 0.2*b423 >= 0;

e137:    x42 - 0.2*b424 >= 0;

e138:    x43 - 0.2*b425 >= 0;

e139:    x44 - 0.2*b426 >= 0;

e140:    x45 - 0.2*b427 >= 0;

e141:    x46 - 0.2*b428 >= 0;

e142:    x47 - 0.2*b429 >= 0;

e143:    x48 - 0.2*b430 >= 0;

e144:    x49 - 0.2*b431 >= 0;

e145:    x50 - 0.2*b432 >= 0;

e146:    x51 - 0.2*b433 >= 0;

e147:    x52 - 0.2*b434 >= 0;

e148:    x53 - 0.2*b435 >= 0;

e149:    x54 - 0.2*b436 >= 0;

e150:    x55 - 0.2*b437 >= 0;

e151:    x56 - 0.2*b438 >= 0;

e152:    x57 - 0.2*b439 >= 0;

e153:    x58 - 0.2*b440 >= 0;

e154:    x59 - 0.2*b441 >= 0;

e155:    x60 - 0.2*b442 >= 0;

e156:    x61 - 0.2*b443 >= 0;

e157:    x62 - 0.2*b444 >= 0;

e158:    x63 - 0.2*b445 >= 0;

e159:    x64 - 0.2*b446 >= 0;

e160:    x65 - 0.2*b447 >= 0;

e161:    x66 - 0.2*b448 >= 0;

e162:    x67 - 0.2*b449 >= 0;

e163:    x68 - 0.2*b450 >= 0;

e164:    x69 - 0.2*b451 >= 0;

e165:    x70 - 0.2*b452 >= 0;

e166:    x71 - 0.2*b453 >= 0;

e167:    x72 - 0.2*b454 >= 0;

e168:    x73 - 0.2*b455 >= 0;

e169:    x74 - 0.2*b456 >= 0;

e170:    x75 - 0.2*b457 >= 0;

e171:    x76 - 0.2*b458 >= 0;

e172:    x77 - 0.2*b459 >= 0;

e173:    x78 - 0.2*b460 >= 0;

e174:    x79 - 0.2*b461 >= 0;

e175:    x80 - 0.2*b462 >= 0;

e176:    x81 - 0.2*b463 >= 0;

e177:    x82 - 0.2*b464 >= 0;

e178:    x83 - 0.2*b465 >= 0;

e179:    x84 - 0.2*b466 >= 0;

e180:    x85 - 0.2*b467 >= 0;

e181:    x86 - 0.2*b468 >= 0;

e182:    x87 - 0.2*b469 >= 0;

e183:    x88 - 0.2*b470 >= 0;

e184:    x89 - 0.2*b471 >= 0;

e185:    x90 - 0.2*b472 >= 0;

e186:    x91 - 0.2*b473 >= 0;

e187:    x92 - 0.2*b474 >= 0;

e188:    x93 - 0.2*b475 >= 0;

e189:    x94 - 0.2*b476 >= 0;

e190:    x95 - 0.2*b477 >= 0;

e191:    x96 - 0.2*b478 >= 0;

e192:    x97 - 0.2*b479 >= 0;

e193:    x98 - 0.2*b480 >= 0;

e194:    x99 - 0.2*b481 >= 0;

e195:    x100 - 0.2*b482 >= 0;

e196:    x101 - 0.2*b483 >= 0;

e197:    x102 - 0.2*b484 >= 0;

e198:    x103 - 0.2*b485 >= 0;

e199:    x104 - 0.2*b486 >= 0;

e200:    x105 - 0.2*b487 >= 0;

e201:    x1 - 20*b383 <= 0;

e202:    x2 - 20*b384 <= 0;

e203:    x3 - 20*b385 <= 0;

e204:    x4 - 20*b386 <= 0;

e205:    x5 - 20*b387 <= 0;

e206:    x6 - 20*b388 <= 0;

e207:    x7 - 20*b389 <= 0;

e208:    x8 - 20*b390 <= 0;

e209:    x9 - 20*b391 <= 0;

e210:    x10 - 20*b392 <= 0;

e211:    x11 - 20*b393 <= 0;

e212:    x12 - 20*b394 <= 0;

e213:    x13 - 20*b395 <= 0;

e214:    x14 - 20*b396 <= 0;

e215:    x15 - 20*b397 <= 0;

e216:    x16 - 50*b398 <= 0;

e217:    x17 - 50*b399 <= 0;

e218:    x18 - 50*b400 <= 0;

e219:    x19 - 50*b401 <= 0;

e220:    x20 - 50*b402 <= 0;

e221:    x21 - 50*b403 <= 0;

e222:    x22 - 50*b404 <= 0;

e223:    x23 - 50*b405 <= 0;

e224:    x24 - 50*b406 <= 0;

e225:    x25 - 50*b407 <= 0;

e226:    x26 - 50*b408 <= 0;

e227:    x27 - 50*b409 <= 0;

e228:    x28 - 50*b410 <= 0;

e229:    x29 - 50*b411 <= 0;

e230:    x30 - 50*b412 <= 0;

e231:    x31 - 47.5*b413 <= 0;

e232:    x32 - 47.5*b414 <= 0;

e233:    x33 - 47.5*b415 <= 0;

e234:    x34 - 47.5*b416 <= 0;

e235:    x35 - 47.5*b417 <= 0;

e236:    x36 - 47.5*b418 <= 0;

e237:    x37 - 47.5*b419 <= 0;

e238:    x38 - 47.5*b420 <= 0;

e239:    x39 - 47.5*b421 <= 0;

e240:    x40 - 47.5*b422 <= 0;

e241:    x41 - 47.5*b423 <= 0;

e242:    x42 - 47.5*b424 <= 0;

e243:    x43 - 47.5*b425 <= 0;

e244:    x44 - 47.5*b426 <= 0;

e245:    x45 - 47.5*b427 <= 0;

e246:    x46 - 28*b428 <= 0;

e247:    x47 - 28*b429 <= 0;

e248:    x48 - 28*b430 <= 0;

e249:    x49 - 28*b431 <= 0;

e250:    x50 - 28*b432 <= 0;

e251:    x51 - 28*b433 <= 0;

e252:    x52 - 28*b434 <= 0;

e253:    x53 - 28*b435 <= 0;

e254:    x54 - 28*b436 <= 0;

e255:    x55 - 28*b437 <= 0;

e256:    x56 - 28*b438 <= 0;

e257:    x57 - 28*b439 <= 0;

e258:    x58 - 28*b440 <= 0;

e259:    x59 - 28*b441 <= 0;

e260:    x60 - 28*b442 <= 0;

e261:    x61 - 100*b443 <= 0;

e262:    x62 - 100*b444 <= 0;

e263:    x63 - 100*b445 <= 0;

e264:    x64 - 100*b446 <= 0;

e265:    x65 - 100*b447 <= 0;

e266:    x66 - 100*b448 <= 0;

e267:    x67 - 100*b449 <= 0;

e268:    x68 - 100*b450 <= 0;

e269:    x69 - 100*b451 <= 0;

e270:    x70 - 100*b452 <= 0;

e271:    x71 - 100*b453 <= 0;

e272:    x72 - 100*b454 <= 0;

e273:    x73 - 100*b455 <= 0;

e274:    x74 - 100*b456 <= 0;

e275:    x75 - 100*b457 <= 0;

e276:    x76 - 30*b458 <= 0;

e277:    x77 - 30*b459 <= 0;

e278:    x78 - 30*b460 <= 0;

e279:    x79 - 30*b461 <= 0;

e280:    x80 - 30*b462 <= 0;

e281:    x81 - 30*b463 <= 0;

e282:    x82 - 30*b464 <= 0;

e283:    x83 - 30*b465 <= 0;

e284:    x84 - 30*b466 <= 0;

e285:    x85 - 30*b467 <= 0;

e286:    x86 - 30*b468 <= 0;

e287:    x87 - 30*b469 <= 0;

e288:    x88 - 30*b470 <= 0;

e289:    x89 - 30*b471 <= 0;

e290:    x90 - 30*b472 <= 0;

e291:    x91 - 25*b473 <= 0;

e292:    x92 - 25*b474 <= 0;

e293:    x93 - 25*b475 <= 0;

e294:    x94 - 25*b476 <= 0;

e295:    x95 - 25*b477 <= 0;

e296:    x96 - 25*b478 <= 0;

e297:    x97 - 25*b479 <= 0;

e298:    x98 - 25*b480 <= 0;

e299:    x99 - 25*b481 <= 0;

e300:    x100 - 25*b482 <= 0;

e301:    x101 - 25*b483 <= 0;

e302:    x102 - 25*b484 <= 0;

e303:    x103 - 25*b485 <= 0;

e304:    x104 - 25*b486 <= 0;

e305:    x105 - 25*b487 <= 0;

e306:    x106 - 0.2*b488 >= 0;

e307:    x107 - 0.2*b489 >= 0;

e308:    x108 - 0.2*b490 >= 0;

e309:    x109 - 0.2*b491 >= 0;

e310:    x110 - 0.2*b492 >= 0;

e311:    x111 - 0.2*b493 >= 0;

e312:    x112 - 0.2*b494 >= 0;

e313:    x113 - 0.2*b495 >= 0;

e314:    x114 - 0.2*b496 >= 0;

e315:    x115 - 0.2*b497 >= 0;

e316:    x116 - 0.2*b498 >= 0;

e317:    x117 - 0.2*b499 >= 0;

e318:    x118 - 0.2*b500 >= 0;

e319:    x119 - 0.2*b501 >= 0;

e320:    x120 - 0.2*b502 >= 0;

e321:    x106 - 300.5*b488 <= 0;

e322:    x107 - 300.5*b489 <= 0;

e323:    x108 - 300.5*b490 <= 0;

e324:    x109 - 300.5*b491 <= 0;

e325:    x110 - 300.5*b492 <= 0;

e326:    x111 - 300.5*b493 <= 0;

e327:    x112 - 300.5*b494 <= 0;

e328:    x113 - 300.5*b495 <= 0;

e329:    x114 - 300.5*b496 <= 0;

e330:    x115 - 300.5*b497 <= 0;

e331:    x116 - 300.5*b498 <= 0;

e332:    x117 - 300.5*b499 <= 0;

e333:    x118 - 300.5*b500 <= 0;

e334:    x119 - 300.5*b501 <= 0;

e335:    x120 - 300.5*b502 <= 0;

e336:    x331 - 0.2*b713 >= 0;

e337:    x332 - 0.2*b714 >= 0;

e338:    x333 - 0.2*b715 >= 0;

e339:    x334 - 0.2*b716 >= 0;

e340:    x335 - 0.2*b717 >= 0;

e341:    x336 - 0.2*b718 >= 0;

e342:    x337 - 0.2*b719 >= 0;

e343:    x331 - 20*b713 <= 0;

e344:    x332 - 50*b714 <= 0;

e345:    x333 - 47.5*b715 <= 0;

e346:    x334 - 28*b716 <= 0;

e347:    x335 - 100*b717 <= 0;

e348:    x336 - 30*b718 <= 0;

e349:    x337 - 25*b719 <= 0;

e350:    x135 - 0.2*b517 >= 0;

e351:    x149 - 0.2*b531 >= 0;

e352:    x163 - 0.2*b545 >= 0;

e353:    x177 - 0.2*b559 >= 0;

e354:    x191 - 0.2*b573 >= 0;

e355:    x205 - 0.2*b587 >= 0;

e356:    x219 - 0.2*b601 >= 0;

e357:    x233 - 0.2*b615 >= 0;

e358:    x247 - 0.2*b629 >= 0;

e359:    x261 - 0.2*b643 >= 0;

e360:    x275 - 0.2*b657 >= 0;

e361:    x289 - 0.2*b671 >= 0;

e362:    x303 - 0.2*b685 >= 0;

e363:    x317 - 0.2*b699 >= 0;

e364:    x121 - 0.2*b503 >= 0;

e365:    x150 - 0.2*b532 >= 0;

e366:    x164 - 0.2*b546 >= 0;

e367:    x178 - 0.2*b560 >= 0;

e368:    x192 - 0.2*b574 >= 0;

e369:    x206 - 0.2*b588 >= 0;

e370:    x220 - 0.2*b602 >= 0;

e371:    x234 - 0.2*b616 >= 0;

e372:    x248 - 0.2*b630 >= 0;

e373:    x262 - 0.2*b644 >= 0;

e374:    x276 - 0.2*b658 >= 0;

e375:    x290 - 0.2*b672 >= 0;

e376:    x304 - 0.2*b686 >= 0;

e377:    x318 - 0.2*b700 >= 0;

e378:    x122 - 0.2*b504 >= 0;

e379:    x136 - 0.2*b518 >= 0;

e380:    x165 - 0.2*b547 >= 0;

e381:    x179 - 0.2*b561 >= 0;

e382:    x193 - 0.2*b575 >= 0;

e383:    x207 - 0.2*b589 >= 0;

e384:    x221 - 0.2*b603 >= 0;

e385:    x235 - 0.2*b617 >= 0;

e386:    x249 - 0.2*b631 >= 0;

e387:    x263 - 0.2*b645 >= 0;

e388:    x277 - 0.2*b659 >= 0;

e389:    x291 - 0.2*b673 >= 0;

e390:    x305 - 0.2*b687 >= 0;

e391:    x319 - 0.2*b701 >= 0;

e392:    x123 - 0.2*b505 >= 0;

e393:    x137 - 0.2*b519 >= 0;

e394:    x151 - 0.2*b533 >= 0;

e395:    x180 - 0.2*b562 >= 0;

e396:    x194 - 0.2*b576 >= 0;

e397:    x208 - 0.2*b590 >= 0;

e398:    x222 - 0.2*b604 >= 0;

e399:    x236 - 0.2*b618 >= 0;

e400:    x250 - 0.2*b632 >= 0;

e401:    x264 - 0.2*b646 >= 0;

e402:    x278 - 0.2*b660 >= 0;

e403:    x292 - 0.2*b674 >= 0;

e404:    x306 - 0.2*b688 >= 0;

e405:    x320 - 0.2*b702 >= 0;

e406:    x124 - 0.2*b506 >= 0;

e407:    x138 - 0.2*b520 >= 0;

e408:    x152 - 0.2*b534 >= 0;

e409:    x166 - 0.2*b548 >= 0;

e410:    x195 - 0.2*b577 >= 0;

e411:    x209 - 0.2*b591 >= 0;

e412:    x223 - 0.2*b605 >= 0;

e413:    x237 - 0.2*b619 >= 0;

e414:    x251 - 0.2*b633 >= 0;

e415:    x265 - 0.2*b647 >= 0;

e416:    x279 - 0.2*b661 >= 0;

e417:    x293 - 0.2*b675 >= 0;

e418:    x307 - 0.2*b689 >= 0;

e419:    x321 - 0.2*b703 >= 0;

e420:    x125 - 0.2*b507 >= 0;

e421:    x139 - 0.2*b521 >= 0;

e422:    x153 - 0.2*b535 >= 0;

e423:    x167 - 0.2*b549 >= 0;

e424:    x181 - 0.2*b563 >= 0;

e425:    x210 - 0.2*b592 >= 0;

e426:    x224 - 0.2*b606 >= 0;

e427:    x238 - 0.2*b620 >= 0;

e428:    x252 - 0.2*b634 >= 0;

e429:    x266 - 0.2*b648 >= 0;

e430:    x280 - 0.2*b662 >= 0;

e431:    x294 - 0.2*b676 >= 0;

e432:    x308 - 0.2*b690 >= 0;

e433:    x322 - 0.2*b704 >= 0;

e434:    x126 - 0.2*b508 >= 0;

e435:    x140 - 0.2*b522 >= 0;

e436:    x154 - 0.2*b536 >= 0;

e437:    x168 - 0.2*b550 >= 0;

e438:    x182 - 0.2*b564 >= 0;

e439:    x196 - 0.2*b578 >= 0;

e440:    x225 - 0.2*b607 >= 0;

e441:    x239 - 0.2*b621 >= 0;

e442:    x253 - 0.2*b635 >= 0;

e443:    x267 - 0.2*b649 >= 0;

e444:    x281 - 0.2*b663 >= 0;

e445:    x295 - 0.2*b677 >= 0;

e446:    x309 - 0.2*b691 >= 0;

e447:    x323 - 0.2*b705 >= 0;

e448:    x127 - 0.2*b509 >= 0;

e449:    x141 - 0.2*b523 >= 0;

e450:    x155 - 0.2*b537 >= 0;

e451:    x169 - 0.2*b551 >= 0;

e452:    x183 - 0.2*b565 >= 0;

e453:    x197 - 0.2*b579 >= 0;

e454:    x211 - 0.2*b593 >= 0;

e455:    x240 - 0.2*b622 >= 0;

e456:    x254 - 0.2*b636 >= 0;

e457:    x268 - 0.2*b650 >= 0;

e458:    x282 - 0.2*b664 >= 0;

e459:    x296 - 0.2*b678 >= 0;

e460:    x310 - 0.2*b692 >= 0;

e461:    x324 - 0.2*b706 >= 0;

e462:    x128 - 0.2*b510 >= 0;

e463:    x142 - 0.2*b524 >= 0;

e464:    x156 - 0.2*b538 >= 0;

e465:    x170 - 0.2*b552 >= 0;

e466:    x184 - 0.2*b566 >= 0;

e467:    x198 - 0.2*b580 >= 0;

e468:    x212 - 0.2*b594 >= 0;

e469:    x226 - 0.2*b608 >= 0;

e470:    x255 - 0.2*b637 >= 0;

e471:    x269 - 0.2*b651 >= 0;

e472:    x283 - 0.2*b665 >= 0;

e473:    x297 - 0.2*b679 >= 0;

e474:    x311 - 0.2*b693 >= 0;

e475:    x325 - 0.2*b707 >= 0;

e476:    x129 - 0.2*b511 >= 0;

e477:    x143 - 0.2*b525 >= 0;

e478:    x157 - 0.2*b539 >= 0;

e479:    x171 - 0.2*b553 >= 0;

e480:    x185 - 0.2*b567 >= 0;

e481:    x199 - 0.2*b581 >= 0;

e482:    x213 - 0.2*b595 >= 0;

e483:    x227 - 0.2*b609 >= 0;

e484:    x241 - 0.2*b623 >= 0;

e485:    x270 - 0.2*b652 >= 0;

e486:    x284 - 0.2*b666 >= 0;

e487:    x298 - 0.2*b680 >= 0;

e488:    x312 - 0.2*b694 >= 0;

e489:    x326 - 0.2*b708 >= 0;

e490:    x130 - 0.2*b512 >= 0;

e491:    x144 - 0.2*b526 >= 0;

e492:    x158 - 0.2*b540 >= 0;

e493:    x172 - 0.2*b554 >= 0;

e494:    x186 - 0.2*b568 >= 0;

e495:    x200 - 0.2*b582 >= 0;

e496:    x214 - 0.2*b596 >= 0;

e497:    x228 - 0.2*b610 >= 0;

e498:    x242 - 0.2*b624 >= 0;

e499:    x256 - 0.2*b638 >= 0;

e500:    x285 - 0.2*b667 >= 0;

e501:    x299 - 0.2*b681 >= 0;

e502:    x313 - 0.2*b695 >= 0;

e503:    x327 - 0.2*b709 >= 0;

e504:    x131 - 0.2*b513 >= 0;

e505:    x145 - 0.2*b527 >= 0;

e506:    x159 - 0.2*b541 >= 0;

e507:    x173 - 0.2*b555 >= 0;

e508:    x187 - 0.2*b569 >= 0;

e509:    x201 - 0.2*b583 >= 0;

e510:    x215 - 0.2*b597 >= 0;

e511:    x229 - 0.2*b611 >= 0;

e512:    x243 - 0.2*b625 >= 0;

e513:    x257 - 0.2*b639 >= 0;

e514:    x271 - 0.2*b653 >= 0;

e515:    x300 - 0.2*b682 >= 0;

e516:    x314 - 0.2*b696 >= 0;

e517:    x328 - 0.2*b710 >= 0;

e518:    x132 - 0.2*b514 >= 0;

e519:    x146 - 0.2*b528 >= 0;

e520:    x160 - 0.2*b542 >= 0;

e521:    x174 - 0.2*b556 >= 0;

e522:    x188 - 0.2*b570 >= 0;

e523:    x202 - 0.2*b584 >= 0;

e524:    x216 - 0.2*b598 >= 0;

e525:    x230 - 0.2*b612 >= 0;

e526:    x244 - 0.2*b626 >= 0;

e527:    x258 - 0.2*b640 >= 0;

e528:    x272 - 0.2*b654 >= 0;

e529:    x286 - 0.2*b668 >= 0;

e530:    x315 - 0.2*b697 >= 0;

e531:    x329 - 0.2*b711 >= 0;

e532:    x133 - 0.2*b515 >= 0;

e533:    x147 - 0.2*b529 >= 0;

e534:    x161 - 0.2*b543 >= 0;

e535:    x175 - 0.2*b557 >= 0;

e536:    x189 - 0.2*b571 >= 0;

e537:    x203 - 0.2*b585 >= 0;

e538:    x217 - 0.2*b599 >= 0;

e539:    x231 - 0.2*b613 >= 0;

e540:    x245 - 0.2*b627 >= 0;

e541:    x259 - 0.2*b641 >= 0;

e542:    x273 - 0.2*b655 >= 0;

e543:    x287 - 0.2*b669 >= 0;

e544:    x301 - 0.2*b683 >= 0;

e545:    x330 - 0.2*b712 >= 0;

e546:    x134 - 0.2*b516 >= 0;

e547:    x148 - 0.2*b530 >= 0;

e548:    x162 - 0.2*b544 >= 0;

e549:    x176 - 0.2*b558 >= 0;

e550:    x190 - 0.2*b572 >= 0;

e551:    x204 - 0.2*b586 >= 0;

e552:    x218 - 0.2*b600 >= 0;

e553:    x232 - 0.2*b614 >= 0;

e554:    x246 - 0.2*b628 >= 0;

e555:    x260 - 0.2*b642 >= 0;

e556:    x274 - 0.2*b656 >= 0;

e557:    x288 - 0.2*b670 >= 0;

e558:    x302 - 0.2*b684 >= 0;

e559:    x316 - 0.2*b698 >= 0;

e560:    x135 - 300.5*b517 <= 0;

e561:    x149 - 300.5*b531 <= 0;

e562:    x163 - 300.5*b545 <= 0;

e563:    x177 - 300.5*b559 <= 0;

e564:    x191 - 300.5*b573 <= 0;

e565:    x205 - 300.5*b587 <= 0;

e566:    x219 - 300.5*b601 <= 0;

e567:    x233 - 300.5*b615 <= 0;

e568:    x247 - 300.5*b629 <= 0;

e569:    x261 - 300.5*b643 <= 0;

e570:    x275 - 300.5*b657 <= 0;

e571:    x289 - 300.5*b671 <= 0;

e572:    x303 - 300.5*b685 <= 0;

e573:    x317 - 300.5*b699 <= 0;

e574:    x121 - 300.5*b503 <= 0;

e575:    x150 - 300.5*b532 <= 0;

e576:    x164 - 300.5*b546 <= 0;

e577:    x178 - 300.5*b560 <= 0;

e578:    x192 - 300.5*b574 <= 0;

e579:    x206 - 300.5*b588 <= 0;

e580:    x220 - 300.5*b602 <= 0;

e581:    x234 - 300.5*b616 <= 0;

e582:    x248 - 300.5*b630 <= 0;

e583:    x262 - 300.5*b644 <= 0;

e584:    x276 - 300.5*b658 <= 0;

e585:    x290 - 300.5*b672 <= 0;

e586:    x304 - 300.5*b686 <= 0;

e587:    x318 - 300.5*b700 <= 0;

e588:    x122 - 300.5*b504 <= 0;

e589:    x136 - 300.5*b518 <= 0;

e590:    x165 - 300.5*b547 <= 0;

e591:    x179 - 300.5*b561 <= 0;

e592:    x193 - 300.5*b575 <= 0;

e593:    x207 - 300.5*b589 <= 0;

e594:    x221 - 300.5*b603 <= 0;

e595:    x235 - 300.5*b617 <= 0;

e596:    x249 - 300.5*b631 <= 0;

e597:    x263 - 300.5*b645 <= 0;

e598:    x277 - 300.5*b659 <= 0;

e599:    x291 - 300.5*b673 <= 0;

e600:    x305 - 300.5*b687 <= 0;

e601:    x319 - 300.5*b701 <= 0;

e602:    x123 - 300.5*b505 <= 0;

e603:    x137 - 300.5*b519 <= 0;

e604:    x151 - 300.5*b533 <= 0;

e605:    x180 - 300.5*b562 <= 0;

e606:    x194 - 300.5*b576 <= 0;

e607:    x208 - 300.5*b590 <= 0;

e608:    x222 - 300.5*b604 <= 0;

e609:    x236 - 300.5*b618 <= 0;

e610:    x250 - 300.5*b632 <= 0;

e611:    x264 - 300.5*b646 <= 0;

e612:    x278 - 300.5*b660 <= 0;

e613:    x292 - 300.5*b674 <= 0;

e614:    x306 - 300.5*b688 <= 0;

e615:    x320 - 300.5*b702 <= 0;

e616:    x124 - 300.5*b506 <= 0;

e617:    x138 - 300.5*b520 <= 0;

e618:    x152 - 300.5*b534 <= 0;

e619:    x166 - 300.5*b548 <= 0;

e620:    x195 - 300.5*b577 <= 0;

e621:    x209 - 300.5*b591 <= 0;

e622:    x223 - 300.5*b605 <= 0;

e623:    x237 - 300.5*b619 <= 0;

e624:    x251 - 300.5*b633 <= 0;

e625:    x265 - 300.5*b647 <= 0;

e626:    x279 - 300.5*b661 <= 0;

e627:    x293 - 300.5*b675 <= 0;

e628:    x307 - 300.5*b689 <= 0;

e629:    x321 - 300.5*b703 <= 0;

e630:    x125 - 300.5*b507 <= 0;

e631:    x139 - 300.5*b521 <= 0;

e632:    x153 - 300.5*b535 <= 0;

e633:    x167 - 300.5*b549 <= 0;

e634:    x181 - 300.5*b563 <= 0;

e635:    x210 - 300.5*b592 <= 0;

e636:    x224 - 300.5*b606 <= 0;

e637:    x238 - 300.5*b620 <= 0;

e638:    x252 - 300.5*b634 <= 0;

e639:    x266 - 300.5*b648 <= 0;

e640:    x280 - 300.5*b662 <= 0;

e641:    x294 - 300.5*b676 <= 0;

e642:    x308 - 300.5*b690 <= 0;

e643:    x322 - 300.5*b704 <= 0;

e644:    x126 - 300.5*b508 <= 0;

e645:    x140 - 300.5*b522 <= 0;

e646:    x154 - 300.5*b536 <= 0;

e647:    x168 - 300.5*b550 <= 0;

e648:    x182 - 300.5*b564 <= 0;

e649:    x196 - 300.5*b578 <= 0;

e650:    x225 - 300.5*b607 <= 0;

e651:    x239 - 300.5*b621 <= 0;

e652:    x253 - 300.5*b635 <= 0;

e653:    x267 - 300.5*b649 <= 0;

e654:    x281 - 300.5*b663 <= 0;

e655:    x295 - 300.5*b677 <= 0;

e656:    x309 - 300.5*b691 <= 0;

e657:    x323 - 300.5*b705 <= 0;

e658:    x127 - 300.5*b509 <= 0;

e659:    x141 - 300.5*b523 <= 0;

e660:    x155 - 300.5*b537 <= 0;

e661:    x169 - 300.5*b551 <= 0;

e662:    x183 - 300.5*b565 <= 0;

e663:    x197 - 300.5*b579 <= 0;

e664:    x211 - 300.5*b593 <= 0;

e665:    x240 - 300.5*b622 <= 0;

e666:    x254 - 300.5*b636 <= 0;

e667:    x268 - 300.5*b650 <= 0;

e668:    x282 - 300.5*b664 <= 0;

e669:    x296 - 300.5*b678 <= 0;

e670:    x310 - 300.5*b692 <= 0;

e671:    x324 - 300.5*b706 <= 0;

e672:    x128 - 300.5*b510 <= 0;

e673:    x142 - 300.5*b524 <= 0;

e674:    x156 - 300.5*b538 <= 0;

e675:    x170 - 300.5*b552 <= 0;

e676:    x184 - 300.5*b566 <= 0;

e677:    x198 - 300.5*b580 <= 0;

e678:    x212 - 300.5*b594 <= 0;

e679:    x226 - 300.5*b608 <= 0;

e680:    x255 - 300.5*b637 <= 0;

e681:    x269 - 300.5*b651 <= 0;

e682:    x283 - 300.5*b665 <= 0;

e683:    x297 - 300.5*b679 <= 0;

e684:    x311 - 300.5*b693 <= 0;

e685:    x325 - 300.5*b707 <= 0;

e686:    x129 - 300.5*b511 <= 0;

e687:    x143 - 300.5*b525 <= 0;

e688:    x157 - 300.5*b539 <= 0;

e689:    x171 - 300.5*b553 <= 0;

e690:    x185 - 300.5*b567 <= 0;

e691:    x199 - 300.5*b581 <= 0;

e692:    x213 - 300.5*b595 <= 0;

e693:    x227 - 300.5*b609 <= 0;

e694:    x241 - 300.5*b623 <= 0;

e695:    x270 - 300.5*b652 <= 0;

e696:    x284 - 300.5*b666 <= 0;

e697:    x298 - 300.5*b680 <= 0;

e698:    x312 - 300.5*b694 <= 0;

e699:    x326 - 300.5*b708 <= 0;

e700:    x130 - 300.5*b512 <= 0;

e701:    x144 - 300.5*b526 <= 0;

e702:    x158 - 300.5*b540 <= 0;

e703:    x172 - 300.5*b554 <= 0;

e704:    x186 - 300.5*b568 <= 0;

e705:    x200 - 300.5*b582 <= 0;

e706:    x214 - 300.5*b596 <= 0;

e707:    x228 - 300.5*b610 <= 0;

e708:    x242 - 300.5*b624 <= 0;

e709:    x256 - 300.5*b638 <= 0;

e710:    x285 - 300.5*b667 <= 0;

e711:    x299 - 300.5*b681 <= 0;

e712:    x313 - 300.5*b695 <= 0;

e713:    x327 - 300.5*b709 <= 0;

e714:    x131 - 300.5*b513 <= 0;

e715:    x145 - 300.5*b527 <= 0;

e716:    x159 - 300.5*b541 <= 0;

e717:    x173 - 300.5*b555 <= 0;

e718:    x187 - 300.5*b569 <= 0;

e719:    x201 - 300.5*b583 <= 0;

e720:    x215 - 300.5*b597 <= 0;

e721:    x229 - 300.5*b611 <= 0;

e722:    x243 - 300.5*b625 <= 0;

e723:    x257 - 300.5*b639 <= 0;

e724:    x271 - 300.5*b653 <= 0;

e725:    x300 - 300.5*b682 <= 0;

e726:    x314 - 300.5*b696 <= 0;

e727:    x328 - 300.5*b710 <= 0;

e728:    x132 - 300.5*b514 <= 0;

e729:    x146 - 300.5*b528 <= 0;

e730:    x160 - 300.5*b542 <= 0;

e731:    x174 - 300.5*b556 <= 0;

e732:    x188 - 300.5*b570 <= 0;

e733:    x202 - 300.5*b584 <= 0;

e734:    x216 - 300.5*b598 <= 0;

e735:    x230 - 300.5*b612 <= 0;

e736:    x244 - 300.5*b626 <= 0;

e737:    x258 - 300.5*b640 <= 0;

e738:    x272 - 300.5*b654 <= 0;

e739:    x286 - 300.5*b668 <= 0;

e740:    x315 - 300.5*b697 <= 0;

e741:    x329 - 300.5*b711 <= 0;

e742:    x133 - 300.5*b515 <= 0;

e743:    x147 - 300.5*b529 <= 0;

e744:    x161 - 300.5*b543 <= 0;

e745:    x175 - 300.5*b557 <= 0;

e746:    x189 - 300.5*b571 <= 0;

e747:    x203 - 300.5*b585 <= 0;

e748:    x217 - 300.5*b599 <= 0;

e749:    x231 - 300.5*b613 <= 0;

e750:    x245 - 300.5*b627 <= 0;

e751:    x259 - 300.5*b641 <= 0;

e752:    x273 - 300.5*b655 <= 0;

e753:    x287 - 300.5*b669 <= 0;

e754:    x301 - 300.5*b683 <= 0;

e755:    x330 - 300.5*b712 <= 0;

e756:    x134 - 300.5*b516 <= 0;

e757:    x148 - 300.5*b530 <= 0;

e758:    x162 - 300.5*b544 <= 0;

e759:    x176 - 300.5*b558 <= 0;

e760:    x190 - 300.5*b572 <= 0;

e761:    x204 - 300.5*b586 <= 0;

e762:    x218 - 300.5*b600 <= 0;

e763:    x232 - 300.5*b614 <= 0;

e764:    x246 - 300.5*b628 <= 0;

e765:    x260 - 300.5*b642 <= 0;

e766:    x274 - 300.5*b656 <= 0;

e767:    x288 - 300.5*b670 <= 0;

e768:    x302 - 300.5*b684 <= 0;

e769:    x316 - 300.5*b698 <= 0;