\ Equation counts \ Total E G L N X C B \ 1991 1591 0 400 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 2484 2084 400 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 9242 6506 2736 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 + 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 + 0 x961 + 0 x962 + 0 x963 + 0 x964 + 0 x965 + 0 x966 + 0 x967 + 0 x968 + 0 x969 + 0 x970 + 0 x971 + 0 x972 + 0 x973 + 0 x974 + 0 x975 + 0 x976 + 0 x977 + 0 x978 + 0 x979 + 0 x980 + 0 x981 + 0 x982 + 0 x983 + 0 x984 + 0 x985 + 0 x986 + 0 x987 + 0 x988 + 0 x989 + 0 x990 + 0 x991 + 0 x992 + 0 x993 + 0 x994 + 0 x995 + 0 x996 + 0 x997 + 0 x998 + 0 x999 + 0 x1000 + 0 x1001 + 0 x1002 + 0 x1003 + 0 x1004 + 0 x1005 + 0 x1006 + 0 x1007 + 0 x1008 + 0 x1009 + 0 x1010 + 0 x1011 + 0 x1012 + 0 x1013 + 0 x1014 + 0 x1015 + 0 x1016 + 0 x1017 + 0 x1018 + 0 x1019 + 0 x1020 + 0 x1021 + 0 x1022 + 0 x1023 + 0 x1024 + 0 x1025 + 0 x1026 + 0 x1027 + 0 x1028 + 0 x1029 + 0 x1030 + 0 x1031 + 0 x1032 + 0 x1033 + 0 x1034 + 0 x1035 + 0 x1036 + 0 x1037 + 0 x1038 + 0 x1039 + 0 x1040 + 0 x1041 + 0 x1042 + 0 x1043 + 0 x1044 + 0 x1045 + 0 x1046 + 0 x1047 + 0 x1048 + 0 x1049 + 0 x1050 + 0 x1051 + 0 x1052 + 0 x1053 + 0 x1054 + 0 x1055 + 0 x1056 + 0 x1057 + 0 x1058 + 0 x1059 + 0 x1060 + 0 x1061 + 0 x1062 + 0 x1063 + 0 x1064 + 0 x1065 + 0 x1066 + 0 x1067 + 0 x1068 + 0 x1069 + 0 x1070 + 0 x1071 + 0 x1072 + 0 x1073 + 0 x1074 + 0 x1075 + 0 x1076 + 0 x1077 + 0 x1078 + 0 x1079 + 0 x1080 + 0 x1081 + 0 x1082 + 0 x1083 + 0 x1084 + 0 x1085 + 0 x1086 + 0 x1087 + 0 x1088 + 0 x1089 + 0 x1090 + 0 x1091 + 0 x1092 + 0 x1093 + 0 x1094 + 0 x1095 + 0 x1096 + 0 x1097 + 0 x1098 + 0 x1099 + 0 x1100 + 0 x1101 + 0 x1102 + 0 x1103 + 0 x1104 + 0 x1105 + 0 x1106 + 0 x1107 + 0 x1108 + 0 x1109 + 0 x1110 + 0 x1111 + 0 x1112 + 0 x1113 + 0 x1114 + 0 x1115 + 0 x1116 + 0 x1117 + 0 x1118 + 0 x1119 + 0 x1120 + 0 x1121 + 0 x1122 + 0 x1123 + 0 x1124 + 0 x1125 + 0 x1126 + 0 x1127 + 0 x1128 + 0 x1129 + 0 x1130 + 0 x1131 + 0 x1132 + 0 x1133 + 0 x1134 + 0 x1135 + 0 x1136 + 0 x1137 + 0 x1138 + 0 x1139 + 0 x1140 + 0 x1141 + 0 x1142 + 0 x1143 + 0 x1144 + 0 x1145 + 0 x1146 + 0 x1147 + 0 x1148 + 0 x1149 + 0 x1150 + 0 x1151 + 0 x1152 + 0 x1153 + 0 x1154 + 0 x1155 + 0 x1156 + 0 x1157 + 0 x1158 + 0 x1159 + 0 x1160 + 0 x1161 + 0 x1162 + 0 x1163 + 0 x1164 + 0 x1165 + 0 x1166 + 0 x1167 + 0 x1168 + 0 x1169 + 0 x1170 + 0 x1171 + 0 x1172 + 0 x1173 + 0 x1174 + 0 x1175 + 0 x1176 + 0 x1177 + 0 x1178 + 0 x1179 + 0 x1180 + 0 x1181 + 0 x1182 + 0 x1183 + 0 x1184 + 0 x1185 + 0 x1186 + 0 x1187 + 0 x1188 + 0 x1189 + 0 x1190 + 0 x1191 + 0 x1192 + 0 x1193 + 0 x1194 + 0 x1195 + 0 x1196 + 0 x1197 + 0 x1198 + 0 x1199 + 0 x1200 + 0 x1201 + 0 x1202 + 0 x1203 + 0 x1204 + 0 x1205 + 0 x1206 + 0 x1207 + 0 x1208 + 0 x1209 + 0 x1210 + 0 x1211 + 0 x1212 + 0 x1213 + 0 x1214 + 0 x1215 + 0 x1216 + 0 x1217 + 0 x1218 + 0 x1219 + 0 x1220 + 0 x1221 + 0 x1222 + 0 x1223 + 0 x1224 + 0 x1225 + 0 x1226 + 0 x1227 + 0 x1228 + 0 x1229 + 0 x1230 + 0 x1231 + 0 x1232 + 0 x1233 + 0 x1234 + 0 x1235 + 0 x1236 + 0 x1237 + 0 x1238 + 0 x1239 + 0 x1240 + 0 x1241 + 0 x1242 + 0 x1243 + 0 x1244 + 0 x1245 + 0 x1246 + 0 x1247 + 0 x1248 + 0 x1249 + 0 x1250 + 0 x1251 + 0 x1252 + 0 x1253 + 0 x1254 + 0 x1255 + 0 x1256 + 0 x1257 + 0 x1258 + 0 x1259 + 0 x1260 + 0 x1261 + 0 x1262 + 0 x1263 + 0 x1264 + 0 x1265 + 0 x1266 + 0 x1267 + 0 x1268 + 0 x1269 + 0 x1270 + 0 x1271 + 0 x1272 + 0 x1273 + 0 x1274 + 0 x1275 + 0 x1276 + 0 x1277 + 0 x1278 + 0 x1279 + 0 x1280 + 0 x1281 + 0 x1282 + 0 x1283 + 0 x1284 + 0 x1285 + 0 x1286 + 0 x1287 + 0 x1288 + 0 x1289 + 0 x1290 + 0 x1291 + 0 x1292 + 0 x1293 + 0 x1294 + 0 x1295 + 0 x1296 + 0 x1297 + 0 x1298 + 0 x1299 + 0 x1300 + 0 x1301 + 0 x1302 + 0 x1303 + 0 x1304 + 0 x1305 + 0 x1306 + 0 x1307 + 0 x1308 + 0 x1309 + 0 x1310 + 0 x1311 + 0 x1312 + 0 x1313 + 0 x1314 + 0 x1315 + 0 x1316 + 0 x1317 + 0 x1318 + 0 x1319 + 0 x1320 + 0 x1321 + 0 x1322 + 0 x1323 + 0 x1324 + 0 x1325 + 0 x1326 + 0 x1327 + 0 x1328 + 0 x1329 + 0 x1330 + 0 x1331 + 0 x1332 + 0 x1333 + 0 x1334 + 0 x1335 + 0 x1336 + 0 x1337 + 0 x1338 + 0 x1339 + 0 x1340 + 0 x1341 + 0 x1342 + 0 x1343 + 0 x1344 + 0 x1345 + 0 x1346 + 0 x1347 + 0 x1348 + 0 x1349 + 0 x1350 + 0 x1351 + 0 x1352 + 0 x1353 + 0 x1354 + 0 x1355 + 0 x1356 + 0 x1357 + 0 x1358 + 0 x1359 + 0 x1360 + 0 x1361 + 0 x1362 + 0 x1363 + 0 x1364 + 0 x1365 + 0 x1366 + 0 x1367 + 0 x1368 + 0 x1369 + 0 x1370 + 0 x1371 + 0 x1372 + 0 x1373 + 0 x1374 + 0 x1375 + 0 x1376 + 0 x1377 + 0 x1378 + 0 x1379 + 0 x1380 + 0 x1381 + 0 x1382 + 0 x1383 + 0 x1384 + 0 x1385 + 0 x1386 + 0 x1387 + 0 x1388 + 0 x1389 + 0 x1390 + 0 x1391 + 0 x1392 + 0 x1393 + 0 x1394 + 0 x1395 + 0 x1396 + 0 x1397 + 0 x1398 + 0 x1399 + 0 x1400 + 0 x1401 + 0 x1402 + 0 x1403 + 0 x1404 + 0 x1405 + 0 x1406 + 0 x1407 + 0 x1408 + 0 x1409 + 0 x1410 + 0 x1411 + 0 x1412 + 0 x1413 + 0 x1414 + 0 x1415 + 0 x1416 + 0 x1417 + 0 x1418 + 0 x1419 + 0 x1420 + 0 x1421 + 0 x1422 + 0 x1423 + 0 x1424 + 0 x1425 + 0 x1426 + 0 x1427 + 0 x1428 + 0 x1429 + 0 x1430 + 0 x1431 + 0 x1432 + 0 x1433 + 0 x1434 + 0 x1435 + 0 x1436 + 0 x1437 + 0 x1438 + 0 x1439 + 0 x1440 + 0 x1441 + 0 x1442 + 0 x1443 + 0 x1444 + 0 x1445 + 0 x1446 + 0 x1447 + 0 x1448 + 0 x1449 + 0 x1450 + 0 x1451 + 0 x1452 + 0 x1453 + 0 x1454 + 0 x1455 + 0 x1456 + 0 x1457 + 0 x1458 + 0 x1459 + 0 x1460 + 0 x1461 + 0 x1462 + 0 x1463 + 0 x1464 + 0 x1465 + 0 x1466 + 0 x1467 + 0 x1468 + 0 x1469 + 0 x1470 + 0 x1471 + 0 x1472 + 0 x1473 + 0 x1474 + 0 x1475 + 0 x1476 + 0 x1477 + 0 x1478 + 0 x1479 + 0 x1480 + 0 x1481 + 0 x1482 + 0 x1483 + 0 x1484 + 0 x1485 + 0 x1486 + 0 x1487 + 0 x1488 + 0 x1489 + 0 x1490 + 0 x1491 + 0 x1492 + 0 x1493 + 0 x1494 + 0 x1495 + 0 x1496 + 0 x1497 + 0 x1498 + 0 x1499 + 0 x1500 + 0 x1501 + 0 x1502 + 0 x1503 + 0 x1504 + 0 x1505 + 0 x1506 + 0 x1507 + 0 x1508 + 0 x1509 + 0 x1510 + 0 x1511 + 0 x1512 + 0 x1513 + 0 x1514 + 0 x1515 + 0 x1516 + 0 x1517 + 0 x1518 + 0 x1519 + 0 x1520 + 0 x1521 + 0 x1522 + 0 x1523 + 0 x1524 + 0 x1525 + 0 x1526 + 0 x1527 + 0 x1528 + 0 x1529 + 0 x1530 + 0 x1531 + 0 x1532 + 0 x1533 + 0 x1534 + 0 x1535 + 0 x1536 + 0 x1537 + 0 x1538 + 0 x1539 + 0 x1540 + 0 x1541 + 0 x1542 + 0 x1543 + 0 x1544 + 0 x1545 + 0 x1546 + 0 x1547 + 0 x1548 + 0 x1549 + 0 x1550 + 0 x1551 + 0 x1552 + 0 x1553 + 0 x1554 + 0 x1555 + 0 x1556 + 0 x1557 + 0 x1558 + 0 x1559 + 0 x1560 + 0 x1561 + 0 x1562 + 0 x1563 + 0 x1564 + 0 x1565 + 0 x1566 + 0 x1567 + 0 x1568 + 0 x1569 + 0 x1570 + 0 x1571 + 0 x1572 + 0 x1573 + 0 x1574 + 0 x1575 + 0 x1576 + 0 x1577 + 0 x1578 + 0 x1579 + 0 x1580 + 0 x1581 + 0 x1582 + 0 x1583 + 0 x1584 + 0 x1585 + 0 x1586 + 0 x1587 + 0 x1588 + 0 x1589 + 0 x1590 + 0 x1591 + 0 x1592 + 0 x1593 + 0 x1594 + 0 x1595 + 0 x1596 + 0 x1597 + 0 x1598 + 0 x1599 + 0 x1600 + 0 x1601 + 0 x1602 + 0 x1603 + 0 x1604 + 0 x1605 + 0 x1606 + 0 x1607 + 0 x1608 + 0 x1609 + 0 x1610 + 0 x1611 + 0 x1612 + 0 x1613 + 0 x1614 + 0 x1615 + 0 x1616 + 0 x1617 + 0 x1618 + 0 x1619 + 0 x1620 + 0 x1621 + 0 x1622 + 0 x1623 + 0 x1624 + 0 x1625 + 0 x1626 + 0 x1627 + 0 x1628 + 0 x1629 + 0 x1630 + 0 x1631 + 0 x1632 + 0 x1633 + 0 x1634 + 0 x1635 + 0 x1636 + 0 x1637 + 0 x1638 + 0 x1639 + 0 x1640 + 0 x1641 + 0 x1642 + 0 x1643 + 0 x1644 + 0 x1645 + 0 x1646 + 0 x1647 + 0 x1648 + 0 x1649 + 0 x1650 + 0 x1651 + 0 x1652 + 0 x1653 + 0 x1654 + 0 x1655 + 0 x1656 + 0 x1657 + 0 x1658 + 0 x1659 + 0 x1660 + 0 x1661 + 0 x1662 + 0 x1663 + 0 x1664 + 0 x1665 + 0 x1666 + 0 x1667 + 0 x1668 + 0 x1669 + 0 x1670 + 0 x1671 + 0 x1672 + 0 x1673 + 0 x1674 + 0 x1675 + 0 x1676 + 0 x1677 + 0 x1678 + 0 x1679 + 0 x1680 + 0 x1681 + 0 x1682 + 0 x1683 + 0 x1684 + 0 x1685 + 0 x1686 + 0 x1687 + 0 x1688 + 0 x1689 + 0 x1690 + 0 x1691 + 0 x1692 + 0 x1693 + 0 x1694 + 0 x1695 + 0 x1696 + 0 x1697 + 0 x1698 + 0 x1699 + 0 x1700 + 0 x1701 + 0 x1702 + 0 x1703 + 0 x1704 + 0 x1705 + 0 x1706 + 0 x1707 + 0 x1708 + 0 x1709 + 0 x1710 + 0 x1711 + 0 x1712 + 0 x1713 + 0 x1714 + 0 x1715 + 0 x1716 + 0 x1717 + 0 x1718 + 0 x1719 + 0 x1720 + 0 x1721 + 0 x1722 + 0 x1723 + 0 x1724 + 0 x1725 + 0 x1726 + 0 x1727 + 0 x1728 + 0 x1729 + 0 x1730 + 0 x1731 + 0 x1732 + 0 x1733 + 0 x1734 + 0 x1735 + 0 x1736 + 0 x1737 + 0 x1738 + 0 x1739 + 0 x1740 + 0 x1741 + 0 x1742 + 0 x1743 + 0 x1744 + 0 x1745 + 0 x1746 + 0 x1747 + 0 x1748 + 0 x1749 + 0 x1750 + 0 x1751 + 0 x1752 + 0 x1753 + 0 x1754 + 0 x1755 + 0 x1756 + 0 x1757 + 0 x1758 + 0 x1759 + 0 x1760 + 0 x1761 + 0 x1762 + 0 x1763 + 0 x1764 + 0 x1765 + 0 x1766 + 0 x1767 + 0 x1768 + 0 x1769 + 0 x1770 + 0 x1771 + 0 x1772 + 0 x1773 + 0 x1774 + 0 x1775 + 0 x1776 + 0 x1777 + 0 x1778 + 0 x1779 + 0 x1780 + 0 x1781 + 0 x1782 + 0 x1783 + 0 x1784 + 0 x1785 + 0 x1786 + 0 x1787 + 0 x1788 + 0 x1789 + 0 x1790 + 0 x1791 + 0 x1792 + 0 x1793 + 0 x1794 + 0 x1795 + 0 x1796 + 0 x1797 + 0 x1798 + 0 x1799 + 0 x1800 + 0 x1801 + 0 x1802 + 0 x1803 + 0 x1804 + 0 x1805 + 0 x1806 + 0 x1807 + 0 x1808 + 0 x1809 + 0 x1810 + 0 x1811 + 0 x1812 + 0 x1813 + 0 x1814 + 0 x1815 + 0 x1816 + 0 x1817 + 0 x1818 + 0 x1819 + 0 x1820 + 0 x1821 + 0 x1822 + 0 x1823 + 0 x1824 + 0 x1825 + 0 x1826 + 0 x1827 + 0 x1828 + 0 x1829 + 0 x1830 + 0 x1831 + 0 x1832 + 0 x1833 + 0 x1834 + 0 x1835 + 0 x1836 + 0 x1837 + 0 x1838 + 0 x1839 + 0 x1840 + 0 x1841 + 0 x1842 + 0 x1843 + 0 x1844 + 0 x1845 + 0 x1846 + 0 x1847 + 0 x1848 + 0 x1849 + 0 x1850 + 0 x1851 + 0 x1852 + 0 x1853 + 0 x1854 + 0 x1855 + 0 x1856 + 0 x1857 + 0 x1858 + 0 x1859 + 0 x1860 + 0 x1861 + 0 x1862 + 0 x1863 + 0 x1864 + 0 x1865 + 0 x1866 + 0 x1867 + 0 x1868 + 0 x1869 + 0 x1870 + 0 x1871 + 0 x1872 + 0 x1873 + 0 x1874 + 0 x1875 + 0 x1876 + 0 x1877 + 0 x1878 + 0 x1879 + 0 x1880 + 0 x1881 + 0 x1882 + 0 x1883 + 0 x1884 + 0 x1885 + 0 x1886 + 0 x1887 + 0 x1888 + 0 x1889 + 0 x1890 + 0 x1891 + 0 x1892 + 0 x1893 + 0 x1894 + 0 x1895 + 0 x1896 + 0 x1897 + 0 x1898 + 0 x1899 + 0 x1900 + 0 x1901 + 0 x1902 + 0 x1903 + 0 x1904 + 0 x1905 + 0 x1906 + 0 x1907 + 0 x1908 + 0 x1909 + 0 x1910 + 0 x1911 + 0 x1912 + 0 x1913 + 0 x1914 + 0 x1915 + 0 x1916 + 0 x1917 + 0 x1918 + 0 x1919 + 0 x1920 + 0 x1921 + 0 x1922 + 0 x1923 + 0 x1924 + 0 x1925 + 0 x1926 + 0 x1927 + 0 x1928 + 0 x1929 + 0 x1930 + 0 x1931 + 0 x1932 + 0 x1933 + 0 x1934 + 0 x1935 + 0 x1936 + 0 x1937 + 0 x1938 + 0 x1939 + 0 x1940 + 0 x1941 + 0 x1942 + 0 x1943 + 0 x1944 + 0 x1945 + 0 x1946 + 0 x1947 + 0 x1948 + 0 x1949 + 0 x1950 + 0 x1951 + 0 x1952 + 0 x1953 + 0 x1954 + 0 x1955 + 0 x1956 + 0 x1957 + 0 x1958 + 0 x1959 + 0 x1960 + 0 x1961 + 0 x1962 + 0 x1963 + 0 x1964 + 0 x1965 + 0 x1966 + 0 x1967 + 0 x1968 + 0 x1969 + 0 x1970 + 0 x1971 + 0 x1972 + 0 x1973 + 0 x1974 + 0 x1975 + 0 x1976 + 0 x1977 + 0 x1978 + 0 x1979 + 0 x1980 + 0 x1981 + 0 x1982 + 0 x1983 + 0 x1984 + 0 x1985 + 0 x1986 + 0 x1987 + 0 x1988 + 0 x1989 + 0 x1990 + 0 x1991 + 0 x1992 + 0 x1993 + 0 x1994 + 0 x1995 + 0 x1996 + 0 x1997 + 0 x1998 + x1999 + 0 x2001 + 0 x2002 + 0 x2003 + 0 x2004 + 0 x2005 + 0 x2006 + 0 x2007 + 0 x2008 + 0 x2009 + 0 x2010 + 0 x2011 + 0 x2012 + 0 x2013 + 0 x2014 + 0 x2015 + 0 x2016 + 0 x2017 + 0 x2018 + 0 x2019 + 0 x2020 + 0 x2021 + 0 x2022 + 0 x2023 + 0 x2024 + 0 x2025 + 0 x2026 + 0 x2027 + 0 x2028 + 0 x2029 + 0 x2030 + 0 x2031 + 0 x2032 + 0 x2033 + 0 x2034 + 0 x2035 + 0 x2036 + 0 x2037 + 0 x2038 + 0 x2039 + 0 x2040 + 0 x2041 + 0 x2042 + 0 x2043 + 0 x2044 + 0 x2045 + 0 x2046 + 0 x2047 + 0 x2048 + 0 x2049 + 0 x2050 + 0 x2051 + 0 x2052 + 0 x2053 + 0 x2054 + 0 x2055 + 0 x2056 + 0 x2057 + 0 x2058 + 0 x2059 + 0 x2060 + 0 x2061 + 0 x2062 + 0 x2063 + 0 x2064 + 0 x2065 + 0 x2066 + 0 x2067 + 0 x2068 + 0 x2069 + 0 x2070 + 0 x2071 + 0 x2072 + 0 x2073 + 0 x2074 + 0 x2075 + 0 x2076 + 0 x2077 + 0 x2078 + 0 x2079 + 0 x2080 + 0 x2081 + 0 x2082 + 0 x2083 + 0 x2084 + 0 b2085 + 0 b2086 + 0 b2087 + 0 b2088 + 0 b2089 + 0 b2090 + 0 b2091 + 0 b2092 + 0 b2093 + 0 b2094 + 0 b2095 + 0 b2096 + 0 b2097 + 0 b2098 + 0 b2099 + 0 b2100 + 0 b2101 + 0 b2102 + 0 b2103 + 0 b2104 + 0 b2105 + 0 b2106 + 0 b2107 + 0 b2108 + 0 b2109 + 0 b2110 + 0 b2111 + 0 b2112 + 0 b2113 + 0 b2114 + 0 b2115 + 0 b2116 + 0 b2117 + 0 b2118 + 0 b2119 + 0 b2120 + 0 b2121 + 0 b2122 + 0 b2123 + 0 b2124 + 0 b2125 + 0 b2126 + 0 b2127 + 0 b2128 + 0 b2129 + 0 b2130 + 0 b2131 + 0 b2132 + 0 b2133 + 0 b2134 + 0 b2135 + 0 b2136 + 0 b2137 + 0 b2138 + 0 b2139 + 0 b2140 + 0 b2141 + 0 b2142 + 0 b2143 + 0 b2144 + 0 b2145 + 0 b2146 + 0 b2147 + 0 b2148 + 0 b2149 + 0 b2150 + 0 b2151 + 0 b2152 + 0 b2153 + 0 b2154 + 0 b2155 + 0 b2156 + 0 b2157 + 0 b2158 + 0 b2159 + 0 b2160 + 0 b2161 + 0 b2162 + 0 b2163 + 0 b2164 + 0 b2165 + 0 b2166 + 0 b2167 + 0 b2168 + 0 b2169 + 0 b2170 + 0 b2171 + 0 b2172 + 0 b2173 + 0 b2174 + 0 b2175 + 0 b2176 + 0 b2177 + 0 b2178 + 0 b2179 + 0 b2180 + 0 b2181 + 0 b2182 + 0 b2183 + 0 b2184 + 0 b2185 + 0 b2186 + 0 b2187 + 0 b2188 + 0 b2189 + 0 b2190 + 0 b2191 + 0 b2192 + 0 b2193 + 0 b2194 + 0 b2195 + 0 b2196 + 0 b2197 + 0 b2198 + 0 b2199 + 0 b2200 + 0 b2201 + 0 b2202 + 0 b2203 + 0 b2204 + 0 b2205 + 0 b2206 + 0 b2207 + 0 b2208 + 0 b2209 + 0 b2210 + 0 b2211 + 0 b2212 + 0 b2213 + 0 b2214 + 0 b2215 + 0 b2216 + 0 b2217 + 0 b2218 + 0 b2219 + 0 b2220 + 0 b2221 + 0 b2222 + 0 b2223 + 0 b2224 + 0 b2225 + 0 b2226 + 0 b2227 + 0 b2228 + 0 b2229 + 0 b2230 + 0 b2231 + 0 b2232 + 0 b2233 + 0 b2234 + 0 b2235 + 0 b2236 + 0 b2237 + 0 b2238 + 0 b2239 + 0 b2240 + 0 b2241 + 0 b2242 + 0 b2243 + 0 b2244 + 0 b2245 + 0 b2246 + 0 b2247 + 0 b2248 + 0 b2249 + 0 b2250 + 0 b2251 + 0 b2252 + 0 b2253 + 0 b2254 + 0 b2255 + 0 b2256 + 0 b2257 + 0 b2258 + 0 b2259 + 0 b2260 + 0 b2261 + 0 b2262 + 0 b2263 + 0 b2264 + 0 b2265 + 0 b2266 + 0 b2267 + 0 b2268 + 0 b2269 + 0 b2270 + 0 b2271 + 0 b2272 + 0 b2273 + 0 b2274 + 0 b2275 + 0 b2276 + 0 b2277 + 0 b2278 + 0 b2279 + 0 b2280 + 0 b2281 + 0 b2282 + 0 b2283 + 0 b2284 + 0 b2285 + 0 b2286 + 0 b2287 + 0 b2288 + 0 b2289 + 0 b2290 + 0 b2291 + 0 b2292 + 0 b2293 + 0 b2294 + 0 b2295 + 0 b2296 + 0 b2297 + 0 b2298 + 0 b2299 + 0 b2300 + 0 b2301 + 0 b2302 + 0 b2303 + 0 b2304 + 0 b2305 + 0 b2306 + 0 b2307 + 0 b2308 + 0 b2309 + 0 b2310 + 0 b2311 + 0 b2312 + 0 b2313 + 0 b2314 + 0 b2315 + 0 b2316 + 0 b2317 + 0 b2318 + 0 b2319 + 0 b2320 + 0 b2321 + 0 b2322 + 0 b2323 + 0 b2324 + 0 b2325 + 0 b2326 + 0 b2327 + 0 b2328 + 0 b2329 + 0 b2330 + 0 b2331 + 0 b2332 + 0 b2333 + 0 b2334 + 0 b2335 + 0 b2336 + 0 b2337 + 0 b2338 + 0 b2339 + 0 b2340 + 0 b2341 + 0 b2342 + 0 b2343 + 0 b2344 + 0 b2345 + 0 b2346 + 0 b2347 + 0 b2348 + 0 b2349 + 0 b2350 + 0 b2351 + 0 b2352 + 0 b2353 + 0 b2354 + 0 b2355 + 0 b2356 + 0 b2357 + 0 b2358 + 0 b2359 + 0 b2360 + 0 b2361 + 0 b2362 + 0 b2363 + 0 b2364 + 0 b2365 + 0 b2366 + 0 b2367 + 0 b2368 + 0 b2369 + 0 b2370 + 0 b2371 + 0 b2372 + 0 b2373 + 0 b2374 + 0 b2375 + 0 b2376 + 0 b2377 + 0 b2378 + 0 b2379 + 0 b2380 + 0 b2381 + 0 b2382 + 0 b2383 + 0 b2384 + 0 b2385 + 0 b2386 + 0 b2387 + 0 b2388 + 0 b2389 + 0 b2390 + 0 b2391 + 0 b2392 + 0 b2393 + 0 b2394 + 0 b2395 + 0 b2396 + 0 b2397 + 0 b2398 + 0 b2399 + 0 b2400 + 0 b2401 + 0 b2402 + 0 b2403 + 0 b2404 + 0 b2405 + 0 b2406 + 0 b2407 + 0 b2408 + 0 b2409 + 0 b2410 + 0 b2411 + 0 b2412 + 0 b2413 + 0 b2414 + 0 b2415 + 0 b2416 + 0 b2417 + 0 b2418 + 0 b2419 + 0 b2420 + 0 b2421 + 0 b2422 + 0 b2423 + 0 b2424 + 0 b2425 + 0 b2426 + 0 b2427 + 0 b2428 + 0 b2429 + 0 b2430 + 0 b2431 + 0 b2432 + 0 b2433 + 0 b2434 + 0 b2435 + 0 b2436 + 0 b2437 + 0 b2438 + 0 b2439 + 0 b2440 + 0 b2441 + 0 b2442 + 0 b2443 + 0 b2444 + 0 b2445 + 0 b2446 + 0 b2447 + 0 b2448 + 0 b2449 + 0 b2450 + 0 b2451 + 0 b2452 + 0 b2453 + 0 b2454 + 0 b2455 + 0 b2456 + 0 b2457 + 0 b2458 + 0 b2459 + 0 b2460 + 0 b2461 + 0 b2462 + 0 b2463 + 0 b2464 + 0 b2465 + 0 b2466 + 0 b2467 + 0 b2468 + 0 b2469 + 0 b2470 + 0 b2471 + 0 b2472 + 0 b2473 + 0 b2474 + 0 b2475 + 0 b2476 + 0 b2477 + 0 b2478 + 0 b2479 + 0 b2480 + 0 b2481 + 0 b2482 + 0 b2483 + 0 b2484 + x2485 Subject To e1: - x1 - x2 - x3 + x83 - x1589 - x1688 - x1769 - x1796 - x1853 - x1880 - x1945 - x1972 = 0 e2: - x4 - x5 - x6 + x84 - x1571 - x1579 - x1590 - x1616 - x1628 - x1638 - x1648 - x1658 - x1668 - x1678 - x1689 - x1715 - x1727 - x1741 - x1755 - x1770 - x1797 - x1823 - x1831 - x1839 - x1854 - x1881 - x1907 - x1917 - x1925 - x1933 - x1946 - x1973 = 0 e3: - x7 - x8 - x9 + x85 - x1591 - x1690 - x1771 - x1798 - x1855 - x1882 - x1947 - x1974 = 0 e4: - x10 - x11 - x12 + x87 - x1572 - x1580 - x1592 - x1617 - x1629 - x1639 - x1649 - x1659 - x1669 - x1679 - x1691 - x1716 - x1728 - x1742 - x1756 - x1772 - x1799 - x1824 - x1832 - x1840 - x1856 - x1883 - x1908 - x1918 - x1926 - x1934 - x1948 - x1975 = 0 e5: - x13 - x14 - x15 + x88 - x1573 - x1581 - x1593 - x1618 - x1630 - x1640 - x1650 - x1660 - x1670 - x1680 - x1692 - x1717 - x1729 - x1743 - x1757 - x1773 - x1800 - x1825 - x1833 - x1841 - x1857 - x1884 - x1909 - x1919 - x1927 - x1935 - x1949 - x1976 = 0 e6: - x16 - x17 - x18 + x93 - x1574 - x1582 - x1594 - x1619 - x1631 - x1641 - x1651 - x1661 - x1671 - x1681 - x1693 - x1718 - x1730 - x1744 - x1758 - x1774 - x1801 - x1826 - x1834 - x1842 - x1858 - x1885 - x1910 - x1920 - x1928 - x1936 - x1950 - x1977 = 0 e7: - x19 - x20 - x21 + x94 - x1575 - x1583 - x1595 - x1620 - x1632 - x1642 - x1652 - x1662 - x1672 - x1682 - x1694 - x1719 - x1731 - x1745 - x1759 - x1775 - x1802 - x1827 - x1835 - x1843 - x1859 - x1886 - x1911 - x1921 - x1929 - x1937 - x1951 - x1978 = 0 e8: - x22 - x23 - x24 + x96 - x1576 - x1584 - x1596 - x1621 - x1633 - x1643 - x1653 - x1663 - x1673 - x1683 - x1695 - x1720 - x1732 - x1746 - x1760 - x1776 - x1803 - x1828 - x1836 - x1844 - x1860 - x1887 - x1912 - x1922 - x1930 - x1938 - x1952 - x1979 = 0 e9: - x25 - x26 - x27 + x97 - x1577 - x1585 - x1597 - x1622 - x1634 - x1644 - x1654 - x1664 - x1674 - x1684 - x1696 - x1721 - x1733 - x1747 - x1761 - x1777 - x1804 - x1829 - x1837 - x1845 - x1861 - x1888 - x1913 - x1923 - x1931 - x1939 - x1953 - x1980 = 0 e10: - x28 - x29 - x30 + x98 - x1586 - x1598 - x1623 - x1635 - x1645 - x1655 - x1665 - x1675 - x1685 - x1697 - x1722 - x1734 - x1748 - x1762 - x1778 - x1805 - x1846 - x1862 - x1889 - x1940 - x1954 - x1981 = 0 e11: - x31 - x32 - x33 + x99 - x1599 - x1698 - x1779 - x1806 - x1863 - x1890 - x1955 - x1982 = 0 e12: - x34 - x35 - x36 + x104 - x1600 - x1699 - x1735 - x1749 - x1763 - x1780 - x1807 - x1847 - x1864 - x1891 - x1956 - x1983 = 0 e13: - x37 - x38 - x39 + x108 - x1601 - x1700 - x1781 - x1808 - x1865 - x1892 - x1957 - x1984 = 0 e14: - x40 - x41 - x42 + x109 - x1602 - x1701 - x1782 - x1809 - x1866 - x1893 - x1958 - x1985 = 0 e15: - x43 - x44 - x45 + x110 - x1603 - x1702 - x1783 - x1810 - x1867 - x1894 - x1959 - x1986 = 0 e16: - x46 - x47 - x48 + x111 - x1604 - x1703 - x1784 - x1811 - x1868 - x1895 - x1960 - x1987 = 0 e17: - x49 - x50 - x51 + x112 - x1605 - x1704 - x1785 - x1812 - x1869 - x1896 - x1961 - x1988 = 0 e18: - x52 - x53 - x54 + x114 - x1606 - x1705 - x1736 - x1750 - x1764 - x1786 - x1813 - x1848 - x1870 - x1897 - x1962 - x1989 = 0 e19: - x55 - x56 - x57 + x116 - x1607 - x1706 - x1737 - x1751 - x1765 - x1787 - x1814 - x1849 - x1871 - x1898 - x1963 - x1990 = 0 e20: - x58 - x59 - x60 + x118 - x1608 - x1707 - x1788 - x1815 - x1872 - x1899 - x1964 - x1991 = 0 e21: - x61 - x62 - x63 + x120 - x1609 - x1708 - x1738 - x1752 - x1766 - x1789 - x1816 - x1850 - x1873 - x1900 - x1965 - x1992 = 0 e22: - x64 - x65 - x66 + x122 - x1610 - x1709 - x1790 - x1817 - x1874 - x1901 - x1966 - x1993 = 0 e23: - x67 - x68 - x69 + x125 - x1611 - x1624 - x1710 - x1723 - x1791 - x1818 - x1875 - x1902 - x1914 - x1941 - x1967 - x1994 = 0 e24: - x70 - x71 - x72 + x127 - x1612 - x1625 - x1711 - x1724 - x1792 - x1819 - x1876 - x1903 - x1915 - x1942 - x1968 - x1995 = 0 e25: - x73 - x74 - x75 + x128 - x1587 - x1613 - x1626 - x1636 - x1646 - x1656 - x1666 - x1676 - x1686 - x1712 - x1725 - x1739 - x1753 - x1767 - x1793 - x1820 - x1851 - x1877 - x1904 - x1943 - x1969 - x1996 = 0 e26: - x76 - x77 - x78 + x131 - x1614 - x1713 - x1794 - x1821 - x1878 - x1905 - x1970 - x1997 = 0 e27: - x79 - x80 - x81 + x133 - x1578 - x1588 - x1615 - x1627 - x1637 - x1647 - x1657 - x1667 - x1677 - x1687 - x1714 - x1726 - x1740 - x1754 - x1768 - x1795 - x1822 - x1830 - x1838 - x1852 - x1879 - x1906 - x1916 - x1924 - x1932 - x1944 - x1971 - x1998 = 0 e28: x83 - x1571 - x1572 - x1573 - x1574 - x1575 - x1576 - x1577 - x1578 = 0 e29: x85 - x1579 - x1580 - x1581 - x1582 - x1583 - x1584 - x1585 - x1586 - x1587 - x1588 = 0 e30: x86 - x1589 - x1590 - x1591 - x1592 - x1593 - x1594 - x1595 - x1596 - x1597 - x1598 - x1599 - x1600 - x1601 - x1602 - x1603 - x1604 - x1605 - x1606 - x1607 - x1608 - x1609 - x1610 - x1611 - x1612 - x1613 - x1614 - x1615 = 0 e31: x88 - x1616 - x1617 - x1618 - x1619 - x1620 - x1621 - x1622 - x1623 - x1624 - x1625 - x1626 - x1627 = 0 e32: x89 - x1628 - x1629 - x1630 - x1631 - x1632 - x1633 - x1634 - x1635 - x1636 - x1637 = 0 e33: x90 - x1638 - x1639 - x1640 - x1641 - x1642 - x1643 - x1644 - x1645 - x1646 - x1647 = 0 e34: x91 - x1648 - x1649 - x1650 - x1651 - x1652 - x1653 - x1654 - x1655 - x1656 - x1657 = 0 e35: x92 - x1658 - x1659 - x1660 - x1661 - x1662 - x1663 - x1664 - x1665 - x1666 - x1667 = 0 e36: x95 - x1668 - x1669 - x1670 - x1671 - x1672 - x1673 - x1674 - x1675 - x1676 - x1677 = 0 e37: x96 - x1678 - x1679 - x1680 - x1681 - x1682 - x1683 - x1684 - x1685 - x1686 - x1687 = 0 e38: x100 - x1688 - x1689 - x1690 - x1691 - x1692 - x1693 - x1694 - x1695 - x1696 - x1697 - x1698 - x1699 - x1700 - x1701 - x1702 - x1703 - x1704 - x1705 - x1706 - x1707 - x1708 - x1709 - x1710 - x1711 - x1712 - x1713 - x1714 = 0 e39: x101 - x1715 - x1716 - x1717 - x1718 - x1719 - x1720 - x1721 - x1722 - x1723 - x1724 - x1725 - x1726 = 0 e40: x102 - x1727 - x1728 - x1729 - x1730 - x1731 - x1732 - x1733 - x1734 - x1735 - x1736 - x1737 - x1738 - x1739 - x1740 = 0 e41: x103 - x1741 - x1742 - x1743 - x1744 - x1745 - x1746 - x1747 - x1748 - x1749 - x1750 - x1751 - x1752 - x1753 - x1754 = 0 e42: x105 - x1755 - x1756 - x1757 - x1758 - x1759 - x1760 - x1761 - x1762 - x1763 - x1764 - x1765 - x1766 - x1767 - x1768 = 0 e43: x106 - x1769 - x1770 - x1771 - x1772 - x1773 - x1774 - x1775 - x1776 - x1777 - x1778 - x1779 - x1780 - x1781 - x1782 - x1783 - x1784 - x1785 - x1786 - x1787 - x1788 - x1789 - x1790 - x1791 - x1792 - x1793 - x1794 - x1795 = 0 e44: x107 - x1796 - x1797 - x1798 - x1799 - x1800 - x1801 - x1802 - x1803 - x1804 - x1805 - x1806 - x1807 - x1808 - x1809 - x1810 - x1811 - x1812 - x1813 - x1814 - x1815 - x1816 - x1817 - x1818 - x1819 - x1820 - x1821 - x1822 = 0 e45: x113 - x1823 - x1824 - x1825 - x1826 - x1827 - x1828 - x1829 - x1830 = 0 e46: x115 - x1831 - x1832 - x1833 - x1834 - x1835 - x1836 - x1837 - x1838 = 0 e47: x117 - x1839 - x1840 - x1841 - x1842 - x1843 - x1844 - x1845 - x1846 - x1847 - x1848 - x1849 - x1850 - x1851 - x1852 = 0 e48: x119 - x1853 - x1854 - x1855 - x1856 - x1857 - x1858 - x1859 - x1860 - x1861 - x1862 - x1863 - x1864 - x1865 - x1866 - x1867 - x1868 - x1869 - x1870 - x1871 - x1872 - x1873 - x1874 - x1875 - x1876 - x1877 - x1878 - x1879 = 0 e49: x121 - x1880 - x1881 - x1882 - x1883 - x1884 - x1885 - x1886 - x1887 - x1888 - x1889 - x1890 - x1891 - x1892 - x1893 - x1894 - x1895 - x1896 - x1897 - x1898 - x1899 - x1900 - x1901 - x1902 - x1903 - x1904 - x1905 - x1906 = 0 e50: x123 - x1907 - x1908 - x1909 - x1910 - x1911 - x1912 - x1913 - x1914 - x1915 - x1916 = 0 e51: x124 - x1917 - x1918 - x1919 - x1920 - x1921 - x1922 - x1923 - x1924 = 0 e52: x126 - x1925 - x1926 - x1927 - x1928 - x1929 - x1930 - x1931 - x1932 = 0 e53: x129 - x1933 - x1934 - x1935 - x1936 - x1937 - x1938 - x1939 - x1940 - x1941 - x1942 - x1943 - x1944 = 0 e54: x130 - x1945 - x1946 - x1947 - x1948 - x1949 - x1950 - x1951 - x1952 - x1953 - x1954 - x1955 - x1956 - x1957 - x1958 - x1959 - x1960 - x1961 - x1962 - x1963 - x1964 - x1965 - x1966 - x1967 - x1968 - x1969 - x1970 - x1971 = 0 e55: x132 - x1972 - x1973 - x1974 - x1975 - x1976 - x1977 - x1978 - x1979 - x1980 - x1981 - x1982 - x1983 - x1984 - x1985 - x1986 - x1987 - x1988 - x1989 - x1990 - x1991 - x1992 - x1993 - x1994 - x1995 - x1996 - x1997 - x1998 = 0 e56: - 6 x3 + x134 - x341 - x638 - x881 - x962 - x1133 - x1214 - x1409 - x1490 = 0 e57: - 3 x2 - 7 x3 + x135 - x342 - x639 - x882 - x963 - x1134 - x1215 - x1410 - x1491 = 0 e58: x136 - x343 - x640 - x883 - x964 - x1135 - x1216 - x1411 - x1492 = 0 e59: - 6 x6 + x137 - x287 - x311 - x344 - x422 - x458 - x488 - x518 - x548 - x578 - x608 - x641 - x719 - x755 - x797 - x839 - x884 - x965 - x1043 - x1067 - x1091 - x1136 - x1217 - x1295 - x1325 - x1349 - x1373 - x1412 - x1493 = 0 e60: - 3 x5 - 7 x6 + x138 - x288 - x312 - x345 - x423 - x459 - x489 - x519 - x549 - x579 - x609 - x642 - x720 - x756 - x798 - x840 - x885 - x966 - x1044 - x1068 - x1092 - x1137 - x1218 - x1296 - x1326 - x1350 - x1374 - x1413 - x1494 = 0 e61: x139 - x289 - x313 - x346 - x424 - x460 - x490 - x520 - x550 - x580 - x610 - x643 - x721 - x757 - x799 - x841 - x886 - x967 - x1045 - x1069 - x1093 - x1138 - x1219 - x1297 - x1327 - x1351 - x1375 - x1414 - x1495 = 0 e62: - 6 x9 + x140 - x347 - x644 - x887 - x968 - x1139 - x1220 - x1415 - x1496 = 0 e63: - 3 x8 - 7 x9 + x141 - x348 - x645 - x888 - x969 - x1140 - x1221 - x1416 - x1497 = 0 e64: x142 - x349 - x646 - x889 - x970 - x1141 - x1222 - x1417 - x1498 = 0 e65: - 6 x12 + x146 - x290 - x314 - x350 - x425 - x461 - x491 - x521 - x551 - x581 - x611 - x647 - x722 - x758 - x800 - x842 - x890 - x971 - x1046 - x1070 - x1094 - x1142 - x1223 - x1298 - x1328 - x1352 - x1376 - x1418 - x1499 = 0 e66: - 3 x11 - 7 x12 + x147 - x291 - x315 - x351 - x426 - x462 - x492 - x522 - x552 - x582 - x612 - x648 - x723 - x759 - x801 - x843 - x891 - x972 - x1047 - x1071 - x1095 - x1143 - x1224 - x1299 - x1329 - x1353 - x1377 - x1419 - x1500 = 0 e67: x148 - x292 - x316 - x352 - x427 - x463 - x493 - x523 - x553 - x583 - x613 - x649 - x724 - x760 - x802 - x844 - x892 - x973 - x1048 - x1072 - x1096 - x1144 - x1225 - x1300 - x1330 - x1354 - x1378 - x1420 - x1501 = 0 e68: - 6 x15 + x149 - x293 - x317 - x353 - x428 - x464 - x494 - x524 - x554 - x584 - x614 - x650 - x725 - x761 - x803 - x845 - x893 - x974 - x1049 - x1073 - x1097 - x1145 - x1226 - x1301 - x1331 - x1355 - x1379 - x1421 - x1502 = 0 e69: - 3 x14 - 7 x15 + x150 - x294 - x318 - x354 - x429 - x465 - x495 - x525 - x555 - x585 - x615 - x651 - x726 - x762 - x804 - x846 - x894 - x975 - x1050 - x1074 - x1098 - x1146 - x1227 - x1302 - x1332 - x1356 - x1380 - x1422 - x1503 = 0 e70: x151 - x295 - x319 - x355 - x430 - x466 - x496 - x526 - x556 - x586 - x616 - x652 - x727 - x763 - x805 - x847 - x895 - x976 - x1051 - x1075 - x1099 - x1147 - x1228 - x1303 - x1333 - x1357 - x1381 - x1423 - x1504 = 0 e71: - 6 x18 + x164 - x296 - x320 - x356 - x431 - x467 - x497 - x527 - x557 - x587 - x617 - x653 - x728 - x764 - x806 - x848 - x896 - x977 - x1052 - x1076 - x1100 - x1148 - x1229 - x1304 - x1334 - x1358 - x1382 - x1424 - x1505 = 0 e72: - 3 x17 - 7 x18 + x165 - x297 - x321 - x357 - x432 - x468 - x498 - x528 - x558 - x588 - x618 - x654 - x729 - x765 - x807 - x849 - x897 - x978 - x1053 - x1077 - x1101 - x1149 - x1230 - x1305 - x1335 - x1359 - x1383 - x1425 - x1506 = 0 e73: x166 - x298 - x322 - x358 - x433 - x469 - x499 - x529 - x559 - x589 - x619 - x655 - x730 - x766 - x808 - x850 - x898 - x979 - x1054 - x1078 - x1102 - x1150 - x1231 - x1306 - x1336 - x1360 - x1384 - x1426 - x1507 = 0 e74: - 6 x21 + x167 - x299 - x323 - x359 - x434 - x470 - x500 - x530 - x560 - x590 - x620 - x656 - x731 - x767 - x809 - x851 - x899 - x980 - x1055 - x1079 - x1103 - x1151 - x1232 - x1307 - x1337 - x1361 - x1385 - x1427 - x1508 = 0 e75: - 3 x20 - 7 x21 + x168 - x300 - x324 - x360 - x435 - x471 - x501 - x531 - x561 - x591 - x621 - x657 - x732 - x768 - x810 - x852 - x900 - x981 - x1056 - x1080 - x1104 - x1152 - x1233 - x1308 - x1338 - x1362 - x1386 - x1428 - x1509 = 0 e76: x169 - x301 - x325 - x361 - x436 - x472 - x502 - x532 - x562 - x592 - x622 - x658 - x733 - x769 - x811 - x853 - x901 - x982 - x1057 - x1081 - x1105 - x1153 - x1234 - x1309 - x1339 - x1363 - x1387 - x1429 - x1510 = 0 e77: - 6 x24 + x173 - x302 - x326 - x362 - x437 - x473 - x503 - x533 - x563 - x593 - x623 - x659 - x734 - x770 - x812 - x854 - x902 - x983 - x1058 - x1082 - x1106 - x1154 - x1235 - x1310 - x1340 - x1364 - x1388 - x1430 - x1511 = 0 e78: - 3 x23 - 7 x24 + x174 - x303 - x327 - x363 - x438 - x474 - x504 - x534 - x564 - x594 - x624 - x660 - x735 - x771 - x813 - x855 - x903 - x984 - x1059 - x1083 - x1107 - x1155 - x1236 - x1311 - x1341 - x1365 - x1389 - x1431 - x1512 = 0 e79: x175 - x304 - x328 - x364 - x439 - x475 - x505 - x535 - x565 - x595 - x625 - x661 - x736 - x772 - x814 - x856 - x904 - x985 - x1060 - x1084 - x1108 - x1156 - x1237 - x1312 - x1342 - x1366 - x1390 - x1432 - x1513 = 0 e80: - 6 x27 + x176 - x305 - x329 - x365 - x440 - x476 - x506 - x536 - x566 - x596 - x626 - x662 - x737 - x773 - x815 - x857 - x905 - x986 - x1061 - x1085 - x1109 - x1157 - x1238 - x1313 - x1343 - x1367 - x1391 - x1433 - x1514 = 0 e81: - 3 x26 - 7 x27 + x177 - x306 - x330 - x366 - x441 - x477 - x507 - x537 - x567 - x597 - x627 - x663 - x738 - x774 - x816 - x858 - x906 - x987 - x1062 - x1086 - x1110 - x1158 - x1239 - x1314 - x1344 - x1368 - x1392 - x1434 - x1515 = 0 e82: x178 - x307 - x331 - x367 - x442 - x478 - x508 - x538 - x568 - x598 - x628 - x664 - x739 - x775 - x817 - x859 - x907 - x988 - x1063 - x1087 - x1111 - x1159 - x1240 - x1315 - x1345 - x1369 - x1393 - x1435 - x1516 = 0 e83: - 6 x30 + x179 - x332 - x368 - x443 - x479 - x509 - x539 - x569 - x599 - x629 - x665 - x740 - x776 - x818 - x860 - x908 - x989 - x1112 - x1160 - x1241 - x1394 - x1436 - x1517 = 0 e84: - 3 x29 - 7 x30 + x180 - x333 - x369 - x444 - x480 - x510 - x540 - x570 - x600 - x630 - x666 - x741 - x777 - x819 - x861 - x909 - x990 - x1113 - x1161 - x1242 - x1395 - x1437 - x1518 = 0 e85: x181 - x334 - x370 - x445 - x481 - x511 - x541 - x571 - x601 - x631 - x667 - x742 - x778 - x820 - x862 - x910 - x991 - x1114 - x1162 - x1243 - x1396 - x1438 - x1519 = 0 e86: - 6 x33 + x182 - x371 - x668 - x911 - x992 - x1163 - x1244 - x1439 - x1520 = 0 e87: - 3 x32 - 7 x33 + x183 - x372 - x669 - x912 - x993 - x1164 - x1245 - x1440 - x1521 = 0 e88: x184 - x373 - x670 - x913 - x994 - x1165 - x1246 - x1441 - x1522 = 0 e89: - 6 x36 + x197 - x374 - x671 - x779 - x821 - x863 - x914 - x995 - x1115 - x1166 - x1247 - x1442 - x1523 = 0 e90: - 3 x35 - 7 x36 + x198 - x375 - x672 - x780 - x822 - x864 - x915 - x996 - x1116 - x1167 - x1248 - x1443 - x1524 = 0 e91: x199 - x376 - x673 - x781 - x823 - x865 - x916 - x997 - x1117 - x1168 - x1249 - x1444 - x1525 = 0 e92: - 6 x39 + x209 - x377 - x674 - x917 - x998 - x1169 - x1250 - x1445 - x1526 = 0 e93: - 3 x38 - 7 x39 + x210 - x378 - x675 - x918 - x999 - x1170 - x1251 - x1446 - x1527 = 0 e94: x211 - x379 - x676 - x919 - x1000 - x1171 - x1252 - x1447 - x1528 = 0 e95: - 6 x42 + x212 - x380 - x677 - x920 - x1001 - x1172 - x1253 - x1448 - x1529 = 0 e96: - 3 x41 - 7 x42 + x213 - x381 - x678 - x921 - x1002 - x1173 - x1254 - x1449 - x1530 = 0 e97: x214 - x382 - x679 - x922 - x1003 - x1174 - x1255 - x1450 - x1531 = 0 e98: - 6 x45 + x215 - x383 - x680 - x923 - x1004 - x1175 - x1256 - x1451 - x1532 = 0 e99: - 3 x44 - 7 x45 + x216 - x384 - x681 - x924 - x1005 - x1176 - x1257 - x1452 - x1533 = 0 e100: x217 - x385 - x682 - x925 - x1006 - x1177 - x1258 - x1453 - x1534 = 0 e101: - 6 x48 + x218 - x386 - x683 - x926 - x1007 - x1178 - x1259 - x1454 - x1535 = 0 e102: - 3 x47 - 7 x48 + x219 - x387 - x684 - x927 - x1008 - x1179 - x1260 - x1455 - x1536 = 0 e103: x220 - x388 - x685 - x928 - x1009 - x1180 - x1261 - x1456 - x1537 = 0 e104: - 6 x51 + x221 - x389 - x686 - x929 - x1010 - x1181 - x1262 - x1457 - x1538 = 0 e105: - 3 x50 - 7 x51 + x222 - x390 - x687 - x930 - x1011 - x1182 - x1263 - x1458 - x1539 = 0 e106: x223 - x391 - x688 - x931 - x1012 - x1183 - x1264 - x1459 - x1540 = 0 e107: - 6 x54 + x227 - x392 - x689 - x782 - x824 - x866 - x932 - x1013 - x1118 - x1184 - x1265 - x1460 - x1541 = 0 e108: - 3 x53 - 7 x54 + x228 - x393 - x690 - x783 - x825 - x867 - x933 - x1014 - x1119 - x1185 - x1266 - x1461 - x1542 = 0 e109: x229 - x394 - x691 - x784 - x826 - x868 - x934 - x1015 - x1120 - x1186 - x1267 - x1462 - x1543 = 0 e110: - 6 x57 + x233 - x395 - x692 - x785 - x827 - x869 - x935 - x1016 - x1121 - x1187 - x1268 - x1463 - x1544 = 0 e111: - 3 x56 - 7 x57 + x234 - x396 - x693 - x786 - x828 - x870 - x936 - x1017 - x1122 - x1188 - x1269 - x1464 - x1545 = 0 e112: x235 - x397 - x694 - x787 - x829 - x871 - x937 - x1018 - x1123 - x1189 - x1270 - x1465 - x1546 = 0 e113: - 6 x60 + x239 - x398 - x695 - x938 - x1019 - x1190 - x1271 - x1466 - x1547 = 0 e114: - 3 x59 - 7 x60 + x240 - x399 - x696 - x939 - x1020 - x1191 - x1272 - x1467 - x1548 = 0 e115: x241 - x400 - x697 - x940 - x1021 - x1192 - x1273 - x1468 - x1549 = 0 e116: - 6 x63 + x245 - x401 - x698 - x788 - x830 - x872 - x941 - x1022 - x1124 - x1193 - x1274 - x1469 - x1550 = 0 e117: - 3 x62 - 7 x63 + x246 - x402 - x699 - x789 - x831 - x873 - x942 - x1023 - x1125 - x1194 - x1275 - x1470 - x1551 = 0 e118: x247 - x403 - x700 - x790 - x832 - x874 - x943 - x1024 - x1126 - x1195 - x1276 - x1471 - x1552 = 0 e119: - 6 x66 + x251 - x404 - x701 - x944 - x1025 - x1196 - x1277 - x1472 - x1553 = 0 e120: - 3 x65 - 7 x66 + x252 - x405 - x702 - x945 - x1026 - x1197 - x1278 - x1473 - x1554 = 0 e121: x253 - x406 - x703 - x946 - x1027 - x1198 - x1279 - x1474 - x1555 = 0 e122: - 6 x69 + x260 - x407 - x446 - x704 - x743 - x947 - x1028 - x1199 - x1280 - x1316 - x1397 - x1475 - x1556 = 0 e123: - 3 x68 - 7 x69 + x261 - x408 - x447 - x705 - x744 - x948 - x1029 - x1200 - x1281 - x1317 - x1398 - x1476 - x1557 = 0 e124: x262 - x409 - x448 - x706 - x745 - x949 - x1030 - x1201 - x1282 - x1318 - x1399 - x1477 - x1558 = 0 e125: - 6 x72 + x266 - x410 - x449 - x707 - x746 - x950 - x1031 - x1202 - x1283 - x1319 - x1400 - x1478 - x1559 = 0 e126: - 3 x71 - 7 x72 + x267 - x411 - x450 - x708 - x747 - x951 - x1032 - x1203 - x1284 - x1320 - x1401 - x1479 - x1560 = 0 e127: x268 - x412 - x451 - x709 - x748 - x952 - x1033 - x1204 - x1285 - x1321 - x1402 - x1480 - x1561 = 0 e128: - 6 x75 + x269 - x335 - x413 - x452 - x482 - x512 - x542 - x572 - x602 - x632 - x710 - x749 - x791 - x833 - x875 - x953 - x1034 - x1127 - x1205 - x1286 - x1403 - x1481 - x1562 = 0 e129: - 3 x74 - 7 x75 + x270 - x336 - x414 - x453 - x483 - x513 - x543 - x573 - x603 - x633 - x711 - x750 - x792 - x834 - x876 - x954 - x1035 - x1128 - x1206 - x1287 - x1404 - x1482 - x1563 = 0 e130: x271 - x337 - x415 - x454 - x484 - x514 - x544 - x574 - x604 - x634 - x712 - x751 - x793 - x835 - x877 - x955 - x1036 - x1129 - x1207 - x1288 - x1405 - x1483 - x1564 = 0 e131: - 6 x78 + x278 - x416 - x713 - x956 - x1037 - x1208 - x1289 - x1484 - x1565 = 0 e132: - 3 x77 - 7 x78 + x279 - x417 - x714 - x957 - x1038 - x1209 - x1290 - x1485 - x1566 = 0 e133: x280 - x418 - x715 - x958 - x1039 - x1210 - x1291 - x1486 - x1567 = 0 e134: - 6 x81 + x284 - x308 - x338 - x419 - x455 - x485 - x515 - x545 - x575 - x605 - x635 - x716 - x752 - x794 - x836 - x878 - x959 - x1040 - x1064 - x1088 - x1130 - x1211 - x1292 - x1322 - x1346 - x1370 - x1406 - x1487 - x1568 = 0 e135: - 3 x80 - 7 x81 + x285 - x309 - x339 - x420 - x456 - x486 - x516 - x546 - x576 - x606 - x636 - x717 - x753 - x795 - x837 - x879 - x960 - x1041 - x1065 - x1089 - x1131 - x1212 - x1293 - x1323 - x1347 - x1371 - x1407 - x1488 - x1569 = 0 e136: x286 - x310 - x340 - x421 - x457 - x487 - x517 - x547 - x577 - x607 - x637 - x718 - x754 - x796 - x838 - x880 - x961 - x1042 - x1066 - x1090 - x1132 - x1213 - x1294 - x1324 - x1348 - x1372 - x1408 - x1489 - x1570 = 0 e137: 7 x83 + x134 - x287 - x290 - x293 - x296 - x299 - x302 - x305 - x308 = 0 e138: 59 x83 + x135 - x288 - x291 - x294 - x297 - x300 - x303 - x306 - x309 = 0 e139: 7 x83 + x136 - x289 - x292 - x295 - x298 - x301 - x304 - x307 - x310 = 0 e140: 7 x85 + x140 - x311 - x314 - x317 - x320 - x323 - x326 - x329 - x332 - x335 - x338 = 0 e141: 80 x85 + x141 - x312 - x315 - x318 - x321 - x324 - x327 - x330 - x333 - x336 - x339 = 0 e142: x142 - x313 - x316 - x319 - x322 - x325 - x328 - x331 - x334 - x337 - x340 = 0 e143: - x341 - x344 - x347 - x350 - x353 - x356 - x359 - x362 - x365 - x368 - x371 - x374 - x377 - x380 - x383 - x386 - x389 - x392 - x395 - x398 - x401 - x404 - x407 - x410 - x413 - x416 - x419 = 0 e144: - x342 - x345 - x348 - x351 - x354 - x357 - x360 - x363 - x366 - x369 - x372 - x375 - x378 - x381 - x384 - x387 - x390 - x393 - x396 - x399 - x402 - x405 - x408 - x411 - x414 - x417 - x420 = 0 e145: - x343 - x346 - x349 - x352 - x355 - x358 - x361 - x364 - x367 - x370 - x373 - x376 - x379 - x382 - x385 - x388 - x391 - x394 - x397 - x400 - x403 - x406 - x409 - x412 - x415 - x418 - x421 = 0 e146: x149 - x422 - x425 - x428 - x431 - x434 - x437 - x440 - x443 - x446 - x449 - x452 - x455 = 0 e147: 1.7e2 x88 + x150 - x423 - x426 - x429 - x432 - x435 - x438 - x441 - x444 - x447 - x450 - x453 - x456 = 0 e148: x151 - x424 - x427 - x430 - x433 - x436 - x439 - x442 - x445 - x448 - x451 - x454 - x457 = 0 e149: 500 x89 - x458 - x461 - x464 - x467 - x470 - x473 - x476 - x479 - x482 - x485 = 0 e150: 500 x89 - x459 - x462 - x465 - x468 - x471 - x474 - x477 - x480 - x483 - x486 = 0 e151: - x460 - x463 - x466 - x469 - x472 - x475 - x478 - x481 - x484 - x487 = 0 e152: 500 x90 - x488 - x491 - x494 - x497 - x500 - x503 - x506 - x509 - x512 - x515 = 0 e153: 500 x90 - x489 - x492 - x495 - x498 - x501 - x504 - x507 - x510 - x513 - x516 = 0 e154: - x490 - x493 - x496 - x499 - x502 - x505 - x508 - x511 - x514 - x517 = 0 e155: 500 x91 - x518 - x521 - x524 - x527 - x530 - x533 - x536 - x539 - x542 - x545 = 0 e156: 500 x91 - x519 - x522 - x525 - x528 - x531 - x534 - x537 - x540 - x543 - x546 = 0 e157: - x520 - x523 - x526 - x529 - x532 - x535 - x538 - x541 - x544 - x547 = 0 e158: 500 x92 - x548 - x551 - x554 - x557 - x560 - x563 - x566 - x569 - x572 - x575 = 0 e159: 500 x92 - x549 - x552 - x555 - x558 - x561 - x564 - x567 - x570 - x573 - x576 = 0 e160: - x550 - x553 - x556 - x559 - x562 - x565 - x568 - x571 - x574 - x577 = 0 e161: 2.4e2 x95 - x578 - x581 - x584 - x587 - x590 - x593 - x596 - x599 - x602 - x605 = 0 e162: 1.4e2 x95 - x579 - x582 - x585 - x588 - x591 - x594 - x597 - x600 - x603 - x606 = 0 e163: - x580 - x583 - x586 - x589 - x592 - x595 - x598 - x601 - x604 - x607 = 0 e164: 20 x96 + x173 - x608 - x611 - x614 - x617 - x620 - x623 - x626 - x629 - x632 - x635 = 0 e165: 3 x96 + x174 - x609 - x612 - x615 - x618 - x621 - x624 - x627 - x630 - x633 - x636 = 0 e166: x175 - x610 - x613 - x616 - x619 - x622 - x625 - x628 - x631 - x634 - x637 = 0 e167: - x638 - x641 - x644 - x647 - x650 - x653 - x656 - x659 - x662 - x665 - x668 - x671 - x674 - x677 - x680 - x683 - x686 - x689 - x692 - x695 - x698 - x701 - x704 - x707 - x710 - x713 - x716 = 0 e168: - x639 - x642 - x645 - x648 - x651 - x654 - x657 - x660 - x663 - x666 - x669 - x672 - x675 - x678 - x681 - x684 - x687 - x690 - x693 - x696 - x699 - x702 - x705 - x708 - x711 - x714 - x717 = 0 e169: - x640 - x643 - x646 - x649 - x652 - x655 - x658 - x661 - x664 - x667 - x670 - x673 - x676 - x679 - x682 - x685 - x688 - x691 - x694 - x697 - x700 - x703 - x706 - x709 - x712 - x715 - x718 = 0 e170: - x719 - x722 - x725 - x728 - x731 - x734 - x737 - x740 - x743 - x746 - x749 - x752 = 0 e171: 3 x101 - x720 - x723 - x726 - x729 - x732 - x735 - x738 - x741 - x744 - x747 - x750 - x753 = 0 e172: - x721 - x724 - x727 - x730 - x733 - x736 - x739 - x742 - x745 - x748 - x751 - x754 = 0 e173: 25 x102 - x755 - x758 - x761 - x764 - x767 - x770 - x773 - x776 - x779 - x782 - x785 - x788 - x791 - x794 = 0 e174: - x756 - x759 - x762 - x765 - x768 - x771 - x774 - x777 - x780 - x783 - x786 - x789 - x792 - x795 = 0 e175: - x757 - x760 - x763 - x766 - x769 - x772 - x775 - x778 - x781 - x784 - x787 - x790 - x793 - x796 = 0 e176: 26 x103 - x797 - x800 - x803 - x806 - x809 - x812 - x815 - x818 - x821 - x824 - x827 - x830 - x833 - x836 = 0 e177: - x798 - x801 - x804 - x807 - x810 - x813 - x816 - x819 - x822 - x825 - x828 - x831 - x834 - x837 = 0 e178: - x799 - x802 - x805 - x808 - x811 - x814 - x817 - x820 - x823 - x826 - x829 - x832 - x835 - x838 = 0 e179: 163 x105 - x839 - x842 - x845 - x848 - x851 - x854 - x857 - x860 - x863 - x866 - x869 - x872 - x875 - x878 = 0 e180: - x840 - x843 - x846 - x849 - x852 - x855 - x858 - x861 - x864 - x867 - x870 - x873 - x876 - x879 = 0 e181: - x841 - x844 - x847 - x850 - x853 - x856 - x859 - x862 - x865 - x868 - x871 - x874 - x877 - x880 = 0 e182: - x881 - x884 - x887 - x890 - x893 - x896 - x899 - x902 - x905 - x908 - x911 - x914 - x917 - x920 - x923 - x926 - x929 - x932 - x935 - x938 - x941 - x944 - x947 - x950 - x953 - x956 - x959 = 0 e183: - x882 - x885 - x888 - x891 - x894 - x897 - x900 - x903 - x906 - x909 - x912 - x915 - x918 - x921 - x924 - x927 - x930 - x933 - x936 - x939 - x942 - x945 - x948 - x951 - x954 - x957 - x960 = 0 e184: - x883 - x886 - x889 - x892 - x895 - x898 - x901 - x904 - x907 - x910 - x913 - x916 - x919 - x922 - x925 - x928 - x931 - x934 - x937 - x940 - x943 - x946 - x949 - x952 - x955 - x958 - x961 = 0 e185: - x962 - x965 - x968 - x971 - x974 - x977 - x980 - x983 - x986 - x989 - x992 - x995 - x998 - x1001 - x1004 - x1007 - x1010 - x1013 - x1016 - x1019 - x1022 - x1025 - x1028 - x1031 - x1034 - x1037 - x1040 = 0 e186: - x963 - x966 - x969 - x972 - x975 - x978 - x981 - x984 - x987 - x990 - x993 - x996 - x999 - x1002 - x1005 - x1008 - x1011 - x1014 - x1017 - x1020 - x1023 - x1026 - x1029 - x1032 - x1035 - x1038 - x1041 = 0 e187: - x964 - x967 - x970 - x973 - x976 - x979 - x982 - x985 - x988 - x991 - x994 - x997 - x1000 - x1003 - x1006 - x1009 - x1012 - x1015 - x1018 - x1021 - x1024 - x1027 - x1030 - x1033 - x1036 - x1039 - x1042 = 0 e188: 58 x113 - x1043 - x1046 - x1049 - x1052 - x1055 - x1058 - x1061 - x1064 = 0 e189: - x1044 - x1047 - x1050 - x1053 - x1056 - x1059 - x1062 - x1065 = 0 e190: 9 x113 - x1045 - x1048 - x1051 - x1054 - x1057 - x1060 - x1063 - x1066 = 0 e191: 5 x115 - x1067 - x1070 - x1073 - x1076 - x1079 - x1082 - x1085 - x1088 = 0 e192: - x1068 - x1071 - x1074 - x1077 - x1080 - x1083 - x1086 - x1089 = 0 e193: 10 x115 - x1069 - x1072 - x1075 - x1078 - x1081 - x1084 - x1087 - x1090 = 0 e194: 10 x117 - x1091 - x1094 - x1097 - x1100 - x1103 - x1106 - x1109 - x1112 - x1115 - x1118 - x1121 - x1124 - x1127 - x1130 = 0 e195: - x1092 - x1095 - x1098 - x1101 - x1104 - x1107 - x1110 - x1113 - x1116 - x1119 - x1122 - x1125 - x1128 - x1131 = 0 e196: - x1093 - x1096 - x1099 - x1102 - x1105 - x1108 - x1111 - x1114 - x1117 - x1120 - x1123 - x1126 - x1129 - x1132 = 0 e197: - x1133 - x1136 - x1139 - x1142 - x1145 - x1148 - x1151 - x1154 - x1157 - x1160 - x1163 - x1166 - x1169 - x1172 - x1175 - x1178 - x1181 - x1184 - x1187 - x1190 - x1193 - x1196 - x1199 - x1202 - x1205 - x1208 - x1211 = 0 e198: - x1134 - x1137 - x1140 - x1143 - x1146 - x1149 - x1152 - x1155 - x1158 - x1161 - x1164 - x1167 - x1170 - x1173 - x1176 - x1179 - x1182 - x1185 - x1188 - x1191 - x1194 - x1197 - x1200 - x1203 - x1206 - x1209 - x1212 = 0 e199: - x1135 - x1138 - x1141 - x1144 - x1147 - x1150 - x1153 - x1156 - x1159 - x1162 - x1165 - x1168 - x1171 - x1174 - x1177 - x1180 - x1183 - x1186 - x1189 - x1192 - x1195 - x1198 - x1201 - x1204 - x1207 - x1210 - x1213 = 0 e200: - x1214 - x1217 - x1220 - x1223 - x1226 - x1229 - x1232 - x1235 - x1238 - x1241 - x1244 - x1247 - x1250 - x1253 - x1256 - x1259 - x1262 - x1265 - x1268 - x1271 - x1274 - x1277 - x1280 - x1283 - x1286 - x1289 - x1292 = 0 e201: - x1215 - x1218 - x1221 - x1224 - x1227 - x1230 - x1233 - x1236 - x1239 - x1242 - x1245 - x1248 - x1251 - x1254 - x1257 - x1260 - x1263 - x1266 - x1269 - x1272 - x1275 - x1278 - x1281 - x1284 - x1287 - x1290 - x1293 = 0 e202: - x1216 - x1219 - x1222 - x1225 - x1228 - x1231 - x1234 - x1237 - x1240 - x1243 - x1246 - x1249 - x1252 - x1255 - x1258 - x1261 - x1264 - x1267 - x1270 - x1273 - x1276 - x1279 - x1282 - x1285 - x1288 - x1291 - x1294 = 0 e203: - x1295 - x1298 - x1301 - x1304 - x1307 - x1310 - x1313 - x1316 - x1319 - x1322 = 0 e204: - x1296 - x1299 - x1302 - x1305 - x1308 - x1311 - x1314 - x1317 - x1320 - x1323 = 0 e205: 10 x123 - x1297 - x1300 - x1303 - x1306 - x1309 - x1312 - x1315 - x1318 - x1321 - x1324 = 0 e206: 57 x124 - x1325 - x1328 - x1331 - x1334 - x1337 - x1340 - x1343 - x1346 = 0 e207: - x1326 - x1329 - x1332 - x1335 - x1338 - x1341 - x1344 - x1347 = 0 e208: x124 - x1327 - x1330 - x1333 - x1336 - x1339 - x1342 - x1345 - x1348 = 0 e209: 57 x126 - x1349 - x1352 - x1355 - x1358 - x1361 - x1364 - x1367 - x1370 = 0 e210: - x1350 - x1353 - x1356 - x1359 - x1362 - x1365 - x1368 - x1371 = 0 e211: x126 - x1351 - x1354 - x1357 - x1360 - x1363 - x1366 - x1369 - x1372 = 0 e212: - x1373 - x1376 - x1379 - x1382 - x1385 - x1388 - x1391 - x1394 - x1397 - x1400 - x1403 - x1406 = 0 e213: 1.3e3 x129 - x1374 - x1377 - x1380 - x1383 - x1386 - x1389 - x1392 - x1395 - x1398 - x1401 - x1404 - x1407 = 0 e214: - x1375 - x1378 - x1381 - x1384 - x1387 - x1390 - x1393 - x1396 - x1399 - x1402 - x1405 - x1408 = 0 e215: - x1409 - x1412 - x1415 - x1418 - x1421 - x1424 - x1427 - x1430 - x1433 - x1436 - x1439 - x1442 - x1445 - x1448 - x1451 - x1454 - x1457 - x1460 - x1463 - x1466 - x1469 - x1472 - x1475 - x1478 - x1481 - x1484 - x1487 = 0 e216: - x1410 - x1413 - x1416 - x1419 - x1422 - x1425 - x1428 - x1431 - x1434 - x1437 - x1440 - x1443 - x1446 - x1449 - x1452 - x1455 - x1458 - x1461 - x1464 - x1467 - x1470 - x1473 - x1476 - x1479 - x1482 - x1485 - x1488 = 0 e217: - x1411 - x1414 - x1417 - x1420 - x1423 - x1426 - x1429 - x1432 - x1435 - x1438 - x1441 - x1444 - x1447 - x1450 - x1453 - x1456 - x1459 - x1462 - x1465 - x1468 - x1471 - x1474 - x1477 - x1480 - x1483 - x1486 - x1489 = 0 e218: - x1490 - x1493 - x1496 - x1499 - x1502 - x1505 - x1508 - x1511 - x1514 - x1517 - x1520 - x1523 - x1526 - x1529 - x1532 - x1535 - x1538 - x1541 - x1544 - x1547 - x1550 - x1553 - x1556 - x1559 - x1562 - x1565 - x1568 = 0 e219: - x1491 - x1494 - x1497 - x1500 - x1503 - x1506 - x1509 - x1512 - x1515 - x1518 - x1521 - x1524 - x1527 - x1530 - x1533 - x1536 - x1539 - x1542 - x1545 - x1548 - x1551 - x1554 - x1557 - x1560 - x1563 - x1566 - x1569 = 0 e220: - x1492 - x1495 - x1498 - x1501 - x1504 - x1507 - x1510 - x1513 - x1516 - x1519 - x1522 - x1525 - x1528 - x1531 - x1534 - x1537 - x1540 - x1543 - x1546 - x1549 - x1552 - x1555 - x1558 - x1561 - x1564 - x1567 - x1570 = 0 e221: 7 x83 + x134 - x83 x2001 = 0 e222: 59 x83 + x135 - x83 x2002 = 0 e223: 7 x83 + x136 - x83 x2003 = 0 e224: 7 x85 + x140 - x85 x2004 = 0 e225: 80 x85 + x141 - x85 x2005 = 0 e226: x142 - x85 x2006 = 0 e227: x143 - x86 x2007 = 0 e228: x144 - x86 x2008 = 0 e229: x145 - x86 x2009 = 0 e230: x149 - x88 x2010 = 0 e231: 1.7e2 x88 + x150 - x88 x2011 = 0 e232: x151 - x88 x2012 = 0 e233: 500 x89 + x152 - x89 x2013 = 0 e234: 500 x89 + x153 - x89 x2014 = 0 e235: x154 - x89 x2015 = 0 e236: 500 x90 + x155 - x90 x2016 = 0 e237: 500 x90 + x156 - x90 x2017 = 0 e238: x157 - x90 x2018 = 0 e239: 500 x91 + x158 - x91 x2019 = 0 e240: 500 x91 + x159 - x91 x2020 = 0 e241: x160 - x91 x2021 = 0 e242: 500 x92 + x161 - x92 x2022 = 0 e243: 500 x92 + x162 - x92 x2023 = 0 e244: x163 - x92 x2024 = 0 e245: 2.4e2 x95 + x170 - x95 x2025 = 0 e246: 1.4e2 x95 + x171 - x95 x2026 = 0 e247: x172 - x95 x2027 = 0 e248: 20 x96 + x173 - x96 x2028 = 0 e249: 3 x96 + x174 - x96 x2029 = 0 e250: x175 - x96 x2030 = 0 e251: x185 - x100 x2031 = 0 e252: x186 - x100 x2032 = 0 e253: x187 - x100 x2033 = 0 e254: x188 - x101 x2034 = 0 e255: 3 x101 + x189 - x101 x2035 = 0 e256: x190 - x101 x2036 = 0 e257: 25 x102 + x191 - x102 x2037 = 0 e258: x192 - x102 x2038 = 0 e259: x193 - x102 x2039 = 0 e260: 26 x103 + x194 - x103 x2040 = 0 e261: x195 - x103 x2041 = 0 e262: x196 - x103 x2042 = 0 e263: 163 x105 + x200 - x105 x2043 = 0 e264: x201 - x105 x2044 = 0 e265: x202 - x105 x2045 = 0 e266: x203 - x106 x2046 = 0 e267: x204 - x106 x2047 = 0 e268: x205 - x106 x2048 = 0 e269: x206 - x107 x2049 = 0 e270: x207 - x107 x2050 = 0 e271: x208 - x107 x2051 = 0 e272: 58 x113 + x224 - x113 x2052 = 0 e273: x225 - x113 x2053 = 0 e274: 9 x113 + x226 - x113 x2054 = 0 e275: 5 x115 + x230 - x115 x2055 = 0 e276: x231 - x115 x2056 = 0 e277: 10 x115 + x232 - x115 x2057 = 0 e278: 10 x117 + x236 - x117 x2058 = 0 e279: x237 - x117 x2059 = 0 e280: x238 - x117 x2060 = 0 e281: x242 - x119 x2061 = 0 e282: x243 - x119 x2062 = 0 e283: x244 - x119 x2063 = 0 e284: x248 - x121 x2064 = 0 e285: x249 - x121 x2065 = 0 e286: x250 - x121 x2066 = 0 e287: x254 - x123 x2067 = 0 e288: x255 - x123 x2068 = 0 e289: 10 x123 + x256 - x123 x2069 = 0 e290: 57 x124 + x257 - x124 x2070 = 0 e291: x258 - x124 x2071 = 0 e292: x124 + x259 - x124 x2072 = 0 e293: 57 x126 + x263 - x126 x2073 = 0 e294: x264 - x126 x2074 = 0 e295: x126 + x265 - x126 x2075 = 0 e296: x272 - x129 x2076 = 0 e297: 1.3e3 x129 + x273 - x129 x2077 = 0 e298: x274 - x129 x2078 = 0 e299: x275 - x130 x2079 = 0 e300: x276 - x130 x2080 = 0 e301: x277 - x130 x2081 = 0 e302: x281 - x132 x2082 = 0 e303: x282 - x132 x2083 = 0 e304: x283 - x132 x2084 = 0 e305: x287 - x1571 x2001 = 0 e306: x288 - x1571 x2002 = 0 e307: x289 - x1571 x2003 = 0 e308: x290 - x1572 x2001 = 0 e309: x291 - x1572 x2002 = 0 e310: x292 - x1572 x2003 = 0 e311: x293 - x1573 x2001 = 0 e312: x294 - x1573 x2002 = 0 e313: x295 - x1573 x2003 = 0 e314: x296 - x1574 x2001 = 0 e315: x297 - x1574 x2002 = 0 e316: x298 - x1574 x2003 = 0 e317: x299 - x1575 x2001 = 0 e318: x300 - x1575 x2002 = 0 e319: x301 - x1575 x2003 = 0 e320: x302 - x1576 x2001 = 0 e321: x303 - x1576 x2002 = 0 e322: x304 - x1576 x2003 = 0 e323: x305 - x1577 x2001 = 0 e324: x306 - x1577 x2002 = 0 e325: x307 - x1577 x2003 = 0 e326: x308 - x1578 x2001 = 0 e327: x309 - x1578 x2002 = 0 e328: x310 - x1578 x2003 = 0 e329: x311 - x1579 x2004 = 0 e330: x312 - x1579 x2005 = 0 e331: x313 - x1579 x2006 = 0 e332: x314 - x1580 x2004 = 0 e333: x315 - x1580 x2005 = 0 e334: x316 - x1580 x2006 = 0 e335: x317 - x1581 x2004 = 0 e336: x318 - x1581 x2005 = 0 e337: x319 - x1581 x2006 = 0 e338: x320 - x1582 x2004 = 0 e339: x321 - x1582 x2005 = 0 e340: x322 - x1582 x2006 = 0 e341: x323 - x1583 x2004 = 0 e342: x324 - x1583 x2005 = 0 e343: x325 - x1583 x2006 = 0 e344: x326 - x1584 x2004 = 0 e345: x327 - x1584 x2005 = 0 e346: x328 - x1584 x2006 = 0 e347: x329 - x1585 x2004 = 0 e348: x330 - x1585 x2005 = 0 e349: x331 - x1585 x2006 = 0 e350: x332 - x1586 x2004 = 0 e351: x333 - x1586 x2005 = 0 e352: x334 - x1586 x2006 = 0 e353: x335 - x1587 x2004 = 0 e354: x336 - x1587 x2005 = 0 e355: x337 - x1587 x2006 = 0 e356: x338 - x1588 x2004 = 0 e357: x339 - x1588 x2005 = 0 e358: x340 - x1588 x2006 = 0 e359: x341 - x1589 x2007 = 0 e360: x342 - x1589 x2008 = 0 e361: x343 - x1589 x2009 = 0 e362: x344 - x1590 x2007 = 0 e363: x345 - x1590 x2008 = 0 e364: x346 - x1590 x2009 = 0 e365: x347 - x1591 x2007 = 0 e366: x348 - x1591 x2008 = 0 e367: x349 - x1591 x2009 = 0 e368: x350 - x1592 x2007 = 0 e369: x351 - x1592 x2008 = 0 e370: x352 - x1592 x2009 = 0 e371: x353 - x1593 x2007 = 0 e372: x354 - x1593 x2008 = 0 e373: x355 - x1593 x2009 = 0 e374: x356 - x1594 x2007 = 0 e375: x357 - x1594 x2008 = 0 e376: x358 - x1594 x2009 = 0 e377: x359 - x1595 x2007 = 0 e378: x360 - x1595 x2008 = 0 e379: x361 - x1595 x2009 = 0 e380: x362 - x1596 x2007 = 0 e381: x363 - x1596 x2008 = 0 e382: x364 - x1596 x2009 = 0 e383: x365 - x1597 x2007 = 0 e384: x366 - x1597 x2008 = 0 e385: x367 - x1597 x2009 = 0 e386: x368 - x1598 x2007 = 0 e387: x369 - x1598 x2008 = 0 e388: x370 - x1598 x2009 = 0 e389: x371 - x1599 x2007 = 0 e390: x372 - x1599 x2008 = 0 e391: x373 - x1599 x2009 = 0 e392: x374 - x1600 x2007 = 0 e393: x375 - x1600 x2008 = 0 e394: x376 - x1600 x2009 = 0 e395: x377 - x1601 x2007 = 0 e396: x378 - x1601 x2008 = 0 e397: x379 - x1601 x2009 = 0 e398: x380 - x1602 x2007 = 0 e399: x381 - x1602 x2008 = 0 e400: x382 - x1602 x2009 = 0 e401: x383 - x1603 x2007 = 0 e402: x384 - x1603 x2008 = 0 e403: x385 - x1603 x2009 = 0 e404: x386 - x1604 x2007 = 0 e405: x387 - x1604 x2008 = 0 e406: x388 - x1604 x2009 = 0 e407: x389 - x1605 x2007 = 0 e408: x390 - x1605 x2008 = 0 e409: x391 - x1605 x2009 = 0 e410: x392 - x1606 x2007 = 0 e411: x393 - x1606 x2008 = 0 e412: x394 - x1606 x2009 = 0 e413: x395 - x1607 x2007 = 0 e414: x396 - x1607 x2008 = 0 e415: x397 - x1607 x2009 = 0 e416: x398 - x1608 x2007 = 0 e417: x399 - x1608 x2008 = 0 e418: x400 - x1608 x2009 = 0 e419: x401 - x1609 x2007 = 0 e420: x402 - x1609 x2008 = 0 e421: x403 - x1609 x2009 = 0 e422: x404 - x1610 x2007 = 0 e423: x405 - x1610 x2008 = 0 e424: x406 - x1610 x2009 = 0 e425: x407 - x1611 x2007 = 0 e426: x408 - x1611 x2008 = 0 e427: x409 - x1611 x2009 = 0 e428: x410 - x1612 x2007 = 0 e429: x411 - x1612 x2008 = 0 e430: x412 - x1612 x2009 = 0 e431: x413 - x1613 x2007 = 0 e432: x414 - x1613 x2008 = 0 e433: x415 - x1613 x2009 = 0 e434: x416 - x1614 x2007 = 0 e435: x417 - x1614 x2008 = 0 e436: x418 - x1614 x2009 = 0 e437: x419 - x1615 x2007 = 0 e438: x420 - x1615 x2008 = 0 e439: x421 - x1615 x2009 = 0 e440: x422 - x1616 x2010 = 0 e441: x423 - x1616 x2011 = 0 e442: x424 - x1616 x2012 = 0 e443: x425 - x1617 x2010 = 0 e444: x426 - x1617 x2011 = 0 e445: x427 - x1617 x2012 = 0 e446: x428 - x1618 x2010 = 0 e447: x429 - x1618 x2011 = 0 e448: x430 - x1618 x2012 = 0 e449: x431 - x1619 x2010 = 0 e450: x432 - x1619 x2011 = 0 e451: x433 - x1619 x2012 = 0 e452: x434 - x1620 x2010 = 0 e453: x435 - x1620 x2011 = 0 e454: x436 - x1620 x2012 = 0 e455: x437 - x1621 x2010 = 0 e456: x438 - x1621 x2011 = 0 e457: x439 - x1621 x2012 = 0 e458: x440 - x1622 x2010 = 0 e459: x441 - x1622 x2011 = 0 e460: x442 - x1622 x2012 = 0 e461: x443 - x1623 x2010 = 0 e462: x444 - x1623 x2011 = 0 e463: x445 - x1623 x2012 = 0 e464: x446 - x1624 x2010 = 0 e465: x447 - x1624 x2011 = 0 e466: x448 - x1624 x2012 = 0 e467: x449 - x1625 x2010 = 0 e468: x450 - x1625 x2011 = 0 e469: x451 - x1625 x2012 = 0 e470: x452 - x1626 x2010 = 0 e471: x453 - x1626 x2011 = 0 e472: x454 - x1626 x2012 = 0 e473: x455 - x1627 x2010 = 0 e474: x456 - x1627 x2011 = 0 e475: x457 - x1627 x2012 = 0 e476: x458 - x1628 x2013 = 0 e477: x459 - x1628 x2014 = 0 e478: x460 - x1628 x2015 = 0 e479: x461 - x1629 x2013 = 0 e480: x462 - x1629 x2014 = 0 e481: x463 - x1629 x2015 = 0 e482: x464 - x1630 x2013 = 0 e483: x465 - x1630 x2014 = 0 e484: x466 - x1630 x2015 = 0 e485: x467 - x1631 x2013 = 0 e486: x468 - x1631 x2014 = 0 e487: x469 - x1631 x2015 = 0 e488: x470 - x1632 x2013 = 0 e489: x471 - x1632 x2014 = 0 e490: x472 - x1632 x2015 = 0 e491: x473 - x1633 x2013 = 0 e492: x474 - x1633 x2014 = 0 e493: x475 - x1633 x2015 = 0 e494: x476 - x1634 x2013 = 0 e495: x477 - x1634 x2014 = 0 e496: x478 - x1634 x2015 = 0 e497: x479 - x1635 x2013 = 0 e498: x480 - x1635 x2014 = 0 e499: x481 - x1635 x2015 = 0 e500: x482 - x1636 x2013 = 0 e501: x483 - x1636 x2014 = 0 e502: x484 - x1636 x2015 = 0 e503: x485 - x1637 x2013 = 0 e504: x486 - x1637 x2014 = 0 e505: x487 - x1637 x2015 = 0 e506: x488 - x1638 x2016 = 0 e507: x489 - x1638 x2017 = 0 e508: x490 - x1638 x2018 = 0 e509: x491 - x1639 x2016 = 0 e510: x492 - x1639 x2017 = 0 e511: x493 - x1639 x2018 = 0 e512: x494 - x1640 x2016 = 0 e513: x495 - x1640 x2017 = 0 e514: x496 - x1640 x2018 = 0 e515: x497 - x1641 x2016 = 0 e516: x498 - x1641 x2017 = 0 e517: x499 - x1641 x2018 = 0 e518: x500 - x1642 x2016 = 0 e519: x501 - x1642 x2017 = 0 e520: x502 - x1642 x2018 = 0 e521: x503 - x1643 x2016 = 0 e522: x504 - x1643 x2017 = 0 e523: x505 - x1643 x2018 = 0 e524: x506 - x1644 x2016 = 0 e525: x507 - x1644 x2017 = 0 e526: x508 - x1644 x2018 = 0 e527: x509 - x1645 x2016 = 0 e528: x510 - x1645 x2017 = 0 e529: x511 - x1645 x2018 = 0 e530: x512 - x1646 x2016 = 0 e531: x513 - x1646 x2017 = 0 e532: x514 - x1646 x2018 = 0 e533: x515 - x1647 x2016 = 0 e534: x516 - x1647 x2017 = 0 e535: x517 - x1647 x2018 = 0 e536: x518 - x1648 x2019 = 0 e537: x519 - x1648 x2020 = 0 e538: x520 - x1648 x2021 = 0 e539: x521 - x1649 x2019 = 0 e540: x522 - x1649 x2020 = 0 e541: x523 - x1649 x2021 = 0 e542: x524 - x1650 x2019 = 0 e543: x525 - x1650 x2020 = 0 e544: x526 - x1650 x2021 = 0 e545: x527 - x1651 x2019 = 0 e546: x528 - x1651 x2020 = 0 e547: x529 - x1651 x2021 = 0 e548: x530 - x1652 x2019 = 0 e549: x531 - x1652 x2020 = 0 e550: x532 - x1652 x2021 = 0 e551: x533 - x1653 x2019 = 0 e552: x534 - x1653 x2020 = 0 e553: x535 - x1653 x2021 = 0 e554: x536 - x1654 x2019 = 0 e555: x537 - x1654 x2020 = 0 e556: x538 - x1654 x2021 = 0 e557: x539 - x1655 x2019 = 0 e558: x540 - x1655 x2020 = 0 e559: x541 - x1655 x2021 = 0 e560: x542 - x1656 x2019 = 0 e561: x543 - x1656 x2020 = 0 e562: x544 - x1656 x2021 = 0 e563: x545 - x1657 x2019 = 0 e564: x546 - x1657 x2020 = 0 e565: x547 - x1657 x2021 = 0 e566: x548 - x1658 x2022 = 0 e567: x549 - x1658 x2023 = 0 e568: x550 - x1658 x2024 = 0 e569: x551 - x1659 x2022 = 0 e570: x552 - x1659 x2023 = 0 e571: x553 - x1659 x2024 = 0 e572: x554 - x1660 x2022 = 0 e573: x555 - x1660 x2023 = 0 e574: x556 - x1660 x2024 = 0 e575: x557 - x1661 x2022 = 0 e576: x558 - x1661 x2023 = 0 e577: x559 - x1661 x2024 = 0 e578: x560 - x1662 x2022 = 0 e579: x561 - x1662 x2023 = 0 e580: x562 - x1662 x2024 = 0 e581: x563 - x1663 x2022 = 0 e582: x564 - x1663 x2023 = 0 e583: x565 - x1663 x2024 = 0 e584: x566 - x1664 x2022 = 0 e585: x567 - x1664 x2023 = 0 e586: x568 - x1664 x2024 = 0 e587: x569 - x1665 x2022 = 0 e588: x570 - x1665 x2023 = 0 e589: x571 - x1665 x2024 = 0 e590: x572 - x1666 x2022 = 0 e591: x573 - x1666 x2023 = 0 e592: x574 - x1666 x2024 = 0 e593: x575 - x1667 x2022 = 0 e594: x576 - x1667 x2023 = 0 e595: x577 - x1667 x2024 = 0 e596: x578 - x1668 x2025 = 0 e597: x579 - x1668 x2026 = 0 e598: x580 - x1668 x2027 = 0 e599: x581 - x1669 x2025 = 0 e600: x582 - x1669 x2026 = 0 e601: x583 - x1669 x2027 = 0 e602: x584 - x1670 x2025 = 0 e603: x585 - x1670 x2026 = 0 e604: x586 - x1670 x2027 = 0 e605: x587 - x1671 x2025 = 0 e606: x588 - x1671 x2026 = 0 e607: x589 - x1671 x2027 = 0 e608: x590 - x1672 x2025 = 0 e609: x591 - x1672 x2026 = 0 e610: x592 - x1672 x2027 = 0 e611: x593 - x1673 x2025 = 0 e612: x594 - x1673 x2026 = 0 e613: x595 - x1673 x2027 = 0 e614: x596 - x1674 x2025 = 0 e615: x597 - x1674 x2026 = 0 e616: x598 - x1674 x2027 = 0 e617: x599 - x1675 x2025 = 0 e618: x600 - x1675 x2026 = 0 e619: x601 - x1675 x2027 = 0 e620: x602 - x1676 x2025 = 0 e621: x603 - x1676 x2026 = 0 e622: x604 - x1676 x2027 = 0 e623: x605 - x1677 x2025 = 0 e624: x606 - x1677 x2026 = 0 e625: x607 - x1677 x2027 = 0 e626: x608 - x1678 x2028 = 0 e627: x609 - x1678 x2029 = 0 e628: x610 - x1678 x2030 = 0 e629: x611 - x1679 x2028 = 0 e630: x612 - x1679 x2029 = 0 e631: x613 - x1679 x2030 = 0 e632: x614 - x1680 x2028 = 0 e633: x615 - x1680 x2029 = 0 e634: x616 - x1680 x2030 = 0 e635: x617 - x1681 x2028 = 0 e636: x618 - x1681 x2029 = 0 e637: x619 - x1681 x2030 = 0 e638: x620 - x1682 x2028 = 0 e639: x621 - x1682 x2029 = 0 e640: x622 - x1682 x2030 = 0 e641: x623 - x1683 x2028 = 0 e642: x624 - x1683 x2029 = 0 e643: x625 - x1683 x2030 = 0 e644: x626 - x1684 x2028 = 0 e645: x627 - x1684 x2029 = 0 e646: x628 - x1684 x2030 = 0 e647: x629 - x1685 x2028 = 0 e648: x630 - x1685 x2029 = 0 e649: x631 - x1685 x2030 = 0 e650: x632 - x1686 x2028 = 0 e651: x633 - x1686 x2029 = 0 e652: x634 - x1686 x2030 = 0 e653: x635 - x1687 x2028 = 0 e654: x636 - x1687 x2029 = 0 e655: x637 - x1687 x2030 = 0 e656: x638 - x1688 x2031 = 0 e657: x639 - x1688 x2032 = 0 e658: x640 - x1688 x2033 = 0 e659: x641 - x1689 x2031 = 0 e660: x642 - x1689 x2032 = 0 e661: x643 - x1689 x2033 = 0 e662: x644 - x1690 x2031 = 0 e663: x645 - x1690 x2032 = 0 e664: x646 - x1690 x2033 = 0 e665: x647 - x1691 x2031 = 0 e666: x648 - x1691 x2032 = 0 e667: x649 - x1691 x2033 = 0 e668: x650 - x1692 x2031 = 0 e669: x651 - x1692 x2032 = 0 e670: x652 - x1692 x2033 = 0 e671: x653 - x1693 x2031 = 0 e672: x654 - x1693 x2032 = 0 e673: x655 - x1693 x2033 = 0 e674: x656 - x1694 x2031 = 0 e675: x657 - x1694 x2032 = 0 e676: x658 - x1694 x2033 = 0 e677: x659 - x1695 x2031 = 0 e678: x660 - x1695 x2032 = 0 e679: x661 - x1695 x2033 = 0 e680: x662 - x1696 x2031 = 0 e681: x663 - x1696 x2032 = 0 e682: x664 - x1696 x2033 = 0 e683: x665 - x1697 x2031 = 0 e684: x666 - x1697 x2032 = 0 e685: x667 - x1697 x2033 = 0 e686: x668 - x1698 x2031 = 0 e687: x669 - x1698 x2032 = 0 e688: x670 - x1698 x2033 = 0 e689: x671 - x1699 x2031 = 0 e690: x672 - x1699 x2032 = 0 e691: x673 - x1699 x2033 = 0 e692: x674 - x1700 x2031 = 0 e693: x675 - x1700 x2032 = 0 e694: x676 - x1700 x2033 = 0 e695: x677 - x1701 x2031 = 0 e696: x678 - x1701 x2032 = 0 e697: x679 - x1701 x2033 = 0 e698: x680 - x1702 x2031 = 0 e699: x681 - x1702 x2032 = 0 e700: x682 - x1702 x2033 = 0 e701: x683 - x1703 x2031 = 0 e702: x684 - x1703 x2032 = 0 e703: x685 - x1703 x2033 = 0 e704: x686 - x1704 x2031 = 0 e705: x687 - x1704 x2032 = 0 e706: x688 - x1704 x2033 = 0 e707: x689 - x1705 x2031 = 0 e708: x690 - x1705 x2032 = 0 e709: x691 - x1705 x2033 = 0 e710: x692 - x1706 x2031 = 0 e711: x693 - x1706 x2032 = 0 e712: x694 - x1706 x2033 = 0 e713: x695 - x1707 x2031 = 0 e714: x696 - x1707 x2032 = 0 e715: x697 - x1707 x2033 = 0 e716: x698 - x1708 x2031 = 0 e717: x699 - x1708 x2032 = 0 e718: x700 - x1708 x2033 = 0 e719: x701 - x1709 x2031 = 0 e720: x702 - x1709 x2032 = 0 e721: x703 - x1709 x2033 = 0 e722: x704 - x1710 x2031 = 0 e723: x705 - x1710 x2032 = 0 e724: x706 - x1710 x2033 = 0 e725: x707 - x1711 x2031 = 0 e726: x708 - x1711 x2032 = 0 e727: x709 - x1711 x2033 = 0 e728: x710 - x1712 x2031 = 0 e729: x711 - x1712 x2032 = 0 e730: x712 - x1712 x2033 = 0 e731: x713 - x1713 x2031 = 0 e732: x714 - x1713 x2032 = 0 e733: x715 - x1713 x2033 = 0 e734: x716 - x1714 x2031 = 0 e735: x717 - x1714 x2032 = 0 e736: x718 - x1714 x2033 = 0 e737: x719 - x1715 x2034 = 0 e738: x720 - x1715 x2035 = 0 e739: x721 - x1715 x2036 = 0 e740: x722 - x1716 x2034 = 0 e741: x723 - x1716 x2035 = 0 e742: x724 - x1716 x2036 = 0 e743: x725 - x1717 x2034 = 0 e744: x726 - x1717 x2035 = 0 e745: x727 - x1717 x2036 = 0 e746: x728 - x1718 x2034 = 0 e747: x729 - x1718 x2035 = 0 e748: x730 - x1718 x2036 = 0 e749: x731 - x1719 x2034 = 0 e750: x732 - x1719 x2035 = 0 e751: x733 - x1719 x2036 = 0 e752: x734 - x1720 x2034 = 0 e753: x735 - x1720 x2035 = 0 e754: x736 - x1720 x2036 = 0 e755: x737 - x1721 x2034 = 0 e756: x738 - x1721 x2035 = 0 e757: x739 - x1721 x2036 = 0 e758: x740 - x1722 x2034 = 0 e759: x741 - x1722 x2035 = 0 e760: x742 - x1722 x2036 = 0 e761: x743 - x1723 x2034 = 0 e762: x744 - x1723 x2035 = 0 e763: x745 - x1723 x2036 = 0 e764: x746 - x1724 x2034 = 0 e765: x747 - x1724 x2035 = 0 e766: x748 - x1724 x2036 = 0 e767: x749 - x1725 x2034 = 0 e768: x750 - x1725 x2035 = 0 e769: x751 - x1725 x2036 = 0 e770: x752 - x1726 x2034 = 0 e771: x753 - x1726 x2035 = 0 e772: x754 - x1726 x2036 = 0 e773: x755 - x1727 x2037 = 0 e774: x756 - x1727 x2038 = 0 e775: x757 - x1727 x2039 = 0 e776: x758 - x1728 x2037 = 0 e777: x759 - x1728 x2038 = 0 e778: x760 - x1728 x2039 = 0 e779: x761 - x1729 x2037 = 0 e780: x762 - x1729 x2038 = 0 e781: x763 - x1729 x2039 = 0 e782: x764 - x1730 x2037 = 0 e783: x765 - x1730 x2038 = 0 e784: x766 - x1730 x2039 = 0 e785: x767 - x1731 x2037 = 0 e786: x768 - x1731 x2038 = 0 e787: x769 - x1731 x2039 = 0 e788: x770 - x1732 x2037 = 0 e789: x771 - x1732 x2038 = 0 e790: x772 - x1732 x2039 = 0 e791: x773 - x1733 x2037 = 0 e792: x774 - x1733 x2038 = 0 e793: x775 - x1733 x2039 = 0 e794: x776 - x1734 x2037 = 0 e795: x777 - x1734 x2038 = 0 e796: x778 - x1734 x2039 = 0 e797: x779 - x1735 x2037 = 0 e798: x780 - x1735 x2038 = 0 e799: x781 - x1735 x2039 = 0 e800: x782 - x1736 x2037 = 0 e801: x783 - x1736 x2038 = 0 e802: x784 - x1736 x2039 = 0 e803: x785 - x1737 x2037 = 0 e804: x786 - x1737 x2038 = 0 e805: x787 - x1737 x2039 = 0 e806: x788 - x1738 x2037 = 0 e807: x789 - x1738 x2038 = 0 e808: x790 - x1738 x2039 = 0 e809: x791 - x1739 x2037 = 0 e810: x792 - x1739 x2038 = 0 e811: x793 - x1739 x2039 = 0 e812: x794 - x1740 x2037 = 0 e813: x795 - x1740 x2038 = 0 e814: x796 - x1740 x2039 = 0 e815: x797 - x1741 x2040 = 0 e816: x798 - x1741 x2041 = 0 e817: x799 - x1741 x2042 = 0 e818: x800 - x1742 x2040 = 0 e819: x801 - x1742 x2041 = 0 e820: x802 - x1742 x2042 = 0 e821: x803 - x1743 x2040 = 0 e822: x804 - x1743 x2041 = 0 e823: x805 - x1743 x2042 = 0 e824: x806 - x1744 x2040 = 0 e825: x807 - x1744 x2041 = 0 e826: x808 - x1744 x2042 = 0 e827: x809 - x1745 x2040 = 0 e828: x810 - x1745 x2041 = 0 e829: x811 - x1745 x2042 = 0 e830: x812 - x1746 x2040 = 0 e831: x813 - x1746 x2041 = 0 e832: x814 - x1746 x2042 = 0 e833: x815 - x1747 x2040 = 0 e834: x816 - x1747 x2041 = 0 e835: x817 - x1747 x2042 = 0 e836: x818 - x1748 x2040 = 0 e837: x819 - x1748 x2041 = 0 e838: x820 - x1748 x2042 = 0 e839: x821 - x1749 x2040 = 0 e840: x822 - x1749 x2041 = 0 e841: x823 - x1749 x2042 = 0 e842: x824 - x1750 x2040 = 0 e843: x825 - x1750 x2041 = 0 e844: x826 - x1750 x2042 = 0 e845: x827 - x1751 x2040 = 0 e846: x828 - x1751 x2041 = 0 e847: x829 - x1751 x2042 = 0 e848: x830 - x1752 x2040 = 0 e849: x831 - x1752 x2041 = 0 e850: x832 - x1752 x2042 = 0 e851: x833 - x1753 x2040 = 0 e852: x834 - x1753 x2041 = 0 e853: x835 - x1753 x2042 = 0 e854: x836 - x1754 x2040 = 0 e855: x837 - x1754 x2041 = 0 e856: x838 - x1754 x2042 = 0 e857: x839 - x1755 x2043 = 0 e858: x840 - x1755 x2044 = 0 e859: x841 - x1755 x2045 = 0 e860: x842 - x1756 x2043 = 0 e861: x843 - x1756 x2044 = 0 e862: x844 - x1756 x2045 = 0 e863: x845 - x1757 x2043 = 0 e864: x846 - x1757 x2044 = 0 e865: x847 - x1757 x2045 = 0 e866: x848 - x1758 x2043 = 0 e867: x849 - x1758 x2044 = 0 e868: x850 - x1758 x2045 = 0 e869: x851 - x1759 x2043 = 0 e870: x852 - x1759 x2044 = 0 e871: x853 - x1759 x2045 = 0 e872: x854 - x1760 x2043 = 0 e873: x855 - x1760 x2044 = 0 e874: x856 - x1760 x2045 = 0 e875: x857 - x1761 x2043 = 0 e876: x858 - x1761 x2044 = 0 e877: x859 - x1761 x2045 = 0 e878: x860 - x1762 x2043 = 0 e879: x861 - x1762 x2044 = 0 e880: x862 - x1762 x2045 = 0 e881: x863 - x1763 x2043 = 0 e882: x864 - x1763 x2044 = 0 e883: x865 - x1763 x2045 = 0 e884: x866 - x1764 x2043 = 0 e885: x867 - x1764 x2044 = 0 e886: x868 - x1764 x2045 = 0 e887: x869 - x1765 x2043 = 0 e888: x870 - x1765 x2044 = 0 e889: x871 - x1765 x2045 = 0 e890: x872 - x1766 x2043 = 0 e891: x873 - x1766 x2044 = 0 e892: x874 - x1766 x2045 = 0 e893: x875 - x1767 x2043 = 0 e894: x876 - x1767 x2044 = 0 e895: x877 - x1767 x2045 = 0 e896: x878 - x1768 x2043 = 0 e897: x879 - x1768 x2044 = 0 e898: x880 - x1768 x2045 = 0 e899: x881 - x1769 x2046 = 0 e900: x882 - x1769 x2047 = 0 e901: x883 - x1769 x2048 = 0 e902: x884 - x1770 x2046 = 0 e903: x885 - x1770 x2047 = 0 e904: x886 - x1770 x2048 = 0 e905: x887 - x1771 x2046 = 0 e906: x888 - x1771 x2047 = 0 e907: x889 - x1771 x2048 = 0 e908: x890 - x1772 x2046 = 0 e909: x891 - x1772 x2047 = 0 e910: x892 - x1772 x2048 = 0 e911: x893 - x1773 x2046 = 0 e912: x894 - x1773 x2047 = 0 e913: x895 - x1773 x2048 = 0 e914: x896 - x1774 x2046 = 0 e915: x897 - x1774 x2047 = 0 e916: x898 - x1774 x2048 = 0 e917: x899 - x1775 x2046 = 0 e918: x900 - x1775 x2047 = 0 e919: x901 - x1775 x2048 = 0 e920: x902 - x1776 x2046 = 0 e921: x903 - x1776 x2047 = 0 e922: x904 - x1776 x2048 = 0 e923: x905 - x1777 x2046 = 0 e924: x906 - x1777 x2047 = 0 e925: x907 - x1777 x2048 = 0 e926: x908 - x1778 x2046 = 0 e927: x909 - x1778 x2047 = 0 e928: x910 - x1778 x2048 = 0 e929: x911 - x1779 x2046 = 0 e930: x912 - x1779 x2047 = 0 e931: x913 - x1779 x2048 = 0 e932: x914 - x1780 x2046 = 0 e933: x915 - x1780 x2047 = 0 e934: x916 - x1780 x2048 = 0 e935: x917 - x1781 x2046 = 0 e936: x918 - x1781 x2047 = 0 e937: x919 - x1781 x2048 = 0 e938: x920 - x1782 x2046 = 0 e939: x921 - x1782 x2047 = 0 e940: x922 - x1782 x2048 = 0 e941: x923 - x1783 x2046 = 0 e942: x924 - x1783 x2047 = 0 e943: x925 - x1783 x2048 = 0 e944: x926 - x1784 x2046 = 0 e945: x927 - x1784 x2047 = 0 e946: x928 - x1784 x2048 = 0 e947: x929 - x1785 x2046 = 0 e948: x930 - x1785 x2047 = 0 e949: x931 - x1785 x2048 = 0 e950: x932 - x1786 x2046 = 0 e951: x933 - x1786 x2047 = 0 e952: x934 - x1786 x2048 = 0 e953: x935 - x1787 x2046 = 0 e954: x936 - x1787 x2047 = 0 e955: x937 - x1787 x2048 = 0 e956: x938 - x1788 x2046 = 0 e957: x939 - x1788 x2047 = 0 e958: x940 - x1788 x2048 = 0 e959: x941 - x1789 x2046 = 0 e960: x942 - x1789 x2047 = 0 e961: x943 - x1789 x2048 = 0 e962: x944 - x1790 x2046 = 0 e963: x945 - x1790 x2047 = 0 e964: x946 - x1790 x2048 = 0 e965: x947 - x1791 x2046 = 0 e966: x948 - x1791 x2047 = 0 e967: x949 - x1791 x2048 = 0 e968: x950 - x1792 x2046 = 0 e969: x951 - x1792 x2047 = 0 e970: x952 - x1792 x2048 = 0 e971: x953 - x1793 x2046 = 0 e972: x954 - x1793 x2047 = 0 e973: x955 - x1793 x2048 = 0 e974: x956 - x1794 x2046 = 0 e975: x957 - x1794 x2047 = 0 e976: x958 - x1794 x2048 = 0 e977: x959 - x1795 x2046 = 0 e978: x960 - x1795 x2047 = 0 e979: x961 - x1795 x2048 = 0 e980: x962 - x1796 x2049 = 0 e981: x963 - x1796 x2050 = 0 e982: x964 - x1796 x2051 = 0 e983: x965 - x1797 x2049 = 0 e984: x966 - x1797 x2050 = 0 e985: x967 - x1797 x2051 = 0 e986: x968 - x1798 x2049 = 0 e987: x969 - x1798 x2050 = 0 e988: x970 - x1798 x2051 = 0 e989: x971 - x1799 x2049 = 0 e990: x972 - x1799 x2050 = 0 e991: x973 - x1799 x2051 = 0 e992: x974 - x1800 x2049 = 0 e993: x975 - x1800 x2050 = 0 e994: x976 - x1800 x2051 = 0 e995: x977 - x1801 x2049 = 0 e996: x978 - x1801 x2050 = 0 e997: x979 - x1801 x2051 = 0 e998: x980 - x1802 x2049 = 0 e999: x981 - x1802 x2050 = 0 e1000: x982 - x1802 x2051 = 0 e1001: x983 - x1803 x2049 = 0 e1002: x984 - x1803 x2050 = 0 e1003: x985 - x1803 x2051 = 0 e1004: x986 - x1804 x2049 = 0 e1005: x987 - x1804 x2050 = 0 e1006: x988 - x1804 x2051 = 0 e1007: x989 - x1805 x2049 = 0 e1008: x990 - x1805 x2050 = 0 e1009: x991 - x1805 x2051 = 0 e1010: x992 - x1806 x2049 = 0 e1011: x993 - x1806 x2050 = 0 e1012: x994 - x1806 x2051 = 0 e1013: x995 - x1807 x2049 = 0 e1014: x996 - x1807 x2050 = 0 e1015: x997 - x1807 x2051 = 0 e1016: x998 - x1808 x2049 = 0 e1017: x999 - x1808 x2050 = 0 e1018: x1000 - x1808 x2051 = 0 e1019: x1001 - x1809 x2049 = 0 e1020: x1002 - x1809 x2050 = 0 e1021: x1003 - x1809 x2051 = 0 e1022: x1004 - x1810 x2049 = 0 e1023: x1005 - x1810 x2050 = 0 e1024: x1006 - x1810 x2051 = 0 e1025: x1007 - x1811 x2049 = 0 e1026: x1008 - x1811 x2050 = 0 e1027: x1009 - x1811 x2051 = 0 e1028: x1010 - x1812 x2049 = 0 e1029: x1011 - x1812 x2050 = 0 e1030: x1012 - x1812 x2051 = 0 e1031: x1013 - x1813 x2049 = 0 e1032: x1014 - x1813 x2050 = 0 e1033: x1015 - x1813 x2051 = 0 e1034: x1016 - x1814 x2049 = 0 e1035: x1017 - x1814 x2050 = 0 e1036: x1018 - x1814 x2051 = 0 e1037: x1019 - x1815 x2049 = 0 e1038: x1020 - x1815 x2050 = 0 e1039: x1021 - x1815 x2051 = 0 e1040: x1022 - x1816 x2049 = 0 e1041: x1023 - x1816 x2050 = 0 e1042: x1024 - x1816 x2051 = 0 e1043: x1025 - x1817 x2049 = 0 e1044: x1026 - x1817 x2050 = 0 e1045: x1027 - x1817 x2051 = 0 e1046: x1028 - x1818 x2049 = 0 e1047: x1029 - x1818 x2050 = 0 e1048: x1030 - x1818 x2051 = 0 e1049: x1031 - x1819 x2049 = 0 e1050: x1032 - x1819 x2050 = 0 e1051: x1033 - x1819 x2051 = 0 e1052: x1034 - x1820 x2049 = 0 e1053: x1035 - x1820 x2050 = 0 e1054: x1036 - x1820 x2051 = 0 e1055: x1037 - x1821 x2049 = 0 e1056: x1038 - x1821 x2050 = 0 e1057: x1039 - x1821 x2051 = 0 e1058: x1040 - x1822 x2049 = 0 e1059: x1041 - x1822 x2050 = 0 e1060: x1042 - x1822 x2051 = 0 e1061: x1043 - x1823 x2052 = 0 e1062: x1044 - x1823 x2053 = 0 e1063: x1045 - x1823 x2054 = 0 e1064: x1046 - x1824 x2052 = 0 e1065: x1047 - x1824 x2053 = 0 e1066: x1048 - x1824 x2054 = 0 e1067: x1049 - x1825 x2052 = 0 e1068: x1050 - x1825 x2053 = 0 e1069: x1051 - x1825 x2054 = 0 e1070: x1052 - x1826 x2052 = 0 e1071: x1053 - x1826 x2053 = 0 e1072: x1054 - x1826 x2054 = 0 e1073: x1055 - x1827 x2052 = 0 e1074: x1056 - x1827 x2053 = 0 e1075: x1057 - x1827 x2054 = 0 e1076: x1058 - x1828 x2052 = 0 e1077: x1059 - x1828 x2053 = 0 e1078: x1060 - x1828 x2054 = 0 e1079: x1061 - x1829 x2052 = 0 e1080: x1062 - x1829 x2053 = 0 e1081: x1063 - x1829 x2054 = 0 e1082: x1064 - x1830 x2052 = 0 e1083: x1065 - x1830 x2053 = 0 e1084: x1066 - x1830 x2054 = 0 e1085: x1067 - x1831 x2055 = 0 e1086: x1068 - x1831 x2056 = 0 e1087: x1069 - x1831 x2057 = 0 e1088: x1070 - x1832 x2055 = 0 e1089: x1071 - x1832 x2056 = 0 e1090: x1072 - x1832 x2057 = 0 e1091: x1073 - x1833 x2055 = 0 e1092: x1074 - x1833 x2056 = 0 e1093: x1075 - x1833 x2057 = 0 e1094: x1076 - x1834 x2055 = 0 e1095: x1077 - x1834 x2056 = 0 e1096: x1078 - x1834 x2057 = 0 e1097: x1079 - x1835 x2055 = 0 e1098: x1080 - x1835 x2056 = 0 e1099: x1081 - x1835 x2057 = 0 e1100: x1082 - x1836 x2055 = 0 e1101: x1083 - x1836 x2056 = 0 e1102: x1084 - x1836 x2057 = 0 e1103: x1085 - x1837 x2055 = 0 e1104: x1086 - x1837 x2056 = 0 e1105: x1087 - x1837 x2057 = 0 e1106: x1088 - x1838 x2055 = 0 e1107: x1089 - x1838 x2056 = 0 e1108: x1090 - x1838 x2057 = 0 e1109: x1091 - x1839 x2058 = 0 e1110: x1092 - x1839 x2059 = 0 e1111: x1093 - x1839 x2060 = 0 e1112: x1094 - x1840 x2058 = 0 e1113: x1095 - x1840 x2059 = 0 e1114: x1096 - x1840 x2060 = 0 e1115: x1097 - x1841 x2058 = 0 e1116: x1098 - x1841 x2059 = 0 e1117: x1099 - x1841 x2060 = 0 e1118: x1100 - x1842 x2058 = 0 e1119: x1101 - x1842 x2059 = 0 e1120: x1102 - x1842 x2060 = 0 e1121: x1103 - x1843 x2058 = 0 e1122: x1104 - x1843 x2059 = 0 e1123: x1105 - x1843 x2060 = 0 e1124: x1106 - x1844 x2058 = 0 e1125: x1107 - x1844 x2059 = 0 e1126: x1108 - x1844 x2060 = 0 e1127: x1109 - x1845 x2058 = 0 e1128: x1110 - x1845 x2059 = 0 e1129: x1111 - x1845 x2060 = 0 e1130: x1112 - x1846 x2058 = 0 e1131: x1113 - x1846 x2059 = 0 e1132: x1114 - x1846 x2060 = 0 e1133: x1115 - x1847 x2058 = 0 e1134: x1116 - x1847 x2059 = 0 e1135: x1117 - x1847 x2060 = 0 e1136: x1118 - x1848 x2058 = 0 e1137: x1119 - x1848 x2059 = 0 e1138: x1120 - x1848 x2060 = 0 e1139: x1121 - x1849 x2058 = 0 e1140: x1122 - x1849 x2059 = 0 e1141: x1123 - x1849 x2060 = 0 e1142: x1124 - x1850 x2058 = 0 e1143: x1125 - x1850 x2059 = 0 e1144: x1126 - x1850 x2060 = 0 e1145: x1127 - x1851 x2058 = 0 e1146: x1128 - x1851 x2059 = 0 e1147: x1129 - x1851 x2060 = 0 e1148: x1130 - x1852 x2058 = 0 e1149: x1131 - x1852 x2059 = 0 e1150: x1132 - x1852 x2060 = 0 e1151: x1133 - x1853 x2061 = 0 e1152: x1134 - x1853 x2062 = 0 e1153: x1135 - x1853 x2063 = 0 e1154: x1136 - x1854 x2061 = 0 e1155: x1137 - x1854 x2062 = 0 e1156: x1138 - x1854 x2063 = 0 e1157: x1139 - x1855 x2061 = 0 e1158: x1140 - x1855 x2062 = 0 e1159: x1141 - x1855 x2063 = 0 e1160: x1142 - x1856 x2061 = 0 e1161: x1143 - x1856 x2062 = 0 e1162: x1144 - x1856 x2063 = 0 e1163: x1145 - x1857 x2061 = 0 e1164: x1146 - x1857 x2062 = 0 e1165: x1147 - x1857 x2063 = 0 e1166: x1148 - x1858 x2061 = 0 e1167: x1149 - x1858 x2062 = 0 e1168: x1150 - x1858 x2063 = 0 e1169: x1151 - x1859 x2061 = 0 e1170: x1152 - x1859 x2062 = 0 e1171: x1153 - x1859 x2063 = 0 e1172: x1154 - x1860 x2061 = 0 e1173: x1155 - x1860 x2062 = 0 e1174: x1156 - x1860 x2063 = 0 e1175: x1157 - x1861 x2061 = 0 e1176: x1158 - x1861 x2062 = 0 e1177: x1159 - x1861 x2063 = 0 e1178: x1160 - x1862 x2061 = 0 e1179: x1161 - x1862 x2062 = 0 e1180: x1162 - x1862 x2063 = 0 e1181: x1163 - x1863 x2061 = 0 e1182: x1164 - x1863 x2062 = 0 e1183: x1165 - x1863 x2063 = 0 e1184: x1166 - x1864 x2061 = 0 e1185: x1167 - x1864 x2062 = 0 e1186: x1168 - x1864 x2063 = 0 e1187: x1169 - x1865 x2061 = 0 e1188: x1170 - x1865 x2062 = 0 e1189: x1171 - x1865 x2063 = 0 e1190: x1172 - x1866 x2061 = 0 e1191: x1173 - x1866 x2062 = 0 e1192: x1174 - x1866 x2063 = 0 e1193: x1175 - x1867 x2061 = 0 e1194: x1176 - x1867 x2062 = 0 e1195: x1177 - x1867 x2063 = 0 e1196: x1178 - x1868 x2061 = 0 e1197: x1179 - x1868 x2062 = 0 e1198: x1180 - x1868 x2063 = 0 e1199: x1181 - x1869 x2061 = 0 e1200: x1182 - x1869 x2062 = 0 e1201: x1183 - x1869 x2063 = 0 e1202: x1184 - x1870 x2061 = 0 e1203: x1185 - x1870 x2062 = 0 e1204: x1186 - x1870 x2063 = 0 e1205: x1187 - x1871 x2061 = 0 e1206: x1188 - x1871 x2062 = 0 e1207: x1189 - x1871 x2063 = 0 e1208: x1190 - x1872 x2061 = 0 e1209: x1191 - x1872 x2062 = 0 e1210: x1192 - x1872 x2063 = 0 e1211: x1193 - x1873 x2061 = 0 e1212: x1194 - x1873 x2062 = 0 e1213: x1195 - x1873 x2063 = 0 e1214: x1196 - x1874 x2061 = 0 e1215: x1197 - x1874 x2062 = 0 e1216: x1198 - x1874 x2063 = 0 e1217: x1199 - x1875 x2061 = 0 e1218: x1200 - x1875 x2062 = 0 e1219: x1201 - x1875 x2063 = 0 e1220: x1202 - x1876 x2061 = 0 e1221: x1203 - x1876 x2062 = 0 e1222: x1204 - x1876 x2063 = 0 e1223: x1205 - x1877 x2061 = 0 e1224: x1206 - x1877 x2062 = 0 e1225: x1207 - x1877 x2063 = 0 e1226: x1208 - x1878 x2061 = 0 e1227: x1209 - x1878 x2062 = 0 e1228: x1210 - x1878 x2063 = 0 e1229: x1211 - x1879 x2061 = 0 e1230: x1212 - x1879 x2062 = 0 e1231: x1213 - x1879 x2063 = 0 e1232: x1214 - x1880 x2064 = 0 e1233: x1215 - x1880 x2065 = 0 e1234: x1216 - x1880 x2066 = 0 e1235: x1217 - x1881 x2064 = 0 e1236: x1218 - x1881 x2065 = 0 e1237: x1219 - x1881 x2066 = 0 e1238: x1220 - x1882 x2064 = 0 e1239: x1221 - x1882 x2065 = 0 e1240: x1222 - x1882 x2066 = 0 e1241: x1223 - x1883 x2064 = 0 e1242: x1224 - x1883 x2065 = 0 e1243: x1225 - x1883 x2066 = 0 e1244: x1226 - x1884 x2064 = 0 e1245: x1227 - x1884 x2065 = 0 e1246: x1228 - x1884 x2066 = 0 e1247: x1229 - x1885 x2064 = 0 e1248: x1230 - x1885 x2065 = 0 e1249: x1231 - x1885 x2066 = 0 e1250: x1232 - x1886 x2064 = 0 e1251: x1233 - x1886 x2065 = 0 e1252: x1234 - x1886 x2066 = 0 e1253: x1235 - x1887 x2064 = 0 e1254: x1236 - x1887 x2065 = 0 e1255: x1237 - x1887 x2066 = 0 e1256: x1238 - x1888 x2064 = 0 e1257: x1239 - x1888 x2065 = 0 e1258: x1240 - x1888 x2066 = 0 e1259: x1241 - x1889 x2064 = 0 e1260: x1242 - x1889 x2065 = 0 e1261: x1243 - x1889 x2066 = 0 e1262: x1244 - x1890 x2064 = 0 e1263: x1245 - x1890 x2065 = 0 e1264: x1246 - x1890 x2066 = 0 e1265: x1247 - x1891 x2064 = 0 e1266: x1248 - x1891 x2065 = 0 e1267: x1249 - x1891 x2066 = 0 e1268: x1250 - x1892 x2064 = 0 e1269: x1251 - x1892 x2065 = 0 e1270: x1252 - x1892 x2066 = 0 e1271: x1253 - x1893 x2064 = 0 e1272: x1254 - x1893 x2065 = 0 e1273: x1255 - x1893 x2066 = 0 e1274: x1256 - x1894 x2064 = 0 e1275: x1257 - x1894 x2065 = 0 e1276: x1258 - x1894 x2066 = 0 e1277: x1259 - x1895 x2064 = 0 e1278: x1260 - x1895 x2065 = 0 e1279: x1261 - x1895 x2066 = 0 e1280: x1262 - x1896 x2064 = 0 e1281: x1263 - x1896 x2065 = 0 e1282: x1264 - x1896 x2066 = 0 e1283: x1265 - x1897 x2064 = 0 e1284: x1266 - x1897 x2065 = 0 e1285: x1267 - x1897 x2066 = 0 e1286: x1268 - x1898 x2064 = 0 e1287: x1269 - x1898 x2065 = 0 e1288: x1270 - x1898 x2066 = 0 e1289: x1271 - x1899 x2064 = 0 e1290: x1272 - x1899 x2065 = 0 e1291: x1273 - x1899 x2066 = 0 e1292: x1274 - x1900 x2064 = 0 e1293: x1275 - x1900 x2065 = 0 e1294: x1276 - x1900 x2066 = 0 e1295: x1277 - x1901 x2064 = 0 e1296: x1278 - x1901 x2065 = 0 e1297: x1279 - x1901 x2066 = 0 e1298: x1280 - x1902 x2064 = 0 e1299: x1281 - x1902 x2065 = 0 e1300: x1282 - x1902 x2066 = 0 e1301: x1283 - x1903 x2064 = 0 e1302: x1284 - x1903 x2065 = 0 e1303: x1285 - x1903 x2066 = 0 e1304: x1286 - x1904 x2064 = 0 e1305: x1287 - x1904 x2065 = 0 e1306: x1288 - x1904 x2066 = 0 e1307: x1289 - x1905 x2064 = 0 e1308: x1290 - x1905 x2065 = 0 e1309: x1291 - x1905 x2066 = 0 e1310: x1292 - x1906 x2064 = 0 e1311: x1293 - x1906 x2065 = 0 e1312: x1294 - x1906 x2066 = 0 e1313: x1295 - x1907 x2067 = 0 e1314: x1296 - x1907 x2068 = 0 e1315: x1297 - x1907 x2069 = 0 e1316: x1298 - x1908 x2067 = 0 e1317: x1299 - x1908 x2068 = 0 e1318: x1300 - x1908 x2069 = 0 e1319: x1301 - x1909 x2067 = 0 e1320: x1302 - x1909 x2068 = 0 e1321: x1303 - x1909 x2069 = 0 e1322: x1304 - x1910 x2067 = 0 e1323: x1305 - x1910 x2068 = 0 e1324: x1306 - x1910 x2069 = 0 e1325: x1307 - x1911 x2067 = 0 e1326: x1308 - x1911 x2068 = 0 e1327: x1309 - x1911 x2069 = 0 e1328: x1310 - x1912 x2067 = 0 e1329: x1311 - x1912 x2068 = 0 e1330: x1312 - x1912 x2069 = 0 e1331: x1313 - x1913 x2067 = 0 e1332: x1314 - x1913 x2068 = 0 e1333: x1315 - x1913 x2069 = 0 e1334: x1316 - x1914 x2067 = 0 e1335: x1317 - x1914 x2068 = 0 e1336: x1318 - x1914 x2069 = 0 e1337: x1319 - x1915 x2067 = 0 e1338: x1320 - x1915 x2068 = 0 e1339: x1321 - x1915 x2069 = 0 e1340: x1322 - x1916 x2067 = 0 e1341: x1323 - x1916 x2068 = 0 e1342: x1324 - x1916 x2069 = 0 e1343: x1325 - x1917 x2070 = 0 e1344: x1326 - x1917 x2071 = 0 e1345: x1327 - x1917 x2072 = 0 e1346: x1328 - x1918 x2070 = 0 e1347: x1329 - x1918 x2071 = 0 e1348: x1330 - x1918 x2072 = 0 e1349: x1331 - x1919 x2070 = 0 e1350: x1332 - x1919 x2071 = 0 e1351: x1333 - x1919 x2072 = 0 e1352: x1334 - x1920 x2070 = 0 e1353: x1335 - x1920 x2071 = 0 e1354: x1336 - x1920 x2072 = 0 e1355: x1337 - x1921 x2070 = 0 e1356: x1338 - x1921 x2071 = 0 e1357: x1339 - x1921 x2072 = 0 e1358: x1340 - x1922 x2070 = 0 e1359: x1341 - x1922 x2071 = 0 e1360: x1342 - x1922 x2072 = 0 e1361: x1343 - x1923 x2070 = 0 e1362: x1344 - x1923 x2071 = 0 e1363: x1345 - x1923 x2072 = 0 e1364: x1346 - x1924 x2070 = 0 e1365: x1347 - x1924 x2071 = 0 e1366: x1348 - x1924 x2072 = 0 e1367: x1349 - x1925 x2073 = 0 e1368: x1350 - x1925 x2074 = 0 e1369: x1351 - x1925 x2075 = 0 e1370: x1352 - x1926 x2073 = 0 e1371: x1353 - x1926 x2074 = 0 e1372: x1354 - x1926 x2075 = 0 e1373: x1355 - x1927 x2073 = 0 e1374: x1356 - x1927 x2074 = 0 e1375: x1357 - x1927 x2075 = 0 e1376: x1358 - x1928 x2073 = 0 e1377: x1359 - x1928 x2074 = 0 e1378: x1360 - x1928 x2075 = 0 e1379: x1361 - x1929 x2073 = 0 e1380: x1362 - x1929 x2074 = 0 e1381: x1363 - x1929 x2075 = 0 e1382: x1364 - x1930 x2073 = 0 e1383: x1365 - x1930 x2074 = 0 e1384: x1366 - x1930 x2075 = 0 e1385: x1367 - x1931 x2073 = 0 e1386: x1368 - x1931 x2074 = 0 e1387: x1369 - x1931 x2075 = 0 e1388: x1370 - x1932 x2073 = 0 e1389: x1371 - x1932 x2074 = 0 e1390: x1372 - x1932 x2075 = 0 e1391: x1373 - x1933 x2076 = 0 e1392: x1374 - x1933 x2077 = 0 e1393: x1375 - x1933 x2078 = 0 e1394: x1376 - x1934 x2076 = 0 e1395: x1377 - x1934 x2077 = 0 e1396: x1378 - x1934 x2078 = 0 e1397: x1379 - x1935 x2076 = 0 e1398: x1380 - x1935 x2077 = 0 e1399: x1381 - x1935 x2078 = 0 e1400: x1382 - x1936 x2076 = 0 e1401: x1383 - x1936 x2077 = 0 e1402: x1384 - x1936 x2078 = 0 e1403: x1385 - x1937 x2076 = 0 e1404: x1386 - x1937 x2077 = 0 e1405: x1387 - x1937 x2078 = 0 e1406: x1388 - x1938 x2076 = 0 e1407: x1389 - x1938 x2077 = 0 e1408: x1390 - x1938 x2078 = 0 e1409: x1391 - x1939 x2076 = 0 e1410: x1392 - x1939 x2077 = 0 e1411: x1393 - x1939 x2078 = 0 e1412: x1394 - x1940 x2076 = 0 e1413: x1395 - x1940 x2077 = 0 e1414: x1396 - x1940 x2078 = 0 e1415: x1397 - x1941 x2076 = 0 e1416: x1398 - x1941 x2077 = 0 e1417: x1399 - x1941 x2078 = 0 e1418: x1400 - x1942 x2076 = 0 e1419: x1401 - x1942 x2077 = 0 e1420: x1402 - x1942 x2078 = 0 e1421: x1403 - x1943 x2076 = 0 e1422: x1404 - x1943 x2077 = 0 e1423: x1405 - x1943 x2078 = 0 e1424: x1406 - x1944 x2076 = 0 e1425: x1407 - x1944 x2077 = 0 e1426: x1408 - x1944 x2078 = 0 e1427: x1409 - x1945 x2079 = 0 e1428: x1410 - x1945 x2080 = 0 e1429: x1411 - x1945 x2081 = 0 e1430: x1412 - x1946 x2079 = 0 e1431: x1413 - x1946 x2080 = 0 e1432: x1414 - x1946 x2081 = 0 e1433: x1415 - x1947 x2079 = 0 e1434: x1416 - x1947 x2080 = 0 e1435: x1417 - x1947 x2081 = 0 e1436: x1418 - x1948 x2079 = 0 e1437: x1419 - x1948 x2080 = 0 e1438: x1420 - x1948 x2081 = 0 e1439: x1421 - x1949 x2079 = 0 e1440: x1422 - x1949 x2080 = 0 e1441: x1423 - x1949 x2081 = 0 e1442: x1424 - x1950 x2079 = 0 e1443: x1425 - x1950 x2080 = 0 e1444: x1426 - x1950 x2081 = 0 e1445: x1427 - x1951 x2079 = 0 e1446: x1428 - x1951 x2080 = 0 e1447: x1429 - x1951 x2081 = 0 e1448: x1430 - x1952 x2079 = 0 e1449: x1431 - x1952 x2080 = 0 e1450: x1432 - x1952 x2081 = 0 e1451: x1433 - x1953 x2079 = 0 e1452: x1434 - x1953 x2080 = 0 e1453: x1435 - x1953 x2081 = 0 e1454: x1436 - x1954 x2079 = 0 e1455: x1437 - x1954 x2080 = 0 e1456: x1438 - x1954 x2081 = 0 e1457: x1439 - x1955 x2079 = 0 e1458: x1440 - x1955 x2080 = 0 e1459: x1441 - x1955 x2081 = 0 e1460: x1442 - x1956 x2079 = 0 e1461: x1443 - x1956 x2080 = 0 e1462: x1444 - x1956 x2081 = 0 e1463: x1445 - x1957 x2079 = 0 e1464: x1446 - x1957 x2080 = 0 e1465: x1447 - x1957 x2081 = 0 e1466: x1448 - x1958 x2079 = 0 e1467: x1449 - x1958 x2080 = 0 e1468: x1450 - x1958 x2081 = 0 e1469: x1451 - x1959 x2079 = 0 e1470: x1452 - x1959 x2080 = 0 e1471: x1453 - x1959 x2081 = 0 e1472: x1454 - x1960 x2079 = 0 e1473: x1455 - x1960 x2080 = 0 e1474: x1456 - x1960 x2081 = 0 e1475: x1457 - x1961 x2079 = 0 e1476: x1458 - x1961 x2080 = 0 e1477: x1459 - x1961 x2081 = 0 e1478: x1460 - x1962 x2079 = 0 e1479: x1461 - x1962 x2080 = 0 e1480: x1462 - x1962 x2081 = 0 e1481: x1463 - x1963 x2079 = 0 e1482: x1464 - x1963 x2080 = 0 e1483: x1465 - x1963 x2081 = 0 e1484: x1466 - x1964 x2079 = 0 e1485: x1467 - x1964 x2080 = 0 e1486: x1468 - x1964 x2081 = 0 e1487: x1469 - x1965 x2079 = 0 e1488: x1470 - x1965 x2080 = 0 e1489: x1471 - x1965 x2081 = 0 e1490: x1472 - x1966 x2079 = 0 e1491: x1473 - x1966 x2080 = 0 e1492: x1474 - x1966 x2081 = 0 e1493: x1475 - x1967 x2079 = 0 e1494: x1476 - x1967 x2080 = 0 e1495: x1477 - x1967 x2081 = 0 e1496: x1478 - x1968 x2079 = 0 e1497: x1479 - x1968 x2080 = 0 e1498: x1480 - x1968 x2081 = 0 e1499: x1481 - x1969 x2079 = 0 e1500: x1482 - x1969 x2080 = 0 e1501: x1483 - x1969 x2081 = 0 e1502: x1484 - x1970 x2079 = 0 e1503: x1485 - x1970 x2080 = 0 e1504: x1486 - x1970 x2081 = 0 e1505: x1487 - x1971 x2079 = 0 e1506: x1488 - x1971 x2080 = 0 e1507: x1489 - x1971 x2081 = 0 e1508: x1490 - x1972 x2082 = 0 e1509: x1491 - x1972 x2083 = 0 e1510: x1492 - x1972 x2084 = 0 e1511: x1493 - x1973 x2082 = 0 e1512: x1494 - x1973 x2083 = 0 e1513: x1495 - x1973 x2084 = 0 e1514: x1496 - x1974 x2082 = 0 e1515: x1497 - x1974 x2083 = 0 e1516: x1498 - x1974 x2084 = 0 e1517: x1499 - x1975 x2082 = 0 e1518: x1500 - x1975 x2083 = 0 e1519: x1501 - x1975 x2084 = 0 e1520: x1502 - x1976 x2082 = 0 e1521: x1503 - x1976 x2083 = 0 e1522: x1504 - x1976 x2084 = 0 e1523: x1505 - x1977 x2082 = 0 e1524: x1506 - x1977 x2083 = 0 e1525: x1507 - x1977 x2084 = 0 e1526: x1508 - x1978 x2082 = 0 e1527: x1509 - x1978 x2083 = 0 e1528: x1510 - x1978 x2084 = 0 e1529: x1511 - x1979 x2082 = 0 e1530: x1512 - x1979 x2083 = 0 e1531: x1513 - x1979 x2084 = 0 e1532: x1514 - x1980 x2082 = 0 e1533: x1515 - x1980 x2083 = 0 e1534: x1516 - x1980 x2084 = 0 e1535: x1517 - x1981 x2082 = 0 e1536: x1518 - x1981 x2083 = 0 e1537: x1519 - x1981 x2084 = 0 e1538: x1520 - x1982 x2082 = 0 e1539: x1521 - x1982 x2083 = 0 e1540: x1522 - x1982 x2084 = 0 e1541: x1523 - x1983 x2082 = 0 e1542: x1524 - x1983 x2083 = 0 e1543: x1525 - x1983 x2084 = 0 e1544: x1526 - x1984 x2082 = 0 e1545: x1527 - x1984 x2083 = 0 e1546: x1528 - x1984 x2084 = 0 e1547: x1529 - x1985 x2082 = 0 e1548: x1530 - x1985 x2083 = 0 e1549: x1531 - x1985 x2084 = 0 e1550: x1532 - x1986 x2082 = 0 e1551: x1533 - x1986 x2083 = 0 e1552: x1534 - x1986 x2084 = 0 e1553: x1535 - x1987 x2082 = 0 e1554: x1536 - x1987 x2083 = 0 e1555: x1537 - x1987 x2084 = 0 e1556: x1538 - x1988 x2082 = 0 e1557: x1539 - x1988 x2083 = 0 e1558: x1540 - x1988 x2084 = 0 e1559: x1541 - x1989 x2082 = 0 e1560: x1542 - x1989 x2083 = 0 e1561: x1543 - x1989 x2084 = 0 e1562: x1544 - x1990 x2082 = 0 e1563: x1545 - x1990 x2083 = 0 e1564: x1546 - x1990 x2084 = 0 e1565: x1547 - x1991 x2082 = 0 e1566: x1548 - x1991 x2083 = 0 e1567: x1549 - x1991 x2084 = 0 e1568: x1550 - x1992 x2082 = 0 e1569: x1551 - x1992 x2083 = 0 e1570: x1552 - x1992 x2084 = 0 e1571: x1553 - x1993 x2082 = 0 e1572: x1554 - x1993 x2083 = 0 e1573: x1555 - x1993 x2084 = 0 e1574: x1556 - x1994 x2082 = 0 e1575: x1557 - x1994 x2083 = 0 e1576: x1558 - x1994 x2084 = 0 e1577: x1559 - x1995 x2082 = 0 e1578: x1560 - x1995 x2083 = 0 e1579: x1561 - x1995 x2084 = 0 e1580: x1562 - x1996 x2082 = 0 e1581: x1563 - x1996 x2083 = 0 e1582: x1564 - x1996 x2084 = 0 e1583: x1565 - x1997 x2082 = 0 e1584: x1566 - x1997 x2083 = 0 e1585: x1567 - x1997 x2084 = 0 e1586: x1568 - x1998 x2082 = 0 e1587: x1569 - x1998 x2083 = 0 e1588: x1570 - x1998 x2084 = 0 e1589: - 2 x1 - x2 - 5e-2 x3 - 2 x4 - x5 - 5e-2 x6 - 2 x7 - x8 - 5e-2 x9 - 2 x10 - x11 - 5e-2 x12 - 2 x13 - x14 - 5e-2 x15 - 2 x16 - x17 - 5e-2 x18 - 2 x19 - x20 - 5e-2 x21 - 2 x22 - x23 - 5e-2 x24 - 2 x25 - x26 - 5e-2 x27 - 2 x28 - x29 - 5e-2 x30 - 2 x31 - x32 - 5e-2 x33 - 2 x34 - x35 - 5e-2 x36 - 2 x37 - x38 - 5e-2 x39 - 2 x40 - x41 - 5e-2 x42 - 2 x43 - x44 - 5e-2 x45 - 2 x46 - x47 - 5e-2 x48 - 2 x49 - x50 - 5e-2 x51 - 2 x52 - x53 - 5e-2 x54 - 2 x55 - x56 - 5e-2 x57 - 2 x58 - x59 - 5e-2 x60 - 2 x61 - x62 - 5e-2 x63 - 2 x64 - x65 - 5e-2 x66 - 2 x67 - x68 - 5e-2 x69 - 2 x70 - x71 - 5e-2 x72 - 2 x73 - x74 - 5e-2 x75 - 2 x76 - x77 - 5e-2 x78 - 2 x79 - x80 - 5e-2 x81 + x82 = 0 e1590: x1571 - 21 b2085 <= 0 e1591: x1572 - 21 b2086 <= 0 e1592: x1573 - 21 b2087 <= 0 e1593: x1574 - 21 b2088 <= 0 e1594: x1575 - 21 b2089 <= 0 e1595: x1576 - 21 b2090 <= 0 e1596: x1577 - 21 b2091 <= 0 e1597: x1579 - 3.3 b2092 <= 0 e1598: x1580 - 3.3 b2093 <= 0 e1599: x1581 - 3.3 b2094 <= 0 e1600: x1582 - 3.3 b2095 <= 0 e1601: x1583 - 3.3 b2096 <= 0 e1602: x1584 - 3.3 b2097 <= 0 e1603: x1585 - 3.3 b2098 <= 0 e1604: x1586 - 3.3 b2099 <= 0 e1605: x1587 - 3.3 b2100 <= 0 e1606: x1589 - 23 b2101 <= 0 e1607: x1590 - 23 b2102 <= 0 e1608: x1591 - 23 b2103 <= 0 e1609: x1592 - 23 b2104 <= 0 e1610: x1593 - 23 b2105 <= 0 e1611: x1594 - 23 b2106 <= 0 e1612: x1595 - 23 b2107 <= 0 e1613: x1596 - 23 b2108 <= 0 e1614: x1597 - 23 b2109 <= 0 e1615: x1598 - 23 b2110 <= 0 e1616: x1599 - 23 b2111 <= 0 e1617: x1600 - 23 b2112 <= 0 e1618: x1601 - 23 b2113 <= 0 e1619: x1602 - 23 b2114 <= 0 e1620: x1603 - 23 b2115 <= 0 e1621: x1604 - 23 b2116 <= 0 e1622: x1605 - 23 b2117 <= 0 e1623: x1606 - 23 b2118 <= 0 e1624: x1607 - 23 b2119 <= 0 e1625: x1608 - 23 b2120 <= 0 e1626: x1609 - 23 b2121 <= 0 e1627: x1610 - 23 b2122 <= 0 e1628: x1611 - 23 b2123 <= 0 e1629: x1612 - 23 b2124 <= 0 e1630: x1613 - 23 b2125 <= 0 e1631: x1614 - 23 b2126 <= 0 e1632: x1616 - 1.5e2 b2127 <= 0 e1633: x1617 - 1.5e2 b2128 <= 0 e1634: x1618 - 1.5e2 b2129 <= 0 e1635: x1619 - 1.5e2 b2130 <= 0 e1636: x1620 - 1.5e2 b2131 <= 0 e1637: x1621 - 1.5e2 b2132 <= 0 e1638: x1622 - 1.5e2 b2133 <= 0 e1639: x1623 - 1.5e2 b2134 <= 0 e1640: x1624 - 1.5e2 b2135 <= 0 e1641: x1625 - 1.5e2 b2136 <= 0 e1642: x1626 - 1.5e2 b2137 <= 0 e1643: x1628 - 11 b2138 <= 0 e1644: x1629 - 11 b2139 <= 0 e1645: x1630 - 11 b2140 <= 0 e1646: x1631 - 11 b2141 <= 0 e1647: x1632 - 11 b2142 <= 0 e1648: x1633 - 11 b2143 <= 0 e1649: x1634 - 11 b2144 <= 0 e1650: x1635 - 11 b2145 <= 0 e1651: x1636 - 11 b2146 <= 0 e1652: x1638 - 15 b2147 <= 0 e1653: x1639 - 15 b2148 <= 0 e1654: x1640 - 15 b2149 <= 0 e1655: x1641 - 15 b2150 <= 0 e1656: x1642 - 15 b2151 <= 0 e1657: x1643 - 15 b2152 <= 0 e1658: x1644 - 15 b2153 <= 0 e1659: x1645 - 15 b2154 <= 0 e1660: x1646 - 15 b2155 <= 0 e1661: x1648 - 5.5 b2156 <= 0 e1662: x1649 - 5.5 b2157 <= 0 e1663: x1650 - 5.5 b2158 <= 0 e1664: x1651 - 5.5 b2159 <= 0 e1665: x1652 - 5.5 b2160 <= 0 e1666: x1653 - 5.5 b2161 <= 0 e1667: x1654 - 5.5 b2162 <= 0 e1668: x1655 - 5.5 b2163 <= 0 e1669: x1656 - 5.5 b2164 <= 0 e1670: x1658 - 4 b2165 <= 0 e1671: x1659 - 4 b2166 <= 0 e1672: x1660 - 4 b2167 <= 0 e1673: x1661 - 4 b2168 <= 0 e1674: x1662 - 4 b2169 <= 0 e1675: x1663 - 4 b2170 <= 0 e1676: x1664 - 4 b2171 <= 0 e1677: x1665 - 4 b2172 <= 0 e1678: x1666 - 4 b2173 <= 0 e1679: x1668 - 6 b2174 <= 0 e1680: x1669 - 6 b2175 <= 0 e1681: x1670 - 6 b2176 <= 0 e1682: x1671 - 6 b2177 <= 0 e1683: x1672 - 6 b2178 <= 0 e1684: x1673 - 6 b2179 <= 0 e1685: x1674 - 6 b2180 <= 0 e1686: x1675 - 6 b2181 <= 0 e1687: x1676 - 6 b2182 <= 0 e1688: x1678 - 1.2e2 b2183 <= 0 e1689: x1679 - 1.2e2 b2184 <= 0 e1690: x1680 - 1.2e2 b2185 <= 0 e1691: x1681 - 1.2e2 b2186 <= 0 e1692: x1682 - 1.2e2 b2187 <= 0 e1693: x1683 - 1.2e2 b2188 <= 0 e1694: x1684 - 1.2e2 b2189 <= 0 e1695: x1685 - 1.2e2 b2190 <= 0 e1696: x1686 - 1.2e2 b2191 <= 0 e1697: x1688 - 4 b2192 <= 0 e1698: x1689 - 4 b2193 <= 0 e1699: x1690 - 4 b2194 <= 0 e1700: x1691 - 4 b2195 <= 0 e1701: x1692 - 4 b2196 <= 0 e1702: x1693 - 4 b2197 <= 0 e1703: x1694 - 4 b2198 <= 0 e1704: x1695 - 4 b2199 <= 0 e1705: x1696 - 4 b2200 <= 0 e1706: x1697 - 4 b2201 <= 0 e1707: x1698 - 4 b2202 <= 0 e1708: x1699 - 4 b2203 <= 0 e1709: x1700 - 4 b2204 <= 0 e1710: x1701 - 4 b2205 <= 0 e1711: x1702 - 4 b2206 <= 0 e1712: x1703 - 4 b2207 <= 0 e1713: x1704 - 4 b2208 <= 0 e1714: x1705 - 4 b2209 <= 0 e1715: x1706 - 4 b2210 <= 0 e1716: x1707 - 4 b2211 <= 0 e1717: x1708 - 4 b2212 <= 0 e1718: x1709 - 4 b2213 <= 0 e1719: x1710 - 4 b2214 <= 0 e1720: x1711 - 4 b2215 <= 0 e1721: x1712 - 4 b2216 <= 0 e1722: x1713 - 4 b2217 <= 0 e1723: x1715 - 10 b2218 <= 0 e1724: x1716 - 10 b2219 <= 0 e1725: x1717 - 10 b2220 <= 0 e1726: x1718 - 10 b2221 <= 0 e1727: x1719 - 10 b2222 <= 0 e1728: x1720 - 10 b2223 <= 0 e1729: x1721 - 10 b2224 <= 0 e1730: x1722 - 10 b2225 <= 0 e1731: x1723 - 10 b2226 <= 0 e1732: x1724 - 10 b2227 <= 0 e1733: x1725 - 10 b2228 <= 0 e1734: x1727 - 5 b2229 <= 0 e1735: x1728 - 5 b2230 <= 0 e1736: x1729 - 5 b2231 <= 0 e1737: x1730 - 5 b2232 <= 0 e1738: x1731 - 5 b2233 <= 0 e1739: x1732 - 5 b2234 <= 0 e1740: x1733 - 5 b2235 <= 0 e1741: x1734 - 5 b2236 <= 0 e1742: x1735 - 5 b2237 <= 0 e1743: x1736 - 5 b2238 <= 0 e1744: x1737 - 5 b2239 <= 0 e1745: x1738 - 5 b2240 <= 0 e1746: x1739 - 5 b2241 <= 0 e1747: x1741 - 10 b2242 <= 0 e1748: x1742 - 10 b2243 <= 0 e1749: x1743 - 10 b2244 <= 0 e1750: x1744 - 10 b2245 <= 0 e1751: x1745 - 10 b2246 <= 0 e1752: x1746 - 10 b2247 <= 0 e1753: x1747 - 10 b2248 <= 0 e1754: x1748 - 10 b2249 <= 0 e1755: x1749 - 10 b2250 <= 0 e1756: x1750 - 10 b2251 <= 0 e1757: x1751 - 10 b2252 <= 0 e1758: x1752 - 10 b2253 <= 0 e1759: x1753 - 10 b2254 <= 0 e1760: x1755 - 10 b2255 <= 0 e1761: x1756 - 10 b2256 <= 0 e1762: x1757 - 10 b2257 <= 0 e1763: x1758 - 10 b2258 <= 0 e1764: x1759 - 10 b2259 <= 0 e1765: x1760 - 10 b2260 <= 0 e1766: x1761 - 10 b2261 <= 0 e1767: x1762 - 10 b2262 <= 0 e1768: x1763 - 10 b2263 <= 0 e1769: x1764 - 10 b2264 <= 0 e1770: x1765 - 10 b2265 <= 0 e1771: x1766 - 10 b2266 <= 0 e1772: x1767 - 10 b2267 <= 0 e1773: x1769 - 5.5 b2268 <= 0 e1774: x1770 - 5.5 b2269 <= 0 e1775: x1771 - 5.5 b2270 <= 0 e1776: x1772 - 5.5 b2271 <= 0 e1777: x1773 - 5.5 b2272 <= 0 e1778: x1774 - 5.5 b2273 <= 0 e1779: x1775 - 5.5 b2274 <= 0 e1780: x1776 - 5.5 b2275 <= 0 e1781: x1777 - 5.5 b2276 <= 0 e1782: x1778 - 5.5 b2277 <= 0 e1783: x1779 - 5.5 b2278 <= 0 e1784: x1780 - 5.5 b2279 <= 0 e1785: x1781 - 5.5 b2280 <= 0 e1786: x1782 - 5.5 b2281 <= 0 e1787: x1783 - 5.5 b2282 <= 0 e1788: x1784 - 5.5 b2283 <= 0 e1789: x1785 - 5.5 b2284 <= 0 e1790: x1786 - 5.5 b2285 <= 0 e1791: x1787 - 5.5 b2286 <= 0 e1792: x1788 - 5.5 b2287 <= 0 e1793: x1789 - 5.5 b2288 <= 0 e1794: x1790 - 5.5 b2289 <= 0 e1795: x1791 - 5.5 b2290 <= 0 e1796: x1792 - 5.5 b2291 <= 0 e1797: x1793 - 5.5 b2292 <= 0 e1798: x1794 - 5.5 b2293 <= 0 e1799: x1796 - 8 b2294 <= 0 e1800: x1797 - 8 b2295 <= 0 e1801: x1798 - 8 b2296 <= 0 e1802: x1799 - 8 b2297 <= 0 e1803: x1800 - 8 b2298 <= 0 e1804: x1801 - 8 b2299 <= 0 e1805: x1802 - 8 b2300 <= 0 e1806: x1803 - 8 b2301 <= 0 e1807: x1804 - 8 b2302 <= 0 e1808: x1805 - 8 b2303 <= 0 e1809: x1806 - 8 b2304 <= 0 e1810: x1807 - 8 b2305 <= 0 e1811: x1808 - 8 b2306 <= 0 e1812: x1809 - 8 b2307 <= 0 e1813: x1810 - 8 b2308 <= 0 e1814: x1811 - 8 b2309 <= 0 e1815: x1812 - 8 b2310 <= 0 e1816: x1813 - 8 b2311 <= 0 e1817: x1814 - 8 b2312 <= 0 e1818: x1815 - 8 b2313 <= 0 e1819: x1816 - 8 b2314 <= 0 e1820: x1817 - 8 b2315 <= 0 e1821: x1818 - 8 b2316 <= 0 e1822: x1819 - 8 b2317 <= 0 e1823: x1820 - 8 b2318 <= 0 e1824: x1821 - 8 b2319 <= 0 e1825: x1823 - 7 b2320 <= 0 e1826: x1824 - 7 b2321 <= 0 e1827: x1825 - 7 b2322 <= 0 e1828: x1826 - 7 b2323 <= 0 e1829: x1827 - 7 b2324 <= 0 e1830: x1828 - 7 b2325 <= 0 e1831: x1829 - 7 b2326 <= 0 e1832: x1831 - 62 b2327 <= 0 e1833: x1832 - 62 b2328 <= 0 e1834: x1833 - 62 b2329 <= 0 e1835: x1834 - 62 b2330 <= 0 e1836: x1835 - 62 b2331 <= 0 e1837: x1836 - 62 b2332 <= 0 e1838: x1837 - 62 b2333 <= 0 e1839: x1839 - 74 b2334 <= 0 e1840: x1840 - 74 b2335 <= 0 e1841: x1841 - 74 b2336 <= 0 e1842: x1842 - 74 b2337 <= 0 e1843: x1843 - 74 b2338 <= 0 e1844: x1844 - 74 b2339 <= 0 e1845: x1845 - 74 b2340 <= 0 e1846: x1846 - 74 b2341 <= 0 e1847: x1847 - 74 b2342 <= 0 e1848: x1848 - 74 b2343 <= 0 e1849: x1849 - 74 b2344 <= 0 e1850: x1850 - 74 b2345 <= 0 e1851: x1851 - 74 b2346 <= 0 e1852: x1853 - 7 b2347 <= 0 e1853: x1854 - 7 b2348 <= 0 e1854: x1855 - 7 b2349 <= 0 e1855: x1856 - 7 b2350 <= 0 e1856: x1857 - 7 b2351 <= 0 e1857: x1858 - 7 b2352 <= 0 e1858: x1859 - 7 b2353 <= 0 e1859: x1860 - 7 b2354 <= 0 e1860: x1861 - 7 b2355 <= 0 e1861: x1862 - 7 b2356 <= 0 e1862: x1863 - 7 b2357 <= 0 e1863: x1864 - 7 b2358 <= 0 e1864: x1865 - 7 b2359 <= 0 e1865: x1866 - 7 b2360 <= 0 e1866: x1867 - 7 b2361 <= 0 e1867: x1868 - 7 b2362 <= 0 e1868: x1869 - 7 b2363 <= 0 e1869: x1870 - 7 b2364 <= 0 e1870: x1871 - 7 b2365 <= 0 e1871: x1872 - 7 b2366 <= 0 e1872: x1873 - 7 b2367 <= 0 e1873: x1874 - 7 b2368 <= 0 e1874: x1875 - 7 b2369 <= 0 e1875: x1876 - 7 b2370 <= 0 e1876: x1877 - 7 b2371 <= 0 e1877: x1878 - 7 b2372 <= 0 e1878: x1880 - 21.5 b2373 <= 0 e1879: x1881 - 21.5 b2374 <= 0 e1880: x1882 - 21.5 b2375 <= 0 e1881: x1883 - 21.5 b2376 <= 0 e1882: x1884 - 21.5 b2377 <= 0 e1883: x1885 - 21.5 b2378 <= 0 e1884: x1886 - 21.5 b2379 <= 0 e1885: x1887 - 21.5 b2380 <= 0 e1886: x1888 - 21.5 b2381 <= 0 e1887: x1889 - 21.5 b2382 <= 0 e1888: x1890 - 21.5 b2383 <= 0 e1889: x1891 - 21.5 b2384 <= 0 e1890: x1892 - 21.5 b2385 <= 0 e1891: x1893 - 21.5 b2386 <= 0 e1892: x1894 - 21.5 b2387 <= 0 e1893: x1895 - 21.5 b2388 <= 0 e1894: x1896 - 21.5 b2389 <= 0 e1895: x1897 - 21.5 b2390 <= 0 e1896: x1898 - 21.5 b2391 <= 0 e1897: x1899 - 21.5 b2392 <= 0 e1898: x1900 - 21.5 b2393 <= 0 e1899: x1901 - 21.5 b2394 <= 0 e1900: x1902 - 21.5 b2395 <= 0 e1901: x1903 - 21.5 b2396 <= 0 e1902: x1904 - 21.5 b2397 <= 0 e1903: x1905 - 21.5 b2398 <= 0 e1904: x1907 - 25 b2399 <= 0 e1905: x1908 - 25 b2400 <= 0 e1906: x1909 - 25 b2401 <= 0 e1907: x1910 - 25 b2402 <= 0 e1908: x1911 - 25 b2403 <= 0 e1909: x1912 - 25 b2404 <= 0 e1910: x1913 - 25 b2405 <= 0 e1911: x1914 - 25 b2406 <= 0 e1912: x1915 - 25 b2407 <= 0 e1913: x1917 - 11.5 b2408 <= 0 e1914: x1918 - 11.5 b2409 <= 0 e1915: x1919 - 11.5 b2410 <= 0 e1916: x1920 - 11.5 b2411 <= 0 e1917: x1921 - 11.5 b2412 <= 0 e1918: x1922 - 11.5 b2413 <= 0 e1919: x1923 - 11.5 b2414 <= 0 e1920: x1925 - 15 b2415 <= 0 e1921: x1926 - 15 b2416 <= 0 e1922: x1927 - 15 b2417 <= 0 e1923: x1928 - 15 b2418 <= 0 e1924: x1929 - 15 b2419 <= 0 e1925: x1930 - 15 b2420 <= 0 e1926: x1931 - 15 b2421 <= 0 e1927: x1933 - 17 b2422 <= 0 e1928: x1934 - 17 b2423 <= 0 e1929: x1935 - 17 b2424 <= 0 e1930: x1936 - 17 b2425 <= 0 e1931: x1937 - 17 b2426 <= 0 e1932: x1938 - 17 b2427 <= 0 e1933: x1939 - 17 b2428 <= 0 e1934: x1940 - 17 b2429 <= 0 e1935: x1941 - 17 b2430 <= 0 e1936: x1942 - 17 b2431 <= 0 e1937: x1943 - 17 b2432 <= 0 e1938: x1945 - 10 b2433 <= 0 e1939: x1946 - 10 b2434 <= 0 e1940: x1947 - 10 b2435 <= 0 e1941: x1948 - 10 b2436 <= 0 e1942: x1949 - 10 b2437 <= 0 e1943: x1950 - 10 b2438 <= 0 e1944: x1951 - 10 b2439 <= 0 e1945: x1952 - 10 b2440 <= 0 e1946: x1953 - 10 b2441 <= 0 e1947: x1954 - 10 b2442 <= 0 e1948: x1955 - 10 b2443 <= 0 e1949: x1956 - 10 b2444 <= 0 e1950: x1957 - 10 b2445 <= 0 e1951: x1958 - 10 b2446 <= 0 e1952: x1959 - 10 b2447 <= 0 e1953: x1960 - 10 b2448 <= 0 e1954: x1961 - 10 b2449 <= 0 e1955: x1962 - 10 b2450 <= 0 e1956: x1963 - 10 b2451 <= 0 e1957: x1964 - 10 b2452 <= 0 e1958: x1965 - 10 b2453 <= 0 e1959: x1966 - 10 b2454 <= 0 e1960: x1967 - 10 b2455 <= 0 e1961: x1968 - 10 b2456 <= 0 e1962: x1969 - 10 b2457 <= 0 e1963: x1970 - 10 b2458 <= 0 e1964: x1972 - 90 b2459 <= 0 e1965: x1973 - 90 b2460 <= 0 e1966: x1974 - 90 b2461 <= 0 e1967: x1975 - 90 b2462 <= 0 e1968: x1976 - 90 b2463 <= 0 e1969: x1977 - 90 b2464 <= 0 e1970: x1978 - 90 b2465 <= 0 e1971: x1979 - 90 b2466 <= 0 e1972: x1980 - 90 b2467 <= 0 e1973: x1981 - 90 b2468 <= 0 e1974: x1982 - 90 b2469 <= 0 e1975: x1983 - 90 b2470 <= 0 e1976: x1984 - 90 b2471 <= 0 e1977: x1985 - 90 b2472 <= 0 e1978: x1986 - 90 b2473 <= 0 e1979: x1987 - 90 b2474 <= 0 e1980: x1988 - 90 b2475 <= 0 e1981: x1989 - 90 b2476 <= 0 e1982: x1990 - 90 b2477 <= 0 e1983: x1991 - 90 b2478 <= 0 e1984: x1992 - 90 b2479 <= 0 e1985: x1993 - 90 b2480 <= 0 e1986: x1994 - 90 b2481 <= 0 e1987: x1995 - 90 b2482 <= 0 e1988: x1996 - 90 b2483 <= 0 e1989: x1997 - 90 b2484 <= 0 e1990: - 4e-3 x308 - 5e-3 x309 - 6e-3 x310 - 4e-3 x338 - 5e-3 x339 - 6e-3 x340 - 4e-3 x419 - 5e-3 x420 - 6e-3 x421 - 4e-3 x455 - 5e-3 x456 - 6e-3 x457 - 4e-3 x485 - 5e-3 x486 - 6e-3 x487 - 4e-3 x515 - 5e-3 x516 - 6e-3 x517 - 4e-3 x545 - 5e-3 x546 - 6e-3 x547 - 4e-3 x575 - 5e-3 x576 - 6e-3 x577 - 4e-3 x605 - 5e-3 x606 - 6e-3 x607 - 4e-3 x635 - 5e-3 x636 - 6e-3 x637 - 4e-3 x716 - 5e-3 x717 - 6e-3 x718 - 4e-3 x752 - 5e-3 x753 - 6e-3 x754 - 4e-3 x794 - 5e-3 x795 - 6e-3 x796 - 4e-3 x836 - 5e-3 x837 - 6e-3 x838 - 4e-3 x878 - 5e-3 x879 - 6e-3 x880 - 4e-3 x959 - 5e-3 x960 - 6e-3 x961 - 4e-3 x1040 - 5e-3 x1041 - 6e-3 x1042 - 4e-3 x1064 - 5e-3 x1065 - 6e-3 x1066 - 4e-3 x1088 - 5e-3 x1089 - 6e-3 x1090 - 4e-3 x1130 - 5e-3 x1131 - 6e-3 x1132 - 4e-3 x1211 - 5e-3 x1212 - 6e-3 x1213 - 4e-3 x1292 - 5e-3 x1293 - 6e-3 x1294 - 4e-3 x1322 - 5e-3 x1323 - 6e-3 x1324 - 4e-3 x1346 - 5e-3 x1347 - 6e-3 x1348 - 4e-3 x1370 - 5e-3 x1371 - 6e-3 x1372 - 4e-3 x1406 - 5e-3 x1407 - 6e-3 x1408 - 4e-3 x1487 - 5e-3 x1488 - 6e-3 x1489 - 4e-3 x1568 - 5e-3 x1569 - 6e-3 x1570 + x1999 = 0 e1991: - 5.02643504531722 b2085 - 5.02643504531722 b2086 - 5.02643504531722 b2087 - 5.02643504531722 b2088 - 5.02643504531722 b2089 - 5.02643504531722 b2090 - 5.02643504531722 b2091 - 5.02643504531722 b2092 - 5.02643504531722 b2093 - 5.02643504531722 b2094 - 5.02643504531722 b2095 - 5.02643504531722 b2096 - 5.02643504531722 b2097 - 5.02643504531722 b2098 - 7.53965256797582 b2099 - 87.9626132930513 b2100 - 5.02643504531722 b2101 - 5.02643504531722 b2102 - 5.02643504531722 b2103 - 5.02643504531722 b2104 - 5.02643504531722 b2105 - 5.02643504531722 b2106 - 5.02643504531722 b2107 - 5.02643504531722 b2108 - 5.02643504531722 b2109 - 7.53965256797582 b2110 - 37.6982628398791 b2111 - 22.6189577039275 b2112 - 50.2643504531722 b2113 - 50.2643504531722 b2114 - 50.2643504531722 b2115 - 40.2114803625377 b2116 - 40.2114803625377 b2117 - 50.2643504531722 b2118 - 50.2643504531722 b2119 - 70.370090634441 b2120 - 70.370090634441 b2121 - 65.3436555891238 b2122 - 82.9361782477341 b2123 - 67.8568731117824 b2124 - 87.9626132930513 b2125 - 55.2907854984894 b2126 - 5.02643504531722 b2127 - 5.02643504531722 b2128 - 5.02643504531722 b2129 - 5.02643504531722 b2130 - 5.02643504531722 b2131 - 5.02643504531722 b2132 - 5.02643504531722 b2133 - 7.53965256797582 b2134 - 82.9361782477341 b2135 - 67.8568731117824 b2136 - 87.9626132930513 b2137 - 5.02643504531722 b2138 - 5.02643504531722 b2139 - 5.02643504531722 b2140 - 5.02643504531722 b2141 - 5.02643504531722 b2142 - 5.02643504531722 b2143 - 5.02643504531722 b2144 - 7.53965256797582 b2145 - 82.9361782477341 b2146 - 5.02643504531722 b2147 - 5.02643504531722 b2148 - 5.02643504531722 b2149 - 5.02643504531722 b2150 - 5.02643504531722 b2151 - 5.02643504531722 b2152 - 5.02643504531722 b2153 - 7.53965256797582 b2154 - 82.9361782477341 b2155 - 5.02643504531722 b2156 - 5.02643504531722 b2157 - 5.02643504531722 b2158 - 5.02643504531722 b2159 - 5.02643504531722 b2160 - 5.02643504531722 b2161 - 5.02643504531722 b2162 - 7.53965256797582 b2163 - 82.9361782477341 b2164 - 5.02643504531722 b2165 - 5.02643504531722 b2166 - 5.02643504531722 b2167 - 5.02643504531722 b2168 - 5.02643504531722 b2169 - 5.02643504531722 b2170 - 5.02643504531722 b2171 - 7.53965256797582 b2172 - 82.9361782477341 b2173 - 5.02643504531722 b2174 - 5.02643504531722 b2175 - 5.02643504531722 b2176 - 5.02643504531722 b2177 - 5.02643504531722 b2178 - 5.02643504531722 b2179 - 5.02643504531722 b2180 - 7.53965256797582 b2181 - 82.9361782477341 b2182 - 5.02643504531722 b2183 - 5.02643504531722 b2184 - 5.02643504531722 b2185 - 5.02643504531722 b2186 - 5.02643504531722 b2187 - 5.02643504531722 b2188 - 5.02643504531722 b2189 - 7.53965256797582 b2190 - 82.9361782477341 b2191 - 27.6453927492447 b2192 - 27.6453927492447 b2193 - 27.6453927492447 b2194 - 27.6453927492447 b2195 - 27.6453927492447 b2196 - 22.6189577039275 b2197 - 22.6189577039275 b2198 - 22.6189577039275 b2199 - 25.1321752265861 b2200 - 20.1057401812689 b2201 - 10.0528700906344 b2202 - 5.02643504531722 b2203 - 22.6189577039275 b2204 - 22.6189577039275 b2205 - 22.6189577039275 b2206 - 32.6718277945619 b2207 - 32.6718277945619 b2208 - 42.7246978851963 b2209 - 42.7246978851963 b2210 - 42.7246978851963 b2211 - 42.7246978851963 b2212 - 37.6982628398791 b2213 - 55.2907854984894 b2214 - 40.2114803625377 b2215 - 60.3172205438066 b2216 - 27.6453927492447 b2217 - 27.6453927492447 b2218 - 27.6453927492447 b2219 - 27.6453927492447 b2220 - 22.6189577039275 b2221 - 22.6189577039275 b2222 - 22.6189577039275 b2223 - 25.1321752265861 b2224 - 20.1057401812689 b2225 - 55.2907854984894 b2226 - 40.2114803625377 b2227 - 60.3172205438066 b2228 - 22.6189577039275 b2229 - 22.6189577039275 b2230 - 22.6189577039275 b2231 - 17.5925226586103 b2232 - 17.5925226586103 b2233 - 17.5925226586103 b2234 - 20.1057401812689 b2235 - 15.0793051359516 b2236 - 5.02643504531722 b2237 - 37.6982628398791 b2238 - 37.6982628398791 b2239 - 47.7511329305136 b2240 - 65.3436555891238 b2241 - 22.6189577039275 b2242 - 22.6189577039275 b2243 - 22.6189577039275 b2244 - 17.5925226586103 b2245 - 17.5925226586103 b2246 - 17.5925226586103 b2247 - 20.1057401812689 b2248 - 15.0793051359516 b2249 - 5.02643504531722 b2250 - 37.6982628398791 b2251 - 37.6982628398791 b2252 - 47.7511329305136 b2253 - 65.3436555891238 b2254 - 22.6189577039275 b2255 - 22.6189577039275 b2256 - 22.6189577039275 b2257 - 17.5925226586103 b2258 - 17.5925226586103 b2259 - 17.5925226586103 b2260 - 20.1057401812689 b2261 - 15.0793051359516 b2262 - 5.02643504531722 b2263 - 37.6982628398791 b2264 - 37.6982628398791 b2265 - 47.7511329305136 b2266 - 65.3436555891238 b2267 - 50.2643504531722 b2268 - 50.2643504531722 b2269 - 50.2643504531722 b2270 - 50.2643504531722 b2271 - 50.2643504531722 b2272 - 45.2379154078549 b2273 - 45.2379154078549 b2274 - 45.2379154078549 b2275 - 47.7511329305136 b2276 - 42.7246978851963 b2277 - 12.566087613293 b2278 - 27.6453927492447 b2279 - 5.02643504531722 b2280 - 5.02643504531722 b2281 - 5.02643504531722 b2282 - 10.0528700906344 b2283 - 10.0528700906344 b2284 - 20.1057401812689 b2285 - 20.1057401812689 b2286 - 20.1057401812689 b2287 - 20.1057401812689 b2288 - 40.2114803625377 b2289 - 32.6718277945619 b2290 - 17.5925226586103 b2291 - 37.6982628398791 b2292 - 30.1586102719033 b2293 - 50.2643504531722 b2294 - 50.2643504531722 b2295 - 50.2643504531722 b2296 - 50.2643504531722 b2297 - 50.2643504531722 b2298 - 45.2379154078549 b2299 - 45.2379154078549 b2300 - 45.2379154078549 b2301 - 47.7511329305136 b2302 - 42.7246978851963 b2303 - 12.566087613293 b2304 - 27.6453927492447 b2305 - 5.02643504531722 b2306 - 5.02643504531722 b2307 - 5.02643504531722 b2308 - 10.0528700906344 b2309 - 10.0528700906344 b2310 - 20.1057401812689 b2311 - 20.1057401812689 b2312 - 20.1057401812689 b2313 - 20.1057401812689 b2314 - 40.2114803625377 b2315 - 32.6718277945619 b2316 - 17.5925226586103 b2317 - 37.6982628398791 b2318 - 30.1586102719033 b2319 - 40.2114803625377 b2320 - 40.2114803625377 b2321 - 40.2114803625377 b2322 - 35.1850453172205 b2323 - 35.1850453172205 b2324 - 35.1850453172205 b2325 - 37.6982628398791 b2326 - 50.2643504531722 b2327 - 50.2643504531722 b2328 - 50.2643504531722 b2329 - 45.2379154078549 b2330 - 45.2379154078549 b2331 - 45.2379154078549 b2332 - 47.7511329305136 b2333 - 50.2643504531722 b2334 - 50.2643504531722 b2335 - 50.2643504531722 b2336 - 45.2379154078549 b2337 - 45.2379154078549 b2338 - 45.2379154078549 b2339 - 47.7511329305136 b2340 - 42.7246978851963 b2341 - 37.6982628398791 b2342 - 5.02643504531722 b2343 - 5.02643504531722 b2344 - 20.1057401812689 b2345 - 37.6982628398791 b2346 - 70.370090634441 b2347 - 70.370090634441 b2348 - 70.370090634441 b2349 - 70.370090634441 b2350 - 70.370090634441 b2351 - 65.3436555891238 b2352 - 65.3436555891238 b2353 - 65.3436555891238 b2354 - 67.8568731117824 b2355 - 62.8304380664652 b2356 - 32.6718277945619 b2357 - 47.7511329305136 b2358 - 20.1057401812689 b2359 - 20.1057401812689 b2360 - 20.1057401812689 b2361 - 30.1586102719033 b2362 - 30.1586102719033 b2363 - 20.1057401812689 b2364 - 20.1057401812689 b2365 - 5.02643504531722 b2366 - 5.02643504531722 b2367 - 60.3172205438066 b2368 - 32.6718277945619 b2369 - 37.6982628398791 b2370 - 37.6982628398791 b2371 - 50.2643504531722 b2372 - 55.2907854984894 b2373 - 55.2907854984894 b2374 - 55.2907854984894 b2375 - 55.2907854984894 b2376 - 55.2907854984894 b2377 - 50.2643504531722 b2378 - 50.2643504531722 b2379 - 50.2643504531722 b2380 - 52.7775679758308 b2381 - 47.7511329305136 b2382 - 17.5925226586103 b2383 - 32.6718277945619 b2384 - 30.1586102719033 b2385 - 30.1586102719033 b2386 - 30.1586102719033 b2387 - 40.2114803625377 b2388 - 40.2114803625377 b2389 - 50.2643504531722 b2390 - 50.2643504531722 b2391 - 50.2643504531722 b2392 - 50.2643504531722 b2393 - 10.0528700906344 b2394 - 27.6453927492447 b2395 - 12.566087613293 b2396 - 32.6718277945619 b2397 - 5.02643504531722 b2398 - 65.3436555891238 b2399 - 65.3436555891238 b2400 - 65.3436555891238 b2401 - 60.3172205438066 b2402 - 60.3172205438066 b2403 - 60.3172205438066 b2404 - 62.8304380664652 b2405 - 27.6453927492447 b2406 - 22.6189577039275 b2407 - 60.3172205438066 b2408 - 60.3172205438066 b2409 - 60.3172205438066 b2410 - 55.2907854984894 b2411 - 55.2907854984894 b2412 - 55.2907854984894 b2413 - 57.804003021148 b2414 - 67.8568731117824 b2415 - 67.8568731117824 b2416 - 67.8568731117824 b2417 - 62.8304380664652 b2418 - 62.8304380664652 b2419 - 62.8304380664652 b2420 - 65.3436555891238 b2421 - 87.9626132930513 b2422 - 87.9626132930513 b2423 - 87.9626132930513 b2424 - 82.9361782477341 b2425 - 82.9361782477341 b2426 - 82.9361782477341 b2427 - 85.4493957703927 b2428 - 80.4229607250755 b2429 - 5.02643504531722 b2430 - 20.1057401812689 b2431 - 5.02643504531722 b2432 - 87.9626132930513 b2433 - 87.9626132930513 b2434 - 87.9626132930513 b2435 - 87.9626132930513 b2436 - 87.9626132930513 b2437 - 82.9361782477341 b2438 - 82.9361782477341 b2439 - 82.9361782477341 b2440 - 85.4493957703927 b2441 - 80.4229607250755 b2442 - 50.2643504531722 b2443 - 65.3436555891238 b2444 - 37.6982628398791 b2445 - 37.6982628398791 b2446 - 37.6982628398791 b2447 - 47.7511329305136 b2448 - 47.7511329305136 b2449 - 37.6982628398791 b2450 - 37.6982628398791 b2451 - 37.6982628398791 b2452 - 37.6982628398791 b2453 - 22.6189577039275 b2454 - 5.02643504531722 b2455 - 20.1057401812689 b2456 - 5.02643504531722 b2457 - 32.6718277945619 b2458 - 95.5022658610271 b2459 - 95.5022658610271 b2460 - 95.5022658610271 b2461 - 95.5022658610271 b2462 - 95.5022658610271 b2463 - 90.4758308157099 b2464 - 90.4758308157099 b2465 - 90.4758308157099 b2466 - 92.9890483383685 b2467 - 87.9626132930513 b2468 - 57.804003021148 b2469 - 72.8833081570996 b2470 - 45.2379154078549 b2471 - 45.2379154078549 b2472 - 45.2379154078549 b2473 - 55.2907854984894 b2474 - 55.2907854984894 b2475 - 45.2379154078549 b2476 - 45.2379154078549 b2477 - 25.1321752265861 b2478 - 25.1321752265861 b2479 - 60.3172205438066 b2480 - 32.6718277945619 b2481 - 37.6982628398791 b2482 - 37.6982628398791 b2483 - 50.2643504531722 b2484 + x2485 = 0 Bounds x82 Free x83 = 21 x84 = 13 x85 = 3.3 x86 = 23 x87 = 9 x88 = 1.5e2 x89 = 11 x90 = 15 x91 = 5.5 x92 = 4 x93 = 11 x94 = 9 x95 = 6 x96 = 1.2e2 x97 = 22.5 x98 = 15 x99 = 5.5 x100 = 4 x101 = 10 x102 = 5 x103 = 10 x104 = 10 x105 = 10 x106 = 5.5 x107 = 8 x108 = 7.5 x109 = 6 x110 = 4 x111 = 80 x112 = 5 x113 = 7 x114 = 57 x115 = 62 x116 = 18.5 x117 = 74 x118 = 4 x119 = 7 x120 = 8 x121 = 21.5 x122 = 20 x123 = 25 x124 = 11.5 x125 = 7 x126 = 15 x127 = 9 x128 = 4 x129 = 17 x130 = 10 x131 = 24 x132 = 90 x133 Free -inf <= x134 <= 0 -inf <= x135 <= 0 -inf <= x136 <= 0 -inf <= x137 <= 1.3e2 -inf <= x138 <= 1.56e3 -inf <= x139 <= 91 -inf <= x140 <= 0 -inf <= x141 <= 0 -inf <= x142 <= 0 x143 Free x144 Free x145 Free -inf <= x146 <= 9e3 -inf <= x147 <= 9e3 -inf <= x148 <= 9e3 -inf <= x149 <= 900 -inf <= x150 <= 3e4 -inf <= x151 <= 1.5e3 x152 Free x153 Free x154 Free x155 Free x156 Free x157 Free x158 Free x159 Free x160 Free x161 Free x162 Free x163 Free -inf <= x164 <= 1.1e4 -inf <= x165 <= 1.1e4 -inf <= x166 <= 1.1e2 -inf <= x167 <= 9e3 -inf <= x168 <= 9e3 -inf <= x169 <= 90 x170 Free x171 Free x172 Free -inf <= x173 <= 9.6e2 -inf <= x174 <= 2.4e4 -inf <= x175 <= 1.2e3 -inf <= x176 <= 3375 -inf <= x177 <= 1.125e5 -inf <= x178 <= 1012.5 -inf <= x179 <= 6.99e3 -inf <= x180 <= 3e3 -inf <= x181 <= 0 -inf <= x182 <= 0 -inf <= x183 <= 0 -inf <= x184 <= 0 x185 Free x186 Free x187 Free x188 Free x189 Free x190 Free x191 Free x192 Free x193 Free x194 Free x195 Free x196 Free -inf <= x197 <= 100 -inf <= x198 <= 0 -inf <= x199 <= 0 x200 Free x201 Free x202 Free x203 Free x204 Free x205 Free x206 Free x207 Free x208 Free -inf <= x209 <= 0 -inf <= x210 <= 0 -inf <= x211 <= 0 -inf <= x212 <= 0 -inf <= x213 <= 0 -inf <= x214 <= 0 -inf <= x215 <= 0 -inf <= x216 <= 0 -inf <= x217 <= 0 -inf <= x218 <= 0 -inf <= x219 <= 0 -inf <= x220 <= 0 -inf <= x221 <= 0 -inf <= x222 <= 0 -inf <= x223 <= 0 x224 Free x225 Free x226 Free -inf <= x227 <= 285 -inf <= x228 <= 0 -inf <= x229 <= 0 x230 Free x231 Free x232 Free -inf <= x233 <= 92.5 -inf <= x234 <= 0 -inf <= x235 <= 0 x236 Free x237 Free x238 Free -inf <= x239 <= 0 -inf <= x240 <= 0 -inf <= x241 <= 0 x242 Free x243 Free x244 Free -inf <= x245 <= 80 -inf <= x246 <= 0 -inf <= x247 <= 0 x248 Free x249 Free x250 Free -inf <= x251 <= 0 -inf <= x252 <= 0 -inf <= x253 <= 0 x254 Free x255 Free x256 Free x257 Free x258 Free x259 Free -inf <= x260 <= 0 -inf <= x261 <= 70 -inf <= x262 <= 70 x263 Free x264 Free x265 Free -inf <= x266 <= 0 -inf <= x267 <= 90 -inf <= x268 <= 90 -inf <= x269 <= 20 -inf <= x270 <= 8 -inf <= x271 <= 0 x272 Free x273 Free x274 Free x275 Free x276 Free x277 Free -inf <= x278 <= 0 -inf <= x279 <= 0 -inf <= x280 <= 0 x281 Free x282 Free x283 Free x284 Free x285 Free x286 Free x1999 Free x2001 Free x2002 Free x2003 Free x2004 Free x2005 Free x2006 Free x2007 Free x2008 Free x2009 Free x2010 Free x2011 Free x2012 Free x2013 Free x2014 Free x2015 Free x2016 Free x2017 Free x2018 Free x2019 Free x2020 Free x2021 Free x2022 Free x2023 Free x2024 Free x2025 Free x2026 Free x2027 Free x2028 Free x2029 Free x2030 Free x2031 Free x2032 Free x2033 Free x2034 Free x2035 Free x2036 Free x2037 Free x2038 Free x2039 Free x2040 Free x2041 Free x2042 Free x2043 Free x2044 Free x2045 Free x2046 Free x2047 Free x2048 Free x2049 Free x2050 Free x2051 Free x2052 Free x2053 Free x2054 Free x2055 Free x2056 Free x2057 Free x2058 Free x2059 Free x2060 Free x2061 Free x2062 Free x2063 Free x2064 Free x2065 Free x2066 Free x2067 Free x2068 Free x2069 Free x2070 Free x2071 Free x2072 Free x2073 Free x2074 Free x2075 Free x2076 Free x2077 Free x2078 Free x2079 Free x2080 Free x2081 Free x2082 Free x2083 Free x2084 Free x2485 Free Binary b2085 b2086 b2087 b2088 b2089 b2090 b2091 b2092 b2093 b2094 b2095 b2096 b2097 b2098 b2099 b2100 b2101 b2102 b2103 b2104 b2105 b2106 b2107 b2108 b2109 b2110 b2111 b2112 b2113 b2114 b2115 b2116 b2117 b2118 b2119 b2120 b2121 b2122 b2123 b2124 b2125 b2126 b2127 b2128 b2129 b2130 b2131 b2132 b2133 b2134 b2135 b2136 b2137 b2138 b2139 b2140 b2141 b2142 b2143 b2144 b2145 b2146 b2147 b2148 b2149 b2150 b2151 b2152 b2153 b2154 b2155 b2156 b2157 b2158 b2159 b2160 b2161 b2162 b2163 b2164 b2165 b2166 b2167 b2168 b2169 b2170 b2171 b2172 b2173 b2174 b2175 b2176 b2177 b2178 b2179 b2180 b2181 b2182 b2183 b2184 b2185 b2186 b2187 b2188 b2189 b2190 b2191 b2192 b2193 b2194 b2195 b2196 b2197 b2198 b2199 b2200 b2201 b2202 b2203 b2204 b2205 b2206 b2207 b2208 b2209 b2210 b2211 b2212 b2213 b2214 b2215 b2216 b2217 b2218 b2219 b2220 b2221 b2222 b2223 b2224 b2225 b2226 b2227 b2228 b2229 b2230 b2231 b2232 b2233 b2234 b2235 b2236 b2237 b2238 b2239 b2240 b2241 b2242 b2243 b2244 b2245 b2246 b2247 b2248 b2249 b2250 b2251 b2252 b2253 b2254 b2255 b2256 b2257 b2258 b2259 b2260 b2261 b2262 b2263 b2264 b2265 b2266 b2267 b2268 b2269 b2270 b2271 b2272 b2273 b2274 b2275 b2276 b2277 b2278 b2279 b2280 b2281 b2282 b2283 b2284 b2285 b2286 b2287 b2288 b2289 b2290 b2291 b2292 b2293 b2294 b2295 b2296 b2297 b2298 b2299 b2300 b2301 b2302 b2303 b2304 b2305 b2306 b2307 b2308 b2309 b2310 b2311 b2312 b2313 b2314 b2315 b2316 b2317 b2318 b2319 b2320 b2321 b2322 b2323 b2324 b2325 b2326 b2327 b2328 b2329 b2330 b2331 b2332 b2333 b2334 b2335 b2336 b2337 b2338 b2339 b2340 b2341 b2342 b2343 b2344 b2345 b2346 b2347 b2348 b2349 b2350 b2351 b2352 b2353 b2354 b2355 b2356 b2357 b2358 b2359 b2360 b2361 b2362 b2363 b2364 b2365 b2366 b2367 b2368 b2369 b2370 b2371 b2372 b2373 b2374 b2375 b2376 b2377 b2378 b2379 b2380 b2381 b2382 b2383 b2384 b2385 b2386 b2387 b2388 b2389 b2390 b2391 b2392 b2393 b2394 b2395 b2396 b2397 b2398 b2399 b2400 b2401 b2402 b2403 b2404 b2405 b2406 b2407 b2408 b2409 b2410 b2411 b2412 b2413 b2414 b2415 b2416 b2417 b2418 b2419 b2420 b2421 b2422 b2423 b2424 b2425 b2426 b2427 b2428 b2429 b2430 b2431 b2432 b2433 b2434 b2435 b2436 b2437 b2438 b2439 b2440 b2441 b2442 b2443 b2444 b2445 b2446 b2447 b2448 b2449 b2450 b2451 b2452 b2453 b2454 b2455 b2456 b2457 b2458 b2459 b2460 b2461 b2462 b2463 b2464 b2465 b2466 b2467 b2468 b2469 b2470 b2471 b2472 b2473 b2474 b2475 b2476 b2477 b2478 b2479 b2480 b2481 b2482 b2483 b2484 End