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