\ 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