\ Equation counts \ Total E G L N X C B \ 377 256 60 61 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1080 1020 60 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4080 3060 1020 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 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: - 137 x1 - 137 x2 - 137 x3 - 137 x4 - 137 x5 - 137 x6 - 137 x7 - 137 x8 - 137 x9 - 137 x10 - 137 x11 - 137 x12 - 137 x13 - 137 x14 - 137 x15 - 137 x16 + 137 x1021 + [ - x1 * x1021 - x2 * x1021 - x3 * x1021 - x4 * x1021 - x5 * x1021 - x6 * x1021 - x7 * x1021 - x8 * x1021 - x9 * x1021 - x10 * x1021 - x11 * x1021 - x12 * x1021 - x13 * x1021 - x14 * x1021 - x15 * x1021 - x16 * x1021 ] >= 0 e259: - 505 x17 - 505 x18 - 505 x19 - 505 x20 - 505 x21 - 505 x22 - 505 x23 - 505 x24 - 505 x25 - 505 x26 - 505 x27 - 505 x28 - 505 x29 - 505 x30 - 505 x31 - 505 x32 + 505 x1022 + [ - x17 * x1022 - x18 * x1022 - x19 * x1022 - x20 * x1022 - x21 * x1022 - x22 * x1022 - x23 * x1022 - x24 * x1022 - x25 * x1022 - x26 * x1022 - x27 * x1022 - x28 * x1022 - x29 * x1022 - x30 * x1022 - x31 * x1022 - x32 * x1022 ] >= 0 e260: - 427 x33 - 427 x34 - 427 x35 - 427 x36 - 427 x37 - 427 x38 - 427 x39 - 427 x40 - 427 x41 - 427 x42 - 427 x43 - 427 x44 - 427 x45 - 427 x46 - 427 x47 - 427 x48 + 427 x1023 + [ - x33 * x1023 - x34 * x1023 - x35 * x1023 - x36 * x1023 - x37 * x1023 - x38 * x1023 - x39 * x1023 - x40 * x1023 - x41 * x1023 - x42 * x1023 - x43 * x1023 - x44 * x1023 - x45 * x1023 - x46 * x1023 - x47 * x1023 - x48 * x1023 ] >= 0 e261: - 559 x49 - 559 x50 - 559 x51 - 559 x52 - 559 x53 - 559 x54 - 559 x55 - 559 x56 - 559 x57 - 559 x58 - 559 x59 - 559 x60 - 559 x61 - 559 x62 - 559 x63 - 559 x64 + 559 x1024 + [ - x49 * x1024 - x50 * x1024 - x51 * x1024 - x52 * x1024 - x53 * x1024 - x54 * x1024 - x55 * x1024 - x56 * x1024 - x57 * x1024 - x58 * x1024 - x59 * x1024 - x60 * x1024 - x61 * x1024 - x62 * x1024 - x63 * x1024 - x64 * x1024 ] >= 0 e262: - 137 x65 - 137 x66 - 137 x67 - 137 x68 - 137 x69 - 137 x70 - 137 x71 - 137 x72 - 137 x73 - 137 x74 - 137 x75 - 137 x76 - 137 x77 - 137 x78 - 137 x79 - 137 x80 + 137 x1025 + [ - x65 * x1025 - x66 * x1025 - x67 * x1025 - x68 * x1025 - x69 * x1025 - x70 * x1025 - x71 * x1025 - x72 * x1025 - x73 * x1025 - x74 * x1025 - x75 * x1025 - x76 * x1025 - x77 * x1025 - x78 * x1025 - x79 * x1025 - x80 * x1025 ] >= 0 e263: - 196 x81 - 196 x82 - 196 x83 - 196 x84 - 196 x85 - 196 x86 - 196 x87 - 196 x88 - 196 x89 - 196 x90 - 196 x91 - 196 x92 - 196 x93 - 196 x94 - 196 x95 - 196 x96 + 196 x1026 + [ - x81 * x1026 - x82 * x1026 - x83 * x1026 - x84 * x1026 - x85 * x1026 - x86 * x1026 - x87 * x1026 - x88 * x1026 - x89 * x1026 - x90 * x1026 - x91 * x1026 - x92 * x1026 - x93 * x1026 - x94 * x1026 - x95 * x1026 - x96 * x1026 ] >= 0 e264: - 341 x97 - 341 x98 - 341 x99 - 341 x100 - 341 x101 - 341 x102 - 341 x103 - 341 x104 - 341 x105 - 341 x106 - 341 x107 - 341 x108 - 341 x109 - 341 x110 - 341 x111 - 341 x112 + 341 x1027 + [ - x97 * x1027 - x98 * x1027 - x99 * x1027 - x100 * x1027 - x101 * x1027 - x102 * x1027 - x103 * x1027 - x104 * x1027 - x105 * x1027 - x106 * x1027 - x107 * x1027 - x108 * x1027 - x109 * x1027 - x110 * x1027 - x111 * x1027 - x112 * x1027 ] >= 0 e265: - 263 x113 - 263 x114 - 263 x115 - 263 x116 - 263 x117 - 263 x118 - 263 x119 - 263 x120 - 263 x121 - 263 x122 - 263 x123 - 263 x124 - 263 x125 - 263 x126 - 263 x127 - 263 x128 + 263 x1028 + [ - x113 * x1028 - x114 * x1028 - x115 * x1028 - x116 * x1028 - x117 * x1028 - x118 * x1028 - x119 * x1028 - x120 * x1028 - x121 * x1028 - x122 * x1028 - x123 * x1028 - x124 * x1028 - x125 * x1028 - x126 * x1028 - x127 * x1028 - x128 * x1028 ] >= 0 e266: - 245 x129 - 245 x130 - 245 x131 - 245 x132 - 245 x133 - 245 x134 - 245 x135 - 245 x136 - 245 x137 - 245 x138 - 245 x139 - 245 x140 - 245 x141 - 245 x142 - 245 x143 - 245 x144 + 245 x1029 + [ - x129 * x1029 - x130 * x1029 - x131 * x1029 - x132 * x1029 - x133 * x1029 - x134 * x1029 - x135 * x1029 - x136 * x1029 - x137 * x1029 - x138 * x1029 - x139 * x1029 - x140 * x1029 - x141 * x1029 - x142 * x1029 - x143 * x1029 - x144 * x1029 ] >= 0 e267: - 196 x145 - 196 x146 - 196 x147 - 196 x148 - 196 x149 - 196 x150 - 196 x151 - 196 x152 - 196 x153 - 196 x154 - 196 x155 - 196 x156 - 196 x157 - 196 x158 - 196 x159 - 196 x160 + 196 x1030 + [ - x145 * x1030 - x146 * x1030 - x147 * x1030 - x148 * x1030 - x149 * x1030 - x150 * x1030 - x151 * x1030 - x152 * x1030 - x153 * x1030 - x154 * x1030 - x155 * x1030 - x156 * x1030 - x157 * x1030 - x158 * x1030 - x159 * x1030 - x160 * x1030 ] >= 0 e268: - 346 x161 - 346 x162 - 346 x163 - 346 x164 - 346 x165 - 346 x166 - 346 x167 - 346 x168 - 346 x169 - 346 x170 - 346 x171 - 346 x172 - 346 x173 - 346 x174 - 346 x175 - 346 x176 + 346 x1031 + [ - x161 * x1031 - x162 * x1031 - x163 * x1031 - x164 * x1031 - x165 * x1031 - x166 * x1031 - x167 * x1031 - x168 * x1031 - x169 * x1031 - x170 * x1031 - x171 * x1031 - x172 * x1031 - x173 * x1031 - x174 * x1031 - x175 * x1031 - x176 * x1031 ] >= 0 e269: - 361 x177 - 361 x178 - 361 x179 - 361 x180 - 361 x181 - 361 x182 - 361 x183 - 361 x184 - 361 x185 - 361 x186 - 361 x187 - 361 x188 - 361 x189 - 361 x190 - 361 x191 - 361 x192 + 361 x1032 + [ - x177 * x1032 - x178 * x1032 - x179 * x1032 - x180 * x1032 - x181 * x1032 - x182 * x1032 - x183 * x1032 - x184 * x1032 - x185 * x1032 - x186 * x1032 - x187 * x1032 - x188 * x1032 - x189 * x1032 - x190 * x1032 - x191 * x1032 - x192 * x1032 ] >= 0 e270: - 179 x193 - 179 x194 - 179 x195 - 179 x196 - 179 x197 - 179 x198 - 179 x199 - 179 x200 - 179 x201 - 179 x202 - 179 x203 - 179 x204 - 179 x205 - 179 x206 - 179 x207 - 179 x208 + 179 x1033 + [ - x193 * x1033 - x194 * x1033 - x195 * x1033 - x196 * x1033 - x197 * x1033 - x198 * x1033 - x199 * x1033 - x200 * x1033 - x201 * x1033 - x202 * x1033 - x203 * x1033 - x204 * x1033 - x205 * x1033 - x206 * x1033 - x207 * x1033 - x208 * x1033 ] >= 0 e271: - 505 x209 - 505 x210 - 505 x211 - 505 x212 - 505 x213 - 505 x214 - 505 x215 - 505 x216 - 505 x217 - 505 x218 - 505 x219 - 505 x220 - 505 x221 - 505 x222 - 505 x223 - 505 x224 + 505 x1034 + [ - x209 * x1034 - x210 * x1034 - x211 * x1034 - x212 * x1034 - x213 * x1034 - x214 * x1034 - x215 * x1034 - x216 * x1034 - x217 * x1034 - x218 * x1034 - x219 * x1034 - x220 * x1034 - x221 * x1034 - x222 * x1034 - x223 * x1034 - x224 * x1034 ] >= 0 e272: - 341 x225 - 341 x226 - 341 x227 - 341 x228 - 341 x229 - 341 x230 - 341 x231 - 341 x232 - 341 x233 - 341 x234 - 341 x235 - 341 x236 - 341 x237 - 341 x238 - 341 x239 - 341 x240 + 341 x1035 + [ - x225 * x1035 - x226 * x1035 - x227 * x1035 - x228 * x1035 - x229 * x1035 - x230 * x1035 - x231 * x1035 - x232 * x1035 - x233 * x1035 - x234 * x1035 - x235 * x1035 - x236 * x1035 - x237 * x1035 - x238 * x1035 - x239 * x1035 - x240 * x1035 ] >= 0 e273: - 1.6e2 x241 - 1.6e2 x242 - 1.6e2 x243 - 1.6e2 x244 - 1.6e2 x245 - 1.6e2 x246 - 1.6e2 x247 - 1.6e2 x248 - 1.6e2 x249 - 1.6e2 x250 - 1.6e2 x251 - 1.6e2 x252 - 1.6e2 x253 - 1.6e2 x254 - 1.6e2 x255 - 1.6e2 x256 + 1.6e2 x1036 + [ - x241 * x1036 - x242 * x1036 - x243 * x1036 - x244 * x1036 - x245 * x1036 - x246 * x1036 - x247 * x1036 - x248 * x1036 - x249 * x1036 - x250 * x1036 - x251 * x1036 - x252 * x1036 - x253 * x1036 - x254 * x1036 - x255 * x1036 - x256 * x1036 ] >= 0 e274: - 389 x257 - 389 x258 - 389 x259 - 389 x260 - 389 x261 - 389 x262 - 389 x263 - 389 x264 - 389 x265 - 389 x266 - 389 x267 - 389 x268 - 389 x269 - 389 x270 - 389 x271 - 389 x272 + 389 x1037 + [ - x257 * x1037 - x258 * x1037 - x259 * x1037 - x260 * x1037 - x261 * x1037 - x262 * x1037 - x263 * x1037 - x264 * x1037 - x265 * x1037 - x266 * x1037 - x267 * x1037 - x268 * x1037 - x269 * x1037 - x270 * x1037 - x271 * x1037 - x272 * x1037 ] >= 0 e275: - 153 x273 - 153 x274 - 153 x275 - 153 x276 - 153 x277 - 153 x278 - 153 x279 - 153 x280 - 153 x281 - 153 x282 - 153 x283 - 153 x284 - 153 x285 - 153 x286 - 153 x287 - 153 x288 + 153 x1038 + [ - x273 * x1038 - x274 * x1038 - x275 * x1038 - x276 * x1038 - x277 * x1038 - x278 * x1038 - x279 * x1038 - x280 * x1038 - x281 * x1038 - x282 * x1038 - x283 * x1038 - x284 * x1038 - x285 * x1038 - x286 * x1038 - x287 * x1038 - x288 * x1038 ] >= 0 e276: - 164 x289 - 164 x290 - 164 x291 - 164 x292 - 164 x293 - 164 x294 - 164 x295 - 164 x296 - 164 x297 - 164 x298 - 164 x299 - 164 x300 - 164 x301 - 164 x302 - 164 x303 - 164 x304 + 164 x1039 + [ - x289 * x1039 - x290 * x1039 - x291 * x1039 - x292 * x1039 - x293 * x1039 - x294 * x1039 - x295 * x1039 - x296 * x1039 - x297 * x1039 - x298 * x1039 - x299 * x1039 - x300 * x1039 - x301 * x1039 - x302 * x1039 - x303 * x1039 - x304 * x1039 ] >= 0 e277: - 427 x305 - 427 x306 - 427 x307 - 427 x308 - 427 x309 - 427 x310 - 427 x311 - 427 x312 - 427 x313 - 427 x314 - 427 x315 - 427 x316 - 427 x317 - 427 x318 - 427 x319 - 427 x320 + 427 x1040 + [ - x305 * x1040 - x306 * x1040 - x307 * x1040 - x308 * x1040 - x309 * x1040 - x310 * x1040 - x311 * x1040 - x312 * x1040 - x313 * x1040 - x314 * x1040 - x315 * x1040 - x316 * x1040 - x317 * x1040 - x318 * x1040 - x319 * x1040 - x320 * x1040 ] >= 0 e278: - 389 x321 - 389 x322 - 389 x323 - 389 x324 - 389 x325 - 389 x326 - 389 x327 - 389 x328 - 389 x329 - 389 x330 - 389 x331 - 389 x332 - 389 x333 - 389 x334 - 389 x335 - 389 x336 + 389 x1041 + [ - x321 * x1041 - x322 * x1041 - x323 * x1041 - x324 * x1041 - x325 * x1041 - x326 * x1041 - x327 * x1041 - x328 * x1041 - x329 * x1041 - x330 * x1041 - x331 * x1041 - x332 * x1041 - x333 * x1041 - x334 * x1041 - x335 * x1041 - x336 * x1041 ] >= 0 e279: - 513 x337 - 513 x338 - 513 x339 - 513 x340 - 513 x341 - 513 x342 - 513 x343 - 513 x344 - 513 x345 - 513 x346 - 513 x347 - 513 x348 - 513 x349 - 513 x350 - 513 x351 - 513 x352 + 513 x1042 + [ - x337 * x1042 - x338 * x1042 - x339 * x1042 - x340 * x1042 - x341 * x1042 - x342 * x1042 - x343 * x1042 - x344 * x1042 - x345 * x1042 - x346 * x1042 - x347 * x1042 - x348 * x1042 - x349 * x1042 - x350 * x1042 - x351 * x1042 - x352 * x1042 ] >= 0 e280: - 353 x353 - 353 x354 - 353 x355 - 353 x356 - 353 x357 - 353 x358 - 353 x359 - 353 x360 - 353 x361 - 353 x362 - 353 x363 - 353 x364 - 353 x365 - 353 x366 - 353 x367 - 353 x368 + 353 x1043 + [ - x353 * x1043 - x354 * x1043 - x355 * x1043 - x356 * x1043 - x357 * x1043 - x358 * x1043 - x359 * x1043 - x360 * x1043 - x361 * x1043 - x362 * x1043 - x363 * x1043 - x364 * x1043 - x365 * x1043 - x366 * x1043 - x367 * x1043 - x368 * x1043 ] >= 0 e281: - 305 x369 - 305 x370 - 305 x371 - 305 x372 - 305 x373 - 305 x374 - 305 x375 - 305 x376 - 305 x377 - 305 x378 - 305 x379 - 305 x380 - 305 x381 - 305 x382 - 305 x383 - 305 x384 + 305 x1044 + [ - x369 * x1044 - x370 * x1044 - x371 * x1044 - x372 * x1044 - x373 * x1044 - x374 * x1044 - x375 * x1044 - x376 * x1044 - x377 * x1044 - x378 * x1044 - x379 * x1044 - x380 * x1044 - x381 * x1044 - x382 * x1044 - x383 * x1044 - x384 * x1044 ] >= 0 e282: - 346 x385 - 346 x386 - 346 x387 - 346 x388 - 346 x389 - 346 x390 - 346 x391 - 346 x392 - 346 x393 - 346 x394 - 346 x395 - 346 x396 - 346 x397 - 346 x398 - 346 x399 - 346 x400 + 346 x1045 + [ - x385 * x1045 - x386 * x1045 - x387 * x1045 - x388 * x1045 - x389 * x1045 - x390 * x1045 - x391 * x1045 - x392 * x1045 - x393 * x1045 - x394 * x1045 - x395 * x1045 - x396 * x1045 - x397 * x1045 - x398 * x1045 - x399 * x1045 - x400 * x1045 ] >= 0 e283: - 463 x401 - 463 x402 - 463 x403 - 463 x404 - 463 x405 - 463 x406 - 463 x407 - 463 x408 - 463 x409 - 463 x410 - 463 x411 - 463 x412 - 463 x413 - 463 x414 - 463 x415 - 463 x416 + 463 x1046 + [ - x401 * x1046 - x402 * x1046 - x403 * x1046 - x404 * x1046 - x405 * x1046 - x406 * x1046 - x407 * x1046 - x408 * x1046 - x409 * x1046 - x410 * x1046 - x411 * x1046 - x412 * x1046 - x413 * x1046 - x414 * x1046 - x415 * x1046 - x416 * x1046 ] >= 0 e284: - 511 x417 - 511 x418 - 511 x419 - 511 x420 - 511 x421 - 511 x422 - 511 x423 - 511 x424 - 511 x425 - 511 x426 - 511 x427 - 511 x428 - 511 x429 - 511 x430 - 511 x431 - 511 x432 + 511 x1047 + [ - x417 * x1047 - x418 * x1047 - x419 * x1047 - x420 * x1047 - x421 * x1047 - x422 * x1047 - x423 * x1047 - x424 * x1047 - x425 * x1047 - x426 * x1047 - x427 * x1047 - x428 * x1047 - x429 * x1047 - x430 * x1047 - x431 * x1047 - x432 * x1047 ] >= 0 e285: - 361 x433 - 361 x434 - 361 x435 - 361 x436 - 361 x437 - 361 x438 - 361 x439 - 361 x440 - 361 x441 - 361 x442 - 361 x443 - 361 x444 - 361 x445 - 361 x446 - 361 x447 - 361 x448 + 361 x1048 + [ - x433 * x1048 - x434 * x1048 - x435 * x1048 - x436 * x1048 - x437 * x1048 - x438 * x1048 - x439 * x1048 - x440 * x1048 - x441 * x1048 - x442 * x1048 - x443 * x1048 - x444 * x1048 - x445 * x1048 - x446 * x1048 - x447 * x1048 - x448 * x1048 ] >= 0 e286: - 513 x449 - 513 x450 - 513 x451 - 513 x452 - 513 x453 - 513 x454 - 513 x455 - 513 x456 - 513 x457 - 513 x458 - 513 x459 - 513 x460 - 513 x461 - 513 x462 - 513 x463 - 513 x464 + 513 x1049 + [ - x449 * x1049 - x450 * x1049 - x451 * x1049 - x452 * x1049 - x453 * x1049 - x454 * x1049 - x455 * x1049 - x456 * x1049 - x457 * x1049 - x458 * x1049 - x459 * x1049 - x460 * x1049 - x461 * x1049 - x462 * x1049 - x463 * x1049 - x464 * x1049 ] >= 0 e287: - 218 x465 - 218 x466 - 218 x467 - 218 x468 - 218 x469 - 218 x470 - 218 x471 - 218 x472 - 218 x473 - 218 x474 - 218 x475 - 218 x476 - 218 x477 - 218 x478 - 218 x479 - 218 x480 + 218 x1050 + [ - x465 * x1050 - x466 * x1050 - x467 * x1050 - x468 * x1050 - x469 * x1050 - x470 * x1050 - x471 * x1050 - x472 * x1050 - x473 * x1050 - x474 * x1050 - x475 * x1050 - x476 * x1050 - x477 * x1050 - x478 * x1050 - x479 * x1050 - x480 * x1050 ] >= 0 e288: - 338 x481 - 338 x482 - 338 x483 - 338 x484 - 338 x485 - 338 x486 - 338 x487 - 338 x488 - 338 x489 - 338 x490 - 338 x491 - 338 x492 - 338 x493 - 338 x494 - 338 x495 - 338 x496 + 338 x1051 + [ - x481 * x1051 - x482 * x1051 - x483 * x1051 - x484 * x1051 - x485 * x1051 - x486 * x1051 - x487 * x1051 - x488 * x1051 - x489 * x1051 - x490 * x1051 - x491 * x1051 - x492 * x1051 - x493 * x1051 - x494 * x1051 - x495 * x1051 - x496 * x1051 ] >= 0 e289: - 153 x497 - 153 x498 - 153 x499 - 153 x500 - 153 x501 - 153 x502 - 153 x503 - 153 x504 - 153 x505 - 153 x506 - 153 x507 - 153 x508 - 153 x509 - 153 x510 - 153 x511 - 153 x512 + 153 x1052 + [ - x497 * x1052 - x498 * x1052 - x499 * x1052 - x500 * x1052 - x501 * x1052 - x502 * x1052 - x503 * x1052 - x504 * x1052 - x505 * x1052 - x506 * x1052 - x507 * x1052 - x508 * x1052 - x509 * x1052 - x510 * x1052 - x511 * x1052 - x512 * x1052 ] >= 0 e290: - 439 x513 - 439 x514 - 439 x515 - 439 x516 - 439 x517 - 439 x518 - 439 x519 - 439 x520 - 439 x521 - 439 x522 - 439 x523 - 439 x524 - 439 x525 - 439 x526 - 439 x527 - 439 x528 + 439 x1053 + [ - x513 * x1053 - x514 * x1053 - x515 * x1053 - x516 * x1053 - x517 * x1053 - x518 * x1053 - x519 * x1053 - x520 * x1053 - x521 * x1053 - x522 * x1053 - x523 * x1053 - x524 * x1053 - x525 * x1053 - x526 * x1053 - x527 * x1053 - x528 * x1053 ] >= 0 e291: - 194 x529 - 194 x530 - 194 x531 - 194 x532 - 194 x533 - 194 x534 - 194 x535 - 194 x536 - 194 x537 - 194 x538 - 194 x539 - 194 x540 - 194 x541 - 194 x542 - 194 x543 - 194 x544 + 194 x1054 + [ - x529 * x1054 - x530 * x1054 - x531 * x1054 - x532 * x1054 - x533 * x1054 - x534 * x1054 - x535 * x1054 - x536 * x1054 - x537 * x1054 - x538 * x1054 - x539 * x1054 - x540 * x1054 - x541 * x1054 - x542 * x1054 - x543 * x1054 - x544 * x1054 ] >= 0 e292: - 353 x545 - 353 x546 - 353 x547 - 353 x548 - 353 x549 - 353 x550 - 353 x551 - 353 x552 - 353 x553 - 353 x554 - 353 x555 - 353 x556 - 353 x557 - 353 x558 - 353 x559 - 353 x560 + 353 x1055 + [ - x545 * x1055 - x546 * x1055 - x547 * x1055 - x548 * x1055 - x549 * x1055 - x550 * x1055 - x551 * x1055 - x552 * x1055 - x553 * x1055 - x554 * x1055 - x555 * x1055 - x556 * x1055 - x557 * x1055 - x558 * x1055 - x559 * x1055 - x560 * x1055 ] >= 0 e293: - 415 x561 - 415 x562 - 415 x563 - 415 x564 - 415 x565 - 415 x566 - 415 x567 - 415 x568 - 415 x569 - 415 x570 - 415 x571 - 415 x572 - 415 x573 - 415 x574 - 415 x575 - 415 x576 + 415 x1056 + [ - x561 * x1056 - x562 * x1056 - x563 * x1056 - x564 * x1056 - x565 * x1056 - x566 * x1056 - x567 * x1056 - x568 * x1056 - x569 * x1056 - x570 * x1056 - x571 * x1056 - x572 * x1056 - x573 * x1056 - x574 * x1056 - x575 * x1056 - x576 * x1056 ] >= 0 e294: - 559 x577 - 559 x578 - 559 x579 - 559 x580 - 559 x581 - 559 x582 - 559 x583 - 559 x584 - 559 x585 - 559 x586 - 559 x587 - 559 x588 - 559 x589 - 559 x590 - 559 x591 - 559 x592 + 559 x1057 + [ - x577 * x1057 - x578 * x1057 - x579 * x1057 - x580 * x1057 - x581 * x1057 - x582 * x1057 - x583 * x1057 - x584 * x1057 - x585 * x1057 - x586 * x1057 - x587 * x1057 - x588 * x1057 - x589 * x1057 - x590 * x1057 - x591 * x1057 - x592 * x1057 ] >= 0 e295: - 439 x593 - 439 x594 - 439 x595 - 439 x596 - 439 x597 - 439 x598 - 439 x599 - 439 x600 - 439 x601 - 439 x602 - 439 x603 - 439 x604 - 439 x605 - 439 x606 - 439 x607 - 439 x608 + 439 x1058 + [ - x593 * x1058 - x594 * x1058 - x595 * x1058 - x596 * x1058 - x597 * x1058 - x598 * x1058 - x599 * x1058 - x600 * x1058 - x601 * x1058 - x602 * x1058 - x603 * x1058 - x604 * x1058 - x605 * x1058 - x606 * x1058 - x607 * x1058 - x608 * x1058 ] >= 0 e296: - 415 x609 - 415 x610 - 415 x611 - 415 x612 - 415 x613 - 415 x614 - 415 x615 - 415 x616 - 415 x617 - 415 x618 - 415 x619 - 415 x620 - 415 x621 - 415 x622 - 415 x623 - 415 x624 + 415 x1059 + [ - x609 * x1059 - x610 * x1059 - x611 * x1059 - x612 * x1059 - x613 * x1059 - x614 * x1059 - x615 * x1059 - x616 * x1059 - x617 * x1059 - x618 * x1059 - x619 * x1059 - x620 * x1059 - x621 * x1059 - x622 * x1059 - x623 * x1059 - x624 * x1059 ] >= 0 e297: - 421 x625 - 421 x626 - 421 x627 - 421 x628 - 421 x629 - 421 x630 - 421 x631 - 421 x632 - 421 x633 - 421 x634 - 421 x635 - 421 x636 - 421 x637 - 421 x638 - 421 x639 - 421 x640 + 421 x1060 + [ - x625 * x1060 - x626 * x1060 - x627 * x1060 - x628 * x1060 - x629 * x1060 - x630 * x1060 - x631 * x1060 - x632 * x1060 - x633 * x1060 - x634 * x1060 - x635 * x1060 - x636 * x1060 - x637 * x1060 - x638 * x1060 - x639 * x1060 - x640 * x1060 ] >= 0 e298: - 179 x641 - 179 x642 - 179 x643 - 179 x644 - 179 x645 - 179 x646 - 179 x647 - 179 x648 - 179 x649 - 179 x650 - 179 x651 - 179 x652 - 179 x653 - 179 x654 - 179 x655 - 179 x656 + 179 x1061 + [ - x641 * x1061 - x642 * x1061 - x643 * x1061 - x644 * x1061 - x645 * x1061 - x646 * x1061 - x647 * x1061 - x648 * x1061 - x649 * x1061 - x650 * x1061 - x651 * x1061 - x652 * x1061 - x653 * x1061 - x654 * x1061 - x655 * x1061 - x656 * x1061 ] >= 0 e299: - 463 x657 - 463 x658 - 463 x659 - 463 x660 - 463 x661 - 463 x662 - 463 x663 - 463 x664 - 463 x665 - 463 x666 - 463 x667 - 463 x668 - 463 x669 - 463 x670 - 463 x671 - 463 x672 + 463 x1062 + [ - x657 * x1062 - x658 * x1062 - x659 * x1062 - x660 * x1062 - x661 * x1062 - x662 * x1062 - x663 * x1062 - x664 * x1062 - x665 * x1062 - x666 * x1062 - x667 * x1062 - x668 * x1062 - x669 * x1062 - x670 * x1062 - x671 * x1062 - x672 * x1062 ] >= 0 e300: - 534 x673 - 534 x674 - 534 x675 - 534 x676 - 534 x677 - 534 x678 - 534 x679 - 534 x680 - 534 x681 - 534 x682 - 534 x683 - 534 x684 - 534 x685 - 534 x686 - 534 x687 - 534 x688 + 534 x1063 + [ - x673 * x1063 - x674 * x1063 - x675 * x1063 - x676 * x1063 - x677 * x1063 - x678 * x1063 - x679 * x1063 - x680 * x1063 - x681 * x1063 - x682 * x1063 - x683 * x1063 - x684 * x1063 - x685 * x1063 - x686 * x1063 - x687 * x1063 - x688 * x1063 ] >= 0 e301: - 218 x689 - 218 x690 - 218 x691 - 218 x692 - 218 x693 - 218 x694 - 218 x695 - 218 x696 - 218 x697 - 218 x698 - 218 x699 - 218 x700 - 218 x701 - 218 x702 - 218 x703 - 218 x704 + 218 x1064 + [ - x689 * x1064 - x690 * x1064 - x691 * x1064 - x692 * x1064 - x693 * x1064 - x694 * x1064 - x695 * x1064 - x696 * x1064 - x697 * x1064 - x698 * x1064 - x699 * x1064 - x700 * x1064 - x701 * x1064 - x702 * x1064 - x703 * x1064 - x704 * x1064 ] >= 0 e302: - 534 x705 - 534 x706 - 534 x707 - 534 x708 - 534 x709 - 534 x710 - 534 x711 - 534 x712 - 534 x713 - 534 x714 - 534 x715 - 534 x716 - 534 x717 - 534 x718 - 534 x719 - 534 x720 + 534 x1065 + [ - x705 * x1065 - x706 * x1065 - x707 * x1065 - x708 * x1065 - x709 * x1065 - x710 * x1065 - x711 * x1065 - x712 * x1065 - x713 * x1065 - x714 * x1065 - x715 * x1065 - x716 * x1065 - x717 * x1065 - x718 * x1065 - x719 * x1065 - x720 * x1065 ] >= 0 e303: - 425 x721 - 425 x722 - 425 x723 - 425 x724 - 425 x725 - 425 x726 - 425 x727 - 425 x728 - 425 x729 - 425 x730 - 425 x731 - 425 x732 - 425 x733 - 425 x734 - 425 x735 - 425 x736 + 425 x1066 + [ - x721 * x1066 - x722 * x1066 - x723 * x1066 - x724 * x1066 - x725 * x1066 - x726 * x1066 - x727 * x1066 - x728 * x1066 - x729 * x1066 - x730 * x1066 - x731 * x1066 - x732 * x1066 - x733 * x1066 - x734 * x1066 - x735 * x1066 - x736 * x1066 ] >= 0 e304: - 263 x737 - 263 x738 - 263 x739 - 263 x740 - 263 x741 - 263 x742 - 263 x743 - 263 x744 - 263 x745 - 263 x746 - 263 x747 - 263 x748 - 263 x749 - 263 x750 - 263 x751 - 263 x752 + 263 x1067 + [ - x737 * x1067 - x738 * x1067 - x739 * x1067 - x740 * x1067 - x741 * x1067 - x742 * x1067 - x743 * x1067 - x744 * x1067 - x745 * x1067 - x746 * x1067 - x747 * x1067 - x748 * x1067 - x749 * x1067 - x750 * x1067 - x751 * x1067 - x752 * x1067 ] >= 0 e305: - 1.6e2 x753 - 1.6e2 x754 - 1.6e2 x755 - 1.6e2 x756 - 1.6e2 x757 - 1.6e2 x758 - 1.6e2 x759 - 1.6e2 x760 - 1.6e2 x761 - 1.6e2 x762 - 1.6e2 x763 - 1.6e2 x764 - 1.6e2 x765 - 1.6e2 x766 - 1.6e2 x767 - 1.6e2 x768 + 1.6e2 x1068 + [ - x753 * x1068 - x754 * x1068 - x755 * x1068 - x756 * x1068 - x757 * x1068 - x758 * x1068 - x759 * x1068 - x760 * x1068 - x761 * x1068 - x762 * x1068 - x763 * x1068 - x764 * x1068 - x765 * x1068 - x766 * x1068 - x767 * x1068 - x768 * x1068 ] >= 0 e306: - 511 x769 - 511 x770 - 511 x771 - 511 x772 - 511 x773 - 511 x774 - 511 x775 - 511 x776 - 511 x777 - 511 x778 - 511 x779 - 511 x780 - 511 x781 - 511 x782 - 511 x783 - 511 x784 + 511 x1069 + [ - x769 * x1069 - x770 * x1069 - x771 * x1069 - x772 * x1069 - x773 * x1069 - x774 * x1069 - x775 * x1069 - x776 * x1069 - x777 * x1069 - x778 * x1069 - x779 * x1069 - x780 * x1069 - x781 * x1069 - x782 * x1069 - x783 * x1069 - x784 * x1069 ] >= 0 e307: - 421 x785 - 421 x786 - 421 x787 - 421 x788 - 421 x789 - 421 x790 - 421 x791 - 421 x792 - 421 x793 - 421 x794 - 421 x795 - 421 x796 - 421 x797 - 421 x798 - 421 x799 - 421 x800 + 421 x1070 + [ - x785 * x1070 - x786 * x1070 - x787 * x1070 - x788 * x1070 - x789 * x1070 - x790 * x1070 - x791 * x1070 - x792 * x1070 - x793 * x1070 - x794 * x1070 - x795 * x1070 - x796 * x1070 - x797 * x1070 - x798 * x1070 - x799 * x1070 - x800 * x1070 ] >= 0 e308: - 497 x801 - 497 x802 - 497 x803 - 497 x804 - 497 x805 - 497 x806 - 497 x807 - 497 x808 - 497 x809 - 497 x810 - 497 x811 - 497 x812 - 497 x813 - 497 x814 - 497 x815 - 497 x816 + 497 x1071 + [ - x801 * x1071 - x802 * x1071 - x803 * x1071 - x804 * x1071 - x805 * x1071 - x806 * x1071 - x807 * x1071 - x808 * x1071 - x809 * x1071 - x810 * x1071 - x811 * x1071 - x812 * x1071 - x813 * x1071 - x814 * x1071 - x815 * x1071 - x816 * x1071 ] >= 0 e309: - 245 x817 - 245 x818 - 245 x819 - 245 x820 - 245 x821 - 245 x822 - 245 x823 - 245 x824 - 245 x825 - 245 x826 - 245 x827 - 245 x828 - 245 x829 - 245 x830 - 245 x831 - 245 x832 + 245 x1072 + [ - x817 * x1072 - x818 * x1072 - x819 * x1072 - x820 * x1072 - x821 * x1072 - x822 * x1072 - x823 * x1072 - x824 * x1072 - x825 * x1072 - x826 * x1072 - x827 * x1072 - x828 * x1072 - x829 * x1072 - x830 * x1072 - x831 * x1072 - x832 * x1072 ] >= 0 e310: - 305 x833 - 305 x834 - 305 x835 - 305 x836 - 305 x837 - 305 x838 - 305 x839 - 305 x840 - 305 x841 - 305 x842 - 305 x843 - 305 x844 - 305 x845 - 305 x846 - 305 x847 - 305 x848 + 305 x1073 + [ - x833 * x1073 - x834 * x1073 - x835 * x1073 - x836 * x1073 - x837 * x1073 - x838 * x1073 - x839 * x1073 - x840 * x1073 - x841 * x1073 - x842 * x1073 - x843 * x1073 - x844 * x1073 - x845 * x1073 - x846 * x1073 - x847 * x1073 - x848 * x1073 ] >= 0 e311: - 194 x849 - 194 x850 - 194 x851 - 194 x852 - 194 x853 - 194 x854 - 194 x855 - 194 x856 - 194 x857 - 194 x858 - 194 x859 - 194 x860 - 194 x861 - 194 x862 - 194 x863 - 194 x864 + 194 x1074 + [ - x849 * x1074 - x850 * x1074 - x851 * x1074 - x852 * x1074 - x853 * x1074 - x854 * x1074 - x855 * x1074 - x856 * x1074 - x857 * x1074 - x858 * x1074 - x859 * x1074 - x860 * x1074 - x861 * x1074 - x862 * x1074 - x863 * x1074 - x864 * x1074 ] >= 0 e312: - 425 x865 - 425 x866 - 425 x867 - 425 x868 - 425 x869 - 425 x870 - 425 x871 - 425 x872 - 425 x873 - 425 x874 - 425 x875 - 425 x876 - 425 x877 - 425 x878 - 425 x879 - 425 x880 + 425 x1075 + [ - x865 * x1075 - x866 * x1075 - x867 * x1075 - x868 * x1075 - x869 * x1075 - x870 * x1075 - x871 * x1075 - x872 * x1075 - x873 * x1075 - x874 * x1075 - x875 * x1075 - x876 * x1075 - x877 * x1075 - x878 * x1075 - x879 * x1075 - x880 * x1075 ] >= 0 e313: - 497 x881 - 497 x882 - 497 x883 - 497 x884 - 497 x885 - 497 x886 - 497 x887 - 497 x888 - 497 x889 - 497 x890 - 497 x891 - 497 x892 - 497 x893 - 497 x894 - 497 x895 - 497 x896 + 497 x1076 + [ - x881 * x1076 - x882 * x1076 - x883 * x1076 - x884 * x1076 - x885 * x1076 - x886 * x1076 - x887 * x1076 - x888 * x1076 - x889 * x1076 - x890 * x1076 - x891 * x1076 - x892 * x1076 - x893 * x1076 - x894 * x1076 - x895 * x1076 - x896 * x1076 ] >= 0 e314: - 552 x897 - 552 x898 - 552 x899 - 552 x900 - 552 x901 - 552 x902 - 552 x903 - 552 x904 - 552 x905 - 552 x906 - 552 x907 - 552 x908 - 552 x909 - 552 x910 - 552 x911 - 552 x912 + 552 x1077 + [ - x897 * x1077 - x898 * x1077 - x899 * x1077 - x900 * x1077 - x901 * x1077 - x902 * x1077 - x903 * x1077 - x904 * x1077 - x905 * x1077 - x906 * x1077 - x907 * x1077 - x908 * x1077 - x909 * x1077 - x910 * x1077 - x911 * x1077 - x912 * x1077 ] >= 0 e315: - 164 x913 - 164 x914 - 164 x915 - 164 x916 - 164 x917 - 164 x918 - 164 x919 - 164 x920 - 164 x921 - 164 x922 - 164 x923 - 164 x924 - 164 x925 - 164 x926 - 164 x927 - 164 x928 + 164 x1078 + [ - x913 * x1078 - x914 * x1078 - x915 * x1078 - x916 * x1078 - x917 * x1078 - x918 * x1078 - x919 * x1078 - x920 * x1078 - x921 * x1078 - x922 * x1078 - x923 * x1078 - x924 * x1078 - x925 * x1078 - x926 * x1078 - x927 * x1078 - x928 * x1078 ] >= 0 e316: - 338 x929 - 338 x930 - 338 x931 - 338 x932 - 338 x933 - 338 x934 - 338 x935 - 338 x936 - 338 x937 - 338 x938 - 338 x939 - 338 x940 - 338 x941 - 338 x942 - 338 x943 - 338 x944 + 338 x1079 + [ - x929 * x1079 - x930 * x1079 - x931 * x1079 - x932 * x1079 - x933 * x1079 - x934 * x1079 - x935 * x1079 - x936 * x1079 - x937 * x1079 - x938 * x1079 - x939 * x1079 - x940 * x1079 - x941 * x1079 - x942 * x1079 - x943 * x1079 - x944 * x1079 ] >= 0 e317: - 552 x945 - 552 x946 - 552 x947 - 552 x948 - 552 x949 - 552 x950 - 552 x951 - 552 x952 - 552 x953 - 552 x954 - 552 x955 - 552 x956 - 552 x957 - 552 x958 - 552 x959 - 552 x960 + 552 x1080 + [ - x945 * x1080 - x946 * x1080 - x947 * x1080 - x948 * x1080 - x949 * x1080 - x950 * x1080 - x951 * x1080 - x952 * x1080 - x953 * x1080 - x954 * x1080 - x955 * x1080 - x956 * x1080 - x957 * x1080 - x958 * x1080 - x959 * x1080 - x960 * x1080 ] >= 0 e318: 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 e319: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 - 137 b961 <= 0 e320: x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 - 505 b962 <= 0 e321: x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 - 427 b963 <= 0 e322: x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 - 559 b964 <= 0 e323: x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 - 137 b965 <= 0 e324: x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 - 196 b966 <= 0 e325: x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 - 341 b967 <= 0 e326: x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 - 263 b968 <= 0 e327: x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 - 245 b969 <= 0 e328: x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 - 196 b970 <= 0 e329: x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 - 346 b971 <= 0 e330: x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 - 361 b972 <= 0 e331: x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 - 179 b973 <= 0 e332: x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 - 505 b974 <= 0 e333: x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 - 341 b975 <= 0 e334: x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 - 1.6e2 b976 <= 0 e335: x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 - 389 b977 <= 0 e336: x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 - 153 b978 <= 0 e337: x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 - 164 b979 <= 0 e338: x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 - 427 b980 <= 0 e339: x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 389 b981 <= 0 e340: x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 - 513 b982 <= 0 e341: x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 - 353 b983 <= 0 e342: x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 - 305 b984 <= 0 e343: x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 - 346 b985 <= 0 e344: x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 - 463 b986 <= 0 e345: x417 + x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 - 511 b987 <= 0 e346: x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 - 361 b988 <= 0 e347: x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 - 513 b989 <= 0 e348: x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 - 218 b990 <= 0 e349: x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 - 338 b991 <= 0 e350: x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 - 153 b992 <= 0 e351: x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 - 439 b993 <= 0 e352: x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 - 194 b994 <= 0 e353: x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 - 353 b995 <= 0 e354: x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 - 415 b996 <= 0 e355: x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 + x589 + x590 + x591 + x592 - 559 b997 <= 0 e356: x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 - 439 b998 <= 0 e357: x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 - 415 b999 <= 0 e358: x625 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 - 421 b1000 <= 0 e359: x641 + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 - 179 b1001 <= 0 e360: x657 + x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 - 463 b1002 <= 0 e361: x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 + x687 + x688 - 534 b1003 <= 0 e362: x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 + x697 + x698 + x699 + x700 + x701 + x702 + x703 + x704 - 218 b1004 <= 0 e363: x705 + x706 + x707 + x708 + x709 + x710 + x711 + x712 + x713 + x714 + x715 + x716 + x717 + x718 + x719 + x720 - 534 b1005 <= 0 e364: x721 + x722 + x723 + x724 + x725 + x726 + x727 + x728 + x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 - 425 b1006 <= 0 e365: x737 + x738 + x739 + x740 + x741 + x742 + x743 + x744 + x745 + x746 + x747 + x748 + x749 + x750 + x751 + x752 - 263 b1007 <= 0 e366: x753 + x754 + x755 + x756 + x757 + x758 + x759 + x760 + x761 + x762 + x763 + x764 + x765 + x766 + x767 + x768 - 1.6e2 b1008 <= 0 e367: x769 + x770 + x771 + x772 + x773 + x774 + x775 + x776 + x777 + x778 + x779 + x780 + x781 + x782 + x783 + x784 - 511 b1009 <= 0 e368: x785 + x786 + x787 + x788 + x789 + x790 + x791 + x792 + x793 + x794 + x795 + x796 + x797 + x798 + x799 + x800 - 421 b1010 <= 0 e369: x801 + x802 + x803 + x804 + x805 + x806 + x807 + x808 + x809 + x810 + x811 + x812 + x813 + x814 + x815 + x816 - 497 b1011 <= 0 e370: x817 + x818 + x819 + x820 + x821 + x822 + x823 + x824 + x825 + x826 + x827 + x828 + x829 + x830 + x831 + x832 - 245 b1012 <= 0 e371: x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841 + x842 + x843 + x844 + x845 + x846 + x847 + x848 - 305 b1013 <= 0 e372: x849 + x850 + x851 + x852 + x853 + x854 + x855 + x856 + x857 + x858 + x859 + x860 + x861 + x862 + x863 + x864 - 194 b1014 <= 0 e373: x865 + x866 + x867 + x868 + x869 + x870 + x871 + x872 + x873 + x874 + x875 + x876 + x877 + x878 + x879 + x880 - 425 b1015 <= 0 e374: x881 + x882 + x883 + x884 + x885 + x886 + x887 + x888 + x889 + x890 + x891 + x892 + x893 + x894 + x895 + x896 - 497 b1016 <= 0 e375: x897 + x898 + x899 + x900 + x901 + x902 + x903 + x904 + x905 + x906 + x907 + x908 + x909 + x910 + x911 + x912 - 552 b1017 <= 0 e376: x913 + x914 + x915 + x916 + x917 + x918 + x919 + x920 + x921 + x922 + x923 + x924 + x925 + x926 + x927 + x928 - 164 b1018 <= 0 e377: x929 + x930 + x931 + x932 + x933 + x934 + x935 + x936 + x937 + x938 + x939 + x940 + x941 + x942 + x943 + x944 - 338 b1019 <= 0 e378: 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