#  MINLP written by GAMS Convert at 01/12/18 13:42:30
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        813      141      112      560        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        633      521      112        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       2313     2297       16        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 2.5, >= 2.5, <= 37.5;
var x2 := 3.5, >= 3.5, <= 36.5;
var x3 := 1.5, >= 1.5, <= 38.5;
var x4 := 1, >= 1, <= 39;
var x5 := 2, >= 2, <= 38;
var x6 := 2.5, >= 2.5, <= 37.5;
var x7 := 4, >= 4, <= 36;
var x8 := 2, >= 2, <= 38;
var x9 := 3, >= 3, <= 37;
var x10 := 2.5, >= 2.5, <= 37.5;
var x11 := 1.5, >= 1.5, <= 38.5;
var x12 := 1.5, >= 1.5, <= 38.5;
var x13 := 2, >= 2, <= 38;
var x14 := 1, >= 1, <= 39;
var x15 := 3, >= 3, <= 37;
var x16 := 3, >= 3, <= 37;
var x17 >= 0;
var x18 >= 0;
var x19 >= 0;
var x20 >= 0;
var x21 >= 0;
var x22 >= 0;
var x23 >= 0;
var x24 >= 0;
var x25 >= 0;
var x26 >= 0;
var x27 >= 0;
var x28 >= 0;
var x29 >= 0;
var x30 >= 0;
var x31 >= 0;
var x32 >= 0;
var x33 >= 0;
var x34 >= 0;
var x35 >= 0;
var x36 >= 0;
var x37 >= 0;
var x38 >= 0;
var x39 >= 0;
var x40 >= 0;
var x41 >= 0;
var x42 >= 0;
var x43 >= 0;
var x44 >= 0;
var x45 >= 0;
var x46 >= 0;
var x47 >= 0;
var x48 >= 0;
var x49 >= 0;
var x50 >= 0;
var x51 >= 0;
var x52 >= 0;
var x53 >= 0;
var x54 >= 0;
var x55 >= 0;
var x56 >= 0;
var x57 >= 0;
var x58 >= 0;
var x59 >= 0;
var x60 >= 0;
var x61 >= 0;
var x62 >= 0;
var x63 >= 0;
var x64 >= 0;
var x65 >= 0;
var x66 >= 0;
var x67 >= 0;
var x68 >= 0;
var x69 >= 0;
var x70 >= 0;
var x71 >= 0;
var x72 >= 0;
var x73 >= 0;
var x74 >= 0;
var x75 >= 0;
var x76 >= 0;
var x77 >= 0;
var x78 >= 0;
var x79 >= 0;
var x80 >= 0;
var x81 >= 0;
var x82 >= 0;
var x83 >= 0;
var x84 >= 0;
var x85 >= 0;
var x86 >= 0;
var x87 >= 0;
var x88 >= 0;
var x89 >= 0;
var x90 >= 0;
var x91 >= 0;
var x92 >= 0;
var x93 >= 0;
var x94 >= 0;
var x95 >= 0;
var x96 >= 0;
var x97 >= 0;
var x98 >= 0;
var x99 >= 0;
var x100 >= 0;
var x101 >= 0;
var x102 >= 0;
var x103 >= 0;
var x104 >= 0;
var x105 >= 0;
var x106 >= 0;
var x107 >= 0;
var x108 >= 0;
var x109 >= 0;
var x110 >= 0;
var x111 >= 0;
var x112 >= 0;
var x113 >= 0;
var x114 >= 0;
var x115 >= 0;
var x116 >= 0;
var x117 >= 0;
var x118 >= 0;
var x119 >= 0;
var x120 >= 0;
var x121 >= 0;
var x122 >= 0;
var x123 >= 0;
var x124 >= 0;
var x125 >= 0;
var x126 >= 0;
var x127 >= 0;
var x128 >= 0;
var x129 >= 0;
var x130 >= 0;
var x131 >= 0;
var x132 >= 0;
var x133 >= 0;
var x134 >= 0;
var x135 >= 0;
var x136 >= 0;
var x137 >= 0;
var x138 >= 0;
var x139 >= 0;
var x140 >= 0;
var x141 >= 0;
var x142 >= 0;
var x143 >= 0;
var x144 >= 0;
var x145 >= 0;
var x146 >= 0;
var x147 >= 0;
var x148 >= 0;
var x149 >= 0;
var x150 >= 0;
var x151 >= 0;
var x152 >= 0;
var x153 >= 0;
var x154 >= 0;
var x155 >= 0;
var x156 >= 0;
var x157 >= 0;
var x158 >= 0;
var x159 >= 0;
var x160 >= 0;
var x161 >= 0;
var x162 >= 0;
var x163 >= 0;
var x164 >= 0;
var x165 >= 0;
var x166 >= 0;
var x167 >= 0;
var x168 >= 0;
var x169 >= 0;
var x170 >= 0;
var x171 >= 0;
var x172 >= 0;
var x173 >= 0;
var x174 >= 0;
var x175 >= 0;
var x176 >= 0;
var x177 >= 0;
var x178 >= 0;
var x179 >= 0;
var x180 >= 0;
var x181 >= 0;
var x182 >= 0;
var x183 >= 0;
var x184 >= 0;
var x185 >= 0;
var x186 >= 0;
var x187 >= 0;
var x188 >= 0;
var x189 >= 0;
var x190 >= 0;
var x191 >= 0;
var x192 >= 0;
var x193 >= 0;
var x194 >= 0;
var x195 >= 0;
var x196 >= 0;
var x197 >= 0;
var x198 >= 0;
var x199 >= 0;
var x200 >= 0;
var x201 >= 0;
var x202 >= 0;
var x203 >= 0;
var x204 >= 0;
var x205 >= 0;
var x206 >= 0;
var x207 >= 0;
var x208 >= 0;
var x209 >= 0;
var x210 >= 0;
var x211 >= 0;
var x212 >= 0;
var x213 >= 0;
var x214 >= 0;
var x215 >= 0;
var x216 >= 0;
var x217 >= 0;
var x218 >= 0;
var x219 >= 0;
var x220 >= 0;
var x221 >= 0;
var x222 >= 0;
var x223 >= 0;
var x224 >= 0;
var x225 >= 0;
var x226 >= 0;
var x227 >= 0;
var x228 >= 0;
var x229 >= 0;
var x230 >= 0;
var x231 >= 0;
var x232 >= 0;
var x233 >= 0;
var x234 >= 0;
var x235 >= 0;
var x236 >= 0;
var x237 >= 0;
var x238 >= 0;
var x239 >= 0;
var x240 >= 0;
var x241 >= 0;
var x242 >= 0;
var x243 >= 0;
var x244 >= 0;
var x245 >= 0;
var x246 >= 0;
var x247 >= 0;
var x248 >= 0;
var x249 >= 0;
var x250 >= 0;
var x251 >= 0;
var x252 >= 0;
var x253 >= 0;
var x254 >= 0;
var x255 >= 0;
var x256 >= 0;
var x257 >= 0;
var x258 >= 0;
var x259 >= 0;
var x260 >= 0;
var x261 >= 0;
var x262 >= 0;
var x263 >= 0;
var x264 >= 0;
var x265 >= 0;
var x266 >= 0;
var x267 >= 0;
var x268 >= 0;
var x269 >= 0;
var x270 >= 0;
var x271 >= 0;
var x272 >= 0;
var x273 >= 0;
var x274 >= 0;
var x275 >= 0;
var x276 >= 0;
var x277 >= 0;
var x278 >= 0;
var x279 >= 0;
var x280 >= 0;
var x281 >= 0;
var x282 >= 0;
var x283 >= 0;
var x284 >= 0;
var x285 >= 0;
var x286 >= 0;
var x287 >= 0;
var x288 >= 0;
var x289 >= 0;
var x290 >= 0;
var x291 >= 0;
var x292 >= 0;
var x293 >= 0;
var x294 >= 0;
var x295 >= 0;
var x296 >= 0;
var x297 >= 0;
var x298 >= 0;
var x299 >= 0;
var x300 >= 0;
var x301 >= 0;
var x302 >= 0;
var x303 >= 0;
var x304 >= 0;
var x305 >= 0;
var x306 >= 0;
var x307 >= 0;
var x308 >= 0;
var x309 >= 0;
var x310 >= 0;
var x311 >= 0;
var x312 >= 0;
var x313 >= 0;
var x314 >= 0;
var x315 >= 0;
var x316 >= 0;
var x317 >= 0;
var x318 >= 0;
var x319 >= 0;
var x320 >= 0;
var x321 >= 0;
var x322 >= 0;
var x323 >= 0;
var x324 >= 0;
var x325 >= 0;
var x326 >= 0;
var x327 >= 0;
var x328 >= 0;
var x329 >= 0;
var x330 >= 0;
var x331 >= 0;
var x332 >= 0;
var x333 >= 0;
var x334 >= 0;
var x335 >= 0;
var x336 >= 0;
var x337 >= 0;
var x338 >= 0;
var x339 >= 0;
var x340 >= 0;
var x341 >= 0;
var x342 >= 0;
var x343 >= 0;
var x344 >= 0;
var x345 >= 0;
var x346 >= 0;
var x347 >= 0;
var x348 >= 0;
var x349 >= 0;
var x350 >= 0;
var x351 >= 0;
var x352 >= 0;
var x353 >= 0;
var x354 >= 0;
var x355 >= 0;
var x356 >= 0;
var x357 >= 0;
var x358 >= 0;
var x359 >= 0;
var x360 >= 0;
var x361 >= 0;
var x362 >= 0;
var x363 >= 0;
var x364 >= 0;
var x365 >= 0;
var x366 >= 0;
var x367 >= 0;
var x368 >= 0;
var x369 >= 0;
var x370 >= 0;
var x371 >= 0;
var x372 >= 0;
var x373 >= 0;
var x374 >= 0;
var x375 >= 0;
var x376 >= 0;
var x377 >= 0;
var x378 >= 0;
var x379 >= 0;
var x380 >= 0;
var x381 >= 0;
var x382 >= 0;
var x383 >= 0;
var x384 >= 0;
var x385 >= 0;
var x386 >= 0;
var x387 >= 0;
var x388 >= 0;
var x389 >= 0;
var x390 >= 0;
var x391 >= 0;
var x392 >= 0;
var x393 >= 0;
var x394 >= 0;
var x395 >= 0;
var x396 >= 0;
var x397 >= 0;
var x398 >= 0;
var x399 >= 0;
var x400 >= 0;
var x401 >= 0;
var x402 >= 0;
var x403 >= 0;
var x404 >= 0;
var x405 >= 0;
var x406 >= 0;
var x407 >= 0;
var x408 >= 0;
var x409 >= 0;
var x410 >= 0;
var x411 >= 0;
var x412 >= 0;
var x413 >= 0;
var x414 >= 0;
var x415 >= 0;
var x416 >= 0;
var x417 >= 0;
var x418 >= 0;
var x419 >= 0;
var x420 >= 0;
var x421 >= 0;
var x422 >= 0;
var x423 >= 0;
var x424 >= 0;
var x425 >= 0;
var x426 >= 0;
var x427 >= 0;
var x428 >= 0;
var x429 >= 0;
var x430 >= 0;
var x431 >= 0;
var x432 >= 0;
var x433 >= 0;
var x434 >= 0;
var x435 >= 0;
var x436 >= 0;
var x437 >= 0;
var x438 >= 0;
var x439 >= 0;
var x440 >= 0;
var x441 >= 0;
var x442 >= 0;
var x443 >= 0;
var x444 >= 0;
var x445 >= 0;
var x446 >= 0;
var x447 >= 0;
var x448 >= 0;
var x449 >= 0;
var x450 >= 0;
var x451 >= 0;
var x452 >= 0;
var x453 >= 0;
var x454 >= 0;
var x455 >= 0;
var x456 >= 0;
var x457 >= 0;
var x458 >= 0;
var x459 >= 0;
var x460 >= 0;
var x461 >= 0;
var x462 >= 0;
var x463 >= 0;
var x464 >= 0;
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 x577 >= 0;
var x578 >= 0;
var x579 >= 0;
var x580 >= 0;
var x581 >= 0;
var x582 >= 0;
var x583 >= 0;
var x584 >= 0;
var x585 >= 0;
var x586 >= 0;
var x587 >= 0;
var x588 >= 0;
var x589 >= 0;
var x590 >= 0;
var x591 >= 0;
var x592 >= 0;
var x593 >= 0;
var x594 >= 0;
var x595 >= 0;
var x596 >= 0;
var x597 >= 0;
var x598 >= 0;
var x599 >= 0;
var x600 >= 0;
var x601 >= 0;
var x602 >= 0;
var x603 >= 0;
var x604 >= 0;
var x605 >= 0;
var x606 >= 0;
var x607 >= 0;
var x608 >= 0;
var x609 >= 0;
var x610 >= 0;
var x611 >= 0;
var x612 >= 0;
var x613 >= 0;
var x614 >= 0;
var x615 >= 0;
var x616 >= 0;
var x617 >= 0;
var x618 >= 0;
var x619 >= 0;
var x620 >= 0;
var x621 >= 0;
var x622 >= 0;
var x623 >= 0;
var x624 >= 0;
var x625 >= 0;
var x626 >= 0;
var x627 >= 0;
var x628 >= 0;
var x629 >= 0;
var x630 >= 0;
var x631 >= 0;
var x632 >= 0;

minimize obj: 150*((-4 + x1)^2 + (-10 + x9)^2) + 390*((-10 + x2)^2 + (-15 + x10
    )^2) + 240*((-7 + x3)^2 + (-9 + x11)^2) + 70*((-3 + x4)^2 + (-3 + x12)^2)
     + 165*((-20 + x5)^2 + (-17 + x13)^2) + 100*((-18 + x6)^2 + (-8 + x14)^2)
     + 200*((-30 + x7)^2 + (-20 + x15)^2) + 400*((-24 + x8)^2 + (-10 + x16)^2)
     + 300*x577 + 240*x578 + 210*x579 + 140*x580 + 300*x581 + 250*x582
     + 300*x583 + 100*x584 + 150*x585 + 220*x586 + 200*x587 + 300*x588
     + 290*x589 + 120*x590 + 300*x591 + 150*x592 + 150*x593 + 100*x594
     + 100*x595 + 120*x596 + 180*x597 + 220*x598 + 130*x599 + 190*x600
     + 110*x601 + 220*x602 + 140*x603 + 260*x604 + 300*x605 + 240*x606
     + 210*x607 + 140*x608 + 300*x609 + 250*x610 + 300*x611 + 100*x612
     + 150*x613 + 220*x614 + 200*x615 + 300*x616 + 290*x617 + 120*x618
     + 300*x619 + 150*x620 + 150*x621 + 100*x622 + 100*x623 + 120*x624
     + 180*x625 + 220*x626 + 130*x627 + 190*x628 + 110*x629 + 220*x630
     + 140*x631 + 260*x632;

subject to

e2:  - x1 + x2 + x577 >= 0;

e3:  - x1 + x3 + x578 >= 0;

e4:  - x1 + x4 + x579 >= 0;

e5:  - x1 + x5 + x580 >= 0;

e6:  - x1 + x6 + x581 >= 0;

e7:  - x1 + x7 + x582 >= 0;

e8:  - x1 + x8 + x583 >= 0;

e9:  - x2 + x3 + x584 >= 0;

e10:  - x2 + x4 + x585 >= 0;

e11:  - x2 + x5 + x586 >= 0;

e12:  - x2 + x6 + x587 >= 0;

e13:  - x2 + x7 + x588 >= 0;

e14:  - x2 + x8 + x589 >= 0;

e15:  - x3 + x4 + x590 >= 0;

e16:  - x3 + x5 + x591 >= 0;

e17:  - x3 + x6 + x592 >= 0;

e18:  - x3 + x7 + x593 >= 0;

e19:  - x3 + x8 + x594 >= 0;

e20:  - x4 + x5 + x595 >= 0;

e21:  - x4 + x6 + x596 >= 0;

e22:  - x4 + x7 + x597 >= 0;

e23:  - x4 + x8 + x598 >= 0;

e24:  - x5 + x6 + x599 >= 0;

e25:  - x5 + x7 + x600 >= 0;

e26:  - x5 + x8 + x601 >= 0;

e27:  - x6 + x7 + x602 >= 0;

e28:  - x6 + x8 + x603 >= 0;

e29:  - x7 + x8 + x604 >= 0;

e30:    x1 - x2 + x577 >= 0;

e31:    x1 - x3 + x578 >= 0;

e32:    x1 - x4 + x579 >= 0;

e33:    x1 - x5 + x580 >= 0;

e34:    x1 - x6 + x581 >= 0;

e35:    x1 - x7 + x582 >= 0;

e36:    x1 - x8 + x583 >= 0;

e37:    x2 - x3 + x584 >= 0;

e38:    x2 - x4 + x585 >= 0;

e39:    x2 - x5 + x586 >= 0;

e40:    x2 - x6 + x587 >= 0;

e41:    x2 - x7 + x588 >= 0;

e42:    x2 - x8 + x589 >= 0;

e43:    x3 - x4 + x590 >= 0;

e44:    x3 - x5 + x591 >= 0;

e45:    x3 - x6 + x592 >= 0;

e46:    x3 - x7 + x593 >= 0;

e47:    x3 - x8 + x594 >= 0;

e48:    x4 - x5 + x595 >= 0;

e49:    x4 - x6 + x596 >= 0;

e50:    x4 - x7 + x597 >= 0;

e51:    x4 - x8 + x598 >= 0;

e52:    x5 - x6 + x599 >= 0;

e53:    x5 - x7 + x600 >= 0;

e54:    x5 - x8 + x601 >= 0;

e55:    x6 - x7 + x602 >= 0;

e56:    x6 - x8 + x603 >= 0;

e57:    x7 - x8 + x604 >= 0;

e58:  - x9 + x10 + x605 >= 0;

e59:  - x9 + x11 + x606 >= 0;

e60:  - x9 + x12 + x607 >= 0;

e61:  - x9 + x13 + x608 >= 0;

e62:  - x9 + x14 + x609 >= 0;

e63:  - x9 + x15 + x610 >= 0;

e64:  - x9 + x16 + x611 >= 0;

e65:  - x10 + x11 + x612 >= 0;

e66:  - x10 + x12 + x613 >= 0;

e67:  - x10 + x13 + x614 >= 0;

e68:  - x10 + x14 + x615 >= 0;

e69:  - x10 + x15 + x616 >= 0;

e70:  - x10 + x16 + x617 >= 0;

e71:  - x11 + x12 + x618 >= 0;

e72:  - x11 + x13 + x619 >= 0;

e73:  - x11 + x14 + x620 >= 0;

e74:  - x11 + x15 + x621 >= 0;

e75:  - x11 + x16 + x622 >= 0;

e76:  - x12 + x13 + x623 >= 0;

e77:  - x12 + x14 + x624 >= 0;

e78:  - x12 + x15 + x625 >= 0;

e79:  - x12 + x16 + x626 >= 0;

e80:  - x13 + x14 + x627 >= 0;

e81:  - x13 + x15 + x628 >= 0;

e82:  - x13 + x16 + x629 >= 0;

e83:  - x14 + x15 + x630 >= 0;

e84:  - x14 + x16 + x631 >= 0;

e85:  - x15 + x16 + x632 >= 0;

e86:    x9 - x10 + x605 >= 0;

e87:    x9 - x11 + x606 >= 0;

e88:    x9 - x12 + x607 >= 0;

e89:    x9 - x13 + x608 >= 0;

e90:    x9 - x14 + x609 >= 0;

e91:    x9 - x15 + x610 >= 0;

e92:    x9 - x16 + x611 >= 0;

e93:    x10 - x11 + x612 >= 0;

e94:    x10 - x12 + x613 >= 0;

e95:    x10 - x13 + x614 >= 0;

e96:    x10 - x14 + x615 >= 0;

e97:    x10 - x15 + x616 >= 0;

e98:    x10 - x16 + x617 >= 0;

e99:    x11 - x12 + x618 >= 0;

e100:    x11 - x13 + x619 >= 0;

e101:    x11 - x14 + x620 >= 0;

e102:    x11 - x15 + x621 >= 0;

e103:    x11 - x16 + x622 >= 0;

e104:    x12 - x13 + x623 >= 0;

e105:    x12 - x14 + x624 >= 0;

e106:    x12 - x15 + x625 >= 0;

e107:    x12 - x16 + x626 >= 0;

e108:    x13 - x14 + x627 >= 0;

e109:    x13 - x15 + x628 >= 0;

e110:    x13 - x16 + x629 >= 0;

e111:    x14 - x15 + x630 >= 0;

e112:    x14 - x16 + x631 >= 0;

e113:    x15 - x16 + x632 >= 0;

e114:    x1 - x17 - x24 - x31 - x38 = 0;

e115:    x1 - x18 - x25 - x32 - x39 = 0;

e116:    x1 - x19 - x26 - x33 - x40 = 0;

e117:    x1 - x20 - x27 - x34 - x41 = 0;

e118:    x1 - x21 - x28 - x35 - x42 = 0;

e119:    x1 - x22 - x29 - x36 - x43 = 0;

e120:    x1 - x23 - x30 - x37 - x44 = 0;

e121:    x2 - x45 - x52 - x59 - x66 = 0;

e122:    x2 - x46 - x53 - x60 - x67 = 0;

e123:    x2 - x47 - x54 - x61 - x68 = 0;

e124:    x2 - x48 - x55 - x62 - x69 = 0;

e125:    x2 - x49 - x56 - x63 - x70 = 0;

e126:    x2 - x50 - x57 - x64 - x71 = 0;

e127:    x2 - x51 - x58 - x65 - x72 = 0;

e128:    x3 - x73 - x80 - x87 - x94 = 0;

e129:    x3 - x74 - x81 - x88 - x95 = 0;

e130:    x3 - x75 - x82 - x89 - x96 = 0;

e131:    x3 - x76 - x83 - x90 - x97 = 0;

e132:    x3 - x77 - x84 - x91 - x98 = 0;

e133:    x3 - x78 - x85 - x92 - x99 = 0;

e134:    x3 - x79 - x86 - x93 - x100 = 0;

e135:    x4 - x101 - x108 - x115 - x122 = 0;

e136:    x4 - x102 - x109 - x116 - x123 = 0;

e137:    x4 - x103 - x110 - x117 - x124 = 0;

e138:    x4 - x104 - x111 - x118 - x125 = 0;

e139:    x4 - x105 - x112 - x119 - x126 = 0;

e140:    x4 - x106 - x113 - x120 - x127 = 0;

e141:    x4 - x107 - x114 - x121 - x128 = 0;

e142:    x5 - x129 - x136 - x143 - x150 = 0;

e143:    x5 - x130 - x137 - x144 - x151 = 0;

e144:    x5 - x131 - x138 - x145 - x152 = 0;

e145:    x5 - x132 - x139 - x146 - x153 = 0;

e146:    x5 - x133 - x140 - x147 - x154 = 0;

e147:    x5 - x134 - x141 - x148 - x155 = 0;

e148:    x5 - x135 - x142 - x149 - x156 = 0;

e149:    x6 - x157 - x164 - x171 - x178 = 0;

e150:    x6 - x158 - x165 - x172 - x179 = 0;

e151:    x6 - x159 - x166 - x173 - x180 = 0;

e152:    x6 - x160 - x167 - x174 - x181 = 0;

e153:    x6 - x161 - x168 - x175 - x182 = 0;

e154:    x6 - x162 - x169 - x176 - x183 = 0;

e155:    x6 - x163 - x170 - x177 - x184 = 0;

e156:    x7 - x185 - x192 - x199 - x206 = 0;

e157:    x7 - x186 - x193 - x200 - x207 = 0;

e158:    x7 - x187 - x194 - x201 - x208 = 0;

e159:    x7 - x188 - x195 - x202 - x209 = 0;

e160:    x7 - x189 - x196 - x203 - x210 = 0;

e161:    x7 - x190 - x197 - x204 - x211 = 0;

e162:    x7 - x191 - x198 - x205 - x212 = 0;

e163:    x8 - x213 - x220 - x227 - x234 = 0;

e164:    x8 - x214 - x221 - x228 - x235 = 0;

e165:    x8 - x215 - x222 - x229 - x236 = 0;

e166:    x8 - x216 - x223 - x230 - x237 = 0;

e167:    x8 - x217 - x224 - x231 - x238 = 0;

e168:    x8 - x218 - x225 - x232 - x239 = 0;

e169:    x8 - x219 - x226 - x233 - x240 = 0;

e170:    x9 - x241 - x248 - x255 - x262 = 0;

e171:    x9 - x242 - x249 - x256 - x263 = 0;

e172:    x9 - x243 - x250 - x257 - x264 = 0;

e173:    x9 - x244 - x251 - x258 - x265 = 0;

e174:    x9 - x245 - x252 - x259 - x266 = 0;

e175:    x9 - x246 - x253 - x260 - x267 = 0;

e176:    x9 - x247 - x254 - x261 - x268 = 0;

e177:    x10 - x269 - x276 - x283 - x290 = 0;

e178:    x10 - x270 - x277 - x284 - x291 = 0;

e179:    x10 - x271 - x278 - x285 - x292 = 0;

e180:    x10 - x272 - x279 - x286 - x293 = 0;

e181:    x10 - x273 - x280 - x287 - x294 = 0;

e182:    x10 - x274 - x281 - x288 - x295 = 0;

e183:    x10 - x275 - x282 - x289 - x296 = 0;

e184:    x11 - x297 - x304 - x311 - x318 = 0;

e185:    x11 - x298 - x305 - x312 - x319 = 0;

e186:    x11 - x299 - x306 - x313 - x320 = 0;

e187:    x11 - x300 - x307 - x314 - x321 = 0;

e188:    x11 - x301 - x308 - x315 - x322 = 0;

e189:    x11 - x302 - x309 - x316 - x323 = 0;

e190:    x11 - x303 - x310 - x317 - x324 = 0;

e191:    x12 - x325 - x332 - x339 - x346 = 0;

e192:    x12 - x326 - x333 - x340 - x347 = 0;

e193:    x12 - x327 - x334 - x341 - x348 = 0;

e194:    x12 - x328 - x335 - x342 - x349 = 0;

e195:    x12 - x329 - x336 - x343 - x350 = 0;

e196:    x12 - x330 - x337 - x344 - x351 = 0;

e197:    x12 - x331 - x338 - x345 - x352 = 0;

e198:    x13 - x353 - x360 - x367 - x374 = 0;

e199:    x13 - x354 - x361 - x368 - x375 = 0;

e200:    x13 - x355 - x362 - x369 - x376 = 0;

e201:    x13 - x356 - x363 - x370 - x377 = 0;

e202:    x13 - x357 - x364 - x371 - x378 = 0;

e203:    x13 - x358 - x365 - x372 - x379 = 0;

e204:    x13 - x359 - x366 - x373 - x380 = 0;

e205:    x14 - x381 - x388 - x395 - x402 = 0;

e206:    x14 - x382 - x389 - x396 - x403 = 0;

e207:    x14 - x383 - x390 - x397 - x404 = 0;

e208:    x14 - x384 - x391 - x398 - x405 = 0;

e209:    x14 - x385 - x392 - x399 - x406 = 0;

e210:    x14 - x386 - x393 - x400 - x407 = 0;

e211:    x14 - x387 - x394 - x401 - x408 = 0;

e212:    x15 - x409 - x416 - x423 - x430 = 0;

e213:    x15 - x410 - x417 - x424 - x431 = 0;

e214:    x15 - x411 - x418 - x425 - x432 = 0;

e215:    x15 - x412 - x419 - x426 - x433 = 0;

e216:    x15 - x413 - x420 - x427 - x434 = 0;

e217:    x15 - x414 - x421 - x428 - x435 = 0;

e218:    x15 - x415 - x422 - x429 - x436 = 0;

e219:    x16 - x437 - x444 - x451 - x458 = 0;

e220:    x16 - x438 - x445 - x452 - x459 = 0;

e221:    x16 - x439 - x446 - x453 - x460 = 0;

e222:    x16 - x440 - x447 - x454 - x461 = 0;

e223:    x16 - x441 - x448 - x455 - x462 = 0;

e224:    x16 - x442 - x449 - x456 - x463 = 0;

e225:    x16 - x443 - x450 - x457 - x464 = 0;

e226:    x17 - 37.5*b465 <= 0;

e227:    x18 - 37.5*b466 <= 0;

e228:    x19 - 37.5*b467 <= 0;

e229:    x20 - 37.5*b468 <= 0;

e230:    x21 - 37.5*b469 <= 0;

e231:    x22 - 37.5*b470 <= 0;

e232:    x23 - 37.5*b471 <= 0;

e233:    x24 - 37.5*b493 <= 0;

e234:    x25 - 37.5*b494 <= 0;

e235:    x26 - 37.5*b495 <= 0;

e236:    x27 - 37.5*b496 <= 0;

e237:    x28 - 37.5*b497 <= 0;

e238:    x29 - 37.5*b498 <= 0;

e239:    x30 - 37.5*b499 <= 0;

e240:    x31 - 37.5*b521 <= 0;

e241:    x32 - 37.5*b522 <= 0;

e242:    x33 - 37.5*b523 <= 0;

e243:    x34 - 37.5*b524 <= 0;

e244:    x35 - 37.5*b525 <= 0;

e245:    x36 - 37.5*b526 <= 0;

e246:    x37 - 37.5*b527 <= 0;

e247:    x38 - 37.5*b549 <= 0;

e248:    x39 - 37.5*b550 <= 0;

e249:    x40 - 37.5*b551 <= 0;

e250:    x41 - 37.5*b552 <= 0;

e251:    x42 - 37.5*b553 <= 0;

e252:    x43 - 37.5*b554 <= 0;

e253:    x44 - 37.5*b555 <= 0;

e254:    x45 - 37.5*b465 <= 0;

e255:    x46 - 36.5*b472 <= 0;

e256:    x47 - 36.5*b473 <= 0;

e257:    x48 - 36.5*b474 <= 0;

e258:    x49 - 36.5*b475 <= 0;

e259:    x50 - 36.5*b476 <= 0;

e260:    x51 - 36.5*b477 <= 0;

e261:    x52 - 37.5*b493 <= 0;

e262:    x53 - 36.5*b500 <= 0;

e263:    x54 - 36.5*b501 <= 0;

e264:    x55 - 36.5*b502 <= 0;

e265:    x56 - 36.5*b503 <= 0;

e266:    x57 - 36.5*b504 <= 0;

e267:    x58 - 36.5*b505 <= 0;

e268:    x59 - 37.5*b521 <= 0;

e269:    x60 - 36.5*b528 <= 0;

e270:    x61 - 36.5*b529 <= 0;

e271:    x62 - 36.5*b530 <= 0;

e272:    x63 - 36.5*b531 <= 0;

e273:    x64 - 36.5*b532 <= 0;

e274:    x65 - 36.5*b533 <= 0;

e275:    x66 - 37.5*b549 <= 0;

e276:    x67 - 36.5*b556 <= 0;

e277:    x68 - 36.5*b557 <= 0;

e278:    x69 - 36.5*b558 <= 0;

e279:    x70 - 36.5*b559 <= 0;

e280:    x71 - 36.5*b560 <= 0;

e281:    x72 - 36.5*b561 <= 0;

e282:    x73 - 37.5*b466 <= 0;

e283:    x74 - 36.5*b472 <= 0;

e284:    x75 - 38.5*b478 <= 0;

e285:    x76 - 38.5*b479 <= 0;

e286:    x77 - 38.5*b480 <= 0;

e287:    x78 - 38.5*b481 <= 0;

e288:    x79 - 38.5*b482 <= 0;

e289:    x80 - 37.5*b494 <= 0;

e290:    x81 - 36.5*b500 <= 0;

e291:    x82 - 38.5*b506 <= 0;

e292:    x83 - 38.5*b507 <= 0;

e293:    x84 - 38.5*b508 <= 0;

e294:    x85 - 38.5*b509 <= 0;

e295:    x86 - 38.5*b510 <= 0;

e296:    x87 - 37.5*b522 <= 0;

e297:    x88 - 36.5*b528 <= 0;

e298:    x89 - 38.5*b534 <= 0;

e299:    x90 - 38.5*b535 <= 0;

e300:    x91 - 38.5*b536 <= 0;

e301:    x92 - 38.5*b537 <= 0;

e302:    x93 - 38.5*b538 <= 0;

e303:    x94 - 37.5*b550 <= 0;

e304:    x95 - 36.5*b556 <= 0;

e305:    x96 - 38.5*b562 <= 0;

e306:    x97 - 38.5*b563 <= 0;

e307:    x98 - 38.5*b564 <= 0;

e308:    x99 - 38.5*b565 <= 0;

e309:    x100 - 38.5*b566 <= 0;

e310:    x101 - 37.5*b467 <= 0;

e311:    x102 - 36.5*b473 <= 0;

e312:    x103 - 38.5*b478 <= 0;

e313:    x104 - 39*b483 <= 0;

e314:    x105 - 39*b484 <= 0;

e315:    x106 - 39*b485 <= 0;

e316:    x107 - 39*b486 <= 0;

e317:    x108 - 37.5*b495 <= 0;

e318:    x109 - 36.5*b501 <= 0;

e319:    x110 - 38.5*b506 <= 0;

e320:    x111 - 39*b511 <= 0;

e321:    x112 - 39*b512 <= 0;

e322:    x113 - 39*b513 <= 0;

e323:    x114 - 39*b514 <= 0;

e324:    x115 - 37.5*b523 <= 0;

e325:    x116 - 36.5*b529 <= 0;

e326:    x117 - 38.5*b534 <= 0;

e327:    x118 - 39*b539 <= 0;

e328:    x119 - 39*b540 <= 0;

e329:    x120 - 39*b541 <= 0;

e330:    x121 - 39*b542 <= 0;

e331:    x122 - 37.5*b551 <= 0;

e332:    x123 - 36.5*b557 <= 0;

e333:    x124 - 38.5*b562 <= 0;

e334:    x125 - 39*b567 <= 0;

e335:    x126 - 39*b568 <= 0;

e336:    x127 - 39*b569 <= 0;

e337:    x128 - 39*b570 <= 0;

e338:    x129 - 37.5*b468 <= 0;

e339:    x130 - 36.5*b474 <= 0;

e340:    x131 - 38.5*b479 <= 0;

e341:    x132 - 39*b483 <= 0;

e342:    x133 - 38*b487 <= 0;

e343:    x134 - 38*b488 <= 0;

e344:    x135 - 38*b489 <= 0;

e345:    x136 - 37.5*b496 <= 0;

e346:    x137 - 36.5*b502 <= 0;

e347:    x138 - 38.5*b507 <= 0;

e348:    x139 - 39*b511 <= 0;

e349:    x140 - 38*b515 <= 0;

e350:    x141 - 38*b516 <= 0;

e351:    x142 - 38*b517 <= 0;

e352:    x143 - 37.5*b524 <= 0;

e353:    x144 - 36.5*b530 <= 0;

e354:    x145 - 38.5*b535 <= 0;

e355:    x146 - 39*b539 <= 0;

e356:    x147 - 38*b543 <= 0;

e357:    x148 - 38*b544 <= 0;

e358:    x149 - 38*b545 <= 0;

e359:    x150 - 37.5*b552 <= 0;

e360:    x151 - 36.5*b558 <= 0;

e361:    x152 - 38.5*b563 <= 0;

e362:    x153 - 39*b567 <= 0;

e363:    x154 - 38*b571 <= 0;

e364:    x155 - 38*b572 <= 0;

e365:    x156 - 38*b573 <= 0;

e366:    x157 - 37.5*b469 <= 0;

e367:    x158 - 36.5*b475 <= 0;

e368:    x159 - 38.5*b480 <= 0;

e369:    x160 - 39*b484 <= 0;

e370:    x161 - 38*b487 <= 0;

e371:    x162 - 37.5*b490 <= 0;

e372:    x163 - 37.5*b491 <= 0;

e373:    x164 - 37.5*b497 <= 0;

e374:    x165 - 36.5*b503 <= 0;

e375:    x166 - 38.5*b508 <= 0;

e376:    x167 - 39*b512 <= 0;

e377:    x168 - 38*b515 <= 0;

e378:    x169 - 37.5*b518 <= 0;

e379:    x170 - 37.5*b519 <= 0;

e380:    x171 - 37.5*b525 <= 0;

e381:    x172 - 36.5*b531 <= 0;

e382:    x173 - 38.5*b536 <= 0;

e383:    x174 - 39*b540 <= 0;

e384:    x175 - 38*b543 <= 0;

e385:    x176 - 37.5*b546 <= 0;

e386:    x177 - 37.5*b547 <= 0;

e387:    x178 - 37.5*b553 <= 0;

e388:    x179 - 36.5*b559 <= 0;

e389:    x180 - 38.5*b564 <= 0;

e390:    x181 - 39*b568 <= 0;

e391:    x182 - 38*b571 <= 0;

e392:    x183 - 37.5*b574 <= 0;

e393:    x184 - 37.5*b575 <= 0;

e394:    x185 - 37.5*b470 <= 0;

e395:    x186 - 36.5*b476 <= 0;

e396:    x187 - 38.5*b481 <= 0;

e397:    x188 - 39*b485 <= 0;

e398:    x189 - 38*b488 <= 0;

e399:    x190 - 37.5*b490 <= 0;

e400:    x191 - 36*b492 <= 0;

e401:    x192 - 37.5*b498 <= 0;

e402:    x193 - 36.5*b504 <= 0;

e403:    x194 - 38.5*b509 <= 0;

e404:    x195 - 39*b513 <= 0;

e405:    x196 - 38*b516 <= 0;

e406:    x197 - 37.5*b518 <= 0;

e407:    x198 - 36*b520 <= 0;

e408:    x199 - 37.5*b526 <= 0;

e409:    x200 - 36.5*b532 <= 0;

e410:    x201 - 38.5*b537 <= 0;

e411:    x202 - 39*b541 <= 0;

e412:    x203 - 38*b544 <= 0;

e413:    x204 - 37.5*b546 <= 0;

e414:    x205 - 36*b548 <= 0;

e415:    x206 - 37.5*b554 <= 0;

e416:    x207 - 36.5*b560 <= 0;

e417:    x208 - 38.5*b565 <= 0;

e418:    x209 - 39*b569 <= 0;

e419:    x210 - 38*b572 <= 0;

e420:    x211 - 37.5*b574 <= 0;

e421:    x212 - 36*b576 <= 0;

e422:    x213 - 37.5*b471 <= 0;

e423:    x214 - 36.5*b477 <= 0;

e424:    x215 - 38.5*b482 <= 0;

e425:    x216 - 39*b486 <= 0;

e426:    x217 - 38*b489 <= 0;

e427:    x218 - 37.5*b491 <= 0;

e428:    x219 - 36*b492 <= 0;

e429:    x220 - 37.5*b499 <= 0;

e430:    x221 - 36.5*b505 <= 0;

e431:    x222 - 38.5*b510 <= 0;

e432:    x223 - 39*b514 <= 0;

e433:    x224 - 38*b517 <= 0;

e434:    x225 - 37.5*b519 <= 0;

e435:    x226 - 36*b520 <= 0;

e436:    x227 - 37.5*b527 <= 0;

e437:    x228 - 36.5*b533 <= 0;

e438:    x229 - 38.5*b538 <= 0;

e439:    x230 - 39*b542 <= 0;

e440:    x231 - 38*b545 <= 0;

e441:    x232 - 37.5*b547 <= 0;

e442:    x233 - 36*b548 <= 0;

e443:    x234 - 37.5*b555 <= 0;

e444:    x235 - 36.5*b561 <= 0;

e445:    x236 - 38.5*b566 <= 0;

e446:    x237 - 39*b570 <= 0;

e447:    x238 - 38*b573 <= 0;

e448:    x239 - 37.5*b575 <= 0;

e449:    x240 - 36*b576 <= 0;

e450:    x241 - 37*b465 <= 0;

e451:    x242 - 37*b466 <= 0;

e452:    x243 - 37*b467 <= 0;

e453:    x244 - 37*b468 <= 0;

e454:    x245 - 37*b469 <= 0;

e455:    x246 - 37*b470 <= 0;

e456:    x247 - 37*b471 <= 0;

e457:    x248 - 37*b493 <= 0;

e458:    x249 - 37*b494 <= 0;

e459:    x250 - 37*b495 <= 0;

e460:    x251 - 37*b496 <= 0;

e461:    x252 - 37*b497 <= 0;

e462:    x253 - 37*b498 <= 0;

e463:    x254 - 37*b499 <= 0;

e464:    x255 - 37*b521 <= 0;

e465:    x256 - 37*b522 <= 0;

e466:    x257 - 37*b523 <= 0;

e467:    x258 - 37*b524 <= 0;

e468:    x259 - 37*b525 <= 0;

e469:    x260 - 37*b526 <= 0;

e470:    x261 - 37*b527 <= 0;

e471:    x262 - 37*b549 <= 0;

e472:    x263 - 37*b550 <= 0;

e473:    x264 - 37*b551 <= 0;

e474:    x265 - 37*b552 <= 0;

e475:    x266 - 37*b553 <= 0;

e476:    x267 - 37*b554 <= 0;

e477:    x268 - 37*b555 <= 0;

e478:    x269 - 37*b465 <= 0;

e479:    x270 - 37.5*b472 <= 0;

e480:    x271 - 37.5*b473 <= 0;

e481:    x272 - 37.5*b474 <= 0;

e482:    x273 - 37.5*b475 <= 0;

e483:    x274 - 37.5*b476 <= 0;

e484:    x275 - 37.5*b477 <= 0;

e485:    x276 - 37*b493 <= 0;

e486:    x277 - 37.5*b500 <= 0;

e487:    x278 - 37.5*b501 <= 0;

e488:    x279 - 37.5*b502 <= 0;

e489:    x280 - 37.5*b503 <= 0;

e490:    x281 - 37.5*b504 <= 0;

e491:    x282 - 37.5*b505 <= 0;

e492:    x283 - 37*b521 <= 0;

e493:    x284 - 37.5*b528 <= 0;

e494:    x285 - 37.5*b529 <= 0;

e495:    x286 - 37.5*b530 <= 0;

e496:    x287 - 37.5*b531 <= 0;

e497:    x288 - 37.5*b532 <= 0;

e498:    x289 - 37.5*b533 <= 0;

e499:    x290 - 37*b549 <= 0;

e500:    x291 - 37.5*b556 <= 0;

e501:    x292 - 37.5*b557 <= 0;

e502:    x293 - 37.5*b558 <= 0;

e503:    x294 - 37.5*b559 <= 0;

e504:    x295 - 37.5*b560 <= 0;

e505:    x296 - 37.5*b561 <= 0;

e506:    x297 - 37*b466 <= 0;

e507:    x298 - 37.5*b472 <= 0;

e508:    x299 - 38.5*b478 <= 0;

e509:    x300 - 38.5*b479 <= 0;

e510:    x301 - 38.5*b480 <= 0;

e511:    x302 - 38.5*b481 <= 0;

e512:    x303 - 38.5*b482 <= 0;

e513:    x304 - 37*b494 <= 0;

e514:    x305 - 37.5*b500 <= 0;

e515:    x306 - 38.5*b506 <= 0;

e516:    x307 - 38.5*b507 <= 0;

e517:    x308 - 38.5*b508 <= 0;

e518:    x309 - 38.5*b509 <= 0;

e519:    x310 - 38.5*b510 <= 0;

e520:    x311 - 37*b522 <= 0;

e521:    x312 - 37.5*b528 <= 0;

e522:    x313 - 38.5*b534 <= 0;

e523:    x314 - 38.5*b535 <= 0;

e524:    x315 - 38.5*b536 <= 0;

e525:    x316 - 38.5*b537 <= 0;

e526:    x317 - 38.5*b538 <= 0;

e527:    x318 - 37*b550 <= 0;

e528:    x319 - 37.5*b556 <= 0;

e529:    x320 - 38.5*b562 <= 0;

e530:    x321 - 38.5*b563 <= 0;

e531:    x322 - 38.5*b564 <= 0;

e532:    x323 - 38.5*b565 <= 0;

e533:    x324 - 38.5*b566 <= 0;

e534:    x325 - 37*b467 <= 0;

e535:    x326 - 37.5*b473 <= 0;

e536:    x327 - 38.5*b478 <= 0;

e537:    x328 - 38.5*b483 <= 0;

e538:    x329 - 38.5*b484 <= 0;

e539:    x330 - 38.5*b485 <= 0;

e540:    x331 - 38.5*b486 <= 0;

e541:    x332 - 37*b495 <= 0;

e542:    x333 - 37.5*b501 <= 0;

e543:    x334 - 38.5*b506 <= 0;

e544:    x335 - 38.5*b511 <= 0;

e545:    x336 - 38.5*b512 <= 0;

e546:    x337 - 38.5*b513 <= 0;

e547:    x338 - 38.5*b514 <= 0;

e548:    x339 - 37*b523 <= 0;

e549:    x340 - 37.5*b529 <= 0;

e550:    x341 - 38.5*b534 <= 0;

e551:    x342 - 38.5*b539 <= 0;

e552:    x343 - 38.5*b540 <= 0;

e553:    x344 - 38.5*b541 <= 0;

e554:    x345 - 38.5*b542 <= 0;

e555:    x346 - 37*b551 <= 0;

e556:    x347 - 37.5*b557 <= 0;

e557:    x348 - 38.5*b562 <= 0;

e558:    x349 - 38.5*b567 <= 0;

e559:    x350 - 38.5*b568 <= 0;

e560:    x351 - 38.5*b569 <= 0;

e561:    x352 - 38.5*b570 <= 0;

e562:    x353 - 37*b468 <= 0;

e563:    x354 - 37.5*b474 <= 0;

e564:    x355 - 38.5*b479 <= 0;

e565:    x356 - 38.5*b483 <= 0;

e566:    x357 - 38*b487 <= 0;

e567:    x358 - 38*b488 <= 0;

e568:    x359 - 38*b489 <= 0;

e569:    x360 - 37*b496 <= 0;

e570:    x361 - 37.5*b502 <= 0;

e571:    x362 - 38.5*b507 <= 0;

e572:    x363 - 38.5*b511 <= 0;

e573:    x364 - 38*b515 <= 0;

e574:    x365 - 38*b516 <= 0;

e575:    x366 - 38*b517 <= 0;

e576:    x367 - 37*b524 <= 0;

e577:    x368 - 37.5*b530 <= 0;

e578:    x369 - 38.5*b535 <= 0;

e579:    x370 - 38.5*b539 <= 0;

e580:    x371 - 38*b543 <= 0;

e581:    x372 - 38*b544 <= 0;

e582:    x373 - 38*b545 <= 0;

e583:    x374 - 37*b552 <= 0;

e584:    x375 - 37.5*b558 <= 0;

e585:    x376 - 38.5*b563 <= 0;

e586:    x377 - 38.5*b567 <= 0;

e587:    x378 - 38*b571 <= 0;

e588:    x379 - 38*b572 <= 0;

e589:    x380 - 38*b573 <= 0;

e590:    x381 - 37*b469 <= 0;

e591:    x382 - 37.5*b475 <= 0;

e592:    x383 - 38.5*b480 <= 0;

e593:    x384 - 38.5*b484 <= 0;

e594:    x385 - 38*b487 <= 0;

e595:    x386 - 39*b490 <= 0;

e596:    x387 - 39*b491 <= 0;

e597:    x388 - 37*b497 <= 0;

e598:    x389 - 37.5*b503 <= 0;

e599:    x390 - 38.5*b508 <= 0;

e600:    x391 - 38.5*b512 <= 0;

e601:    x392 - 38*b515 <= 0;

e602:    x393 - 39*b518 <= 0;

e603:    x394 - 39*b519 <= 0;

e604:    x395 - 37*b525 <= 0;

e605:    x396 - 37.5*b531 <= 0;

e606:    x397 - 38.5*b536 <= 0;

e607:    x398 - 38.5*b540 <= 0;

e608:    x399 - 38*b543 <= 0;

e609:    x400 - 39*b546 <= 0;

e610:    x401 - 39*b547 <= 0;

e611:    x402 - 37*b553 <= 0;

e612:    x403 - 37.5*b559 <= 0;

e613:    x404 - 38.5*b564 <= 0;

e614:    x405 - 38.5*b568 <= 0;

e615:    x406 - 38*b571 <= 0;

e616:    x407 - 39*b574 <= 0;

e617:    x408 - 39*b575 <= 0;

e618:    x409 - 37*b470 <= 0;

e619:    x410 - 37.5*b476 <= 0;

e620:    x411 - 38.5*b481 <= 0;

e621:    x412 - 38.5*b485 <= 0;

e622:    x413 - 38*b488 <= 0;

e623:    x414 - 39*b490 <= 0;

e624:    x415 - 37*b492 <= 0;

e625:    x416 - 37*b498 <= 0;

e626:    x417 - 37.5*b504 <= 0;

e627:    x418 - 38.5*b509 <= 0;

e628:    x419 - 38.5*b513 <= 0;

e629:    x420 - 38*b516 <= 0;

e630:    x421 - 39*b518 <= 0;

e631:    x422 - 37*b520 <= 0;

e632:    x423 - 37*b526 <= 0;

e633:    x424 - 37.5*b532 <= 0;

e634:    x425 - 38.5*b537 <= 0;

e635:    x426 - 38.5*b541 <= 0;

e636:    x427 - 38*b544 <= 0;

e637:    x428 - 39*b546 <= 0;

e638:    x429 - 37*b548 <= 0;

e639:    x430 - 37*b554 <= 0;

e640:    x431 - 37.5*b560 <= 0;

e641:    x432 - 38.5*b565 <= 0;

e642:    x433 - 38.5*b569 <= 0;

e643:    x434 - 38*b572 <= 0;

e644:    x435 - 39*b574 <= 0;

e645:    x436 - 37*b576 <= 0;

e646:    x437 - 37*b471 <= 0;

e647:    x438 - 37.5*b477 <= 0;

e648:    x439 - 38.5*b482 <= 0;

e649:    x440 - 38.5*b486 <= 0;

e650:    x441 - 38*b489 <= 0;

e651:    x442 - 39*b491 <= 0;

e652:    x443 - 37*b492 <= 0;

e653:    x444 - 37*b499 <= 0;

e654:    x445 - 37.5*b505 <= 0;

e655:    x446 - 38.5*b510 <= 0;

e656:    x447 - 38.5*b514 <= 0;

e657:    x448 - 38*b517 <= 0;

e658:    x449 - 39*b519 <= 0;

e659:    x450 - 37*b520 <= 0;

e660:    x451 - 37*b527 <= 0;

e661:    x452 - 37.5*b533 <= 0;

e662:    x453 - 38.5*b538 <= 0;

e663:    x454 - 38.5*b542 <= 0;

e664:    x455 - 38*b545 <= 0;

e665:    x456 - 39*b547 <= 0;

e666:    x457 - 37*b548 <= 0;

e667:    x458 - 37*b555 <= 0;

e668:    x459 - 37.5*b561 <= 0;

e669:    x460 - 38.5*b566 <= 0;

e670:    x461 - 38.5*b570 <= 0;

e671:    x462 - 38*b573 <= 0;

e672:    x463 - 39*b575 <= 0;

e673:    x464 - 37*b576 <= 0;

e674:    x17 - x45 + 6*b465 <= 0;

e675:    x18 - x73 + 4*b466 <= 0;

e676:    x19 - x101 + 3.5*b467 <= 0;

e677:    x20 - x129 + 4.5*b468 <= 0;

e678:    x21 - x157 + 5*b469 <= 0;

e679:    x22 - x185 + 6.5*b470 <= 0;

e680:    x23 - x213 + 4.5*b471 <= 0;

e681:    x46 - x74 + 5*b472 <= 0;

e682:    x47 - x102 + 4.5*b473 <= 0;

e683:    x48 - x130 + 5.5*b474 <= 0;

e684:    x49 - x158 + 6*b475 <= 0;

e685:    x50 - x186 + 7.5*b476 <= 0;

e686:    x51 - x214 + 5.5*b477 <= 0;

e687:    x75 - x103 + 2.5*b478 <= 0;

e688:    x76 - x131 + 3.5*b479 <= 0;

e689:    x77 - x159 + 4*b480 <= 0;

e690:    x78 - x187 + 5.5*b481 <= 0;

e691:    x79 - x215 + 3.5*b482 <= 0;

e692:    x104 - x132 + 3*b483 <= 0;

e693:    x105 - x160 + 3.5*b484 <= 0;

e694:    x106 - x188 + 5*b485 <= 0;

e695:    x107 - x216 + 3*b486 <= 0;

e696:    x133 - x161 + 4.5*b487 <= 0;

e697:    x134 - x189 + 6*b488 <= 0;

e698:    x135 - x217 + 4*b489 <= 0;

e699:    x162 - x190 + 6.5*b490 <= 0;

e700:    x163 - x218 + 4.5*b491 <= 0;

e701:    x191 - x219 + 6*b492 <= 0;

e702:  - x24 + x52 + 6*b493 <= 0;

e703:  - x25 + x80 + 4*b494 <= 0;

e704:  - x26 + x108 + 3.5*b495 <= 0;

e705:  - x27 + x136 + 4.5*b496 <= 0;

e706:  - x28 + x164 + 5*b497 <= 0;

e707:  - x29 + x192 + 6.5*b498 <= 0;

e708:  - x30 + x220 + 4.5*b499 <= 0;

e709:  - x53 + x81 + 5*b500 <= 0;

e710:  - x54 + x109 + 4.5*b501 <= 0;

e711:  - x55 + x137 + 5.5*b502 <= 0;

e712:  - x56 + x165 + 6*b503 <= 0;

e713:  - x57 + x193 + 7.5*b504 <= 0;

e714:  - x58 + x221 + 5.5*b505 <= 0;

e715:  - x82 + x110 + 2.5*b506 <= 0;

e716:  - x83 + x138 + 3.5*b507 <= 0;

e717:  - x84 + x166 + 4*b508 <= 0;

e718:  - x85 + x194 + 5.5*b509 <= 0;

e719:  - x86 + x222 + 3.5*b510 <= 0;

e720:  - x111 + x139 + 3*b511 <= 0;

e721:  - x112 + x167 + 3.5*b512 <= 0;

e722:  - x113 + x195 + 5*b513 <= 0;

e723:  - x114 + x223 + 3*b514 <= 0;

e724:  - x140 + x168 + 4.5*b515 <= 0;

e725:  - x141 + x196 + 6*b516 <= 0;

e726:  - x142 + x224 + 4*b517 <= 0;

e727:  - x169 + x197 + 6.5*b518 <= 0;

e728:  - x170 + x225 + 4.5*b519 <= 0;

e729:  - x198 + x226 + 6*b520 <= 0;

e730:    x255 - x283 + 5.5*b521 <= 0;

e731:    x256 - x311 + 4.5*b522 <= 0;

e732:    x257 - x339 + 4.5*b523 <= 0;

e733:    x258 - x367 + 5*b524 <= 0;

e734:    x259 - x395 + 4*b525 <= 0;

e735:    x260 - x423 + 6*b526 <= 0;

e736:    x261 - x451 + 6*b527 <= 0;

e737:    x284 - x312 + 4*b528 <= 0;

e738:    x285 - x340 + 4*b529 <= 0;

e739:    x286 - x368 + 4.5*b530 <= 0;

e740:    x287 - x396 + 3.5*b531 <= 0;

e741:    x288 - x424 + 5.5*b532 <= 0;

e742:    x289 - x452 + 5.5*b533 <= 0;

e743:    x313 - x341 + 3*b534 <= 0;

e744:    x314 - x369 + 3.5*b535 <= 0;

e745:    x315 - x397 + 2.5*b536 <= 0;

e746:    x316 - x425 + 4.5*b537 <= 0;

e747:    x317 - x453 + 4.5*b538 <= 0;

e748:    x342 - x370 + 3.5*b539 <= 0;

e749:    x343 - x398 + 2.5*b540 <= 0;

e750:    x344 - x426 + 4.5*b541 <= 0;

e751:    x345 - x454 + 4.5*b542 <= 0;

e752:    x371 - x399 + 3*b543 <= 0;

e753:    x372 - x427 + 5*b544 <= 0;

e754:    x373 - x455 + 5*b545 <= 0;

e755:    x400 - x428 + 4*b546 <= 0;

e756:    x401 - x456 + 4*b547 <= 0;

e757:    x429 - x457 + 6*b548 <= 0;

e758:  - x262 + x290 + 5.5*b549 <= 0;

e759:  - x263 + x318 + 4.5*b550 <= 0;

e760:  - x264 + x346 + 4.5*b551 <= 0;

e761:  - x265 + x374 + 5*b552 <= 0;

e762:  - x266 + x402 + 4*b553 <= 0;

e763:  - x267 + x430 + 6*b554 <= 0;

e764:  - x268 + x458 + 6*b555 <= 0;

e765:  - x291 + x319 + 4*b556 <= 0;

e766:  - x292 + x347 + 4*b557 <= 0;

e767:  - x293 + x375 + 4.5*b558 <= 0;

e768:  - x294 + x403 + 3.5*b559 <= 0;

e769:  - x295 + x431 + 5.5*b560 <= 0;

e770:  - x296 + x459 + 5.5*b561 <= 0;

e771:  - x320 + x348 + 3*b562 <= 0;

e772:  - x321 + x376 + 3.5*b563 <= 0;

e773:  - x322 + x404 + 2.5*b564 <= 0;

e774:  - x323 + x432 + 4.5*b565 <= 0;

e775:  - x324 + x460 + 4.5*b566 <= 0;

e776:  - x349 + x377 + 3.5*b567 <= 0;

e777:  - x350 + x405 + 2.5*b568 <= 0;

e778:  - x351 + x433 + 4.5*b569 <= 0;

e779:  - x352 + x461 + 4.5*b570 <= 0;

e780:  - x378 + x406 + 3*b571 <= 0;

e781:  - x379 + x434 + 5*b572 <= 0;

e782:  - x380 + x462 + 5*b573 <= 0;

e783:  - x407 + x435 + 4*b574 <= 0;

e784:  - x408 + x463 + 4*b575 <= 0;

e785:  - x436 + x464 + 6*b576 <= 0;

e786:    b465 + b493 + b521 + b549 = 1;

e787:    b466 + b494 + b522 + b550 = 1;

e788:    b467 + b495 + b523 + b551 = 1;

e789:    b468 + b496 + b524 + b552 = 1;

e790:    b469 + b497 + b525 + b553 = 1;

e791:    b470 + b498 + b526 + b554 = 1;

e792:    b471 + b499 + b527 + b555 = 1;

e793:    b472 + b500 + b528 + b556 = 1;

e794:    b473 + b501 + b529 + b557 = 1;

e795:    b474 + b502 + b530 + b558 = 1;

e796:    b475 + b503 + b531 + b559 = 1;

e797:    b476 + b504 + b532 + b560 = 1;

e798:    b477 + b505 + b533 + b561 = 1;

e799:    b478 + b506 + b534 + b562 = 1;

e800:    b479 + b507 + b535 + b563 = 1;

e801:    b480 + b508 + b536 + b564 = 1;

e802:    b481 + b509 + b537 + b565 = 1;

e803:    b482 + b510 + b538 + b566 = 1;

e804:    b483 + b511 + b539 + b567 = 1;

e805:    b484 + b512 + b540 + b568 = 1;

e806:    b485 + b513 + b541 + b569 = 1;

e807:    b486 + b514 + b542 + b570 = 1;

e808:    b487 + b515 + b543 + b571 = 1;

e809:    b488 + b516 + b544 + b572 = 1;

e810:    b489 + b517 + b545 + b573 = 1;

e811:    b490 + b518 + b546 + b574 = 1;

e812:    b491 + b519 + b547 + b575 = 1;

e813:    b492 + b520 + b548 + b576 = 1;