\ Equation counts \ Total E G L N X C B \ 283 144 46 93 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 690 644 46 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2530 2392 138 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 1.235768455 b553 + 1.754882812 b554 + 3.159455914 b555 + 3.980618566 b556 + 2.905401043 b557 + 2.524310515 b558 + 3.289509208 b559 + 1.235768455 b560 + 2.516549044 b561 + 2.174517481 b562 + 2.402340784 b563 + 1.754882812 b564 + 3.153941476 b565 + 2.649872155 b566 + 2.46690751 b567 + 3.159455914 b568 + 2.46690751 b569 + 1.583424277 b570 + 3.980618566 b571 + 3.153941476 b572 + 1.572334903 b573 + 2.905401043 b574 + 2.516549044 b575 + 1.572334903 b576 + 1.097733808 b577 + 2.174517481 b578 + 1.097733808 b579 + 2.95175038 b580 + 2.477930353 b581 + 1.425428344 b582 + 2.95175038 b583 + 1.694724004 b584 + 2.524310515 b585 + 1.694724004 b586 + 3.787543429 b587 + 1.759730596 b588 + 2.402340784 b589 + 1.583424277 b590 + 2.477930353 b591 + 3.787543429 b592 + 1.492267639 b593 + 3.289509208 b594 + 2.649872155 b595 + 1.425428344 b596 + 1.759730596 b597 + 1.492267639 b598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 Subject To e2: - x1 - x13 - x25 - x37 - x49 - x61 - x73 + x85 + x133 + x181 + x217 + x253 + x385 + x493 = -149 e3: - x2 - x14 - x26 - x38 - x50 - x62 - x74 + x86 + x134 + x182 + x218 + x254 + x386 + x494 = 20 e4: - x3 - x15 - x27 - x39 - x51 - x63 - x75 + x87 + x135 + x183 + x219 + x255 + x387 + x495 = 13 e5: - x4 - x16 - x28 - x40 - x52 - x64 - x76 + x88 + x136 + x184 + x220 + x256 + x388 + x496 = 11 e6: - x5 - x17 - x29 - x41 - x53 - x65 - x77 + x89 + x137 + x185 + x221 + x257 + x389 + x497 = 13 e7: - x6 - x18 - x30 - x42 - x54 - x66 - x78 + x90 + x138 + x186 + x222 + x258 + x390 + x498 = 11 e8: - x7 - x19 - x31 - x43 - x55 - x67 - x79 + x91 + x139 + x187 + x223 + x259 + x391 + x499 = 18 e9: - x8 - x20 - x32 - x44 - x56 - x68 - x80 + x92 + x140 + x188 + x224 + x260 + x392 + x500 = 19 e10: - x9 - x21 - x33 - x45 - x57 - x69 - x81 + x93 + x141 + x189 + x225 + x261 + x393 + x501 = 14 e11: - x10 - x22 - x34 - x46 - x58 - x70 - x82 + x94 + x142 + x190 + x226 + x262 + x394 + x502 = 15 e12: - x11 - x23 - x35 - x47 - x59 - x71 - x83 + x95 + x143 + x191 + x227 + x263 + x395 + x503 = 20 e13: - x12 - x24 - x36 - x48 - x60 - x72 - x84 + x96 + x144 + x192 + x228 + x264 + x396 + x504 = 22 e14: x1 - x85 - x97 - x109 - x121 + x265 + x301 + x433 = 12 e15: x2 - x86 - x98 - x110 - x122 + x266 + x302 + x434 = -178 e16: x3 - x87 - x99 - x111 - x123 + x267 + x303 + x435 = 7 e17: x4 - x88 - x100 - x112 - x124 + x268 + x304 + x436 = 6 e18: x5 - x89 - x101 - x113 - x125 + x269 + x305 + x437 = 25 e19: x6 - x90 - x102 - x114 - x126 + x270 + x306 + x438 = 25 e20: x7 - x91 - x103 - x115 - x127 + x271 + x307 + x439 = 25 e21: x8 - x92 - x104 - x116 - x128 + x272 + x308 + x440 = 23 e22: x9 - x93 - x105 - x117 - x129 + x273 + x309 + x441 = 8 e23: x10 - x94 - x106 - x118 - x130 + x274 + x310 + x442 = 7 e24: x11 - x95 - x107 - x119 - x131 + x275 + x311 + x443 = 20 e25: x12 - x96 - x108 - x120 - x132 + x276 + x312 + x444 = 14 e26: x13 - x133 - x145 - x157 + x229 + x505 = 6 e27: x14 - x134 - x146 - x158 + x230 + x506 = 21 e28: x15 - x135 - x147 - x159 + x231 + x507 = -157 e29: x16 - x136 - x148 - x160 + x232 + x508 = 25 e30: x17 - x137 - x149 - x161 + x233 + x509 = 18 e31: x18 - x138 - x150 - x162 + x234 + x510 = 23 e32: x19 - x139 - x151 - x163 + x235 + x511 = 22 e33: x20 - x140 - x152 - x164 + x236 + x512 = 19 e34: x21 - x141 - x153 - x165 + x237 + x513 = 18 e35: x22 - x142 - x154 - x166 + x238 + x514 = 21 e36: x23 - x143 - x155 - x167 + x239 + x515 = 24 e37: x24 - x144 - x156 - x168 + x240 + x516 = 16 e38: - x169 + x193 = 18 e39: - x170 + x194 = 24 e40: - x171 + x195 = 9 e41: - x172 + x196 = -183 e42: - x173 + x197 = 12 e43: - x174 + x198 = 16 e44: - x175 + x199 = 6 e45: - x176 + x200 = 14 e46: - x177 + x201 = 23 e47: - x178 + x202 = 14 e48: - x179 + x203 = 18 e49: - x180 + x204 = 24 e50: x25 + x169 - x181 - x193 - x205 + x445 = 5 e51: x26 + x170 - x182 - x194 - x206 + x446 = 12 e52: x27 + x171 - x183 - x195 - x207 + x447 = 19 e53: x28 + x172 - x184 - x196 - x208 + x448 = 22 e54: x29 + x173 - x185 - x197 - x209 + x449 = -179 e55: x30 + x174 - x186 - x198 - x210 + x450 = 22 e56: x31 + x175 - x187 - x199 - x211 + x451 = 9 e57: x32 + x176 - x188 - x200 - x212 + x452 = 6 e58: x33 + x177 - x189 - x201 - x213 + x453 = 6 e59: x34 + x178 - x190 - x202 - x214 + x454 = 21 e60: x35 + x179 - x191 - x203 - x215 + x455 = 6 e61: x36 + x180 - x192 - x204 - x216 + x456 = 22 e62: x37 + x145 - x217 - x229 - x241 + x277 = 13 e63: x38 + x146 - x218 - x230 - x242 + x278 = 12 e64: x39 + x147 - x219 - x231 - x243 + x279 = 23 e65: x40 + x148 - x220 - x232 - x244 + x280 = 16 e66: x41 + x149 - x221 - x233 - x245 + x281 = 7 e67: x42 + x150 - x222 - x234 - x246 + x282 = -178 e68: x43 + x151 - x223 - x235 - x247 + x283 = 19 e69: x44 + x152 - x224 - x236 - x248 + x284 = 25 e70: x45 + x153 - x225 - x237 - x249 + x285 = 13 e71: x46 + x154 - x226 - x238 - x250 + x286 = 17 e72: x47 + x155 - x227 - x239 - x251 + x287 = 24 e73: x48 + x156 - x228 - x240 - x252 + x288 = 8 e74: x49 + x97 + x241 - x253 - x265 - x277 - x289 + x313 = 9 e75: x50 + x98 + x242 - x254 - x266 - x278 - x290 + x314 = 20 e76: x51 + x99 + x243 - x255 - x267 - x279 - x291 + x315 = 21 e77: x52 + x100 + x244 - x256 - x268 - x280 - x292 + x316 = 22 e78: x53 + x101 + x245 - x257 - x269 - x281 - x293 + x317 = 6 e79: x54 + x102 + x246 - x258 - x270 - x282 - x294 + x318 = 8 e80: x55 + x103 + x247 - x259 - x271 - x283 - x295 + x319 = -162 e81: x56 + x104 + x248 - x260 - x272 - x284 - x296 + x320 = 22 e82: x57 + x105 + x249 - x261 - x273 - x285 - x297 + x321 = 19 e83: x58 + x106 + x250 - x262 - x274 - x286 - x298 + x322 = 17 e84: x59 + x107 + x251 - x263 - x275 - x287 - x299 + x323 = 11 e85: x60 + x108 + x252 - x264 - x276 - x288 - x300 + x324 = 16 e86: x109 + x289 - x301 - x313 - x325 - x337 - x349 + x361 + x457 + x517 = 23 e87: x110 + x290 - x302 - x314 - x326 - x338 - x350 + x362 + x458 + x518 = 11 e88: x111 + x291 - x303 - x315 - x327 - x339 - x351 + x363 + x459 + x519 = 21 e89: x112 + x292 - x304 - x316 - x328 - x340 - x352 + x364 + x460 + x520 = 23 e90: x113 + x293 - x305 - x317 - x329 - x341 - x353 + x365 + x461 + x521 = 13 e91: x114 + x294 - x306 - x318 - x330 - x342 - x354 + x366 + x462 + x522 = 18 e92: x115 + x295 - x307 - x319 - x331 - x343 - x355 + x367 + x463 + x523 = 8 e93: x116 + x296 - x308 - x320 - x332 - x344 - x356 + x368 + x464 + x524 = -176 e94: x117 + x297 - x309 - x321 - x333 - x345 - x357 + x369 + x465 + x525 = 12 e95: x118 + x298 - x310 - x322 - x334 - x346 - x358 + x370 + x466 + x526 = 15 e96: x119 + x299 - x311 - x323 - x335 - x347 - x359 + x371 + x467 + x527 = 7 e97: x120 + x300 - x312 - x324 - x336 - x348 - x360 + x372 + x468 + x528 = 22 e98: x325 - x361 - x373 + x397 = 21 e99: x326 - x362 - x374 + x398 = 10 e100: x327 - x363 - x375 + x399 = 7 e101: x328 - x364 - x376 + x400 = 14 e102: x329 - x365 - x377 + x401 = 14 e103: x330 - x366 - x378 + x402 = 11 e104: x331 - x367 - x379 + x403 = 15 e105: x332 - x368 - x380 + x404 = 16 e106: x333 - x369 - x381 + x405 = -139 e107: x334 - x370 - x382 + x406 = 25 e108: x335 - x371 - x383 + x407 = 23 e109: x336 - x372 - x384 + x408 = 14 e110: x61 + x373 - x385 - x397 - x409 - x421 + x469 + x529 = 12 e111: x62 + x374 - x386 - x398 - x410 - x422 + x470 + x530 = 21 e112: x63 + x375 - x387 - x399 - x411 - x423 + x471 + x531 = 10 e113: x64 + x376 - x388 - x400 - x412 - x424 + x472 + x532 = 19 e114: x65 + x377 - x389 - x401 - x413 - x425 + x473 + x533 = 23 e115: x66 + x378 - x390 - x402 - x414 - x426 + x474 + x534 = 17 e116: x67 + x379 - x391 - x403 - x415 - x427 + x475 + x535 = 11 e117: x68 + x380 - x392 - x404 - x416 - x428 + x476 + x536 = 13 e118: x69 + x381 - x393 - x405 - x417 - x429 + x477 + x537 = 11 e119: x70 + x382 - x394 - x406 - x418 - x430 + x478 + x538 = -191 e120: x71 + x383 - x395 - x407 - x419 - x431 + x479 + x539 = 18 e121: x72 + x384 - x396 - x408 - x420 - x432 + x480 + x540 = 15 e122: x121 + x205 + x337 + x409 - x433 - x445 - x457 - x469 - x481 + x541 = 15 e123: x122 + x206 + x338 + x410 - x434 - x446 - x458 - x470 - x482 + x542 = 13 e124: x123 + x207 + x339 + x411 - x435 - x447 - x459 - x471 - x483 + x543 = 6 e125: x124 + x208 + x340 + x412 - x436 - x448 - x460 - x472 - x484 + x544 = 13 e126: x125 + x209 + x341 + x413 - x437 - x449 - x461 - x473 - x485 + x545 = 25 e127: x126 + x210 + x342 + x414 - x438 - x450 - x462 - x474 - x486 + x546 = 13 e128: x127 + x211 + x343 + x415 - x439 - x451 - x463 - x475 - x487 + x547 = 14 e129: x128 + x212 + x344 + x416 - x440 - x452 - x464 - x476 - x488 + x548 = 14 e130: x129 + x213 + x345 + x417 - x441 - x453 - x465 - x477 - x489 + x549 = 9 e131: x130 + x214 + x346 + x418 - x442 - x454 - x466 - x478 - x490 + x550 = 19 e132: x131 + x215 + x347 + x419 - x443 - x455 - x467 - x479 - x491 + x551 = -193 e133: x132 + x216 + x348 + x420 - x444 - x456 - x468 - x480 - x492 + x552 = 17 e134: x73 + x157 + x349 + x421 + x481 - x493 - x505 - x517 - x529 - x541 = 15 e135: x74 + x158 + x350 + x422 + x482 - x494 - x506 - x518 - x530 - x542 = 14 e136: x75 + x159 + x351 + x423 + x483 - x495 - x507 - x519 - x531 - x543 = 21 e137: x76 + x160 + x352 + x424 + x484 - x496 - x508 - x520 - x532 - x544 = 12 e138: x77 + x161 + x353 + x425 + x485 - x497 - x509 - x521 - x533 - x545 = 23 e139: x78 + x162 + x354 + x426 + x486 - x498 - x510 - x522 - x534 - x546 = 14 e140: x79 + x163 + x355 + x427 + x487 - x499 - x511 - x523 - x535 - x547 = 15 e141: x80 + x164 + x356 + x428 + x488 - x500 - x512 - x524 - x536 - x548 = 5 e142: x81 + x165 + x357 + x429 + x489 - x501 - x513 - x525 - x537 - x549 = 6 e143: x82 + x166 + x358 + x430 + x490 - x502 - x514 - x526 - x538 - x550 = 20 e144: x83 + x167 + x359 + x431 + x491 - x503 - x515 - x527 - x539 - x551 = 22 e145: x84 + x168 + x360 + x432 + x492 - x504 - x516 - x528 - x540 - x552 = -1.9e2 e146: - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 + x646 >= 0 e147: - x13 - x14 - x15 - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 + x647 >= 0 e148: - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x32 - x33 - x34 - x35 - x36 + x648 >= 0 e149: - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 - x46 - x47 - x48 + x649 >= 0 e150: - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57 - x58 - x59 - x60 + x650 >= 0 e151: - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72 + x651 >= 0 e152: - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84 + x652 >= 0 e153: - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96 + x653 >= 0 e154: - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 - x108 + x654 >= 0 e155: - x109 - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120 + x655 >= 0 e156: - x121 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132 + x656 >= 0 e157: - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 + x657 >= 0 e158: - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156 + x658 >= 0 e159: - x157 - x158 - x159 - x160 - x161 - x162 - x163 - x164 - x165 - x166 - x167 - x168 + x659 >= 0 e160: - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 + x660 >= 0 e161: - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 + x661 >= 0 e162: - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 + x662 >= 0 e163: - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216 + x663 >= 0 e164: - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 - x226 - x227 - x228 + x664 >= 0 e165: - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 + x665 >= 0 e166: - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 + x666 >= 0 e167: - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 + x667 >= 0 e168: - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 - x276 + x668 >= 0 e169: - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 + x669 >= 0 e170: - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 + x670 >= 0 e171: - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 + x671 >= 0 e172: - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 + x672 >= 0 e173: - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336 + x673 >= 0 e174: - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 + x674 >= 0 e175: - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 + x675 >= 0 e176: - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 + x676 >= 0 e177: - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 + x677 >= 0 e178: - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 + x678 >= 0 e179: - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 - x406 - x407 - x408 + x679 >= 0 e180: - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420 + x680 >= 0 e181: - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 + x681 >= 0 e182: - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444 + x682 >= 0 e183: - x445 - x446 - x447 - x448 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 + x683 >= 0 e184: - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 - x465 - x466 - x467 - x468 + x684 >= 0 e185: - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479 - x480 + x685 >= 0 e186: - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490 - x491 - x492 + x686 >= 0 e187: - x493 - x494 - x495 - x496 - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504 + x687 >= 0 e188: - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - x514 - x515 - x516 + x688 >= 0 e189: - x517 - x518 - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526 - x527 - x528 + x689 >= 0 e190: - x529 - x530 - x531 - x532 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540 + x690 >= 0 e191: - x541 - x542 - x543 - x544 - x545 - x546 - x547 - x548 - x549 - x550 - x551 - x552 + x691 >= 0 e192: [ - 293 b553 * x599 + 293 b553 * x646 + x599 * x646 ] <= 0 e193: [ - 192 b554 * x600 + 192 b554 * x647 + x600 * x647 ] <= 0 e194: [ - 417 b555 * x601 + 417 b555 * x648 + x601 * x648 ] <= 0 e195: [ - 427 b556 * x602 + 427 b556 * x649 + x602 * x649 ] <= 0 e196: [ - 295 b557 * x603 + 295 b557 * x650 + x603 * x650 ] <= 0 e197: [ - 2.8e2 b558 * x604 + 2.8e2 b558 * x651 + x604 * x651 ] <= 0 e198: [ - 337 b559 * x605 + 337 b559 * x652 + x605 * x652 ] <= 0 e199: [ - 293 b560 * x606 + 293 b560 * x653 + x606 * x653 ] <= 0 e200: [ - 341 b561 * x607 + 341 b561 * x654 + x607 * x654 ] <= 0 e201: [ - 276 b562 * x608 + 276 b562 * x655 + x608 * x655 ] <= 0 e202: [ - 119 b563 * x609 + 119 b563 * x656 + x609 * x656 ] <= 0 e203: [ - 192 b564 * x610 + 192 b564 * x657 + x610 * x657 ] <= 0 e204: [ - 347 b565 * x611 + 347 b565 * x658 + x611 * x658 ] <= 0 e205: [ - 398 b566 * x612 + 398 b566 * x659 + x612 * x659 ] <= 0 e206: [ - 359 b567 * x613 + 359 b567 * x660 + x613 * x660 ] <= 0 e207: [ - 417 b568 * x614 + 417 b568 * x661 + x614 * x661 ] <= 0 e208: [ - 359 b569 * x615 + 359 b569 * x662 + x615 * x662 ] <= 0 e209: [ - 193 b570 * x616 + 193 b570 * x663 + x616 * x663 ] <= 0 e210: [ - 427 b571 * x617 + 427 b571 * x664 + x617 * x664 ] <= 0 e211: [ - 347 b572 * x618 + 347 b572 * x665 + x618 * x665 ] <= 0 e212: [ - 218 b573 * x619 + 218 b573 * x666 + x619 * x666 ] <= 0 e213: [ - 295 b574 * x620 + 295 b574 * x667 + x620 * x667 ] <= 0 e214: [ - 341 b575 * x621 + 341 b575 * x668 + x621 * x668 ] <= 0 e215: [ - 218 b576 * x622 + 218 b576 * x669 + x622 * x669 ] <= 0 e216: [ - 134 b577 * x623 + 134 b577 * x670 + x623 * x670 ] <= 0 e217: [ - 276 b578 * x624 + 276 b578 * x671 + x624 * x671 ] <= 0 e218: [ - 134 b579 * x625 + 134 b579 * x672 + x625 * x672 ] <= 0 e219: [ - 200 b580 * x626 + 200 b580 * x673 + x626 * x673 ] <= 0 e220: [ - 222 b581 * x627 + 222 b581 * x674 + x627 * x674 ] <= 0 e221: [ - 196 b582 * x628 + 196 b582 * x675 + x628 * x675 ] <= 0 e222: [ - 200 b583 * x629 + 200 b583 * x676 + x629 * x676 ] <= 0 e223: [ - 129 b584 * x630 + 129 b584 * x677 + x630 * x677 ] <= 0 e224: [ - 2.8e2 b585 * x631 + 2.8e2 b585 * x678 + x631 * x678 ] <= 0 e225: [ - 129 b586 * x632 + 129 b586 * x679 + x632 * x679 ] <= 0 e226: [ - 382 b587 * x633 + 382 b587 * x680 + x633 * x680 ] <= 0 e227: [ - 424 b588 * x634 + 424 b588 * x681 + x634 * x681 ] <= 0 e228: [ - 119 b589 * x635 + 119 b589 * x682 + x635 * x682 ] <= 0 e229: [ - 193 b590 * x636 + 193 b590 * x683 + x636 * x683 ] <= 0 e230: [ - 222 b591 * x637 + 222 b591 * x684 + x637 * x684 ] <= 0 e231: [ - 382 b592 * x638 + 382 b592 * x685 + x638 * x685 ] <= 0 e232: [ - 275 b593 * x639 + 275 b593 * x686 + x639 * x686 ] <= 0 e233: [ - 337 b594 * x640 + 337 b594 * x687 + x640 * x687 ] <= 0 e234: [ - 398 b595 * x641 + 398 b595 * x688 + x641 * x688 ] <= 0 e235: [ - 196 b596 * x642 + 196 b596 * x689 + x642 * x689 ] <= 0 e236: [ - 424 b597 * x643 + 424 b597 * x690 + x643 * x690 ] <= 0 e237: [ - 275 b598 * x644 + 275 b598 * x691 + x644 * x691 ] <= 0 e238: x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 <= 6225 e239: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 - 293 b553 <= 0 e240: x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 - 192 b554 <= 0 e241: x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 - 417 b555 <= 0 e242: x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 - 427 b556 <= 0 e243: x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 - 295 b557 <= 0 e244: x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 - 2.8e2 b558 <= 0 e245: x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 - 337 b559 <= 0 e246: x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 - 293 b560 <= 0 e247: x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 - 341 b561 <= 0 e248: x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 - 276 b562 <= 0 e249: x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 - 119 b563 <= 0 e250: x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 - 192 b564 <= 0 e251: x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 - 347 b565 <= 0 e252: x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 - 398 b566 <= 0 e253: x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 - 359 b567 <= 0 e254: x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 - 417 b568 <= 0 e255: x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 - 359 b569 <= 0 e256: x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 - 193 b570 <= 0 e257: x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 - 427 b571 <= 0 e258: x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 347 b572 <= 0 e259: x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 - 218 b573 <= 0 e260: x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 - 295 b574 <= 0 e261: x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 - 341 b575 <= 0 e262: x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 - 218 b576 <= 0 e263: x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 - 134 b577 <= 0 e264: x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 - 276 b578 <= 0 e265: x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 - 134 b579 <= 0 e266: x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 200 b580 <= 0 e267: x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 - 222 b581 <= 0 e268: x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 - 196 b582 <= 0 e269: x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 - 200 b583 <= 0 e270: x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 - 129 b584 <= 0 e271: x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 - 2.8e2 b585 <= 0 e272: x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 - 129 b586 <= 0 e273: x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 382 b587 <= 0 e274: x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 - 424 b588 <= 0 e275: x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 - 119 b589 <= 0 e276: x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 - 193 b590 <= 0 e277: x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 - 222 b591 <= 0 e278: x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 382 b592 <= 0 e279: x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 - 275 b593 <= 0 e280: x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 - 337 b594 <= 0 e281: x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 - 398 b595 <= 0 e282: x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 - 196 b596 <= 0 e283: x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 - 424 b597 <= 0 e284: x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 - 275 b598 <= 0 Binary b553 b554 b555 b556 b557 b558 b559 b560 b561 b562 b563 b564 b565 b566 b567 b568 b569 b570 b571 b572 b573 b574 b575 b576 b577 b578 b579 b580 b581 b582 b583 b584 b585 b586 b587 b588 b589 b590 b591 b592 b593 b594 b595 b596 b597 b598 End