\ Equation counts \ Total E G L N X C B \ 2050 50 0 2000 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 2020 2000 20 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 7020 4020 3000 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 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 + 87 b1001 + 17 b1002 + 8 b1003 + 50 b1004 + 18 b1005 + 20 b1006 + 23 b1007 + 94 b1008 + 78 b1009 + 55 b1010 + 99 b1011 + 10 b1012 + 52 b1013 + 84 b1014 + 40 b1015 + 71 b1016 + 6 b1017 + 13 b1018 + 18 b1019 + 31 b1020 + 48.8554584915799 x1021 + 53.9866118946038 x1022 + 32.2474858966649 x1023 + 25.7320045522626 x1024 + 44.8041748971961 x1025 + 39.2874586313035 x1026 + 46.5335812857622 x1027 + 41.6267030962109 x1028 + 44.7352479103365 x1029 + 13.7922846635507 x1030 + 29.7236346286992 x1031 + 37.7953456306208 x1032 + 2.1694344083028 x1033 + 27.8622079378829 x1034 + 46.9024947590224 x1035 + 28.7851477365269 x1036 + 45.4201600399348 x1037 + 41.0169667711524 x1038 + 38.5887919298439 x1039 + 37.392204096138 x1040 + 41.1741984665897 x1041 + 39.3376253421046 x1042 + 6.19594894014753 x1043 + 43.7829760275622 x1044 + 39.6189399416393 x1045 + 17.9122017523285 x1046 + 32.1022690820397 x1047 + 15.577579659501 x1048 + 48.0958110165587 x1049 + 44.242610019511 x1050 + 12.9078629017768 x1051 + 29.6237146046815 x1052 + 40.2127228205451 x1053 + 27.4839971896194 x1054 + 47.3974691677771 x1055 + 47.4791664541259 x1056 + 56.7917367845697 x1057 + 20.9254052188314 x1058 + 14.4109268203302 x1059 + 43.2009728797349 x1060 + 46.0286285679978 x1061 + 13.6029869768736 x1062 + 51.5465349357845 x1063 + 25.6997780626924 x1064 + 2.4620548405504 x1065 + 27.9568619443691 x1066 + 40.396445663609 x1067 + 11.2663848037081 x1068 + 31.5210489875165 x1069 + 25.4576063089556 x1070 + 15.8516003339703 x1071 + 30.0846775730623 x1072 + 35.3611101637529 x1073 + 47.9613905183025 x1074 + 33.1951313194605 x1075 + 18.6512031945736 x1076 + 17.7880187830563 x1077 + 49.860767401581 x1078 + 16.5586610587482 x1079 + 32.0610602907049 x1080 + 14.5686048248382 x1081 + 16.3739140550006 x1082 + 42.0925643810083 x1083 + 35.5248318215409 x1084 + 12.8137994628541 x1085 + 20.3070738215987 x1086 + 4.78600070516521 x1087 + 15.2775158615347 x1088 + 14.4456238787108 x1089 + 8.2452521993196 x1090 + 41.5193919157908 x1091 + 16.1530025233654 x1092 + 40.5968930080003 x1093 + 20.6209551856633 x1094 + 15.6829694385359 x1095 + 27.3165102680304 x1096 + 12.7873080761611 x1097 + 30.61021703164 x1098 + 17.7940056112844 x1099 + 3.45558376016331 x1100 + 44.215263731464 x1101 + 22.4721650499974 x1102 + 5.87741265005936 x1103 + 20.440898654042 x1104 + 6.01668263765759 x1105 + 9.76377065215142 x1106 + 31.4920320363795 x1107 + 32.5795582029762 x1108 + 29.9498707723918 x1109 + 22.2528495134374 x1110 + 33.5215310060452 x1111 + 31.1379536249797 x1112 + 26.4191025637888 x1113 + 37.6706918870347 x1114 + 42.5947843160881 x1115 + 17.7081325674203 x1116 + 6.54712075315253 x1117 + 32.9558470339385 x1118 + 29.3664910214195 x1119 + 19.150561974833 x1120 + 28.1182743393074 x1121 + 39.0497965414683 x1122 + 30.8526405373756 x1123 + 37.9162092187562 x1124 + 35.972489960497 x1125 + 22.8808340120743 x1126 + 27.5853636816224 x1127 + 45.8116191808109 x1128 + 25.6506447280254 x1129 + 17.3307103279063 x1130 + 6.42143096728142 x1131 + 20.0951398777073 x1132 + 25.1143138698949 x1133 + 28.7449567619975 x1134 + 20.1377939791076 x1135 + 14.9970586744739 x1136 + 20.6030527503038 x1137 + 15.1818681307509 x1138 + 12.5064090876373 x1139 + 10.3999514165193 x1140 + 39.7838431308382 x1141 + 13.8869927034986 x1142 + 22.8461199269574 x1143 + 27.3601785440067 x1144 + 21.1821453218448 x1145 + 13.171400119456 x1146 + 5.26824846253116 x1147 + 12.6141649600847 x1148 + 28.632901257336 x1149 + 19.1033115748186 x1150 + 30.2933328008593 x1151 + 18.1290104864422 x1152 + 13.2561112379863 x1153 + 4.65638084962282 x1154 + 22.5919955180534 x1155 + 24.2362361298242 x1156 + 41.3697175788562 x1157 + 22.3642861445109 x1158 + 13.8871519995335 x1159 + 27.9779003581246 x1160 + 36.8456362998035 x1161 + 13.5885973852764 x1162 + 35.5621751531126 x1163 + 29.5106281783608 x1164 + 25.8800384494317 x1165 + 10.0956997189855 x1166 + 13.3327085566087 x1167 + 16.1526130062527 x1168 + 25.6331396246099 x1169 + 7.57646236487529 x1170 + 14.6612663683577 x1171 + 4.24866295839075 x1172 + 21.2648910502754 x1173 + 37.2641585193082 x1174 + 8.48856954478134 x1175 + 13.6759334611371 x1176 + 11.7625743826901 x1177 + 28.880031412227 x1178 + 12.9524101954386 x1179 + 36.732528404677 x1180 + 30.1623111545154 x1181 + 16.5051491661663 x1182 + 48.1430869906303 x1183 + 25.0135166335402 x1184 + 42.2896281877994 x1185 + 23.3547718162713 x1186 + 24.9931803060261 x1187 + 43.4882699648209 x1188 + 41.7340705380843 x1189 + 33.6950861947128 x1190 + 19.7037715609977 x1191 + 43.726908364334 x1192 + 50.1174410512644 x1193 + 9.47893403275559 x1194 + 15.7236672520494 x1195 + 33.9484056452419 x1196 + 33.8880778573357 x1197 + 44.2719326432059 x1198 + 12.1684116677416 x1199 + 26.0467168835431 x1200 + 42.1354136669581 x1201 + 21.2483495255647 x1202 + 33.370444458487 x1203 + 41.1190113682979 x1204 + 24.8386204200289 x1205 + 20.6320783268308 x1206 + 7.01529154326273 x1207 + 29.5414539159021 x1208 + 38.1756318711238 x1209 + 8.58104823499548 x1210 + 7.69711583001143 x1211 + 42.4371248163469 x1212 + 4.59409541976021 x1213 + 28.1235883297576 x1214 + 47.6916842358554 x1215 + 27.1839166296889 x1216 + 34.3442197234332 x1217 + 41.449320254595 x1218 + 19.0074548015991 x1219 + 30.5239256850067 x1220 + 21.6034519208861 x1221 + 15.0364791559573 x1222 + 10.9122403828508 x1223 + 26.5498628209752 x1224 + 2.85517352456554 x1225 + 14.3944475974119 x1226 + 17.8303957927801 x1227 + 18.8507158873978 x1228 + 17.8500424336862 x1229 + 29.662423104137 x1230 + 28.5445975843512 x1231 + 16.9256148790629 x1232 + 40.3065698346231 x1233 + 15.0916313984205 x1234 + 45.1764582705759 x1235 + 19.4831745475101 x1236 + 29.3725674554356 x1237 + 44.731112827661 x1238 + 42.5239940840714 x1239 + 34.7422328142325 x1240 + 9.56259782677507 x1241 + 44.5183379515596 x1242 + 43.1496210295644 x1243 + 13.4063833026897 x1244 + 17.3538516477183 x1245 + 28.0201386197756 x1246 + 33.2510480473979 x1247 + 39.1950454740892 x1248 + 19.0749534705101 x1249 + 29.906167363235 x1250 + 32.6505026879169 x1251 + 16.4969329551662 x1252 + 35.3141598922056 x1253 + 39.0252650952467 x1254 + 29.938751063908 x1255 + 26.2431654020124 x1256 + 17.6402775915806 x1257 + 21.1630857812134 x1258 + 32.0599203901578 x1259 + 11.5212775085687 x1260 + 4.08359203762451 x1261 + 36.7723808801052 x1262 + 14.8331100451586 x1263 + 18.0680240767646 x1264 + 39.6231855790722 x1265 + 24.2940900497125 x1266 + 36.2696520369664 x1267 + 34.9806914576888 x1268 + 10.7781714676847 x1269 + 27.1927719936449 x1270 + 39.2235284102308 x1271 + 46.81871185907 x1272 + 29.7554930096906 x1273 + 29.8593540779954 x1274 + 39.8469146973509 x1275 + 30.8766835617017 x1276 + 37.5112051189399 x1277 + 42.5777572849887 x1278 + 35.5929248730112 x1279 + 8.75036836178061 x1280 + 18.3306632685796 x1281 + 28.8006399800856 x1282 + 10.4104638844038 x1283 + 25.9946415925091 x1284 + 34.5829351714139 x1285 + 20.2281004690202 x1286 + 34.2013260693052 x1287 + 28.7669136159159 x1288 + 26.3010972908322 x1289 + 25.2740230311798 x1290 + 39.3978078399888 x1291 + 27.1220636854672 x1292 + 8.14765975567047 x1293 + 35.6206832261575 x1294 + 30.470898602416 x1295 + 9.51795565513467 x1296 + 20.0177187196987 x1297 + 3.87298729099393 x1298 + 38.9289895779823 x1299 + 32.8891639309257 x1300 + 18.8450066441327 x1301 + 22.1338366297348 x1302 + 28.1197040918976 x1303 + 15.2264081770499 x1304 + 36.2111917393707 x1305 + 36.8746985831279 x1306 + 49.5023743566618 x1307 + 18.006698113536 x1308 + 5.41098116939701 x1309 + 35.4825636675857 x1310 + 40.9816938000357 x1311 + 1.34474551367002 x1312 + 43.8705427790599 x1313 + 25.1002650124917 x1314 + 11.3941518471258 x1315 + 17.7973227487902 x1316 + 28.2407666812435 x1317 + 3.30733460518593 x1318 + 26.7892427381251 x1319 + 14.7163802750569 x1320 + 12.9638935112588 x1321 + 26.6549567192985 x1322 + 30.9453562112728 x1323 + 43.8550202201459 x1324 + 28.9026725022899 x1325 + 14.249060442369 x1326 + 14.1979664603783 x1327 + 45.3986327406191 x1328 + 12.7365472374608 x1329 + 29.0294211183633 x1330 + 12.1555367221088 x1331 + 11.9146992055163 x1332 + 39.6061281545836 x1333 + 31.2362268652626 x1334 + 16.7746373962514 x1335 + 16.2958521172435 x1336 + 3.72751754850412 x1337 + 18.0527543349882 x1338 + 16.6570712657146 x1339 + 9.03515021301791 x1340 + 37.0616605429735 x1341 + 18.5634179938177 x1342 + 38.6262548798249 x1343 + 16.5339743835349 x1344 + 11.290126171656 x1345 + 24.326274349439 x1346 + 12.0078534731682 x1347 + 29.0789990413162 x1348 + 14.49929333473 x1349 + 2.50619869087026 x1350 + 40.756463008065 x1351 + 18.2471997262686 x1352 + 7.87689270723246 x1353 + 20.2010107208352 x1354 + 5.74149313485879 x1355 + 7.65551848087413 x1356 + 28.3073343015669 x1357 + 28.6998613588456 x1358 + 27.3612947829915 x1359 + 18.0762648540954 x1360 + 29.2790538115466 x1361 + 29.1554111576085 x1362 + 22.9538016354946 x1363 + 33.4718072626091 x1364 + 39.9817984660988 x1365 + 14.3334323264211 x1366 + 8.82097755804155 x1367 + 30.5501773132439 x1368 + 24.962726994492 x1369 + 16.3307079736418 x1370 + 16.9558660846385 x1371 + 30.9314989229319 x1372 + 34.5423416714242 x1373 + 46.6619312989622 x1374 + 33.228836993836 x1375 + 18.4954712835656 x1376 + 18.5054882752769 x1377 + 49.2378067596818 x1378 + 17.1044218096962 x1379 + 30.2034384025674 x1380 + 12.6321367305542 x1381 + 16.0141290858008 x1382 + 40.0723136631917 x1383 + 34.459620698161 x1384 + 12.3956432712284 x1385 + 19.0188375221311 x1386 + 6.19831548199877 x1387 + 13.9221119060892 x1388 + 12.8122273796007 x1389 + 6.13370434188828 x1390 + 41.0968375844964 x1391 + 14.6186931189279 x1392 + 38.4921488282025 x1393 + 20.9302603618723 x1394 + 15.5636246925953 x1395 + 25.4596194393136 x1396 + 10.6294797845934 x1397 + 28.4688565296775 x1398 + 18.6954138416337 x1399 + 4.61218640637729 x1400 + 42.5007124541763 x1401 + 21.3765252652025 x1402 + 4.00129446992529 x1403 + 18.2915426353969 x1404 + 7.77325147746949 x1405 + 11.1092013653379 x1406 + 32.4897962503184 x1407 + 31.1278624253877 x1408 + 27.9717393018571 x1409 + 22.4594220475599 x1410 + 33.6318811657835 x1411 + 29.0443297366047 x1412 + 27.2379488169805 x1413 + 36.4858131458785 x1414 + 40.6018713128095 x1415 + 16.0629269346546 x1416 + 4.81525668497211 x1417 + 30.9311804481859 x1418 + 28.5318041442341 x1419 + 17.2825839158902 x1420 + 15.3886356195344 x1421 + 3.639078617158 x1422 + 21.9838884507305 x1423 + 37.9088485968505 x1424 + 8.87861161563052 x1425 + 14.7868928239645 x1426 + 12.6377267663112 x1427 + 29.0613478323192 x1428 + 13.9043046834911 x1429 + 37.7787079397065 x1430 + 31.2722818316731 x1431 + 17.6097587036563 x1432 + 49.1632677838196 x1433 + 25.8124618085875 x1434 + 43.2140317605441 x1435 + 24.463948149118 x1436 + 25.8715293420462 x1437 + 44.4982880887476 x1438 + 42.7658214659465 x1439 + 34.7301431733577 x1440 + 19.9651966195937 x1441 + 44.7559504569515 x1442 + 51.1795876779508 x1443 + 10.5463421565483 x1444 + 16.804561010205 x1445 + 35.0311288406906 x1446 + 34.9761049599032 x1447 + 45.3802365093719 x1448 + 12.9442458718436 x1449 + 26.9570625559902 x1450 + 43.0190756152088 x1451 + 22.3365314922575 x1452 + 34.3665490926145 x1453 + 42.2281265185792 x1454 + 25.6594032641024 x1455 + 21.4357901433689 x1456 + 6.26267204158932 x1457 + 30.5018588171929 x1458 + 39.257458945887 x1459 + 9.69057193666559 x1460 + 7.97074757931595 x1461 + 43.5336604621135 x1462 + 4.90864265710208 x1463 + 28.9113381092315 x1464 + 48.6980466468667 x1465 + 28.3026833848487 x1466 + 35.3388601794511 x1467 + 42.5231486648828 x1468 + 19.9318185520225 x1469 + 31.6423287145795 x1470 + 33.282707909069 x1471 + 41.0608639131094 x1472 + 25.7321538738961 x1473 + 28.8438679424945 x1474 + 34.6761504250219 x1475 + 25.0008354295236 x1476 + 31.5674311819617 x1477 + 39.5642598961721 x1478 + 29.6465578588287 x1479 + 7.07047231601392 x1480 + 12.7994848939547 x1481 + 22.8716222353359 x1482 + 14.8382270666204 x1483 + 22.4416007031607 x1484 + 30.8985670539825 x1485 + 14.427582480897 x1486 + 28.6151196262587 x1487 + 25.7309181132432 x1488 + 23.1025878913385 x1489 + 20.6140884292046 x1490 + 35.344002471579 x1491 + 24.278266637956 x1492 + 13.8818804931538 x1493 + 29.7562355760092 x1494 + 24.5291936186927 x1495 + 4.72430449546098 x1496 + 15.332468275175 x1497 + 6.75609361846499 x1498 + 32.980605924041 x1499 + 27.3741928229052 x1500 + 19.8022677182581 x1501 + 16.5635035411547 x1502 + 23.389450475074 x1503 + 12.7332729775241 x1504 + 30.6128872291588 x1505 + 31.0684274756472 x1506 + 43.7147740452919 x1507 + 14.7266857444304 x1508 + 3.15313070572545 x1509 + 29.686045042527 x1510 + 35.7694996274889 x1511 + 4.80666817925016 x1512 + 38.0428267153991 x1513 + 22.1899496554312 x1514 + 15.4122116584851 x1515 + 11.8549162690246 x1516 + 23.6482319628512 x1517 + 5.6969741987334 x1518 + 22.0013339847288 x1519 + 8.84520143140503 x1520 + 12.0538814756566 x1521 + 16.23466497608 x1522 + 16.5974844437991 x1523 + 31.7485567694529 x1524 + 13.4799029429327 x1525 + 1.6890776482773 x1526 + 8.65473826695797 x1527 + 30.0182361507271 x1528 + 7.39385125660418 x1529 + 24.8898494472728 x1530 + 17.1458543199508 x1531 + 4.07954905540417 x1532 + 36.5641453316698 x1533 + 18.3527554958907 x1534 + 32.2990195299471 x1535 + 10.4355746931838 x1536 + 16.8958928748594 x1537 + 32.1005571299358 x1538 + 30.0168208743099 x1539 + 22.0878462792558 x1540 + 21.3595249328992 x1541 + 32.0248725946701 x1542 + 37.8479790928498 x1543 + 5.14439359808491 x1544 + 4.5971129987593 x1545 + 21.4696441079178 x1546 + 21.2805529434135 x1547 + 31.259300587242 x1548 + 10.3241406903707 x1549 + 17.2363361732175 x1550 + 32.8392792483173 x1551 + 9.01571121435599 x1552 + 22.482591196072 x1553 + 28.0848265504106 x1554 + 17.7698968345925 x1555 + 14.6553136926935 x1556 + 18.8623807692585 x1557 + 19.5554867391833 x1558 + 25.6659911039689 x1559 + 4.83536803895401 x1560 + 14.0783028808137 x1561 + 29.6359612370616 x1562 + 13.211272683702 x1563 + 21.2429061872888 x1564 + 36.3386717344397 x1565 + 13.985698109692 x1566 + 23.4457200696784 x1567 + 29.0516922884994 x1568 + 11.2421477455841 x1569 + 17.3344690834011 x1570 + 38.8186738836796 x1571 + 47.7727698397582 x1572 + 33.0094151165075 x1573 + 34.5270044628545 x1574 + 41.951347559798 x1575 + 31.4943201221686 x1576 + 37.5614833814483 x1577 + 46.508078223137 x1578 + 35.607459570993 x1579 + 12.8629527812987 x1580 + 16.9874558039294 x1581 + 29.1158999260905 x1582 + 14.8229090731901 x1583 + 29.5591950252006 x1584 + 30.7602855525051 x1585 + 21.2673891854345 x1586 + 32.5197518524081 x1587 + 24.6273710555267 x1588 + 22.2958483393986 x1589 + 22.4519075030253 x1590 + 42.6443825268819 x1591 + 22.9063340919059 x1592 + 11.2236520865135 x1593 + 36.2503134967502 x1594 + 30.6247770245502 x1595 + 12.0262968291735 x1596 + 17.4189668845633 x1597 + 1.07807177006453 x1598 + 38.8533687540994 x1599 + 31.0828245157535 x1600 + 23.7802061906022 x1601 + 23.6782788347268 x1602 + 25.3009835213528 x1603 + 11.2145227907086 x1604 + 34.5286181976978 x1605 + 35.7406076900691 x1606 + 50.3537267047179 x1607 + 21.6735949371723 x1608 + 8.80483309985958 x1609 + 36.3692854321993 x1610 + 43.0258732187857 x1611 + 4.35080871179049 x1612 + 44.6026430699056 x1613 + 29.0245970069113 x1614 + 15.9708973683108 x1615 + 17.8191905714001 x1616 + 25.2750311040078 x1617 + 8.05272122989117 x1618 + 29.3675855272193 x1619 + 14.4611612667033 x1620 + 27.1349232013116 x1621 + 36.1963158880999 x1622 + 25.0729344305518 x1623 + 31.841416983906 x1624 + 31.4903604933699 x1625 + 19.8503252733427 x1626 + 25.7875846488454 x1627 + 39.8893048433744 x1628 + 23.8342828876696 x1629 + 11.9873416112886 x1630 + 6.08320486919953 x1631 + 17.3810668616685 x1632 + 21.5038157918647 x1633 + 22.7326429776787 x1634 + 25.3935835758863 x1635 + 10.2302140600641 x1636 + 21.9039160471843 x1637 + 21.0461583159419 x1638 + 18.3554229403566 x1639 + 14.4063445842059 x1640 + 34.2473722804359 x1641 + 19.8740811214005 x1642 + 20.4867118785569 x1643 + 24.581251854727 x1644 + 18.85694105891 x1645 + 7.43400076370344 x1646 + 9.28941505365061 x1647 + 11.7023373643641 x1648 + 27.0902682630276 x1649 + 20.654078037651 x1650 + 24.8480048974215 x1651 + 13.1276976307904 x1652 + 17.0694131651193 x1653 + 10.1207173972924 x1654 + 23.9052161505626 x1655 + 24.5040649528682 x1656 + 38.7209128355565 x1657 + 16.2355161949925 x1658 + 9.3590011098723 x1659 + 24.8218966662312 x1660 + 32.4654923837817 x1661 + 11.084901446957 x1662 + 32.9393880967354 x1663 + 23.3997133416003 x1664 + 21.9929906253402 x1665 + 6.10348843319099 x1666 + 17.4398598099457 x1667 + 12.3857531665369 x1668 + 20.1626389390212 x1669 + 2.72300341131078 x1670 + 7.18675342864002 x1671 + 8.61325409319841 x1672 + 23.0024072338296 x1673 + 39.0179799785569 x1674 + 13.6461820638952 x1675 + 8.59504201092474 x1676 + 4.10019151732122 x1677 + 33.7543697359988 x1678 + 5.50763660772865 x1679 + 33.9546508091896 x1680 + 24.2476026741446 x1681 + 10.8550405823299 x1682 + 45.6321642385193 x1683 + 25.8203330146643 x1684 + 34.692191834533 x1685 + 19.3022929908536 x1686 + 17.3345052586859 x1687 + 36.1838530587943 x1688 + 34.5672477739713 x1689 + 26.5766432434876 x1690 + 24.4674981228843 x1691 + 36.5372742530649 x1692 + 46.8208721569115 x1693 + 3.9263580310218 x1694 + 9.49867763545034 x1695 + 30.436888181807 x1696 + 27.3762785425725 x1697 + 39.7729121636589 x1698 + 4.60574093214427 x1699 + 18.428173343741 x1700 + 41.5379576085564 x1701 + 18.0849252063193 x1702 + 26.0121740930698 x1703 + 35.053149685726 x1704 + 17.169964483385 x1705 + 12.9770435920073 x1706 + 10.7294724624106 x1707 + 28.3239614362299 x1708 + 34.5999306420356 x1709 + 4.85181277416448 x1710 + 13.4342599191064 x1711 + 38.3854492671269 x1712 + 4.96229763828965 x1713 + 28.8998131291662 x1714 + 45.4061767525307 x1715 + 22.1479065878021 x1716 + 26.9768378537689 x1717 + 38.0111413600614 x1718 + 18.8610069897279 x1719 + 25.5211139512462 x1720 + 38.776585022583 x1721 + 33.1096406144515 x1722 + 11.3502527294494 x1723 + 11.7400688122056 x1724 + 20.6077027887146 x1725 + 29.282835213349 x1726 + 34.9663636747835 x1727 + 5.84090124783487 x1728 + 34.4281134804593 x1729 + 28.2365219752888 x1730 + 37.1105134352139 x1731 + 30.7514685893966 x1732 + 34.7515666674737 x1733 + 12.3137735512548 x1734 + 57.1601882065354 x1735 + 27.6402367107267 x1736 + 44.1590225694267 x1737 + 54.7838417141612 x1738 + 52.2038050664828 x1739 + 45.6002942862698 x1740 + 9.93439426481814 x1741 + 54.0138442825685 x1742 + 39.3771223207845 x1743 + 30.3703842060224 x1744 + 32.0017728676966 x1745 + 29.6032812874892 x1746 + 42.2442365607667 x1747 + 40.0836582178245 x1748 + 36.4405402405692 x1749 + 44.1970059331029 x1750 + 23.254815664039 x1751 + 24.7726027650492 x1752 + 47.119494838472 x1753 + 45.0938626124197 x1754 + 45.2506856078179 x1755 + 42.2529198821386 x1756 + 35.5214329634158 x1757 + 19.4736293316317 x1758 + 32.1951095193572 x1759 + 28.5673787476742 x1760 + 21.5312774593735 x1761 + 36.8889265434687 x1762 + 33.1559632643192 x1763 + 12.0076821609823 x1764 + 33.5416889395295 x1765 + 32.1748487789037 x1766 + 47.9492673850307 x1767 + 33.7064731313384 x1768 + 17.3539990828738 x1769 + 33.62020266023 x1770 + 12.7043371065571 x1771 + 17.4815338063551 x1772 + 16.4254438617751 x1773 + 31.2619724533453 x1774 + 14.3623119381831 x1775 + 2.04425122371076 x1776 + 9.48555742922221 x1777 + 30.2167798777154 x1778 + 8.05513698380182 x1779 + 23.7424432809653 x1780 + 16.0000909641262 x1781 + 3.42486117518233 x1782 + 35.4243345696601 x1783 + 17.8934732588667 x1784 + 31.6501192440899 x1785 + 9.20206330439559 x1786 + 16.6820541266735 x1787 + 31.2409812832502 x1788 + 29.1091312984251 x1789 + 21.2319780056838 x1790 + 21.7302903025871 x1791 + 31.1142307926893 x1792 + 36.6463357173843 x1793 + 6.29297861614602 x1794 + 4.42878084036798 x1795 + 20.2635847764935 x1796 + 20.2289763101496 x1797 + 30.0124113249478 x1798 + 11.1497421266666 x1799 + 16.9067075109341 x1800 + 31.940946567272 x1801 + 7.90099227840803 x1802 + 21.7505483335105 x1803 + 26.9219489414759 x1804 + 17.6839817786914 x1805 + 14.8013121362752 x1806 + 20.1048183221388 x1807 + 18.6549643160971 x1808 + 24.4526396377735 x1809 + 6.08044185177194 x1810 + 15.024231225199 x1811 + 28.398756965181 x1812 + 14.4404349413868 x1813 + 20.7084268238643 x1814 + 35.2205580082992 x1815 + 12.7528536218843 x1816 + 22.7051375716147 x1817 + 27.845185049931 x1818 + 10.8464963534729 x1819 + 16.0961001542838 x1820 + 34.6796898879668 x1821 + 32.199818626868 x1822 + 6.763984060025 x1823 + 9.37826431889588 x1824 + 20.1634021827803 x1825 + 24.3420728023891 x1826 + 31.0182020802066 x1827 + 13.9189171616838 x1828 + 30.0754626786267 x1829 + 19.9229623183385 x1830 + 29.4789043701562 x1831 + 25.1765644831106 x1832 + 27.280043664835 x1833 + 4.77538372326509 x1834 + 49.9514830848265 x1835 + 20.4002217670674 x1836 + 38.3152330153094 x1837 + 47.1169282218592 x1838 + 44.4915808158004 x1839 + 38.2854643535505 x1840 + 12.9616997841136 x1841 + 46.2411848262088 x1842 + 31.5724543253661 x1843 + 26.5845692817184 x1844 + 26.7033277511637 x1845 + 21.2505176866182 x1846 + 34.5644242719019 x1847 + 31.7347277137485 x1848 + 32.6281506857764 x1849 + 38.1196376660254 x1850 + 16.8299848213484 x1851 + 17.8563345395589 x1852 + 40.0393430808529 x1853 + 36.9079892203375 x1854 + 39.6421777109876 x1855 + 37.1522302598417 x1856 + 34.8990794358951 x1857 + 11.1113530100761 x1858 + 23.8371817706625 x1859 + 25.0003377974751 x1860 + 21.3362243776233 x1861 + 28.5595633173073 x1862 + 31.3095130555807 x1863 + 3.63665989594589 x1864 + 26.1906644022055 x1865 + 24.5847597546179 x1866 + 40.8127163754693 x1867 + 25.4497196580744 x1868 + 11.5553813948704 x1869 + 25.6909591838458 x1870 + 43.7732112963094 x1871 + 45.5060943182076 x1872 + 21.1057825637155 x1873 + 12.2817237122147 x1874 + 34.6849055776013 x1875 + 33.2408314669004 x1876 + 40.7122869321407 x1877 + 28.3406497818843 x1878 + 39.2077582180699 x1879 + 12.7028723074635 x1880 + 29.7096635063676 x1881 + 32.6798501823424 x1882 + 12.8453367437722 x1883 + 16.7634446330294 x1884 + 49.897207709516 x1885 + 24.421674321821 x1886 + 43.4728919126422 x1887 + 45.1967485003062 x1888 + 42.5309503303497 x1889 + 38.7633660279925 x1890 + 28.9931290783568 x1891 + 43.8186470318301 x1892 + 18.0992149993259 x1893 + 37.034373419871 x1894 + 34.5309473325561 x1895 + 17.0753066936183 x1896 + 33.7829500203012 x1897 + 22.7535233715636 x1898 + 42.3758771707563 x1899 + 42.6908676252293 x1900 + .815277791546405 x1901 + 23.7718733307953 x1902 + 41.2673537079603 x1903 + 32.3465357665138 x1904 + 45.2535811599126 x1905 + 44.1270126518929 x1906 + 48.3253130696678 x1907 + 12.5724873446951 x1908 + 16.521721848621 x1909 + 35.9623489268462 x1910 + 35.9192232067945 x1911 + 19.5418265742162 x1912 + 43.739292571606 x1913 + 13.9499664012751 x1914 + 11.4640366390161 x1915 + 26.0151217083164 x1916 + 41.7523609542493 x1917 + 15.8121049841945 x1918 + 22.3909533769837 x1919 + 24.9803830682488 x1920 + 39.8830549541649 x1921 + 49.6285080321261 x1922 + 36.0885385219607 x1923 + 38.0056636750355 x1924 + 44.4677370135338 x1925 + 33.2752578240115 x1926 + 38.9333182028202 x1927 + 49.8091695690075 x1928 + 36.9751801361933 x1929 + 16.2956688610029 x1930 + 17.8428105106613 x1931 + 30.7471289346873 x1932 + 17.6740217362553 x1933 + 32.7673414482026 x1934 + 29.1065411303509 x1935 + 23.4451639985157 x1936 + 32.7436778266174 x1937 + 22.6899763445966 x1938 + 20.5545156439868 x1939 + 21.9161570473104 x1940 + 45.6906241244913 x1941 + 20.9006853923581 x1942 + 13.4285763818676 x1943 + 37.9902400658773 x1944 + 32.1369466993582 x1945 + 15.0830937099251 x1946 + 17.2499901955725 x1947 + 4.53035087102095 x1948 + 40.1332880060973 x1949 + 31.230472568461 x1950 + 27.1889443168826 x1951 + 26.069253342834 x1952 + 24.7044738927298 x1953 + 9.8926808620226 x1954 + 34.726970856993 x1955 + 36.3310276611028 x1956 + 52.1362866974543 x1957 + 24.9504014616165 x1958 + 12.1753562665862 x1959 + 38.2590785866237 x1960 + 45.5065745122664 x1961 + 7.83001584770162 x1962 + 46.3435616147646 x1963 + 32.3514735973842 x1964 + 18.9219262466711 x1965 + 19.529796800444 x1966 + 24.5452371638425 x1967 + 11.5192271123195 x1968 + 32.1827549523393 x1969 + 16.155956312074 x1970 + 30.2623083912811 x1971 + 39.3873030000969 x1972 + 27.1863680710365 x1973 + 32.465688296025 x1974 + 34.3935346953517 x1975 + 23.0494231798841 x1976 + 28.9826741573255 x1977 + 41.7174317325007 x1978 + 27.0277367949185 x1979 + 11.3497810804354 x1980 + 8.70275423206846 x1981 + 20.5922870672014 x1982 + 19.4336104304554 x1983 + 24.4709755982041 x1984 + 26.166231849376 x1985 + 13.220378287191 x1986 + 24.5446362702273 x1987 + 21.1520674166949 x1988 + 18.4955192175892 x1989 + 15.9086099162226 x1990 + 36.5630667934048 x1991 + 19.7723793298677 x1992 + 17.8342380535067 x1993 + 27.7858688049462 x1994 + 22.0649259268969 x1995 + 7.51515627157391 x1996 + 10.6167963164672 x1997 + 8.566263873046 x1998 + 30.2709114191456 x1999 + 23.2110736414522 x2000 + 24.2916671650994 x2001 + 15.9717233656163 x2002 + 18.7085133431166 x2003 + 8.72446635948952 x2004 + 26.5572610468946 x2005 + 27.4160635831488 x2006 + 41.9219545177799 x2007 + 17.3731612820012 x2008 + 7.85286409933798 x2009 + 28.003407160422 x2010 + 35.3984796911413 x2011 + 8.35285422210212 x2012 + 36.1443148610526 x2013 + 24.7739997632166 x2014 + 20.089282569193 x2015 + 9.30857722405055 x2016 + 18.9341049117835 x2017 + 10.3287840187535 x2018 + 22.6275005311133 x2019 + 5.92871935675685 x2020 Subject To e2: x1 - b1001 <= 0 e3: x2 - b1001 <= 0 e4: x3 - b1001 <= 0 e5: x4 - b1001 <= 0 e6: x5 - b1001 <= 0 e7: x6 - b1001 <= 0 e8: x7 - b1001 <= 0 e9: x8 - b1001 <= 0 e10: x9 - b1001 <= 0 e11: x10 - b1001 <= 0 e12: x11 - b1001 <= 0 e13: x12 - b1001 <= 0 e14: x13 - b1001 <= 0 e15: x14 - b1001 <= 0 e16: x15 - b1001 <= 0 e17: x16 - b1001 <= 0 e18: x17 - b1001 <= 0 e19: x18 - b1001 <= 0 e20: x19 - b1001 <= 0 e21: x20 - b1001 <= 0 e22: x21 - b1001 <= 0 e23: x22 - b1001 <= 0 e24: x23 - b1001 <= 0 e25: x24 - b1001 <= 0 e26: x25 - b1001 <= 0 e27: x26 - b1001 <= 0 e28: x27 - b1001 <= 0 e29: x28 - b1001 <= 0 e30: x29 - b1001 <= 0 e31: x30 - b1001 <= 0 e32: x31 - b1001 <= 0 e33: x32 - b1001 <= 0 e34: x33 - b1001 <= 0 e35: x34 - b1001 <= 0 e36: x35 - b1001 <= 0 e37: x36 - b1001 <= 0 e38: x37 - b1001 <= 0 e39: x38 - b1001 <= 0 e40: x39 - b1001 <= 0 e41: x40 - b1001 <= 0 e42: x41 - b1001 <= 0 e43: x42 - b1001 <= 0 e44: x43 - b1001 <= 0 e45: x44 - b1001 <= 0 e46: x45 - b1001 <= 0 e47: x46 - b1001 <= 0 e48: x47 - b1001 <= 0 e49: x48 - b1001 <= 0 e50: x49 - b1001 <= 0 e51: x50 - b1001 <= 0 e52: x51 - b1002 <= 0 e53: x52 - b1002 <= 0 e54: x53 - b1002 <= 0 e55: x54 - b1002 <= 0 e56: x55 - b1002 <= 0 e57: x56 - b1002 <= 0 e58: x57 - b1002 <= 0 e59: x58 - b1002 <= 0 e60: x59 - b1002 <= 0 e61: x60 - b1002 <= 0 e62: x61 - b1002 <= 0 e63: x62 - b1002 <= 0 e64: x63 - b1002 <= 0 e65: x64 - b1002 <= 0 e66: x65 - b1002 <= 0 e67: x66 - b1002 <= 0 e68: x67 - b1002 <= 0 e69: x68 - b1002 <= 0 e70: x69 - b1002 <= 0 e71: x70 - b1002 <= 0 e72: x71 - b1002 <= 0 e73: x72 - b1002 <= 0 e74: x73 - b1002 <= 0 e75: x74 - b1002 <= 0 e76: x75 - b1002 <= 0 e77: x76 - b1002 <= 0 e78: x77 - b1002 <= 0 e79: x78 - b1002 <= 0 e80: x79 - b1002 <= 0 e81: x80 - b1002 <= 0 e82: x81 - b1002 <= 0 e83: x82 - b1002 <= 0 e84: x83 - b1002 <= 0 e85: x84 - b1002 <= 0 e86: x85 - b1002 <= 0 e87: x86 - b1002 <= 0 e88: x87 - b1002 <= 0 e89: x88 - b1002 <= 0 e90: x89 - b1002 <= 0 e91: x90 - b1002 <= 0 e92: x91 - b1002 <= 0 e93: x92 - b1002 <= 0 e94: x93 - b1002 <= 0 e95: x94 - b1002 <= 0 e96: x95 - b1002 <= 0 e97: x96 - b1002 <= 0 e98: x97 - b1002 <= 0 e99: x98 - b1002 <= 0 e100: x99 - b1002 <= 0 e101: x100 - b1002 <= 0 e102: x101 - b1003 <= 0 e103: x102 - b1003 <= 0 e104: x103 - b1003 <= 0 e105: x104 - b1003 <= 0 e106: x105 - b1003 <= 0 e107: x106 - b1003 <= 0 e108: x107 - b1003 <= 0 e109: x108 - b1003 <= 0 e110: x109 - b1003 <= 0 e111: x110 - b1003 <= 0 e112: x111 - b1003 <= 0 e113: x112 - b1003 <= 0 e114: x113 - b1003 <= 0 e115: x114 - b1003 <= 0 e116: x115 - b1003 <= 0 e117: x116 - b1003 <= 0 e118: x117 - b1003 <= 0 e119: x118 - b1003 <= 0 e120: x119 - b1003 <= 0 e121: x120 - b1003 <= 0 e122: x121 - b1003 <= 0 e123: x122 - b1003 <= 0 e124: x123 - b1003 <= 0 e125: x124 - b1003 <= 0 e126: x125 - b1003 <= 0 e127: x126 - b1003 <= 0 e128: x127 - b1003 <= 0 e129: x128 - b1003 <= 0 e130: x129 - b1003 <= 0 e131: x130 - b1003 <= 0 e132: x131 - b1003 <= 0 e133: x132 - b1003 <= 0 e134: x133 - b1003 <= 0 e135: x134 - b1003 <= 0 e136: x135 - b1003 <= 0 e137: x136 - b1003 <= 0 e138: x137 - b1003 <= 0 e139: x138 - b1003 <= 0 e140: x139 - b1003 <= 0 e141: x140 - b1003 <= 0 e142: x141 - b1003 <= 0 e143: x142 - b1003 <= 0 e144: x143 - b1003 <= 0 e145: x144 - b1003 <= 0 e146: x145 - b1003 <= 0 e147: x146 - b1003 <= 0 e148: x147 - b1003 <= 0 e149: x148 - b1003 <= 0 e150: x149 - b1003 <= 0 e151: x150 - b1003 <= 0 e152: x151 - b1004 <= 0 e153: x152 - b1004 <= 0 e154: x153 - b1004 <= 0 e155: x154 - b1004 <= 0 e156: x155 - b1004 <= 0 e157: x156 - b1004 <= 0 e158: x157 - b1004 <= 0 e159: x158 - b1004 <= 0 e160: x159 - b1004 <= 0 e161: x160 - b1004 <= 0 e162: x161 - b1004 <= 0 e163: x162 - b1004 <= 0 e164: x163 - b1004 <= 0 e165: x164 - b1004 <= 0 e166: x165 - b1004 <= 0 e167: x166 - b1004 <= 0 e168: x167 - b1004 <= 0 e169: x168 - b1004 <= 0 e170: x169 - b1004 <= 0 e171: x170 - b1004 <= 0 e172: x171 - b1004 <= 0 e173: x172 - b1004 <= 0 e174: x173 - b1004 <= 0 e175: x174 - b1004 <= 0 e176: x175 - b1004 <= 0 e177: x176 - b1004 <= 0 e178: x177 - b1004 <= 0 e179: x178 - b1004 <= 0 e180: x179 - b1004 <= 0 e181: x180 - b1004 <= 0 e182: x181 - b1004 <= 0 e183: x182 - b1004 <= 0 e184: x183 - b1004 <= 0 e185: x184 - b1004 <= 0 e186: x185 - b1004 <= 0 e187: x186 - b1004 <= 0 e188: x187 - b1004 <= 0 e189: x188 - b1004 <= 0 e190: x189 - b1004 <= 0 e191: x190 - b1004 <= 0 e192: x191 - b1004 <= 0 e193: x192 - b1004 <= 0 e194: x193 - b1004 <= 0 e195: x194 - b1004 <= 0 e196: x195 - b1004 <= 0 e197: x196 - b1004 <= 0 e198: x197 - b1004 <= 0 e199: x198 - b1004 <= 0 e200: x199 - b1004 <= 0 e201: x200 - b1004 <= 0 e202: x201 - b1005 <= 0 e203: x202 - b1005 <= 0 e204: x203 - b1005 <= 0 e205: x204 - b1005 <= 0 e206: x205 - b1005 <= 0 e207: x206 - b1005 <= 0 e208: x207 - b1005 <= 0 e209: x208 - b1005 <= 0 e210: x209 - b1005 <= 0 e211: x210 - b1005 <= 0 e212: x211 - b1005 <= 0 e213: x212 - b1005 <= 0 e214: x213 - b1005 <= 0 e215: x214 - b1005 <= 0 e216: x215 - b1005 <= 0 e217: x216 - b1005 <= 0 e218: x217 - b1005 <= 0 e219: x218 - b1005 <= 0 e220: x219 - b1005 <= 0 e221: x220 - b1005 <= 0 e222: x221 - b1005 <= 0 e223: x222 - b1005 <= 0 e224: x223 - b1005 <= 0 e225: x224 - b1005 <= 0 e226: x225 - b1005 <= 0 e227: x226 - b1005 <= 0 e228: x227 - b1005 <= 0 e229: x228 - b1005 <= 0 e230: x229 - b1005 <= 0 e231: x230 - b1005 <= 0 e232: x231 - b1005 <= 0 e233: x232 - b1005 <= 0 e234: x233 - b1005 <= 0 e235: x234 - b1005 <= 0 e236: x235 - b1005 <= 0 e237: x236 - b1005 <= 0 e238: x237 - b1005 <= 0 e239: x238 - b1005 <= 0 e240: x239 - b1005 <= 0 e241: x240 - b1005 <= 0 e242: x241 - b1005 <= 0 e243: x242 - b1005 <= 0 e244: x243 - b1005 <= 0 e245: x244 - b1005 <= 0 e246: x245 - b1005 <= 0 e247: x246 - b1005 <= 0 e248: x247 - b1005 <= 0 e249: x248 - b1005 <= 0 e250: x249 - b1005 <= 0 e251: x250 - b1005 <= 0 e252: x251 - b1006 <= 0 e253: x252 - b1006 <= 0 e254: x253 - b1006 <= 0 e255: x254 - b1006 <= 0 e256: x255 - b1006 <= 0 e257: x256 - b1006 <= 0 e258: x257 - b1006 <= 0 e259: x258 - b1006 <= 0 e260: x259 - b1006 <= 0 e261: x260 - b1006 <= 0 e262: x261 - b1006 <= 0 e263: x262 - b1006 <= 0 e264: x263 - b1006 <= 0 e265: x264 - b1006 <= 0 e266: x265 - b1006 <= 0 e267: x266 - b1006 <= 0 e268: x267 - b1006 <= 0 e269: x268 - b1006 <= 0 e270: x269 - b1006 <= 0 e271: x270 - b1006 <= 0 e272: x271 - b1006 <= 0 e273: x272 - b1006 <= 0 e274: x273 - b1006 <= 0 e275: x274 - b1006 <= 0 e276: x275 - b1006 <= 0 e277: x276 - b1006 <= 0 e278: x277 - b1006 <= 0 e279: x278 - b1006 <= 0 e280: x279 - b1006 <= 0 e281: x280 - b1006 <= 0 e282: x281 - b1006 <= 0 e283: x282 - b1006 <= 0 e284: x283 - b1006 <= 0 e285: x284 - b1006 <= 0 e286: x285 - b1006 <= 0 e287: x286 - b1006 <= 0 e288: x287 - b1006 <= 0 e289: x288 - b1006 <= 0 e290: x289 - b1006 <= 0 e291: x290 - b1006 <= 0 e292: x291 - b1006 <= 0 e293: x292 - b1006 <= 0 e294: x293 - b1006 <= 0 e295: x294 - b1006 <= 0 e296: x295 - b1006 <= 0 e297: x296 - b1006 <= 0 e298: x297 - b1006 <= 0 e299: x298 - b1006 <= 0 e300: x299 - b1006 <= 0 e301: x300 - b1006 <= 0 e302: x301 - b1007 <= 0 e303: x302 - b1007 <= 0 e304: x303 - b1007 <= 0 e305: x304 - b1007 <= 0 e306: x305 - b1007 <= 0 e307: x306 - b1007 <= 0 e308: x307 - b1007 <= 0 e309: x308 - b1007 <= 0 e310: x309 - b1007 <= 0 e311: x310 - b1007 <= 0 e312: x311 - b1007 <= 0 e313: x312 - b1007 <= 0 e314: x313 - b1007 <= 0 e315: x314 - b1007 <= 0 e316: x315 - b1007 <= 0 e317: x316 - b1007 <= 0 e318: x317 - b1007 <= 0 e319: x318 - b1007 <= 0 e320: x319 - b1007 <= 0 e321: x320 - b1007 <= 0 e322: x321 - b1007 <= 0 e323: x322 - b1007 <= 0 e324: x323 - b1007 <= 0 e325: x324 - b1007 <= 0 e326: x325 - b1007 <= 0 e327: x326 - b1007 <= 0 e328: x327 - b1007 <= 0 e329: x328 - b1007 <= 0 e330: x329 - b1007 <= 0 e331: x330 - b1007 <= 0 e332: x331 - b1007 <= 0 e333: x332 - b1007 <= 0 e334: x333 - b1007 <= 0 e335: x334 - b1007 <= 0 e336: x335 - b1007 <= 0 e337: x336 - b1007 <= 0 e338: x337 - b1007 <= 0 e339: x338 - b1007 <= 0 e340: x339 - b1007 <= 0 e341: x340 - b1007 <= 0 e342: x341 - b1007 <= 0 e343: x342 - b1007 <= 0 e344: x343 - b1007 <= 0 e345: x344 - b1007 <= 0 e346: x345 - b1007 <= 0 e347: x346 - b1007 <= 0 e348: x347 - b1007 <= 0 e349: x348 - b1007 <= 0 e350: x349 - b1007 <= 0 e351: x350 - b1007 <= 0 e352: x351 - b1008 <= 0 e353: x352 - b1008 <= 0 e354: x353 - b1008 <= 0 e355: x354 - b1008 <= 0 e356: x355 - b1008 <= 0 e357: x356 - b1008 <= 0 e358: x357 - b1008 <= 0 e359: x358 - b1008 <= 0 e360: x359 - b1008 <= 0 e361: x360 - b1008 <= 0 e362: x361 - b1008 <= 0 e363: x362 - b1008 <= 0 e364: x363 - b1008 <= 0 e365: x364 - b1008 <= 0 e366: x365 - b1008 <= 0 e367: x366 - b1008 <= 0 e368: x367 - b1008 <= 0 e369: x368 - b1008 <= 0 e370: x369 - b1008 <= 0 e371: x370 - b1008 <= 0 e372: x371 - b1008 <= 0 e373: x372 - b1008 <= 0 e374: x373 - b1008 <= 0 e375: x374 - b1008 <= 0 e376: x375 - b1008 <= 0 e377: x376 - b1008 <= 0 e378: x377 - b1008 <= 0 e379: x378 - b1008 <= 0 e380: x379 - b1008 <= 0 e381: x380 - b1008 <= 0 e382: x381 - b1008 <= 0 e383: x382 - b1008 <= 0 e384: x383 - b1008 <= 0 e385: x384 - b1008 <= 0 e386: x385 - b1008 <= 0 e387: x386 - b1008 <= 0 e388: x387 - b1008 <= 0 e389: x388 - b1008 <= 0 e390: x389 - b1008 <= 0 e391: x390 - b1008 <= 0 e392: x391 - b1008 <= 0 e393: x392 - b1008 <= 0 e394: x393 - b1008 <= 0 e395: x394 - b1008 <= 0 e396: x395 - b1008 <= 0 e397: x396 - b1008 <= 0 e398: x397 - b1008 <= 0 e399: x398 - b1008 <= 0 e400: x399 - b1008 <= 0 e401: x400 - b1008 <= 0 e402: x401 - b1009 <= 0 e403: x402 - b1009 <= 0 e404: x403 - b1009 <= 0 e405: x404 - b1009 <= 0 e406: x405 - b1009 <= 0 e407: x406 - b1009 <= 0 e408: x407 - b1009 <= 0 e409: x408 - b1009 <= 0 e410: x409 - b1009 <= 0 e411: x410 - b1009 <= 0 e412: x411 - b1009 <= 0 e413: x412 - b1009 <= 0 e414: x413 - b1009 <= 0 e415: x414 - b1009 <= 0 e416: x415 - b1009 <= 0 e417: x416 - b1009 <= 0 e418: x417 - b1009 <= 0 e419: x418 - b1009 <= 0 e420: x419 - b1009 <= 0 e421: x420 - b1009 <= 0 e422: x421 - b1009 <= 0 e423: x422 - b1009 <= 0 e424: x423 - b1009 <= 0 e425: x424 - b1009 <= 0 e426: x425 - b1009 <= 0 e427: x426 - b1009 <= 0 e428: x427 - b1009 <= 0 e429: x428 - b1009 <= 0 e430: x429 - b1009 <= 0 e431: x430 - b1009 <= 0 e432: x431 - b1009 <= 0 e433: x432 - b1009 <= 0 e434: x433 - b1009 <= 0 e435: x434 - b1009 <= 0 e436: x435 - b1009 <= 0 e437: x436 - b1009 <= 0 e438: x437 - b1009 <= 0 e439: x438 - b1009 <= 0 e440: x439 - b1009 <= 0 e441: x440 - b1009 <= 0 e442: x441 - b1009 <= 0 e443: x442 - b1009 <= 0 e444: x443 - b1009 <= 0 e445: x444 - b1009 <= 0 e446: x445 - b1009 <= 0 e447: x446 - b1009 <= 0 e448: x447 - b1009 <= 0 e449: x448 - b1009 <= 0 e450: x449 - b1009 <= 0 e451: x450 - b1009 <= 0 e452: x451 - b1010 <= 0 e453: x452 - b1010 <= 0 e454: x453 - b1010 <= 0 e455: x454 - b1010 <= 0 e456: x455 - b1010 <= 0 e457: x456 - b1010 <= 0 e458: x457 - b1010 <= 0 e459: x458 - b1010 <= 0 e460: x459 - b1010 <= 0 e461: x460 - b1010 <= 0 e462: x461 - b1010 <= 0 e463: x462 - b1010 <= 0 e464: x463 - b1010 <= 0 e465: x464 - b1010 <= 0 e466: x465 - b1010 <= 0 e467: x466 - b1010 <= 0 e468: x467 - b1010 <= 0 e469: x468 - b1010 <= 0 e470: x469 - b1010 <= 0 e471: x470 - b1010 <= 0 e472: x471 - b1010 <= 0 e473: x472 - b1010 <= 0 e474: x473 - b1010 <= 0 e475: x474 - b1010 <= 0 e476: x475 - b1010 <= 0 e477: x476 - b1010 <= 0 e478: x477 - b1010 <= 0 e479: x478 - b1010 <= 0 e480: x479 - b1010 <= 0 e481: x480 - b1010 <= 0 e482: x481 - b1010 <= 0 e483: x482 - b1010 <= 0 e484: x483 - b1010 <= 0 e485: x484 - b1010 <= 0 e486: x485 - b1010 <= 0 e487: x486 - b1010 <= 0 e488: x487 - b1010 <= 0 e489: x488 - b1010 <= 0 e490: x489 - b1010 <= 0 e491: x490 - b1010 <= 0 e492: x491 - b1010 <= 0 e493: x492 - b1010 <= 0 e494: x493 - b1010 <= 0 e495: x494 - b1010 <= 0 e496: x495 - b1010 <= 0 e497: x496 - b1010 <= 0 e498: x497 - b1010 <= 0 e499: x498 - b1010 <= 0 e500: x499 - b1010 <= 0 e501: x500 - b1010 <= 0 e502: x501 - b1011 <= 0 e503: x502 - b1011 <= 0 e504: x503 - b1011 <= 0 e505: x504 - b1011 <= 0 e506: x505 - b1011 <= 0 e507: x506 - b1011 <= 0 e508: x507 - b1011 <= 0 e509: x508 - b1011 <= 0 e510: x509 - b1011 <= 0 e511: x510 - b1011 <= 0 e512: x511 - b1011 <= 0 e513: x512 - b1011 <= 0 e514: x513 - b1011 <= 0 e515: x514 - b1011 <= 0 e516: x515 - b1011 <= 0 e517: x516 - b1011 <= 0 e518: x517 - b1011 <= 0 e519: x518 - b1011 <= 0 e520: x519 - b1011 <= 0 e521: x520 - b1011 <= 0 e522: x521 - b1011 <= 0 e523: x522 - b1011 <= 0 e524: x523 - b1011 <= 0 e525: x524 - b1011 <= 0 e526: x525 - b1011 <= 0 e527: x526 - b1011 <= 0 e528: x527 - b1011 <= 0 e529: x528 - b1011 <= 0 e530: x529 - b1011 <= 0 e531: x530 - b1011 <= 0 e532: x531 - b1011 <= 0 e533: x532 - b1011 <= 0 e534: x533 - b1011 <= 0 e535: x534 - b1011 <= 0 e536: x535 - b1011 <= 0 e537: x536 - b1011 <= 0 e538: x537 - b1011 <= 0 e539: x538 - b1011 <= 0 e540: x539 - b1011 <= 0 e541: x540 - b1011 <= 0 e542: x541 - b1011 <= 0 e543: x542 - b1011 <= 0 e544: x543 - b1011 <= 0 e545: x544 - b1011 <= 0 e546: x545 - b1011 <= 0 e547: x546 - b1011 <= 0 e548: x547 - b1011 <= 0 e549: x548 - b1011 <= 0 e550: x549 - b1011 <= 0 e551: x550 - b1011 <= 0 e552: x551 - b1012 <= 0 e553: x552 - b1012 <= 0 e554: x553 - b1012 <= 0 e555: x554 - b1012 <= 0 e556: x555 - b1012 <= 0 e557: x556 - b1012 <= 0 e558: x557 - b1012 <= 0 e559: x558 - b1012 <= 0 e560: x559 - b1012 <= 0 e561: x560 - b1012 <= 0 e562: x561 - b1012 <= 0 e563: x562 - b1012 <= 0 e564: x563 - b1012 <= 0 e565: x564 - b1012 <= 0 e566: x565 - b1012 <= 0 e567: x566 - b1012 <= 0 e568: x567 - b1012 <= 0 e569: x568 - b1012 <= 0 e570: x569 - b1012 <= 0 e571: x570 - b1012 <= 0 e572: x571 - b1012 <= 0 e573: x572 - b1012 <= 0 e574: x573 - b1012 <= 0 e575: x574 - b1012 <= 0 e576: x575 - b1012 <= 0 e577: x576 - b1012 <= 0 e578: x577 - b1012 <= 0 e579: x578 - b1012 <= 0 e580: x579 - b1012 <= 0 e581: x580 - b1012 <= 0 e582: x581 - b1012 <= 0 e583: x582 - b1012 <= 0 e584: x583 - b1012 <= 0 e585: x584 - b1012 <= 0 e586: x585 - b1012 <= 0 e587: x586 - b1012 <= 0 e588: x587 - b1012 <= 0 e589: x588 - b1012 <= 0 e590: x589 - b1012 <= 0 e591: x590 - b1012 <= 0 e592: x591 - b1012 <= 0 e593: x592 - b1012 <= 0 e594: x593 - b1012 <= 0 e595: x594 - b1012 <= 0 e596: x595 - b1012 <= 0 e597: x596 - b1012 <= 0 e598: x597 - b1012 <= 0 e599: x598 - b1012 <= 0 e600: x599 - b1012 <= 0 e601: x600 - b1012 <= 0 e602: x601 - b1013 <= 0 e603: x602 - b1013 <= 0 e604: x603 - b1013 <= 0 e605: x604 - b1013 <= 0 e606: x605 - b1013 <= 0 e607: x606 - b1013 <= 0 e608: x607 - b1013 <= 0 e609: x608 - b1013 <= 0 e610: x609 - b1013 <= 0 e611: x610 - b1013 <= 0 e612: x611 - b1013 <= 0 e613: x612 - b1013 <= 0 e614: x613 - b1013 <= 0 e615: x614 - b1013 <= 0 e616: x615 - b1013 <= 0 e617: x616 - b1013 <= 0 e618: x617 - b1013 <= 0 e619: x618 - b1013 <= 0 e620: x619 - b1013 <= 0 e621: x620 - b1013 <= 0 e622: x621 - b1013 <= 0 e623: x622 - b1013 <= 0 e624: x623 - b1013 <= 0 e625: x624 - b1013 <= 0 e626: x625 - b1013 <= 0 e627: x626 - b1013 <= 0 e628: x627 - b1013 <= 0 e629: x628 - b1013 <= 0 e630: x629 - b1013 <= 0 e631: x630 - b1013 <= 0 e632: x631 - b1013 <= 0 e633: x632 - b1013 <= 0 e634: x633 - b1013 <= 0 e635: x634 - b1013 <= 0 e636: x635 - b1013 <= 0 e637: x636 - b1013 <= 0 e638: x637 - b1013 <= 0 e639: x638 - b1013 <= 0 e640: x639 - b1013 <= 0 e641: x640 - b1013 <= 0 e642: x641 - b1013 <= 0 e643: x642 - b1013 <= 0 e644: x643 - b1013 <= 0 e645: x644 - b1013 <= 0 e646: x645 - b1013 <= 0 e647: x646 - b1013 <= 0 e648: x647 - b1013 <= 0 e649: x648 - b1013 <= 0 e650: x649 - b1013 <= 0 e651: x650 - b1013 <= 0 e652: x651 - b1014 <= 0 e653: x652 - b1014 <= 0 e654: x653 - b1014 <= 0 e655: x654 - b1014 <= 0 e656: x655 - b1014 <= 0 e657: x656 - b1014 <= 0 e658: x657 - b1014 <= 0 e659: x658 - b1014 <= 0 e660: x659 - b1014 <= 0 e661: x660 - b1014 <= 0 e662: x661 - b1014 <= 0 e663: x662 - b1014 <= 0 e664: x663 - b1014 <= 0 e665: x664 - b1014 <= 0 e666: x665 - b1014 <= 0 e667: x666 - b1014 <= 0 e668: x667 - b1014 <= 0 e669: x668 - b1014 <= 0 e670: x669 - b1014 <= 0 e671: x670 - b1014 <= 0 e672: x671 - b1014 <= 0 e673: x672 - b1014 <= 0 e674: x673 - b1014 <= 0 e675: x674 - b1014 <= 0 e676: x675 - b1014 <= 0 e677: x676 - b1014 <= 0 e678: x677 - b1014 <= 0 e679: x678 - b1014 <= 0 e680: x679 - b1014 <= 0 e681: x680 - b1014 <= 0 e682: x681 - b1014 <= 0 e683: x682 - b1014 <= 0 e684: x683 - b1014 <= 0 e685: x684 - b1014 <= 0 e686: x685 - b1014 <= 0 e687: x686 - b1014 <= 0 e688: x687 - b1014 <= 0 e689: x688 - b1014 <= 0 e690: x689 - b1014 <= 0 e691: x690 - b1014 <= 0 e692: x691 - b1014 <= 0 e693: x692 - b1014 <= 0 e694: x693 - b1014 <= 0 e695: x694 - b1014 <= 0 e696: x695 - b1014 <= 0 e697: x696 - b1014 <= 0 e698: x697 - b1014 <= 0 e699: x698 - b1014 <= 0 e700: x699 - b1014 <= 0 e701: x700 - b1014 <= 0 e702: x701 - b1015 <= 0 e703: x702 - b1015 <= 0 e704: x703 - b1015 <= 0 e705: x704 - b1015 <= 0 e706: x705 - b1015 <= 0 e707: x706 - b1015 <= 0 e708: x707 - b1015 <= 0 e709: x708 - b1015 <= 0 e710: x709 - b1015 <= 0 e711: x710 - b1015 <= 0 e712: x711 - b1015 <= 0 e713: x712 - b1015 <= 0 e714: x713 - b1015 <= 0 e715: x714 - b1015 <= 0 e716: x715 - b1015 <= 0 e717: x716 - b1015 <= 0 e718: x717 - b1015 <= 0 e719: x718 - b1015 <= 0 e720: x719 - b1015 <= 0 e721: x720 - b1015 <= 0 e722: x721 - b1015 <= 0 e723: x722 - b1015 <= 0 e724: x723 - b1015 <= 0 e725: x724 - b1015 <= 0 e726: x725 - b1015 <= 0 e727: x726 - b1015 <= 0 e728: x727 - b1015 <= 0 e729: x728 - b1015 <= 0 e730: x729 - b1015 <= 0 e731: x730 - b1015 <= 0 e732: x731 - b1015 <= 0 e733: x732 - b1015 <= 0 e734: x733 - b1015 <= 0 e735: x734 - b1015 <= 0 e736: x735 - b1015 <= 0 e737: x736 - b1015 <= 0 e738: x737 - b1015 <= 0 e739: x738 - b1015 <= 0 e740: x739 - b1015 <= 0 e741: x740 - b1015 <= 0 e742: x741 - b1015 <= 0 e743: x742 - b1015 <= 0 e744: x743 - b1015 <= 0 e745: x744 - b1015 <= 0 e746: x745 - b1015 <= 0 e747: x746 - b1015 <= 0 e748: x747 - b1015 <= 0 e749: x748 - b1015 <= 0 e750: x749 - b1015 <= 0 e751: x750 - b1015 <= 0 e752: x751 - b1016 <= 0 e753: x752 - b1016 <= 0 e754: x753 - b1016 <= 0 e755: x754 - b1016 <= 0 e756: x755 - b1016 <= 0 e757: x756 - b1016 <= 0 e758: x757 - b1016 <= 0 e759: x758 - b1016 <= 0 e760: x759 - b1016 <= 0 e761: x760 - b1016 <= 0 e762: x761 - b1016 <= 0 e763: x762 - b1016 <= 0 e764: x763 - b1016 <= 0 e765: x764 - b1016 <= 0 e766: x765 - b1016 <= 0 e767: x766 - b1016 <= 0 e768: x767 - b1016 <= 0 e769: x768 - b1016 <= 0 e770: x769 - b1016 <= 0 e771: x770 - b1016 <= 0 e772: x771 - b1016 <= 0 e773: x772 - b1016 <= 0 e774: x773 - b1016 <= 0 e775: x774 - b1016 <= 0 e776: x775 - b1016 <= 0 e777: x776 - b1016 <= 0 e778: x777 - b1016 <= 0 e779: x778 - b1016 <= 0 e780: x779 - b1016 <= 0 e781: x780 - b1016 <= 0 e782: x781 - b1016 <= 0 e783: x782 - b1016 <= 0 e784: x783 - b1016 <= 0 e785: x784 - b1016 <= 0 e786: x785 - b1016 <= 0 e787: x786 - b1016 <= 0 e788: x787 - b1016 <= 0 e789: x788 - b1016 <= 0 e790: x789 - b1016 <= 0 e791: x790 - b1016 <= 0 e792: x791 - b1016 <= 0 e793: x792 - b1016 <= 0 e794: x793 - b1016 <= 0 e795: x794 - b1016 <= 0 e796: x795 - b1016 <= 0 e797: x796 - b1016 <= 0 e798: x797 - b1016 <= 0 e799: x798 - b1016 <= 0 e800: x799 - b1016 <= 0 e801: x800 - b1016 <= 0 e802: x801 - b1017 <= 0 e803: x802 - b1017 <= 0 e804: x803 - b1017 <= 0 e805: x804 - b1017 <= 0 e806: x805 - b1017 <= 0 e807: x806 - b1017 <= 0 e808: x807 - b1017 <= 0 e809: x808 - b1017 <= 0 e810: x809 - b1017 <= 0 e811: x810 - b1017 <= 0 e812: x811 - b1017 <= 0 e813: x812 - b1017 <= 0 e814: x813 - b1017 <= 0 e815: x814 - b1017 <= 0 e816: x815 - b1017 <= 0 e817: x816 - b1017 <= 0 e818: x817 - b1017 <= 0 e819: x818 - b1017 <= 0 e820: x819 - b1017 <= 0 e821: x820 - b1017 <= 0 e822: x821 - b1017 <= 0 e823: x822 - b1017 <= 0 e824: x823 - b1017 <= 0 e825: x824 - b1017 <= 0 e826: x825 - b1017 <= 0 e827: x826 - b1017 <= 0 e828: x827 - b1017 <= 0 e829: x828 - b1017 <= 0 e830: x829 - b1017 <= 0 e831: x830 - b1017 <= 0 e832: x831 - b1017 <= 0 e833: x832 - b1017 <= 0 e834: x833 - b1017 <= 0 e835: x834 - b1017 <= 0 e836: x835 - b1017 <= 0 e837: x836 - b1017 <= 0 e838: x837 - b1017 <= 0 e839: x838 - b1017 <= 0 e840: x839 - b1017 <= 0 e841: x840 - b1017 <= 0 e842: x841 - b1017 <= 0 e843: x842 - b1017 <= 0 e844: x843 - b1017 <= 0 e845: x844 - b1017 <= 0 e846: x845 - b1017 <= 0 e847: x846 - b1017 <= 0 e848: x847 - b1017 <= 0 e849: x848 - b1017 <= 0 e850: x849 - b1017 <= 0 e851: x850 - b1017 <= 0 e852: x851 - b1018 <= 0 e853: x852 - b1018 <= 0 e854: x853 - b1018 <= 0 e855: x854 - b1018 <= 0 e856: x855 - b1018 <= 0 e857: x856 - b1018 <= 0 e858: x857 - b1018 <= 0 e859: x858 - b1018 <= 0 e860: x859 - b1018 <= 0 e861: x860 - b1018 <= 0 e862: x861 - b1018 <= 0 e863: x862 - b1018 <= 0 e864: x863 - b1018 <= 0 e865: x864 - b1018 <= 0 e866: x865 - b1018 <= 0 e867: x866 - b1018 <= 0 e868: x867 - b1018 <= 0 e869: x868 - b1018 <= 0 e870: x869 - b1018 <= 0 e871: x870 - b1018 <= 0 e872: x871 - b1018 <= 0 e873: x872 - b1018 <= 0 e874: x873 - b1018 <= 0 e875: x874 - b1018 <= 0 e876: x875 - b1018 <= 0 e877: x876 - b1018 <= 0 e878: x877 - b1018 <= 0 e879: x878 - b1018 <= 0 e880: x879 - b1018 <= 0 e881: x880 - b1018 <= 0 e882: x881 - b1018 <= 0 e883: x882 - b1018 <= 0 e884: x883 - b1018 <= 0 e885: x884 - b1018 <= 0 e886: x885 - b1018 <= 0 e887: x886 - b1018 <= 0 e888: x887 - b1018 <= 0 e889: x888 - b1018 <= 0 e890: x889 - b1018 <= 0 e891: x890 - b1018 <= 0 e892: x891 - b1018 <= 0 e893: x892 - b1018 <= 0 e894: x893 - b1018 <= 0 e895: x894 - b1018 <= 0 e896: x895 - b1018 <= 0 e897: x896 - b1018 <= 0 e898: x897 - b1018 <= 0 e899: x898 - b1018 <= 0 e900: x899 - b1018 <= 0 e901: x900 - b1018 <= 0 e902: x901 - b1019 <= 0 e903: x902 - b1019 <= 0 e904: x903 - b1019 <= 0 e905: x904 - b1019 <= 0 e906: x905 - b1019 <= 0 e907: x906 - b1019 <= 0 e908: x907 - b1019 <= 0 e909: x908 - b1019 <= 0 e910: x909 - b1019 <= 0 e911: x910 - b1019 <= 0 e912: x911 - b1019 <= 0 e913: x912 - b1019 <= 0 e914: x913 - b1019 <= 0 e915: x914 - b1019 <= 0 e916: x915 - b1019 <= 0 e917: x916 - b1019 <= 0 e918: x917 - b1019 <= 0 e919: x918 - b1019 <= 0 e920: x919 - b1019 <= 0 e921: x920 - b1019 <= 0 e922: x921 - b1019 <= 0 e923: x922 - b1019 <= 0 e924: x923 - b1019 <= 0 e925: x924 - b1019 <= 0 e926: x925 - b1019 <= 0 e927: x926 - b1019 <= 0 e928: x927 - b1019 <= 0 e929: x928 - b1019 <= 0 e930: x929 - b1019 <= 0 e931: x930 - b1019 <= 0 e932: x931 - b1019 <= 0 e933: x932 - b1019 <= 0 e934: x933 - b1019 <= 0 e935: x934 - b1019 <= 0 e936: x935 - b1019 <= 0 e937: x936 - b1019 <= 0 e938: x937 - b1019 <= 0 e939: x938 - b1019 <= 0 e940: x939 - b1019 <= 0 e941: x940 - b1019 <= 0 e942: x941 - b1019 <= 0 e943: x942 - b1019 <= 0 e944: x943 - b1019 <= 0 e945: x944 - b1019 <= 0 e946: x945 - b1019 <= 0 e947: x946 - b1019 <= 0 e948: x947 - b1019 <= 0 e949: x948 - b1019 <= 0 e950: x949 - b1019 <= 0 e951: x950 - b1019 <= 0 e952: x951 - b1020 <= 0 e953: x952 - b1020 <= 0 e954: x953 - b1020 <= 0 e955: x954 - b1020 <= 0 e956: x955 - b1020 <= 0 e957: x956 - b1020 <= 0 e958: x957 - b1020 <= 0 e959: x958 - b1020 <= 0 e960: x959 - b1020 <= 0 e961: x960 - b1020 <= 0 e962: x961 - b1020 <= 0 e963: x962 - b1020 <= 0 e964: x963 - b1020 <= 0 e965: x964 - b1020 <= 0 e966: x965 - b1020 <= 0 e967: x966 - b1020 <= 0 e968: x967 - b1020 <= 0 e969: x968 - b1020 <= 0 e970: x969 - b1020 <= 0 e971: x970 - b1020 <= 0 e972: x971 - b1020 <= 0 e973: x972 - b1020 <= 0 e974: x973 - b1020 <= 0 e975: x974 - b1020 <= 0 e976: x975 - b1020 <= 0 e977: x976 - b1020 <= 0 e978: x977 - b1020 <= 0 e979: x978 - b1020 <= 0 e980: x979 - b1020 <= 0 e981: x980 - b1020 <= 0 e982: x981 - b1020 <= 0 e983: x982 - b1020 <= 0 e984: x983 - b1020 <= 0 e985: x984 - b1020 <= 0 e986: x985 - b1020 <= 0 e987: x986 - b1020 <= 0 e988: x987 - b1020 <= 0 e989: x988 - b1020 <= 0 e990: x989 - b1020 <= 0 e991: x990 - b1020 <= 0 e992: x991 - b1020 <= 0 e993: x992 - b1020 <= 0 e994: x993 - b1020 <= 0 e995: x994 - b1020 <= 0 e996: x995 - b1020 <= 0 e997: x996 - b1020 <= 0 e998: x997 - b1020 <= 0 e999: x998 - b1020 <= 0 e1000: x999 - b1020 <= 0 e1001: x1000 - b1020 <= 0 e1002: x1 + x51 + x101 + x151 + x201 + x251 + x301 + x351 + x401 + x451 + x501 + x551 + x601 + x651 + x701 + x751 + x801 + x851 + x901 + x951 = 1 e1003: x2 + x52 + x102 + x152 + x202 + x252 + x302 + x352 + x402 + x452 + x502 + x552 + x602 + x652 + x702 + x752 + x802 + x852 + x902 + x952 = 1 e1004: x3 + x53 + x103 + x153 + x203 + x253 + x303 + x353 + x403 + x453 + x503 + x553 + x603 + x653 + x703 + x753 + x803 + x853 + x903 + x953 = 1 e1005: x4 + x54 + x104 + x154 + x204 + x254 + x304 + x354 + x404 + x454 + x504 + x554 + x604 + x654 + x704 + x754 + x804 + x854 + x904 + x954 = 1 e1006: x5 + x55 + x105 + x155 + x205 + x255 + x305 + x355 + x405 + x455 + x505 + x555 + x605 + x655 + x705 + x755 + x805 + x855 + x905 + x955 = 1 e1007: x6 + x56 + x106 + x156 + x206 + x256 + x306 + x356 + x406 + x456 + x506 + x556 + x606 + x656 + x706 + x756 + x806 + x856 + x906 + x956 = 1 e1008: x7 + x57 + x107 + x157 + x207 + x257 + x307 + x357 + x407 + x457 + x507 + x557 + x607 + x657 + x707 + x757 + x807 + x857 + x907 + x957 = 1 e1009: x8 + x58 + x108 + x158 + x208 + x258 + x308 + x358 + x408 + x458 + x508 + x558 + x608 + x658 + x708 + x758 + x808 + x858 + x908 + x958 = 1 e1010: x9 + x59 + x109 + x159 + x209 + x259 + x309 + x359 + x409 + x459 + x509 + x559 + x609 + x659 + x709 + x759 + x809 + x859 + x909 + x959 = 1 e1011: x10 + x60 + x110 + x160 + x210 + x260 + x310 + x360 + x410 + x460 + x510 + x560 + x610 + x660 + x710 + x760 + x810 + x860 + x910 + x960 = 1 e1012: x11 + x61 + x111 + x161 + x211 + x261 + x311 + x361 + x411 + x461 + x511 + x561 + x611 + x661 + x711 + x761 + x811 + x861 + x911 + x961 = 1 e1013: x12 + x62 + x112 + x162 + x212 + x262 + x312 + x362 + x412 + x462 + x512 + x562 + x612 + x662 + x712 + x762 + x812 + x862 + x912 + x962 = 1 e1014: x13 + x63 + x113 + x163 + x213 + x263 + x313 + x363 + x413 + x463 + x513 + x563 + x613 + x663 + x713 + x763 + x813 + x863 + x913 + x963 = 1 e1015: x14 + x64 + x114 + x164 + x214 + x264 + x314 + x364 + x414 + x464 + x514 + x564 + x614 + x664 + x714 + x764 + x814 + x864 + x914 + x964 = 1 e1016: x15 + x65 + x115 + x165 + x215 + x265 + x315 + x365 + x415 + x465 + x515 + x565 + x615 + x665 + x715 + x765 + x815 + x865 + x915 + x965 = 1 e1017: x16 + x66 + x116 + x166 + x216 + x266 + x316 + x366 + x416 + x466 + x516 + x566 + x616 + x666 + x716 + x766 + x816 + x866 + x916 + x966 = 1 e1018: x17 + x67 + x117 + x167 + x217 + x267 + x317 + x367 + x417 + x467 + x517 + x567 + x617 + x667 + x717 + x767 + x817 + x867 + x917 + x967 = 1 e1019: x18 + x68 + x118 + x168 + x218 + x268 + x318 + x368 + x418 + x468 + x518 + x568 + x618 + x668 + x718 + x768 + x818 + x868 + x918 + x968 = 1 e1020: x19 + x69 + x119 + x169 + x219 + x269 + x319 + x369 + x419 + x469 + x519 + x569 + x619 + x669 + x719 + x769 + x819 + x869 + x919 + x969 = 1 e1021: x20 + x70 + x120 + x170 + x220 + x270 + x320 + x370 + x420 + x470 + x520 + x570 + x620 + x670 + x720 + x770 + x820 + x870 + x920 + x970 = 1 e1022: x21 + x71 + x121 + x171 + x221 + x271 + x321 + x371 + x421 + x471 + x521 + x571 + x621 + x671 + x721 + x771 + x821 + x871 + x921 + x971 = 1 e1023: x22 + x72 + x122 + x172 + x222 + x272 + x322 + x372 + x422 + x472 + x522 + x572 + x622 + x672 + x722 + x772 + x822 + x872 + x922 + x972 = 1 e1024: x23 + x73 + x123 + x173 + x223 + x273 + x323 + x373 + x423 + x473 + x523 + x573 + x623 + x673 + x723 + x773 + x823 + x873 + x923 + x973 = 1 e1025: x24 + x74 + x124 + x174 + x224 + x274 + x324 + x374 + x424 + x474 + x524 + x574 + x624 + x674 + x724 + x774 + x824 + x874 + x924 + x974 = 1 e1026: x25 + x75 + x125 + x175 + x225 + x275 + x325 + x375 + x425 + x475 + x525 + x575 + x625 + x675 + x725 + x775 + x825 + x875 + x925 + x975 = 1 e1027: x26 + x76 + x126 + x176 + x226 + x276 + x326 + x376 + x426 + x476 + x526 + x576 + x626 + x676 + x726 + x776 + x826 + x876 + x926 + x976 = 1 e1028: x27 + x77 + x127 + x177 + x227 + x277 + x327 + x377 + x427 + x477 + x527 + x577 + x627 + x677 + x727 + x777 + x827 + x877 + x927 + x977 = 1 e1029: x28 + x78 + x128 + x178 + x228 + x278 + x328 + x378 + x428 + x478 + x528 + x578 + x628 + x678 + x728 + x778 + x828 + x878 + x928 + x978 = 1 e1030: x29 + x79 + x129 + x179 + x229 + x279 + x329 + x379 + x429 + x479 + x529 + x579 + x629 + x679 + x729 + x779 + x829 + x879 + x929 + x979 = 1 e1031: x30 + x80 + x130 + x180 + x230 + x280 + x330 + x380 + x430 + x480 + x530 + x580 + x630 + x680 + x730 + x780 + x830 + x880 + x930 + x980 = 1 e1032: x31 + x81 + x131 + x181 + x231 + x281 + x331 + x381 + x431 + x481 + x531 + x581 + x631 + x681 + x731 + x781 + x831 + x881 + x931 + x981 = 1 e1033: x32 + x82 + x132 + x182 + x232 + x282 + x332 + x382 + x432 + x482 + x532 + x582 + x632 + x682 + x732 + x782 + x832 + x882 + x932 + x982 = 1 e1034: x33 + x83 + x133 + x183 + x233 + x283 + x333 + x383 + x433 + x483 + x533 + x583 + x633 + x683 + x733 + x783 + x833 + x883 + x933 + x983 = 1 e1035: x34 + x84 + x134 + x184 + x234 + x284 + x334 + x384 + x434 + x484 + x534 + x584 + x634 + x684 + x734 + x784 + x834 + x884 + x934 + x984 = 1 e1036: x35 + x85 + x135 + x185 + x235 + x285 + x335 + x385 + x435 + x485 + x535 + x585 + x635 + x685 + x735 + x785 + x835 + x885 + x935 + x985 = 1 e1037: x36 + x86 + x136 + x186 + x236 + x286 + x336 + x386 + x436 + x486 + x536 + x586 + x636 + x686 + x736 + x786 + x836 + x886 + x936 + x986 = 1 e1038: x37 + x87 + x137 + x187 + x237 + x287 + x337 + x387 + x437 + x487 + x537 + x587 + x637 + x687 + x737 + x787 + x837 + x887 + x937 + x987 = 1 e1039: x38 + x88 + x138 + x188 + x238 + x288 + x338 + x388 + x438 + x488 + x538 + x588 + x638 + x688 + x738 + x788 + x838 + x888 + x938 + x988 = 1 e1040: x39 + x89 + x139 + x189 + x239 + x289 + x339 + x389 + x439 + x489 + x539 + x589 + x639 + x689 + x739 + x789 + x839 + x889 + x939 + x989 = 1 e1041: x40 + x90 + x140 + x190 + x240 + x290 + x340 + x390 + x440 + x490 + x540 + x590 + x640 + x690 + x740 + x790 + x840 + x890 + x940 + x990 = 1 e1042: x41 + x91 + x141 + x191 + x241 + x291 + x341 + x391 + x441 + x491 + x541 + x591 + x641 + x691 + x741 + x791 + x841 + x891 + x941 + x991 = 1 e1043: x42 + x92 + x142 + x192 + x242 + x292 + x342 + x392 + x442 + x492 + x542 + x592 + x642 + x692 + x742 + x792 + x842 + x892 + x942 + x992 = 1 e1044: x43 + x93 + x143 + x193 + x243 + x293 + x343 + x393 + x443 + x493 + x543 + x593 + x643 + x693 + x743 + x793 + x843 + x893 + x943 + x993 = 1 e1045: x44 + x94 + x144 + x194 + x244 + x294 + x344 + x394 + x444 + x494 + x544 + x594 + x644 + x694 + x744 + x794 + x844 + x894 + x944 + x994 = 1 e1046: x45 + x95 + x145 + x195 + x245 + x295 + x345 + x395 + x445 + x495 + x545 + x595 + x645 + x695 + x745 + x795 + x845 + x895 + x945 + x995 = 1 e1047: x46 + x96 + x146 + x196 + x246 + x296 + x346 + x396 + x446 + x496 + x546 + x596 + x646 + x696 + x746 + x796 + x846 + x896 + x946 + x996 = 1 e1048: x47 + x97 + x147 + x197 + x247 + x297 + x347 + x397 + x447 + x497 + x547 + x597 + x647 + x697 + x747 + x797 + x847 + x897 + x947 + x997 = 1 e1049: x48 + x98 + x148 + x198 + x248 + x298 + x348 + x398 + x448 + x498 + x548 + x598 + x648 + x698 + x748 + x798 + x848 + x898 + x948 + x998 = 1 e1050: x49 + x99 + x149 + x199 + x249 + x299 + x349 + x399 + x449 + x499 + x549 + x599 + x649 + x699 + x749 + x799 + x849 + x899 + x949 + x999 = 1 e1051: x50 + x100 + x150 + x200 + x250 + x300 + x350 + x400 + x450 + x500 + x550 + x600 + x650 + x700 + x750 + x800 + x850 + x900 + x950 + x1000 = 1 e1052: [ x1^2 - b1001 * x1021 ] <= 0 e1053: [ x2^2 - b1001 * x1022 ] <= 0 e1054: [ x3^2 - b1001 * x1023 ] <= 0 e1055: [ x4^2 - b1001 * x1024 ] <= 0 e1056: [ x5^2 - b1001 * x1025 ] <= 0 e1057: [ x6^2 - b1001 * x1026 ] <= 0 e1058: [ x7^2 - b1001 * x1027 ] <= 0 e1059: [ x8^2 - b1001 * x1028 ] <= 0 e1060: [ x9^2 - b1001 * x1029 ] <= 0 e1061: [ x10^2 - b1001 * x1030 ] <= 0 e1062: [ x11^2 - b1001 * x1031 ] <= 0 e1063: [ x12^2 - b1001 * x1032 ] <= 0 e1064: [ x13^2 - b1001 * x1033 ] <= 0 e1065: [ x14^2 - b1001 * x1034 ] <= 0 e1066: [ x15^2 - b1001 * x1035 ] <= 0 e1067: [ x16^2 - b1001 * x1036 ] <= 0 e1068: [ x17^2 - b1001 * x1037 ] <= 0 e1069: [ x18^2 - b1001 * x1038 ] <= 0 e1070: [ x19^2 - b1001 * x1039 ] <= 0 e1071: [ x20^2 - b1001 * x1040 ] <= 0 e1072: [ x21^2 - b1001 * x1041 ] <= 0 e1073: [ x22^2 - b1001 * x1042 ] <= 0 e1074: [ x23^2 - b1001 * x1043 ] <= 0 e1075: [ x24^2 - b1001 * x1044 ] <= 0 e1076: [ x25^2 - b1001 * x1045 ] <= 0 e1077: [ x26^2 - b1001 * x1046 ] <= 0 e1078: [ x27^2 - b1001 * x1047 ] <= 0 e1079: [ x28^2 - b1001 * x1048 ] <= 0 e1080: [ x29^2 - b1001 * x1049 ] <= 0 e1081: [ x30^2 - b1001 * x1050 ] <= 0 e1082: [ x31^2 - b1001 * x1051 ] <= 0 e1083: [ x32^2 - b1001 * x1052 ] <= 0 e1084: [ x33^2 - b1001 * x1053 ] <= 0 e1085: [ x34^2 - b1001 * x1054 ] <= 0 e1086: [ x35^2 - b1001 * x1055 ] <= 0 e1087: [ x36^2 - b1001 * x1056 ] <= 0 e1088: [ x37^2 - b1001 * x1057 ] <= 0 e1089: [ x38^2 - b1001 * x1058 ] <= 0 e1090: [ x39^2 - b1001 * x1059 ] <= 0 e1091: [ x40^2 - b1001 * x1060 ] <= 0 e1092: [ x41^2 - b1001 * x1061 ] <= 0 e1093: [ x42^2 - b1001 * x1062 ] <= 0 e1094: [ x43^2 - b1001 * x1063 ] <= 0 e1095: [ x44^2 - b1001 * x1064 ] <= 0 e1096: [ x45^2 - b1001 * x1065 ] <= 0 e1097: [ x46^2 - b1001 * x1066 ] <= 0 e1098: [ x47^2 - b1001 * x1067 ] <= 0 e1099: [ x48^2 - b1001 * x1068 ] <= 0 e1100: [ x49^2 - b1001 * x1069 ] <= 0 e1101: [ x50^2 - b1001 * x1070 ] <= 0 e1102: [ x51^2 - b1002 * x1071 ] <= 0 e1103: [ x52^2 - b1002 * x1072 ] <= 0 e1104: [ x53^2 - b1002 * x1073 ] <= 0 e1105: [ x54^2 - b1002 * x1074 ] <= 0 e1106: [ x55^2 - b1002 * x1075 ] <= 0 e1107: [ x56^2 - b1002 * x1076 ] <= 0 e1108: [ x57^2 - b1002 * x1077 ] <= 0 e1109: [ x58^2 - b1002 * x1078 ] <= 0 e1110: [ x59^2 - b1002 * x1079 ] <= 0 e1111: [ x60^2 - b1002 * x1080 ] <= 0 e1112: [ x61^2 - b1002 * x1081 ] <= 0 e1113: [ x62^2 - b1002 * x1082 ] <= 0 e1114: [ x63^2 - b1002 * x1083 ] <= 0 e1115: [ x64^2 - b1002 * x1084 ] <= 0 e1116: [ x65^2 - b1002 * x1085 ] <= 0 e1117: [ x66^2 - b1002 * x1086 ] <= 0 e1118: [ x67^2 - b1002 * x1087 ] <= 0 e1119: [ x68^2 - b1002 * x1088 ] <= 0 e1120: [ x69^2 - b1002 * x1089 ] <= 0 e1121: [ x70^2 - b1002 * x1090 ] <= 0 e1122: [ x71^2 - b1002 * x1091 ] <= 0 e1123: [ x72^2 - b1002 * x1092 ] <= 0 e1124: [ x73^2 - b1002 * x1093 ] <= 0 e1125: [ x74^2 - b1002 * x1094 ] <= 0 e1126: [ x75^2 - b1002 * x1095 ] <= 0 e1127: [ x76^2 - b1002 * x1096 ] <= 0 e1128: [ x77^2 - b1002 * x1097 ] <= 0 e1129: [ x78^2 - b1002 * x1098 ] <= 0 e1130: [ x79^2 - b1002 * x1099 ] <= 0 e1131: [ x80^2 - b1002 * x1100 ] <= 0 e1132: [ x81^2 - b1002 * x1101 ] <= 0 e1133: [ x82^2 - b1002 * x1102 ] <= 0 e1134: [ x83^2 - b1002 * x1103 ] <= 0 e1135: [ x84^2 - b1002 * x1104 ] <= 0 e1136: [ x85^2 - b1002 * x1105 ] <= 0 e1137: [ x86^2 - b1002 * x1106 ] <= 0 e1138: [ x87^2 - b1002 * x1107 ] <= 0 e1139: [ x88^2 - b1002 * x1108 ] <= 0 e1140: [ x89^2 - b1002 * x1109 ] <= 0 e1141: [ x90^2 - b1002 * x1110 ] <= 0 e1142: [ x91^2 - b1002 * x1111 ] <= 0 e1143: [ x92^2 - b1002 * x1112 ] <= 0 e1144: [ x93^2 - b1002 * x1113 ] <= 0 e1145: [ x94^2 - b1002 * x1114 ] <= 0 e1146: [ x95^2 - b1002 * x1115 ] <= 0 e1147: [ x96^2 - b1002 * x1116 ] <= 0 e1148: [ x97^2 - b1002 * x1117 ] <= 0 e1149: [ x98^2 - b1002 * x1118 ] <= 0 e1150: [ x99^2 - b1002 * x1119 ] <= 0 e1151: [ x100^2 - b1002 * x1120 ] <= 0 e1152: [ x101^2 - b1003 * x1121 ] <= 0 e1153: [ x102^2 - b1003 * x1122 ] <= 0 e1154: [ x103^2 - b1003 * x1123 ] <= 0 e1155: [ x104^2 - b1003 * x1124 ] <= 0 e1156: [ x105^2 - b1003 * x1125 ] <= 0 e1157: [ x106^2 - b1003 * x1126 ] <= 0 e1158: [ x107^2 - b1003 * x1127 ] <= 0 e1159: [ x108^2 - b1003 * x1128 ] <= 0 e1160: [ x109^2 - b1003 * x1129 ] <= 0 e1161: [ x110^2 - b1003 * x1130 ] <= 0 e1162: [ x111^2 - b1003 * x1131 ] <= 0 e1163: [ x112^2 - b1003 * x1132 ] <= 0 e1164: [ x113^2 - b1003 * x1133 ] <= 0 e1165: [ x114^2 - b1003 * x1134 ] <= 0 e1166: [ x115^2 - b1003 * x1135 ] <= 0 e1167: [ x116^2 - b1003 * x1136 ] <= 0 e1168: [ x117^2 - b1003 * x1137 ] <= 0 e1169: [ x118^2 - b1003 * x1138 ] <= 0 e1170: [ x119^2 - b1003 * x1139 ] <= 0 e1171: [ x120^2 - b1003 * x1140 ] <= 0 e1172: [ x121^2 - b1003 * x1141 ] <= 0 e1173: [ x122^2 - b1003 * x1142 ] <= 0 e1174: [ x123^2 - b1003 * x1143 ] <= 0 e1175: [ x124^2 - b1003 * x1144 ] <= 0 e1176: [ x125^2 - b1003 * x1145 ] <= 0 e1177: [ x126^2 - b1003 * x1146 ] <= 0 e1178: [ x127^2 - b1003 * x1147 ] <= 0 e1179: [ x128^2 - b1003 * x1148 ] <= 0 e1180: [ x129^2 - b1003 * x1149 ] <= 0 e1181: [ x130^2 - b1003 * x1150 ] <= 0 e1182: [ x131^2 - b1003 * x1151 ] <= 0 e1183: [ x132^2 - b1003 * x1152 ] <= 0 e1184: [ x133^2 - b1003 * x1153 ] <= 0 e1185: [ x134^2 - b1003 * x1154 ] <= 0 e1186: [ x135^2 - b1003 * x1155 ] <= 0 e1187: [ x136^2 - b1003 * x1156 ] <= 0 e1188: [ x137^2 - b1003 * x1157 ] <= 0 e1189: [ x138^2 - b1003 * x1158 ] <= 0 e1190: [ x139^2 - b1003 * x1159 ] <= 0 e1191: [ x140^2 - b1003 * x1160 ] <= 0 e1192: [ x141^2 - b1003 * x1161 ] <= 0 e1193: [ x142^2 - b1003 * x1162 ] <= 0 e1194: [ x143^2 - b1003 * x1163 ] <= 0 e1195: [ x144^2 - b1003 * x1164 ] <= 0 e1196: [ x145^2 - b1003 * x1165 ] <= 0 e1197: [ x146^2 - b1003 * x1166 ] <= 0 e1198: [ x147^2 - b1003 * x1167 ] <= 0 e1199: [ x148^2 - b1003 * x1168 ] <= 0 e1200: [ x149^2 - b1003 * x1169 ] <= 0 e1201: [ x150^2 - b1003 * x1170 ] <= 0 e1202: [ x151^2 - b1004 * x1171 ] <= 0 e1203: [ x152^2 - b1004 * x1172 ] <= 0 e1204: [ x153^2 - b1004 * x1173 ] <= 0 e1205: [ x154^2 - b1004 * x1174 ] <= 0 e1206: [ x155^2 - b1004 * x1175 ] <= 0 e1207: [ x156^2 - b1004 * x1176 ] <= 0 e1208: [ x157^2 - b1004 * x1177 ] <= 0 e1209: [ x158^2 - b1004 * x1178 ] <= 0 e1210: [ x159^2 - b1004 * x1179 ] <= 0 e1211: [ x160^2 - b1004 * x1180 ] <= 0 e1212: [ x161^2 - b1004 * x1181 ] <= 0 e1213: [ x162^2 - b1004 * x1182 ] <= 0 e1214: [ x163^2 - b1004 * x1183 ] <= 0 e1215: [ x164^2 - b1004 * x1184 ] <= 0 e1216: [ x165^2 - b1004 * x1185 ] <= 0 e1217: [ x166^2 - b1004 * x1186 ] <= 0 e1218: [ x167^2 - b1004 * x1187 ] <= 0 e1219: [ x168^2 - b1004 * x1188 ] <= 0 e1220: [ x169^2 - b1004 * x1189 ] <= 0 e1221: [ x170^2 - b1004 * x1190 ] <= 0 e1222: [ x171^2 - b1004 * x1191 ] <= 0 e1223: [ x172^2 - b1004 * x1192 ] <= 0 e1224: [ x173^2 - b1004 * x1193 ] <= 0 e1225: [ x174^2 - b1004 * x1194 ] <= 0 e1226: [ x175^2 - b1004 * x1195 ] <= 0 e1227: [ x176^2 - b1004 * x1196 ] <= 0 e1228: [ x177^2 - b1004 * x1197 ] <= 0 e1229: [ x178^2 - b1004 * x1198 ] <= 0 e1230: [ x179^2 - b1004 * x1199 ] <= 0 e1231: [ x180^2 - b1004 * x1200 ] <= 0 e1232: [ x181^2 - b1004 * x1201 ] <= 0 e1233: [ x182^2 - b1004 * x1202 ] <= 0 e1234: [ x183^2 - b1004 * x1203 ] <= 0 e1235: [ x184^2 - b1004 * x1204 ] <= 0 e1236: [ x185^2 - b1004 * x1205 ] <= 0 e1237: [ x186^2 - b1004 * x1206 ] <= 0 e1238: [ x187^2 - b1004 * x1207 ] <= 0 e1239: [ x188^2 - b1004 * x1208 ] <= 0 e1240: [ x189^2 - b1004 * x1209 ] <= 0 e1241: [ x190^2 - b1004 * x1210 ] <= 0 e1242: [ x191^2 - b1004 * x1211 ] <= 0 e1243: [ x192^2 - b1004 * x1212 ] <= 0 e1244: [ x193^2 - b1004 * x1213 ] <= 0 e1245: [ x194^2 - b1004 * x1214 ] <= 0 e1246: [ x195^2 - b1004 * x1215 ] <= 0 e1247: [ x196^2 - b1004 * x1216 ] <= 0 e1248: [ x197^2 - b1004 * x1217 ] <= 0 e1249: [ x198^2 - b1004 * x1218 ] <= 0 e1250: [ x199^2 - b1004 * x1219 ] <= 0 e1251: [ x200^2 - b1004 * x1220 ] <= 0 e1252: [ x201^2 - b1005 * x1221 ] <= 0 e1253: [ x202^2 - b1005 * x1222 ] <= 0 e1254: [ x203^2 - b1005 * x1223 ] <= 0 e1255: [ x204^2 - b1005 * x1224 ] <= 0 e1256: [ x205^2 - b1005 * x1225 ] <= 0 e1257: [ x206^2 - b1005 * x1226 ] <= 0 e1258: [ x207^2 - b1005 * x1227 ] <= 0 e1259: [ x208^2 - b1005 * x1228 ] <= 0 e1260: [ x209^2 - b1005 * x1229 ] <= 0 e1261: [ x210^2 - b1005 * x1230 ] <= 0 e1262: [ x211^2 - b1005 * x1231 ] <= 0 e1263: [ x212^2 - b1005 * x1232 ] <= 0 e1264: [ x213^2 - b1005 * x1233 ] <= 0 e1265: [ x214^2 - b1005 * x1234 ] <= 0 e1266: [ x215^2 - b1005 * x1235 ] <= 0 e1267: [ x216^2 - b1005 * x1236 ] <= 0 e1268: [ x217^2 - b1005 * x1237 ] <= 0 e1269: [ x218^2 - b1005 * x1238 ] <= 0 e1270: [ x219^2 - b1005 * x1239 ] <= 0 e1271: [ x220^2 - b1005 * x1240 ] <= 0 e1272: [ x221^2 - b1005 * x1241 ] <= 0 e1273: [ x222^2 - b1005 * x1242 ] <= 0 e1274: [ x223^2 - b1005 * x1243 ] <= 0 e1275: [ x224^2 - b1005 * x1244 ] <= 0 e1276: [ x225^2 - b1005 * x1245 ] <= 0 e1277: [ x226^2 - b1005 * x1246 ] <= 0 e1278: [ x227^2 - b1005 * x1247 ] <= 0 e1279: [ x228^2 - b1005 * x1248 ] <= 0 e1280: [ x229^2 - b1005 * x1249 ] <= 0 e1281: [ x230^2 - b1005 * x1250 ] <= 0 e1282: [ x231^2 - b1005 * x1251 ] <= 0 e1283: [ x232^2 - b1005 * x1252 ] <= 0 e1284: [ x233^2 - b1005 * x1253 ] <= 0 e1285: [ x234^2 - b1005 * x1254 ] <= 0 e1286: [ x235^2 - b1005 * x1255 ] <= 0 e1287: [ x236^2 - b1005 * x1256 ] <= 0 e1288: [ x237^2 - b1005 * x1257 ] <= 0 e1289: [ x238^2 - b1005 * x1258 ] <= 0 e1290: [ x239^2 - b1005 * x1259 ] <= 0 e1291: [ x240^2 - b1005 * x1260 ] <= 0 e1292: [ x241^2 - b1005 * x1261 ] <= 0 e1293: [ x242^2 - b1005 * x1262 ] <= 0 e1294: [ x243^2 - b1005 * x1263 ] <= 0 e1295: [ x244^2 - b1005 * x1264 ] <= 0 e1296: [ x245^2 - b1005 * x1265 ] <= 0 e1297: [ x246^2 - b1005 * x1266 ] <= 0 e1298: [ x247^2 - b1005 * x1267 ] <= 0 e1299: [ x248^2 - b1005 * x1268 ] <= 0 e1300: [ x249^2 - b1005 * x1269 ] <= 0 e1301: [ x250^2 - b1005 * x1270 ] <= 0 e1302: [ x251^2 - b1006 * x1271 ] <= 0 e1303: [ x252^2 - b1006 * x1272 ] <= 0 e1304: [ x253^2 - b1006 * x1273 ] <= 0 e1305: [ x254^2 - b1006 * x1274 ] <= 0 e1306: [ x255^2 - b1006 * x1275 ] <= 0 e1307: [ x256^2 - b1006 * x1276 ] <= 0 e1308: [ x257^2 - b1006 * x1277 ] <= 0 e1309: [ x258^2 - b1006 * x1278 ] <= 0 e1310: [ x259^2 - b1006 * x1279 ] <= 0 e1311: [ x260^2 - b1006 * x1280 ] <= 0 e1312: [ x261^2 - b1006 * x1281 ] <= 0 e1313: [ x262^2 - b1006 * x1282 ] <= 0 e1314: [ x263^2 - b1006 * x1283 ] <= 0 e1315: [ x264^2 - b1006 * x1284 ] <= 0 e1316: [ x265^2 - b1006 * x1285 ] <= 0 e1317: [ x266^2 - b1006 * x1286 ] <= 0 e1318: [ x267^2 - b1006 * x1287 ] <= 0 e1319: [ x268^2 - b1006 * x1288 ] <= 0 e1320: [ x269^2 - b1006 * x1289 ] <= 0 e1321: [ x270^2 - b1006 * x1290 ] <= 0 e1322: [ x271^2 - b1006 * x1291 ] <= 0 e1323: [ x272^2 - b1006 * x1292 ] <= 0 e1324: [ x273^2 - b1006 * x1293 ] <= 0 e1325: [ x274^2 - b1006 * x1294 ] <= 0 e1326: [ x275^2 - b1006 * x1295 ] <= 0 e1327: [ x276^2 - b1006 * x1296 ] <= 0 e1328: [ x277^2 - b1006 * x1297 ] <= 0 e1329: [ x278^2 - b1006 * x1298 ] <= 0 e1330: [ x279^2 - b1006 * x1299 ] <= 0 e1331: [ x280^2 - b1006 * x1300 ] <= 0 e1332: [ x281^2 - b1006 * x1301 ] <= 0 e1333: [ x282^2 - b1006 * x1302 ] <= 0 e1334: [ x283^2 - b1006 * x1303 ] <= 0 e1335: [ x284^2 - b1006 * x1304 ] <= 0 e1336: [ x285^2 - b1006 * x1305 ] <= 0 e1337: [ x286^2 - b1006 * x1306 ] <= 0 e1338: [ x287^2 - b1006 * x1307 ] <= 0 e1339: [ x288^2 - b1006 * x1308 ] <= 0 e1340: [ x289^2 - b1006 * x1309 ] <= 0 e1341: [ x290^2 - b1006 * x1310 ] <= 0 e1342: [ x291^2 - b1006 * x1311 ] <= 0 e1343: [ x292^2 - b1006 * x1312 ] <= 0 e1344: [ x293^2 - b1006 * x1313 ] <= 0 e1345: [ x294^2 - b1006 * x1314 ] <= 0 e1346: [ x295^2 - b1006 * x1315 ] <= 0 e1347: [ x296^2 - b1006 * x1316 ] <= 0 e1348: [ x297^2 - b1006 * x1317 ] <= 0 e1349: [ x298^2 - b1006 * x1318 ] <= 0 e1350: [ x299^2 - b1006 * x1319 ] <= 0 e1351: [ x300^2 - b1006 * x1320 ] <= 0 e1352: [ x301^2 - b1007 * x1321 ] <= 0 e1353: [ x302^2 - b1007 * x1322 ] <= 0 e1354: [ x303^2 - b1007 * x1323 ] <= 0 e1355: [ x304^2 - b1007 * x1324 ] <= 0 e1356: [ x305^2 - b1007 * x1325 ] <= 0 e1357: [ x306^2 - b1007 * x1326 ] <= 0 e1358: [ x307^2 - b1007 * x1327 ] <= 0 e1359: [ x308^2 - b1007 * x1328 ] <= 0 e1360: [ x309^2 - b1007 * x1329 ] <= 0 e1361: [ x310^2 - b1007 * x1330 ] <= 0 e1362: [ x311^2 - b1007 * x1331 ] <= 0 e1363: [ x312^2 - b1007 * x1332 ] <= 0 e1364: [ x313^2 - b1007 * x1333 ] <= 0 e1365: [ x314^2 - b1007 * x1334 ] <= 0 e1366: [ x315^2 - b1007 * x1335 ] <= 0 e1367: [ x316^2 - b1007 * x1336 ] <= 0 e1368: [ x317^2 - b1007 * x1337 ] <= 0 e1369: [ x318^2 - b1007 * x1338 ] <= 0 e1370: [ x319^2 - b1007 * x1339 ] <= 0 e1371: [ x320^2 - b1007 * x1340 ] <= 0 e1372: [ x321^2 - b1007 * x1341 ] <= 0 e1373: [ x322^2 - b1007 * x1342 ] <= 0 e1374: [ x323^2 - b1007 * x1343 ] <= 0 e1375: [ x324^2 - b1007 * x1344 ] <= 0 e1376: [ x325^2 - b1007 * x1345 ] <= 0 e1377: [ x326^2 - b1007 * x1346 ] <= 0 e1378: [ x327^2 - b1007 * x1347 ] <= 0 e1379: [ x328^2 - b1007 * x1348 ] <= 0 e1380: [ x329^2 - b1007 * x1349 ] <= 0 e1381: [ x330^2 - b1007 * x1350 ] <= 0 e1382: [ x331^2 - b1007 * x1351 ] <= 0 e1383: [ x332^2 - b1007 * x1352 ] <= 0 e1384: [ x333^2 - b1007 * x1353 ] <= 0 e1385: [ x334^2 - b1007 * x1354 ] <= 0 e1386: [ x335^2 - b1007 * x1355 ] <= 0 e1387: [ x336^2 - b1007 * x1356 ] <= 0 e1388: [ x337^2 - b1007 * x1357 ] <= 0 e1389: [ x338^2 - b1007 * x1358 ] <= 0 e1390: [ x339^2 - b1007 * x1359 ] <= 0 e1391: [ x340^2 - b1007 * x1360 ] <= 0 e1392: [ x341^2 - b1007 * x1361 ] <= 0 e1393: [ x342^2 - b1007 * x1362 ] <= 0 e1394: [ x343^2 - b1007 * x1363 ] <= 0 e1395: [ x344^2 - b1007 * x1364 ] <= 0 e1396: [ x345^2 - b1007 * x1365 ] <= 0 e1397: [ x346^2 - b1007 * x1366 ] <= 0 e1398: [ x347^2 - b1007 * x1367 ] <= 0 e1399: [ x348^2 - b1007 * x1368 ] <= 0 e1400: [ x349^2 - b1007 * x1369 ] <= 0 e1401: [ x350^2 - b1007 * x1370 ] <= 0 e1402: [ x351^2 - b1008 * x1371 ] <= 0 e1403: [ x352^2 - b1008 * x1372 ] <= 0 e1404: [ x353^2 - b1008 * x1373 ] <= 0 e1405: [ x354^2 - b1008 * x1374 ] <= 0 e1406: [ x355^2 - b1008 * x1375 ] <= 0 e1407: [ x356^2 - b1008 * x1376 ] <= 0 e1408: [ x357^2 - b1008 * x1377 ] <= 0 e1409: [ x358^2 - b1008 * x1378 ] <= 0 e1410: [ x359^2 - b1008 * x1379 ] <= 0 e1411: [ x360^2 - b1008 * x1380 ] <= 0 e1412: [ x361^2 - b1008 * x1381 ] <= 0 e1413: [ x362^2 - b1008 * x1382 ] <= 0 e1414: [ x363^2 - b1008 * x1383 ] <= 0 e1415: [ x364^2 - b1008 * x1384 ] <= 0 e1416: [ x365^2 - b1008 * x1385 ] <= 0 e1417: [ x366^2 - b1008 * x1386 ] <= 0 e1418: [ x367^2 - b1008 * x1387 ] <= 0 e1419: [ x368^2 - b1008 * x1388 ] <= 0 e1420: [ x369^2 - b1008 * x1389 ] <= 0 e1421: [ x370^2 - b1008 * x1390 ] <= 0 e1422: [ x371^2 - b1008 * x1391 ] <= 0 e1423: [ x372^2 - b1008 * x1392 ] <= 0 e1424: [ x373^2 - b1008 * x1393 ] <= 0 e1425: [ x374^2 - b1008 * x1394 ] <= 0 e1426: [ x375^2 - b1008 * x1395 ] <= 0 e1427: [ x376^2 - b1008 * x1396 ] <= 0 e1428: [ x377^2 - b1008 * x1397 ] <= 0 e1429: [ x378^2 - b1008 * x1398 ] <= 0 e1430: [ x379^2 - b1008 * x1399 ] <= 0 e1431: [ x380^2 - b1008 * x1400 ] <= 0 e1432: [ x381^2 - b1008 * x1401 ] <= 0 e1433: [ x382^2 - b1008 * x1402 ] <= 0 e1434: [ x383^2 - b1008 * x1403 ] <= 0 e1435: [ x384^2 - b1008 * x1404 ] <= 0 e1436: [ x385^2 - b1008 * x1405 ] <= 0 e1437: [ x386^2 - b1008 * x1406 ] <= 0 e1438: [ x387^2 - b1008 * x1407 ] <= 0 e1439: [ x388^2 - b1008 * x1408 ] <= 0 e1440: [ x389^2 - b1008 * x1409 ] <= 0 e1441: [ x390^2 - b1008 * x1410 ] <= 0 e1442: [ x391^2 - b1008 * x1411 ] <= 0 e1443: [ x392^2 - b1008 * x1412 ] <= 0 e1444: [ x393^2 - b1008 * x1413 ] <= 0 e1445: [ x394^2 - b1008 * x1414 ] <= 0 e1446: [ x395^2 - b1008 * x1415 ] <= 0 e1447: [ x396^2 - b1008 * x1416 ] <= 0 e1448: [ x397^2 - b1008 * x1417 ] <= 0 e1449: [ x398^2 - b1008 * x1418 ] <= 0 e1450: [ x399^2 - b1008 * x1419 ] <= 0 e1451: [ x400^2 - b1008 * x1420 ] <= 0 e1452: [ x401^2 - b1009 * x1421 ] <= 0 e1453: [ x402^2 - b1009 * x1422 ] <= 0 e1454: [ x403^2 - b1009 * x1423 ] <= 0 e1455: [ x404^2 - b1009 * x1424 ] <= 0 e1456: [ x405^2 - b1009 * x1425 ] <= 0 e1457: [ x406^2 - b1009 * x1426 ] <= 0 e1458: [ x407^2 - b1009 * x1427 ] <= 0 e1459: [ x408^2 - b1009 * x1428 ] <= 0 e1460: [ x409^2 - b1009 * x1429 ] <= 0 e1461: [ x410^2 - b1009 * x1430 ] <= 0 e1462: [ x411^2 - b1009 * x1431 ] <= 0 e1463: [ x412^2 - b1009 * x1432 ] <= 0 e1464: [ x413^2 - b1009 * x1433 ] <= 0 e1465: [ x414^2 - b1009 * x1434 ] <= 0 e1466: [ x415^2 - b1009 * x1435 ] <= 0 e1467: [ x416^2 - b1009 * x1436 ] <= 0 e1468: [ x417^2 - b1009 * x1437 ] <= 0 e1469: [ x418^2 - b1009 * x1438 ] <= 0 e1470: [ x419^2 - b1009 * x1439 ] <= 0 e1471: [ x420^2 - b1009 * x1440 ] <= 0 e1472: [ x421^2 - b1009 * x1441 ] <= 0 e1473: [ x422^2 - b1009 * x1442 ] <= 0 e1474: [ x423^2 - b1009 * x1443 ] <= 0 e1475: [ x424^2 - b1009 * x1444 ] <= 0 e1476: [ x425^2 - b1009 * x1445 ] <= 0 e1477: [ x426^2 - b1009 * x1446 ] <= 0 e1478: [ x427^2 - b1009 * x1447 ] <= 0 e1479: [ x428^2 - b1009 * x1448 ] <= 0 e1480: [ x429^2 - b1009 * x1449 ] <= 0 e1481: [ x430^2 - b1009 * x1450 ] <= 0 e1482: [ x431^2 - b1009 * x1451 ] <= 0 e1483: [ x432^2 - b1009 * x1452 ] <= 0 e1484: [ x433^2 - b1009 * x1453 ] <= 0 e1485: [ x434^2 - b1009 * x1454 ] <= 0 e1486: [ x435^2 - b1009 * x1455 ] <= 0 e1487: [ x436^2 - b1009 * x1456 ] <= 0 e1488: [ x437^2 - b1009 * x1457 ] <= 0 e1489: [ x438^2 - b1009 * x1458 ] <= 0 e1490: [ x439^2 - b1009 * x1459 ] <= 0 e1491: [ x440^2 - b1009 * x1460 ] <= 0 e1492: [ x441^2 - b1009 * x1461 ] <= 0 e1493: [ x442^2 - b1009 * x1462 ] <= 0 e1494: [ x443^2 - b1009 * x1463 ] <= 0 e1495: [ x444^2 - b1009 * x1464 ] <= 0 e1496: [ x445^2 - b1009 * x1465 ] <= 0 e1497: [ x446^2 - b1009 * x1466 ] <= 0 e1498: [ x447^2 - b1009 * x1467 ] <= 0 e1499: [ x448^2 - b1009 * x1468 ] <= 0 e1500: [ x449^2 - b1009 * x1469 ] <= 0 e1501: [ x450^2 - b1009 * x1470 ] <= 0 e1502: [ x451^2 - b1010 * x1471 ] <= 0 e1503: [ x452^2 - b1010 * x1472 ] <= 0 e1504: [ x453^2 - b1010 * x1473 ] <= 0 e1505: [ x454^2 - b1010 * x1474 ] <= 0 e1506: [ x455^2 - b1010 * x1475 ] <= 0 e1507: [ x456^2 - b1010 * x1476 ] <= 0 e1508: [ x457^2 - b1010 * x1477 ] <= 0 e1509: [ x458^2 - b1010 * x1478 ] <= 0 e1510: [ x459^2 - b1010 * x1479 ] <= 0 e1511: [ x460^2 - b1010 * x1480 ] <= 0 e1512: [ x461^2 - b1010 * x1481 ] <= 0 e1513: [ x462^2 - b1010 * x1482 ] <= 0 e1514: [ x463^2 - b1010 * x1483 ] <= 0 e1515: [ x464^2 - b1010 * x1484 ] <= 0 e1516: [ x465^2 - b1010 * x1485 ] <= 0 e1517: [ x466^2 - b1010 * x1486 ] <= 0 e1518: [ x467^2 - b1010 * x1487 ] <= 0 e1519: [ x468^2 - b1010 * x1488 ] <= 0 e1520: [ x469^2 - b1010 * x1489 ] <= 0 e1521: [ x470^2 - b1010 * x1490 ] <= 0 e1522: [ x471^2 - b1010 * x1491 ] <= 0 e1523: [ x472^2 - b1010 * x1492 ] <= 0 e1524: [ x473^2 - b1010 * x1493 ] <= 0 e1525: [ x474^2 - b1010 * x1494 ] <= 0 e1526: [ x475^2 - b1010 * x1495 ] <= 0 e1527: [ x476^2 - b1010 * x1496 ] <= 0 e1528: [ x477^2 - b1010 * x1497 ] <= 0 e1529: [ x478^2 - b1010 * x1498 ] <= 0 e1530: [ x479^2 - b1010 * x1499 ] <= 0 e1531: [ x480^2 - b1010 * x1500 ] <= 0 e1532: [ x481^2 - b1010 * x1501 ] <= 0 e1533: [ x482^2 - b1010 * x1502 ] <= 0 e1534: [ x483^2 - b1010 * x1503 ] <= 0 e1535: [ x484^2 - b1010 * x1504 ] <= 0 e1536: [ x485^2 - b1010 * x1505 ] <= 0 e1537: [ x486^2 - b1010 * x1506 ] <= 0 e1538: [ x487^2 - b1010 * x1507 ] <= 0 e1539: [ x488^2 - b1010 * x1508 ] <= 0 e1540: [ x489^2 - b1010 * x1509 ] <= 0 e1541: [ x490^2 - b1010 * x1510 ] <= 0 e1542: [ x491^2 - b1010 * x1511 ] <= 0 e1543: [ x492^2 - b1010 * x1512 ] <= 0 e1544: [ x493^2 - b1010 * x1513 ] <= 0 e1545: [ x494^2 - b1010 * x1514 ] <= 0 e1546: [ x495^2 - b1010 * x1515 ] <= 0 e1547: [ x496^2 - b1010 * x1516 ] <= 0 e1548: [ x497^2 - b1010 * x1517 ] <= 0 e1549: [ x498^2 - b1010 * x1518 ] <= 0 e1550: [ x499^2 - b1010 * x1519 ] <= 0 e1551: [ x500^2 - b1010 * x1520 ] <= 0 e1552: [ x501^2 - b1011 * x1521 ] <= 0 e1553: [ x502^2 - b1011 * x1522 ] <= 0 e1554: [ x503^2 - b1011 * x1523 ] <= 0 e1555: [ x504^2 - b1011 * x1524 ] <= 0 e1556: [ x505^2 - b1011 * x1525 ] <= 0 e1557: [ x506^2 - b1011 * x1526 ] <= 0 e1558: [ x507^2 - b1011 * x1527 ] <= 0 e1559: [ x508^2 - b1011 * x1528 ] <= 0 e1560: [ x509^2 - b1011 * x1529 ] <= 0 e1561: [ x510^2 - b1011 * x1530 ] <= 0 e1562: [ x511^2 - b1011 * x1531 ] <= 0 e1563: [ x512^2 - b1011 * x1532 ] <= 0 e1564: [ x513^2 - b1011 * x1533 ] <= 0 e1565: [ x514^2 - b1011 * x1534 ] <= 0 e1566: [ x515^2 - b1011 * x1535 ] <= 0 e1567: [ x516^2 - b1011 * x1536 ] <= 0 e1568: [ x517^2 - b1011 * x1537 ] <= 0 e1569: [ x518^2 - b1011 * x1538 ] <= 0 e1570: [ x519^2 - b1011 * x1539 ] <= 0 e1571: [ x520^2 - b1011 * x1540 ] <= 0 e1572: [ x521^2 - b1011 * x1541 ] <= 0 e1573: [ x522^2 - b1011 * x1542 ] <= 0 e1574: [ x523^2 - b1011 * x1543 ] <= 0 e1575: [ x524^2 - b1011 * x1544 ] <= 0 e1576: [ x525^2 - b1011 * x1545 ] <= 0 e1577: [ x526^2 - b1011 * x1546 ] <= 0 e1578: [ x527^2 - b1011 * x1547 ] <= 0 e1579: [ x528^2 - b1011 * x1548 ] <= 0 e1580: [ x529^2 - b1011 * x1549 ] <= 0 e1581: [ x530^2 - b1011 * x1550 ] <= 0 e1582: [ x531^2 - b1011 * x1551 ] <= 0 e1583: [ x532^2 - b1011 * x1552 ] <= 0 e1584: [ x533^2 - b1011 * x1553 ] <= 0 e1585: [ x534^2 - b1011 * x1554 ] <= 0 e1586: [ x535^2 - b1011 * x1555 ] <= 0 e1587: [ x536^2 - b1011 * x1556 ] <= 0 e1588: [ x537^2 - b1011 * x1557 ] <= 0 e1589: [ x538^2 - b1011 * x1558 ] <= 0 e1590: [ x539^2 - b1011 * x1559 ] <= 0 e1591: [ x540^2 - b1011 * x1560 ] <= 0 e1592: [ x541^2 - b1011 * x1561 ] <= 0 e1593: [ x542^2 - b1011 * x1562 ] <= 0 e1594: [ x543^2 - b1011 * x1563 ] <= 0 e1595: [ x544^2 - b1011 * x1564 ] <= 0 e1596: [ x545^2 - b1011 * x1565 ] <= 0 e1597: [ x546^2 - b1011 * x1566 ] <= 0 e1598: [ x547^2 - b1011 * x1567 ] <= 0 e1599: [ x548^2 - b1011 * x1568 ] <= 0 e1600: [ x549^2 - b1011 * x1569 ] <= 0 e1601: [ x550^2 - b1011 * x1570 ] <= 0 e1602: [ x551^2 - b1012 * x1571 ] <= 0 e1603: [ x552^2 - b1012 * x1572 ] <= 0 e1604: [ x553^2 - b1012 * x1573 ] <= 0 e1605: [ x554^2 - b1012 * x1574 ] <= 0 e1606: [ x555^2 - b1012 * x1575 ] <= 0 e1607: [ x556^2 - b1012 * x1576 ] <= 0 e1608: [ x557^2 - b1012 * x1577 ] <= 0 e1609: [ x558^2 - b1012 * x1578 ] <= 0 e1610: [ x559^2 - b1012 * x1579 ] <= 0 e1611: [ x560^2 - b1012 * x1580 ] <= 0 e1612: [ x561^2 - b1012 * x1581 ] <= 0 e1613: [ x562^2 - b1012 * x1582 ] <= 0 e1614: [ x563^2 - b1012 * x1583 ] <= 0 e1615: [ x564^2 - b1012 * x1584 ] <= 0 e1616: [ x565^2 - b1012 * x1585 ] <= 0 e1617: [ x566^2 - b1012 * x1586 ] <= 0 e1618: [ x567^2 - b1012 * x1587 ] <= 0 e1619: [ x568^2 - b1012 * x1588 ] <= 0 e1620: [ x569^2 - b1012 * x1589 ] <= 0 e1621: [ x570^2 - b1012 * x1590 ] <= 0 e1622: [ x571^2 - b1012 * x1591 ] <= 0 e1623: [ x572^2 - b1012 * x1592 ] <= 0 e1624: [ x573^2 - b1012 * x1593 ] <= 0 e1625: [ x574^2 - b1012 * x1594 ] <= 0 e1626: [ x575^2 - b1012 * x1595 ] <= 0 e1627: [ x576^2 - b1012 * x1596 ] <= 0 e1628: [ x577^2 - b1012 * x1597 ] <= 0 e1629: [ x578^2 - b1012 * x1598 ] <= 0 e1630: [ x579^2 - b1012 * x1599 ] <= 0 e1631: [ x580^2 - b1012 * x1600 ] <= 0 e1632: [ x581^2 - b1012 * x1601 ] <= 0 e1633: [ x582^2 - b1012 * x1602 ] <= 0 e1634: [ x583^2 - b1012 * x1603 ] <= 0 e1635: [ x584^2 - b1012 * x1604 ] <= 0 e1636: [ x585^2 - b1012 * x1605 ] <= 0 e1637: [ x586^2 - b1012 * x1606 ] <= 0 e1638: [ x587^2 - b1012 * x1607 ] <= 0 e1639: [ x588^2 - b1012 * x1608 ] <= 0 e1640: [ x589^2 - b1012 * x1609 ] <= 0 e1641: [ x590^2 - b1012 * x1610 ] <= 0 e1642: [ x591^2 - b1012 * x1611 ] <= 0 e1643: [ x592^2 - b1012 * x1612 ] <= 0 e1644: [ x593^2 - b1012 * x1613 ] <= 0 e1645: [ x594^2 - b1012 * x1614 ] <= 0 e1646: [ x595^2 - b1012 * x1615 ] <= 0 e1647: [ x596^2 - b1012 * x1616 ] <= 0 e1648: [ x597^2 - b1012 * x1617 ] <= 0 e1649: [ x598^2 - b1012 * x1618 ] <= 0 e1650: [ x599^2 - b1012 * x1619 ] <= 0 e1651: [ x600^2 - b1012 * x1620 ] <= 0 e1652: [ x601^2 - b1013 * x1621 ] <= 0 e1653: [ x602^2 - b1013 * x1622 ] <= 0 e1654: [ x603^2 - b1013 * x1623 ] <= 0 e1655: [ x604^2 - b1013 * x1624 ] <= 0 e1656: [ x605^2 - b1013 * x1625 ] <= 0 e1657: [ x606^2 - b1013 * x1626 ] <= 0 e1658: [ x607^2 - b1013 * x1627 ] <= 0 e1659: [ x608^2 - b1013 * x1628 ] <= 0 e1660: [ x609^2 - b1013 * x1629 ] <= 0 e1661: [ x610^2 - b1013 * x1630 ] <= 0 e1662: [ x611^2 - b1013 * x1631 ] <= 0 e1663: [ x612^2 - b1013 * x1632 ] <= 0 e1664: [ x613^2 - b1013 * x1633 ] <= 0 e1665: [ x614^2 - b1013 * x1634 ] <= 0 e1666: [ x615^2 - b1013 * x1635 ] <= 0 e1667: [ x616^2 - b1013 * x1636 ] <= 0 e1668: [ x617^2 - b1013 * x1637 ] <= 0 e1669: [ x618^2 - b1013 * x1638 ] <= 0 e1670: [ x619^2 - b1013 * x1639 ] <= 0 e1671: [ x620^2 - b1013 * x1640 ] <= 0 e1672: [ x621^2 - b1013 * x1641 ] <= 0 e1673: [ x622^2 - b1013 * x1642 ] <= 0 e1674: [ x623^2 - b1013 * x1643 ] <= 0 e1675: [ x624^2 - b1013 * x1644 ] <= 0 e1676: [ x625^2 - b1013 * x1645 ] <= 0 e1677: [ x626^2 - b1013 * x1646 ] <= 0 e1678: [ x627^2 - b1013 * x1647 ] <= 0 e1679: [ x628^2 - b1013 * x1648 ] <= 0 e1680: [ x629^2 - b1013 * x1649 ] <= 0 e1681: [ x630^2 - b1013 * x1650 ] <= 0 e1682: [ x631^2 - b1013 * x1651 ] <= 0 e1683: [ x632^2 - b1013 * x1652 ] <= 0 e1684: [ x633^2 - b1013 * x1653 ] <= 0 e1685: [ x634^2 - b1013 * x1654 ] <= 0 e1686: [ x635^2 - b1013 * x1655 ] <= 0 e1687: [ x636^2 - b1013 * x1656 ] <= 0 e1688: [ x637^2 - b1013 * x1657 ] <= 0 e1689: [ x638^2 - b1013 * x1658 ] <= 0 e1690: [ x639^2 - b1013 * x1659 ] <= 0 e1691: [ x640^2 - b1013 * x1660 ] <= 0 e1692: [ x641^2 - b1013 * x1661 ] <= 0 e1693: [ x642^2 - b1013 * x1662 ] <= 0 e1694: [ x643^2 - b1013 * x1663 ] <= 0 e1695: [ x644^2 - b1013 * x1664 ] <= 0 e1696: [ x645^2 - b1013 * x1665 ] <= 0 e1697: [ x646^2 - b1013 * x1666 ] <= 0 e1698: [ x647^2 - b1013 * x1667 ] <= 0 e1699: [ x648^2 - b1013 * x1668 ] <= 0 e1700: [ x649^2 - b1013 * x1669 ] <= 0 e1701: [ x650^2 - b1013 * x1670 ] <= 0 e1702: [ x651^2 - b1014 * x1671 ] <= 0 e1703: [ x652^2 - b1014 * x1672 ] <= 0 e1704: [ x653^2 - b1014 * x1673 ] <= 0 e1705: [ x654^2 - b1014 * x1674 ] <= 0 e1706: [ x655^2 - b1014 * x1675 ] <= 0 e1707: [ x656^2 - b1014 * x1676 ] <= 0 e1708: [ x657^2 - b1014 * x1677 ] <= 0 e1709: [ x658^2 - b1014 * x1678 ] <= 0 e1710: [ x659^2 - b1014 * x1679 ] <= 0 e1711: [ x660^2 - b1014 * x1680 ] <= 0 e1712: [ x661^2 - b1014 * x1681 ] <= 0 e1713: [ x662^2 - b1014 * x1682 ] <= 0 e1714: [ x663^2 - b1014 * x1683 ] <= 0 e1715: [ x664^2 - b1014 * x1684 ] <= 0 e1716: [ x665^2 - b1014 * x1685 ] <= 0 e1717: [ x666^2 - b1014 * x1686 ] <= 0 e1718: [ x667^2 - b1014 * x1687 ] <= 0 e1719: [ x668^2 - b1014 * x1688 ] <= 0 e1720: [ x669^2 - b1014 * x1689 ] <= 0 e1721: [ x670^2 - b1014 * x1690 ] <= 0 e1722: [ x671^2 - b1014 * x1691 ] <= 0 e1723: [ x672^2 - b1014 * x1692 ] <= 0 e1724: [ x673^2 - b1014 * x1693 ] <= 0 e1725: [ x674^2 - b1014 * x1694 ] <= 0 e1726: [ x675^2 - b1014 * x1695 ] <= 0 e1727: [ x676^2 - b1014 * x1696 ] <= 0 e1728: [ x677^2 - b1014 * x1697 ] <= 0 e1729: [ x678^2 - b1014 * x1698 ] <= 0 e1730: [ x679^2 - b1014 * x1699 ] <= 0 e1731: [ x680^2 - b1014 * x1700 ] <= 0 e1732: [ x681^2 - b1014 * x1701 ] <= 0 e1733: [ x682^2 - b1014 * x1702 ] <= 0 e1734: [ x683^2 - b1014 * x1703 ] <= 0 e1735: [ x684^2 - b1014 * x1704 ] <= 0 e1736: [ x685^2 - b1014 * x1705 ] <= 0 e1737: [ x686^2 - b1014 * x1706 ] <= 0 e1738: [ x687^2 - b1014 * x1707 ] <= 0 e1739: [ x688^2 - b1014 * x1708 ] <= 0 e1740: [ x689^2 - b1014 * x1709 ] <= 0 e1741: [ x690^2 - b1014 * x1710 ] <= 0 e1742: [ x691^2 - b1014 * x1711 ] <= 0 e1743: [ x692^2 - b1014 * x1712 ] <= 0 e1744: [ x693^2 - b1014 * x1713 ] <= 0 e1745: [ x694^2 - b1014 * x1714 ] <= 0 e1746: [ x695^2 - b1014 * x1715 ] <= 0 e1747: [ x696^2 - b1014 * x1716 ] <= 0 e1748: [ x697^2 - b1014 * x1717 ] <= 0 e1749: [ x698^2 - b1014 * x1718 ] <= 0 e1750: [ x699^2 - b1014 * x1719 ] <= 0 e1751: [ x700^2 - b1014 * x1720 ] <= 0 e1752: [ x701^2 - b1015 * x1721 ] <= 0 e1753: [ x702^2 - b1015 * x1722 ] <= 0 e1754: [ x703^2 - b1015 * x1723 ] <= 0 e1755: [ x704^2 - b1015 * x1724 ] <= 0 e1756: [ x705^2 - b1015 * x1725 ] <= 0 e1757: [ x706^2 - b1015 * x1726 ] <= 0 e1758: [ x707^2 - b1015 * x1727 ] <= 0 e1759: [ x708^2 - b1015 * x1728 ] <= 0 e1760: [ x709^2 - b1015 * x1729 ] <= 0 e1761: [ x710^2 - b1015 * x1730 ] <= 0 e1762: [ x711^2 - b1015 * x1731 ] <= 0 e1763: [ x712^2 - b1015 * x1732 ] <= 0 e1764: [ x713^2 - b1015 * x1733 ] <= 0 e1765: [ x714^2 - b1015 * x1734 ] <= 0 e1766: [ x715^2 - b1015 * x1735 ] <= 0 e1767: [ x716^2 - b1015 * x1736 ] <= 0 e1768: [ x717^2 - b1015 * x1737 ] <= 0 e1769: [ x718^2 - b1015 * x1738 ] <= 0 e1770: [ x719^2 - b1015 * x1739 ] <= 0 e1771: [ x720^2 - b1015 * x1740 ] <= 0 e1772: [ x721^2 - b1015 * x1741 ] <= 0 e1773: [ x722^2 - b1015 * x1742 ] <= 0 e1774: [ x723^2 - b1015 * x1743 ] <= 0 e1775: [ x724^2 - b1015 * x1744 ] <= 0 e1776: [ x725^2 - b1015 * x1745 ] <= 0 e1777: [ x726^2 - b1015 * x1746 ] <= 0 e1778: [ x727^2 - b1015 * x1747 ] <= 0 e1779: [ x728^2 - b1015 * x1748 ] <= 0 e1780: [ x729^2 - b1015 * x1749 ] <= 0 e1781: [ x730^2 - b1015 * x1750 ] <= 0 e1782: [ x731^2 - b1015 * x1751 ] <= 0 e1783: [ x732^2 - b1015 * x1752 ] <= 0 e1784: [ x733^2 - b1015 * x1753 ] <= 0 e1785: [ x734^2 - b1015 * x1754 ] <= 0 e1786: [ x735^2 - b1015 * x1755 ] <= 0 e1787: [ x736^2 - b1015 * x1756 ] <= 0 e1788: [ x737^2 - b1015 * x1757 ] <= 0 e1789: [ x738^2 - b1015 * x1758 ] <= 0 e1790: [ x739^2 - b1015 * x1759 ] <= 0 e1791: [ x740^2 - b1015 * x1760 ] <= 0 e1792: [ x741^2 - b1015 * x1761 ] <= 0 e1793: [ x742^2 - b1015 * x1762 ] <= 0 e1794: [ x743^2 - b1015 * x1763 ] <= 0 e1795: [ x744^2 - b1015 * x1764 ] <= 0 e1796: [ x745^2 - b1015 * x1765 ] <= 0 e1797: [ x746^2 - b1015 * x1766 ] <= 0 e1798: [ x747^2 - b1015 * x1767 ] <= 0 e1799: [ x748^2 - b1015 * x1768 ] <= 0 e1800: [ x749^2 - b1015 * x1769 ] <= 0 e1801: [ x750^2 - b1015 * x1770 ] <= 0 e1802: [ x751^2 - b1016 * x1771 ] <= 0 e1803: [ x752^2 - b1016 * x1772 ] <= 0 e1804: [ x753^2 - b1016 * x1773 ] <= 0 e1805: [ x754^2 - b1016 * x1774 ] <= 0 e1806: [ x755^2 - b1016 * x1775 ] <= 0 e1807: [ x756^2 - b1016 * x1776 ] <= 0 e1808: [ x757^2 - b1016 * x1777 ] <= 0 e1809: [ x758^2 - b1016 * x1778 ] <= 0 e1810: [ x759^2 - b1016 * x1779 ] <= 0 e1811: [ x760^2 - b1016 * x1780 ] <= 0 e1812: [ x761^2 - b1016 * x1781 ] <= 0 e1813: [ x762^2 - b1016 * x1782 ] <= 0 e1814: [ x763^2 - b1016 * x1783 ] <= 0 e1815: [ x764^2 - b1016 * x1784 ] <= 0 e1816: [ x765^2 - b1016 * x1785 ] <= 0 e1817: [ x766^2 - b1016 * x1786 ] <= 0 e1818: [ x767^2 - b1016 * x1787 ] <= 0 e1819: [ x768^2 - b1016 * x1788 ] <= 0 e1820: [ x769^2 - b1016 * x1789 ] <= 0 e1821: [ x770^2 - b1016 * x1790 ] <= 0 e1822: [ x771^2 - b1016 * x1791 ] <= 0 e1823: [ x772^2 - b1016 * x1792 ] <= 0 e1824: [ x773^2 - b1016 * x1793 ] <= 0 e1825: [ x774^2 - b1016 * x1794 ] <= 0 e1826: [ x775^2 - b1016 * x1795 ] <= 0 e1827: [ x776^2 - b1016 * x1796 ] <= 0 e1828: [ x777^2 - b1016 * x1797 ] <= 0 e1829: [ x778^2 - b1016 * x1798 ] <= 0 e1830: [ x779^2 - b1016 * x1799 ] <= 0 e1831: [ x780^2 - b1016 * x1800 ] <= 0 e1832: [ x781^2 - b1016 * x1801 ] <= 0 e1833: [ x782^2 - b1016 * x1802 ] <= 0 e1834: [ x783^2 - b1016 * x1803 ] <= 0 e1835: [ x784^2 - b1016 * x1804 ] <= 0 e1836: [ x785^2 - b1016 * x1805 ] <= 0 e1837: [ x786^2 - b1016 * x1806 ] <= 0 e1838: [ x787^2 - b1016 * x1807 ] <= 0 e1839: [ x788^2 - b1016 * x1808 ] <= 0 e1840: [ x789^2 - b1016 * x1809 ] <= 0 e1841: [ x790^2 - b1016 * x1810 ] <= 0 e1842: [ x791^2 - b1016 * x1811 ] <= 0 e1843: [ x792^2 - b1016 * x1812 ] <= 0 e1844: [ x793^2 - b1016 * x1813 ] <= 0 e1845: [ x794^2 - b1016 * x1814 ] <= 0 e1846: [ x795^2 - b1016 * x1815 ] <= 0 e1847: [ x796^2 - b1016 * x1816 ] <= 0 e1848: [ x797^2 - b1016 * x1817 ] <= 0 e1849: [ x798^2 - b1016 * x1818 ] <= 0 e1850: [ x799^2 - b1016 * x1819 ] <= 0 e1851: [ x800^2 - b1016 * x1820 ] <= 0 e1852: [ x801^2 - b1017 * x1821 ] <= 0 e1853: [ x802^2 - b1017 * x1822 ] <= 0 e1854: [ x803^2 - b1017 * x1823 ] <= 0 e1855: [ x804^2 - b1017 * x1824 ] <= 0 e1856: [ x805^2 - b1017 * x1825 ] <= 0 e1857: [ x806^2 - b1017 * x1826 ] <= 0 e1858: [ x807^2 - b1017 * x1827 ] <= 0 e1859: [ x808^2 - b1017 * x1828 ] <= 0 e1860: [ x809^2 - b1017 * x1829 ] <= 0 e1861: [ x810^2 - b1017 * x1830 ] <= 0 e1862: [ x811^2 - b1017 * x1831 ] <= 0 e1863: [ x812^2 - b1017 * x1832 ] <= 0 e1864: [ x813^2 - b1017 * x1833 ] <= 0 e1865: [ x814^2 - b1017 * x1834 ] <= 0 e1866: [ x815^2 - b1017 * x1835 ] <= 0 e1867: [ x816^2 - b1017 * x1836 ] <= 0 e1868: [ x817^2 - b1017 * x1837 ] <= 0 e1869: [ x818^2 - b1017 * x1838 ] <= 0 e1870: [ x819^2 - b1017 * x1839 ] <= 0 e1871: [ x820^2 - b1017 * x1840 ] <= 0 e1872: [ x821^2 - b1017 * x1841 ] <= 0 e1873: [ x822^2 - b1017 * x1842 ] <= 0 e1874: [ x823^2 - b1017 * x1843 ] <= 0 e1875: [ x824^2 - b1017 * x1844 ] <= 0 e1876: [ x825^2 - b1017 * x1845 ] <= 0 e1877: [ x826^2 - b1017 * x1846 ] <= 0 e1878: [ x827^2 - b1017 * x1847 ] <= 0 e1879: [ x828^2 - b1017 * x1848 ] <= 0 e1880: [ x829^2 - b1017 * x1849 ] <= 0 e1881: [ x830^2 - b1017 * x1850 ] <= 0 e1882: [ x831^2 - b1017 * x1851 ] <= 0 e1883: [ x832^2 - b1017 * x1852 ] <= 0 e1884: [ x833^2 - b1017 * x1853 ] <= 0 e1885: [ x834^2 - b1017 * x1854 ] <= 0 e1886: [ x835^2 - b1017 * x1855 ] <= 0 e1887: [ x836^2 - b1017 * x1856 ] <= 0 e1888: [ x837^2 - b1017 * x1857 ] <= 0 e1889: [ x838^2 - b1017 * x1858 ] <= 0 e1890: [ x839^2 - b1017 * x1859 ] <= 0 e1891: [ x840^2 - b1017 * x1860 ] <= 0 e1892: [ x841^2 - b1017 * x1861 ] <= 0 e1893: [ x842^2 - b1017 * x1862 ] <= 0 e1894: [ x843^2 - b1017 * x1863 ] <= 0 e1895: [ x844^2 - b1017 * x1864 ] <= 0 e1896: [ x845^2 - b1017 * x1865 ] <= 0 e1897: [ x846^2 - b1017 * x1866 ] <= 0 e1898: [ x847^2 - b1017 * x1867 ] <= 0 e1899: [ x848^2 - b1017 * x1868 ] <= 0 e1900: [ x849^2 - b1017 * x1869 ] <= 0 e1901: [ x850^2 - b1017 * x1870 ] <= 0 e1902: [ x851^2 - b1018 * x1871 ] <= 0 e1903: [ x852^2 - b1018 * x1872 ] <= 0 e1904: [ x853^2 - b1018 * x1873 ] <= 0 e1905: [ x854^2 - b1018 * x1874 ] <= 0 e1906: [ x855^2 - b1018 * x1875 ] <= 0 e1907: [ x856^2 - b1018 * x1876 ] <= 0 e1908: [ x857^2 - b1018 * x1877 ] <= 0 e1909: [ x858^2 - b1018 * x1878 ] <= 0 e1910: [ x859^2 - b1018 * x1879 ] <= 0 e1911: [ x860^2 - b1018 * x1880 ] <= 0 e1912: [ x861^2 - b1018 * x1881 ] <= 0 e1913: [ x862^2 - b1018 * x1882 ] <= 0 e1914: [ x863^2 - b1018 * x1883 ] <= 0 e1915: [ x864^2 - b1018 * x1884 ] <= 0 e1916: [ x865^2 - b1018 * x1885 ] <= 0 e1917: [ x866^2 - b1018 * x1886 ] <= 0 e1918: [ x867^2 - b1018 * x1887 ] <= 0 e1919: [ x868^2 - b1018 * x1888 ] <= 0 e1920: [ x869^2 - b1018 * x1889 ] <= 0 e1921: [ x870^2 - b1018 * x1890 ] <= 0 e1922: [ x871^2 - b1018 * x1891 ] <= 0 e1923: [ x872^2 - b1018 * x1892 ] <= 0 e1924: [ x873^2 - b1018 * x1893 ] <= 0 e1925: [ x874^2 - b1018 * x1894 ] <= 0 e1926: [ x875^2 - b1018 * x1895 ] <= 0 e1927: [ x876^2 - b1018 * x1896 ] <= 0 e1928: [ x877^2 - b1018 * x1897 ] <= 0 e1929: [ x878^2 - b1018 * x1898 ] <= 0 e1930: [ x879^2 - b1018 * x1899 ] <= 0 e1931: [ x880^2 - b1018 * x1900 ] <= 0 e1932: [ x881^2 - b1018 * x1901 ] <= 0 e1933: [ x882^2 - b1018 * x1902 ] <= 0 e1934: [ x883^2 - b1018 * x1903 ] <= 0 e1935: [ x884^2 - b1018 * x1904 ] <= 0 e1936: [ x885^2 - b1018 * x1905 ] <= 0 e1937: [ x886^2 - b1018 * x1906 ] <= 0 e1938: [ x887^2 - b1018 * x1907 ] <= 0 e1939: [ x888^2 - b1018 * x1908 ] <= 0 e1940: [ x889^2 - b1018 * x1909 ] <= 0 e1941: [ x890^2 - b1018 * x1910 ] <= 0 e1942: [ x891^2 - b1018 * x1911 ] <= 0 e1943: [ x892^2 - b1018 * x1912 ] <= 0 e1944: [ x893^2 - b1018 * x1913 ] <= 0 e1945: [ x894^2 - b1018 * x1914 ] <= 0 e1946: [ x895^2 - b1018 * x1915 ] <= 0 e1947: [ x896^2 - b1018 * x1916 ] <= 0 e1948: [ x897^2 - b1018 * x1917 ] <= 0 e1949: [ x898^2 - b1018 * x1918 ] <= 0 e1950: [ x899^2 - b1018 * x1919 ] <= 0 e1951: [ x900^2 - b1018 * x1920 ] <= 0 e1952: [ x901^2 - b1019 * x1921 ] <= 0 e1953: [ x902^2 - b1019 * x1922 ] <= 0 e1954: [ x903^2 - b1019 * x1923 ] <= 0 e1955: [ x904^2 - b1019 * x1924 ] <= 0 e1956: [ x905^2 - b1019 * x1925 ] <= 0 e1957: [ x906^2 - b1019 * x1926 ] <= 0 e1958: [ x907^2 - b1019 * x1927 ] <= 0 e1959: [ x908^2 - b1019 * x1928 ] <= 0 e1960: [ x909^2 - b1019 * x1929 ] <= 0 e1961: [ x910^2 - b1019 * x1930 ] <= 0 e1962: [ x911^2 - b1019 * x1931 ] <= 0 e1963: [ x912^2 - b1019 * x1932 ] <= 0 e1964: [ x913^2 - b1019 * x1933 ] <= 0 e1965: [ x914^2 - b1019 * x1934 ] <= 0 e1966: [ x915^2 - b1019 * x1935 ] <= 0 e1967: [ x916^2 - b1019 * x1936 ] <= 0 e1968: [ x917^2 - b1019 * x1937 ] <= 0 e1969: [ x918^2 - b1019 * x1938 ] <= 0 e1970: [ x919^2 - b1019 * x1939 ] <= 0 e1971: [ x920^2 - b1019 * x1940 ] <= 0 e1972: [ x921^2 - b1019 * x1941 ] <= 0 e1973: [ x922^2 - b1019 * x1942 ] <= 0 e1974: [ x923^2 - b1019 * x1943 ] <= 0 e1975: [ x924^2 - b1019 * x1944 ] <= 0 e1976: [ x925^2 - b1019 * x1945 ] <= 0 e1977: [ x926^2 - b1019 * x1946 ] <= 0 e1978: [ x927^2 - b1019 * x1947 ] <= 0 e1979: [ x928^2 - b1019 * x1948 ] <= 0 e1980: [ x929^2 - b1019 * x1949 ] <= 0 e1981: [ x930^2 - b1019 * x1950 ] <= 0 e1982: [ x931^2 - b1019 * x1951 ] <= 0 e1983: [ x932^2 - b1019 * x1952 ] <= 0 e1984: [ x933^2 - b1019 * x1953 ] <= 0 e1985: [ x934^2 - b1019 * x1954 ] <= 0 e1986: [ x935^2 - b1019 * x1955 ] <= 0 e1987: [ x936^2 - b1019 * x1956 ] <= 0 e1988: [ x937^2 - b1019 * x1957 ] <= 0 e1989: [ x938^2 - b1019 * x1958 ] <= 0 e1990: [ x939^2 - b1019 * x1959 ] <= 0 e1991: [ x940^2 - b1019 * x1960 ] <= 0 e1992: [ x941^2 - b1019 * x1961 ] <= 0 e1993: [ x942^2 - b1019 * x1962 ] <= 0 e1994: [ x943^2 - b1019 * x1963 ] <= 0 e1995: [ x944^2 - b1019 * x1964 ] <= 0 e1996: [ x945^2 - b1019 * x1965 ] <= 0 e1997: [ x946^2 - b1019 * x1966 ] <= 0 e1998: [ x947^2 - b1019 * x1967 ] <= 0 e1999: [ x948^2 - b1019 * x1968 ] <= 0 e2000: [ x949^2 - b1019 * x1969 ] <= 0 e2001: [ x950^2 - b1019 * x1970 ] <= 0 e2002: [ x951^2 - b1020 * x1971 ] <= 0 e2003: [ x952^2 - b1020 * x1972 ] <= 0 e2004: [ x953^2 - b1020 * x1973 ] <= 0 e2005: [ x954^2 - b1020 * x1974 ] <= 0 e2006: [ x955^2 - b1020 * x1975 ] <= 0 e2007: [ x956^2 - b1020 * x1976 ] <= 0 e2008: [ x957^2 - b1020 * x1977 ] <= 0 e2009: [ x958^2 - b1020 * x1978 ] <= 0 e2010: [ x959^2 - b1020 * x1979 ] <= 0 e2011: [ x960^2 - b1020 * x1980 ] <= 0 e2012: [ x961^2 - b1020 * x1981 ] <= 0 e2013: [ x962^2 - b1020 * x1982 ] <= 0 e2014: [ x963^2 - b1020 * x1983 ] <= 0 e2015: [ x964^2 - b1020 * x1984 ] <= 0 e2016: [ x965^2 - b1020 * x1985 ] <= 0 e2017: [ x966^2 - b1020 * x1986 ] <= 0 e2018: [ x967^2 - b1020 * x1987 ] <= 0 e2019: [ x968^2 - b1020 * x1988 ] <= 0 e2020: [ x969^2 - b1020 * x1989 ] <= 0 e2021: [ x970^2 - b1020 * x1990 ] <= 0 e2022: [ x971^2 - b1020 * x1991 ] <= 0 e2023: [ x972^2 - b1020 * x1992 ] <= 0 e2024: [ x973^2 - b1020 * x1993 ] <= 0 e2025: [ x974^2 - b1020 * x1994 ] <= 0 e2026: [ x975^2 - b1020 * x1995 ] <= 0 e2027: [ x976^2 - b1020 * x1996 ] <= 0 e2028: [ x977^2 - b1020 * x1997 ] <= 0 e2029: [ x978^2 - b1020 * x1998 ] <= 0 e2030: [ x979^2 - b1020 * x1999 ] <= 0 e2031: [ x980^2 - b1020 * x2000 ] <= 0 e2032: [ x981^2 - b1020 * x2001 ] <= 0 e2033: [ x982^2 - b1020 * x2002 ] <= 0 e2034: [ x983^2 - b1020 * x2003 ] <= 0 e2035: [ x984^2 - b1020 * x2004 ] <= 0 e2036: [ x985^2 - b1020 * x2005 ] <= 0 e2037: [ x986^2 - b1020 * x2006 ] <= 0 e2038: [ x987^2 - b1020 * x2007 ] <= 0 e2039: [ x988^2 - b1020 * x2008 ] <= 0 e2040: [ x989^2 - b1020 * x2009 ] <= 0 e2041: [ x990^2 - b1020 * x2010 ] <= 0 e2042: [ x991^2 - b1020 * x2011 ] <= 0 e2043: [ x992^2 - b1020 * x2012 ] <= 0 e2044: [ x993^2 - b1020 * x2013 ] <= 0 e2045: [ x994^2 - b1020 * x2014 ] <= 0 e2046: [ x995^2 - b1020 * x2015 ] <= 0 e2047: [ x996^2 - b1020 * x2016 ] <= 0 e2048: [ x997^2 - b1020 * x2017 ] <= 0 e2049: [ x998^2 - b1020 * x2018 ] <= 0 e2050: [ x999^2 - b1020 * x2019 ] <= 0 e2051: [ x1000^2 - b1020 * x2020 ] <= 0 Binary b1001 b1002 b1003 b1004 b1005 b1006 b1007 b1008 b1009 b1010 b1011 b1012 b1013 b1014 b1015 b1016 b1017 b1018 b1019 b1020 End