\ Equation counts \ Total E G L N X C B \ 237 144 46 47 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 644 598 46 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2392 1794 598 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 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: - 293 x1 - 293 x2 - 293 x3 - 293 x4 - 293 x5 - 293 x6 - 293 x7 - 293 x8 - 293 x9 - 293 x10 - 293 x11 - 293 x12 + 293 x599 - x1 x599 - x2 x599 - x3 x599 - x4 x599 - x5 x599 - x6 x599 - x7 x599 - x8 x599 - x9 x599 - x10 x599 - x11 x599 - x12 x599 >= 0 e147: - 192 x13 - 192 x14 - 192 x15 - 192 x16 - 192 x17 - 192 x18 - 192 x19 - 192 x20 - 192 x21 - 192 x22 - 192 x23 - 192 x24 + 192 x600 - x13 x600 - x14 x600 - x15 x600 - x16 x600 - x17 x600 - x18 x600 - x19 x600 - x20 x600 - x21 x600 - x22 x600 - x23 x600 - x24 x600 >= 0 e148: - 417 x25 - 417 x26 - 417 x27 - 417 x28 - 417 x29 - 417 x30 - 417 x31 - 417 x32 - 417 x33 - 417 x34 - 417 x35 - 417 x36 + 417 x601 - x25 x601 - x26 x601 - x27 x601 - x28 x601 - x29 x601 - x30 x601 - x31 x601 - x32 x601 - x33 x601 - x34 x601 - x35 x601 - x36 x601 >= 0 e149: - 427 x37 - 427 x38 - 427 x39 - 427 x40 - 427 x41 - 427 x42 - 427 x43 - 427 x44 - 427 x45 - 427 x46 - 427 x47 - 427 x48 + 427 x602 - x37 x602 - x38 x602 - x39 x602 - x40 x602 - x41 x602 - x42 x602 - x43 x602 - x44 x602 - x45 x602 - x46 x602 - x47 x602 - x48 x602 >= 0 e150: - 295 x49 - 295 x50 - 295 x51 - 295 x52 - 295 x53 - 295 x54 - 295 x55 - 295 x56 - 295 x57 - 295 x58 - 295 x59 - 295 x60 + 295 x603 - x49 x603 - x50 x603 - x51 x603 - x52 x603 - x53 x603 - x54 x603 - x55 x603 - x56 x603 - x57 x603 - x58 x603 - x59 x603 - x60 x603 >= 0 e151: - 2.8e2 x61 - 2.8e2 x62 - 2.8e2 x63 - 2.8e2 x64 - 2.8e2 x65 - 2.8e2 x66 - 2.8e2 x67 - 2.8e2 x68 - 2.8e2 x69 - 2.8e2 x70 - 2.8e2 x71 - 2.8e2 x72 + 2.8e2 x604 - x61 x604 - x62 x604 - x63 x604 - x64 x604 - x65 x604 - x66 x604 - x67 x604 - x68 x604 - x69 x604 - x70 x604 - x71 x604 - x72 x604 >= 0 e152: - 337 x73 - 337 x74 - 337 x75 - 337 x76 - 337 x77 - 337 x78 - 337 x79 - 337 x80 - 337 x81 - 337 x82 - 337 x83 - 337 x84 + 337 x605 - x73 x605 - x74 x605 - x75 x605 - x76 x605 - x77 x605 - x78 x605 - x79 x605 - x80 x605 - x81 x605 - x82 x605 - x83 x605 - x84 x605 >= 0 e153: - 293 x85 - 293 x86 - 293 x87 - 293 x88 - 293 x89 - 293 x90 - 293 x91 - 293 x92 - 293 x93 - 293 x94 - 293 x95 - 293 x96 + 293 x606 - x85 x606 - x86 x606 - x87 x606 - x88 x606 - x89 x606 - x90 x606 - x91 x606 - x92 x606 - x93 x606 - x94 x606 - x95 x606 - x96 x606 >= 0 e154: - 341 x97 - 341 x98 - 341 x99 - 341 x100 - 341 x101 - 341 x102 - 341 x103 - 341 x104 - 341 x105 - 341 x106 - 341 x107 - 341 x108 + 341 x607 - x97 x607 - x98 x607 - x99 x607 - x100 x607 - x101 x607 - x102 x607 - x103 x607 - x104 x607 - x105 x607 - x106 x607 - x107 x607 - x108 x607 >= 0 e155: - 276 x109 - 276 x110 - 276 x111 - 276 x112 - 276 x113 - 276 x114 - 276 x115 - 276 x116 - 276 x117 - 276 x118 - 276 x119 - 276 x120 + 276 x608 - x109 x608 - x110 x608 - x111 x608 - x112 x608 - x113 x608 - x114 x608 - x115 x608 - x116 x608 - x117 x608 - x118 x608 - x119 x608 - x120 x608 >= 0 e156: - 119 x121 - 119 x122 - 119 x123 - 119 x124 - 119 x125 - 119 x126 - 119 x127 - 119 x128 - 119 x129 - 119 x130 - 119 x131 - 119 x132 + 119 x609 - x121 x609 - x122 x609 - x123 x609 - x124 x609 - x125 x609 - x126 x609 - x127 x609 - x128 x609 - x129 x609 - x130 x609 - x131 x609 - x132 x609 >= 0 e157: - 192 x133 - 192 x134 - 192 x135 - 192 x136 - 192 x137 - 192 x138 - 192 x139 - 192 x140 - 192 x141 - 192 x142 - 192 x143 - 192 x144 + 192 x610 - x133 x610 - x134 x610 - x135 x610 - x136 x610 - x137 x610 - x138 x610 - x139 x610 - x140 x610 - x141 x610 - x142 x610 - x143 x610 - x144 x610 >= 0 e158: - 347 x145 - 347 x146 - 347 x147 - 347 x148 - 347 x149 - 347 x150 - 347 x151 - 347 x152 - 347 x153 - 347 x154 - 347 x155 - 347 x156 + 347 x611 - x145 x611 - x146 x611 - x147 x611 - x148 x611 - x149 x611 - x150 x611 - x151 x611 - x152 x611 - x153 x611 - x154 x611 - x155 x611 - x156 x611 >= 0 e159: - 398 x157 - 398 x158 - 398 x159 - 398 x160 - 398 x161 - 398 x162 - 398 x163 - 398 x164 - 398 x165 - 398 x166 - 398 x167 - 398 x168 + 398 x612 - x157 x612 - x158 x612 - x159 x612 - x160 x612 - x161 x612 - x162 x612 - x163 x612 - x164 x612 - x165 x612 - x166 x612 - x167 x612 - x168 x612 >= 0 e160: - 359 x169 - 359 x170 - 359 x171 - 359 x172 - 359 x173 - 359 x174 - 359 x175 - 359 x176 - 359 x177 - 359 x178 - 359 x179 - 359 x180 + 359 x613 - x169 x613 - x170 x613 - x171 x613 - x172 x613 - x173 x613 - x174 x613 - x175 x613 - x176 x613 - x177 x613 - x178 x613 - x179 x613 - x180 x613 >= 0 e161: - 417 x181 - 417 x182 - 417 x183 - 417 x184 - 417 x185 - 417 x186 - 417 x187 - 417 x188 - 417 x189 - 417 x190 - 417 x191 - 417 x192 + 417 x614 - x181 x614 - x182 x614 - x183 x614 - x184 x614 - x185 x614 - x186 x614 - x187 x614 - x188 x614 - x189 x614 - x190 x614 - x191 x614 - x192 x614 >= 0 e162: - 359 x193 - 359 x194 - 359 x195 - 359 x196 - 359 x197 - 359 x198 - 359 x199 - 359 x200 - 359 x201 - 359 x202 - 359 x203 - 359 x204 + 359 x615 - x193 x615 - x194 x615 - x195 x615 - x196 x615 - x197 x615 - x198 x615 - x199 x615 - x200 x615 - x201 x615 - x202 x615 - x203 x615 - x204 x615 >= 0 e163: - 193 x205 - 193 x206 - 193 x207 - 193 x208 - 193 x209 - 193 x210 - 193 x211 - 193 x212 - 193 x213 - 193 x214 - 193 x215 - 193 x216 + 193 x616 - x205 x616 - x206 x616 - x207 x616 - x208 x616 - x209 x616 - x210 x616 - x211 x616 - x212 x616 - x213 x616 - x214 x616 - x215 x616 - x216 x616 >= 0 e164: - 427 x217 - 427 x218 - 427 x219 - 427 x220 - 427 x221 - 427 x222 - 427 x223 - 427 x224 - 427 x225 - 427 x226 - 427 x227 - 427 x228 + 427 x617 - x217 x617 - x218 x617 - x219 x617 - x220 x617 - x221 x617 - x222 x617 - x223 x617 - x224 x617 - x225 x617 - x226 x617 - x227 x617 - x228 x617 >= 0 e165: - 347 x229 - 347 x230 - 347 x231 - 347 x232 - 347 x233 - 347 x234 - 347 x235 - 347 x236 - 347 x237 - 347 x238 - 347 x239 - 347 x240 + 347 x618 - x229 x618 - x230 x618 - x231 x618 - x232 x618 - x233 x618 - x234 x618 - x235 x618 - x236 x618 - x237 x618 - x238 x618 - x239 x618 - x240 x618 >= 0 e166: - 218 x241 - 218 x242 - 218 x243 - 218 x244 - 218 x245 - 218 x246 - 218 x247 - 218 x248 - 218 x249 - 218 x250 - 218 x251 - 218 x252 + 218 x619 - x241 x619 - x242 x619 - x243 x619 - x244 x619 - x245 x619 - x246 x619 - x247 x619 - x248 x619 - x249 x619 - x250 x619 - x251 x619 - x252 x619 >= 0 e167: - 295 x253 - 295 x254 - 295 x255 - 295 x256 - 295 x257 - 295 x258 - 295 x259 - 295 x260 - 295 x261 - 295 x262 - 295 x263 - 295 x264 + 295 x620 - x253 x620 - x254 x620 - x255 x620 - x256 x620 - x257 x620 - x258 x620 - x259 x620 - x260 x620 - x261 x620 - x262 x620 - x263 x620 - x264 x620 >= 0 e168: - 341 x265 - 341 x266 - 341 x267 - 341 x268 - 341 x269 - 341 x270 - 341 x271 - 341 x272 - 341 x273 - 341 x274 - 341 x275 - 341 x276 + 341 x621 - x265 x621 - x266 x621 - x267 x621 - x268 x621 - x269 x621 - x270 x621 - x271 x621 - x272 x621 - x273 x621 - x274 x621 - x275 x621 - x276 x621 >= 0 e169: - 218 x277 - 218 x278 - 218 x279 - 218 x280 - 218 x281 - 218 x282 - 218 x283 - 218 x284 - 218 x285 - 218 x286 - 218 x287 - 218 x288 + 218 x622 - x277 x622 - x278 x622 - x279 x622 - x280 x622 - x281 x622 - x282 x622 - x283 x622 - x284 x622 - x285 x622 - x286 x622 - x287 x622 - x288 x622 >= 0 e170: - 134 x289 - 134 x290 - 134 x291 - 134 x292 - 134 x293 - 134 x294 - 134 x295 - 134 x296 - 134 x297 - 134 x298 - 134 x299 - 134 x300 + 134 x623 - x289 x623 - x290 x623 - x291 x623 - x292 x623 - x293 x623 - x294 x623 - x295 x623 - x296 x623 - x297 x623 - x298 x623 - x299 x623 - x300 x623 >= 0 e171: - 276 x301 - 276 x302 - 276 x303 - 276 x304 - 276 x305 - 276 x306 - 276 x307 - 276 x308 - 276 x309 - 276 x310 - 276 x311 - 276 x312 + 276 x624 - x301 x624 - x302 x624 - x303 x624 - x304 x624 - x305 x624 - x306 x624 - x307 x624 - x308 x624 - x309 x624 - x310 x624 - x311 x624 - x312 x624 >= 0 e172: - 134 x313 - 134 x314 - 134 x315 - 134 x316 - 134 x317 - 134 x318 - 134 x319 - 134 x320 - 134 x321 - 134 x322 - 134 x323 - 134 x324 + 134 x625 - x313 x625 - x314 x625 - x315 x625 - x316 x625 - x317 x625 - x318 x625 - x319 x625 - x320 x625 - x321 x625 - x322 x625 - x323 x625 - x324 x625 >= 0 e173: - 200 x325 - 200 x326 - 200 x327 - 200 x328 - 200 x329 - 200 x330 - 200 x331 - 200 x332 - 200 x333 - 200 x334 - 200 x335 - 200 x336 + 200 x626 - x325 x626 - x326 x626 - x327 x626 - x328 x626 - x329 x626 - x330 x626 - x331 x626 - x332 x626 - x333 x626 - x334 x626 - x335 x626 - x336 x626 >= 0 e174: - 222 x337 - 222 x338 - 222 x339 - 222 x340 - 222 x341 - 222 x342 - 222 x343 - 222 x344 - 222 x345 - 222 x346 - 222 x347 - 222 x348 + 222 x627 - x337 x627 - x338 x627 - x339 x627 - x340 x627 - x341 x627 - x342 x627 - x343 x627 - x344 x627 - x345 x627 - x346 x627 - x347 x627 - x348 x627 >= 0 e175: - 196 x349 - 196 x350 - 196 x351 - 196 x352 - 196 x353 - 196 x354 - 196 x355 - 196 x356 - 196 x357 - 196 x358 - 196 x359 - 196 x360 + 196 x628 - x349 x628 - x350 x628 - x351 x628 - x352 x628 - x353 x628 - x354 x628 - x355 x628 - x356 x628 - x357 x628 - x358 x628 - x359 x628 - x360 x628 >= 0 e176: - 200 x361 - 200 x362 - 200 x363 - 200 x364 - 200 x365 - 200 x366 - 200 x367 - 200 x368 - 200 x369 - 200 x370 - 200 x371 - 200 x372 + 200 x629 - x361 x629 - x362 x629 - x363 x629 - x364 x629 - x365 x629 - x366 x629 - x367 x629 - x368 x629 - x369 x629 - x370 x629 - x371 x629 - x372 x629 >= 0 e177: - 129 x373 - 129 x374 - 129 x375 - 129 x376 - 129 x377 - 129 x378 - 129 x379 - 129 x380 - 129 x381 - 129 x382 - 129 x383 - 129 x384 + 129 x630 - x373 x630 - x374 x630 - x375 x630 - x376 x630 - x377 x630 - x378 x630 - x379 x630 - x380 x630 - x381 x630 - x382 x630 - x383 x630 - x384 x630 >= 0 e178: - 2.8e2 x385 - 2.8e2 x386 - 2.8e2 x387 - 2.8e2 x388 - 2.8e2 x389 - 2.8e2 x390 - 2.8e2 x391 - 2.8e2 x392 - 2.8e2 x393 - 2.8e2 x394 - 2.8e2 x395 - 2.8e2 x396 + 2.8e2 x631 - x385 x631 - x386 x631 - x387 x631 - x388 x631 - x389 x631 - x390 x631 - x391 x631 - x392 x631 - x393 x631 - x394 x631 - x395 x631 - x396 x631 >= 0 e179: - 129 x397 - 129 x398 - 129 x399 - 129 x400 - 129 x401 - 129 x402 - 129 x403 - 129 x404 - 129 x405 - 129 x406 - 129 x407 - 129 x408 + 129 x632 - x397 x632 - x398 x632 - x399 x632 - x400 x632 - x401 x632 - x402 x632 - x403 x632 - x404 x632 - x405 x632 - x406 x632 - x407 x632 - x408 x632 >= 0 e180: - 382 x409 - 382 x410 - 382 x411 - 382 x412 - 382 x413 - 382 x414 - 382 x415 - 382 x416 - 382 x417 - 382 x418 - 382 x419 - 382 x420 + 382 x633 - x409 x633 - x410 x633 - x411 x633 - x412 x633 - x413 x633 - x414 x633 - x415 x633 - x416 x633 - x417 x633 - x418 x633 - x419 x633 - x420 x633 >= 0 e181: - 424 x421 - 424 x422 - 424 x423 - 424 x424 - 424 x425 - 424 x426 - 424 x427 - 424 x428 - 424 x429 - 424 x430 - 424 x431 - 424 x432 + 424 x634 - x421 x634 - x422 x634 - x423 x634 - x424 x634 - x425 x634 - x426 x634 - x427 x634 - x428 x634 - x429 x634 - x430 x634 - x431 x634 - x432 x634 >= 0 e182: - 119 x433 - 119 x434 - 119 x435 - 119 x436 - 119 x437 - 119 x438 - 119 x439 - 119 x440 - 119 x441 - 119 x442 - 119 x443 - 119 x444 + 119 x635 - x433 x635 - x434 x635 - x435 x635 - x436 x635 - x437 x635 - x438 x635 - x439 x635 - x440 x635 - x441 x635 - x442 x635 - x443 x635 - x444 x635 >= 0 e183: - 193 x445 - 193 x446 - 193 x447 - 193 x448 - 193 x449 - 193 x450 - 193 x451 - 193 x452 - 193 x453 - 193 x454 - 193 x455 - 193 x456 + 193 x636 - x445 x636 - x446 x636 - x447 x636 - x448 x636 - x449 x636 - x450 x636 - x451 x636 - x452 x636 - x453 x636 - x454 x636 - x455 x636 - x456 x636 >= 0 e184: - 222 x457 - 222 x458 - 222 x459 - 222 x460 - 222 x461 - 222 x462 - 222 x463 - 222 x464 - 222 x465 - 222 x466 - 222 x467 - 222 x468 + 222 x637 - x457 x637 - x458 x637 - x459 x637 - x460 x637 - x461 x637 - x462 x637 - x463 x637 - x464 x637 - x465 x637 - x466 x637 - x467 x637 - x468 x637 >= 0 e185: - 382 x469 - 382 x470 - 382 x471 - 382 x472 - 382 x473 - 382 x474 - 382 x475 - 382 x476 - 382 x477 - 382 x478 - 382 x479 - 382 x480 + 382 x638 - x469 x638 - x470 x638 - x471 x638 - x472 x638 - x473 x638 - x474 x638 - x475 x638 - x476 x638 - x477 x638 - x478 x638 - x479 x638 - x480 x638 >= 0 e186: - 275 x481 - 275 x482 - 275 x483 - 275 x484 - 275 x485 - 275 x486 - 275 x487 - 275 x488 - 275 x489 - 275 x490 - 275 x491 - 275 x492 + 275 x639 - x481 x639 - x482 x639 - x483 x639 - x484 x639 - x485 x639 - x486 x639 - x487 x639 - x488 x639 - x489 x639 - x490 x639 - x491 x639 - x492 x639 >= 0 e187: - 337 x493 - 337 x494 - 337 x495 - 337 x496 - 337 x497 - 337 x498 - 337 x499 - 337 x500 - 337 x501 - 337 x502 - 337 x503 - 337 x504 + 337 x640 - x493 x640 - x494 x640 - x495 x640 - x496 x640 - x497 x640 - x498 x640 - x499 x640 - x500 x640 - x501 x640 - x502 x640 - x503 x640 - x504 x640 >= 0 e188: - 398 x505 - 398 x506 - 398 x507 - 398 x508 - 398 x509 - 398 x510 - 398 x511 - 398 x512 - 398 x513 - 398 x514 - 398 x515 - 398 x516 + 398 x641 - x505 x641 - x506 x641 - x507 x641 - x508 x641 - x509 x641 - x510 x641 - x511 x641 - x512 x641 - x513 x641 - x514 x641 - x515 x641 - x516 x641 >= 0 e189: - 196 x517 - 196 x518 - 196 x519 - 196 x520 - 196 x521 - 196 x522 - 196 x523 - 196 x524 - 196 x525 - 196 x526 - 196 x527 - 196 x528 + 196 x642 - x517 x642 - x518 x642 - x519 x642 - x520 x642 - x521 x642 - x522 x642 - x523 x642 - x524 x642 - x525 x642 - x526 x642 - x527 x642 - x528 x642 >= 0 e190: - 424 x529 - 424 x530 - 424 x531 - 424 x532 - 424 x533 - 424 x534 - 424 x535 - 424 x536 - 424 x537 - 424 x538 - 424 x539 - 424 x540 + 424 x643 - x529 x643 - x530 x643 - x531 x643 - x532 x643 - x533 x643 - x534 x643 - x535 x643 - x536 x643 - x537 x643 - x538 x643 - x539 x643 - x540 x643 >= 0 e191: - 275 x541 - 275 x542 - 275 x543 - 275 x544 - 275 x545 - 275 x546 - 275 x547 - 275 x548 - 275 x549 - 275 x550 - 275 x551 - 275 x552 + 275 x644 - x541 x644 - x542 x644 - x543 x644 - x544 x644 - x545 x644 - x546 x644 - x547 x644 - x548 x644 - x549 x644 - x550 x644 - x551 x644 - x552 x644 >= 0 e192: 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 e193: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 - 293 b553 <= 0 e194: x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 - 192 b554 <= 0 e195: x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 - 417 b555 <= 0 e196: x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 - 427 b556 <= 0 e197: x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 - 295 b557 <= 0 e198: x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 - 2.8e2 b558 <= 0 e199: x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 - 337 b559 <= 0 e200: x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 - 293 b560 <= 0 e201: x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 - 341 b561 <= 0 e202: x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 - 276 b562 <= 0 e203: x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 - 119 b563 <= 0 e204: x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 - 192 b564 <= 0 e205: x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 - 347 b565 <= 0 e206: x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 - 398 b566 <= 0 e207: x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 - 359 b567 <= 0 e208: x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 - 417 b568 <= 0 e209: x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 - 359 b569 <= 0 e210: x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 - 193 b570 <= 0 e211: x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 - 427 b571 <= 0 e212: x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 347 b572 <= 0 e213: x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 - 218 b573 <= 0 e214: x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 - 295 b574 <= 0 e215: x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 - 341 b575 <= 0 e216: x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 - 218 b576 <= 0 e217: x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 - 134 b577 <= 0 e218: x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 - 276 b578 <= 0 e219: x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 - 134 b579 <= 0 e220: x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 200 b580 <= 0 e221: x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 - 222 b581 <= 0 e222: x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 - 196 b582 <= 0 e223: x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 - 200 b583 <= 0 e224: x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 - 129 b584 <= 0 e225: x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 - 2.8e2 b585 <= 0 e226: x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 - 129 b586 <= 0 e227: x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 382 b587 <= 0 e228: x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 - 424 b588 <= 0 e229: x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 - 119 b589 <= 0 e230: x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 - 193 b590 <= 0 e231: x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 - 222 b591 <= 0 e232: x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 382 b592 <= 0 e233: x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 - 275 b593 <= 0 e234: x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 - 337 b594 <= 0 e235: x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 - 398 b595 <= 0 e236: x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 - 196 b596 <= 0 e237: x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 - 424 b597 <= 0 e238: 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