\ Equation counts \ Total E G L N X C B \ 306 225 40 41 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 680 640 40 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2560 1920 640 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 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 3.556098535 b601 + 3.041877037 b602 + 3.589685587 b603 + 3.905780389 b604 + 3.556098535 b605 + 1.217492332 b606 + 2.503715254 b607 + 1.063607104 b608 + 1.217492332 b609 + 2.503715254 b610 + 3.633719815 b611 + 2.125478257 b612 + 3.041877037 b613 + 2.125478257 b614 + 1.784531452 b615 + 3.064279153 b616 + 1.50214444 b617 + 3.064279153 b618 + 2.200931005 b619 + 1.190857108 b620 + 1.784531452 b621 + 2.200931005 b622 + 2.108870677 b623 + 3.589685587 b624 + 2.108870677 b625 + 3.282989665 b626 + 3.282989665 b627 + 1.220939503 b628 + 3.902013532 b629 + 3.633719815 b630 + 1.50214444 b631 + 1.220939503 b632 + 3.902013532 b633 + 3.510868159 b634 + 1.190857108 b635 + 2.805504934 b636 + 3.905780389 b637 + 1.063607104 b638 + 3.510868159 b639 + 2.805504934 b640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 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 Subject To e2: - x1 - x16 - x31 - x46 + x61 + x181 + x346 + x541 = -203 e3: - x2 - x17 - x32 - x47 + x62 + x182 + x347 + x542 = 7 e4: - x3 - x18 - x33 - x48 + x63 + x183 + x348 + x543 = 18 e5: - x4 - x19 - x34 - x49 + x64 + x184 + x349 + x544 = 23 e6: - x5 - x20 - x35 - x50 + x65 + x185 + x350 + x545 = 8 e7: - x6 - x21 - x36 - x51 + x66 + x186 + x351 + x546 = 22 e8: - x7 - x22 - x37 - x52 + x67 + x187 + x352 + x547 = 17 e9: - x8 - x23 - x38 - x53 + x68 + x188 + x353 + x548 = 13 e10: - x9 - x24 - x39 - x54 + x69 + x189 + x354 + x549 = 9 e11: - x10 - x25 - x40 - x55 + x70 + x190 + x355 + x550 = 6 e12: - x11 - x26 - x41 - x56 + x71 + x191 + x356 + x551 = 19 e13: - x12 - x27 - x42 - x57 + x72 + x192 + x357 + x552 = 5 e14: - x13 - x28 - x43 - x58 + x73 + x193 + x358 + x553 = 11 e15: - x14 - x29 - x44 - x59 + x74 + x194 + x359 + x554 = 7 e16: - x15 - x30 - x45 - x60 + x75 + x195 + x360 + x555 = 6 e17: x1 - x61 - x76 + x121 = 7 e18: x2 - x62 - x77 + x122 = -191 e19: x3 - x63 - x78 + x123 = 5 e20: x4 - x64 - x79 + x124 = 16 e21: x5 - x65 - x80 + x125 = 20 e22: x6 - x66 - x81 + x126 = 15 e23: x7 - x67 - x82 + x127 = 21 e24: x8 - x68 - x83 + x128 = 6 e25: x9 - x69 - x84 + x129 = 23 e26: x10 - x70 - x85 + x130 = 10 e27: x11 - x71 - x86 + x131 = 9 e28: x12 - x72 - x87 + x132 = 8 e29: x13 - x73 - x88 + x133 = 10 e30: x14 - x74 - x89 + x134 = 12 e31: x15 - x75 - x90 + x135 = 19 e32: - x91 - x106 + x136 + x556 = 21 e33: - x92 - x107 + x137 + x557 = 10 e34: - x93 - x108 + x138 + x558 = -221 e35: - x94 - x109 + x139 + x559 = 8 e36: - x95 - x110 + x140 + x560 = 7 e37: - x96 - x111 + x141 + x561 = 20 e38: - x97 - x112 + x142 + x562 = 23 e39: - x98 - x113 + x143 + x563 = 12 e40: - x99 - x114 + x144 + x564 = 21 e41: - x100 - x115 + x145 + x565 = 21 e42: - x101 - x116 + x146 + x566 = 24 e43: - x102 - x117 + x147 + x567 = 23 e44: - x103 - x118 + x148 + x568 = 14 e45: - x104 - x119 + x149 + x569 = 12 e46: - x105 - x120 + x150 + x570 = 6 e47: x76 + x91 - x121 - x136 - x151 + x436 = 17 e48: x77 + x92 - x122 - x137 - x152 + x437 = 10 e49: x78 + x93 - x123 - x138 - x153 + x438 = 17 e50: x79 + x94 - x124 - x139 - x154 + x439 = -211 e51: x80 + x95 - x125 - x140 - x155 + x440 = 12 e52: x81 + x96 - x126 - x141 - x156 + x441 = 22 e53: x82 + x97 - x127 - x142 - x157 + x442 = 24 e54: x83 + x98 - x128 - x143 - x158 + x443 = 22 e55: x84 + x99 - x129 - x144 - x159 + x444 = 21 e56: x85 + x100 - x130 - x145 - x160 + x445 = 17 e57: x86 + x101 - x131 - x146 - x161 + x446 = 5 e58: x87 + x102 - x132 - x147 - x162 + x447 = 16 e59: x88 + x103 - x133 - x148 - x163 + x448 = 19 e60: x89 + x104 - x134 - x149 - x164 + x449 = 19 e61: x90 + x105 - x135 - x150 - x165 + x450 = 23 e62: - x166 + x196 = 23 e63: - x167 + x197 = 15 e64: - x168 + x198 = 23 e65: - x169 + x199 = 8 e66: - x170 + x200 = -159 e67: - x171 + x201 = 7 e68: - x172 + x202 = 21 e69: - x173 + x203 = 9 e70: - x174 + x204 = 12 e71: - x175 + x205 = 17 e72: - x176 + x206 = 14 e73: - x177 + x207 = 12 e74: - x178 + x208 = 22 e75: - x179 + x209 = 8 e76: - x180 + x210 = 19 e77: x16 + x166 - x181 - x196 - x211 + x301 = 16 e78: x17 + x167 - x182 - x197 - x212 + x302 = 10 e79: x18 + x168 - x183 - x198 - x213 + x303 = 22 e80: x19 + x169 - x184 - x199 - x214 + x304 = 16 e81: x20 + x170 - x185 - x200 - x215 + x305 = 13 e82: x21 + x171 - x186 - x201 - x216 + x306 = -257 e83: x22 + x172 - x187 - x202 - x217 + x307 = 6 e84: x23 + x173 - x188 - x203 - x218 + x308 = 21 e85: x24 + x174 - x189 - x204 - x219 + x309 = 11 e86: x25 + x175 - x190 - x205 - x220 + x310 = 24 e87: x26 + x176 - x191 - x206 - x221 + x311 = 7 e88: x27 + x177 - x192 - x207 - x222 + x312 = 15 e89: x28 + x178 - x193 - x208 - x223 + x313 = 6 e90: x29 + x179 - x194 - x209 - x224 + x314 = 18 e91: x30 + x180 - x195 - x210 - x225 + x315 = 17 e92: - x226 - x241 + x256 + x451 = 9 e93: - x227 - x242 + x257 + x452 = 6 e94: - x228 - x243 + x258 + x453 = 20 e95: - x229 - x244 + x259 + x454 = 13 e96: - x230 - x245 + x260 + x455 = 17 e97: - x231 - x246 + x261 + x456 = 23 e98: - x232 - x247 + x262 + x457 = -236 e99: - x233 - x248 + x263 + x458 = 13 e100: - x234 - x249 + x264 + x459 = 6 e101: - x235 - x250 + x265 + x460 = 24 e102: - x236 - x251 + x266 + x461 = 16 e103: - x237 - x252 + x267 + x462 = 9 e104: - x238 - x253 + x268 + x463 = 12 e105: - x239 - x254 + x269 + x464 = 22 e106: - x240 - x255 + x270 + x465 = 21 e107: x226 - x256 - x271 - x286 + x316 + x511 = 6 e108: x227 - x257 - x272 - x287 + x317 + x512 = 14 e109: x228 - x258 - x273 - x288 + x318 + x513 = 6 e110: x229 - x259 - x274 - x289 + x319 + x514 = 21 e111: x230 - x260 - x275 - x290 + x320 + x515 = 20 e112: x231 - x261 - x276 - x291 + x321 + x516 = 20 e113: x232 - x262 - x277 - x292 + x322 + x517 = 13 e114: x233 - x263 - x278 - x293 + x323 + x518 = -206 e115: x234 - x264 - x279 - x294 + x324 + x519 = 15 e116: x235 - x265 - x280 - x295 + x325 + x520 = 16 e117: x236 - x266 - x281 - x296 + x326 + x521 = 22 e118: x237 - x267 - x282 - x297 + x327 + x522 = 18 e119: x238 - x268 - x283 - x298 + x328 + x523 = 19 e120: x239 - x269 - x284 - x299 + x329 + x524 = 7 e121: x240 - x270 - x285 - x300 + x330 + x525 = 10 e122: x211 + x271 - x301 - x316 - x331 + x361 = 9 e123: x212 + x272 - x302 - x317 - x332 + x362 = 22 e124: x213 + x273 - x303 - x318 - x333 + x363 = 6 e125: x214 + x274 - x304 - x319 - x334 + x364 = 8 e126: x215 + x275 - x305 - x320 - x335 + x365 = 7 e127: x216 + x276 - x306 - x321 - x336 + x366 = 25 e128: x217 + x277 - x307 - x322 - x337 + x367 = 22 e129: x218 + x278 - x308 - x323 - x338 + x368 = 20 e130: x219 + x279 - x309 - x324 - x339 + x369 = -199 e131: x220 + x280 - x310 - x325 - x340 + x370 = 23 e132: x221 + x281 - x311 - x326 - x341 + x371 = 25 e133: x222 + x282 - x312 - x327 - x342 + x372 = 11 e134: x223 + x283 - x313 - x328 - x343 + x373 = 8 e135: x224 + x284 - x314 - x329 - x344 + x374 = 16 e136: x225 + x285 - x315 - x330 - x345 + x375 = 13 e137: x31 + x331 - x346 - x361 - x376 + x391 = 19 e138: x32 + x332 - x347 - x362 - x377 + x392 = 19 e139: x33 + x333 - x348 - x363 - x378 + x393 = 23 e140: x34 + x334 - x349 - x364 - x379 + x394 = 14 e141: x35 + x335 - x350 - x365 - x380 + x395 = 6 e142: x36 + x336 - x351 - x366 - x381 + x396 = 23 e143: x37 + x337 - x352 - x367 - x382 + x397 = 9 e144: x38 + x338 - x353 - x368 - x383 + x398 = 6 e145: x39 + x339 - x354 - x369 - x384 + x399 = 8 e146: x40 + x340 - x355 - x370 - x385 + x400 = -238 e147: x41 + x341 - x356 - x371 - x386 + x401 = 24 e148: x42 + x342 - x357 - x372 - x387 + x402 = 8 e149: x43 + x343 - x358 - x373 - x388 + x403 = 9 e150: x44 + x344 - x359 - x374 - x389 + x404 = 16 e151: x45 + x345 - x360 - x375 - x390 + x405 = 15 e152: x376 - x391 - x406 + x466 = 15 e153: x377 - x392 - x407 + x467 = 6 e154: x378 - x393 - x408 + x468 = 17 e155: x379 - x394 - x409 + x469 = 22 e156: x380 - x395 - x410 + x470 = 17 e157: x381 - x396 - x411 + x471 = 24 e158: x382 - x397 - x412 + x472 = 19 e159: x383 - x398 - x413 + x473 = 25 e160: x384 - x399 - x414 + x474 = 5 e161: x385 - x400 - x415 + x475 = 19 e162: x386 - x401 - x416 + x476 = -2.2e2 e163: x387 - x402 - x417 + x477 = 22 e164: x388 - x403 - x418 + x478 = 22 e165: x389 - x404 - x419 + x479 = 23 e166: x390 - x405 - x420 + x480 = 9 e167: - x421 + x481 = 12 e168: - x422 + x482 = 25 e169: - x423 + x483 = 14 e170: - x424 + x484 = 19 e171: - x425 + x485 = 10 e172: - x426 + x486 = 17 e173: - x427 + x487 = 13 e174: - x428 + x488 = 14 e175: - x429 + x489 = 12 e176: - x430 + x490 = 22 e177: - x431 + x491 = 7 e178: - x432 + x492 = -189 e179: - x433 + x493 = 21 e180: - x434 + x494 = 17 e181: - x435 + x495 = 10 e182: x151 + x241 + x406 + x421 - x436 - x451 - x466 - x481 - x496 + x571 = 17 e183: x152 + x242 + x407 + x422 - x437 - x452 - x467 - x482 - x497 + x572 = 18 e184: x153 + x243 + x408 + x423 - x438 - x453 - x468 - x483 - x498 + x573 = 23 e185: x154 + x244 + x409 + x424 - x439 - x454 - x469 - x484 - x499 + x574 = 20 e186: x155 + x245 + x410 + x425 - x440 - x455 - x470 - x485 - x500 + x575 = 7 e187: x156 + x246 + x411 + x426 - x441 - x456 - x471 - x486 - x501 + x576 = 16 e188: x157 + x247 + x412 + x427 - x442 - x457 - x472 - x487 - x502 + x577 = 14 e189: x158 + x248 + x413 + x428 - x443 - x458 - x473 - x488 - x503 + x578 = 14 e190: x159 + x249 + x414 + x429 - x444 - x459 - x474 - x489 - x504 + x579 = 14 e191: x160 + x250 + x415 + x430 - x445 - x460 - x475 - x490 - x505 + x580 = 8 e192: x161 + x251 + x416 + x431 - x446 - x461 - x476 - x491 - x506 + x581 = 16 e193: x162 + x252 + x417 + x432 - x447 - x462 - x477 - x492 - x507 + x582 = 9 e194: x163 + x253 + x418 + x433 - x448 - x463 - x478 - x493 - x508 + x583 = -214 e195: x164 + x254 + x419 + x434 - x449 - x464 - x479 - x494 - x509 + x584 = 24 e196: x165 + x255 + x420 + x435 - x450 - x465 - x480 - x495 - x510 + x585 = 11 e197: x286 - x511 - x526 + x586 = 10 e198: x287 - x512 - x527 + x587 = 10 e199: x288 - x513 - x528 + x588 = 20 e200: x289 - x514 - x529 + x589 = 13 e201: x290 - x515 - x530 + x590 = 7 e202: x291 - x516 - x531 + x591 = 8 e203: x292 - x517 - x532 + x592 = 11 e204: x293 - x518 - x533 + x593 = 16 e205: x294 - x519 - x534 + x594 = 22 e206: x295 - x520 - x535 + x595 = 13 e207: x296 - x521 - x536 + x596 = 9 e208: x297 - x522 - x537 + x597 = 22 e209: x298 - x523 - x538 + x598 = 21 e210: x299 - x524 - x539 + x599 = -222 e211: x300 - x525 - x540 + x600 = 14 e212: x46 + x106 + x496 + x526 - x541 - x556 - x571 - x586 = 22 e213: x47 + x107 + x497 + x527 - x542 - x557 - x572 - x587 = 19 e214: x48 + x108 + x498 + x528 - x543 - x558 - x573 - x588 = 7 e215: x49 + x109 + x499 + x529 - x544 - x559 - x574 - x589 = 10 e216: x50 + x110 + x500 + x530 - x545 - x560 - x575 - x590 = 8 e217: x51 + x111 + x501 + x531 - x546 - x561 - x576 - x591 = 15 e218: x52 + x112 + x502 + x532 - x547 - x562 - x577 - x592 = 23 e219: x53 + x113 + x503 + x533 - x548 - x563 - x578 - x593 = 15 e220: x54 + x114 + x504 + x534 - x549 - x564 - x579 - x594 = 20 e221: x55 + x115 + x505 + x535 - x550 - x565 - x580 - x595 = 18 e222: x56 + x116 + x506 + x536 - x551 - x566 - x581 - x596 = 23 e223: x57 + x117 + x507 + x537 - x552 - x567 - x582 - x597 = 11 e224: x58 + x118 + x508 + x538 - x553 - x568 - x583 - x598 = 20 e225: x59 + x119 + x509 + x539 - x554 - x569 - x584 - x599 = 21 e226: x60 + x120 + x510 + x540 - x555 - x570 - x585 - x600 = -193 e227: - 526 x1 - 526 x2 - 526 x3 - 526 x4 - 526 x5 - 526 x6 - 526 x7 - 526 x8 - 526 x9 - 526 x10 - 526 x11 - 526 x12 - 526 x13 - 526 x14 - 526 x15 + 526 x641 + [ - x1 * x641 - x2 * x641 - x3 * x641 - x4 * x641 - x5 * x641 - x6 * x641 - x7 * x641 - x8 * x641 - x9 * x641 - x10 * x641 - x11 * x641 - x12 * x641 - x13 * x641 - x14 * x641 - x15 * x641 ] >= 0 e228: - 348 x16 - 348 x17 - 348 x18 - 348 x19 - 348 x20 - 348 x21 - 348 x22 - 348 x23 - 348 x24 - 348 x25 - 348 x26 - 348 x27 - 348 x28 - 348 x29 - 348 x30 + 348 x642 + [ - x16 * x642 - x17 * x642 - x18 * x642 - x19 * x642 - x20 * x642 - x21 * x642 - x22 * x642 - x23 * x642 - x24 * x642 - x25 * x642 - x26 * x642 - x27 * x642 - x28 * x642 - x29 * x642 - x30 * x642 ] >= 0 e229: - 712 x31 - 712 x32 - 712 x33 - 712 x34 - 712 x35 - 712 x36 - 712 x37 - 712 x38 - 712 x39 - 712 x40 - 712 x41 - 712 x42 - 712 x43 - 712 x44 - 712 x45 + 712 x643 + [ - x31 * x643 - x32 * x643 - x33 * x643 - x34 * x643 - x35 * x643 - x36 * x643 - x37 * x643 - x38 * x643 - x39 * x643 - x40 * x643 - x41 * x643 - x42 * x643 - x43 * x643 - x44 * x643 - x45 * x643 ] >= 0 e230: - 333 x46 - 333 x47 - 333 x48 - 333 x49 - 333 x50 - 333 x51 - 333 x52 - 333 x53 - 333 x54 - 333 x55 - 333 x56 - 333 x57 - 333 x58 - 333 x59 - 333 x60 + 333 x644 + [ - x46 * x644 - x47 * x644 - x48 * x644 - x49 * x644 - x50 * x644 - x51 * x644 - x52 * x644 - x53 * x644 - x54 * x644 - x55 * x644 - x56 * x644 - x57 * x644 - x58 * x644 - x59 * x644 - x60 * x644 ] >= 0 e231: - 526 x61 - 526 x62 - 526 x63 - 526 x64 - 526 x65 - 526 x66 - 526 x67 - 526 x68 - 526 x69 - 526 x70 - 526 x71 - 526 x72 - 526 x73 - 526 x74 - 526 x75 + 526 x645 + [ - x61 * x645 - x62 * x645 - x63 * x645 - x64 * x645 - x65 * x645 - x66 * x645 - x67 * x645 - x68 * x645 - x69 * x645 - x70 * x645 - x71 * x645 - x72 * x645 - x73 * x645 - x74 * x645 - x75 * x645 ] >= 0 e232: - 734 x76 - 734 x77 - 734 x78 - 734 x79 - 734 x80 - 734 x81 - 734 x82 - 734 x83 - 734 x84 - 734 x85 - 734 x86 - 734 x87 - 734 x88 - 734 x89 - 734 x90 + 734 x646 + [ - x76 * x646 - x77 * x646 - x78 * x646 - x79 * x646 - x80 * x646 - x81 * x646 - x82 * x646 - x83 * x646 - x84 * x646 - x85 * x646 - x86 * x646 - x87 * x646 - x88 * x646 - x89 * x646 - x90 * x646 ] >= 0 e233: - 5.8e2 x91 - 5.8e2 x92 - 5.8e2 x93 - 5.8e2 x94 - 5.8e2 x95 - 5.8e2 x96 - 5.8e2 x97 - 5.8e2 x98 - 5.8e2 x99 - 5.8e2 x100 - 5.8e2 x101 - 5.8e2 x102 - 5.8e2 x103 - 5.8e2 x104 - 5.8e2 x105 + 5.8e2 x647 + [ - x91 * x647 - x92 * x647 - x93 * x647 - x94 * x647 - x95 * x647 - x96 * x647 - x97 * x647 - x98 * x647 - x99 * x647 - x100 * x647 - x101 * x647 - x102 * x647 - x103 * x647 - x104 * x647 - x105 * x647 ] >= 0 e234: - 415 x106 - 415 x107 - 415 x108 - 415 x109 - 415 x110 - 415 x111 - 415 x112 - 415 x113 - 415 x114 - 415 x115 - 415 x116 - 415 x117 - 415 x118 - 415 x119 - 415 x120 + 415 x648 + [ - x106 * x648 - x107 * x648 - x108 * x648 - x109 * x648 - x110 * x648 - x111 * x648 - x112 * x648 - x113 * x648 - x114 * x648 - x115 * x648 - x116 * x648 - x117 * x648 - x118 * x648 - x119 * x648 - x120 * x648 ] >= 0 e235: - 734 x121 - 734 x122 - 734 x123 - 734 x124 - 734 x125 - 734 x126 - 734 x127 - 734 x128 - 734 x129 - 734 x130 - 734 x131 - 734 x132 - 734 x133 - 734 x134 - 734 x135 + 734 x649 + [ - x121 * x649 - x122 * x649 - x123 * x649 - x124 * x649 - x125 * x649 - x126 * x649 - x127 * x649 - x128 * x649 - x129 * x649 - x130 * x649 - x131 * x649 - x132 * x649 - x133 * x649 - x134 * x649 - x135 * x649 ] >= 0 e236: - 5.8e2 x136 - 5.8e2 x137 - 5.8e2 x138 - 5.8e2 x139 - 5.8e2 x140 - 5.8e2 x141 - 5.8e2 x142 - 5.8e2 x143 - 5.8e2 x144 - 5.8e2 x145 - 5.8e2 x146 - 5.8e2 x147 - 5.8e2 x148 - 5.8e2 x149 - 5.8e2 x150 + 5.8e2 x650 + [ - x136 * x650 - x137 * x650 - x138 * x650 - x139 * x650 - x140 * x650 - x141 * x650 - x142 * x650 - x143 * x650 - x144 * x650 - x145 * x650 - x146 * x650 - x147 * x650 - x148 * x650 - x149 * x650 - x150 * x650 ] >= 0 e237: - 212 x151 - 212 x152 - 212 x153 - 212 x154 - 212 x155 - 212 x156 - 212 x157 - 212 x158 - 212 x159 - 212 x160 - 212 x161 - 212 x162 - 212 x163 - 212 x164 - 212 x165 + 212 x651 + [ - x151 * x651 - x152 * x651 - x153 * x651 - x154 * x651 - x155 * x651 - x156 * x651 - x157 * x651 - x158 * x651 - x159 * x651 - x160 * x651 - x161 * x651 - x162 * x651 - x163 * x651 - x164 * x651 - x165 * x651 ] >= 0 e238: - 404 x166 - 404 x167 - 404 x168 - 404 x169 - 404 x170 - 404 x171 - 404 x172 - 404 x173 - 404 x174 - 404 x175 - 404 x176 - 404 x177 - 404 x178 - 404 x179 - 404 x180 + 404 x652 + [ - x166 * x652 - x167 * x652 - x168 * x652 - x169 * x652 - x170 * x652 - x171 * x652 - x172 * x652 - x173 * x652 - x174 * x652 - x175 * x652 - x176 * x652 - x177 * x652 - x178 * x652 - x179 * x652 - x180 * x652 ] >= 0 e239: - 348 x181 - 348 x182 - 348 x183 - 348 x184 - 348 x185 - 348 x186 - 348 x187 - 348 x188 - 348 x189 - 348 x190 - 348 x191 - 348 x192 - 348 x193 - 348 x194 - 348 x195 + 348 x653 + [ - x181 * x653 - x182 * x653 - x183 * x653 - x184 * x653 - x185 * x653 - x186 * x653 - x187 * x653 - x188 * x653 - x189 * x653 - x190 * x653 - x191 * x653 - x192 * x653 - x193 * x653 - x194 * x653 - x195 * x653 ] >= 0 e240: - 404 x196 - 404 x197 - 404 x198 - 404 x199 - 404 x200 - 404 x201 - 404 x202 - 404 x203 - 404 x204 - 404 x205 - 404 x206 - 404 x207 - 404 x208 - 404 x209 - 404 x210 + 404 x654 + [ - x196 * x654 - x197 * x654 - x198 * x654 - x199 * x654 - x200 * x654 - x201 * x654 - x202 * x654 - x203 * x654 - x204 * x654 - x205 * x654 - x206 * x654 - x207 * x654 - x208 * x654 - x209 * x654 - x210 * x654 ] >= 0 e241: - 662 x211 - 662 x212 - 662 x213 - 662 x214 - 662 x215 - 662 x216 - 662 x217 - 662 x218 - 662 x219 - 662 x220 - 662 x221 - 662 x222 - 662 x223 - 662 x224 - 662 x225 + 662 x655 + [ - x211 * x655 - x212 * x655 - x213 * x655 - x214 * x655 - x215 * x655 - x216 * x655 - x217 * x655 - x218 * x655 - x219 * x655 - x220 * x655 - x221 * x655 - x222 * x655 - x223 * x655 - x224 * x655 - x225 * x655 ] >= 0 e242: - 478 x226 - 478 x227 - 478 x228 - 478 x229 - 478 x230 - 478 x231 - 478 x232 - 478 x233 - 478 x234 - 478 x235 - 478 x236 - 478 x237 - 478 x238 - 478 x239 - 478 x240 + 478 x656 + [ - x226 * x656 - x227 * x656 - x228 * x656 - x229 * x656 - x230 * x656 - x231 * x656 - x232 * x656 - x233 * x656 - x234 * x656 - x235 * x656 - x236 * x656 - x237 * x656 - x238 * x656 - x239 * x656 - x240 * x656 ] >= 0 e243: - 323 x241 - 323 x242 - 323 x243 - 323 x244 - 323 x245 - 323 x246 - 323 x247 - 323 x248 - 323 x249 - 323 x250 - 323 x251 - 323 x252 - 323 x253 - 323 x254 - 323 x255 + 323 x657 + [ - x241 * x657 - x242 * x657 - x243 * x657 - x244 * x657 - x245 * x657 - x246 * x657 - x247 * x657 - x248 * x657 - x249 * x657 - x250 * x657 - x251 * x657 - x252 * x657 - x253 * x657 - x254 * x657 - x255 * x657 ] >= 0 e244: - 478 x256 - 478 x257 - 478 x258 - 478 x259 - 478 x260 - 478 x261 - 478 x262 - 478 x263 - 478 x264 - 478 x265 - 478 x266 - 478 x267 - 478 x268 - 478 x269 - 478 x270 + 478 x658 + [ - x256 * x658 - x257 * x658 - x258 * x658 - x259 * x658 - x260 * x658 - x261 * x658 - x262 * x658 - x263 * x658 - x264 * x658 - x265 * x658 - x266 * x658 - x267 * x658 - x268 * x658 - x269 * x658 - x270 * x658 ] >= 0 e245: - 243 x271 - 243 x272 - 243 x273 - 243 x274 - 243 x275 - 243 x276 - 243 x277 - 243 x278 - 243 x279 - 243 x280 - 243 x281 - 243 x282 - 243 x283 - 243 x284 - 243 x285 + 243 x659 + [ - x271 * x659 - x272 * x659 - x273 * x659 - x274 * x659 - x275 * x659 - x276 * x659 - x277 * x659 - x278 * x659 - x279 * x659 - x280 * x659 - x281 * x659 - x282 * x659 - x283 * x659 - x284 * x659 - x285 * x659 ] >= 0 e246: - 547 x286 - 547 x287 - 547 x288 - 547 x289 - 547 x290 - 547 x291 - 547 x292 - 547 x293 - 547 x294 - 547 x295 - 547 x296 - 547 x297 - 547 x298 - 547 x299 - 547 x300 + 547 x660 + [ - x286 * x660 - x287 * x660 - x288 * x660 - x289 * x660 - x290 * x660 - x291 * x660 - x292 * x660 - x293 * x660 - x294 * x660 - x295 * x660 - x296 * x660 - x297 * x660 - x298 * x660 - x299 * x660 - x300 * x660 ] >= 0 e247: - 662 x301 - 662 x302 - 662 x303 - 662 x304 - 662 x305 - 662 x306 - 662 x307 - 662 x308 - 662 x309 - 662 x310 - 662 x311 - 662 x312 - 662 x313 - 662 x314 - 662 x315 + 662 x661 + [ - x301 * x661 - x302 * x661 - x303 * x661 - x304 * x661 - x305 * x661 - x306 * x661 - x307 * x661 - x308 * x661 - x309 * x661 - x310 * x661 - x311 * x661 - x312 * x661 - x313 * x661 - x314 * x661 - x315 * x661 ] >= 0 e248: - 243 x316 - 243 x317 - 243 x318 - 243 x319 - 243 x320 - 243 x321 - 243 x322 - 243 x323 - 243 x324 - 243 x325 - 243 x326 - 243 x327 - 243 x328 - 243 x329 - 243 x330 + 243 x662 + [ - x316 * x662 - x317 * x662 - x318 * x662 - x319 * x662 - x320 * x662 - x321 * x662 - x322 * x662 - x323 * x662 - x324 * x662 - x325 * x662 - x326 * x662 - x327 * x662 - x328 * x662 - x329 * x662 - x330 * x662 ] >= 0 e249: - 242 x331 - 242 x332 - 242 x333 - 242 x334 - 242 x335 - 242 x336 - 242 x337 - 242 x338 - 242 x339 - 242 x340 - 242 x341 - 242 x342 - 242 x343 - 242 x344 - 242 x345 + 242 x663 + [ - x331 * x663 - x332 * x663 - x333 * x663 - x334 * x663 - x335 * x663 - x336 * x663 - x337 * x663 - x338 * x663 - x339 * x663 - x340 * x663 - x341 * x663 - x342 * x663 - x343 * x663 - x344 * x663 - x345 * x663 ] >= 0 e250: - 712 x346 - 712 x347 - 712 x348 - 712 x349 - 712 x350 - 712 x351 - 712 x352 - 712 x353 - 712 x354 - 712 x355 - 712 x356 - 712 x357 - 712 x358 - 712 x359 - 712 x360 + 712 x664 + [ - x346 * x664 - x347 * x664 - x348 * x664 - x349 * x664 - x350 * x664 - x351 * x664 - x352 * x664 - x353 * x664 - x354 * x664 - x355 * x664 - x356 * x664 - x357 * x664 - x358 * x664 - x359 * x664 - x360 * x664 ] >= 0 e251: - 242 x361 - 242 x362 - 242 x363 - 242 x364 - 242 x365 - 242 x366 - 242 x367 - 242 x368 - 242 x369 - 242 x370 - 242 x371 - 242 x372 - 242 x373 - 242 x374 - 242 x375 + 242 x665 + [ - x361 * x665 - x362 * x665 - x363 * x665 - x364 * x665 - x365 * x665 - x366 * x665 - x367 * x665 - x368 * x665 - x369 * x665 - x370 * x665 - x371 * x665 - x372 * x665 - x373 * x665 - x374 * x665 - x375 * x665 ] >= 0 e252: - 579 x376 - 579 x377 - 579 x378 - 579 x379 - 579 x380 - 579 x381 - 579 x382 - 579 x383 - 579 x384 - 579 x385 - 579 x386 - 579 x387 - 579 x388 - 579 x389 - 579 x390 + 579 x666 + [ - x376 * x666 - x377 * x666 - x378 * x666 - x379 * x666 - x380 * x666 - x381 * x666 - x382 * x666 - x383 * x666 - x384 * x666 - x385 * x666 - x386 * x666 - x387 * x666 - x388 * x666 - x389 * x666 - x390 * x666 ] >= 0 e253: - 579 x391 - 579 x392 - 579 x393 - 579 x394 - 579 x395 - 579 x396 - 579 x397 - 579 x398 - 579 x399 - 579 x400 - 579 x401 - 579 x402 - 579 x403 - 579 x404 - 579 x405 + 579 x667 + [ - x391 * x667 - x392 * x667 - x393 * x667 - x394 * x667 - x395 * x667 - x396 * x667 - x397 * x667 - x398 * x667 - x399 * x667 - x400 * x667 - x401 * x667 - x402 * x667 - x403 * x667 - x404 * x667 - x405 * x667 ] >= 0 e254: - 664 x406 - 664 x407 - 664 x408 - 664 x409 - 664 x410 - 664 x411 - 664 x412 - 664 x413 - 664 x414 - 664 x415 - 664 x416 - 664 x417 - 664 x418 - 664 x419 - 664 x420 + 664 x668 + [ - x406 * x668 - x407 * x668 - x408 * x668 - x409 * x668 - x410 * x668 - x411 * x668 - x412 * x668 - x413 * x668 - x414 * x668 - x415 * x668 - x416 * x668 - x417 * x668 - x418 * x668 - x419 * x668 - x420 * x668 ] >= 0 e255: - 358 x421 - 358 x422 - 358 x423 - 358 x424 - 358 x425 - 358 x426 - 358 x427 - 358 x428 - 358 x429 - 358 x430 - 358 x431 - 358 x432 - 358 x433 - 358 x434 - 358 x435 + 358 x669 + [ - x421 * x669 - x422 * x669 - x423 * x669 - x424 * x669 - x425 * x669 - x426 * x669 - x427 * x669 - x428 * x669 - x429 * x669 - x430 * x669 - x431 * x669 - x432 * x669 - x433 * x669 - x434 * x669 - x435 * x669 ] >= 0 e256: - 212 x436 - 212 x437 - 212 x438 - 212 x439 - 212 x440 - 212 x441 - 212 x442 - 212 x443 - 212 x444 - 212 x445 - 212 x446 - 212 x447 - 212 x448 - 212 x449 - 212 x450 + 212 x670 + [ - x436 * x670 - x437 * x670 - x438 * x670 - x439 * x670 - x440 * x670 - x441 * x670 - x442 * x670 - x443 * x670 - x444 * x670 - x445 * x670 - x446 * x670 - x447 * x670 - x448 * x670 - x449 * x670 - x450 * x670 ] >= 0 e257: - 323 x451 - 323 x452 - 323 x453 - 323 x454 - 323 x455 - 323 x456 - 323 x457 - 323 x458 - 323 x459 - 323 x460 - 323 x461 - 323 x462 - 323 x463 - 323 x464 - 323 x465 + 323 x671 + [ - x451 * x671 - x452 * x671 - x453 * x671 - x454 * x671 - x455 * x671 - x456 * x671 - x457 * x671 - x458 * x671 - x459 * x671 - x460 * x671 - x461 * x671 - x462 * x671 - x463 * x671 - x464 * x671 - x465 * x671 ] >= 0 e258: - 664 x466 - 664 x467 - 664 x468 - 664 x469 - 664 x470 - 664 x471 - 664 x472 - 664 x473 - 664 x474 - 664 x475 - 664 x476 - 664 x477 - 664 x478 - 664 x479 - 664 x480 + 664 x672 + [ - x466 * x672 - x467 * x672 - x468 * x672 - x469 * x672 - x470 * x672 - x471 * x672 - x472 * x672 - x473 * x672 - x474 * x672 - x475 * x672 - x476 * x672 - x477 * x672 - x478 * x672 - x479 * x672 - x480 * x672 ] >= 0 e259: - 358 x481 - 358 x482 - 358 x483 - 358 x484 - 358 x485 - 358 x486 - 358 x487 - 358 x488 - 358 x489 - 358 x490 - 358 x491 - 358 x492 - 358 x493 - 358 x494 - 358 x495 + 358 x673 + [ - x481 * x673 - x482 * x673 - x483 * x673 - x484 * x673 - x485 * x673 - x486 * x673 - x487 * x673 - x488 * x673 - x489 * x673 - x490 * x673 - x491 * x673 - x492 * x673 - x493 * x673 - x494 * x673 - x495 * x673 ] >= 0 e260: - 161 x496 - 161 x497 - 161 x498 - 161 x499 - 161 x500 - 161 x501 - 161 x502 - 161 x503 - 161 x504 - 161 x505 - 161 x506 - 161 x507 - 161 x508 - 161 x509 - 161 x510 + 161 x674 + [ - x496 * x674 - x497 * x674 - x498 * x674 - x499 * x674 - x500 * x674 - x501 * x674 - x502 * x674 - x503 * x674 - x504 * x674 - x505 * x674 - x506 * x674 - x507 * x674 - x508 * x674 - x509 * x674 - x510 * x674 ] >= 0 e261: - 547 x511 - 547 x512 - 547 x513 - 547 x514 - 547 x515 - 547 x516 - 547 x517 - 547 x518 - 547 x519 - 547 x520 - 547 x521 - 547 x522 - 547 x523 - 547 x524 - 547 x525 + 547 x675 + [ - x511 * x675 - x512 * x675 - x513 * x675 - x514 * x675 - x515 * x675 - x516 * x675 - x517 * x675 - x518 * x675 - x519 * x675 - x520 * x675 - x521 * x675 - x522 * x675 - x523 * x675 - x524 * x675 - x525 * x675 ] >= 0 e262: - 649 x526 - 649 x527 - 649 x528 - 649 x529 - 649 x530 - 649 x531 - 649 x532 - 649 x533 - 649 x534 - 649 x535 - 649 x536 - 649 x537 - 649 x538 - 649 x539 - 649 x540 + 649 x676 + [ - x526 * x676 - x527 * x676 - x528 * x676 - x529 * x676 - x530 * x676 - x531 * x676 - x532 * x676 - x533 * x676 - x534 * x676 - x535 * x676 - x536 * x676 - x537 * x676 - x538 * x676 - x539 * x676 - x540 * x676 ] >= 0 e263: - 333 x541 - 333 x542 - 333 x543 - 333 x544 - 333 x545 - 333 x546 - 333 x547 - 333 x548 - 333 x549 - 333 x550 - 333 x551 - 333 x552 - 333 x553 - 333 x554 - 333 x555 + 333 x677 + [ - x541 * x677 - x542 * x677 - x543 * x677 - x544 * x677 - x545 * x677 - x546 * x677 - x547 * x677 - x548 * x677 - x549 * x677 - x550 * x677 - x551 * x677 - x552 * x677 - x553 * x677 - x554 * x677 - x555 * x677 ] >= 0 e264: - 415 x556 - 415 x557 - 415 x558 - 415 x559 - 415 x560 - 415 x561 - 415 x562 - 415 x563 - 415 x564 - 415 x565 - 415 x566 - 415 x567 - 415 x568 - 415 x569 - 415 x570 + 415 x678 + [ - x556 * x678 - x557 * x678 - x558 * x678 - x559 * x678 - x560 * x678 - x561 * x678 - x562 * x678 - x563 * x678 - x564 * x678 - x565 * x678 - x566 * x678 - x567 * x678 - x568 * x678 - x569 * x678 - x570 * x678 ] >= 0 e265: - 161 x571 - 161 x572 - 161 x573 - 161 x574 - 161 x575 - 161 x576 - 161 x577 - 161 x578 - 161 x579 - 161 x580 - 161 x581 - 161 x582 - 161 x583 - 161 x584 - 161 x585 + 161 x679 + [ - x571 * x679 - x572 * x679 - x573 * x679 - x574 * x679 - x575 * x679 - x576 * x679 - x577 * x679 - x578 * x679 - x579 * x679 - x580 * x679 - x581 * x679 - x582 * x679 - x583 * x679 - x584 * x679 - x585 * x679 ] >= 0 e266: - 649 x586 - 649 x587 - 649 x588 - 649 x589 - 649 x590 - 649 x591 - 649 x592 - 649 x593 - 649 x594 - 649 x595 - 649 x596 - 649 x597 - 649 x598 - 649 x599 - 649 x600 + 649 x680 + [ - x586 * x680 - x587 * x680 - x588 * x680 - x589 * x680 - x590 * x680 - x591 * x680 - x592 * x680 - x593 * x680 - x594 * x680 - x595 * x680 - x596 * x680 - x597 * x680 - x598 * x680 - x599 * x680 - x600 * x680 ] >= 0 e267: x641 + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 + x657 + x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 + x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 <= 18954 e268: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 - 526 b601 <= 0 e269: x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 - 348 b602 <= 0 e270: x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 - 712 b603 <= 0 e271: x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 - 333 b604 <= 0 e272: x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 - 526 b605 <= 0 e273: x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 - 734 b606 <= 0 e274: x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 - 5.8e2 b607 <= 0 e275: x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 - 415 b608 <= 0 e276: x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 - 734 b609 <= 0 e277: x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 - 5.8e2 b610 <= 0 e278: x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 - 212 b611 <= 0 e279: x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 - 404 b612 <= 0 e280: x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 - 348 b613 <= 0 e281: x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 - 404 b614 <= 0 e282: x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 - 662 b615 <= 0 e283: x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 478 b616 <= 0 e284: x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 - 323 b617 <= 0 e285: x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 - 478 b618 <= 0 e286: x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 - 243 b619 <= 0 e287: x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 - 547 b620 <= 0 e288: x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 - 662 b621 <= 0 e289: x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 - 243 b622 <= 0 e290: x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 - 242 b623 <= 0 e291: x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 - 712 b624 <= 0 e292: x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 - 242 b625 <= 0 e293: x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 - 579 b626 <= 0 e294: x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 - 579 b627 <= 0 e295: x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 664 b628 <= 0 e296: x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 + x435 - 358 b629 <= 0 e297: x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x450 - 212 b630 <= 0 e298: x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 - 323 b631 <= 0 e299: x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 664 b632 <= 0 e300: x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 - 358 b633 <= 0 e301: x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 - 161 b634 <= 0 e302: x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 - 547 b635 <= 0 e303: x526 + x527 + x528 + x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 - 649 b636 <= 0 e304: x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 - 333 b637 <= 0 e305: x556 + x557 + x558 + x559 + x560 + x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 - 415 b638 <= 0 e306: x571 + x572 + x573 + x574 + x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 - 161 b639 <= 0 e307: x586 + x587 + x588 + x589 + x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 - 649 b640 <= 0 Binary b601 b602 b603 b604 b605 b606 b607 b608 b609 b610 b611 b612 b613 b614 b615 b616 b617 b618 b619 b620 b621 b622 b623 b624 b625 b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 End