\ Equation counts \ Total E G L N X C B \ 437 256 60 121 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1140 1080 60 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4260 4080 180 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 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 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 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 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 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 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 1.152432865 b961 + 3.011993167 b962 + 2.960375281 b963 + 1.736309608 b964 + 1.152432865 b965 + 2.363195782 b966 + 2.05937716 b967 + 3.985025335 b968 + 3.789003172 b969 + 2.363195782 b970 + 3.921012982 b971 + 3.156380512 b972 + 2.415793864 b973 + 3.011993167 b974 + 2.05937716 b975 + 1.163363584 b976 + 2.330956801 b977 + 1.29144937 b978 + 3.761674897 b979 + 2.960375281 b980 + 2.330956801 b981 + 1.396790695 b982 + 3.628673512 b983 + 1.993672117 b984 + 3.921012982 b985 + 2.05780087 b986 + 2.23064791 b987 + 3.156380512 b988 + 1.396790695 b989 + 3.35525266 b990 + 1.976382727 b991 + 1.29144937 b992 + 1.840522939 b993 + 3.337820236 b994 + 3.628673512 b995 + 1.155800743 b996 + 1.736309608 b997 + 1.840522939 b998 + 1.155800743 b999 + 3.496770256 b1000 + 2.415793864 b1001 + 2.05780087 b1002 + 2.059284631 b1003 + 3.35525266 b1004 + 2.059284631 b1005 + 2.534210494 b1006 + 3.985025335 b1007 + 1.163363584 b1008 + 2.23064791 b1009 + 3.496770256 b1010 + 1.025018077 b1011 + 3.789003172 b1012 + 1.993672117 b1013 + 3.337820236 b1014 + 2.534210494 b1015 + 1.025018077 b1016 + 1.757500525 b1017 + 3.761674897 b1018 + 1.976382727 b1019 + 1.757500525 b1020 + 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 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 Subject To e2: - x1 - x17 - x33 - x49 + x65 + x209 + x305 + x577 = -222 e3: - x2 - x18 - x34 - x50 + x66 + x210 + x306 + x578 = 25 e4: - x3 - x19 - x35 - x51 + x67 + x211 + x307 + x579 = 12 e5: - x4 - x20 - x36 - x52 + x68 + x212 + x308 + x580 = 21 e6: - x5 - x21 - x37 - x53 + x69 + x213 + x309 + x581 = 25 e7: - x6 - x22 - x38 - x54 + x70 + x214 + x310 + x582 = 13 e8: - x7 - x23 - x39 - x55 + x71 + x215 + x311 + x583 = 17 e9: - x8 - x24 - x40 - x56 + x72 + x216 + x312 + x584 = 11 e10: - x9 - x25 - x41 - x57 + x73 + x217 + x313 + x585 = 22 e11: - x10 - x26 - x42 - x58 + x74 + x218 + x314 + x586 = 15 e12: - x11 - x27 - x43 - x59 + x75 + x219 + x315 + x587 = 16 e13: - x12 - x28 - x44 - x60 + x76 + x220 + x316 + x588 = 8 e14: - x13 - x29 - x45 - x61 + x77 + x221 + x317 + x589 = 13 e15: - x14 - x30 - x46 - x62 + x78 + x222 + x318 + x590 = 21 e16: - x15 - x31 - x47 - x63 + x79 + x223 + x319 + x591 = 22 e17: - x16 - x32 - x48 - x64 + x80 + x224 + x320 + x592 = 16 e18: x1 - x65 - x81 - x97 - x113 - x129 + x145 + x225 + x737 + x817 = 19 e19: x2 - x66 - x82 - x98 - x114 - x130 + x146 + x226 + x738 + x818 = -215 e20: x3 - x67 - x83 - x99 - x115 - x131 + x147 + x227 + x739 + x819 = 15 e21: x4 - x68 - x84 - x100 - x116 - x132 + x148 + x228 + x740 + x820 = 16 e22: x5 - x69 - x85 - x101 - x117 - x133 + x149 + x229 + x741 + x821 = 14 e23: x6 - x70 - x86 - x102 - x118 - x134 + x150 + x230 + x742 + x822 = 17 e24: x7 - x71 - x87 - x103 - x119 - x135 + x151 + x231 + x743 + x823 = 14 e25: x8 - x72 - x88 - x104 - x120 - x136 + x152 + x232 + x744 + x824 = 5 e26: x9 - x73 - x89 - x105 - x121 - x137 + x153 + x233 + x745 + x825 = 10 e27: x10 - x74 - x90 - x106 - x122 - x138 + x154 + x234 + x746 + x826 = 5 e28: x11 - x75 - x91 - x107 - x123 - x139 + x155 + x235 + x747 + x827 = 11 e29: x12 - x76 - x92 - x108 - x124 - x140 + x156 + x236 + x748 + x828 = 13 e30: x13 - x77 - x93 - x109 - x125 - x141 + x157 + x237 + x749 + x829 = 19 e31: x14 - x78 - x94 - x110 - x126 - x142 + x158 + x238 + x750 + x830 = 9 e32: x15 - x79 - x95 - x111 - x127 - x143 + x159 + x239 + x751 + x831 = 8 e33: x16 - x80 - x96 - x112 - x128 - x144 + x160 + x240 + x752 + x832 = 10 e34: x81 - x145 - x161 - x177 - x193 + x385 + x433 + x641 = 9 e35: x82 - x146 - x162 - x178 - x194 + x386 + x434 + x642 = 8 e36: x83 - x147 - x163 - x179 - x195 + x387 + x435 + x643 = -227 e37: x84 - x148 - x164 - x180 - x196 + x388 + x436 + x644 = 16 e38: x85 - x149 - x165 - x181 - x197 + x389 + x437 + x645 = 23 e39: x86 - x150 - x166 - x182 - x198 + x390 + x438 + x646 = 6 e40: x87 - x151 - x167 - x183 - x199 + x391 + x439 + x647 = 11 e41: x88 - x152 - x168 - x184 - x200 + x392 + x440 + x648 = 11 e42: x89 - x153 - x169 - x185 - x201 + x393 + x441 + x649 = 11 e43: x90 - x154 - x170 - x186 - x202 + x394 + x442 + x650 = 21 e44: x91 - x155 - x171 - x187 - x203 + x395 + x443 + x651 = 11 e45: x92 - x156 - x172 - x188 - x204 + x396 + x444 + x652 = 9 e46: x93 - x157 - x173 - x189 - x205 + x397 + x445 + x653 = 15 e47: x94 - x158 - x174 - x190 - x206 + x398 + x446 + x654 = 13 e48: x95 - x159 - x175 - x191 - x207 + x399 + x447 + x655 = 9 e49: x96 - x160 - x176 - x192 - x208 + x400 + x448 + x656 = 13 e50: x17 + x97 - x209 - x225 - x241 + x753 = 19 e51: x18 + x98 - x210 - x226 - x242 + x754 = 13 e52: x19 + x99 - x211 - x227 - x243 + x755 = 14 e53: x20 + x100 - x212 - x228 - x244 + x756 = -256 e54: x21 + x101 - x213 - x229 - x245 + x757 = 12 e55: x22 + x102 - x214 - x230 - x246 + x758 = 18 e56: x23 + x103 - x215 - x231 - x247 + x759 = 12 e57: x24 + x104 - x216 - x232 - x248 + x760 = 12 e58: x25 + x105 - x217 - x233 - x249 + x761 = 20 e59: x26 + x106 - x218 - x234 - x250 + x762 = 9 e60: x27 + x107 - x219 - x235 - x251 + x763 = 22 e61: x28 + x108 - x220 - x236 - x252 + x764 = 6 e62: x29 + x109 - x221 - x237 - x253 + x765 = 24 e63: x30 + x110 - x222 - x238 - x254 + x766 = 16 e64: x31 + x111 - x223 - x239 - x255 + x767 = 20 e65: x32 + x112 - x224 - x240 - x256 + x768 = 18 e66: - x257 - x273 - x289 + x321 + x497 + x913 = 18 e67: - x258 - x274 - x290 + x322 + x498 + x914 = 5 e68: - x259 - x275 - x291 + x323 + x499 + x915 = 17 e69: - x260 - x276 - x292 + x324 + x500 + x916 = 24 e70: - x261 - x277 - x293 + x325 + x501 + x917 = -259 e71: - x262 - x278 - x294 + x326 + x502 + x918 = 21 e72: - x263 - x279 - x295 + x327 + x503 + x919 = 7 e73: - x264 - x280 - x296 + x328 + x504 + x920 = 23 e74: - x265 - x281 - x297 + x329 + x505 + x921 = 10 e75: - x266 - x282 - x298 + x330 + x506 + x922 = 12 e76: - x267 - x283 - x299 + x331 + x507 + x923 = 20 e77: - x268 - x284 - x300 + x332 + x508 + x924 = 19 e78: - x269 - x285 - x301 + x333 + x509 + x925 = 13 e79: - x270 - x286 - x302 + x334 + x510 + x926 = 7 e80: - x271 - x287 - x303 + x335 + x511 + x927 = 19 e81: - x272 - x288 - x304 + x336 + x512 + x928 = 12 e82: x33 + x257 - x305 - x321 - x337 - x353 - x369 + x449 + x545 + x833 = 10 e83: x34 + x258 - x306 - x322 - x338 - x354 - x370 + x450 + x546 + x834 = 8 e84: x35 + x259 - x307 - x323 - x339 - x355 - x371 + x451 + x547 + x835 = 23 e85: x36 + x260 - x308 - x324 - x340 - x356 - x372 + x452 + x548 + x836 = 24 e86: x37 + x261 - x309 - x325 - x341 - x357 - x373 + x453 + x549 + x837 = 14 e87: x38 + x262 - x310 - x326 - x342 - x358 - x374 + x454 + x550 + x838 = -242 e88: x39 + x263 - x311 - x327 - x343 - x359 - x375 + x455 + x551 + x839 = 16 e89: x40 + x264 - x312 - x328 - x344 - x360 - x376 + x456 + x552 + x840 = 9 e90: x41 + x265 - x313 - x329 - x345 - x361 - x377 + x457 + x553 + x841 = 22 e91: x42 + x266 - x314 - x330 - x346 - x362 - x378 + x458 + x554 + x842 = 16 e92: x43 + x267 - x315 - x331 - x347 - x363 - x379 + x459 + x555 + x843 = 16 e93: x44 + x268 - x316 - x332 - x348 - x364 - x380 + x460 + x556 + x844 = 14 e94: x45 + x269 - x317 - x333 - x349 - x365 - x381 + x461 + x557 + x845 = 14 e95: x46 + x270 - x318 - x334 - x350 - x366 - x382 + x462 + x558 + x846 = 6 e96: x47 + x271 - x319 - x335 - x351 - x367 - x383 + x463 + x559 + x847 = 14 e97: x48 + x272 - x320 - x336 - x352 - x368 - x384 + x464 + x560 + x848 = 21 e98: x161 - x385 - x401 - x417 + x657 + x769 = 10 e99: x162 - x386 - x402 - x418 + x658 + x770 = 8 e100: x163 - x387 - x403 - x419 + x659 + x771 = 21 e101: x164 - x388 - x404 - x420 + x660 + x772 = 19 e102: x165 - x389 - x405 - x421 + x661 + x773 = 23 e103: x166 - x390 - x406 - x422 + x662 + x774 = 23 e104: x167 - x391 - x407 - x423 + x663 + x775 = -182 e105: x168 - x392 - x408 - x424 + x664 + x776 = 19 e106: x169 - x393 - x409 - x425 + x665 + x777 = 16 e107: x170 - x394 - x410 - x426 + x666 + x778 = 16 e108: x171 - x395 - x411 - x427 + x667 + x779 = 12 e109: x172 - x396 - x412 - x428 + x668 + x780 = 11 e110: x173 - x397 - x413 - x429 + x669 + x781 = 20 e111: x174 - x398 - x414 - x430 + x670 + x782 = 6 e112: x175 - x399 - x415 - x431 + x671 + x783 = 19 e113: x176 - x400 - x416 - x432 + x672 + x784 = 22 e114: x177 + x337 - x433 - x449 - x465 - x481 + x689 + x929 = 15 e115: x178 + x338 - x434 - x450 - x466 - x482 + x690 + x930 = 19 e116: x179 + x339 - x435 - x451 - x467 - x483 + x691 + x931 = 15 e117: x180 + x340 - x436 - x452 - x468 - x484 + x692 + x932 = 9 e118: x181 + x341 - x437 - x453 - x469 - x485 + x693 + x933 = 22 e119: x182 + x342 - x438 - x454 - x470 - x486 + x694 + x934 = 16 e120: x183 + x343 - x439 - x455 - x471 - x487 + x695 + x935 = 9 e121: x184 + x344 - x440 - x456 - x472 - x488 + x696 + x936 = -215 e122: x185 + x345 - x441 - x457 - x473 - x489 + x697 + x937 = 12 e123: x186 + x346 - x442 - x458 - x474 - x490 + x698 + x938 = 7 e124: x187 + x347 - x443 - x459 - x475 - x491 + x699 + x939 = 14 e125: x188 + x348 - x444 - x460 - x476 - x492 + x700 + x940 = 14 e126: x189 + x349 - x445 - x461 - x477 - x493 + x701 + x941 = 14 e127: x190 + x350 - x446 - x462 - x478 - x494 + x702 + x942 = 11 e128: x191 + x351 - x447 - x463 - x479 - x495 + x703 + x943 = 20 e129: x192 + x352 - x448 - x464 - x480 - x496 + x704 + x944 = 25 e130: x273 - x497 - x513 - x529 + x593 + x849 = 22 e131: x274 - x498 - x514 - x530 + x594 + x850 = 22 e132: x275 - x499 - x515 - x531 + x595 + x851 = 13 e133: x276 - x500 - x516 - x532 + x596 + x852 = 6 e134: x277 - x501 - x517 - x533 + x597 + x853 = 23 e135: x278 - x502 - x518 - x534 + x598 + x854 = 11 e136: x279 - x503 - x519 - x535 + x599 + x855 = 18 e137: x280 - x504 - x520 - x536 + x600 + x856 = 23 e138: x281 - x505 - x521 - x537 + x601 + x857 = -216 e139: x282 - x506 - x522 - x538 + x602 + x858 = 9 e140: x283 - x507 - x523 - x539 + x603 + x859 = 17 e141: x284 - x508 - x524 - x540 + x604 + x860 = 20 e142: x285 - x509 - x525 - x541 + x605 + x861 = 19 e143: x286 - x510 - x526 - x542 + x606 + x862 = 9 e144: x287 - x511 - x527 - x543 + x607 + x863 = 14 e145: x288 - x512 - x528 - x544 + x608 + x864 = 18 e146: x353 - x545 - x561 + x609 = 18 e147: x354 - x546 - x562 + x610 = 15 e148: x355 - x547 - x563 + x611 = 15 e149: x356 - x548 - x564 + x612 = 23 e150: x357 - x549 - x565 + x613 = 11 e151: x358 - x550 - x566 + x614 = 21 e152: x359 - x551 - x567 + x615 = 8 e153: x360 - x552 - x568 + x616 = 10 e154: x361 - x553 - x569 + x617 = 16 e155: x362 - x554 - x570 + x618 = -1.8e2 e156: x363 - x555 - x571 + x619 = 12 e157: x364 - x556 - x572 + x620 = 9 e158: x365 - x557 - x573 + x621 = 8 e159: x366 - x558 - x574 + x622 = 5 e160: x367 - x559 - x575 + x623 = 16 e161: x368 - x560 - x576 + x624 = 8 e162: x49 + x513 + x561 - x577 - x593 - x609 - x625 + x785 = 8 e163: x50 + x514 + x562 - x578 - x594 - x610 - x626 + x786 = 22 e164: x51 + x515 + x563 - x579 - x595 - x611 - x627 + x787 = 8 e165: x52 + x516 + x564 - x580 - x596 - x612 - x628 + x788 = 20 e166: x53 + x517 + x565 - x581 - x597 - x613 - x629 + x789 = 14 e167: x54 + x518 + x566 - x582 - x598 - x614 - x630 + x790 = 20 e168: x55 + x519 + x567 - x583 - x599 - x615 - x631 + x791 = 15 e169: x56 + x520 + x568 - x584 - x600 - x616 - x632 + x792 = 13 e170: x57 + x521 + x569 - x585 - x601 - x617 - x633 + x793 = 22 e171: x58 + x522 + x570 - x586 - x602 - x618 - x634 + x794 = 9 e172: x59 + x523 + x571 - x587 - x603 - x619 - x635 + x795 = -203 e173: x60 + x524 + x572 - x588 - x604 - x620 - x636 + x796 = 9 e174: x61 + x525 + x573 - x589 - x605 - x621 - x637 + x797 = 7 e175: x62 + x526 + x574 - x590 - x606 - x622 - x638 + x798 = 17 e176: x63 + x527 + x575 - x591 - x607 - x623 - x639 + x799 = 23 e177: x64 + x528 + x576 - x592 - x608 - x624 - x640 + x800 = 13 e178: x193 + x401 - x641 - x657 - x673 + x705 = 7 e179: x194 + x402 - x642 - x658 - x674 + x706 = 8 e180: x195 + x403 - x643 - x659 - x675 + x707 = 12 e181: x196 + x404 - x644 - x660 - x676 + x708 = 19 e182: x197 + x405 - x645 - x661 - x677 + x709 = 20 e183: x198 + x406 - x646 - x662 - x678 + x710 = 18 e184: x199 + x407 - x647 - x663 - x679 + x711 = 7 e185: x200 + x408 - x648 - x664 - x680 + x712 = 13 e186: x201 + x409 - x649 - x665 - x681 + x713 = 13 e187: x202 + x410 - x650 - x666 - x682 + x714 = 15 e188: x203 + x411 - x651 - x667 - x683 + x715 = 8 e189: x204 + x412 - x652 - x668 - x684 + x716 = -214 e190: x205 + x413 - x653 - x669 - x685 + x717 = 18 e191: x206 + x414 - x654 - x670 - x686 + x718 = 25 e192: x207 + x415 - x655 - x671 - x687 + x719 = 12 e193: x208 + x416 - x656 - x672 - x688 + x720 = 8 e194: x465 + x673 - x689 - x705 - x721 + x865 = 22 e195: x466 + x674 - x690 - x706 - x722 + x866 = 11 e196: x467 + x675 - x691 - x707 - x723 + x867 = 25 e197: x468 + x676 - x692 - x708 - x724 + x868 = 17 e198: x469 + x677 - x693 - x709 - x725 + x869 = 14 e199: x470 + x678 - x694 - x710 - x726 + x870 = 17 e200: x471 + x679 - x695 - x711 - x727 + x871 = 7 e201: x472 + x680 - x696 - x712 - x728 + x872 = 25 e202: x473 + x681 - x697 - x713 - x729 + x873 = 5 e203: x474 + x682 - x698 - x714 - x730 + x874 = 11 e204: x475 + x683 - x699 - x715 - x731 + x875 = 7 e205: x476 + x684 - x700 - x716 - x732 + x876 = 20 e206: x477 + x685 - x701 - x717 - x733 + x877 = -217 e207: x478 + x686 - x702 - x718 - x734 + x878 = 7 e208: x479 + x687 - x703 - x719 - x735 + x879 = 23 e209: x480 + x688 - x704 - x720 - x736 + x880 = 13 e210: x113 + x241 + x417 + x625 - x737 - x753 - x769 - x785 - x801 + x881 = 14 e211: x114 + x242 + x418 + x626 - x738 - x754 - x770 - x786 - x802 + x882 = 23 e212: x115 + x243 + x419 + x627 - x739 - x755 - x771 - x787 - x803 + x883 = 9 e213: x116 + x244 + x420 + x628 - x740 - x756 - x772 - x788 - x804 + x884 = 13 e214: x117 + x245 + x421 + x629 - x741 - x757 - x773 - x789 - x805 + x885 = 16 e215: x118 + x246 + x422 + x630 - x742 - x758 - x774 - x790 - x806 + x886 = 24 e216: x119 + x247 + x423 + x631 - x743 - x759 - x775 - x791 - x807 + x887 = 7 e217: x120 + x248 + x424 + x632 - x744 - x760 - x776 - x792 - x808 + x888 = 6 e218: x121 + x249 + x425 + x633 - x745 - x761 - x777 - x793 - x809 + x889 = 22 e219: x122 + x250 + x426 + x634 - x746 - x762 - x778 - x794 - x810 + x890 = 10 e220: x123 + x251 + x427 + x635 - x747 - x763 - x779 - x795 - x811 + x891 = 23 e221: x124 + x252 + x428 + x636 - x748 - x764 - x780 - x796 - x812 + x892 = 22 e222: x125 + x253 + x429 + x637 - x749 - x765 - x781 - x797 - x813 + x893 = 12 e223: x126 + x254 + x430 + x638 - x750 - x766 - x782 - x798 - x814 + x894 = -189 e224: x127 + x255 + x431 + x639 - x751 - x767 - x783 - x799 - x815 + x895 = 13 e225: x128 + x256 + x432 + x640 - x752 - x768 - x784 - x800 - x816 + x896 = 22 e226: x129 + x369 + x529 + x721 + x801 - x817 - x833 - x849 - x865 - x881 - x897 + x945 = 6 e227: x130 + x370 + x530 + x722 + x802 - x818 - x834 - x850 - x866 - x882 - x898 + x946 = 5 e228: x131 + x371 + x531 + x723 + x803 - x819 - x835 - x851 - x867 - x883 - x899 + x947 = 6 e229: x132 + x372 + x532 + x724 + x804 - x820 - x836 - x852 - x868 - x884 - x900 + x948 = 12 e230: x133 + x373 + x533 + x725 + x805 - x821 - x837 - x853 - x869 - x885 - x901 + x949 = 15 e231: x134 + x374 + x534 + x726 + x806 - x822 - x838 - x854 - x870 - x886 - x902 + x950 = 8 e232: x135 + x375 + x535 + x727 + x807 - x823 - x839 - x855 - x871 - x887 - x903 + x951 = 10 e233: x136 + x376 + x536 + x728 + x808 - x824 - x840 - x856 - x872 - x888 - x904 + x952 = 10 e234: x137 + x377 + x537 + x729 + x809 - x825 - x841 - x857 - x873 - x889 - x905 + x953 = 7 e235: x138 + x378 + x538 + x730 + x810 - x826 - x842 - x858 - x874 - x890 - x906 + x954 = 15 e236: x139 + x379 + x539 + x731 + x811 - x827 - x843 - x859 - x875 - x891 - x907 + x955 = 5 e237: x140 + x380 + x540 + x732 + x812 - x828 - x844 - x860 - x876 - x892 - x908 + x956 = 20 e238: x141 + x381 + x541 + x733 + x813 - x829 - x845 - x861 - x877 - x893 - x909 + x957 = 14 e239: x142 + x382 + x542 + x734 + x814 - x830 - x846 - x862 - x878 - x894 - x910 + x958 = 17 e240: x143 + x383 + x543 + x735 + x815 - x831 - x847 - x863 - x879 - x895 - x911 + x959 = -2.4e2 e241: x144 + x384 + x544 + x736 + x816 - x832 - x848 - x864 - x880 - x896 - x912 + x960 = 7 e242: x289 + x481 + x897 - x913 - x929 - x945 = 25 e243: x290 + x482 + x898 - x914 - x930 - x946 = 23 e244: x291 + x483 + x899 - x915 - x931 - x947 = 22 e245: x292 + x484 + x900 - x916 - x932 - x948 = 17 e246: x293 + x485 + x901 - x917 - x933 - x949 = 13 e247: x294 + x486 + x902 - x918 - x934 - x950 = 9 e248: x295 + x487 + x903 - x919 - x935 - x951 = 24 e249: x296 + x488 + x904 - x920 - x936 - x952 = 25 e250: x297 + x489 + x905 - x921 - x937 - x953 = 8 e251: x298 + x490 + x906 - x922 - x938 - x954 = 10 e252: x299 + x491 + x907 - x923 - x939 - x955 = 9 e253: x300 + x492 + x908 - x924 - x940 - x956 = 20 e254: x301 + x493 + x909 - x925 - x941 - x957 = 7 e255: x302 + x494 + x910 - x926 - x942 - x958 = 20 e256: x303 + x495 + x911 - x927 - x943 - x959 = 8 e257: x304 + x496 + x912 - x928 - x944 - x960 = -226 e258: - x1 - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13 - x14 - x15 - x16 + x1082 >= 0 e259: - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - x25 - x26 - x27 - x28 - x29 - x30 - x31 - x32 + x1083 >= 0 e260: - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x41 - x42 - x43 - x44 - x45 - x46 - x47 - x48 + x1084 >= 0 e261: - x49 - x50 - x51 - x52 - x53 - x54 - x55 - x56 - x57 - x58 - x59 - x60 - x61 - x62 - x63 - x64 + x1085 >= 0 e262: - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72 - x73 - x74 - x75 - x76 - x77 - x78 - x79 - x80 + x1086 >= 0 e263: - x81 - x82 - x83 - x84 - x85 - x86 - x87 - x88 - x89 - x90 - x91 - x92 - x93 - x94 - x95 - x96 + x1087 >= 0 e264: - x97 - x98 - x99 - x100 - x101 - x102 - x103 - x104 - x105 - x106 - x107 - x108 - x109 - x110 - x111 - x112 + x1088 >= 0 e265: - x113 - x114 - x115 - x116 - x117 - x118 - x119 - x120 - x121 - x122 - x123 - x124 - x125 - x126 - x127 - x128 + x1089 >= 0 e266: - x129 - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 + x1090 >= 0 e267: - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159 - x160 + x1091 >= 0 e268: - x161 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 + x1092 >= 0 e269: - x177 - x178 - x179 - x180 - x181 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 + x1093 >= 0 e270: - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 - x202 - x203 - x204 - x205 - x206 - x207 - x208 + x1094 >= 0 e271: - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 - x222 - x223 - x224 + x1095 >= 0 e272: - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 + x1096 >= 0 e273: - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 + x1097 >= 0 e274: - x257 - x258 - x259 - x260 - x261 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 + x1098 >= 0 e275: - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 - x282 - x283 - x284 - x285 - x286 - x287 - x288 + x1099 >= 0 e276: - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 - x301 - x302 - x303 - x304 + x1100 >= 0 e277: - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 + x1101 >= 0 e278: - x321 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336 + x1102 >= 0 e279: - x337 - x338 - x339 - x340 - x341 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350 - x351 - x352 + x1103 >= 0 e280: - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 + x1104 >= 0 e281: - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 + x1105 >= 0 e282: - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 + x1106 >= 0 e283: - x401 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 + x1107 >= 0 e284: - x417 - x418 - x419 - x420 - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 + x1108 >= 0 e285: - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441 - x442 - x443 - x444 - x445 - x446 - x447 - x448 + x1109 >= 0 e286: - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 + x1110 >= 0 e287: - x465 - x466 - x467 - x468 - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479 - x480 + x1111 >= 0 e288: - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490 - x491 - x492 - x493 - x494 - x495 - x496 + x1112 >= 0 e289: - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504 - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 + x1113 >= 0 e290: - x513 - x514 - x515 - x516 - x517 - x518 - x519 - x520 - x521 - x522 - x523 - x524 - x525 - x526 - x527 - x528 + x1114 >= 0 e291: - x529 - x530 - x531 - x532 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540 - x541 - x542 - x543 - x544 + x1115 >= 0 e292: - x545 - x546 - x547 - x548 - x549 - x550 - x551 - x552 - x553 - x554 - x555 - x556 - x557 - x558 - x559 - x560 + x1116 >= 0 e293: - x561 - x562 - x563 - x564 - x565 - x566 - x567 - x568 - x569 - x570 - x571 - x572 - x573 - x574 - x575 - x576 + x1117 >= 0 e294: - x577 - x578 - x579 - x580 - x581 - x582 - x583 - x584 - x585 - x586 - x587 - x588 - x589 - x590 - x591 - x592 + x1118 >= 0 e295: - x593 - x594 - x595 - x596 - x597 - x598 - x599 - x600 - x601 - x602 - x603 - x604 - x605 - x606 - x607 - x608 + x1119 >= 0 e296: - x609 - x610 - x611 - x612 - x613 - x614 - x615 - x616 - x617 - x618 - x619 - x620 - x621 - x622 - x623 - x624 + x1120 >= 0 e297: - x625 - x626 - x627 - x628 - x629 - x630 - x631 - x632 - x633 - x634 - x635 - x636 - x637 - x638 - x639 - x640 + x1121 >= 0 e298: - x641 - x642 - x643 - x644 - x645 - x646 - x647 - x648 - x649 - x650 - x651 - x652 - x653 - x654 - x655 - x656 + x1122 >= 0 e299: - x657 - x658 - x659 - x660 - x661 - x662 - x663 - x664 - x665 - x666 - x667 - x668 - x669 - x670 - x671 - x672 + x1123 >= 0 e300: - x673 - x674 - x675 - x676 - x677 - x678 - x679 - x680 - x681 - x682 - x683 - x684 - x685 - x686 - x687 - x688 + x1124 >= 0 e301: - x689 - x690 - x691 - x692 - x693 - x694 - x695 - x696 - x697 - x698 - x699 - x700 - x701 - x702 - x703 - x704 + x1125 >= 0 e302: - x705 - x706 - x707 - x708 - x709 - x710 - x711 - x712 - x713 - x714 - x715 - x716 - x717 - x718 - x719 - x720 + x1126 >= 0 e303: - x721 - x722 - x723 - x724 - x725 - x726 - x727 - x728 - x729 - x730 - x731 - x732 - x733 - x734 - x735 - x736 + x1127 >= 0 e304: - x737 - x738 - x739 - x740 - x741 - x742 - x743 - x744 - x745 - x746 - x747 - x748 - x749 - x750 - x751 - x752 + x1128 >= 0 e305: - x753 - x754 - x755 - x756 - x757 - x758 - x759 - x760 - x761 - x762 - x763 - x764 - x765 - x766 - x767 - x768 + x1129 >= 0 e306: - x769 - x770 - x771 - x772 - x773 - x774 - x775 - x776 - x777 - x778 - x779 - x780 - x781 - x782 - x783 - x784 + x1130 >= 0 e307: - x785 - x786 - x787 - x788 - x789 - x790 - x791 - x792 - x793 - x794 - x795 - x796 - x797 - x798 - x799 - x800 + x1131 >= 0 e308: - x801 - x802 - x803 - x804 - x805 - x806 - x807 - x808 - x809 - x810 - x811 - x812 - x813 - x814 - x815 - x816 + x1132 >= 0 e309: - x817 - x818 - x819 - x820 - x821 - x822 - x823 - x824 - x825 - x826 - x827 - x828 - x829 - x830 - x831 - x832 + x1133 >= 0 e310: - x833 - x834 - x835 - x836 - x837 - x838 - x839 - x840 - x841 - x842 - x843 - x844 - x845 - x846 - x847 - x848 + x1134 >= 0 e311: - x849 - x850 - x851 - x852 - x853 - x854 - x855 - x856 - x857 - x858 - x859 - x860 - x861 - x862 - x863 - x864 + x1135 >= 0 e312: - x865 - x866 - x867 - x868 - x869 - x870 - x871 - x872 - x873 - x874 - x875 - x876 - x877 - x878 - x879 - x880 + x1136 >= 0 e313: - x881 - x882 - x883 - x884 - x885 - x886 - x887 - x888 - x889 - x890 - x891 - x892 - x893 - x894 - x895 - x896 + x1137 >= 0 e314: - x897 - x898 - x899 - x900 - x901 - x902 - x903 - x904 - x905 - x906 - x907 - x908 - x909 - x910 - x911 - x912 + x1138 >= 0 e315: - x913 - x914 - x915 - x916 - x917 - x918 - x919 - x920 - x921 - x922 - x923 - x924 - x925 - x926 - x927 - x928 + x1139 >= 0 e316: - x929 - x930 - x931 - x932 - x933 - x934 - x935 - x936 - x937 - x938 - x939 - x940 - x941 - x942 - x943 - x944 + x1140 >= 0 e317: - x945 - x946 - x947 - x948 - x949 - x950 - x951 - x952 - x953 - x954 - x955 - x956 - x957 - x958 - x959 - x960 + x1141 >= 0 e318: [ - 137 b961 * x1021 + 137 b961 * x1082 + x1021 * x1082 ] <= 0 e319: [ - 505 b962 * x1022 + 505 b962 * x1083 + x1022 * x1083 ] <= 0 e320: [ - 427 b963 * x1023 + 427 b963 * x1084 + x1023 * x1084 ] <= 0 e321: [ - 559 b964 * x1024 + 559 b964 * x1085 + x1024 * x1085 ] <= 0 e322: [ - 137 b965 * x1025 + 137 b965 * x1086 + x1025 * x1086 ] <= 0 e323: [ - 196 b966 * x1026 + 196 b966 * x1087 + x1026 * x1087 ] <= 0 e324: [ - 341 b967 * x1027 + 341 b967 * x1088 + x1027 * x1088 ] <= 0 e325: [ - 263 b968 * x1028 + 263 b968 * x1089 + x1028 * x1089 ] <= 0 e326: [ - 245 b969 * x1029 + 245 b969 * x1090 + x1029 * x1090 ] <= 0 e327: [ - 196 b970 * x1030 + 196 b970 * x1091 + x1030 * x1091 ] <= 0 e328: [ - 346 b971 * x1031 + 346 b971 * x1092 + x1031 * x1092 ] <= 0 e329: [ - 361 b972 * x1032 + 361 b972 * x1093 + x1032 * x1093 ] <= 0 e330: [ - 179 b973 * x1033 + 179 b973 * x1094 + x1033 * x1094 ] <= 0 e331: [ - 505 b974 * x1034 + 505 b974 * x1095 + x1034 * x1095 ] <= 0 e332: [ - 341 b975 * x1035 + 341 b975 * x1096 + x1035 * x1096 ] <= 0 e333: [ - 1.6e2 b976 * x1036 + 1.6e2 b976 * x1097 + x1036 * x1097 ] <= 0 e334: [ - 389 b977 * x1037 + 389 b977 * x1098 + x1037 * x1098 ] <= 0 e335: [ - 153 b978 * x1038 + 153 b978 * x1099 + x1038 * x1099 ] <= 0 e336: [ - 164 b979 * x1039 + 164 b979 * x1100 + x1039 * x1100 ] <= 0 e337: [ - 427 b980 * x1040 + 427 b980 * x1101 + x1040 * x1101 ] <= 0 e338: [ - 389 b981 * x1041 + 389 b981 * x1102 + x1041 * x1102 ] <= 0 e339: [ - 513 b982 * x1042 + 513 b982 * x1103 + x1042 * x1103 ] <= 0 e340: [ - 353 b983 * x1043 + 353 b983 * x1104 + x1043 * x1104 ] <= 0 e341: [ - 305 b984 * x1044 + 305 b984 * x1105 + x1044 * x1105 ] <= 0 e342: [ - 346 b985 * x1045 + 346 b985 * x1106 + x1045 * x1106 ] <= 0 e343: [ - 463 b986 * x1046 + 463 b986 * x1107 + x1046 * x1107 ] <= 0 e344: [ - 511 b987 * x1047 + 511 b987 * x1108 + x1047 * x1108 ] <= 0 e345: [ - 361 b988 * x1048 + 361 b988 * x1109 + x1048 * x1109 ] <= 0 e346: [ - 513 b989 * x1049 + 513 b989 * x1110 + x1049 * x1110 ] <= 0 e347: [ - 218 b990 * x1050 + 218 b990 * x1111 + x1050 * x1111 ] <= 0 e348: [ - 338 b991 * x1051 + 338 b991 * x1112 + x1051 * x1112 ] <= 0 e349: [ - 153 b992 * x1052 + 153 b992 * x1113 + x1052 * x1113 ] <= 0 e350: [ - 439 b993 * x1053 + 439 b993 * x1114 + x1053 * x1114 ] <= 0 e351: [ - 194 b994 * x1054 + 194 b994 * x1115 + x1054 * x1115 ] <= 0 e352: [ - 353 b995 * x1055 + 353 b995 * x1116 + x1055 * x1116 ] <= 0 e353: [ - 415 b996 * x1056 + 415 b996 * x1117 + x1056 * x1117 ] <= 0 e354: [ - 559 b997 * x1057 + 559 b997 * x1118 + x1057 * x1118 ] <= 0 e355: [ - 439 b998 * x1058 + 439 b998 * x1119 + x1058 * x1119 ] <= 0 e356: [ - 415 b999 * x1059 + 415 b999 * x1120 + x1059 * x1120 ] <= 0 e357: [ - 421 b1000 * x1060 + 421 b1000 * x1121 + x1060 * x1121 ] <= 0 e358: [ - 179 b1001 * x1061 + 179 b1001 * x1122 + x1061 * x1122 ] <= 0 e359: [ - 463 b1002 * x1062 + 463 b1002 * x1123 + x1062 * x1123 ] <= 0 e360: [ - 534 b1003 * x1063 + 534 b1003 * x1124 + x1063 * x1124 ] <= 0 e361: [ - 218 b1004 * x1064 + 218 b1004 * x1125 + x1064 * x1125 ] <= 0 e362: [ - 534 b1005 * x1065 + 534 b1005 * x1126 + x1065 * x1126 ] <= 0 e363: [ - 425 b1006 * x1066 + 425 b1006 * x1127 + x1066 * x1127 ] <= 0 e364: [ - 263 b1007 * x1067 + 263 b1007 * x1128 + x1067 * x1128 ] <= 0 e365: [ - 1.6e2 b1008 * x1068 + 1.6e2 b1008 * x1129 + x1068 * x1129 ] <= 0 e366: [ - 511 b1009 * x1069 + 511 b1009 * x1130 + x1069 * x1130 ] <= 0 e367: [ - 421 b1010 * x1070 + 421 b1010 * x1131 + x1070 * x1131 ] <= 0 e368: [ - 497 b1011 * x1071 + 497 b1011 * x1132 + x1071 * x1132 ] <= 0 e369: [ - 245 b1012 * x1072 + 245 b1012 * x1133 + x1072 * x1133 ] <= 0 e370: [ - 305 b1013 * x1073 + 305 b1013 * x1134 + x1073 * x1134 ] <= 0 e371: [ - 194 b1014 * x1074 + 194 b1014 * x1135 + x1074 * x1135 ] <= 0 e372: [ - 425 b1015 * x1075 + 425 b1015 * x1136 + x1075 * x1136 ] <= 0 e373: [ - 497 b1016 * x1076 + 497 b1016 * x1137 + x1076 * x1137 ] <= 0 e374: [ - 552 b1017 * x1077 + 552 b1017 * x1138 + x1077 * x1138 ] <= 0 e375: [ - 164 b1018 * x1078 + 164 b1018 * x1139 + x1078 * x1139 ] <= 0 e376: [ - 338 b1019 * x1079 + 338 b1019 * x1140 + x1079 * x1140 ] <= 0 e377: [ - 552 b1020 * x1080 + 552 b1020 * x1141 + x1080 * x1141 ] <= 0 e378: x1021 + x1022 + x1023 + x1024 + x1025 + x1026 + x1027 + x1028 + x1029 + x1030 + x1031 + x1032 + x1033 + x1034 + x1035 + x1036 + x1037 + x1038 + x1039 + x1040 + x1041 + x1042 + x1043 + x1044 + x1045 + x1046 + x1047 + x1048 + x1049 + x1050 + x1051 + x1052 + x1053 + x1054 + x1055 + x1056 + x1057 + x1058 + x1059 + x1060 + x1061 + x1062 + x1063 + x1064 + x1065 + x1066 + x1067 + x1068 + x1069 + x1070 + x1071 + x1072 + x1073 + x1074 + x1075 + x1076 + x1077 + x1078 + x1079 + x1080 <= 14012 e379: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 - 137 b961 <= 0 e380: x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 - 505 b962 <= 0 e381: x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 - 427 b963 <= 0 e382: x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 - 559 b964 <= 0 e383: x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 - 137 b965 <= 0 e384: x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 - 196 b966 <= 0 e385: x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 - 341 b967 <= 0 e386: x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 - 263 b968 <= 0 e387: x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 - 245 b969 <= 0 e388: x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 - 196 b970 <= 0 e389: x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 - 346 b971 <= 0 e390: x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 - 361 b972 <= 0 e391: x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 - 179 b973 <= 0 e392: x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 - 505 b974 <= 0 e393: x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 341 b975 <= 0 e394: x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 - 1.6e2 b976 <= 0 e395: x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 - 389 b977 <= 0 e396: x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 - 153 b978 <= 0 e397: x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 - 164 b979 <= 0 e398: x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 - 427 b980 <= 0 e399: x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 389 b981 <= 0 e400: x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 - 513 b982 <= 0 e401: x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 - 353 b983 <= 0 e402: x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 - 305 b984 <= 0 e403: x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 - 346 b985 <= 0 e404: x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 - 463 b986 <= 0 e405: x417 + x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 - 511 b987 <= 0 e406: x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 - 361 b988 <= 0 e407: x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 - 513 b989 <= 0 e408: x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 218 b990 <= 0 e409: x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 - 338 b991 <= 0 e410: x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 - 153 b992 <= 0 e411: x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 - 439 b993 <= 0 e412: x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 - 194 b994 <= 0 e413: x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 - 353 b995 <= 0 e414: x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 - 415 b996 <= 0 e415: x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 + x589 + x590 + x591 + x592 - 559 b997 <= 0 e416: x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 - 439 b998 <= 0 e417: x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 - 415 b999 <= 0 e418: x625 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 - 421 b1000 <= 0 e419: x641 + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 - 179 b1001 <= 0 e420: x657 + x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 - 463 b1002 <= 0 e421: x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 + x687 + x688 - 534 b1003 <= 0 e422: x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 + x697 + x698 + x699 + x700 + x701 + x702 + x703 + x704 - 218 b1004 <= 0 e423: x705 + x706 + x707 + x708 + x709 + x710 + x711 + x712 + x713 + x714 + x715 + x716 + x717 + x718 + x719 + x720 - 534 b1005 <= 0 e424: x721 + x722 + x723 + x724 + x725 + x726 + x727 + x728 + x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 - 425 b1006 <= 0 e425: x737 + x738 + x739 + x740 + x741 + x742 + x743 + x744 + x745 + x746 + x747 + x748 + x749 + x750 + x751 + x752 - 263 b1007 <= 0 e426: x753 + x754 + x755 + x756 + x757 + x758 + x759 + x760 + x761 + x762 + x763 + x764 + x765 + x766 + x767 + x768 - 1.6e2 b1008 <= 0 e427: x769 + x770 + x771 + x772 + x773 + x774 + x775 + x776 + x777 + x778 + x779 + x780 + x781 + x782 + x783 + x784 - 511 b1009 <= 0 e428: x785 + x786 + x787 + x788 + x789 + x790 + x791 + x792 + x793 + x794 + x795 + x796 + x797 + x798 + x799 + x800 - 421 b1010 <= 0 e429: x801 + x802 + x803 + x804 + x805 + x806 + x807 + x808 + x809 + x810 + x811 + x812 + x813 + x814 + x815 + x816 - 497 b1011 <= 0 e430: x817 + x818 + x819 + x820 + x821 + x822 + x823 + x824 + x825 + x826 + x827 + x828 + x829 + x830 + x831 + x832 - 245 b1012 <= 0 e431: x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841 + x842 + x843 + x844 + x845 + x846 + x847 + x848 - 305 b1013 <= 0 e432: x849 + x850 + x851 + x852 + x853 + x854 + x855 + x856 + x857 + x858 + x859 + x860 + x861 + x862 + x863 + x864 - 194 b1014 <= 0 e433: x865 + x866 + x867 + x868 + x869 + x870 + x871 + x872 + x873 + x874 + x875 + x876 + x877 + x878 + x879 + x880 - 425 b1015 <= 0 e434: x881 + x882 + x883 + x884 + x885 + x886 + x887 + x888 + x889 + x890 + x891 + x892 + x893 + x894 + x895 + x896 - 497 b1016 <= 0 e435: x897 + x898 + x899 + x900 + x901 + x902 + x903 + x904 + x905 + x906 + x907 + x908 + x909 + x910 + x911 + x912 - 552 b1017 <= 0 e436: x913 + x914 + x915 + x916 + x917 + x918 + x919 + x920 + x921 + x922 + x923 + x924 + x925 + x926 + x927 + x928 - 164 b1018 <= 0 e437: x929 + x930 + x931 + x932 + x933 + x934 + x935 + x936 + x937 + x938 + x939 + x940 + x941 + x942 + x943 + x944 - 338 b1019 <= 0 e438: x945 + x946 + x947 + x948 + x949 + x950 + x951 + x952 + x953 + x954 + x955 + x956 + x957 + x958 + x959 + x960 - 552 b1020 <= 0 Binary b961 b962 b963 b964 b965 b966 b967 b968 b969 b970 b971 b972 b973 b974 b975 b976 b977 b978 b979 b980 b981 b982 b983 b984 b985 b986 b987 b988 b989 b990 b991 b992 b993 b994 b995 b996 b997 b998 b999 b1000 b1001 b1002 b1003 b1004 b1005 b1006 b1007 b1008 b1009 b1010 b1011 b1012 b1013 b1014 b1015 b1016 b1017 b1018 b1019 b1020 End