#  MINLP written by GAMS Convert at 01/12/18 13:33:45
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        694      136       12      546        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        567      507       60        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       1851     1845        6        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 >= 0, <= 29;
var x2 >= 0, <= 29;
var x3 >= 0, <= 29;
var x4 >= 0, <= 29;
var x5 >= 0, <= 29;
var x6 >= 0, <= 29;
var x7 >= 0, <= 29;
var x8 >= 0, <= 29;
var x9 >= 0, <= 29;
var x10 >= 0, <= 29;
var x11 >= 0, <= 29;
var x12 >= 0, <= 29;
var x13 := 1, >= 1, <= 40;
var x14 := 1, >= 1, <= 50;
var x15 := 1, >= 1, <= 60;
var x16 := 1, >= 1, <= 35;
var x17 := 1, >= 1, <= 75;
var x18 := 1, >= 1, <= 20;
var x19 := 1, >= 1, <= 40;
var x20 := 1, >= 1, <= 50;
var x21 := 1, >= 1, <= 60;
var x22 := 1, >= 1, <= 35;
var x23 := 1, >= 1, <= 75;
var x24 := 1, >= 1, <= 20;
var x25 >= 0, <= 30;
var x26 >= 0, <= 30;
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 x465 >= 0;
var x466 >= 0;
var x467 >= 0;
var x468 >= 0;
var x469 >= 0;
var x470 >= 0;
var x471 >= 0;
var x472 >= 0;
var x473 >= 0;
var x474 >= 0;
var x475 >= 0;
var x476 >= 0;
var x477 >= 0;
var x478 >= 0;
var x479 >= 0;
var x480 >= 0;
var x481 >= 0;
var x482 >= 0;
var x483 >= 0;
var x484 >= 0;
var x485 >= 0;
var x486 >= 0;
var x487 >= 0;
var x488 >= 0;
var x489 >= 0;
var x490 >= 0;
var x491 >= 0;
var x492 >= 0;
var x493 >= 0;
var x494 >= 0;
var x495 >= 0;
var x496 >= 0;
var x497 >= 0;
var x498 >= 0;
var x499 >= 0;
var x500 >= 0;
var x501 >= 0;
var x502 >= 0;
var x503 >= 0;
var x504 >= 0;
var x505 >= 0;
var x506 >= 0;
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;

minimize obj:    2*x25 + 2*x26;

subject to

e2:  - x1 - x13 + x25 >= 0;

e3:  - x2 - x14 + x25 >= 0;

e4:  - x3 - x15 + x25 >= 0;

e5:  - x4 - x16 + x25 >= 0;

e6:  - x5 - x17 + x25 >= 0;

e7:  - x6 - x18 + x25 >= 0;

e8:  - x7 - x19 + x26 >= 0;

e9:  - x8 - x20 + x26 >= 0;

e10:  - x9 - x21 + x26 >= 0;

e11:  - x10 - x22 + x26 >= 0;

e12:  - x11 - x23 + x26 >= 0;

e13:  - x12 - x24 + x26 >= 0;

e14: 40/x19 - x13 <= 0;

e15: 50/x20 - x14 <= 0;

e16: 60/x21 - x15 <= 0;

e17: 35/x22 - x16 <= 0;

e18: 75/x23 - x17 <= 0;

e19: 20/x24 - x18 <= 0;

e20:    x1 - x27 - x32 - x37 - x42 = 0;

e21:    x1 - x28 - x33 - x38 - x43 = 0;

e22:    x1 - x29 - x34 - x39 - x44 = 0;

e23:    x1 - x30 - x35 - x40 - x45 = 0;

e24:    x1 - x31 - x36 - x41 - x46 = 0;

e25:    x2 - x47 - x52 - x57 - x62 = 0;

e26:    x2 - x48 - x53 - x58 - x63 = 0;

e27:    x2 - x49 - x54 - x59 - x64 = 0;

e28:    x2 - x50 - x55 - x60 - x65 = 0;

e29:    x2 - x51 - x56 - x61 - x66 = 0;

e30:    x3 - x67 - x72 - x77 - x82 = 0;

e31:    x3 - x68 - x73 - x78 - x83 = 0;

e32:    x3 - x69 - x74 - x79 - x84 = 0;

e33:    x3 - x70 - x75 - x80 - x85 = 0;

e34:    x3 - x71 - x76 - x81 - x86 = 0;

e35:    x4 - x87 - x92 - x97 - x102 = 0;

e36:    x4 - x88 - x93 - x98 - x103 = 0;

e37:    x4 - x89 - x94 - x99 - x104 = 0;

e38:    x4 - x90 - x95 - x100 - x105 = 0;

e39:    x4 - x91 - x96 - x101 - x106 = 0;

e40:    x5 - x107 - x112 - x117 - x122 = 0;

e41:    x5 - x108 - x113 - x118 - x123 = 0;

e42:    x5 - x109 - x114 - x119 - x124 = 0;

e43:    x5 - x110 - x115 - x120 - x125 = 0;

e44:    x5 - x111 - x116 - x121 - x126 = 0;

e45:    x6 - x127 - x132 - x137 - x142 = 0;

e46:    x6 - x128 - x133 - x138 - x143 = 0;

e47:    x6 - x129 - x134 - x139 - x144 = 0;

e48:    x6 - x130 - x135 - x140 - x145 = 0;

e49:    x6 - x131 - x136 - x141 - x146 = 0;

e50:    x7 - x147 - x152 - x157 - x162 = 0;

e51:    x7 - x148 - x153 - x158 - x163 = 0;

e52:    x7 - x149 - x154 - x159 - x164 = 0;

e53:    x7 - x150 - x155 - x160 - x165 = 0;

e54:    x7 - x151 - x156 - x161 - x166 = 0;

e55:    x8 - x167 - x172 - x177 - x182 = 0;

e56:    x8 - x168 - x173 - x178 - x183 = 0;

e57:    x8 - x169 - x174 - x179 - x184 = 0;

e58:    x8 - x170 - x175 - x180 - x185 = 0;

e59:    x8 - x171 - x176 - x181 - x186 = 0;

e60:    x9 - x187 - x192 - x197 - x202 = 0;

e61:    x9 - x188 - x193 - x198 - x203 = 0;

e62:    x9 - x189 - x194 - x199 - x204 = 0;

e63:    x9 - x190 - x195 - x200 - x205 = 0;

e64:    x9 - x191 - x196 - x201 - x206 = 0;

e65:    x10 - x207 - x212 - x217 - x222 = 0;

e66:    x10 - x208 - x213 - x218 - x223 = 0;

e67:    x10 - x209 - x214 - x219 - x224 = 0;

e68:    x10 - x210 - x215 - x220 - x225 = 0;

e69:    x10 - x211 - x216 - x221 - x226 = 0;

e70:    x11 - x227 - x232 - x237 - x242 = 0;

e71:    x11 - x228 - x233 - x238 - x243 = 0;

e72:    x11 - x229 - x234 - x239 - x244 = 0;

e73:    x11 - x230 - x235 - x240 - x245 = 0;

e74:    x11 - x231 - x236 - x241 - x246 = 0;

e75:    x12 - x247 - x252 - x257 - x262 = 0;

e76:    x12 - x248 - x253 - x258 - x263 = 0;

e77:    x12 - x249 - x254 - x259 - x264 = 0;

e78:    x12 - x250 - x255 - x260 - x265 = 0;

e79:    x12 - x251 - x256 - x261 - x266 = 0;

e80:    x13 - x267 - x272 - x277 - x282 = 0;

e81:    x13 - x268 - x273 - x278 - x283 = 0;

e82:    x13 - x269 - x274 - x279 - x284 = 0;

e83:    x13 - x270 - x275 - x280 - x285 = 0;

e84:    x13 - x271 - x276 - x281 - x286 = 0;

e85:    x14 - x287 - x292 - x297 - x302 = 0;

e86:    x14 - x288 - x293 - x298 - x303 = 0;

e87:    x14 - x289 - x294 - x299 - x304 = 0;

e88:    x14 - x290 - x295 - x300 - x305 = 0;

e89:    x14 - x291 - x296 - x301 - x306 = 0;

e90:    x15 - x307 - x312 - x317 - x322 = 0;

e91:    x15 - x308 - x313 - x318 - x323 = 0;

e92:    x15 - x309 - x314 - x319 - x324 = 0;

e93:    x15 - x310 - x315 - x320 - x325 = 0;

e94:    x15 - x311 - x316 - x321 - x326 = 0;

e95:    x16 - x327 - x332 - x337 - x342 = 0;

e96:    x16 - x328 - x333 - x338 - x343 = 0;

e97:    x16 - x329 - x334 - x339 - x344 = 0;

e98:    x16 - x330 - x335 - x340 - x345 = 0;

e99:    x16 - x331 - x336 - x341 - x346 = 0;

e100:    x17 - x347 - x352 - x357 - x362 = 0;

e101:    x17 - x348 - x353 - x358 - x363 = 0;

e102:    x17 - x349 - x354 - x359 - x364 = 0;

e103:    x17 - x350 - x355 - x360 - x365 = 0;

e104:    x17 - x351 - x356 - x361 - x366 = 0;

e105:    x18 - x367 - x372 - x377 - x382 = 0;

e106:    x18 - x368 - x373 - x378 - x383 = 0;

e107:    x18 - x369 - x374 - x379 - x384 = 0;

e108:    x18 - x370 - x375 - x380 - x385 = 0;

e109:    x18 - x371 - x376 - x381 - x386 = 0;

e110:    x19 - x387 - x392 - x397 - x402 = 0;

e111:    x19 - x388 - x393 - x398 - x403 = 0;

e112:    x19 - x389 - x394 - x399 - x404 = 0;

e113:    x19 - x390 - x395 - x400 - x405 = 0;

e114:    x19 - x391 - x396 - x401 - x406 = 0;

e115:    x20 - x407 - x412 - x417 - x422 = 0;

e116:    x20 - x408 - x413 - x418 - x423 = 0;

e117:    x20 - x409 - x414 - x419 - x424 = 0;

e118:    x20 - x410 - x415 - x420 - x425 = 0;

e119:    x20 - x411 - x416 - x421 - x426 = 0;

e120:    x21 - x427 - x432 - x437 - x442 = 0;

e121:    x21 - x428 - x433 - x438 - x443 = 0;

e122:    x21 - x429 - x434 - x439 - x444 = 0;

e123:    x21 - x430 - x435 - x440 - x445 = 0;

e124:    x21 - x431 - x436 - x441 - x446 = 0;

e125:    x22 - x447 - x452 - x457 - x462 = 0;

e126:    x22 - x448 - x453 - x458 - x463 = 0;

e127:    x22 - x449 - x454 - x459 - x464 = 0;

e128:    x22 - x450 - x455 - x460 - x465 = 0;

e129:    x22 - x451 - x456 - x461 - x466 = 0;

e130:    x23 - x467 - x472 - x477 - x482 = 0;

e131:    x23 - x468 - x473 - x478 - x483 = 0;

e132:    x23 - x469 - x474 - x479 - x484 = 0;

e133:    x23 - x470 - x475 - x480 - x485 = 0;

e134:    x23 - x471 - x476 - x481 - x486 = 0;

e135:    x24 - x487 - x492 - x497 - x502 = 0;

e136:    x24 - x488 - x493 - x498 - x503 = 0;

e137:    x24 - x489 - x494 - x499 - x504 = 0;

e138:    x24 - x490 - x495 - x500 - x505 = 0;

e139:    x24 - x491 - x496 - x501 - x506 = 0;

e140:    x27 - 29*b507 <= 0;

e141:    x28 - 29*b508 <= 0;

e142:    x29 - 29*b509 <= 0;

e143:    x30 - 29*b510 <= 0;

e144:    x31 - 29*b511 <= 0;

e145:    x32 - 29*b522 <= 0;

e146:    x33 - 29*b523 <= 0;

e147:    x34 - 29*b524 <= 0;

e148:    x35 - 29*b525 <= 0;

e149:    x36 - 29*b526 <= 0;

e150:    x37 - 29*b537 <= 0;

e151:    x38 - 29*b538 <= 0;

e152:    x39 - 29*b539 <= 0;

e153:    x40 - 29*b540 <= 0;

e154:    x41 - 29*b541 <= 0;

e155:    x42 - 29*b552 <= 0;

e156:    x43 - 29*b553 <= 0;

e157:    x44 - 29*b554 <= 0;

e158:    x45 - 29*b555 <= 0;

e159:    x46 - 29*b556 <= 0;

e160:    x47 - 29*b507 <= 0;

e161:    x48 - 29*b512 <= 0;

e162:    x49 - 29*b513 <= 0;

e163:    x50 - 29*b514 <= 0;

e164:    x51 - 29*b515 <= 0;

e165:    x52 - 29*b522 <= 0;

e166:    x53 - 29*b527 <= 0;

e167:    x54 - 29*b528 <= 0;

e168:    x55 - 29*b529 <= 0;

e169:    x56 - 29*b530 <= 0;

e170:    x57 - 29*b537 <= 0;

e171:    x58 - 29*b542 <= 0;

e172:    x59 - 29*b543 <= 0;

e173:    x60 - 29*b544 <= 0;

e174:    x61 - 29*b545 <= 0;

e175:    x62 - 29*b552 <= 0;

e176:    x63 - 29*b557 <= 0;

e177:    x64 - 29*b558 <= 0;

e178:    x65 - 29*b559 <= 0;

e179:    x66 - 29*b560 <= 0;

e180:    x67 - 29*b508 <= 0;

e181:    x68 - 29*b512 <= 0;

e182:    x69 - 29*b516 <= 0;

e183:    x70 - 29*b517 <= 0;

e184:    x71 - 29*b518 <= 0;

e185:    x72 - 29*b523 <= 0;

e186:    x73 - 29*b527 <= 0;

e187:    x74 - 29*b531 <= 0;

e188:    x75 - 29*b532 <= 0;

e189:    x76 - 29*b533 <= 0;

e190:    x77 - 29*b538 <= 0;

e191:    x78 - 29*b542 <= 0;

e192:    x79 - 29*b546 <= 0;

e193:    x80 - 29*b547 <= 0;

e194:    x81 - 29*b548 <= 0;

e195:    x82 - 29*b553 <= 0;

e196:    x83 - 29*b557 <= 0;

e197:    x84 - 29*b561 <= 0;

e198:    x85 - 29*b562 <= 0;

e199:    x86 - 29*b563 <= 0;

e200:    x87 - 29*b509 <= 0;

e201:    x88 - 29*b513 <= 0;

e202:    x89 - 29*b516 <= 0;

e203:    x90 - 29*b519 <= 0;

e204:    x91 - 29*b520 <= 0;

e205:    x92 - 29*b524 <= 0;

e206:    x93 - 29*b528 <= 0;

e207:    x94 - 29*b531 <= 0;

e208:    x95 - 29*b534 <= 0;

e209:    x96 - 29*b535 <= 0;

e210:    x97 - 29*b539 <= 0;

e211:    x98 - 29*b543 <= 0;

e212:    x99 - 29*b546 <= 0;

e213:    x100 - 29*b549 <= 0;

e214:    x101 - 29*b550 <= 0;

e215:    x102 - 29*b554 <= 0;

e216:    x103 - 29*b558 <= 0;

e217:    x104 - 29*b561 <= 0;

e218:    x105 - 29*b564 <= 0;

e219:    x106 - 29*b565 <= 0;

e220:    x107 - 29*b510 <= 0;

e221:    x108 - 29*b514 <= 0;

e222:    x109 - 29*b517 <= 0;

e223:    x110 - 29*b519 <= 0;

e224:    x111 - 29*b521 <= 0;

e225:    x112 - 29*b525 <= 0;

e226:    x113 - 29*b529 <= 0;

e227:    x114 - 29*b532 <= 0;

e228:    x115 - 29*b534 <= 0;

e229:    x116 - 29*b536 <= 0;

e230:    x117 - 29*b540 <= 0;

e231:    x118 - 29*b544 <= 0;

e232:    x119 - 29*b547 <= 0;

e233:    x120 - 29*b549 <= 0;

e234:    x121 - 29*b551 <= 0;

e235:    x122 - 29*b555 <= 0;

e236:    x123 - 29*b559 <= 0;

e237:    x124 - 29*b562 <= 0;

e238:    x125 - 29*b564 <= 0;

e239:    x126 - 29*b566 <= 0;

e240:    x127 - 29*b511 <= 0;

e241:    x128 - 29*b515 <= 0;

e242:    x129 - 29*b518 <= 0;

e243:    x130 - 29*b520 <= 0;

e244:    x131 - 29*b521 <= 0;

e245:    x132 - 29*b526 <= 0;

e246:    x133 - 29*b530 <= 0;

e247:    x134 - 29*b533 <= 0;

e248:    x135 - 29*b535 <= 0;

e249:    x136 - 29*b536 <= 0;

e250:    x137 - 29*b541 <= 0;

e251:    x138 - 29*b545 <= 0;

e252:    x139 - 29*b548 <= 0;

e253:    x140 - 29*b550 <= 0;

e254:    x141 - 29*b551 <= 0;

e255:    x142 - 29*b556 <= 0;

e256:    x143 - 29*b560 <= 0;

e257:    x144 - 29*b563 <= 0;

e258:    x145 - 29*b565 <= 0;

e259:    x146 - 29*b566 <= 0;

e260:    x147 - 29*b507 <= 0;

e261:    x148 - 29*b508 <= 0;

e262:    x149 - 29*b509 <= 0;

e263:    x150 - 29*b510 <= 0;

e264:    x151 - 29*b511 <= 0;

e265:    x152 - 29*b522 <= 0;

e266:    x153 - 29*b523 <= 0;

e267:    x154 - 29*b524 <= 0;

e268:    x155 - 29*b525 <= 0;

e269:    x156 - 29*b526 <= 0;

e270:    x157 - 29*b537 <= 0;

e271:    x158 - 29*b538 <= 0;

e272:    x159 - 29*b539 <= 0;

e273:    x160 - 29*b540 <= 0;

e274:    x161 - 29*b541 <= 0;

e275:    x162 - 29*b552 <= 0;

e276:    x163 - 29*b553 <= 0;

e277:    x164 - 29*b554 <= 0;

e278:    x165 - 29*b555 <= 0;

e279:    x166 - 29*b556 <= 0;

e280:    x167 - 29*b507 <= 0;

e281:    x168 - 29*b512 <= 0;

e282:    x169 - 29*b513 <= 0;

e283:    x170 - 29*b514 <= 0;

e284:    x171 - 29*b515 <= 0;

e285:    x172 - 29*b522 <= 0;

e286:    x173 - 29*b527 <= 0;

e287:    x174 - 29*b528 <= 0;

e288:    x175 - 29*b529 <= 0;

e289:    x176 - 29*b530 <= 0;

e290:    x177 - 29*b537 <= 0;

e291:    x178 - 29*b542 <= 0;

e292:    x179 - 29*b543 <= 0;

e293:    x180 - 29*b544 <= 0;

e294:    x181 - 29*b545 <= 0;

e295:    x182 - 29*b552 <= 0;

e296:    x183 - 29*b557 <= 0;

e297:    x184 - 29*b558 <= 0;

e298:    x185 - 29*b559 <= 0;

e299:    x186 - 29*b560 <= 0;

e300:    x187 - 29*b508 <= 0;

e301:    x188 - 29*b512 <= 0;

e302:    x189 - 29*b516 <= 0;

e303:    x190 - 29*b517 <= 0;

e304:    x191 - 29*b518 <= 0;

e305:    x192 - 29*b523 <= 0;

e306:    x193 - 29*b527 <= 0;

e307:    x194 - 29*b531 <= 0;

e308:    x195 - 29*b532 <= 0;

e309:    x196 - 29*b533 <= 0;

e310:    x197 - 29*b538 <= 0;

e311:    x198 - 29*b542 <= 0;

e312:    x199 - 29*b546 <= 0;

e313:    x200 - 29*b547 <= 0;

e314:    x201 - 29*b548 <= 0;

e315:    x202 - 29*b553 <= 0;

e316:    x203 - 29*b557 <= 0;

e317:    x204 - 29*b561 <= 0;

e318:    x205 - 29*b562 <= 0;

e319:    x206 - 29*b563 <= 0;

e320:    x207 - 29*b509 <= 0;

e321:    x208 - 29*b513 <= 0;

e322:    x209 - 29*b516 <= 0;

e323:    x210 - 29*b519 <= 0;

e324:    x211 - 29*b520 <= 0;

e325:    x212 - 29*b524 <= 0;

e326:    x213 - 29*b528 <= 0;

e327:    x214 - 29*b531 <= 0;

e328:    x215 - 29*b534 <= 0;

e329:    x216 - 29*b535 <= 0;

e330:    x217 - 29*b539 <= 0;

e331:    x218 - 29*b543 <= 0;

e332:    x219 - 29*b546 <= 0;

e333:    x220 - 29*b549 <= 0;

e334:    x221 - 29*b550 <= 0;

e335:    x222 - 29*b554 <= 0;

e336:    x223 - 29*b558 <= 0;

e337:    x224 - 29*b561 <= 0;

e338:    x225 - 29*b564 <= 0;

e339:    x226 - 29*b565 <= 0;

e340:    x227 - 29*b510 <= 0;

e341:    x228 - 29*b514 <= 0;

e342:    x229 - 29*b517 <= 0;

e343:    x230 - 29*b519 <= 0;

e344:    x231 - 29*b521 <= 0;

e345:    x232 - 29*b525 <= 0;

e346:    x233 - 29*b529 <= 0;

e347:    x234 - 29*b532 <= 0;

e348:    x235 - 29*b534 <= 0;

e349:    x236 - 29*b536 <= 0;

e350:    x237 - 29*b540 <= 0;

e351:    x238 - 29*b544 <= 0;

e352:    x239 - 29*b547 <= 0;

e353:    x240 - 29*b549 <= 0;

e354:    x241 - 29*b551 <= 0;

e355:    x242 - 29*b555 <= 0;

e356:    x243 - 29*b559 <= 0;

e357:    x244 - 29*b562 <= 0;

e358:    x245 - 29*b564 <= 0;

e359:    x246 - 29*b566 <= 0;

e360:    x247 - 29*b511 <= 0;

e361:    x248 - 29*b515 <= 0;

e362:    x249 - 29*b518 <= 0;

e363:    x250 - 29*b520 <= 0;

e364:    x251 - 29*b521 <= 0;

e365:    x252 - 29*b526 <= 0;

e366:    x253 - 29*b530 <= 0;

e367:    x254 - 29*b533 <= 0;

e368:    x255 - 29*b535 <= 0;

e369:    x256 - 29*b536 <= 0;

e370:    x257 - 29*b541 <= 0;

e371:    x258 - 29*b545 <= 0;

e372:    x259 - 29*b548 <= 0;

e373:    x260 - 29*b550 <= 0;

e374:    x261 - 29*b551 <= 0;

e375:    x262 - 29*b556 <= 0;

e376:    x263 - 29*b560 <= 0;

e377:    x264 - 29*b563 <= 0;

e378:    x265 - 29*b565 <= 0;

e379:    x266 - 29*b566 <= 0;

e380:    x267 - 40*b507 <= 0;

e381:    x268 - 40*b508 <= 0;

e382:    x269 - 40*b509 <= 0;

e383:    x270 - 40*b510 <= 0;

e384:    x271 - 40*b511 <= 0;

e385:    x272 - 40*b522 <= 0;

e386:    x273 - 40*b523 <= 0;

e387:    x274 - 40*b524 <= 0;

e388:    x275 - 40*b525 <= 0;

e389:    x276 - 40*b526 <= 0;

e390:    x277 - 40*b537 <= 0;

e391:    x278 - 40*b538 <= 0;

e392:    x279 - 40*b539 <= 0;

e393:    x280 - 40*b540 <= 0;

e394:    x281 - 40*b541 <= 0;

e395:    x282 - 40*b552 <= 0;

e396:    x283 - 40*b553 <= 0;

e397:    x284 - 40*b554 <= 0;

e398:    x285 - 40*b555 <= 0;

e399:    x286 - 40*b556 <= 0;

e400:    x287 - 40*b507 <= 0;

e401:    x288 - 50*b512 <= 0;

e402:    x289 - 50*b513 <= 0;

e403:    x290 - 50*b514 <= 0;

e404:    x291 - 50*b515 <= 0;

e405:    x292 - 40*b522 <= 0;

e406:    x293 - 50*b527 <= 0;

e407:    x294 - 50*b528 <= 0;

e408:    x295 - 50*b529 <= 0;

e409:    x296 - 50*b530 <= 0;

e410:    x297 - 40*b537 <= 0;

e411:    x298 - 50*b542 <= 0;

e412:    x299 - 50*b543 <= 0;

e413:    x300 - 50*b544 <= 0;

e414:    x301 - 50*b545 <= 0;

e415:    x302 - 40*b552 <= 0;

e416:    x303 - 50*b557 <= 0;

e417:    x304 - 50*b558 <= 0;

e418:    x305 - 50*b559 <= 0;

e419:    x306 - 50*b560 <= 0;

e420:    x307 - 40*b508 <= 0;

e421:    x308 - 50*b512 <= 0;

e422:    x309 - 60*b516 <= 0;

e423:    x310 - 60*b517 <= 0;

e424:    x311 - 60*b518 <= 0;

e425:    x312 - 40*b523 <= 0;

e426:    x313 - 50*b527 <= 0;

e427:    x314 - 60*b531 <= 0;

e428:    x315 - 60*b532 <= 0;

e429:    x316 - 60*b533 <= 0;

e430:    x317 - 40*b538 <= 0;

e431:    x318 - 50*b542 <= 0;

e432:    x319 - 60*b546 <= 0;

e433:    x320 - 60*b547 <= 0;

e434:    x321 - 60*b548 <= 0;

e435:    x322 - 40*b553 <= 0;

e436:    x323 - 50*b557 <= 0;

e437:    x324 - 60*b561 <= 0;

e438:    x325 - 60*b562 <= 0;

e439:    x326 - 60*b563 <= 0;

e440:    x327 - 40*b509 <= 0;

e441:    x328 - 50*b513 <= 0;

e442:    x329 - 60*b516 <= 0;

e443:    x330 - 35*b519 <= 0;

e444:    x331 - 35*b520 <= 0;

e445:    x332 - 40*b524 <= 0;

e446:    x333 - 50*b528 <= 0;

e447:    x334 - 60*b531 <= 0;

e448:    x335 - 35*b534 <= 0;

e449:    x336 - 35*b535 <= 0;

e450:    x337 - 40*b539 <= 0;

e451:    x338 - 50*b543 <= 0;

e452:    x339 - 60*b546 <= 0;

e453:    x340 - 35*b549 <= 0;

e454:    x341 - 35*b550 <= 0;

e455:    x342 - 40*b554 <= 0;

e456:    x343 - 50*b558 <= 0;

e457:    x344 - 60*b561 <= 0;

e458:    x345 - 35*b564 <= 0;

e459:    x346 - 35*b565 <= 0;

e460:    x347 - 40*b510 <= 0;

e461:    x348 - 50*b514 <= 0;

e462:    x349 - 60*b517 <= 0;

e463:    x350 - 35*b519 <= 0;

e464:    x351 - 75*b521 <= 0;

e465:    x352 - 40*b525 <= 0;

e466:    x353 - 50*b529 <= 0;

e467:    x354 - 60*b532 <= 0;

e468:    x355 - 35*b534 <= 0;

e469:    x356 - 75*b536 <= 0;

e470:    x357 - 40*b540 <= 0;

e471:    x358 - 50*b544 <= 0;

e472:    x359 - 60*b547 <= 0;

e473:    x360 - 35*b549 <= 0;

e474:    x361 - 75*b551 <= 0;

e475:    x362 - 40*b555 <= 0;

e476:    x363 - 50*b559 <= 0;

e477:    x364 - 60*b562 <= 0;

e478:    x365 - 35*b564 <= 0;

e479:    x366 - 75*b566 <= 0;

e480:    x367 - 40*b511 <= 0;

e481:    x368 - 50*b515 <= 0;

e482:    x369 - 60*b518 <= 0;

e483:    x370 - 35*b520 <= 0;

e484:    x371 - 75*b521 <= 0;

e485:    x372 - 40*b526 <= 0;

e486:    x373 - 50*b530 <= 0;

e487:    x374 - 60*b533 <= 0;

e488:    x375 - 35*b535 <= 0;

e489:    x376 - 75*b536 <= 0;

e490:    x377 - 40*b541 <= 0;

e491:    x378 - 50*b545 <= 0;

e492:    x379 - 60*b548 <= 0;

e493:    x380 - 35*b550 <= 0;

e494:    x381 - 75*b551 <= 0;

e495:    x382 - 40*b556 <= 0;

e496:    x383 - 50*b560 <= 0;

e497:    x384 - 60*b563 <= 0;

e498:    x385 - 35*b565 <= 0;

e499:    x386 - 75*b566 <= 0;

e500:    x387 - 40*b507 <= 0;

e501:    x388 - 40*b508 <= 0;

e502:    x389 - 40*b509 <= 0;

e503:    x390 - 40*b510 <= 0;

e504:    x391 - 40*b511 <= 0;

e505:    x392 - 40*b522 <= 0;

e506:    x393 - 40*b523 <= 0;

e507:    x394 - 40*b524 <= 0;

e508:    x395 - 40*b525 <= 0;

e509:    x396 - 40*b526 <= 0;

e510:    x397 - 40*b537 <= 0;

e511:    x398 - 40*b538 <= 0;

e512:    x399 - 40*b539 <= 0;

e513:    x400 - 40*b540 <= 0;

e514:    x401 - 40*b541 <= 0;

e515:    x402 - 40*b552 <= 0;

e516:    x403 - 40*b553 <= 0;

e517:    x404 - 40*b554 <= 0;

e518:    x405 - 40*b555 <= 0;

e519:    x406 - 40*b556 <= 0;

e520:    x407 - 40*b507 <= 0;

e521:    x408 - 50*b512 <= 0;

e522:    x409 - 50*b513 <= 0;

e523:    x410 - 50*b514 <= 0;

e524:    x411 - 50*b515 <= 0;

e525:    x412 - 40*b522 <= 0;

e526:    x413 - 50*b527 <= 0;

e527:    x414 - 50*b528 <= 0;

e528:    x415 - 50*b529 <= 0;

e529:    x416 - 50*b530 <= 0;

e530:    x417 - 40*b537 <= 0;

e531:    x418 - 50*b542 <= 0;

e532:    x419 - 50*b543 <= 0;

e533:    x420 - 50*b544 <= 0;

e534:    x421 - 50*b545 <= 0;

e535:    x422 - 40*b552 <= 0;

e536:    x423 - 50*b557 <= 0;

e537:    x424 - 50*b558 <= 0;

e538:    x425 - 50*b559 <= 0;

e539:    x426 - 50*b560 <= 0;

e540:    x427 - 40*b508 <= 0;

e541:    x428 - 50*b512 <= 0;

e542:    x429 - 60*b516 <= 0;

e543:    x430 - 60*b517 <= 0;

e544:    x431 - 60*b518 <= 0;

e545:    x432 - 40*b523 <= 0;

e546:    x433 - 50*b527 <= 0;

e547:    x434 - 60*b531 <= 0;

e548:    x435 - 60*b532 <= 0;

e549:    x436 - 60*b533 <= 0;

e550:    x437 - 40*b538 <= 0;

e551:    x438 - 50*b542 <= 0;

e552:    x439 - 60*b546 <= 0;

e553:    x440 - 60*b547 <= 0;

e554:    x441 - 60*b548 <= 0;

e555:    x442 - 40*b553 <= 0;

e556:    x443 - 50*b557 <= 0;

e557:    x444 - 60*b561 <= 0;

e558:    x445 - 60*b562 <= 0;

e559:    x446 - 60*b563 <= 0;

e560:    x447 - 40*b509 <= 0;

e561:    x448 - 50*b513 <= 0;

e562:    x449 - 60*b516 <= 0;

e563:    x450 - 35*b519 <= 0;

e564:    x451 - 35*b520 <= 0;

e565:    x452 - 40*b524 <= 0;

e566:    x453 - 50*b528 <= 0;

e567:    x454 - 60*b531 <= 0;

e568:    x455 - 35*b534 <= 0;

e569:    x456 - 35*b535 <= 0;

e570:    x457 - 40*b539 <= 0;

e571:    x458 - 50*b543 <= 0;

e572:    x459 - 60*b546 <= 0;

e573:    x460 - 35*b549 <= 0;

e574:    x461 - 35*b550 <= 0;

e575:    x462 - 40*b554 <= 0;

e576:    x463 - 50*b558 <= 0;

e577:    x464 - 60*b561 <= 0;

e578:    x465 - 35*b564 <= 0;

e579:    x466 - 35*b565 <= 0;

e580:    x467 - 40*b510 <= 0;

e581:    x468 - 50*b514 <= 0;

e582:    x469 - 60*b517 <= 0;

e583:    x470 - 35*b519 <= 0;

e584:    x471 - 75*b521 <= 0;

e585:    x472 - 40*b525 <= 0;

e586:    x473 - 50*b529 <= 0;

e587:    x474 - 60*b532 <= 0;

e588:    x475 - 35*b534 <= 0;

e589:    x476 - 75*b536 <= 0;

e590:    x477 - 40*b540 <= 0;

e591:    x478 - 50*b544 <= 0;

e592:    x479 - 60*b547 <= 0;

e593:    x480 - 35*b549 <= 0;

e594:    x481 - 75*b551 <= 0;

e595:    x482 - 40*b555 <= 0;

e596:    x483 - 50*b559 <= 0;

e597:    x484 - 60*b562 <= 0;

e598:    x485 - 35*b564 <= 0;

e599:    x486 - 75*b566 <= 0;

e600:    x487 - 40*b511 <= 0;

e601:    x488 - 50*b515 <= 0;

e602:    x489 - 60*b518 <= 0;

e603:    x490 - 35*b520 <= 0;

e604:    x491 - 75*b521 <= 0;

e605:    x492 - 40*b526 <= 0;

e606:    x493 - 50*b530 <= 0;

e607:    x494 - 60*b533 <= 0;

e608:    x495 - 35*b535 <= 0;

e609:    x496 - 75*b536 <= 0;

e610:    x497 - 40*b541 <= 0;

e611:    x498 - 50*b545 <= 0;

e612:    x499 - 60*b548 <= 0;

e613:    x500 - 35*b550 <= 0;

e614:    x501 - 75*b551 <= 0;

e615:    x502 - 40*b556 <= 0;

e616:    x503 - 50*b560 <= 0;

e617:    x504 - 60*b563 <= 0;

e618:    x505 - 35*b565 <= 0;

e619:    x506 - 75*b566 <= 0;

e620:    x27 - x47 + x267 <= 0;

e621:    x28 - x67 + x268 <= 0;

e622:    x29 - x87 + x269 <= 0;

e623:    x30 - x107 + x270 <= 0;

e624:    x31 - x127 + x271 <= 0;

e625:    x48 - x68 + x288 <= 0;

e626:    x49 - x88 + x289 <= 0;

e627:    x50 - x108 + x290 <= 0;

e628:    x51 - x128 + x291 <= 0;

e629:    x69 - x89 + x309 <= 0;

e630:    x70 - x109 + x310 <= 0;

e631:    x71 - x129 + x311 <= 0;

e632:    x90 - x110 + x330 <= 0;

e633:    x91 - x130 + x331 <= 0;

e634:    x111 - x131 + x351 <= 0;

e635:  - x32 + x52 + x292 <= 0;

e636:  - x33 + x72 + x312 <= 0;

e637:  - x34 + x92 + x332 <= 0;

e638:  - x35 + x112 + x352 <= 0;

e639:  - x36 + x132 + x372 <= 0;

e640:  - x53 + x73 + x313 <= 0;

e641:  - x54 + x93 + x333 <= 0;

e642:  - x55 + x113 + x353 <= 0;

e643:  - x56 + x133 + x373 <= 0;

e644:  - x74 + x94 + x334 <= 0;

e645:  - x75 + x114 + x354 <= 0;

e646:  - x76 + x134 + x374 <= 0;

e647:  - x95 + x115 + x355 <= 0;

e648:  - x96 + x135 + x375 <= 0;

e649:  - x116 + x136 + x376 <= 0;

e650:    x157 - x177 + x397 <= 0;

e651:    x158 - x197 + x398 <= 0;

e652:    x159 - x217 + x399 <= 0;

e653:    x160 - x237 + x400 <= 0;

e654:    x161 - x257 + x401 <= 0;

e655:    x178 - x198 + x418 <= 0;

e656:    x179 - x218 + x419 <= 0;

e657:    x180 - x238 + x420 <= 0;

e658:    x181 - x258 + x421 <= 0;

e659:    x199 - x219 + x439 <= 0;

e660:    x200 - x239 + x440 <= 0;

e661:    x201 - x259 + x441 <= 0;

e662:    x220 - x240 + x460 <= 0;

e663:    x221 - x260 + x461 <= 0;

e664:    x241 - x261 + x481 <= 0;

e665:  - x162 + x182 + x422 <= 0;

e666:  - x163 + x202 + x442 <= 0;

e667:  - x164 + x222 + x462 <= 0;

e668:  - x165 + x242 + x482 <= 0;

e669:  - x166 + x262 + x502 <= 0;

e670:  - x183 + x203 + x443 <= 0;

e671:  - x184 + x223 + x463 <= 0;

e672:  - x185 + x243 + x483 <= 0;

e673:  - x186 + x263 + x503 <= 0;

e674:  - x204 + x224 + x464 <= 0;

e675:  - x205 + x244 + x484 <= 0;

e676:  - x206 + x264 + x504 <= 0;

e677:  - x225 + x245 + x485 <= 0;

e678:  - x226 + x265 + x505 <= 0;

e679:  - x246 + x266 + x506 <= 0;

e680:    b507 + b522 + b537 + b552 = 1;

e681:    b508 + b523 + b538 + b553 = 1;

e682:    b509 + b524 + b539 + b554 = 1;

e683:    b510 + b525 + b540 + b555 = 1;

e684:    b511 + b526 + b541 + b556 = 1;

e685:    b512 + b527 + b542 + b557 = 1;

e686:    b513 + b528 + b543 + b558 = 1;

e687:    b514 + b529 + b544 + b559 = 1;

e688:    b515 + b530 + b545 + b560 = 1;

e689:    b516 + b531 + b546 + b561 = 1;

e690:    b517 + b532 + b547 + b562 = 1;

e691:    b518 + b533 + b548 + b563 = 1;

e692:    b519 + b534 + b549 + b564 = 1;

e693:    b520 + b535 + b550 + b565 = 1;

e694:    b521 + b536 + b551 + b566 = 1;