\ Equation counts \ Total E G L N X C B \ 346 225 40 81 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 720 680 40 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2680 2560 120 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 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 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: - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13 - x14 - x15 + x682 >= 0 e228: - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - x25 - x26 - x27 - x28 - x29 - x30 + x683 >= 0 e229: - x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 + x684 >= 0 e230: - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57 - x58 - x59 - x60 + x685 >= 0 e231: - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72 - x73 - x74 - x75 + x686 >= 0 e232: - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84 - x85 - x86 - x87 - x88 - x89 - x90 + x687 >= 0 e233: - x91 - x92 - x93 - x94 - x95 - x96 - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 + x688 >= 0 e234: - x106 - x107 - x108 - x109 - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120 + x689 >= 0 e235: - x121 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135 + x690 >= 0 e236: - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149 - x150 + x691 >= 0 e237: - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159 - x160 - x161 - x162 - x163 - x164 - x165 + x692 >= 0 e238: - x166 - x167 - x168 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 + x693 >= 0 e239: - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 - x193 - x194 - x195 + x694 >= 0 e240: - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 - x210 + x695 >= 0 e241: - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 - x225 + x696 >= 0 e242: - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 + x697 >= 0 e243: - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 + x698 >= 0 e244: - x256 - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 - x270 + x699 >= 0 e245: - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 + x700 >= 0 e246: - x286 - x287 - x288 - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 + x701 >= 0 e247: - x301 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315 + x702 >= 0 e248: - x316 - x317 - x318 - x319 - x320 - x321 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 + x703 >= 0 e249: - x331 - x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 + x704 >= 0 e250: - x346 - x347 - x348 - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 + x705 >= 0 e251: - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - x374 - x375 + x706 >= 0 e252: - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386 - x387 - x388 - x389 - x390 + x707 >= 0 e253: - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 + x708 >= 0 e254: - x406 - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420 + x709 >= 0 e255: - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 - x433 - x434 - x435 + x710 >= 0 e256: - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444 - x445 - x446 - x447 - x448 - x449 - x450 + x711 >= 0 e257: - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 - x465 + x712 >= 0 e258: - x466 - x467 - x468 - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479 - x480 + x713 >= 0 e259: - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490 - x491 - x492 - x493 - x494 - x495 + x714 >= 0 e260: - x496 - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504 - x505 - x506 - x507 - x508 - x509 - x510 + x715 >= 0 e261: - x511 - x512 - x513 - x514 - x515 - x516 - x517 - x518 - x519 - x520 - x521 - x522 - x523 - x524 - x525 + x716 >= 0 e262: - x526 - x527 - x528 - x529 - x530 - x531 - x532 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540 + x717 >= 0 e263: - x541 - x542 - x543 - x544 - x545 - x546 - x547 - x548 - x549 - x550 - x551 - x552 - x553 - x554 - x555 + x718 >= 0 e264: - x556 - x557 - x558 - x559 - x560 - x561 - x562 - x563 - x564 - x565 - x566 - x567 - x568 - x569 - x570 + x719 >= 0 e265: - x571 - x572 - x573 - x574 - x575 - x576 - x577 - x578 - x579 - x580 - x581 - x582 - x583 - x584 - x585 + x720 >= 0 e266: - x586 - x587 - x588 - x589 - x590 - x591 - x592 - x593 - x594 - x595 - x596 - x597 - x598 - x599 - x600 + x721 >= 0 e267: - 526 b601 x641 + 526 b601 x682 + x641 x682 <= 0 e268: - 348 b602 x642 + 348 b602 x683 + x642 x683 <= 0 e269: - 712 b603 x643 + 712 b603 x684 + x643 x684 <= 0 e270: - 333 b604 x644 + 333 b604 x685 + x644 x685 <= 0 e271: - 526 b605 x645 + 526 b605 x686 + x645 x686 <= 0 e272: - 734 b606 x646 + 734 b606 x687 + x646 x687 <= 0 e273: - 5.8e2 b607 x647 + 5.8e2 b607 x688 + x647 x688 <= 0 e274: - 415 b608 x648 + 415 b608 x689 + x648 x689 <= 0 e275: - 734 b609 x649 + 734 b609 x690 + x649 x690 <= 0 e276: - 5.8e2 b610 x650 + 5.8e2 b610 x691 + x650 x691 <= 0 e277: - 212 b611 x651 + 212 b611 x692 + x651 x692 <= 0 e278: - 404 b612 x652 + 404 b612 x693 + x652 x693 <= 0 e279: - 348 b613 x653 + 348 b613 x694 + x653 x694 <= 0 e280: - 404 b614 x654 + 404 b614 x695 + x654 x695 <= 0 e281: - 662 b615 x655 + 662 b615 x696 + x655 x696 <= 0 e282: - 478 b616 x656 + 478 b616 x697 + x656 x697 <= 0 e283: - 323 b617 x657 + 323 b617 x698 + x657 x698 <= 0 e284: - 478 b618 x658 + 478 b618 x699 + x658 x699 <= 0 e285: - 243 b619 x659 + 243 b619 x700 + x659 x700 <= 0 e286: - 547 b620 x660 + 547 b620 x701 + x660 x701 <= 0 e287: - 662 b621 x661 + 662 b621 x702 + x661 x702 <= 0 e288: - 243 b622 x662 + 243 b622 x703 + x662 x703 <= 0 e289: - 242 b623 x663 + 242 b623 x704 + x663 x704 <= 0 e290: - 712 b624 x664 + 712 b624 x705 + x664 x705 <= 0 e291: - 242 b625 x665 + 242 b625 x706 + x665 x706 <= 0 e292: - 579 b626 x666 + 579 b626 x707 + x666 x707 <= 0 e293: - 579 b627 x667 + 579 b627 x708 + x667 x708 <= 0 e294: - 664 b628 x668 + 664 b628 x709 + x668 x709 <= 0 e295: - 358 b629 x669 + 358 b629 x710 + x669 x710 <= 0 e296: - 212 b630 x670 + 212 b630 x711 + x670 x711 <= 0 e297: - 323 b631 x671 + 323 b631 x712 + x671 x712 <= 0 e298: - 664 b632 x672 + 664 b632 x713 + x672 x713 <= 0 e299: - 358 b633 x673 + 358 b633 x714 + x673 x714 <= 0 e300: - 161 b634 x674 + 161 b634 x715 + x674 x715 <= 0 e301: - 547 b635 x675 + 547 b635 x716 + x675 x716 <= 0 e302: - 649 b636 x676 + 649 b636 x717 + x676 x717 <= 0 e303: - 333 b637 x677 + 333 b637 x718 + x677 x718 <= 0 e304: - 415 b638 x678 + 415 b638 x719 + x678 x719 <= 0 e305: - 161 b639 x679 + 161 b639 x720 + x679 x720 <= 0 e306: - 649 b640 x680 + 649 b640 x721 + x680 x721 <= 0 e307: 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 e308: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 - 526 b601 <= 0 e309: x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 - 348 b602 <= 0 e310: x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 - 712 b603 <= 0 e311: x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 - 333 b604 <= 0 e312: x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 - 526 b605 <= 0 e313: x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 - 734 b606 <= 0 e314: x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 - 5.8e2 b607 <= 0 e315: x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 - 415 b608 <= 0 e316: x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 - 734 b609 <= 0 e317: x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 - 5.8e2 b610 <= 0 e318: x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 - 212 b611 <= 0 e319: x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 - 404 b612 <= 0 e320: x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 - 348 b613 <= 0 e321: x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 - 404 b614 <= 0 e322: x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 - 662 b615 <= 0 e323: x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 478 b616 <= 0 e324: x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 - 323 b617 <= 0 e325: x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 - 478 b618 <= 0 e326: x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 - 243 b619 <= 0 e327: x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 - 547 b620 <= 0 e328: x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 - 662 b621 <= 0 e329: x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 - 243 b622 <= 0 e330: x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 - 242 b623 <= 0 e331: x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 - 712 b624 <= 0 e332: x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 - 242 b625 <= 0 e333: x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 - 579 b626 <= 0 e334: x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 - 579 b627 <= 0 e335: x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 664 b628 <= 0 e336: x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 + x435 - 358 b629 <= 0 e337: x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x450 - 212 b630 <= 0 e338: x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 - 323 b631 <= 0 e339: x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 664 b632 <= 0 e340: x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 - 358 b633 <= 0 e341: x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 - 161 b634 <= 0 e342: x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 - 547 b635 <= 0 e343: x526 + x527 + x528 + x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 - 649 b636 <= 0 e344: x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 - 333 b637 <= 0 e345: x556 + x557 + x558 + x559 + x560 + x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 - 415 b638 <= 0 e346: x571 + x572 + x573 + x574 + x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 - 161 b639 <= 0 e347: 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