\ Equation counts \ Total E G L N X C B \ 2059 721 435 903 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 856 792 64 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 10176 9152 1024 0 \ Maximize obj: 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 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 + .1 x346 + .6 x347 + .2 x348 + .5 x349 + .1 x350 + .6 x351 + .2 x352 + .5 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 + .1 x378 + .6 x379 + .2 x380 + .5 x381 + .1 x382 + .6 x383 + .2 x384 + .5 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 + .1 x410 + .6 x411 + .2 x412 + .5 x413 + .1 x414 + .6 x415 + .2 x416 + .5 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 + .1 x442 + .6 x443 + .2 x444 + .5 x445 + .1 x446 + .6 x447 + .2 x448 + .5 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 + .1 x474 + .6 x475 + .2 x476 + .5 x477 + .1 x478 + .6 x479 + .2 x480 + .5 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 + .1 x506 + .6 x507 + .2 x508 + .5 x509 + .1 x510 + .6 x511 + .2 x512 + .5 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 + .1 x538 + .6 x539 + .2 x540 + .5 x541 + .1 x542 + .6 x543 + .2 x544 + .5 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 + .1 x570 + .6 x571 + .2 x572 + .5 x573 + .1 x574 + .6 x575 + .2 x576 + .5 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 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 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 x681 + 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 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 Subject To e2: b2 + b3 <= 1 e3: b2 + b4 <= 1 e4: b2 + b5 <= 1 e5: b3 + b6 <= 1 e6: b3 + b7 <= 1 e7: b4 + b8 <= 1 e8: b5 + b9 <= 1 e9: b6 + b8 <= 1 e10: b7 + b9 <= 1 e11: b8 + b9 <= 1 e12: b10 + b11 <= 1 e13: b10 + b12 <= 1 e14: b10 + b13 <= 1 e15: b11 + b14 <= 1 e16: b11 + b15 <= 1 e17: b12 + b16 <= 1 e18: b13 + b17 <= 1 e19: b14 + b16 <= 1 e20: b15 + b17 <= 1 e21: b16 + b17 <= 1 e22: b18 + b19 <= 1 e23: b18 + b20 <= 1 e24: b18 + b21 <= 1 e25: b19 + b22 <= 1 e26: b19 + b23 <= 1 e27: b20 + b24 <= 1 e28: b21 + b25 <= 1 e29: b22 + b24 <= 1 e30: b23 + b25 <= 1 e31: b24 + b25 <= 1 e32: b26 + b27 <= 1 e33: b26 + b28 <= 1 e34: b26 + b29 <= 1 e35: b27 + b30 <= 1 e36: b27 + b31 <= 1 e37: b28 + b32 <= 1 e38: b29 + b33 <= 1 e39: b30 + b32 <= 1 e40: b31 + b33 <= 1 e41: b32 + b33 <= 1 e42: b34 + b35 <= 1 e43: b34 + b36 <= 1 e44: b34 + b37 <= 1 e45: b35 + b38 <= 1 e46: b35 + b39 <= 1 e47: b36 + b40 <= 1 e48: b37 + b41 <= 1 e49: b38 + b40 <= 1 e50: b39 + b41 <= 1 e51: b40 + b41 <= 1 e52: b42 + b43 <= 1 e53: b42 + b44 <= 1 e54: b42 + b45 <= 1 e55: b43 + b46 <= 1 e56: b43 + b47 <= 1 e57: b44 + b48 <= 1 e58: b45 + b49 <= 1 e59: b46 + b48 <= 1 e60: b47 + b49 <= 1 e61: b48 + b49 <= 1 e62: b50 + b51 <= 1 e63: b50 + b52 <= 1 e64: b50 + b53 <= 1 e65: b51 + b54 <= 1 e66: b51 + b55 <= 1 e67: b52 + b56 <= 1 e68: b53 + b57 <= 1 e69: b54 + b56 <= 1 e70: b55 + b57 <= 1 e71: b56 + b57 <= 1 e72: b58 + b59 <= 1 e73: b58 + b60 <= 1 e74: b58 + b61 <= 1 e75: b59 + b62 <= 1 e76: b59 + b63 <= 1 e77: b60 + b64 <= 1 e78: b61 + b65 <= 1 e79: b62 + b64 <= 1 e80: b63 + b65 <= 1 e81: b64 + b65 <= 1 e82: b2 + b10 + b18 + b26 + b34 + b42 + b50 + b58 >= 1 e83: b3 + b11 + b19 + b27 + b35 + b43 + b51 + b59 >= 1 e84: b8 + b16 + b24 + b32 + b40 + b48 + b56 + b64 >= 1 e85: b9 + b17 + b25 + b33 + b41 + b49 + b57 + b65 >= 1 e86: b8 + b9 + b16 + b17 + b24 + b25 + b32 + b33 + b40 + b41 + b48 + b49 + b56 + b57 + b64 + b65 >= 3 e87: b2 + b10 + b18 + b26 + b34 + b42 + b50 + b58 <= 1 e88: b3 + b11 + b19 + b27 + b35 + b43 + b51 + b59 <= 1 e89: b8 + b16 + b24 + b32 + b40 + b48 + b56 + b64 <= 2 e90: b9 + b17 + b25 + b33 + b41 + b49 + b57 + b65 <= 2 e91: b8 + b9 + b16 + b17 + b24 + b25 + b32 + b33 + b40 + b41 + b48 + b49 + b56 + b57 + b64 + b65 <= 3 e92: b8 + b9 >= 1 e93: b8 + b9 <= 1 e94: - x67 - x75 - x83 - x91 - x99 - x107 - x115 - x123 + x194 + x202 + x210 + x218 + x226 + x234 + x242 + x250 <= 0 e95: - b3 >= 0 e96: b2 - b3 - b11 >= 0 e97: b2 - b3 + b10 - b11 - b19 >= 0 e98: b2 - b3 + b10 - b11 + b18 - b19 - b27 >= 0 e99: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 - b35 >= 0 e100: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 + b34 - b35 - b43 >= 0 e101: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 + b34 - b35 + b42 - b43 - b51 >= 0 e102: b2 - b3 + b10 - b11 + b18 - b19 + b26 - b27 + b34 - b35 + b42 - b43 + b50 - b51 - b59 >= 0 e103: - x66 - x130 + x194 = 0 e104: - x67 - x131 + x195 = 0 e105: - x68 - x132 + x196 = 0 e106: - x69 - x133 + x197 = 0 e107: - x70 - x134 + x198 = 0 e108: - x71 - x135 + x199 = 0 e109: - x72 - x136 + x200 = 0 e110: - x73 - x137 + x201 = 0 e111: - x74 - x138 + x202 = 0 e112: - x75 - x139 + x203 = 0 e113: - x76 - x140 + x204 = 0 e114: - x77 - x141 + x205 = 0 e115: - x78 - x142 + x206 = 0 e116: - x79 - x143 + x207 = 0 e117: - x80 - x144 + x208 = 0 e118: - x81 - x145 + x209 = 0 e119: - x82 - x146 + x210 = 0 e120: - x83 - x147 + x211 = 0 e121: - x84 - x148 + x212 = 0 e122: - x85 - x149 + x213 = 0 e123: - x86 - x150 + x214 = 0 e124: - x87 - x151 + x215 = 0 e125: - x88 - x152 + x216 = 0 e126: - x89 - x153 + x217 = 0 e127: - x90 - x154 + x218 = 0 e128: - x91 - x155 + x219 = 0 e129: - x92 - x156 + x220 = 0 e130: - x93 - x157 + x221 = 0 e131: - x94 - x158 + x222 = 0 e132: - x95 - x159 + x223 = 0 e133: - x96 - x160 + x224 = 0 e134: - x97 - x161 + x225 = 0 e135: - x98 - x162 + x226 = 0 e136: - x99 - x163 + x227 = 0 e137: - x100 - x164 + x228 = 0 e138: - x101 - x165 + x229 = 0 e139: - x102 - x166 + x230 = 0 e140: - x103 - x167 + x231 = 0 e141: - x104 - x168 + x232 = 0 e142: - x105 - x169 + x233 = 0 e143: - x106 - x170 + x234 = 0 e144: - x107 - x171 + x235 = 0 e145: - x108 - x172 + x236 = 0 e146: - x109 - x173 + x237 = 0 e147: - x110 - x174 + x238 = 0 e148: - x111 - x175 + x239 = 0 e149: - x112 - x176 + x240 = 0 e150: - x113 - x177 + x241 = 0 e151: - x114 - x178 + x242 = 0 e152: - x115 - x179 + x243 = 0 e153: - x116 - x180 + x244 = 0 e154: - x117 - x181 + x245 = 0 e155: - x118 - x182 + x246 = 0 e156: - x119 - x183 + x247 = 0 e157: - x120 - x184 + x248 = 0 e158: - x121 - x185 + x249 = 0 e159: - x122 - x186 + x250 = 0 e160: - x123 - x187 + x251 = 0 e161: - x124 - x188 + x252 = 0 e162: - x125 - x189 + x253 = 0 e163: - x126 - x190 + x254 = 0 e164: - x127 - x191 + x255 = 0 e165: - x128 - x192 + x256 = 0 e166: - x129 - x193 + x257 = 0 e167: x66 >= 0 e168: - 4 b3 + x67 >= 0 e169: x68 >= 0 e170: x69 >= 0 e171: x70 >= 0 e172: x71 >= 0 e173: x72 >= 0 e174: x73 >= 0 e175: x74 >= 0 e176: - 4 b11 + x75 >= 0 e177: x76 >= 0 e178: x77 >= 0 e179: x78 >= 0 e180: x79 >= 0 e181: x80 >= 0 e182: x81 >= 0 e183: x82 >= 0 e184: - 4 b19 + x83 >= 0 e185: x84 >= 0 e186: x85 >= 0 e187: x86 >= 0 e188: x87 >= 0 e189: x88 >= 0 e190: x89 >= 0 e191: x90 >= 0 e192: - 4 b27 + x91 >= 0 e193: x92 >= 0 e194: x93 >= 0 e195: x94 >= 0 e196: x95 >= 0 e197: x96 >= 0 e198: x97 >= 0 e199: x98 >= 0 e200: - 4 b35 + x99 >= 0 e201: x100 >= 0 e202: x101 >= 0 e203: x102 >= 0 e204: x103 >= 0 e205: x104 >= 0 e206: x105 >= 0 e207: x106 >= 0 e208: - 4 b43 + x107 >= 0 e209: x108 >= 0 e210: x109 >= 0 e211: x110 >= 0 e212: x111 >= 0 e213: x112 >= 0 e214: x113 >= 0 e215: x114 >= 0 e216: - 4 b51 + x115 >= 0 e217: x116 >= 0 e218: x117 >= 0 e219: x118 >= 0 e220: x119 >= 0 e221: x120 >= 0 e222: x121 >= 0 e223: x122 >= 0 e224: - 4 b59 + x123 >= 0 e225: x124 >= 0 e226: x125 >= 0 e227: x126 >= 0 e228: x127 >= 0 e229: x128 >= 0 e230: x129 >= 0 e231: - 8 b2 + x194 <= 0 e232: - 8 b3 + x195 <= 0 e233: - 8 b4 + x196 <= 0 e234: - 8 b5 + x197 <= 0 e235: - 8 b6 + x198 <= 0 e236: - 8 b7 + x199 <= 0 e237: - 8 b8 + x200 <= 0 e238: - 8 b9 + x201 <= 0 e239: - 8 b10 + x202 <= 0 e240: - 8 b11 + x203 <= 0 e241: - 8 b12 + x204 <= 0 e242: - 8 b13 + x205 <= 0 e243: - 8 b14 + x206 <= 0 e244: - 8 b15 + x207 <= 0 e245: - 8 b16 + x208 <= 0 e246: - 8 b17 + x209 <= 0 e247: - 8 b18 + x210 <= 0 e248: - 8 b19 + x211 <= 0 e249: - 8 b20 + x212 <= 0 e250: - 8 b21 + x213 <= 0 e251: - 8 b22 + x214 <= 0 e252: - 8 b23 + x215 <= 0 e253: - 8 b24 + x216 <= 0 e254: - 8 b25 + x217 <= 0 e255: - 8 b26 + x218 <= 0 e256: - 8 b27 + x219 <= 0 e257: - 8 b28 + x220 <= 0 e258: - 8 b29 + x221 <= 0 e259: - 8 b30 + x222 <= 0 e260: - 8 b31 + x223 <= 0 e261: - 8 b32 + x224 <= 0 e262: - 8 b33 + x225 <= 0 e263: - 8 b34 + x226 <= 0 e264: - 8 b35 + x227 <= 0 e265: - 8 b36 + x228 <= 0 e266: - 8 b37 + x229 <= 0 e267: - 8 b38 + x230 <= 0 e268: - 8 b39 + x231 <= 0 e269: - 8 b40 + x232 <= 0 e270: - 8 b41 + x233 <= 0 e271: - 8 b42 + x234 <= 0 e272: - 8 b43 + x235 <= 0 e273: - 8 b44 + x236 <= 0 e274: - 8 b45 + x237 <= 0 e275: - 8 b46 + x238 <= 0 e276: - 8 b47 + x239 <= 0 e277: - 8 b48 + x240 <= 0 e278: - 8 b49 + x241 <= 0 e279: - 8 b50 + x242 <= 0 e280: - 8 b51 + x243 <= 0 e281: - 8 b52 + x244 <= 0 e282: - 8 b53 + x245 <= 0 e283: - 8 b54 + x246 <= 0 e284: - 8 b55 + x247 <= 0 e285: - 8 b56 + x248 <= 0 e286: - 8 b57 + x249 <= 0 e287: - 8 b58 + x250 <= 0 e288: - 8 b59 + x251 <= 0 e289: - 8 b60 + x252 <= 0 e290: - 8 b61 + x253 <= 0 e291: - 8 b62 + x254 <= 0 e292: - 8 b63 + x255 <= 0 e293: - 8 b64 + x256 <= 0 e294: - 8 b65 + x257 <= 0 e295: - 100 b2 + x258 >= 0 e296: - 100 b3 + x259 >= 0 e297: - 100 b10 + x266 >= 0 e298: - 100 b11 + x267 >= 0 e299: - 100 b18 + x274 >= 0 e300: - 100 b19 + x275 >= 0 e301: - 100 b26 + x282 >= 0 e302: - 100 b27 + x283 >= 0 e303: - 100 b34 + x290 >= 0 e304: - 100 b35 + x291 >= 0 e305: - 100 b42 + x298 >= 0 e306: - 100 b43 + x299 >= 0 e307: - 100 b50 + x306 >= 0 e308: - 100 b51 + x307 >= 0 e309: - 100 b58 + x314 >= 0 e310: - 100 b59 + x315 >= 0 e311: - 100 b2 + x258 <= 0 e312: - 100 b3 + x259 <= 0 e313: - 100 b4 + x260 <= 0 e314: - 100 b5 + x261 <= 0 e315: - 100 b6 + x262 <= 0 e316: - 100 b7 + x263 <= 0 e317: - 100 b8 + x264 <= 0 e318: - 100 b9 + x265 <= 0 e319: - 100 b10 + x266 <= 0 e320: - 100 b11 + x267 <= 0 e321: - 100 b12 + x268 <= 0 e322: - 100 b13 + x269 <= 0 e323: - 100 b14 + x270 <= 0 e324: - 100 b15 + x271 <= 0 e325: - 100 b16 + x272 <= 0 e326: - 100 b17 + x273 <= 0 e327: - 100 b18 + x274 <= 0 e328: - 100 b19 + x275 <= 0 e329: - 100 b20 + x276 <= 0 e330: - 100 b21 + x277 <= 0 e331: - 100 b22 + x278 <= 0 e332: - 100 b23 + x279 <= 0 e333: - 100 b24 + x280 <= 0 e334: - 100 b25 + x281 <= 0 e335: - 100 b26 + x282 <= 0 e336: - 100 b27 + x283 <= 0 e337: - 100 b28 + x284 <= 0 e338: - 100 b29 + x285 <= 0 e339: - 100 b30 + x286 <= 0 e340: - 100 b31 + x287 <= 0 e341: - 100 b32 + x288 <= 0 e342: - 100 b33 + x289 <= 0 e343: - 100 b34 + x290 <= 0 e344: - 100 b35 + x291 <= 0 e345: - 100 b36 + x292 <= 0 e346: - 100 b37 + x293 <= 0 e347: - 100 b38 + x294 <= 0 e348: - 100 b39 + x295 <= 0 e349: - 100 b40 + x296 <= 0 e350: - 100 b41 + x297 <= 0 e351: - 100 b42 + x298 <= 0 e352: - 100 b43 + x299 <= 0 e353: - 100 b44 + x300 <= 0 e354: - 100 b45 + x301 <= 0 e355: - 100 b46 + x302 <= 0 e356: - 100 b47 + x303 <= 0 e357: - 100 b48 + x304 <= 0 e358: - 100 b49 + x305 <= 0 e359: - 100 b50 + x306 <= 0 e360: - 100 b51 + x307 <= 0 e361: - 100 b52 + x308 <= 0 e362: - 100 b53 + x309 <= 0 e363: - 100 b54 + x310 <= 0 e364: - 100 b55 + x311 <= 0 e365: - 100 b56 + x312 <= 0 e366: - 100 b57 + x313 <= 0 e367: - 100 b58 + x314 <= 0 e368: - 100 b59 + x315 <= 0 e369: - 100 b60 + x316 <= 0 e370: - 100 b61 + x317 <= 0 e371: - 100 b62 + x318 <= 0 e372: - 100 b63 + x319 <= 0 e373: - 100 b64 + x320 <= 0 e374: - 100 b65 + x321 <= 0 e375: x258 - x322 - x323 - x324 - x325 = 0 e376: x259 - x326 - x327 - x328 - x329 = 0 e377: x260 - x330 - x331 - x332 - x333 = 0 e378: x261 - x334 - x335 - x336 - x337 = 0 e379: x262 - x338 - x339 - x340 - x341 = 0 e380: x263 - x342 - x343 - x344 - x345 = 0 e381: x264 - x346 - x347 - x348 - x349 = 0 e382: x265 - x350 - x351 - x352 - x353 = 0 e383: x266 - x354 - x355 - x356 - x357 = 0 e384: x267 - x358 - x359 - x360 - x361 = 0 e385: x268 - x362 - x363 - x364 - x365 = 0 e386: x269 - x366 - x367 - x368 - x369 = 0 e387: x270 - x370 - x371 - x372 - x373 = 0 e388: x271 - x374 - x375 - x376 - x377 = 0 e389: x272 - x378 - x379 - x380 - x381 = 0 e390: x273 - x382 - x383 - x384 - x385 = 0 e391: x274 - x386 - x387 - x388 - x389 = 0 e392: x275 - x390 - x391 - x392 - x393 = 0 e393: x276 - x394 - x395 - x396 - x397 = 0 e394: x277 - x398 - x399 - x400 - x401 = 0 e395: x278 - x402 - x403 - x404 - x405 = 0 e396: x279 - x406 - x407 - x408 - x409 = 0 e397: x280 - x410 - x411 - x412 - x413 = 0 e398: x281 - x414 - x415 - x416 - x417 = 0 e399: x282 - x418 - x419 - x420 - x421 = 0 e400: x283 - x422 - x423 - x424 - x425 = 0 e401: x284 - x426 - x427 - x428 - x429 = 0 e402: x285 - x430 - x431 - x432 - x433 = 0 e403: x286 - x434 - x435 - x436 - x437 = 0 e404: x287 - x438 - x439 - x440 - x441 = 0 e405: x288 - x442 - x443 - x444 - x445 = 0 e406: x289 - x446 - x447 - x448 - x449 = 0 e407: x290 - x450 - x451 - x452 - x453 = 0 e408: x291 - x454 - x455 - x456 - x457 = 0 e409: x292 - x458 - x459 - x460 - x461 = 0 e410: x293 - x462 - x463 - x464 - x465 = 0 e411: x294 - x466 - x467 - x468 - x469 = 0 e412: x295 - x470 - x471 - x472 - x473 = 0 e413: x296 - x474 - x475 - x476 - x477 = 0 e414: x297 - x478 - x479 - x480 - x481 = 0 e415: x298 - x482 - x483 - x484 - x485 = 0 e416: x299 - x486 - x487 - x488 - x489 = 0 e417: x300 - x490 - x491 - x492 - x493 = 0 e418: x301 - x494 - x495 - x496 - x497 = 0 e419: x302 - x498 - x499 - x500 - x501 = 0 e420: x303 - x502 - x503 - x504 - x505 = 0 e421: x304 - x506 - x507 - x508 - x509 = 0 e422: x305 - x510 - x511 - x512 - x513 = 0 e423: x306 - x514 - x515 - x516 - x517 = 0 e424: x307 - x518 - x519 - x520 - x521 = 0 e425: x308 - x522 - x523 - x524 - x525 = 0 e426: x309 - x526 - x527 - x528 - x529 = 0 e427: x310 - x530 - x531 - x532 - x533 = 0 e428: x311 - x534 - x535 - x536 - x537 = 0 e429: x312 - x538 - x539 - x540 - x541 = 0 e430: x313 - x542 - x543 - x544 - x545 = 0 e431: x314 - x546 - x547 - x548 - x549 = 0 e432: x315 - x550 - x551 - x552 - x553 = 0 e433: x316 - x554 - x555 - x556 - x557 = 0 e434: x317 - x558 - x559 - x560 - x561 = 0 e435: x318 - x562 - x563 - x564 - x565 = 0 e436: x319 - x566 - x567 - x568 - x569 = 0 e437: x320 - x570 - x571 - x572 - x573 = 0 e438: x321 - x574 - x575 - x576 - x577 = 0 e439: x578 <= 100 e440: x579 <= 100 e441: x580 <= 100 e442: x581 <= 100 e443: x582 <= 100 e444: x583 <= 100 e445: x585 <= 100 e446: x586 <= 100 e447: x587 <= 100 e448: x588 <= 100 e449: x589 <= 100 e450: x590 <= 100 e451: x592 <= 100 e452: x593 <= 100 e453: x594 <= 100 e454: x595 <= 100 e455: x596 <= 100 e456: x597 <= 100 e457: x599 <= 100 e458: x600 <= 100 e459: x601 <= 100 e460: x602 <= 100 e461: x603 <= 100 e462: x604 <= 100 e463: x606 <= 100 e464: x607 <= 100 e465: x608 <= 100 e466: x609 <= 100 e467: x610 <= 100 e468: x611 <= 100 e469: x613 <= 100 e470: x614 <= 100 e471: x615 <= 100 e472: x616 <= 100 e473: x617 <= 100 e474: x618 <= 100 e475: x620 <= 100 e476: x621 <= 100 e477: x622 <= 100 e478: x623 <= 100 e479: x624 <= 100 e480: x625 <= 100 e481: x627 <= 100 e482: x628 <= 100 e483: x629 <= 100 e484: x630 <= 100 e485: x631 <= 100 e486: x632 <= 100 e487: x634 >= 0 e488: x635 >= 0 e489: x636 >= 0 e490: x637 >= 0 e491: x638 >= 0 e492: x639 >= 0 e493: x640 >= 0 e494: x641 >= 0 e495: x642 >= 0 e496: x643 >= 0 e497: x644 >= 0 e498: x645 >= 0 e499: x646 >= 0 e500: x647 >= 0 e501: x648 >= 0 e502: x649 >= 0 e503: x650 >= 0 e504: x651 >= 0 e505: x652 >= 0 e506: x653 >= 0 e507: x654 >= 0 e508: x655 >= 0 e509: x656 >= 0 e510: x657 >= 0 e511: x658 >= 0 e512: x659 >= 0 e513: x660 >= 0 e514: x661 >= 0 e515: x662 >= 0 e516: x663 >= 0 e517: x664 >= 0 e518: x665 >= 0 e519: x666 >= 0 e520: x667 >= 0 e521: x668 >= 0 e522: x669 >= 0 e523: x670 >= 0 e524: x671 >= 0 e525: x672 >= 0 e526: x673 >= 0 e527: x674 >= 0 e528: x675 >= 0 e529: x676 >= 0 e530: x677 >= 0 e531: x678 >= 0 e532: x679 >= 0 e533: x680 >= 0 e534: x681 >= 0 e535: x682 >= 0 e536: x683 >= 0 e537: x684 >= 0 e538: x685 >= 0 e539: x686 >= 0 e540: x687 >= 0 e541: x688 >= 0 e542: x689 >= 0 e543: x690 >= 0 e544: x691 >= 0 e545: x692 >= 0 e546: x693 >= 0 e547: x694 >= 0 e548: x695 >= 0 e549: x696 >= 0 e550: x697 >= 0 e551: x698 >= 0 e552: x699 >= 0 e553: x700 >= 0 e554: x701 >= 0 e555: x702 >= 0 e556: x703 >= 0 e557: x704 >= 0 e558: x705 >= 0 e559: x706 >= 0 e560: x707 >= 0 e561: x708 >= 0 e562: x709 >= 0 e563: x710 >= 0 e564: x711 >= 0 e565: x712 >= 0 e566: x713 >= 0 e567: x714 >= 0 e568: x715 >= 0 e569: x716 >= 0 e570: x717 >= 0 e571: x718 >= 0 e572: x719 >= 0 e573: x720 >= 0 e574: x721 >= 0 e575: x722 >= 0 e576: x723 >= 0 e577: x724 >= 0 e578: x725 >= 0 e579: x726 >= 0 e580: x727 >= 0 e581: x728 >= 0 e582: x729 >= 0 e583: x730 >= 0 e584: x731 >= 0 e585: x732 >= 0 e586: x733 >= 0 e587: x734 >= 0 e588: x735 >= 0 e589: x736 >= 0 e590: x737 >= 0 e591: x738 >= 0 e592: x739 >= 0 e593: x740 >= 0 e594: x741 >= 0 e595: x742 >= 0 e596: x743 >= 0 e597: x744 >= 0 e598: x745 >= 0 e599: x746 >= 0 e600: x747 >= 0 e601: x748 >= 0 e602: x749 >= 0 e603: x750 >= 0 e604: x751 >= 0 e605: x752 >= 0 e606: x753 >= 0 e607: x754 >= 0 e608: x755 >= 0 e609: x756 >= 0 e610: x757 >= 0 e611: x758 >= 0 e612: x759 >= 0 e613: x760 >= 0 e614: x761 >= 0 e615: x762 >= 0 e616: x763 >= 0 e617: x764 >= 0 e618: x765 >= 0 e619: x766 >= 0 e620: x767 >= 0 e621: x768 >= 0 e622: x769 >= 0 e623: x770 >= 0 e624: x771 >= 0 e625: x772 >= 0 e626: x773 >= 0 e627: x774 >= 0 e628: x775 >= 0 e629: x776 >= 0 e630: x777 >= 0 e631: x778 >= 0 e632: x779 >= 0 e633: x780 >= 0 e634: x781 >= 0 e635: x782 >= 0 e636: x783 >= 0 e637: x784 >= 0 e638: x785 >= 0 e639: x786 >= 0 e640: x787 >= 0 e641: x788 >= 0 e642: x789 >= 0 e643: x790 >= 0 e644: x791 >= 0 e645: x792 >= 0 e646: x793 >= 0 e647: x794 >= 0 e648: x795 >= 0 e649: x796 >= 0 e650: x797 >= 0 e651: x798 >= 0 e652: x799 >= 0 e653: x800 >= 0 e654: x801 >= 0 e655: x802 >= 0 e656: x803 >= 0 e657: x804 >= 0 e658: x805 >= 0 e659: x806 >= 0 e660: x807 >= 0 e661: x808 >= 0 e662: x809 >= 0 e663: x810 >= 0 e664: x811 >= 0 e665: x812 >= 0 e666: x813 >= 0 e667: x814 >= 0 e668: x815 >= 0 e669: x816 >= 0 e670: x817 >= 0 e671: x818 >= 0 e672: x819 >= 0 e673: x820 >= 0 e674: x821 >= 0 e675: x822 >= 0 e676: x823 >= 0 e677: x824 >= 0 e678: x825 >= 0 e679: x826 >= 0 e680: x827 >= 0 e681: x828 >= 0 e682: x829 >= 0 e683: x830 >= 0 e684: x831 >= 0 e685: x832 >= 0 e686: x833 >= 0 e687: x834 >= 0 e688: x835 >= 0 e689: x836 >= 0 e690: x837 >= 0 e691: x838 >= 0 e692: x839 >= 0 e693: x840 >= 0 e694: x841 >= 0 e695: x842 >= 0 e696: x843 >= 0 e697: x844 >= 0 e698: x845 >= 0 e699: x846 >= 0 e700: x847 >= 0 e701: x848 >= 0 e702: x849 >= 0 e703: x850 >= 0 e704: x851 >= 0 e705: x852 >= 0 e706: x853 >= 0 e707: x854 >= 0 e708: x855 >= 0 e709: x856 >= 0 e710: x857 >= 0 e711: x634 <= 100 e712: x635 <= 100 e713: x636 <= 100 e714: x637 <= 100 e715: x638 <= 100 e716: x639 <= 100 e717: x640 <= 100 e718: x641 <= 100 e719: x642 <= 100 e720: x643 <= 100 e721: x644 <= 100 e722: x645 <= 100 e723: x646 <= 100 e724: x647 <= 100 e725: x648 <= 100 e726: x649 <= 100 e727: x650 <= 100 e728: x651 <= 100 e729: x652 <= 100 e730: x653 <= 100 e731: x654 <= 100 e732: x655 <= 100 e733: x656 <= 100 e734: x657 <= 100 e735: x662 <= 100 e736: x663 <= 100 e737: x664 <= 100 e738: x665 <= 100 e739: x666 <= 100 e740: x667 <= 100 e741: x668 <= 100 e742: x669 <= 100 e743: x670 <= 100 e744: x671 <= 100 e745: x672 <= 100 e746: x673 <= 100 e747: x674 <= 100 e748: x675 <= 100 e749: x676 <= 100 e750: x677 <= 100 e751: x678 <= 100 e752: x679 <= 100 e753: x680 <= 100 e754: x681 <= 100 e755: x682 <= 100 e756: x683 <= 100 e757: x684 <= 100 e758: x685 <= 100 e759: x690 <= 100 e760: x691 <= 100 e761: x692 <= 100 e762: x693 <= 100 e763: x694 <= 100 e764: x695 <= 100 e765: x696 <= 100 e766: x697 <= 100 e767: x698 <= 100 e768: x699 <= 100 e769: x700 <= 100 e770: x701 <= 100 e771: x702 <= 100 e772: x703 <= 100 e773: x704 <= 100 e774: x705 <= 100 e775: x706 <= 100 e776: x707 <= 100 e777: x708 <= 100 e778: x709 <= 100 e779: x710 <= 100 e780: x711 <= 100 e781: x712 <= 100 e782: x713 <= 100 e783: x718 <= 100 e784: x719 <= 100 e785: x720 <= 100 e786: x721 <= 100 e787: x722 <= 100 e788: x723 <= 100 e789: x724 <= 100 e790: x725 <= 100 e791: x726 <= 100 e792: x727 <= 100 e793: x728 <= 100 e794: x729 <= 100 e795: x730 <= 100 e796: x731 <= 100 e797: x732 <= 100 e798: x733 <= 100 e799: x734 <= 100 e800: x735 <= 100 e801: x736 <= 100 e802: x737 <= 100 e803: x738 <= 100 e804: x739 <= 100 e805: x740 <= 100 e806: x741 <= 100 e807: x746 <= 100 e808: x747 <= 100 e809: x748 <= 100 e810: x749 <= 100 e811: x750 <= 100 e812: x751 <= 100 e813: x752 <= 100 e814: x753 <= 100 e815: x754 <= 100 e816: x755 <= 100 e817: x756 <= 100 e818: x757 <= 100 e819: x758 <= 100 e820: x759 <= 100 e821: x760 <= 100 e822: x761 <= 100 e823: x762 <= 100 e824: x763 <= 100 e825: x764 <= 100 e826: x765 <= 100 e827: x766 <= 100 e828: x767 <= 100 e829: x768 <= 100 e830: x769 <= 100 e831: x774 <= 100 e832: x775 <= 100 e833: x776 <= 100 e834: x777 <= 100 e835: x778 <= 100 e836: x779 <= 100 e837: x780 <= 100 e838: x781 <= 100 e839: x782 <= 100 e840: x783 <= 100 e841: x784 <= 100 e842: x785 <= 100 e843: x786 <= 100 e844: x787 <= 100 e845: x788 <= 100 e846: x789 <= 100 e847: x790 <= 100 e848: x791 <= 100 e849: x792 <= 100 e850: x793 <= 100 e851: x794 <= 100 e852: x795 <= 100 e853: x796 <= 100 e854: x797 <= 100 e855: x802 <= 100 e856: x803 <= 100 e857: x804 <= 100 e858: x805 <= 100 e859: x806 <= 100 e860: x807 <= 100 e861: x808 <= 100 e862: x809 <= 100 e863: x810 <= 100 e864: x811 <= 100 e865: x812 <= 100 e866: x813 <= 100 e867: x814 <= 100 e868: x815 <= 100 e869: x816 <= 100 e870: x817 <= 100 e871: x818 <= 100 e872: x819 <= 100 e873: x820 <= 100 e874: x821 <= 100 e875: x822 <= 100 e876: x823 <= 100 e877: x824 <= 100 e878: x825 <= 100 e879: x830 <= 100 e880: x831 <= 100 e881: x832 <= 100 e882: x833 <= 100 e883: x834 <= 100 e884: x835 <= 100 e885: x836 <= 100 e886: x837 <= 100 e887: x838 <= 100 e888: x839 <= 100 e889: x840 <= 100 e890: x841 <= 100 e891: x842 <= 100 e892: x843 <= 100 e893: x844 <= 100 e894: x845 <= 100 e895: x846 <= 100 e896: x847 <= 100 e897: x848 <= 100 e898: x849 <= 100 e899: x850 <= 100 e900: x851 <= 100 e901: x852 <= 100 e902: x853 <= 100 e903: x578 - x634 - x635 - x636 - x637 = 0 e904: x579 - x638 - x639 - x640 - x641 = 0 e905: x580 - x642 - x643 - x644 - x645 = 0 e906: x581 - x646 - x647 - x648 - x649 = 0 e907: x582 - x650 - x651 - x652 - x653 = 0 e908: x583 - x654 - x655 - x656 - x657 = 0 e909: x584 - x658 - x659 - x660 - x661 = 0 e910: x585 - x662 - x663 - x664 - x665 = 0 e911: x586 - x666 - x667 - x668 - x669 = 0 e912: x587 - x670 - x671 - x672 - x673 = 0 e913: x588 - x674 - x675 - x676 - x677 = 0 e914: x589 - x678 - x679 - x680 - x681 = 0 e915: x590 - x682 - x683 - x684 - x685 = 0 e916: x591 - x686 - x687 - x688 - x689 = 0 e917: x592 - x690 - x691 - x692 - x693 = 0 e918: x593 - x694 - x695 - x696 - x697 = 0 e919: x594 - x698 - x699 - x700 - x701 = 0 e920: x595 - x702 - x703 - x704 - x705 = 0 e921: x596 - x706 - x707 - x708 - x709 = 0 e922: x597 - x710 - x711 - x712 - x713 = 0 e923: x598 - x714 - x715 - x716 - x717 = 0 e924: x599 - x718 - x719 - x720 - x721 = 0 e925: x600 - x722 - x723 - x724 - x725 = 0 e926: x601 - x726 - x727 - x728 - x729 = 0 e927: x602 - x730 - x731 - x732 - x733 = 0 e928: x603 - x734 - x735 - x736 - x737 = 0 e929: x604 - x738 - x739 - x740 - x741 = 0 e930: x605 - x742 - x743 - x744 - x745 = 0 e931: x606 - x746 - x747 - x748 - x749 = 0 e932: x607 - x750 - x751 - x752 - x753 = 0 e933: x608 - x754 - x755 - x756 - x757 = 0 e934: x609 - x758 - x759 - x760 - x761 = 0 e935: x610 - x762 - x763 - x764 - x765 = 0 e936: x611 - x766 - x767 - x768 - x769 = 0 e937: x612 - x770 - x771 - x772 - x773 = 0 e938: x613 - x774 - x775 - x776 - x777 = 0 e939: x614 - x778 - x779 - x780 - x781 = 0 e940: x615 - x782 - x783 - x784 - x785 = 0 e941: x616 - x786 - x787 - x788 - x789 = 0 e942: x617 - x790 - x791 - x792 - x793 = 0 e943: x618 - x794 - x795 - x796 - x797 = 0 e944: x619 - x798 - x799 - x800 - x801 = 0 e945: x620 - x802 - x803 - x804 - x805 = 0 e946: x621 - x806 - x807 - x808 - x809 = 0 e947: x622 - x810 - x811 - x812 - x813 = 0 e948: x623 - x814 - x815 - x816 - x817 = 0 e949: x624 - x818 - x819 - x820 - x821 = 0 e950: x625 - x822 - x823 - x824 - x825 = 0 e951: x626 - x826 - x827 - x828 - x829 = 0 e952: x627 - x830 - x831 - x832 - x833 = 0 e953: x628 - x834 - x835 - x836 - x837 = 0 e954: x629 - x838 - x839 - x840 - x841 = 0 e955: x630 - x842 - x843 - x844 - x845 = 0 e956: x631 - x846 - x847 - x848 - x849 = 0 e957: x632 - x850 - x851 - x852 - x853 = 0 e958: x633 - x854 - x855 - x856 - x857 = 0 e959: x578 = 100 e960: x579 = 100 e961: x580 = 25 e962: x581 = 75 e963: x582 = 50 e964: x583 = 50 e965: x584 = 0 e966: x258 + x585 = 100 e967: x259 + x586 = 100 e968: - x258 + x260 + x261 + x587 = 25 e969: - x259 + x262 + x263 + x588 = 75 e970: - x260 - x262 + x264 + x589 = 50 e971: - x261 - x263 + x265 + x590 = 50 e972: - x264 - x265 + x591 = 0 e973: x258 + x266 + x592 = 100 e974: x259 + x267 + x593 = 100 e975: - x258 + x260 + x261 - x266 + x268 + x269 + x594 = 25 e976: - x259 + x262 + x263 - x267 + x270 + x271 + x595 = 75 e977: - x260 - x262 + x264 - x268 - x270 + x272 + x596 = 50 e978: - x261 - x263 + x265 - x269 - x271 + x273 + x597 = 50 e979: - x264 - x265 - x272 - x273 + x598 = 0 e980: x258 + x266 + x274 + x599 = 100 e981: x259 + x267 + x275 + x600 = 100 e982: - x258 + x260 + x261 - x266 + x268 + x269 - x274 + x276 + x277 + x601 = 25 e983: - x259 + x262 + x263 - x267 + x270 + x271 - x275 + x278 + x279 + x602 = 75 e984: - x260 - x262 + x264 - x268 - x270 + x272 - x276 - x278 + x280 + x603 = 50 e985: - x261 - x263 + x265 - x269 - x271 + x273 - x277 - x279 + x281 + x604 = 50 e986: - x264 - x265 - x272 - x273 - x280 - x281 + x605 = 0 e987: x258 + x266 + x274 + x282 + x606 = 100 e988: x259 + x267 + x275 + x283 + x607 = 100 e989: - x258 + x260 + x261 - x266 + x268 + x269 - x274 + x276 + x277 - x282 + x284 + x285 + x608 = 25 e990: - x259 + x262 + x263 - x267 + x270 + x271 - x275 + x278 + x279 - x283 + x286 + x287 + x609 = 75 e991: - x260 - x262 + x264 - x268 - x270 + x272 - x276 - x278 + x280 - x284 - x286 + x288 + x610 = 50 e992: - x261 - x263 + x265 - x269 - x271 + x273 - x277 - x279 + x281 - x285 - x287 + x289 + x611 = 50 e993: - x264 - x265 - x272 - x273 - x280 - x281 - x288 - x289 + x612 = 0 e994: x258 + x266 + x274 + x282 + x290 + x613 = 100 e995: x259 + x267 + x275 + x283 + x291 + x614 = 100 e996: - x258 + x260 + x261 - x266 + x268 + x269 - x274 + x276 + x277 - x282 + x284 + x285 - x290 + x292 + x293 + x615 = 25 e997: - x259 + x262 + x263 - x267 + x270 + x271 - x275 + x278 + x279 - x283 + x286 + x287 - x291 + x294 + x295 + x616 = 75 e998: - x260 - x262 + x264 - x268 - x270 + x272 - x276 - x278 + x280 - x284 - x286 + x288 - x292 - x294 + x296 + x617 = 50 e999: - x261 - x263 + x265 - x269 - x271 + x273 - x277 - x279 + x281 - x285 - x287 + x289 - x293 - x295 + x297 + x618 = 50 e1000: - x264 - x265 - x272 - x273 - x280 - x281 - x288 - x289 - x296 - x297 + x619 = 0 e1001: x258 + x266 + x274 + x282 + x290 + x298 + x620 = 100 e1002: x259 + x267 + x275 + x283 + x291 + x299 + x621 = 100 e1003: - x258 + x260 + x261 - x266 + x268 + x269 - x274 + x276 + x277 - x282 + x284 + x285 - x290 + x292 + x293 - x298 + x300 + x301 + x622 = 25 e1004: - x259 + x262 + x263 - x267 + x270 + x271 - x275 + x278 + x279 - x283 + x286 + x287 - x291 + x294 + x295 - x299 + x302 + x303 + x623 = 75 e1005: - x260 - x262 + x264 - x268 - x270 + x272 - x276 - x278 + x280 - x284 - x286 + x288 - x292 - x294 + x296 - x300 - x302 + x304 + x624 = 50 e1006: - x261 - x263 + x265 - x269 - x271 + x273 - x277 - x279 + x281 - x285 - x287 + x289 - x293 - x295 + x297 - x301 - x303 + x305 + x625 = 50 e1007: - x264 - x265 - x272 - x273 - x280 - x281 - x288 - x289 - x296 - x297 - x304 - x305 + x626 = 0 e1008: x258 + x266 + x274 + x282 + x290 + x298 + x306 + x627 = 100 e1009: x259 + x267 + x275 + x283 + x291 + x299 + x307 + x628 = 100 e1010: - x258 + x260 + x261 - x266 + x268 + x269 - x274 + x276 + x277 - x282 + x284 + x285 - x290 + x292 + x293 - x298 + x300 + x301 - x306 + x308 + x309 + x629 = 25 e1011: - x259 + x262 + x263 - x267 + x270 + x271 - x275 + x278 + x279 - x283 + x286 + x287 - x291 + x294 + x295 - x299 + x302 + x303 - x307 + x310 + x311 + x630 = 75 e1012: - x260 - x262 + x264 - x268 - x270 + x272 - x276 - x278 + x280 - x284 - x286 + x288 - x292 - x294 + x296 - x300 - x302 + x304 - x308 - x310 + x312 + x631 = 50 e1013: - x261 - x263 + x265 - x269 - x271 + x273 - x277 - x279 + x281 - x285 - x287 + x289 - x293 - x295 + x297 - x301 - x303 + x305 - x309 - x311 + x313 + x632 = 50 e1014: - x264 - x265 - x272 - x273 - x280 - x281 - x288 - x289 - x296 - x297 - x304 - x305 - x312 - x313 + x633 = 0 e1015: x634 = 100 e1016: x635 = 0 e1017: x636 = 0 e1018: x637 = 0 e1019: x638 = 0 e1020: x639 = 100 e1021: x640 = 0 e1022: x641 = 0 e1023: x642 = 25 e1024: x643 = 0 e1025: x644 = 0 e1026: x645 = 0 e1027: x646 = 0 e1028: x647 = 75 e1029: x648 = 0 e1030: x649 = 0 e1031: x650 = 0 e1032: x651 = 0 e1033: x652 = 50 e1034: x653 = 0 e1035: x654 = 0 e1036: x655 = 0 e1037: x656 = 0 e1038: x657 = 50 e1039: x658 = 0 e1040: x659 = 0 e1041: x660 = 0 e1042: x661 = 0 e1043: x322 + x662 = 100 e1044: x323 + x663 = 0 e1045: x324 + x664 = 0 e1046: x325 + x665 = 0 e1047: x326 + x666 = 0 e1048: x327 + x667 = 100 e1049: x328 + x668 = 0 e1050: x329 + x669 = 0 e1051: - x322 + x330 + x334 + x670 = 25 e1052: - x323 + x331 + x335 + x671 = 0 e1053: - x324 + x332 + x336 + x672 = 0 e1054: - x325 + x333 + x337 + x673 = 0 e1055: - x326 + x338 + x342 + x674 = 0 e1056: - x327 + x339 + x343 + x675 = 75 e1057: - x328 + x340 + x344 + x676 = 0 e1058: - x329 + x341 + x345 + x677 = 0 e1059: - x330 - x338 + x346 + x678 = 0 e1060: - x331 - x339 + x347 + x679 = 0 e1061: - x332 - x340 + x348 + x680 = 50 e1062: - x333 - x341 + x349 + x681 = 0 e1063: - x334 - x342 + x350 + x682 = 0 e1064: - x335 - x343 + x351 + x683 = 0 e1065: - x336 - x344 + x352 + x684 = 0 e1066: - x337 - x345 + x353 + x685 = 50 e1067: - x346 - x350 + x686 = 0 e1068: - x347 - x351 + x687 = 0 e1069: - x348 - x352 + x688 = 0 e1070: - x349 - x353 + x689 = 0 e1071: x322 + x354 + x690 = 100 e1072: x323 + x355 + x691 = 0 e1073: x324 + x356 + x692 = 0 e1074: x325 + x357 + x693 = 0 e1075: x326 + x358 + x694 = 0 e1076: x327 + x359 + x695 = 100 e1077: x328 + x360 + x696 = 0 e1078: x329 + x361 + x697 = 0 e1079: - x322 + x330 + x334 - x354 + x362 + x366 + x698 = 25 e1080: - x323 + x331 + x335 - x355 + x363 + x367 + x699 = 0 e1081: - x324 + x332 + x336 - x356 + x364 + x368 + x700 = 0 e1082: - x325 + x333 + x337 - x357 + x365 + x369 + x701 = 0 e1083: - x326 + x338 + x342 - x358 + x370 + x374 + x702 = 0 e1084: - x327 + x339 + x343 - x359 + x371 + x375 + x703 = 75 e1085: - x328 + x340 + x344 - x360 + x372 + x376 + x704 = 0 e1086: - x329 + x341 + x345 - x361 + x373 + x377 + x705 = 0 e1087: - x330 - x338 + x346 - x362 - x370 + x378 + x706 = 0 e1088: - x331 - x339 + x347 - x363 - x371 + x379 + x707 = 0 e1089: - x332 - x340 + x348 - x364 - x372 + x380 + x708 = 50 e1090: - x333 - x341 + x349 - x365 - x373 + x381 + x709 = 0 e1091: - x334 - x342 + x350 - x366 - x374 + x382 + x710 = 0 e1092: - x335 - x343 + x351 - x367 - x375 + x383 + x711 = 0 e1093: - x336 - x344 + x352 - x368 - x376 + x384 + x712 = 0 e1094: - x337 - x345 + x353 - x369 - x377 + x385 + x713 = 50 e1095: - x346 - x350 - x378 - x382 + x714 = 0 e1096: - x347 - x351 - x379 - x383 + x715 = 0 e1097: - x348 - x352 - x380 - x384 + x716 = 0 e1098: - x349 - x353 - x381 - x385 + x717 = 0 e1099: x322 + x354 + x386 + x718 = 100 e1100: x323 + x355 + x387 + x719 = 0 e1101: x324 + x356 + x388 + x720 = 0 e1102: x325 + x357 + x389 + x721 = 0 e1103: x326 + x358 + x390 + x722 = 0 e1104: x327 + x359 + x391 + x723 = 100 e1105: x328 + x360 + x392 + x724 = 0 e1106: x329 + x361 + x393 + x725 = 0 e1107: - x322 + x330 + x334 - x354 + x362 + x366 - x386 + x394 + x398 + x726 = 25 e1108: - x323 + x331 + x335 - x355 + x363 + x367 - x387 + x395 + x399 + x727 = 0 e1109: - x324 + x332 + x336 - x356 + x364 + x368 - x388 + x396 + x400 + x728 = 0 e1110: - x325 + x333 + x337 - x357 + x365 + x369 - x389 + x397 + x401 + x729 = 0 e1111: - x326 + x338 + x342 - x358 + x370 + x374 - x390 + x402 + x406 + x730 = 0 e1112: - x327 + x339 + x343 - x359 + x371 + x375 - x391 + x403 + x407 + x731 = 75 e1113: - x328 + x340 + x344 - x360 + x372 + x376 - x392 + x404 + x408 + x732 = 0 e1114: - x329 + x341 + x345 - x361 + x373 + x377 - x393 + x405 + x409 + x733 = 0 e1115: - x330 - x338 + x346 - x362 - x370 + x378 - x394 - x402 + x410 + x734 = 0 e1116: - x331 - x339 + x347 - x363 - x371 + x379 - x395 - x403 + x411 + x735 = 0 e1117: - x332 - x340 + x348 - x364 - x372 + x380 - x396 - x404 + x412 + x736 = 50 e1118: - x333 - x341 + x349 - x365 - x373 + x381 - x397 - x405 + x413 + x737 = 0 e1119: - x334 - x342 + x350 - x366 - x374 + x382 - x398 - x406 + x414 + x738 = 0 e1120: - x335 - x343 + x351 - x367 - x375 + x383 - x399 - x407 + x415 + x739 = 0 e1121: - x336 - x344 + x352 - x368 - x376 + x384 - x400 - x408 + x416 + x740 = 0 e1122: - x337 - x345 + x353 - x369 - x377 + x385 - x401 - x409 + x417 + x741 = 50 e1123: - x346 - x350 - x378 - x382 - x410 - x414 + x742 = 0 e1124: - x347 - x351 - x379 - x383 - x411 - x415 + x743 = 0 e1125: - x348 - x352 - x380 - x384 - x412 - x416 + x744 = 0 e1126: - x349 - x353 - x381 - x385 - x413 - x417 + x745 = 0 e1127: x322 + x354 + x386 + x418 + x746 = 100 e1128: x323 + x355 + x387 + x419 + x747 = 0 e1129: x324 + x356 + x388 + x420 + x748 = 0 e1130: x325 + x357 + x389 + x421 + x749 = 0 e1131: x326 + x358 + x390 + x422 + x750 = 0 e1132: x327 + x359 + x391 + x423 + x751 = 100 e1133: x328 + x360 + x392 + x424 + x752 = 0 e1134: x329 + x361 + x393 + x425 + x753 = 0 e1135: - x322 + x330 + x334 - x354 + x362 + x366 - x386 + x394 + x398 - x418 + x426 + x430 + x754 = 25 e1136: - x323 + x331 + x335 - x355 + x363 + x367 - x387 + x395 + x399 - x419 + x427 + x431 + x755 = 0 e1137: - x324 + x332 + x336 - x356 + x364 + x368 - x388 + x396 + x400 - x420 + x428 + x432 + x756 = 0 e1138: - x325 + x333 + x337 - x357 + x365 + x369 - x389 + x397 + x401 - x421 + x429 + x433 + x757 = 0 e1139: - x326 + x338 + x342 - x358 + x370 + x374 - x390 + x402 + x406 - x422 + x434 + x438 + x758 = 0 e1140: - x327 + x339 + x343 - x359 + x371 + x375 - x391 + x403 + x407 - x423 + x435 + x439 + x759 = 75 e1141: - x328 + x340 + x344 - x360 + x372 + x376 - x392 + x404 + x408 - x424 + x436 + x440 + x760 = 0 e1142: - x329 + x341 + x345 - x361 + x373 + x377 - x393 + x405 + x409 - x425 + x437 + x441 + x761 = 0 e1143: - x330 - x338 + x346 - x362 - x370 + x378 - x394 - x402 + x410 - x426 - x434 + x442 + x762 = 0 e1144: - x331 - x339 + x347 - x363 - x371 + x379 - x395 - x403 + x411 - x427 - x435 + x443 + x763 = 0 e1145: - x332 - x340 + x348 - x364 - x372 + x380 - x396 - x404 + x412 - x428 - x436 + x444 + x764 = 50 e1146: - x333 - x341 + x349 - x365 - x373 + x381 - x397 - x405 + x413 - x429 - x437 + x445 + x765 = 0 e1147: - x334 - x342 + x350 - x366 - x374 + x382 - x398 - x406 + x414 - x430 - x438 + x446 + x766 = 0 e1148: - x335 - x343 + x351 - x367 - x375 + x383 - x399 - x407 + x415 - x431 - x439 + x447 + x767 = 0 e1149: - x336 - x344 + x352 - x368 - x376 + x384 - x400 - x408 + x416 - x432 - x440 + x448 + x768 = 0 e1150: - x337 - x345 + x353 - x369 - x377 + x385 - x401 - x409 + x417 - x433 - x441 + x449 + x769 = 50 e1151: - x346 - x350 - x378 - x382 - x410 - x414 - x442 - x446 + x770 = 0 e1152: - x347 - x351 - x379 - x383 - x411 - x415 - x443 - x447 + x771 = 0 e1153: - x348 - x352 - x380 - x384 - x412 - x416 - x444 - x448 + x772 = 0 e1154: - x349 - x353 - x381 - x385 - x413 - x417 - x445 - x449 + x773 = 0 e1155: x322 + x354 + x386 + x418 + x450 + x774 = 100 e1156: x323 + x355 + x387 + x419 + x451 + x775 = 0 e1157: x324 + x356 + x388 + x420 + x452 + x776 = 0 e1158: x325 + x357 + x389 + x421 + x453 + x777 = 0 e1159: x326 + x358 + x390 + x422 + x454 + x778 = 0 e1160: x327 + x359 + x391 + x423 + x455 + x779 = 100 e1161: x328 + x360 + x392 + x424 + x456 + x780 = 0 e1162: x329 + x361 + x393 + x425 + x457 + x781 = 0 e1163: - x322 + x330 + x334 - x354 + x362 + x366 - x386 + x394 + x398 - x418 + x426 + x430 - x450 + x458 + x462 + x782 = 25 e1164: - x323 + x331 + x335 - x355 + x363 + x367 - x387 + x395 + x399 - x419 + x427 + x431 - x451 + x459 + x463 + x783 = 0 e1165: - x324 + x332 + x336 - x356 + x364 + x368 - x388 + x396 + x400 - x420 + x428 + x432 - x452 + x460 + x464 + x784 = 0 e1166: - x325 + x333 + x337 - x357 + x365 + x369 - x389 + x397 + x401 - x421 + x429 + x433 - x453 + x461 + x465 + x785 = 0 e1167: - x326 + x338 + x342 - x358 + x370 + x374 - x390 + x402 + x406 - x422 + x434 + x438 - x454 + x466 + x470 + x786 = 0 e1168: - x327 + x339 + x343 - x359 + x371 + x375 - x391 + x403 + x407 - x423 + x435 + x439 - x455 + x467 + x471 + x787 = 75 e1169: - x328 + x340 + x344 - x360 + x372 + x376 - x392 + x404 + x408 - x424 + x436 + x440 - x456 + x468 + x472 + x788 = 0 e1170: - x329 + x341 + x345 - x361 + x373 + x377 - x393 + x405 + x409 - x425 + x437 + x441 - x457 + x469 + x473 + x789 = 0 e1171: - x330 - x338 + x346 - x362 - x370 + x378 - x394 - x402 + x410 - x426 - x434 + x442 - x458 - x466 + x474 + x790 = 0 e1172: - x331 - x339 + x347 - x363 - x371 + x379 - x395 - x403 + x411 - x427 - x435 + x443 - x459 - x467 + x475 + x791 = 0 e1173: - x332 - x340 + x348 - x364 - x372 + x380 - x396 - x404 + x412 - x428 - x436 + x444 - x460 - x468 + x476 + x792 = 50 e1174: - x333 - x341 + x349 - x365 - x373 + x381 - x397 - x405 + x413 - x429 - x437 + x445 - x461 - x469 + x477 + x793 = 0 e1175: - x334 - x342 + x350 - x366 - x374 + x382 - x398 - x406 + x414 - x430 - x438 + x446 - x462 - x470 + x478 + x794 = 0 e1176: - x335 - x343 + x351 - x367 - x375 + x383 - x399 - x407 + x415 - x431 - x439 + x447 - x463 - x471 + x479 + x795 = 0 e1177: - x336 - x344 + x352 - x368 - x376 + x384 - x400 - x408 + x416 - x432 - x440 + x448 - x464 - x472 + x480 + x796 = 0 e1178: - x337 - x345 + x353 - x369 - x377 + x385 - x401 - x409 + x417 - x433 - x441 + x449 - x465 - x473 + x481 + x797 = 50 e1179: - x346 - x350 - x378 - x382 - x410 - x414 - x442 - x446 - x474 - x478 + x798 = 0 e1180: - x347 - x351 - x379 - x383 - x411 - x415 - x443 - x447 - x475 - x479 + x799 = 0 e1181: - x348 - x352 - x380 - x384 - x412 - x416 - x444 - x448 - x476 - x480 + x800 = 0 e1182: - x349 - x353 - x381 - x385 - x413 - x417 - x445 - x449 - x477 - x481 + x801 = 0 e1183: x322 + x354 + x386 + x418 + x450 + x482 + x802 = 100 e1184: x323 + x355 + x387 + x419 + x451 + x483 + x803 = 0 e1185: x324 + x356 + x388 + x420 + x452 + x484 + x804 = 0 e1186: x325 + x357 + x389 + x421 + x453 + x485 + x805 = 0 e1187: x326 + x358 + x390 + x422 + x454 + x486 + x806 = 0 e1188: x327 + x359 + x391 + x423 + x455 + x487 + x807 = 100 e1189: x328 + x360 + x392 + x424 + x456 + x488 + x808 = 0 e1190: x329 + x361 + x393 + x425 + x457 + x489 + x809 = 0 e1191: - x322 + x330 + x334 - x354 + x362 + x366 - x386 + x394 + x398 - x418 + x426 + x430 - x450 + x458 + x462 - x482 + x490 + x494 + x810 = 25 e1192: - x323 + x331 + x335 - x355 + x363 + x367 - x387 + x395 + x399 - x419 + x427 + x431 - x451 + x459 + x463 - x483 + x491 + x495 + x811 = 0 e1193: - x324 + x332 + x336 - x356 + x364 + x368 - x388 + x396 + x400 - x420 + x428 + x432 - x452 + x460 + x464 - x484 + x492 + x496 + x812 = 0 e1194: - x325 + x333 + x337 - x357 + x365 + x369 - x389 + x397 + x401 - x421 + x429 + x433 - x453 + x461 + x465 - x485 + x493 + x497 + x813 = 0 e1195: - x326 + x338 + x342 - x358 + x370 + x374 - x390 + x402 + x406 - x422 + x434 + x438 - x454 + x466 + x470 - x486 + x498 + x502 + x814 = 0 e1196: - x327 + x339 + x343 - x359 + x371 + x375 - x391 + x403 + x407 - x423 + x435 + x439 - x455 + x467 + x471 - x487 + x499 + x503 + x815 = 75 e1197: - x328 + x340 + x344 - x360 + x372 + x376 - x392 + x404 + x408 - x424 + x436 + x440 - x456 + x468 + x472 - x488 + x500 + x504 + x816 = 0 e1198: - x329 + x341 + x345 - x361 + x373 + x377 - x393 + x405 + x409 - x425 + x437 + x441 - x457 + x469 + x473 - x489 + x501 + x505 + x817 = 0 e1199: - x330 - x338 + x346 - x362 - x370 + x378 - x394 - x402 + x410 - x426 - x434 + x442 - x458 - x466 + x474 - x490 - x498 + x506 + x818 = 0 e1200: - x331 - x339 + x347 - x363 - x371 + x379 - x395 - x403 + x411 - x427 - x435 + x443 - x459 - x467 + x475 - x491 - x499 + x507 + x819 = 0 e1201: - x332 - x340 + x348 - x364 - x372 + x380 - x396 - x404 + x412 - x428 - x436 + x444 - x460 - x468 + x476 - x492 - x500 + x508 + x820 = 50 e1202: - x333 - x341 + x349 - x365 - x373 + x381 - x397 - x405 + x413 - x429 - x437 + x445 - x461 - x469 + x477 - x493 - x501 + x509 + x821 = 0 e1203: - x334 - x342 + x350 - x366 - x374 + x382 - x398 - x406 + x414 - x430 - x438 + x446 - x462 - x470 + x478 - x494 - x502 + x510 + x822 = 0 e1204: - x335 - x343 + x351 - x367 - x375 + x383 - x399 - x407 + x415 - x431 - x439 + x447 - x463 - x471 + x479 - x495 - x503 + x511 + x823 = 0 e1205: - x336 - x344 + x352 - x368 - x376 + x384 - x400 - x408 + x416 - x432 - x440 + x448 - x464 - x472 + x480 - x496 - x504 + x512 + x824 = 0 e1206: - x337 - x345 + x353 - x369 - x377 + x385 - x401 - x409 + x417 - x433 - x441 + x449 - x465 - x473 + x481 - x497 - x505 + x513 + x825 = 50 e1207: - x346 - x350 - x378 - x382 - x410 - x414 - x442 - x446 - x474 - x478 - x506 - x510 + x826 = 0 e1208: - x347 - x351 - x379 - x383 - x411 - x415 - x443 - x447 - x475 - x479 - x507 - x511 + x827 = 0 e1209: - x348 - x352 - x380 - x384 - x412 - x416 - x444 - x448 - x476 - x480 - x508 - x512 + x828 = 0 e1210: - x349 - x353 - x381 - x385 - x413 - x417 - x445 - x449 - x477 - x481 - x509 - x513 + x829 = 0 e1211: x322 + x354 + x386 + x418 + x450 + x482 + x514 + x830 = 100 e1212: x323 + x355 + x387 + x419 + x451 + x483 + x515 + x831 = 0 e1213: x324 + x356 + x388 + x420 + x452 + x484 + x516 + x832 = 0 e1214: x325 + x357 + x389 + x421 + x453 + x485 + x517 + x833 = 0 e1215: x326 + x358 + x390 + x422 + x454 + x486 + x518 + x834 = 0 e1216: x327 + x359 + x391 + x423 + x455 + x487 + x519 + x835 = 100 e1217: x328 + x360 + x392 + x424 + x456 + x488 + x520 + x836 = 0 e1218: x329 + x361 + x393 + x425 + x457 + x489 + x521 + x837 = 0 e1219: - x322 + x330 + x334 - x354 + x362 + x366 - x386 + x394 + x398 - x418 + x426 + x430 - x450 + x458 + x462 - x482 + x490 + x494 - x514 + x522 + x526 + x838 = 25 e1220: - x323 + x331 + x335 - x355 + x363 + x367 - x387 + x395 + x399 - x419 + x427 + x431 - x451 + x459 + x463 - x483 + x491 + x495 - x515 + x523 + x527 + x839 = 0 e1221: - x324 + x332 + x336 - x356 + x364 + x368 - x388 + x396 + x400 - x420 + x428 + x432 - x452 + x460 + x464 - x484 + x492 + x496 - x516 + x524 + x528 + x840 = 0 e1222: - x325 + x333 + x337 - x357 + x365 + x369 - x389 + x397 + x401 - x421 + x429 + x433 - x453 + x461 + x465 - x485 + x493 + x497 - x517 + x525 + x529 + x841 = 0 e1223: - x326 + x338 + x342 - x358 + x370 + x374 - x390 + x402 + x406 - x422 + x434 + x438 - x454 + x466 + x470 - x486 + x498 + x502 - x518 + x530 + x534 + x842 = 0 e1224: - x327 + x339 + x343 - x359 + x371 + x375 - x391 + x403 + x407 - x423 + x435 + x439 - x455 + x467 + x471 - x487 + x499 + x503 - x519 + x531 + x535 + x843 = 75 e1225: - x328 + x340 + x344 - x360 + x372 + x376 - x392 + x404 + x408 - x424 + x436 + x440 - x456 + x468 + x472 - x488 + x500 + x504 - x520 + x532 + x536 + x844 = 0 e1226: - x329 + x341 + x345 - x361 + x373 + x377 - x393 + x405 + x409 - x425 + x437 + x441 - x457 + x469 + x473 - x489 + x501 + x505 - x521 + x533 + x537 + x845 = 0 e1227: - x330 - x338 + x346 - x362 - x370 + x378 - x394 - x402 + x410 - x426 - x434 + x442 - x458 - x466 + x474 - x490 - x498 + x506 - x522 - x530 + x538 + x846 = 0 e1228: - x331 - x339 + x347 - x363 - x371 + x379 - x395 - x403 + x411 - x427 - x435 + x443 - x459 - x467 + x475 - x491 - x499 + x507 - x523 - x531 + x539 + x847 = 0 e1229: - x332 - x340 + x348 - x364 - x372 + x380 - x396 - x404 + x412 - x428 - x436 + x444 - x460 - x468 + x476 - x492 - x500 + x508 - x524 - x532 + x540 + x848 = 50 e1230: - x333 - x341 + x349 - x365 - x373 + x381 - x397 - x405 + x413 - x429 - x437 + x445 - x461 - x469 + x477 - x493 - x501 + x509 - x525 - x533 + x541 + x849 = 0 e1231: - x334 - x342 + x350 - x366 - x374 + x382 - x398 - x406 + x414 - x430 - x438 + x446 - x462 - x470 + x478 - x494 - x502 + x510 - x526 - x534 + x542 + x850 = 0 e1232: - x335 - x343 + x351 - x367 - x375 + x383 - x399 - x407 + x415 - x431 - x439 + x447 - x463 - x471 + x479 - x495 - x503 + x511 - x527 - x535 + x543 + x851 = 0 e1233: - x336 - x344 + x352 - x368 - x376 + x384 - x400 - x408 + x416 - x432 - x440 + x448 - x464 - x472 + x480 - x496 - x504 + x512 - x528 - x536 + x544 + x852 = 0 e1234: - x337 - x345 + x353 - x369 - x377 + x385 - x401 - x409 + x417 - x433 - x441 + x449 - x465 - x473 + x481 - x497 - x505 + x513 - x529 - x537 + x545 + x853 = 50 e1235: - x346 - x350 - x378 - x382 - x410 - x414 - x442 - x446 - x474 - x478 - x506 - x510 - x538 - x542 + x854 = 0 e1236: - x347 - x351 - x379 - x383 - x411 - x415 - x443 - x447 - x475 - x479 - x507 - x511 - x539 - x543 + x855 = 0 e1237: - x348 - x352 - x380 - x384 - x412 - x416 - x444 - x448 - x476 - x480 - x508 - x512 - x540 - x544 + x856 = 0 e1238: - x349 - x353 - x381 - x385 - x413 - x417 - x445 - x449 - x477 - x481 - x509 - x513 - x541 - x545 + x857 = 0 e1239: x258 x634 - x322 x578 = 0 e1240: x258 x635 - x323 x578 = 0 e1241: x258 x636 - x324 x578 = 0 e1242: x258 x637 - x325 x578 = 0 e1243: x259 x638 - x326 x579 = 0 e1244: x259 x639 - x327 x579 = 0 e1245: x259 x640 - x328 x579 = 0 e1246: x259 x641 - x329 x579 = 0 e1247: x260 x642 - x330 x580 = 0 e1248: x260 x643 - x331 x580 = 0 e1249: x260 x644 - x332 x580 = 0 e1250: x260 x645 - x333 x580 = 0 e1251: x261 x642 - x334 x580 = 0 e1252: x261 x643 - x335 x580 = 0 e1253: x261 x644 - x336 x580 = 0 e1254: x261 x645 - x337 x580 = 0 e1255: x262 x646 - x338 x581 = 0 e1256: x262 x647 - x339 x581 = 0 e1257: x262 x648 - x340 x581 = 0 e1258: x262 x649 - x341 x581 = 0 e1259: x263 x646 - x342 x581 = 0 e1260: x263 x647 - x343 x581 = 0 e1261: x263 x648 - x344 x581 = 0 e1262: x263 x649 - x345 x581 = 0 e1263: x264 x650 - x346 x582 = 0 e1264: x264 x651 - x347 x582 = 0 e1265: x264 x652 - x348 x582 = 0 e1266: x264 x653 - x349 x582 = 0 e1267: x265 x654 - x350 x583 = 0 e1268: x265 x655 - x351 x583 = 0 e1269: x265 x656 - x352 x583 = 0 e1270: x265 x657 - x353 x583 = 0 e1271: x266 x662 - x354 x585 = 0 e1272: x266 x663 - x355 x585 = 0 e1273: x266 x664 - x356 x585 = 0 e1274: x266 x665 - x357 x585 = 0 e1275: x267 x666 - x358 x586 = 0 e1276: x267 x667 - x359 x586 = 0 e1277: x267 x668 - x360 x586 = 0 e1278: x267 x669 - x361 x586 = 0 e1279: x268 x670 - x362 x587 = 0 e1280: x268 x671 - x363 x587 = 0 e1281: x268 x672 - x364 x587 = 0 e1282: x268 x673 - x365 x587 = 0 e1283: x269 x670 - x366 x587 = 0 e1284: x269 x671 - x367 x587 = 0 e1285: x269 x672 - x368 x587 = 0 e1286: x269 x673 - x369 x587 = 0 e1287: x270 x674 - x370 x588 = 0 e1288: x270 x675 - x371 x588 = 0 e1289: x270 x676 - x372 x588 = 0 e1290: x270 x677 - x373 x588 = 0 e1291: x271 x674 - x374 x588 = 0 e1292: x271 x675 - x375 x588 = 0 e1293: x271 x676 - x376 x588 = 0 e1294: x271 x677 - x377 x588 = 0 e1295: x272 x678 - x378 x589 = 0 e1296: x272 x679 - x379 x589 = 0 e1297: x272 x680 - x380 x589 = 0 e1298: x272 x681 - x381 x589 = 0 e1299: x273 x682 - x382 x590 = 0 e1300: x273 x683 - x383 x590 = 0 e1301: x273 x684 - x384 x590 = 0 e1302: x273 x685 - x385 x590 = 0 e1303: x274 x690 - x386 x592 = 0 e1304: x274 x691 - x387 x592 = 0 e1305: x274 x692 - x388 x592 = 0 e1306: x274 x693 - x389 x592 = 0 e1307: x275 x694 - x390 x593 = 0 e1308: x275 x695 - x391 x593 = 0 e1309: x275 x696 - x392 x593 = 0 e1310: x275 x697 - x393 x593 = 0 e1311: x276 x698 - x394 x594 = 0 e1312: x276 x699 - x395 x594 = 0 e1313: x276 x700 - x396 x594 = 0 e1314: x276 x701 - x397 x594 = 0 e1315: x277 x698 - x398 x594 = 0 e1316: x277 x699 - x399 x594 = 0 e1317: x277 x700 - x400 x594 = 0 e1318: x277 x701 - x401 x594 = 0 e1319: x278 x702 - x402 x595 = 0 e1320: x278 x703 - x403 x595 = 0 e1321: x278 x704 - x404 x595 = 0 e1322: x278 x705 - x405 x595 = 0 e1323: x279 x702 - x406 x595 = 0 e1324: x279 x703 - x407 x595 = 0 e1325: x279 x704 - x408 x595 = 0 e1326: x279 x705 - x409 x595 = 0 e1327: x280 x706 - x410 x596 = 0 e1328: x280 x707 - x411 x596 = 0 e1329: x280 x708 - x412 x596 = 0 e1330: x280 x709 - x413 x596 = 0 e1331: x281 x710 - x414 x597 = 0 e1332: x281 x711 - x415 x597 = 0 e1333: x281 x712 - x416 x597 = 0 e1334: x281 x713 - x417 x597 = 0 e1335: x282 x718 - x418 x599 = 0 e1336: x282 x719 - x419 x599 = 0 e1337: x282 x720 - x420 x599 = 0 e1338: x282 x721 - x421 x599 = 0 e1339: x283 x722 - x422 x600 = 0 e1340: x283 x723 - x423 x600 = 0 e1341: x283 x724 - x424 x600 = 0 e1342: x283 x725 - x425 x600 = 0 e1343: x284 x726 - x426 x601 = 0 e1344: x284 x727 - x427 x601 = 0 e1345: x284 x728 - x428 x601 = 0 e1346: x284 x729 - x429 x601 = 0 e1347: x285 x726 - x430 x601 = 0 e1348: x285 x727 - x431 x601 = 0 e1349: x285 x728 - x432 x601 = 0 e1350: x285 x729 - x433 x601 = 0 e1351: x286 x730 - x434 x602 = 0 e1352: x286 x731 - x435 x602 = 0 e1353: x286 x732 - x436 x602 = 0 e1354: x286 x733 - x437 x602 = 0 e1355: x287 x730 - x438 x602 = 0 e1356: x287 x731 - x439 x602 = 0 e1357: x287 x732 - x440 x602 = 0 e1358: x287 x733 - x441 x602 = 0 e1359: x288 x734 - x442 x603 = 0 e1360: x288 x735 - x443 x603 = 0 e1361: x288 x736 - x444 x603 = 0 e1362: x288 x737 - x445 x603 = 0 e1363: x289 x738 - x446 x604 = 0 e1364: x289 x739 - x447 x604 = 0 e1365: x289 x740 - x448 x604 = 0 e1366: x289 x741 - x449 x604 = 0 e1367: x290 x746 - x450 x606 = 0 e1368: x290 x747 - x451 x606 = 0 e1369: x290 x748 - x452 x606 = 0 e1370: x290 x749 - x453 x606 = 0 e1371: x291 x750 - x454 x607 = 0 e1372: x291 x751 - x455 x607 = 0 e1373: x291 x752 - x456 x607 = 0 e1374: x291 x753 - x457 x607 = 0 e1375: x292 x754 - x458 x608 = 0 e1376: x292 x755 - x459 x608 = 0 e1377: x292 x756 - x460 x608 = 0 e1378: x292 x757 - x461 x608 = 0 e1379: x293 x754 - x462 x608 = 0 e1380: x293 x755 - x463 x608 = 0 e1381: x293 x756 - x464 x608 = 0 e1382: x293 x757 - x465 x608 = 0 e1383: x294 x758 - x466 x609 = 0 e1384: x294 x759 - x467 x609 = 0 e1385: x294 x760 - x468 x609 = 0 e1386: x294 x761 - x469 x609 = 0 e1387: x295 x758 - x470 x609 = 0 e1388: x295 x759 - x471 x609 = 0 e1389: x295 x760 - x472 x609 = 0 e1390: x295 x761 - x473 x609 = 0 e1391: x296 x762 - x474 x610 = 0 e1392: x296 x763 - x475 x610 = 0 e1393: x296 x764 - x476 x610 = 0 e1394: x296 x765 - x477 x610 = 0 e1395: x297 x766 - x478 x611 = 0 e1396: x297 x767 - x479 x611 = 0 e1397: x297 x768 - x480 x611 = 0 e1398: x297 x769 - x481 x611 = 0 e1399: x298 x774 - x482 x613 = 0 e1400: x298 x775 - x483 x613 = 0 e1401: x298 x776 - x484 x613 = 0 e1402: x298 x777 - x485 x613 = 0 e1403: x299 x778 - x486 x614 = 0 e1404: x299 x779 - x487 x614 = 0 e1405: x299 x780 - x488 x614 = 0 e1406: x299 x781 - x489 x614 = 0 e1407: x300 x782 - x490 x615 = 0 e1408: x300 x783 - x491 x615 = 0 e1409: x300 x784 - x492 x615 = 0 e1410: x300 x785 - x493 x615 = 0 e1411: x301 x782 - x494 x615 = 0 e1412: x301 x783 - x495 x615 = 0 e1413: x301 x784 - x496 x615 = 0 e1414: x301 x785 - x497 x615 = 0 e1415: x302 x786 - x498 x616 = 0 e1416: x302 x787 - x499 x616 = 0 e1417: x302 x788 - x500 x616 = 0 e1418: x302 x789 - x501 x616 = 0 e1419: x303 x786 - x502 x616 = 0 e1420: x303 x787 - x503 x616 = 0 e1421: x303 x788 - x504 x616 = 0 e1422: x303 x789 - x505 x616 = 0 e1423: x304 x790 - x506 x617 = 0 e1424: x304 x791 - x507 x617 = 0 e1425: x304 x792 - x508 x617 = 0 e1426: x304 x793 - x509 x617 = 0 e1427: x305 x794 - x510 x618 = 0 e1428: x305 x795 - x511 x618 = 0 e1429: x305 x796 - x512 x618 = 0 e1430: x305 x797 - x513 x618 = 0 e1431: x306 x802 - x514 x620 = 0 e1432: x306 x803 - x515 x620 = 0 e1433: x306 x804 - x516 x620 = 0 e1434: x306 x805 - x517 x620 = 0 e1435: x307 x806 - x518 x621 = 0 e1436: x307 x807 - x519 x621 = 0 e1437: x307 x808 - x520 x621 = 0 e1438: x307 x809 - x521 x621 = 0 e1439: x308 x810 - x522 x622 = 0 e1440: x308 x811 - x523 x622 = 0 e1441: x308 x812 - x524 x622 = 0 e1442: x308 x813 - x525 x622 = 0 e1443: x309 x810 - x526 x622 = 0 e1444: x309 x811 - x527 x622 = 0 e1445: x309 x812 - x528 x622 = 0 e1446: x309 x813 - x529 x622 = 0 e1447: x310 x814 - x530 x623 = 0 e1448: x310 x815 - x531 x623 = 0 e1449: x310 x816 - x532 x623 = 0 e1450: x310 x817 - x533 x623 = 0 e1451: x311 x814 - x534 x623 = 0 e1452: x311 x815 - x535 x623 = 0 e1453: x311 x816 - x536 x623 = 0 e1454: x311 x817 - x537 x623 = 0 e1455: x312 x818 - x538 x624 = 0 e1456: x312 x819 - x539 x624 = 0 e1457: x312 x820 - x540 x624 = 0 e1458: x312 x821 - x541 x624 = 0 e1459: x313 x822 - x542 x625 = 0 e1460: x313 x823 - x543 x625 = 0 e1461: x313 x824 - x544 x625 = 0 e1462: x313 x825 - x545 x625 = 0 e1463: x314 x830 - x546 x627 = 0 e1464: x314 x831 - x547 x627 = 0 e1465: x314 x832 - x548 x627 = 0 e1466: x314 x833 - x549 x627 = 0 e1467: x315 x834 - x550 x628 = 0 e1468: x315 x835 - x551 x628 = 0 e1469: x315 x836 - x552 x628 = 0 e1470: x315 x837 - x553 x628 = 0 e1471: x316 x838 - x554 x629 = 0 e1472: x316 x839 - x555 x629 = 0 e1473: x316 x840 - x556 x629 = 0 e1474: x316 x841 - x557 x629 = 0 e1475: x317 x838 - x558 x629 = 0 e1476: x317 x839 - x559 x629 = 0 e1477: x317 x840 - x560 x629 = 0 e1478: x317 x841 - x561 x629 = 0 e1479: x318 x842 - x562 x630 = 0 e1480: x318 x843 - x563 x630 = 0 e1481: x318 x844 - x564 x630 = 0 e1482: x318 x845 - x565 x630 = 0 e1483: x319 x842 - x566 x630 = 0 e1484: x319 x843 - x567 x630 = 0 e1485: x319 x844 - x568 x630 = 0 e1486: x319 x845 - x569 x630 = 0 e1487: x320 x846 - x570 x631 = 0 e1488: x320 x847 - x571 x631 = 0 e1489: x320 x848 - x572 x631 = 0 e1490: x320 x849 - x573 x631 = 0 e1491: x321 x850 - x574 x632 = 0 e1492: x321 x851 - x575 x632 = 0 e1493: x321 x852 - x576 x632 = 0 e1494: x321 x853 - x577 x632 = 0 e1495: x258 >= 0 e1496: x259 >= 0 e1497: x260 >= 0 e1498: x261 >= 0 e1499: x262 >= 0 e1500: x263 >= 0 e1501: - 5 x136 + x264 >= 0 e1502: - 5 x137 + x265 >= 0 e1503: x266 >= 0 e1504: x267 >= 0 e1505: x268 >= 0 e1506: x269 >= 0 e1507: x270 >= 0 e1508: x271 >= 0 e1509: - 5 x144 + x272 >= 0 e1510: - 5 x145 + x273 >= 0 e1511: x274 >= 0 e1512: x275 >= 0 e1513: x276 >= 0 e1514: x277 >= 0 e1515: x278 >= 0 e1516: x279 >= 0 e1517: - 5 x152 + x280 >= 0 e1518: - 5 x153 + x281 >= 0 e1519: x282 >= 0 e1520: x283 >= 0 e1521: x284 >= 0 e1522: x285 >= 0 e1523: x286 >= 0 e1524: x287 >= 0 e1525: - 5 x160 + x288 >= 0 e1526: - 5 x161 + x289 >= 0 e1527: x290 >= 0 e1528: x291 >= 0 e1529: x292 >= 0 e1530: x293 >= 0 e1531: x294 >= 0 e1532: x295 >= 0 e1533: - 5 x168 + x296 >= 0 e1534: - 5 x169 + x297 >= 0 e1535: x298 >= 0 e1536: x299 >= 0 e1537: x300 >= 0 e1538: x301 >= 0 e1539: x302 >= 0 e1540: x303 >= 0 e1541: - 5 x176 + x304 >= 0 e1542: - 5 x177 + x305 >= 0 e1543: x306 >= 0 e1544: x307 >= 0 e1545: x308 >= 0 e1546: x309 >= 0 e1547: x310 >= 0 e1548: x311 >= 0 e1549: - 5 x184 + x312 >= 0 e1550: - 5 x185 + x313 >= 0 e1551: x314 >= 0 e1552: x315 >= 0 e1553: x316 >= 0 e1554: x317 >= 0 e1555: x318 >= 0 e1556: x319 >= 0 e1557: - 5 x192 + x320 >= 0 e1558: - 5 x193 + x321 >= 0 e1559: - 50 x130 + x258 <= 0 e1560: - 50 x131 + x259 <= 0 e1561: - 50 x132 + x260 <= 0 e1562: - 50 x133 + x261 <= 0 e1563: - 50 x134 + x262 <= 0 e1564: - 50 x135 + x263 <= 0 e1565: - 50 x136 + x264 <= 0 e1566: - 50 x137 + x265 <= 0 e1567: - 50 x138 + x266 <= 0 e1568: - 50 x139 + x267 <= 0 e1569: - 50 x140 + x268 <= 0 e1570: - 50 x141 + x269 <= 0 e1571: - 50 x142 + x270 <= 0 e1572: - 50 x143 + x271 <= 0 e1573: - 50 x144 + x272 <= 0 e1574: - 50 x145 + x273 <= 0 e1575: - 50 x146 + x274 <= 0 e1576: - 50 x147 + x275 <= 0 e1577: - 50 x148 + x276 <= 0 e1578: - 50 x149 + x277 <= 0 e1579: - 50 x150 + x278 <= 0 e1580: - 50 x151 + x279 <= 0 e1581: - 50 x152 + x280 <= 0 e1582: - 50 x153 + x281 <= 0 e1583: - 50 x154 + x282 <= 0 e1584: - 50 x155 + x283 <= 0 e1585: - 50 x156 + x284 <= 0 e1586: - 50 x157 + x285 <= 0 e1587: - 50 x158 + x286 <= 0 e1588: - 50 x159 + x287 <= 0 e1589: - 50 x160 + x288 <= 0 e1590: - 50 x161 + x289 <= 0 e1591: - 50 x162 + x290 <= 0 e1592: - 50 x163 + x291 <= 0 e1593: - 50 x164 + x292 <= 0 e1594: - 50 x165 + x293 <= 0 e1595: - 50 x166 + x294 <= 0 e1596: - 50 x167 + x295 <= 0 e1597: - 50 x168 + x296 <= 0 e1598: - 50 x169 + x297 <= 0 e1599: - 50 x170 + x298 <= 0 e1600: - 50 x171 + x299 <= 0 e1601: - 50 x172 + x300 <= 0 e1602: - 50 x173 + x301 <= 0 e1603: - 50 x174 + x302 <= 0 e1604: - 50 x175 + x303 <= 0 e1605: - 50 x176 + x304 <= 0 e1606: - 50 x177 + x305 <= 0 e1607: - 50 x178 + x306 <= 0 e1608: - 50 x179 + x307 <= 0 e1609: - 50 x180 + x308 <= 0 e1610: - 50 x181 + x309 <= 0 e1611: - 50 x182 + x310 <= 0 e1612: - 50 x183 + x311 <= 0 e1613: - 50 x184 + x312 <= 0 e1614: - 50 x185 + x313 <= 0 e1615: - 50 x186 + x314 <= 0 e1616: - 50 x187 + x315 <= 0 e1617: - 50 x188 + x316 <= 0 e1618: - 50 x189 + x317 <= 0 e1619: - 50 x190 + x318 <= 0 e1620: - 50 x191 + x319 <= 0 e1621: - 50 x192 + x320 <= 0 e1622: - 50 x193 + x321 <= 0 e1623: x136 + x137 + x144 + x145 + x152 + x153 + x160 + x161 + x168 + x169 + x176 + x177 + x184 + x185 + x192 + x193 = 8 e1624: x264 + x272 + x280 + x288 + x296 + x304 + x312 + x320 >= 100 e1625: x265 + x273 + x281 + x289 + x297 + x305 + x313 + x321 >= 100 e1626: x264 + x272 + x280 + x288 + x296 + x304 + x312 + x320 <= 100 e1627: x265 + x273 + x281 + x289 + x297 + x305 + x313 + x321 <= 100 e1628: - .15 x264 + .1 x346 + .6 x347 + .2 x348 + .5 x349 >= 0 e1629: - .45 x265 + .1 x350 + .6 x351 + .2 x352 + .5 x353 >= 0 e1630: - .15 x272 + .1 x378 + .6 x379 + .2 x380 + .5 x381 >= 0 e1631: - .45 x273 + .1 x382 + .6 x383 + .2 x384 + .5 x385 >= 0 e1632: - .15 x280 + .1 x410 + .6 x411 + .2 x412 + .5 x413 >= 0 e1633: - .45 x281 + .1 x414 + .6 x415 + .2 x416 + .5 x417 >= 0 e1634: - .15 x288 + .1 x442 + .6 x443 + .2 x444 + .5 x445 >= 0 e1635: - .45 x289 + .1 x446 + .6 x447 + .2 x448 + .5 x449 >= 0 e1636: - .15 x296 + .1 x474 + .6 x475 + .2 x476 + .5 x477 >= 0 e1637: - .45 x297 + .1 x478 + .6 x479 + .2 x480 + .5 x481 >= 0 e1638: - .15 x304 + .1 x506 + .6 x507 + .2 x508 + .5 x509 >= 0 e1639: - .45 x305 + .1 x510 + .6 x511 + .2 x512 + .5 x513 >= 0 e1640: - .15 x312 + .1 x538 + .6 x539 + .2 x540 + .5 x541 >= 0 e1641: - .45 x313 + .1 x542 + .6 x543 + .2 x544 + .5 x545 >= 0 e1642: - .15 x320 + .1 x570 + .6 x571 + .2 x572 + .5 x573 >= 0 e1643: - .45 x321 + .1 x574 + .6 x575 + .2 x576 + .5 x577 >= 0 e1644: - .25 x264 + .1 x346 + .6 x347 + .2 x348 + .5 x349 <= 0 e1645: - .55 x265 + .1 x350 + .6 x351 + .2 x352 + .5 x353 <= 0 e1646: - .25 x272 + .1 x378 + .6 x379 + .2 x380 + .5 x381 <= 0 e1647: - .55 x273 + .1 x382 + .6 x383 + .2 x384 + .5 x385 <= 0 e1648: - .25 x280 + .1 x410 + .6 x411 + .2 x412 + .5 x413 <= 0 e1649: - .55 x281 + .1 x414 + .6 x415 + .2 x416 + .5 x417 <= 0 e1650: - .25 x288 + .1 x442 + .6 x443 + .2 x444 + .5 x445 <= 0 e1651: - .55 x289 + .1 x446 + .6 x447 + .2 x448 + .5 x449 <= 0 e1652: - .25 x296 + .1 x474 + .6 x475 + .2 x476 + .5 x477 <= 0 e1653: - .55 x297 + .1 x478 + .6 x479 + .2 x480 + .5 x481 <= 0 e1654: - .25 x304 + .1 x506 + .6 x507 + .2 x508 + .5 x509 <= 0 e1655: - .55 x305 + .1 x510 + .6 x511 + .2 x512 + .5 x513 <= 0 e1656: - .25 x312 + .1 x538 + .6 x539 + .2 x540 + .5 x541 <= 0 e1657: - .55 x313 + .1 x542 + .6 x543 + .2 x544 + .5 x545 <= 0 e1658: - .25 x320 + .1 x570 + .6 x571 + .2 x572 + .5 x573 <= 0 e1659: - .55 x321 + .1 x574 + .6 x575 + .2 x576 + .5 x577 <= 0 e1660: - x258 - x266 - x274 - x282 - x290 - x298 - x306 - x314 >= -100 e1661: - x259 - x267 - x275 - x283 - x291 - x299 - x307 - x315 >= -100 e1662: x258 - x260 - x261 + x266 - x268 - x269 + x274 - x276 - x277 + x282 - x284 - x285 + x290 - x292 - x293 + x298 - x300 - x301 + x306 - x308 - x309 + x314 - x316 - x317 >= -25 e1663: x259 - x262 - x263 + x267 - x270 - x271 + x275 - x278 - x279 + x283 - x286 - x287 + x291 - x294 - x295 + x299 - x302 - x303 + x307 - x310 - x311 + x315 - x318 - x319 >= -75 e1664: x260 + x262 - x264 + x268 + x270 - x272 + x276 + x278 - x280 + x284 + x286 - x288 + x292 + x294 - x296 + x300 + x302 - x304 + x308 + x310 - x312 + x316 + x318 - x320 >= -50 e1665: x261 + x263 - x265 + x269 + x271 - x273 + x277 + x279 - x281 + x285 + x287 - x289 + x293 + x295 - x297 + x301 + x303 - x305 + x309 + x311 - x313 + x317 + x319 - x321 >= -50 e1666: x264 + x265 + x272 + x273 + x280 + x281 + x288 + x289 + x296 + x297 + x304 + x305 + x312 + x313 + x320 + x321 >= 0 e1667: - x258 - x266 - x274 - x282 - x290 - x298 - x306 - x314 <= 0 e1668: - x259 - x267 - x275 - x283 - x291 - x299 - x307 - x315 <= 0 e1669: x258 - x260 - x261 + x266 - x268 - x269 + x274 - x276 - x277 + x282 - x284 - x285 + x290 - x292 - x293 + x298 - x300 - x301 + x306 - x308 - x309 + x314 - x316 - x317 <= 75 e1670: x259 - x262 - x263 + x267 - x270 - x271 + x275 - x278 - x279 + x283 - x286 - x287 + x291 - x294 - x295 + x299 - x302 - x303 + x307 - x310 - x311 + x315 - x318 - x319 <= 25 e1671: x260 + x262 - x264 + x268 + x270 - x272 + x276 + x278 - x280 + x284 + x286 - x288 + x292 + x294 - x296 + x300 + x302 - x304 + x308 + x310 - x312 + x316 + x318 - x320 <= 50 e1672: x261 + x263 - x265 + x269 + x271 - x273 + x277 + x279 - x281 + x285 + x287 - x289 + x293 + x295 - x297 + x301 + x303 - x305 + x309 + x311 - x313 + x317 + x319 - x321 <= 50 e1673: - x322 - x354 - x386 - x418 - x450 - x482 - x514 - x546 >= -100 e1674: - x323 - x355 - x387 - x419 - x451 - x483 - x515 - x547 >= 0 e1675: - x324 - x356 - x388 - x420 - x452 - x484 - x516 - x548 >= 0 e1676: - x325 - x357 - x389 - x421 - x453 - x485 - x517 - x549 >= 0 e1677: - x326 - x358 - x390 - x422 - x454 - x486 - x518 - x550 >= 0 e1678: - x327 - x359 - x391 - x423 - x455 - x487 - x519 - x551 >= -100 e1679: - x328 - x360 - x392 - x424 - x456 - x488 - x520 - x552 >= 0 e1680: - x329 - x361 - x393 - x425 - x457 - x489 - x521 - x553 >= 0 e1681: x322 - x330 - x334 + x354 - x362 - x366 + x386 - x394 - x398 + x418 - x426 - x430 + x450 - x458 - x462 + x482 - x490 - x494 + x514 - x522 - x526 + x546 - x554 - x558 >= -25 e1682: x323 - x331 - x335 + x355 - x363 - x367 + x387 - x395 - x399 + x419 - x427 - x431 + x451 - x459 - x463 + x483 - x491 - x495 + x515 - x523 - x527 + x547 - x555 - x559 >= 0 e1683: x324 - x332 - x336 + x356 - x364 - x368 + x388 - x396 - x400 + x420 - x428 - x432 + x452 - x460 - x464 + x484 - x492 - x496 + x516 - x524 - x528 + x548 - x556 - x560 >= 0 e1684: x325 - x333 - x337 + x357 - x365 - x369 + x389 - x397 - x401 + x421 - x429 - x433 + x453 - x461 - x465 + x485 - x493 - x497 + x517 - x525 - x529 + x549 - x557 - x561 >= 0 e1685: x326 - x338 - x342 + x358 - x370 - x374 + x390 - x402 - x406 + x422 - x434 - x438 + x454 - x466 - x470 + x486 - x498 - x502 + x518 - x530 - x534 + x550 - x562 - x566 >= 0 e1686: x327 - x339 - x343 + x359 - x371 - x375 + x391 - x403 - x407 + x423 - x435 - x439 + x455 - x467 - x471 + x487 - x499 - x503 + x519 - x531 - x535 + x551 - x563 - x567 >= -75 e1687: x328 - x340 - x344 + x360 - x372 - x376 + x392 - x404 - x408 + x424 - x436 - x440 + x456 - x468 - x472 + x488 - x500 - x504 + x520 - x532 - x536 + x552 - x564 - x568 >= 0 e1688: x329 - x341 - x345 + x361 - x373 - x377 + x393 - x405 - x409 + x425 - x437 - x441 + x457 - x469 - x473 + x489 - x501 - x505 + x521 - x533 - x537 + x553 - x565 - x569 >= 0 e1689: x330 + x338 - x346 + x362 + x370 - x378 + x394 + x402 - x410 + x426 + x434 - x442 + x458 + x466 - x474 + x490 + x498 - x506 + x522 + x530 - x538 + x554 + x562 - x570 >= 0 e1690: x331 + x339 - x347 + x363 + x371 - x379 + x395 + x403 - x411 + x427 + x435 - x443 + x459 + x467 - x475 + x491 + x499 - x507 + x523 + x531 - x539 + x555 + x563 - x571 >= 0 e1691: x332 + x340 - x348 + x364 + x372 - x380 + x396 + x404 - x412 + x428 + x436 - x444 + x460 + x468 - x476 + x492 + x500 - x508 + x524 + x532 - x540 + x556 + x564 - x572 >= -50 e1692: x333 + x341 - x349 + x365 + x373 - x381 + x397 + x405 - x413 + x429 + x437 - x445 + x461 + x469 - x477 + x493 + x501 - x509 + x525 + x533 - x541 + x557 + x565 - x573 >= 0 e1693: x334 + x342 - x350 + x366 + x374 - x382 + x398 + x406 - x414 + x430 + x438 - x446 + x462 + x470 - x478 + x494 + x502 - x510 + x526 + x534 - x542 + x558 + x566 - x574 >= 0 e1694: x335 + x343 - x351 + x367 + x375 - x383 + x399 + x407 - x415 + x431 + x439 - x447 + x463 + x471 - x479 + x495 + x503 - x511 + x527 + x535 - x543 + x559 + x567 - x575 >= 0 e1695: x336 + x344 - x352 + x368 + x376 - x384 + x400 + x408 - x416 + x432 + x440 - x448 + x464 + x472 - x480 + x496 + x504 - x512 + x528 + x536 - x544 + x560 + x568 - x576 >= 0 e1696: x337 + x345 - x353 + x369 + x377 - x385 + x401 + x409 - x417 + x433 + x441 - x449 + x465 + x473 - x481 + x497 + x505 - x513 + x529 + x537 - x545 + x561 + x569 - x577 >= -50 e1697: x346 + x350 + x378 + x382 + x410 + x414 + x442 + x446 + x474 + x478 + x506 + x510 + x538 + x542 + x570 + x574 >= 0 e1698: x347 + x351 + x379 + x383 + x411 + x415 + x443 + x447 + x475 + x479 + x507 + x511 + x539 + x543 + x571 + x575 >= 0 e1699: x348 + x352 + x380 + x384 + x412 + x416 + x444 + x448 + x476 + x480 + x508 + x512 + x540 + x544 + x572 + x576 >= 0 e1700: x349 + x353 + x381 + x385 + x413 + x417 + x445 + x449 + x477 + x481 + x509 + x513 + x541 + x545 + x573 + x577 >= 0 e1701: - x322 - x354 - x386 - x418 - x450 - x482 - x514 - x546 <= 0 e1702: - x323 - x355 - x387 - x419 - x451 - x483 - x515 - x547 <= 100 e1703: - x324 - x356 - x388 - x420 - x452 - x484 - x516 - x548 <= 100 e1704: - x325 - x357 - x389 - x421 - x453 - x485 - x517 - x549 <= 100 e1705: - x326 - x358 - x390 - x422 - x454 - x486 - x518 - x550 <= 100 e1706: - x327 - x359 - x391 - x423 - x455 - x487 - x519 - x551 <= 0 e1707: - x328 - x360 - x392 - x424 - x456 - x488 - x520 - x552 <= 100 e1708: - x329 - x361 - x393 - x425 - x457 - x489 - x521 - x553 <= 100 e1709: x322 - x330 - x334 + x354 - x362 - x366 + x386 - x394 - x398 + x418 - x426 - x430 + x450 - x458 - x462 + x482 - x490 - x494 + x514 - x522 - x526 + x546 - x554 - x558 <= 75 e1710: x323 - x331 - x335 + x355 - x363 - x367 + x387 - x395 - x399 + x419 - x427 - x431 + x451 - x459 - x463 + x483 - x491 - x495 + x515 - x523 - x527 + x547 - x555 - x559 <= 100 e1711: x324 - x332 - x336 + x356 - x364 - x368 + x388 - x396 - x400 + x420 - x428 - x432 + x452 - x460 - x464 + x484 - x492 - x496 + x516 - x524 - x528 + x548 - x556 - x560 <= 100 e1712: x325 - x333 - x337 + x357 - x365 - x369 + x389 - x397 - x401 + x421 - x429 - x433 + x453 - x461 - x465 + x485 - x493 - x497 + x517 - x525 - x529 + x549 - x557 - x561 <= 100 e1713: x326 - x338 - x342 + x358 - x370 - x374 + x390 - x402 - x406 + x422 - x434 - x438 + x454 - x466 - x470 + x486 - x498 - x502 + x518 - x530 - x534 + x550 - x562 - x566 <= 100 e1714: x327 - x339 - x343 + x359 - x371 - x375 + x391 - x403 - x407 + x423 - x435 - x439 + x455 - x467 - x471 + x487 - x499 - x503 + x519 - x531 - x535 + x551 - x563 - x567 <= 25 e1715: x328 - x340 - x344 + x360 - x372 - x376 + x392 - x404 - x408 + x424 - x436 - x440 + x456 - x468 - x472 + x488 - x500 - x504 + x520 - x532 - x536 + x552 - x564 - x568 <= 100 e1716: x329 - x341 - x345 + x361 - x373 - x377 + x393 - x405 - x409 + x425 - x437 - x441 + x457 - x469 - x473 + x489 - x501 - x505 + x521 - x533 - x537 + x553 - x565 - x569 <= 100 e1717: x330 + x338 - x346 + x362 + x370 - x378 + x394 + x402 - x410 + x426 + x434 - x442 + x458 + x466 - x474 + x490 + x498 - x506 + x522 + x530 - x538 + x554 + x562 - x570 <= 100 e1718: x331 + x339 - x347 + x363 + x371 - x379 + x395 + x403 - x411 + x427 + x435 - x443 + x459 + x467 - x475 + x491 + x499 - x507 + x523 + x531 - x539 + x555 + x563 - x571 <= 100 e1719: x332 + x340 - x348 + x364 + x372 - x380 + x396 + x404 - x412 + x428 + x436 - x444 + x460 + x468 - x476 + x492 + x500 - x508 + x524 + x532 - x540 + x556 + x564 - x572 <= 50 e1720: x333 + x341 - x349 + x365 + x373 - x381 + x397 + x405 - x413 + x429 + x437 - x445 + x461 + x469 - x477 + x493 + x501 - x509 + x525 + x533 - x541 + x557 + x565 - x573 <= 100 e1721: x334 + x342 - x350 + x366 + x374 - x382 + x398 + x406 - x414 + x430 + x438 - x446 + x462 + x470 - x478 + x494 + x502 - x510 + x526 + x534 - x542 + x558 + x566 - x574 <= 100 e1722: x335 + x343 - x351 + x367 + x375 - x383 + x399 + x407 - x415 + x431 + x439 - x447 + x463 + x471 - x479 + x495 + x503 - x511 + x527 + x535 - x543 + x559 + x567 - x575 <= 100 e1723: x336 + x344 - x352 + x368 + x376 - x384 + x400 + x408 - x416 + x432 + x440 - x448 + x464 + x472 - x480 + x496 + x504 - x512 + x528 + x536 - x544 + x560 + x568 - x576 <= 100 e1724: x337 + x345 - x353 + x369 + x377 - x385 + x401 + x409 - x417 + x433 + x441 - x449 + x465 + x473 - x481 + x497 + x505 - x513 + x529 + x537 - x545 + x561 + x569 - x577 <= 50 e1725: 8 b10 + 8 b11 - x74 - x75 + x194 + x195 <= 8 e1726: 8 b10 + 8 b12 - x74 - x76 + x194 + x196 <= 8 e1727: 8 b10 + 8 b13 - x74 - x77 + x194 + x197 <= 8 e1728: 8 b11 + 8 b14 - x75 - x78 + x195 + x198 <= 8 e1729: 8 b11 + 8 b15 - x75 - x79 + x195 + x199 <= 8 e1730: 8 b12 + 8 b16 - x76 - x80 + x196 + x200 <= 8 e1731: 8 b13 + 8 b17 - x77 - x81 + x197 + x201 <= 8 e1732: 8 b14 + 8 b16 - x78 - x80 + x198 + x200 <= 8 e1733: 8 b15 + 8 b17 - x79 - x81 + x199 + x201 <= 8 e1734: 8 b16 + 8 b17 - x80 - x81 + x200 + x201 <= 8 e1735: 8 b18 + 8 b19 - x82 - x83 + x138 + x139 + x194 + x195 <= 8 e1736: 8 b18 + 8 b20 - x82 - x84 + x138 + x140 + x194 + x196 <= 8 e1737: 8 b18 + 8 b21 - x82 - x85 + x138 + x141 + x194 + x197 <= 8 e1738: 8 b19 + 8 b22 - x83 - x86 + x139 + x142 + x195 + x198 <= 8 e1739: 8 b19 + 8 b23 - x83 - x87 + x139 + x143 + x195 + x199 <= 8 e1740: 8 b20 + 8 b24 - x84 - x88 + x140 + x144 + x196 + x200 <= 8 e1741: 8 b21 + 8 b25 - x85 - x89 + x141 + x145 + x197 + x201 <= 8 e1742: 8 b22 + 8 b24 - x86 - x88 + x142 + x144 + x198 + x200 <= 8 e1743: 8 b23 + 8 b25 - x87 - x89 + x143 + x145 + x199 + x201 <= 8 e1744: 8 b24 + 8 b25 - x88 - x89 + x144 + x145 + x200 + x201 <= 8 e1745: 8 b26 + 8 b27 - x90 - x91 + x138 + x139 + x146 + x147 + x194 + x195 <= 8 e1746: 8 b26 + 8 b28 - x90 - x92 + x138 + x140 + x146 + x148 + x194 + x196 <= 8 e1747: 8 b26 + 8 b29 - x90 - x93 + x138 + x141 + x146 + x149 + x194 + x197 <= 8 e1748: 8 b27 + 8 b30 - x91 - x94 + x139 + x142 + x147 + x150 + x195 + x198 <= 8 e1749: 8 b27 + 8 b31 - x91 - x95 + x139 + x143 + x147 + x151 + x195 + x199 <= 8 e1750: 8 b28 + 8 b32 - x92 - x96 + x140 + x144 + x148 + x152 + x196 + x200 <= 8 e1751: 8 b29 + 8 b33 - x93 - x97 + x141 + x145 + x149 + x153 + x197 + x201 <= 8 e1752: 8 b30 + 8 b32 - x94 - x96 + x142 + x144 + x150 + x152 + x198 + x200 <= 8 e1753: 8 b31 + 8 b33 - x95 - x97 + x143 + x145 + x151 + x153 + x199 + x201 <= 8 e1754: 8 b32 + 8 b33 - x96 - x97 + x144 + x145 + x152 + x153 + x200 + x201 <= 8 e1755: 8 b34 + 8 b35 - x98 - x99 + x138 + x139 + x146 + x147 + x154 + x155 + x194 + x195 <= 8 e1756: 8 b34 + 8 b36 - x98 - x100 + x138 + x140 + x146 + x148 + x154 + x156 + x194 + x196 <= 8 e1757: 8 b34 + 8 b37 - x98 - x101 + x138 + x141 + x146 + x149 + x154 + x157 + x194 + x197 <= 8 e1758: 8 b35 + 8 b38 - x99 - x102 + x139 + x142 + x147 + x150 + x155 + x158 + x195 + x198 <= 8 e1759: 8 b35 + 8 b39 - x99 - x103 + x139 + x143 + x147 + x151 + x155 + x159 + x195 + x199 <= 8 e1760: 8 b36 + 8 b40 - x100 - x104 + x140 + x144 + x148 + x152 + x156 + x160 + x196 + x200 <= 8 e1761: 8 b37 + 8 b41 - x101 - x105 + x141 + x145 + x149 + x153 + x157 + x161 + x197 + x201 <= 8 e1762: 8 b38 + 8 b40 - x102 - x104 + x142 + x144 + x150 + x152 + x158 + x160 + x198 + x200 <= 8 e1763: 8 b39 + 8 b41 - x103 - x105 + x143 + x145 + x151 + x153 + x159 + x161 + x199 + x201 <= 8 e1764: 8 b40 + 8 b41 - x104 - x105 + x144 + x145 + x152 + x153 + x160 + x161 + x200 + x201 <= 8 e1765: 8 b42 + 8 b43 - x106 - x107 + x138 + x139 + x146 + x147 + x154 + x155 + x162 + x163 + x194 + x195 <= 8 e1766: 8 b42 + 8 b44 - x106 - x108 + x138 + x140 + x146 + x148 + x154 + x156 + x162 + x164 + x194 + x196 <= 8 e1767: 8 b42 + 8 b45 - x106 - x109 + x138 + x141 + x146 + x149 + x154 + x157 + x162 + x165 + x194 + x197 <= 8 e1768: 8 b43 + 8 b46 - x107 - x110 + x139 + x142 + x147 + x150 + x155 + x158 + x163 + x166 + x195 + x198 <= 8 e1769: 8 b43 + 8 b47 - x107 - x111 + x139 + x143 + x147 + x151 + x155 + x159 + x163 + x167 + x195 + x199 <= 8 e1770: 8 b44 + 8 b48 - x108 - x112 + x140 + x144 + x148 + x152 + x156 + x160 + x164 + x168 + x196 + x200 <= 8 e1771: 8 b45 + 8 b49 - x109 - x113 + x141 + x145 + x149 + x153 + x157 + x161 + x165 + x169 + x197 + x201 <= 8 e1772: 8 b46 + 8 b48 - x110 - x112 + x142 + x144 + x150 + x152 + x158 + x160 + x166 + x168 + x198 + x200 <= 8 e1773: 8 b47 + 8 b49 - x111 - x113 + x143 + x145 + x151 + x153 + x159 + x161 + x167 + x169 + x199 + x201 <= 8 e1774: 8 b48 + 8 b49 - x112 - x113 + x144 + x145 + x152 + x153 + x160 + x161 + x168 + x169 + x200 + x201 <= 8 e1775: 8 b50 + 8 b51 - x114 - x115 + x138 + x139 + x146 + x147 + x154 + x155 + x162 + x163 + x170 + x171 + x194 + x195 <= 8 e1776: 8 b50 + 8 b52 - x114 - x116 + x138 + x140 + x146 + x148 + x154 + x156 + x162 + x164 + x170 + x172 + x194 + x196 <= 8 e1777: 8 b50 + 8 b53 - x114 - x117 + x138 + x141 + x146 + x149 + x154 + x157 + x162 + x165 + x170 + x173 + x194 + x197 <= 8 e1778: 8 b51 + 8 b54 - x115 - x118 + x139 + x142 + x147 + x150 + x155 + x158 + x163 + x166 + x171 + x174 + x195 + x198 <= 8 e1779: 8 b51 + 8 b55 - x115 - x119 + x139 + x143 + x147 + x151 + x155 + x159 + x163 + x167 + x171 + x175 + x195 + x199 <= 8 e1780: 8 b52 + 8 b56 - x116 - x120 + x140 + x144 + x148 + x152 + x156 + x160 + x164 + x168 + x172 + x176 + x196 + x200 <= 8 e1781: 8 b53 + 8 b57 - x117 - x121 + x141 + x145 + x149 + x153 + x157 + x161 + x165 + x169 + x173 + x177 + x197 + x201 <= 8 e1782: 8 b54 + 8 b56 - x118 - x120 + x142 + x144 + x150 + x152 + x158 + x160 + x166 + x168 + x174 + x176 + x198 + x200 <= 8 e1783: 8 b55 + 8 b57 - x119 - x121 + x143 + x145 + x151 + x153 + x159 + x161 + x167 + x169 + x175 + x177 + x199 + x201 <= 8 e1784: 8 b56 + 8 b57 - x120 - x121 + x144 + x145 + x152 + x153 + x160 + x161 + x168 + x169 + x176 + x177 + x200 + x201 <= 8 e1785: 8 b58 + 8 b59 - x122 - x123 + x138 + x139 + x146 + x147 + x154 + x155 + x162 + x163 + x170 + x171 + x178 + x179 + x194 + x195 <= 8 e1786: 8 b58 + 8 b60 - x122 - x124 + x138 + x140 + x146 + x148 + x154 + x156 + x162 + x164 + x170 + x172 + x178 + x180 + x194 + x196 <= 8 e1787: 8 b58 + 8 b61 - x122 - x125 + x138 + x141 + x146 + x149 + x154 + x157 + x162 + x165 + x170 + x173 + x178 + x181 + x194 + x197 <= 8 e1788: 8 b59 + 8 b62 - x123 - x126 + x139 + x142 + x147 + x150 + x155 + x158 + x163 + x166 + x171 + x174 + x179 + x182 + x195 + x198 <= 8 e1789: 8 b59 + 8 b63 - x123 - x127 + x139 + x143 + x147 + x151 + x155 + x159 + x163 + x167 + x171 + x175 + x179 + x183 + x195 + x199 <= 8 e1790: 8 b60 + 8 b64 - x124 - x128 + x140 + x144 + x148 + x152 + x156 + x160 + x164 + x168 + x172 + x176 + x180 + x184 + x196 + x200 <= 8 e1791: 8 b61 + 8 b65 - x125 - x129 + x141 + x145 + x149 + x153 + x157 + x161 + x165 + x169 + x173 + x177 + x181 + x185 + x197 + x201 <= 8 e1792: 8 b62 + 8 b64 - x126 - x128 + x142 + x144 + x150 + x152 + x158 + x160 + x166 + x168 + x174 + x176 + x182 + x184 + x198 + x200 <= 8 e1793: 8 b63 + 8 b65 - x127 - x129 + x143 + x145 + x151 + x153 + x159 + x161 + x167 + x169 + x175 + x177 + x183 + x185 + x199 + x201 <= 8 e1794: 8 b64 + 8 b65 - x128 - x129 + x144 + x145 + x152 + x153 + x160 + x161 + x168 + x169 + x176 + x177 + x184 + x185 + x200 + x201 <= 8 e1795: 8 b18 + 8 b19 - x82 - x83 + x202 + x203 <= 8 e1796: 8 b18 + 8 b20 - x82 - x84 + x202 + x204 <= 8 e1797: 8 b18 + 8 b21 - x82 - x85 + x202 + x205 <= 8 e1798: 8 b19 + 8 b22 - x83 - x86 + x203 + x206 <= 8 e1799: 8 b19 + 8 b23 - x83 - x87 + x203 + x207 <= 8 e1800: 8 b20 + 8 b24 - x84 - x88 + x204 + x208 <= 8 e1801: 8 b21 + 8 b25 - x85 - x89 + x205 + x209 <= 8 e1802: 8 b22 + 8 b24 - x86 - x88 + x206 + x208 <= 8 e1803: 8 b23 + 8 b25 - x87 - x89 + x207 + x209 <= 8 e1804: 8 b24 + 8 b25 - x88 - x89 + x208 + x209 <= 8 e1805: 8 b26 + 8 b27 - x90 - x91 + x146 + x147 + x202 + x203 <= 8 e1806: 8 b26 + 8 b28 - x90 - x92 + x146 + x148 + x202 + x204 <= 8 e1807: 8 b26 + 8 b29 - x90 - x93 + x146 + x149 + x202 + x205 <= 8 e1808: 8 b27 + 8 b30 - x91 - x94 + x147 + x150 + x203 + x206 <= 8 e1809: 8 b27 + 8 b31 - x91 - x95 + x147 + x151 + x203 + x207 <= 8 e1810: 8 b28 + 8 b32 - x92 - x96 + x148 + x152 + x204 + x208 <= 8 e1811: 8 b29 + 8 b33 - x93 - x97 + x149 + x153 + x205 + x209 <= 8 e1812: 8 b30 + 8 b32 - x94 - x96 + x150 + x152 + x206 + x208 <= 8 e1813: 8 b31 + 8 b33 - x95 - x97 + x151 + x153 + x207 + x209 <= 8 e1814: 8 b32 + 8 b33 - x96 - x97 + x152 + x153 + x208 + x209 <= 8 e1815: 8 b34 + 8 b35 - x98 - x99 + x146 + x147 + x154 + x155 + x202 + x203 <= 8 e1816: 8 b34 + 8 b36 - x98 - x100 + x146 + x148 + x154 + x156 + x202 + x204 <= 8 e1817: 8 b34 + 8 b37 - x98 - x101 + x146 + x149 + x154 + x157 + x202 + x205 <= 8 e1818: 8 b35 + 8 b38 - x99 - x102 + x147 + x150 + x155 + x158 + x203 + x206 <= 8 e1819: 8 b35 + 8 b39 - x99 - x103 + x147 + x151 + x155 + x159 + x203 + x207 <= 8 e1820: 8 b36 + 8 b40 - x100 - x104 + x148 + x152 + x156 + x160 + x204 + x208 <= 8 e1821: 8 b37 + 8 b41 - x101 - x105 + x149 + x153 + x157 + x161 + x205 + x209 <= 8 e1822: 8 b38 + 8 b40 - x102 - x104 + x150 + x152 + x158 + x160 + x206 + x208 <= 8 e1823: 8 b39 + 8 b41 - x103 - x105 + x151 + x153 + x159 + x161 + x207 + x209 <= 8 e1824: 8 b40 + 8 b41 - x104 - x105 + x152 + x153 + x160 + x161 + x208 + x209 <= 8 e1825: 8 b42 + 8 b43 - x106 - x107 + x146 + x147 + x154 + x155 + x162 + x163 + x202 + x203 <= 8 e1826: 8 b42 + 8 b44 - x106 - x108 + x146 + x148 + x154 + x156 + x162 + x164 + x202 + x204 <= 8 e1827: 8 b42 + 8 b45 - x106 - x109 + x146 + x149 + x154 + x157 + x162 + x165 + x202 + x205 <= 8 e1828: 8 b43 + 8 b46 - x107 - x110 + x147 + x150 + x155 + x158 + x163 + x166 + x203 + x206 <= 8 e1829: 8 b43 + 8 b47 - x107 - x111 + x147 + x151 + x155 + x159 + x163 + x167 + x203 + x207 <= 8 e1830: 8 b44 + 8 b48 - x108 - x112 + x148 + x152 + x156 + x160 + x164 + x168 + x204 + x208 <= 8 e1831: 8 b45 + 8 b49 - x109 - x113 + x149 + x153 + x157 + x161 + x165 + x169 + x205 + x209 <= 8 e1832: 8 b46 + 8 b48 - x110 - x112 + x150 + x152 + x158 + x160 + x166 + x168 + x206 + x208 <= 8 e1833: 8 b47 + 8 b49 - x111 - x113 + x151 + x153 + x159 + x161 + x167 + x169 + x207 + x209 <= 8 e1834: 8 b48 + 8 b49 - x112 - x113 + x152 + x153 + x160 + x161 + x168 + x169 + x208 + x209 <= 8 e1835: 8 b50 + 8 b51 - x114 - x115 + x146 + x147 + x154 + x155 + x162 + x163 + x170 + x171 + x202 + x203 <= 8 e1836: 8 b50 + 8 b52 - x114 - x116 + x146 + x148 + x154 + x156 + x162 + x164 + x170 + x172 + x202 + x204 <= 8 e1837: 8 b50 + 8 b53 - x114 - x117 + x146 + x149 + x154 + x157 + x162 + x165 + x170 + x173 + x202 + x205 <= 8 e1838: 8 b51 + 8 b54 - x115 - x118 + x147 + x150 + x155 + x158 + x163 + x166 + x171 + x174 + x203 + x206 <= 8 e1839: 8 b51 + 8 b55 - x115 - x119 + x147 + x151 + x155 + x159 + x163 + x167 + x171 + x175 + x203 + x207 <= 8 e1840: 8 b52 + 8 b56 - x116 - x120 + x148 + x152 + x156 + x160 + x164 + x168 + x172 + x176 + x204 + x208 <= 8 e1841: 8 b53 + 8 b57 - x117 - x121 + x149 + x153 + x157 + x161 + x165 + x169 + x173 + x177 + x205 + x209 <= 8 e1842: 8 b54 + 8 b56 - x118 - x120 + x150 + x152 + x158 + x160 + x166 + x168 + x174 + x176 + x206 + x208 <= 8 e1843: 8 b55 + 8 b57 - x119 - x121 + x151 + x153 + x159 + x161 + x167 + x169 + x175 + x177 + x207 + x209 <= 8 e1844: 8 b56 + 8 b57 - x120 - x121 + x152 + x153 + x160 + x161 + x168 + x169 + x176 + x177 + x208 + x209 <= 8 e1845: 8 b58 + 8 b59 - x122 - x123 + x146 + x147 + x154 + x155 + x162 + x163 + x170 + x171 + x178 + x179 + x202 + x203 <= 8 e1846: 8 b58 + 8 b60 - x122 - x124 + x146 + x148 + x154 + x156 + x162 + x164 + x170 + x172 + x178 + x180 + x202 + x204 <= 8 e1847: 8 b58 + 8 b61 - x122 - x125 + x146 + x149 + x154 + x157 + x162 + x165 + x170 + x173 + x178 + x181 + x202 + x205 <= 8 e1848: 8 b59 + 8 b62 - x123 - x126 + x147 + x150 + x155 + x158 + x163 + x166 + x171 + x174 + x179 + x182 + x203 + x206 <= 8 e1849: 8 b59 + 8 b63 - x123 - x127 + x147 + x151 + x155 + x159 + x163 + x167 + x171 + x175 + x179 + x183 + x203 + x207 <= 8 e1850: 8 b60 + 8 b64 - x124 - x128 + x148 + x152 + x156 + x160 + x164 + x168 + x172 + x176 + x180 + x184 + x204 + x208 <= 8 e1851: 8 b61 + 8 b65 - x125 - x129 + x149 + x153 + x157 + x161 + x165 + x169 + x173 + x177 + x181 + x185 + x205 + x209 <= 8 e1852: 8 b62 + 8 b64 - x126 - x128 + x150 + x152 + x158 + x160 + x166 + x168 + x174 + x176 + x182 + x184 + x206 + x208 <= 8 e1853: 8 b63 + 8 b65 - x127 - x129 + x151 + x153 + x159 + x161 + x167 + x169 + x175 + x177 + x183 + x185 + x207 + x209 <= 8 e1854: 8 b64 + 8 b65 - x128 - x129 + x152 + x153 + x160 + x161 + x168 + x169 + x176 + x177 + x184 + x185 + x208 + x209 <= 8 e1855: 8 b26 + 8 b27 - x90 - x91 + x210 + x211 <= 8 e1856: 8 b26 + 8 b28 - x90 - x92 + x210 + x212 <= 8 e1857: 8 b26 + 8 b29 - x90 - x93 + x210 + x213 <= 8 e1858: 8 b27 + 8 b30 - x91 - x94 + x211 + x214 <= 8 e1859: 8 b27 + 8 b31 - x91 - x95 + x211 + x215 <= 8 e1860: 8 b28 + 8 b32 - x92 - x96 + x212 + x216 <= 8 e1861: 8 b29 + 8 b33 - x93 - x97 + x213 + x217 <= 8 e1862: 8 b30 + 8 b32 - x94 - x96 + x214 + x216 <= 8 e1863: 8 b31 + 8 b33 - x95 - x97 + x215 + x217 <= 8 e1864: 8 b32 + 8 b33 - x96 - x97 + x216 + x217 <= 8 e1865: 8 b34 + 8 b35 - x98 - x99 + x154 + x155 + x210 + x211 <= 8 e1866: 8 b34 + 8 b36 - x98 - x100 + x154 + x156 + x210 + x212 <= 8 e1867: 8 b34 + 8 b37 - x98 - x101 + x154 + x157 + x210 + x213 <= 8 e1868: 8 b35 + 8 b38 - x99 - x102 + x155 + x158 + x211 + x214 <= 8 e1869: 8 b35 + 8 b39 - x99 - x103 + x155 + x159 + x211 + x215 <= 8 e1870: 8 b36 + 8 b40 - x100 - x104 + x156 + x160 + x212 + x216 <= 8 e1871: 8 b37 + 8 b41 - x101 - x105 + x157 + x161 + x213 + x217 <= 8 e1872: 8 b38 + 8 b40 - x102 - x104 + x158 + x160 + x214 + x216 <= 8 e1873: 8 b39 + 8 b41 - x103 - x105 + x159 + x161 + x215 + x217 <= 8 e1874: 8 b40 + 8 b41 - x104 - x105 + x160 + x161 + x216 + x217 <= 8 e1875: 8 b42 + 8 b43 - x106 - x107 + x154 + x155 + x162 + x163 + x210 + x211 <= 8 e1876: 8 b42 + 8 b44 - x106 - x108 + x154 + x156 + x162 + x164 + x210 + x212 <= 8 e1877: 8 b42 + 8 b45 - x106 - x109 + x154 + x157 + x162 + x165 + x210 + x213 <= 8 e1878: 8 b43 + 8 b46 - x107 - x110 + x155 + x158 + x163 + x166 + x211 + x214 <= 8 e1879: 8 b43 + 8 b47 - x107 - x111 + x155 + x159 + x163 + x167 + x211 + x215 <= 8 e1880: 8 b44 + 8 b48 - x108 - x112 + x156 + x160 + x164 + x168 + x212 + x216 <= 8 e1881: 8 b45 + 8 b49 - x109 - x113 + x157 + x161 + x165 + x169 + x213 + x217 <= 8 e1882: 8 b46 + 8 b48 - x110 - x112 + x158 + x160 + x166 + x168 + x214 + x216 <= 8 e1883: 8 b47 + 8 b49 - x111 - x113 + x159 + x161 + x167 + x169 + x215 + x217 <= 8 e1884: 8 b48 + 8 b49 - x112 - x113 + x160 + x161 + x168 + x169 + x216 + x217 <= 8 e1885: 8 b50 + 8 b51 - x114 - x115 + x154 + x155 + x162 + x163 + x170 + x171 + x210 + x211 <= 8 e1886: 8 b50 + 8 b52 - x114 - x116 + x154 + x156 + x162 + x164 + x170 + x172 + x210 + x212 <= 8 e1887: 8 b50 + 8 b53 - x114 - x117 + x154 + x157 + x162 + x165 + x170 + x173 + x210 + x213 <= 8 e1888: 8 b51 + 8 b54 - x115 - x118 + x155 + x158 + x163 + x166 + x171 + x174 + x211 + x214 <= 8 e1889: 8 b51 + 8 b55 - x115 - x119 + x155 + x159 + x163 + x167 + x171 + x175 + x211 + x215 <= 8 e1890: 8 b52 + 8 b56 - x116 - x120 + x156 + x160 + x164 + x168 + x172 + x176 + x212 + x216 <= 8 e1891: 8 b53 + 8 b57 - x117 - x121 + x157 + x161 + x165 + x169 + x173 + x177 + x213 + x217 <= 8 e1892: 8 b54 + 8 b56 - x118 - x120 + x158 + x160 + x166 + x168 + x174 + x176 + x214 + x216 <= 8 e1893: 8 b55 + 8 b57 - x119 - x121 + x159 + x161 + x167 + x169 + x175 + x177 + x215 + x217 <= 8 e1894: 8 b56 + 8 b57 - x120 - x121 + x160 + x161 + x168 + x169 + x176 + x177 + x216 + x217 <= 8 e1895: 8 b58 + 8 b59 - x122 - x123 + x154 + x155 + x162 + x163 + x170 + x171 + x178 + x179 + x210 + x211 <= 8 e1896: 8 b58 + 8 b60 - x122 - x124 + x154 + x156 + x162 + x164 + x170 + x172 + x178 + x180 + x210 + x212 <= 8 e1897: 8 b58 + 8 b61 - x122 - x125 + x154 + x157 + x162 + x165 + x170 + x173 + x178 + x181 + x210 + x213 <= 8 e1898: 8 b59 + 8 b62 - x123 - x126 + x155 + x158 + x163 + x166 + x171 + x174 + x179 + x182 + x211 + x214 <= 8 e1899: 8 b59 + 8 b63 - x123 - x127 + x155 + x159 + x163 + x167 + x171 + x175 + x179 + x183 + x211 + x215 <= 8 e1900: 8 b60 + 8 b64 - x124 - x128 + x156 + x160 + x164 + x168 + x172 + x176 + x180 + x184 + x212 + x216 <= 8 e1901: 8 b61 + 8 b65 - x125 - x129 + x157 + x161 + x165 + x169 + x173 + x177 + x181 + x185 + x213 + x217 <= 8 e1902: 8 b62 + 8 b64 - x126 - x128 + x158 + x160 + x166 + x168 + x174 + x176 + x182 + x184 + x214 + x216 <= 8 e1903: 8 b63 + 8 b65 - x127 - x129 + x159 + x161 + x167 + x169 + x175 + x177 + x183 + x185 + x215 + x217 <= 8 e1904: 8 b64 + 8 b65 - x128 - x129 + x160 + x161 + x168 + x169 + x176 + x177 + x184 + x185 + x216 + x217 <= 8 e1905: 8 b34 + 8 b35 - x98 - x99 + x218 + x219 <= 8 e1906: 8 b34 + 8 b36 - x98 - x100 + x218 + x220 <= 8 e1907: 8 b34 + 8 b37 - x98 - x101 + x218 + x221 <= 8 e1908: 8 b35 + 8 b38 - x99 - x102 + x219 + x222 <= 8 e1909: 8 b35 + 8 b39 - x99 - x103 + x219 + x223 <= 8 e1910: 8 b36 + 8 b40 - x100 - x104 + x220 + x224 <= 8 e1911: 8 b37 + 8 b41 - x101 - x105 + x221 + x225 <= 8 e1912: 8 b38 + 8 b40 - x102 - x104 + x222 + x224 <= 8 e1913: 8 b39 + 8 b41 - x103 - x105 + x223 + x225 <= 8 e1914: 8 b40 + 8 b41 - x104 - x105 + x224 + x225 <= 8 e1915: 8 b42 + 8 b43 - x106 - x107 + x162 + x163 + x218 + x219 <= 8 e1916: 8 b42 + 8 b44 - x106 - x108 + x162 + x164 + x218 + x220 <= 8 e1917: 8 b42 + 8 b45 - x106 - x109 + x162 + x165 + x218 + x221 <= 8 e1918: 8 b43 + 8 b46 - x107 - x110 + x163 + x166 + x219 + x222 <= 8 e1919: 8 b43 + 8 b47 - x107 - x111 + x163 + x167 + x219 + x223 <= 8 e1920: 8 b44 + 8 b48 - x108 - x112 + x164 + x168 + x220 + x224 <= 8 e1921: 8 b45 + 8 b49 - x109 - x113 + x165 + x169 + x221 + x225 <= 8 e1922: 8 b46 + 8 b48 - x110 - x112 + x166 + x168 + x222 + x224 <= 8 e1923: 8 b47 + 8 b49 - x111 - x113 + x167 + x169 + x223 + x225 <= 8 e1924: 8 b48 + 8 b49 - x112 - x113 + x168 + x169 + x224 + x225 <= 8 e1925: 8 b50 + 8 b51 - x114 - x115 + x162 + x163 + x170 + x171 + x218 + x219 <= 8 e1926: 8 b50 + 8 b52 - x114 - x116 + x162 + x164 + x170 + x172 + x218 + x220 <= 8 e1927: 8 b50 + 8 b53 - x114 - x117 + x162 + x165 + x170 + x173 + x218 + x221 <= 8 e1928: 8 b51 + 8 b54 - x115 - x118 + x163 + x166 + x171 + x174 + x219 + x222 <= 8 e1929: 8 b51 + 8 b55 - x115 - x119 + x163 + x167 + x171 + x175 + x219 + x223 <= 8 e1930: 8 b52 + 8 b56 - x116 - x120 + x164 + x168 + x172 + x176 + x220 + x224 <= 8 e1931: 8 b53 + 8 b57 - x117 - x121 + x165 + x169 + x173 + x177 + x221 + x225 <= 8 e1932: 8 b54 + 8 b56 - x118 - x120 + x166 + x168 + x174 + x176 + x222 + x224 <= 8 e1933: 8 b55 + 8 b57 - x119 - x121 + x167 + x169 + x175 + x177 + x223 + x225 <= 8 e1934: 8 b56 + 8 b57 - x120 - x121 + x168 + x169 + x176 + x177 + x224 + x225 <= 8 e1935: 8 b58 + 8 b59 - x122 - x123 + x162 + x163 + x170 + x171 + x178 + x179 + x218 + x219 <= 8 e1936: 8 b58 + 8 b60 - x122 - x124 + x162 + x164 + x170 + x172 + x178 + x180 + x218 + x220 <= 8 e1937: 8 b58 + 8 b61 - x122 - x125 + x162 + x165 + x170 + x173 + x178 + x181 + x218 + x221 <= 8 e1938: 8 b59 + 8 b62 - x123 - x126 + x163 + x166 + x171 + x174 + x179 + x182 + x219 + x222 <= 8 e1939: 8 b59 + 8 b63 - x123 - x127 + x163 + x167 + x171 + x175 + x179 + x183 + x219 + x223 <= 8 e1940: 8 b60 + 8 b64 - x124 - x128 + x164 + x168 + x172 + x176 + x180 + x184 + x220 + x224 <= 8 e1941: 8 b61 + 8 b65 - x125 - x129 + x165 + x169 + x173 + x177 + x181 + x185 + x221 + x225 <= 8 e1942: 8 b62 + 8 b64 - x126 - x128 + x166 + x168 + x174 + x176 + x182 + x184 + x222 + x224 <= 8 e1943: 8 b63 + 8 b65 - x127 - x129 + x167 + x169 + x175 + x177 + x183 + x185 + x223 + x225 <= 8 e1944: 8 b64 + 8 b65 - x128 - x129 + x168 + x169 + x176 + x177 + x184 + x185 + x224 + x225 <= 8 e1945: 8 b42 + 8 b43 - x106 - x107 + x226 + x227 <= 8 e1946: 8 b42 + 8 b44 - x106 - x108 + x226 + x228 <= 8 e1947: 8 b42 + 8 b45 - x106 - x109 + x226 + x229 <= 8 e1948: 8 b43 + 8 b46 - x107 - x110 + x227 + x230 <= 8 e1949: 8 b43 + 8 b47 - x107 - x111 + x227 + x231 <= 8 e1950: 8 b44 + 8 b48 - x108 - x112 + x228 + x232 <= 8 e1951: 8 b45 + 8 b49 - x109 - x113 + x229 + x233 <= 8 e1952: 8 b46 + 8 b48 - x110 - x112 + x230 + x232 <= 8 e1953: 8 b47 + 8 b49 - x111 - x113 + x231 + x233 <= 8 e1954: 8 b48 + 8 b49 - x112 - x113 + x232 + x233 <= 8 e1955: 8 b50 + 8 b51 - x114 - x115 + x170 + x171 + x226 + x227 <= 8 e1956: 8 b50 + 8 b52 - x114 - x116 + x170 + x172 + x226 + x228 <= 8 e1957: 8 b50 + 8 b53 - x114 - x117 + x170 + x173 + x226 + x229 <= 8 e1958: 8 b51 + 8 b54 - x115 - x118 + x171 + x174 + x227 + x230 <= 8 e1959: 8 b51 + 8 b55 - x115 - x119 + x171 + x175 + x227 + x231 <= 8 e1960: 8 b52 + 8 b56 - x116 - x120 + x172 + x176 + x228 + x232 <= 8 e1961: 8 b53 + 8 b57 - x117 - x121 + x173 + x177 + x229 + x233 <= 8 e1962: 8 b54 + 8 b56 - x118 - x120 + x174 + x176 + x230 + x232 <= 8 e1963: 8 b55 + 8 b57 - x119 - x121 + x175 + x177 + x231 + x233 <= 8 e1964: 8 b56 + 8 b57 - x120 - x121 + x176 + x177 + x232 + x233 <= 8 e1965: 8 b58 + 8 b59 - x122 - x123 + x170 + x171 + x178 + x179 + x226 + x227 <= 8 e1966: 8 b58 + 8 b60 - x122 - x124 + x170 + x172 + x178 + x180 + x226 + x228 <= 8 e1967: 8 b58 + 8 b61 - x122 - x125 + x170 + x173 + x178 + x181 + x226 + x229 <= 8 e1968: 8 b59 + 8 b62 - x123 - x126 + x171 + x174 + x179 + x182 + x227 + x230 <= 8 e1969: 8 b59 + 8 b63 - x123 - x127 + x171 + x175 + x179 + x183 + x227 + x231 <= 8 e1970: 8 b60 + 8 b64 - x124 - x128 + x172 + x176 + x180 + x184 + x228 + x232 <= 8 e1971: 8 b61 + 8 b65 - x125 - x129 + x173 + x177 + x181 + x185 + x229 + x233 <= 8 e1972: 8 b62 + 8 b64 - x126 - x128 + x174 + x176 + x182 + x184 + x230 + x232 <= 8 e1973: 8 b63 + 8 b65 - x127 - x129 + x175 + x177 + x183 + x185 + x231 + x233 <= 8 e1974: 8 b64 + 8 b65 - x128 - x129 + x176 + x177 + x184 + x185 + x232 + x233 <= 8 e1975: 8 b50 + 8 b51 - x114 - x115 + x234 + x235 <= 8 e1976: 8 b50 + 8 b52 - x114 - x116 + x234 + x236 <= 8 e1977: 8 b50 + 8 b53 - x114 - x117 + x234 + x237 <= 8 e1978: 8 b51 + 8 b54 - x115 - x118 + x235 + x238 <= 8 e1979: 8 b51 + 8 b55 - x115 - x119 + x235 + x239 <= 8 e1980: 8 b52 + 8 b56 - x116 - x120 + x236 + x240 <= 8 e1981: 8 b53 + 8 b57 - x117 - x121 + x237 + x241 <= 8 e1982: 8 b54 + 8 b56 - x118 - x120 + x238 + x240 <= 8 e1983: 8 b55 + 8 b57 - x119 - x121 + x239 + x241 <= 8 e1984: 8 b56 + 8 b57 - x120 - x121 + x240 + x241 <= 8 e1985: 8 b58 + 8 b59 - x122 - x123 + x178 + x179 + x234 + x235 <= 8 e1986: 8 b58 + 8 b60 - x122 - x124 + x178 + x180 + x234 + x236 <= 8 e1987: 8 b58 + 8 b61 - x122 - x125 + x178 + x181 + x234 + x237 <= 8 e1988: 8 b59 + 8 b62 - x123 - x126 + x179 + x182 + x235 + x238 <= 8 e1989: 8 b59 + 8 b63 - x123 - x127 + x179 + x183 + x235 + x239 <= 8 e1990: 8 b60 + 8 b64 - x124 - x128 + x180 + x184 + x236 + x240 <= 8 e1991: 8 b61 + 8 b65 - x125 - x129 + x181 + x185 + x237 + x241 <= 8 e1992: 8 b62 + 8 b64 - x126 - x128 + x182 + x184 + x238 + x240 <= 8 e1993: 8 b63 + 8 b65 - x127 - x129 + x183 + x185 + x239 + x241 <= 8 e1994: 8 b64 + 8 b65 - x128 - x129 + x184 + x185 + x240 + x241 <= 8 e1995: 8 b58 + 8 b59 - x122 - x123 + x242 + x243 <= 8 e1996: 8 b58 + 8 b60 - x122 - x124 + x242 + x244 <= 8 e1997: 8 b58 + 8 b61 - x122 - x125 + x242 + x245 <= 8 e1998: 8 b59 + 8 b62 - x123 - x126 + x243 + x246 <= 8 e1999: 8 b59 + 8 b63 - x123 - x127 + x243 + x247 <= 8 e2000: 8 b60 + 8 b64 - x124 - x128 + x244 + x248 <= 8 e2001: 8 b61 + 8 b65 - x125 - x129 + x245 + x249 <= 8 e2002: 8 b62 + 8 b64 - x126 - x128 + x246 + x248 <= 8 e2003: 8 b63 + 8 b65 - x127 - x129 + x247 + x249 <= 8 e2004: 8 b64 + 8 b65 - x128 - x129 + x248 + x249 <= 8 e2005: - b3 - b4 - b5 + b10 <= 0 e2006: - b2 - b6 - b7 + b11 <= 0 e2007: - b2 - b8 + b12 <= 0 e2008: - b2 - b9 + b13 <= 0 e2009: - b3 - b8 + b14 <= 0 e2010: - b3 - b9 + b15 <= 0 e2011: - b4 - b6 - b9 + b16 <= 0 e2012: - b5 - b7 - b8 + b17 <= 0 e2013: - b11 - b12 - b13 + b18 <= 0 e2014: - b10 - b14 - b15 + b19 <= 0 e2015: - b10 - b16 + b20 <= 0 e2016: - b10 - b17 + b21 <= 0 e2017: - b11 - b16 + b22 <= 0 e2018: - b11 - b17 + b23 <= 0 e2019: - b12 - b14 - b17 + b24 <= 0 e2020: - b13 - b15 - b16 + b25 <= 0 e2021: - b19 - b20 - b21 + b26 <= 0 e2022: - b18 - b22 - b23 + b27 <= 0 e2023: - b18 - b24 + b28 <= 0 e2024: - b18 - b25 + b29 <= 0 e2025: - b19 - b24 + b30 <= 0 e2026: - b19 - b25 + b31 <= 0 e2027: - b20 - b22 - b25 + b32 <= 0 e2028: - b21 - b23 - b24 + b33 <= 0 e2029: - b27 - b28 - b29 + b34 <= 0 e2030: - b26 - b30 - b31 + b35 <= 0 e2031: - b26 - b32 + b36 <= 0 e2032: - b26 - b33 + b37 <= 0 e2033: - b27 - b32 + b38 <= 0 e2034: - b27 - b33 + b39 <= 0 e2035: - b28 - b30 - b33 + b40 <= 0 e2036: - b29 - b31 - b32 + b41 <= 0 e2037: - b35 - b36 - b37 + b42 <= 0 e2038: - b34 - b38 - b39 + b43 <= 0 e2039: - b34 - b40 + b44 <= 0 e2040: - b34 - b41 + b45 <= 0 e2041: - b35 - b40 + b46 <= 0 e2042: - b35 - b41 + b47 <= 0 e2043: - b36 - b38 - b41 + b48 <= 0 e2044: - b37 - b39 - b40 + b49 <= 0 e2045: - b43 - b44 - b45 + b50 <= 0 e2046: - b42 - b46 - b47 + b51 <= 0 e2047: - b42 - b48 + b52 <= 0 e2048: - b42 - b49 + b53 <= 0 e2049: - b43 - b48 + b54 <= 0 e2050: - b43 - b49 + b55 <= 0 e2051: - b44 - b46 - b49 + b56 <= 0 e2052: - b45 - b47 - b48 + b57 <= 0 e2053: - b51 - b52 - b53 + b58 <= 0 e2054: - b50 - b54 - b55 + b59 <= 0 e2055: - b50 - b56 + b60 <= 0 e2056: - b50 - b57 + b61 <= 0 e2057: - b51 - b56 + b62 <= 0 e2058: - b51 - b57 + b63 <= 0 e2059: - b52 - b54 - b57 + b64 <= 0 e2060: - b53 - b55 - b56 + b65 <= 0 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 End