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