\ 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