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