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