\ 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