\ Equation counts \ Total E G L N X C B \ 1040 40 0 1000 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1025 1000 25 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4025 3025 1000 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 + 18 b1021 + 31 b1022 + 17 b1023 + 87 b1024 + 85 b1025 + 15.85873709494 x1^2 + 15.4859574513207 x2^2 + 24.7910280696277 x3^2 + 9.01170757026117 x4^2 + 19.8000711923192 x5^2 + 39.258627218642 x6^2 + 7.27919513186803 x7^2 + 29.3235654671955 x8^2 + 32.6206894138595 x9^2 + 25.8623098498377 x10^2 + 10.6664969552306 x11^2 + 12.9936163228552 x12^2 + 9.37199263307923 x13^2 + 26.6687895469467 x14^2 + 13.0602591041345 x15^2 + 20.7403279938631 x16^2 + 20.1342649633306 x17^2 + 26.8496821813507 x18^2 + 5.59721999465724 x19^2 + 14.1793789431606 x20^2 + 23.2332634149345 x21^2 + 39.5917783120089 x22^2 + 24.2022731880566 x23^2 + 11.4128165983163 x24^2 + 30.4989488383499 x25^2 + 49.0960274416803 x26^2 + 7.31981001480995 x27^2 + 35.3919011599966 x28^2 + 25.3520340737919 x29^2 + 14.8836675987752 x30^2 + 17.253039486452 x31^2 + 11.0292402397946 x32^2 + 18.8456669479321 x33^2 + 30.930722901257 x34^2 + 8.51386858014309 x35^2 + 38.843104775586 x36^2 + 39.2922657642796 x37^2 + 13.8601698882604 x38^2 + 21.7918782854143 x39^2 + 37.4645923297566 x40^2 + 17.432103787405 x41^2 + 24.0146612198417 x42^2 + 19.9238400395424 x43^2 + 28.1349921055539 x44^2 + 9.42546146121066 x45^2 + 30.9256021377933 x46^2 + 25.0086826874714 x47^2 + 19.7263912981483 x48^2 + 15.977096532362 x49^2 + 32.1871593286305 x50^2 + 9.48001405033651 x51^2 + 29.3623476506097 x52^2 + 28.1259450705479 x53^2 + 26.5263749691589 x54^2 + 21.5516558987487 x55^2 + 2.94512321542739 x56^2 + 23.8178246312308 x57^2 + 13.6920445645825 x58^2 + 24.7060521998898 x59^2 + 18.8408814971325 x60^2 + 6.58140992428838 x61^2 + 32.6126959904311 x62^2 + 6.73341391314236 x63^2 + 26.3334480154852 x64^2 + 32.0061733352336 x65^2 + 30.8989372295051 x66^2 + 13.6847286334018 x67^2 + 33.4492216018317 x68^2 + 17.6941957676127 x69^2 + 30.9511157039575 x70^2 + 28.6966811279249 x71^2 + 27.6117358030974 x72^2 + 8.79085937637832 x73^2 + 14.4310391106245 x74^2 + 18.3687130936258 x75^2 + 30.0251005603794 x76^2 + 23.8900885308585 x77^2 + 23.8579039778926 x78^2 + 17.2624085858648 x79^2 + 18.3441899819291 x80^2 + 12.8228415382567 x81^2 + 17.5301983117684 x82^2 + 21.0465344807872 x83^2 + 19.6664495485762 x84^2 + 12.3467364192217 x85^2 + 32.6534324866474 x86^2 + 17.0850720977224 x87^2 + 23.396070705744 x88^2 + 22.425896896619 x89^2 + 27.066204898672 x90^2 + 2.2163077804765 x91^2 + 21.117527510435 x92^2 + 19.5852251049101 x93^2 + 23.8432196729227 x94^2 + 14.8049828629821 x95^2 + 10.0627322873408 x96^2 + 19.1749921999654 x97^2 + 18.9871089214899 x98^2 + 16.2852108272037 x99^2 + 13.096809331283 x100^2 + 12.7702859159984 x101^2 + 33.6680510864555 x102^2 + 13.6358022405838 x103^2 + 18.2800689168326 x104^2 + 28.8876245096212 x105^2 + 38.5671915465638 x106^2 + 6.8409447712086 x107^2 + 31.9944533147011 x108^2 + 18.3021174009491 x109^2 + 22.7951678371829 x110^2 + 21.6281567410287 x111^2 + 19.2954054518749 x112^2 + 11.3167339370969 x113^2 + 20.744178679193 x114^2 + 10.7029784046001 x115^2 + 31.990109101166 x116^2 + 29.6258954196863 x117^2 + 16.886784816363 x118^2 + 17.8875001622482 x119^2 + 26.8213899197922 x120^2 + 22.5588504307807 x121^2 + 24.6748983007288 x122^2 + 54.1843090506801 x123^2 + 42.7194017199022 x124^2 + 43.9289194625778 x125^2 + 9.54612091610135 x126^2 + 45.0765144691425 x127^2 + 54.4505171847317 x128^2 + 27.6735688113905 x129^2 + 18.5402742022279 x130^2 + 32.0577037976333 x131^2 + 35.1578419209251 x132^2 + 40.2669148927282 x133^2 + 11.7912267852098 x134^2 + 26.0597293071913 x135^2 + 32.3553453877359 x136^2 + 18.7566837582771 x137^2 + 48.14451805001 x138^2 + 41.3708416676273 x139^2 + 24.1119623112902 x140^2 + 29.6696540034098 x141^2 + 6.80872578797899 x142^2 + 30.5878664232555 x143^2 + 32.5339563798027 x144^2 + 10.4563661881554 x145^2 + 38.6689653512953 x146^2 + 40.0542062319673 x147^2 + 3.67636007080031 x148^2 + 17.0653482155784 x149^2 + 34.9283385353959 x150^2 + 27.1983664111563 x151^2 + 35.2372208012876 x152^2 + 43.1188486943135 x153^2 + 27.417745226714 x154^2 + 29.8460819215446 x155^2 + 10.5533074360422 x156^2 + 25.1291008296268 x157^2 + 26.5885975477965 x158^2 + 51.2150565765533 x159^2 + 40.0926930251154 x160^2 + 28.6682815199214 x161^2 + 34.3964060903929 x162^2 + 10.6330778331751 x163^2 + 33.2817588613981 x164^2 + 5.15102159674215 x165^2 + 41.9358040097193 x166^2 + 28.336405088054 x167^2 + 8.08114205718025 x168^2 + 24.0348810185096 x169^2 + 43.4216493889671 x170^2 + 18.8950337541919 x171^2 + 37.3439710367771 x172^2 + 34.2572275733803 x173^2 + 38.336963215768 x174^2 + 31.714100725809 x175^2 + 14.1065420522543 x176^2 + 35.1629439173281 x177^2 + 2.02780055611765 x178^2 + 29.8270121091659 x179^2 + 29.614796399289 x180^2 + 17.0877052491158 x181^2 + 43.8744560094024 x182^2 + 16.4789194978524 x183^2 + 34.8504047192064 x184^2 + 43.790321596461 x185^2 + 34.5870449011658 x186^2 + 17.6957972467485 x187^2 + 45.2768974090656 x188^2 + 29.3978732032997 x189^2 + 39.1427834173683 x190^2 + 38.5873765618697 x191^2 + 35.4149159773753 x192^2 + 6.10396056294003 x193^2 + 22.9433161259515 x194^2 + 27.6307123377246 x195^2 + 40.943925163836 x196^2 + 31.9993178809727 x197^2 + 33.8389714561007 x198^2 + 9.4534942126749 x199^2 + 19.4678153255418 x200^2 + 8.53148663284592 x201^2 + 14.4330560206981 x202^2 + 38.6017538586489 x203^2 + 30.310342110747 x204^2 + 28.4704400099712 x205^2 + 15.1943931714564 x206^2 + 31.277814582028 x207^2 + 39.2429420415877 x208^2 + 17.8874829530149 x209^2 + 16.2647888930845 x210^2 + 16.5315683845127 x211^2 + 25.079337224913 x212^2 + 28.41763680445 x213^2 + 7.61385087815192 x214^2 + 14.2430805546906 x215^2 + 17.50034125562 x216^2 + 9.41232262699874 x217^2 + 33.205813762782 x218^2 + 28.183196006716 x219^2 + 10.981769015777 x220^2 + 15.5339073345342 x221^2 + 15.5709003809818 x222^2 + 16.7083889364709 x223^2 + 21.7866519601148 x224^2 + 13.0692466783791 x225^2 + 33.6426655526233 x226^2 + 24.7188436657565 x227^2 + 13.9412605621132 x228^2 + 3.71349302601076 x229^2 + 25.6286476333735 x230^2 + 19.0612209641547 x231^2 + 24.3921636061512 x232^2 + 27.6190763344304 x233^2 + 16.7961298454368 x234^2 + 16.3242775724581 x235^2 + 14.8542053223701 x236^2 + 20.3047947556928 x237^2 + 15.9045890391002 x238^2 + 35.5997944144518 x239^2 + 29.2891437289449 x240^2 + 30.5691056783265 x241^2 + 34.9406511696124 x242^2 + 3.63352191983006 x243^2 + 29.7770361824507 x244^2 + 6.86941933818348 x245^2 + 47.2156171459058 x246^2 + 24.0923714428966 x247^2 + 6.88023202463538 x248^2 + 30.7464112960279 x249^2 + 44.8046775073893 x250^2 + 20.000135796875 x251^2 + 35.5748503988607 x252^2 + 31.3292518243934 x253^2 + 41.2724636668686 x254^2 + 32.1621009415059 x255^2 + 19.1061478925271 x256^2 + 36.9656566172938 x257^2 + 8.11172395609219 x258^2 + 26.547420420639 x259^2 + 30.8554787364286 x260^2 + 22.5834844904571 x261^2 + 48.8651917166942 x262^2 + 22.3084102702848 x263^2 + 33.6345217994665 x264^2 + 46.4995681354986 x265^2 + 42.2086081979252 x266^2 + 15.4767128223564 x267^2 + 48.9648019864834 x268^2 + 33.7242976639851 x269^2 + 37.4566732729811 x270^2 + 38.4336742338658 x271^2 + 33.6073174145092 x272^2 + 7.54606970108967 x273^2 + 29.4801141343668 x274^2 + 27.5270808122461 x275^2 + 46.313880230355 x276^2 + 38.8158786910813 x277^2 + 33.9888603951118 x278^2 + 1.87433040214848 x279^2 + 27.1251060801904 x280^2 + 33.7183235872529 x281^2 + 39.944338683348 x282^2 + 14.2171648522294 x283^2 + 39.6528327922808 x284^2 + 11.5100307784124 x285^2 + 44.1052476970604 x286^2 + 34.6786572707851 x287^2 + 8.65690544004788 x288^2 + 24.7256142924226 x289^2 + 48.494290763223 x290^2 + 24.5705602825127 x291^2 + 43.5274285934319 x292^2 + 40.6023578063459 x293^2 + 42.5896060876007 x294^2 + 37.3347432599835 x295^2 + 17.8407352502245 x296^2 + 40.1343039371184 x297^2 + 4.6953899177731 x298^2 + 36.1955393038803 x299^2 + 34.9533079825385 x300^2 + 20.0203117860101 x301^2 + 46.321225482969 x302^2 + 19.0709187257337 x303^2 + 40.9328143313704 x304^2 + 48.1076694716785 x305^2 + 32.1075233434971 x306^2 + 24.0495066660491 x307^2 + 48.8770908421768 x308^2 + 32.8144238367758 x309^2 + 45.3018960295548 x310^2 + 44.3414210490936 x311^2 + 41.6146181464483 x312^2 + 12.4320433803495 x313^2 + 24.009593268326 x314^2 + 33.4943019453636 x315^2 + 43.0302470939077 x316^2 + 32.1750420321833 x317^2 + 39.5382180721964 x318^2 + 14.2838039913243 x319^2 + 16.9451786723034 x320^2 + 20.3520733593251 x321^2 + 27.6891565058734 x322^2 + 37.5453676558715 x323^2 + 40.492692472829 x324^2 + 27.1942153308677 x325^2 + 15.2126932735314 x326^2 + 39.5636220768665 x327^2 + 35.7520536314214 x328^2 + 5.13084938161838 x329^2 + 30.2698946567206 x330^2 + 22.0957964514375 x331^2 + 37.4642905603458 x332^2 + 39.28996034301 x333^2 + 20.8302005177473 x334^2 + 26.7001839168629 x335^2 + 15.2337486041329 x336^2 + 23.4255439239356 x337^2 + 29.0022594259011 x338^2 + 37.6337470042298 x339^2 + 23.0474476670435 x340^2 + 11.5970014731733 x341^2 + 17.746846708726 x342^2 + 11.6705836190446 x343^2 + 34.0410631558961 x344^2 + 25.5552636666836 x345^2 + 19.5211935864428 x346^2 + 29.8144435348516 x347^2 + 23.1414267584354 x348^2 + 10.4681230153777 x349^2 + 38.3777203201623 x350^2 + 32.6480430915858 x351^2 + 36.3620762451699 x352^2 + 26.7473273401796 x353^2 + 5.25299661042199 x354^2 + 26.8785519982507 x355^2 + 14.0704132531999 x356^2 + 6.93268856643541 x357^2 + 28.7932228572195 x358^2 + 35.1682410385413 x359^2 + 17.5280715058271 x360^2 + 23.5506491265118 x361^2 + 29.8680352344414 x362^2 + 45.4822471301035 x363^2 + 45.0643178169426 x364^2 + 35.0528140566698 x365^2 + 8.17009202762086 x366^2 + 45.0658021492594 x367^2 + 43.8559625376539 x368^2 + 12.7119819222207 x369^2 + 29.597153717664 x370^2 + 28.1463023424461 x371^2 + 40.4961535701296 x372^2 + 43.4398710605761 x373^2 + 19.7522010881267 x374^2 + 29.6128436720655 x375^2 + 22.895882487505 x376^2 + 24.5181634927987 x377^2 + 37.1110392375352 x378^2 + 42.562604262378 x379^2 + 26.1832329149492 x380^2 + 19.3196161052485 x381^2 + 11.0505192775796 x382^2 + 19.5821883904665 x383^2 + 37.1695999271199 x384^2 + 23.1706498007685 x385^2 + 21.5895484497955 x386^2 + 36.3071544960204 x387^2 + 18.8401626719935 x388^2 + 12.7864079975551 x389^2 + 41.0733597224285 x390^2 + 34.3668434650082 x391^2 + 39.7290520626031 x392^2 + 34.5417416468559 x393^2 + 13.2610032628341 x394^2 + 31.0264646518807 x395^2 + 6.98411460109644 x396^2 + 8.01602061885215 x397^2 + 31.3458104926 x398^2 + 43.0076203024557 x399^2 + 24.4208314894617 x400^2 + 8.28447875906647 x401^2 + 15.076344407317 x402^2 + 36.5037559651769 x403^2 + 29.8942347306887 x404^2 + 26.2959651539596 x405^2 + 16.2233052291774 x406^2 + 30.4057303932437 x407^2 + 36.9992638494163 x408^2 + 16.0924209346491 x409^2 + 18.1317770028744 x410^2 + 14.8777701492016 x411^2 + 25.3596923546686 x412^2 + 28.1867410434432 x413^2 + 9.88817742545542 x414^2 + 14.4526579048929 x415^2 + 15.18356089098 x416^2 + 10.7139238640258 x417^2 + 30.9152220982234 x418^2 + 27.5552139013834 x419^2 + 10.9393644630555 x420^2 + 13.2073537642921 x421^2 + 16.9584044504808 x422^2 + 14.3915586571684 x423^2 + 21.9897267180697 x424^2 + 15.3743953041253 x425^2 + 32.2525415804123 x426^2 + 23.1744842559579 x427^2 + 16.165009718673 x428^2 + 2.52555382157818 x429^2 + 26.0704459062704 x430^2 + 19.9435246435053 x431^2 + 24.5030294462708 x432^2 + 25.4641712750473 x433^2 + 14.8931979233643 x434^2 + 15.8329991248866 x435^2 + 15.7296960711268 x436^2 + 19.2672674789837 x437^2 + 16.3502436808763 x438^2 + 33.5343357979273 x439^2 + 27.1900465663136 x440^2 + 16.0561732386087 x441^2 + 15.7850516602004 x442^2 + 49.7437346536842 x443^2 + 33.8425274448483 x444^2 + 40.1155288061183 x445^2 + 17.1394305362789 x446^2 + 36.9203114357492 x447^2 + 51.1552781831257 x448^2 + 29.5780739868106 x449^2 + 8.6311638970966 x450^2 + 26.5809618701168 x451^2 + 25.6847725078365 x452^2 + 31.2164701215025 x453^2 + 5.22044325213063 x454^2 + 17.6986930624589 x455^2 + 29.9642142199149 x456^2 + 10.4901599373009 x457^2 + 45.4274516197816 x458^2 + 32.9205332175282 x459^2 + 16.7191320117061 x460^2 + 28.205306121441 x461^2 + 15.2628352541469 x462^2 + 29.3903953701323 x463^2 + 23.3336421053067 x464^2 + .631501705468273 x465^2 + 43.630598689691 x466^2 + 33.7636483102572 x467^2 + 6.25033163092142 x468^2 + 15.8816305318479 x469^2 + 25.2891288779213 x470^2 + 17.5532474002431 x471^2 + 25.9759162044846 x472^2 + 39.1837938035095 x473^2 + 28.7691975340928 x474^2 + 22.1267655191191 x475^2 + 17.7110608520263 x476^2 + 29.7088174214176 x477^2 + 17.6958147779488 x478^2 + 46.6183329215534 x479^2 + 41.5673978717087 x480^2 + 1.7824346321941 x481^2 + 5.93939591730578 x482^2 + 34.3601610365977 x483^2 + 20.4594457494353 x484^2 + 25.4762965859028 x485^2 + 24.8989067756743 x486^2 + 21.9828753820991 x487^2 + 36.6166347248132 x488^2 + 24.4408317504182 x489^2 + 13.8017736230029 x490^2 + 11.1570389439964 x491^2 + 15.4721164519293 x492^2 + 18.5020925857189 x493^2 + 11.6501263639418 x494^2 + 4.59303624699261 x495^2 + 17.9994425808974 x496^2 + 5.85718799071273 x497^2 + 31.6463191089911 x498^2 + 18.5409631636269 x499^2 + 1.06412760246656 x500^2 + 18.0200429320284 x501^2 + 24.862278059773 x502^2 + 19.3499201662588 x503^2 + 12.0862527798075 x504^2 + 16.0161024397352 x505^2 + 41.2421981556076 x506^2 + 17.7579354018103 x507^2 + 20.3506996578996 x508^2 + 12.4322028427476 x509^2 + 16.2760663054609 x510^2 + 11.035252868989 x511^2 + 14.5965900501085 x512^2 + 24.4718244048202 x513^2 + 22.9500699299151 x514^2 + 6.72470182476368 x515^2 + 24.6639050843953 x516^2 + 28.8969117763139 x517^2 + 6.71163304949276 x518^2 + 31.1855572198764 x519^2 + 33.6915728311035 x520^2 + 22.2839272996248 x521^2 + 21.0249533755797 x522^2 + 24.2563795109779 x523^2 + 7.11630556059231 x524^2 + 22.0575832953985 x525^2 + 45.736193584246 x526^2 + 1.26322480837199 x527^2 + 29.8091724145212 x528^2 + 38.3427792221543 x529^2 + 31.1133087079973 x530^2 + 16.4817005026531 x531^2 + 15.3989454860555 x532^2 + 9.38874399922215 x533^2 + 32.8817658909256 x534^2 + 18.8890491986514 x535^2 + 25.8495915537857 x536^2 + 26.1697748500445 x537^2 + 28.7846593923236 x538^2 + 4.71764330917166 x539^2 + 20.4668896417257 x540^2 + 28.7157424528181 x541^2 + 46.0506348410798 x542^2 + 29.5525121008714 x543^2 + 15.1916570452231 x544^2 + 36.4188953740326 x545^2 + 54.4616377302277 x546^2 + 10.2497194335211 x547^2 + 41.5971985361051 x548^2 + 31.8011237925806 x549^2 + 17.1942608569953 x550^2 + 21.7165252581389 x551^2 + 13.6856985343943 x552^2 + 21.2627306637025 x553^2 + 36.6560828866452 x554^2 + 14.7277784215768 x555^2 + 45.3197841315751 x556^2 + 45.3178047369724 x557^2 + 19.224701647484 x558^2 + 21.6733373138393 x559^2 + 41.973642020798 x560^2 + 15.536309014179 x561^2 + 10.0424757507444 x562^2 + 35.5052238766589 x563^2 + 8.67695664295699 x564^2 + 29.8709753423077 x565^2 + 38.2242180829915 x566^2 + 13.4423584906107 x567^2 + 39.8963513674847 x568^2 + 37.288239516896 x569^2 + 18.5062439318776 x570^2 + 17.5239308448593 x571^2 + 2.41635235792807 x572^2 + 5.84189206494861 x573^2 + 23.020198499049 x574^2 + 9.46285201625545 x575^2 + 27.7268395256692 x576^2 + 16.0805530081445 x577^2 + 36.9081168090376 x578^2 + 9.05086297464973 x579^2 + 12.8603846092396 x580^2 + 29.1828569087017 x581^2 + 37.754760758809 x582^2 + 30.3981821499945 x583^2 + 2.12921356723851 x584^2 + 25.1354783507891 x585^2 + 54.2247123764799 x586^2 + 17.8044301732833 x587^2 + 31.2494181063597 x588^2 + 26.3185913243739 x589^2 + 4.23196409535035 x590^2 + 8.53657289262932 x591^2 + .710122280921266 x592^2 + 28.8652823839065 x593^2 + 35.6762358515414 x594^2 + 9.14306134271263 x595^2 + 38.1304044109513 x596^2 + 42.5365078005895 x597^2 + 8.18091569328524 x598^2 + 32.4946768428118 x599^2 + 44.6689341761178 x600^2 + 20.949439677196 x601^2 + 21.2266059516775 x602^2 + 20.4828868689695 x603^2 + 10.8972891760317 x604^2 + 17.73389516043 x605^2 + 43.7976822066192 x606^2 + 5.58292071626439 x607^2 + 25.7577675898596 x608^2 + 34.8839120619375 x609^2 + 31.6119201559369 x610^2 + 13.4507513282962 x611^2 + 17.7812651476061 x612^2 + 12.6179217202641 x613^2 + 32.0546543788725 x614^2 + 18.7571963165052 x615^2 + 22.0927562585122 x616^2 + 25.7007495479282 x617^2 + 24.4867186066931 x618^2 + 7.750679938096 x619^2 + 19.569951378731 x620^2 + 25.1500195863776 x621^2 + 44.3646261553521 x622^2 + 25.8932797636752 x623^2 + 16.7782083070129 x624^2 + 36.0934509426207 x625^2 + 50.6984138792855 x626^2 + 6.18179323278861 x627^2 + 40.7553026981841 x628^2 + 29.5791088694895 x629^2 + 19.6630207069642 x630^2 + 22.8937723800469 x631^2 + 15.8896482090917 x632^2 + 16.9387394572117 x633^2 + 33.2098156514883 x634^2 + 14.0731211522667 x635^2 + 43.2866134910017 x636^2 + 42.1238086657996 x637^2 + 19.6105256511305 x638^2 + 17.737051489502 x639^2 + 37.8810614436905 x640^2 + 23.4741489154217 x641^2 + 27.9480279666171 x642^2 + 51.1659944055784 x643^2 + 45.1003968963464 x644^2 + 40.6747672365915 x645^2 + .895304226111881 x646^2 + 46.3289526840995 x647^2 + 50.4370572947464 x648^2 + 20.9253264095088 x649^2 + 24.6337003899883 x650^2 + 30.9852499658128 x651^2 + 38.8641080477002 x652^2 + 43.0101552465631 x653^2 + 15.5452523816719 x654^2 + 28.5419146252047 x655^2 + 28.5103677293012 x656^2 + 21.9688770863891 x657^2 + 43.8289844787192 x658^2 + 43.1498130368412 x659^2 + 25.7079135531213 x660^2 + 25.2761576317722 x661^2 + 2.0614430417466 x662^2 + 25.9078613978863 x663^2 + 35.8175343610409 x664^2 + 17.0287057707345 x665^2 + 30.1848336699458 x666^2 + 39.320369864291 x667^2 + 11.2147905428007 x668^2 + 14.4470664822005 x669^2 + 39.0308260518614 x670^2 + 31.599301051752 x671^2 + 38.5223495292928 x672^2 + 40.0031699773442 x673^2 + 21.0665462228007 x674^2 + 31.2737320526469 x675^2 + 2.0198826143416 x676^2 + 16.9800005187323 x677^2 + 29.7220533583314 x678^2 + 48.4176535139783 x679^2 + 33.0992899458276 x680^2 + 15.7418433421109 x681^2 + 11.9750133591007 x682^2 + 49.177305049723 x683^2 + 28.9193320110585 x684^2 + 40.3653286457293 x685^2 + 24.2948796152828 x686^2 + 32.8982041988221 x687^2 + 51.5113291748078 x688^2 + 34.1835244162246 x689^2 + 1.75942134985462 x690^2 + 26.0559525146998 x691^2 + 19.9681418747062 x692^2 + 26.0952965940757 x693^2 + 9.39713448197911 x694^2 + 14.5629339745282 x695^2 + 31.8271135703056 x696^2 + 9.24754295823734 x697^2 + 46.3876699397463 x698^2 + 28.630930551902 x699^2 + 15.1693454146079 x700^2 + 30.8458067192724 x701^2 + 22.5539471800815 x702^2 + 32.1377124148599 x703^2 + 18.243610586164 x704^2 + 6.73800258661172 x705^2 + 49.3753689966603 x706^2 + 31.9845938888442 x707^2 + 13.47393771851 x708^2 + 19.9947967614442 x709^2 + 19.2210094627675 x710^2 + 11.7820301077987 x711^2 + 20.659742696174 x712^2 + 39.366212414098 x713^2 + 33.1149109271541 x714^2 + 19.4401476192124 x715^2 + 24.7756611155053 x716^2 + 35.584526309812 x717^2 + 13.6247870670151 x718^2 + 45.9941793655613 x719^2 + 45.5011011545034 x720^2 + 15.8655402878291 x721^2 + 21.4053342938199 x722^2 + 43.3207243379434 x723^2 + 37.647962816133 x724^2 + 32.8749468579531 x725^2 + 8.13573708500527 x726^2 + 38.4606733605735 x727^2 + 42.9959304168932 x728^2 + 16.0167867197131 x729^2 + 20.7963917243936 x730^2 + 22.8077742659353 x731^2 + 32.2255772679674 x732^2 + 35.7513416140685 x733^2 + 10.9451139284842 x734^2 + 21.4904276691856 x735^2 + 20.8836077455911 x736^2 + 15.810594988328 x737^2 + 36.5290678698153 x738^2 + 35.4778997077447 x739^2 + 18.3133703154916 x740^2 + 17.92184997463 x741^2 + 9.21556013192443 x742^2 + 18.7476667806634 x743^2 + 28.9927094412709 x744^2 + 14.8807669343436 x745^2 + 29.344485967818 x746^2 + 31.1462995302326 x747^2 + 12.1030144506576 x748^2 + 6.26795619026504 x749^2 + 32.6532944877769 x750^2 + 25.6940223321816 x751^2 + 31.6336858637683 x752^2 + 32.1528061976699 x753^2 + 15.5745185351143 x754^2 + 23.6416237688978 x755^2 + 7.62678793867843 x756^2 + 15.4347014755998 x757^2 + 23.0073227365847 x758^2 + 40.4983023200848 x759^2 + 28.3990726275179 x760^2 + 19.8738548185212 x761^2 + 27.4812968761355 x762^2 + 27.678547253191 x763^2 + 35.9054133565961 x764^2 + 17.5183907431126 x765^2 + 24.6815890633134 x766^2 + 33.597696412404 x767^2 + 25.7103804256535 x768^2 + 6.7444270797518 x769^2 + 33.2620388057983 x770^2 + 16.4843150887456 x771^2 + 35.257439581911 x772^2 + 35.3836105217234 x773^2 + 25.3417624505337 x774^2 + 25.6085781791596 x775^2 + 6.69842884938707 x776^2 + 25.1623781242442 x777^2 + 18.9650631103136 x778^2 + 32.6445267475061 x779^2 + 22.1607271419242 x780^2 + 3.92555727473835 x781^2 + 26.9098673411342 x782^2 + 2.890987746835 x783^2 + 31.9338303700591 x784^2 + 30.7605649205474 x785^2 + 22.0408242832945 x786^2 + 22.654544613321 x787^2 + 30.2641905431108 x788^2 + 14.5058039736899 x789^2 + 36.5774149708752 x790^2 + 32.5560392817416 x791^2 + 33.7551691577363 x792^2 + 17.2007785069318 x793^2 + 5.34906958250275 x794^2 + 23.9428428364748 x795^2 + 23.6142615257912 x796^2 + 14.7992032547322 x797^2 + 27.9590331670839 x798^2 + 25.4591421341826 x799^2 + 12.1562056276952 x800^2 + 22.5391488280344 x801^2 + 28.6260329251623 x802^2 + 15.0318053551206 x803^2 + 29.8901194971874 x804^2 + 4.81976560751226 x805^2 + 36.0751048452207 x806^2 + 25.7571580626501 x807^2 + 14.21394446269 x808^2 + 19.4035476370368 x809^2 + 37.3229749834178 x810^2 + 13.2879360377098 x811^2 + 32.6521379178436 x812^2 + 30.402103578231 x813^2 + 32.0217330896693 x814^2 + 26.0190880852574 x815^2 + 7.96526074447434 x816^2 + 29.0086549562042 x817^2 + 8.20235447613806 x818^2 + 26.3871653730996 x819^2 + 23.662909454695 x820^2 + 11.2431348180317 x821^2 + 37.8896541501848 x822^2 + 10.8774250087043 x823^2 + 29.8920038543068 x824^2 + 37.4829467998249 x825^2 + 32.3237884793652 x826^2 + 14.3408225812377 x827^2 + 38.9843696028451 x828^2 + 23.1728205457885 x829^2 + 34.3687185474812 x830^2 + 33.0462766240631 x831^2 + 30.7870339587609 x832^2 + 4.68006991122741 x833^2 + 18.0781855355908 x834^2 + 22.2688100488568 x835^2 + 35.126755221909 x836^2 + 27.4847930383972 x837^2 + 28.2332478316905 x838^2 + 12.7293062300965 x839^2 + 18.1261822727931 x840^2 + 21.647002516268 x841^2 + 27.4729120318841 x842^2 + 46.1559280083446 x843^2 + 43.3843299489969 x844^2 + 35.6596452089362 x845^2 + 5.38946383461867 x846^2 + 43.8225032148237 x847^2 + 45.0041233451666 x848^2 + 14.8623938282391 x849^2 + 26.4755416756613 x850^2 + 27.4094068519561 x851^2 + 38.2600720068874 x852^2 + 41.5962371200313 x853^2 + 16.676598781302 x854^2 + 27.4676746836919 x855^2 + 23.4204995589436 x856^2 + 21.8903919979194 x857^2 + 38.320797540193 x858^2 + 41.0622676945765 x859^2 + 24.186909096681 x860^2 + 19.9948956224521 x861^2 + 8.06997676359708 x862^2 + 20.4731085594172 x863^2 + 34.9988049638227 x864^2 + 19.8319735822435 x865^2 + 25.0090443869957 x866^2 + 35.7087356899226 x867^2 + 15.409902236043 x868^2 + 11.1968863397329 x869^2 + 38.7198223184825 x870^2 + 31.7745887551166 x871^2 + 37.618065761951 x872^2 + 35.0640406984608 x873^2 + 15.0811599709104 x874^2 + 29.3271943364154 x875^2 + 4.23402753891292 x876^2 + 11.3170932063075 x877^2 + 29.0501327429694 x878^2 + 43.5362268136167 x879^2 + 27.0146725774023 x880^2 + 33.7180116136072 x881^2 + 41.1032753031298 x882^2 + 43.9726680953818 x883^2 + 53.1045753419514 x884^2 + 34.732546334796 x885^2 + 22.6256799598353 x886^2 + 51.4542516983107 x887^2 + 40.3066054624925 x888^2 + 12.0094540194179 x889^2 + 43.1650771730129 x890^2 + 33.9775045997244 x891^2 + 50.7420133942675 x892^2 + 52.1533238885841 x893^2 + 33.4323254708462 x894^2 + 40.0602056574814 x895^2 + 24.8852287862875 x896^2 + 36.7413063231853 x897^2 + 33.844157376051 x898^2 + 50.0443737201255 x899^2 + 36.3999801114179 x900^2 + 21.6788270793345 x901^2 + 25.549555198745 x902^2 + 20.9921760200306 x903^2 + 47.3162090980232 x904^2 + 37.5453985466182 x905^2 + 6.74913236477976 x906^2 + 40.7876829565651 x907^2 + 33.6621790243351 x908^2 + 23.7798964340732 x909^2 + 51.7176387843832 x910^2 + 46.0605058706637 x911^2 + 49.5592812314631 x912^2 + 34.6443579058732 x913^2 + 13.6996552974186 x914^2 + 39.9084525511073 x915^2 + 21.5045074892277 x916^2 + 7.25635707624972 x917^2 + 42.1851292382046 x918^2 + 42.3104112178348 x919^2 + 15.5258158528243 x920^2 + 15.8226021882116 x921^2 + 20.7209228069561 x922^2 + 44.6962076204927 x923^2 + 37.5101733672557 x924^2 + 34.3042716318284 x925^2 + 7.85091537444688 x926^2 + 38.6656193984357 x927^2 + 44.5977252523624 x928^2 + 18.1290482469081 x929^2 + 19.2193752894049 x930^2 + 23.5941017511425 x931^2 + 31.6233358961314 x932^2 + 35.4863876964192 x933^2 + 9.40371682225849 x934^2 + 21.0737031578742 x935^2 + 22.4662052277206 x936^2 + 14.9104663612413 x937^2 + 38.2003605357558 x938^2 + 35.5031125596888 x939^2 + 18.1081094879697 x940^2 + 19.6489043000897 x941^2 + 8.24589741013203 x942^2 + 20.537428355339 x943^2 + 28.4742213835032 x944^2 + 12.9394127188359 x945^2 + 31.2978881251548 x946^2 + 31.8888000070501 x947^2 + 9.99418925570132 x948^2 + 7.37768746983215 x949^2 + 31.9345388856281 x950^2 + 24.7600339719517 x951^2 + 31.1539853186784 x952^2 + 33.547639315517 x953^2 + 17.6621350454328 x954^2 + 23.6272548122165 x955^2 + 7.64928068455842 x956^2 + 17.3727226696544 x957^2 + 22.4142247120103 x958^2 + 41.8191531476821 x959^2 + 30.5018565674287 x960^2 + 32.6364439269154 x961^2 + 39.5595983982836 x962^2 + 20.2461714002421 x963^2 + 42.1450818184741 x964^2 + 14.7552005759882 x965^2 + 39.5874263772206 x966^2 + 37.8018815069733 x967^2 + 15.1288020371962 x968^2 + 19.5671914212465 x969^2 + 47.1360138447274 x970^2 + 24.9337093849761 x971^2 + 44.6952040854237 x972^2 + 42.6723387770755 x973^2 + 40.1873875859692 x974^2 + 37.148813346851 x975^2 + 16.0610419638095 x976^2 + 38.7666507978855 x977^2 + 9.79363538249 x978^2 + 38.6419658007776 x979^2 + 34.3052835154536 x980^2 + 17.1282747526062 x981^2 + 42.0020265670282 x982^2 + 15.9313822964348 x983^2 + 41.7942220023819 x984^2 + 45.693060023956 x985^2 + 25.6013260647677 x986^2 + 26.5258676287386 x987^2 + 45.6200049682436 x988^2 + 29.7030177871965 x989^2 + 46.3567313845918 x990^2 + 44.3032060682332 x991^2 + 42.8715526891758 x992^2 + 15.39674079412 x993^2 + 19.1558674985681 x994^2 + 33.9261630727955 x995^2 + 38.4613676068877 x996^2 + 26.4997580178188 x997^2 + 39.4664636527072 x998^2 + 19.7462810175686 x999^2 + 10.4824900314093 x1000^2 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 - b1002 <= 0 e43: x42 - b1002 <= 0 e44: x43 - b1002 <= 0 e45: x44 - b1002 <= 0 e46: x45 - b1002 <= 0 e47: x46 - b1002 <= 0 e48: x47 - b1002 <= 0 e49: x48 - b1002 <= 0 e50: x49 - b1002 <= 0 e51: x50 - b1002 <= 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 - b1003 <= 0 e83: x82 - b1003 <= 0 e84: x83 - b1003 <= 0 e85: x84 - b1003 <= 0 e86: x85 - b1003 <= 0 e87: x86 - b1003 <= 0 e88: x87 - b1003 <= 0 e89: x88 - b1003 <= 0 e90: x89 - b1003 <= 0 e91: x90 - b1003 <= 0 e92: x91 - b1003 <= 0 e93: x92 - b1003 <= 0 e94: x93 - b1003 <= 0 e95: x94 - b1003 <= 0 e96: x95 - b1003 <= 0 e97: x96 - b1003 <= 0 e98: x97 - b1003 <= 0 e99: x98 - b1003 <= 0 e100: x99 - b1003 <= 0 e101: x100 - b1003 <= 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 - b1004 <= 0 e123: x122 - b1004 <= 0 e124: x123 - b1004 <= 0 e125: x124 - b1004 <= 0 e126: x125 - b1004 <= 0 e127: x126 - b1004 <= 0 e128: x127 - b1004 <= 0 e129: x128 - b1004 <= 0 e130: x129 - b1004 <= 0 e131: x130 - b1004 <= 0 e132: x131 - b1004 <= 0 e133: x132 - b1004 <= 0 e134: x133 - b1004 <= 0 e135: x134 - b1004 <= 0 e136: x135 - b1004 <= 0 e137: x136 - b1004 <= 0 e138: x137 - b1004 <= 0 e139: x138 - b1004 <= 0 e140: x139 - b1004 <= 0 e141: x140 - b1004 <= 0 e142: x141 - b1004 <= 0 e143: x142 - b1004 <= 0 e144: x143 - b1004 <= 0 e145: x144 - b1004 <= 0 e146: x145 - b1004 <= 0 e147: x146 - b1004 <= 0 e148: x147 - b1004 <= 0 e149: x148 - b1004 <= 0 e150: x149 - b1004 <= 0 e151: x150 - b1004 <= 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 - b1005 <= 0 e163: x162 - b1005 <= 0 e164: x163 - b1005 <= 0 e165: x164 - b1005 <= 0 e166: x165 - b1005 <= 0 e167: x166 - b1005 <= 0 e168: x167 - b1005 <= 0 e169: x168 - b1005 <= 0 e170: x169 - b1005 <= 0 e171: x170 - b1005 <= 0 e172: x171 - b1005 <= 0 e173: x172 - b1005 <= 0 e174: x173 - b1005 <= 0 e175: x174 - b1005 <= 0 e176: x175 - b1005 <= 0 e177: x176 - b1005 <= 0 e178: x177 - b1005 <= 0 e179: x178 - b1005 <= 0 e180: x179 - b1005 <= 0 e181: x180 - b1005 <= 0 e182: x181 - b1005 <= 0 e183: x182 - b1005 <= 0 e184: x183 - b1005 <= 0 e185: x184 - b1005 <= 0 e186: x185 - b1005 <= 0 e187: x186 - b1005 <= 0 e188: x187 - b1005 <= 0 e189: x188 - b1005 <= 0 e190: x189 - b1005 <= 0 e191: x190 - b1005 <= 0 e192: x191 - b1005 <= 0 e193: x192 - b1005 <= 0 e194: x193 - b1005 <= 0 e195: x194 - b1005 <= 0 e196: x195 - b1005 <= 0 e197: x196 - b1005 <= 0 e198: x197 - b1005 <= 0 e199: x198 - b1005 <= 0 e200: x199 - b1005 <= 0 e201: x200 - b1005 <= 0 e202: x201 - b1006 <= 0 e203: x202 - b1006 <= 0 e204: x203 - b1006 <= 0 e205: x204 - b1006 <= 0 e206: x205 - b1006 <= 0 e207: x206 - b1006 <= 0 e208: x207 - b1006 <= 0 e209: x208 - b1006 <= 0 e210: x209 - b1006 <= 0 e211: x210 - b1006 <= 0 e212: x211 - b1006 <= 0 e213: x212 - b1006 <= 0 e214: x213 - b1006 <= 0 e215: x214 - b1006 <= 0 e216: x215 - b1006 <= 0 e217: x216 - b1006 <= 0 e218: x217 - b1006 <= 0 e219: x218 - b1006 <= 0 e220: x219 - b1006 <= 0 e221: x220 - b1006 <= 0 e222: x221 - b1006 <= 0 e223: x222 - b1006 <= 0 e224: x223 - b1006 <= 0 e225: x224 - b1006 <= 0 e226: x225 - b1006 <= 0 e227: x226 - b1006 <= 0 e228: x227 - b1006 <= 0 e229: x228 - b1006 <= 0 e230: x229 - b1006 <= 0 e231: x230 - b1006 <= 0 e232: x231 - b1006 <= 0 e233: x232 - b1006 <= 0 e234: x233 - b1006 <= 0 e235: x234 - b1006 <= 0 e236: x235 - b1006 <= 0 e237: x236 - b1006 <= 0 e238: x237 - b1006 <= 0 e239: x238 - b1006 <= 0 e240: x239 - b1006 <= 0 e241: x240 - b1006 <= 0 e242: x241 - b1007 <= 0 e243: x242 - b1007 <= 0 e244: x243 - b1007 <= 0 e245: x244 - b1007 <= 0 e246: x245 - b1007 <= 0 e247: x246 - b1007 <= 0 e248: x247 - b1007 <= 0 e249: x248 - b1007 <= 0 e250: x249 - b1007 <= 0 e251: x250 - b1007 <= 0 e252: x251 - b1007 <= 0 e253: x252 - b1007 <= 0 e254: x253 - b1007 <= 0 e255: x254 - b1007 <= 0 e256: x255 - b1007 <= 0 e257: x256 - b1007 <= 0 e258: x257 - b1007 <= 0 e259: x258 - b1007 <= 0 e260: x259 - b1007 <= 0 e261: x260 - b1007 <= 0 e262: x261 - b1007 <= 0 e263: x262 - b1007 <= 0 e264: x263 - b1007 <= 0 e265: x264 - b1007 <= 0 e266: x265 - b1007 <= 0 e267: x266 - b1007 <= 0 e268: x267 - b1007 <= 0 e269: x268 - b1007 <= 0 e270: x269 - b1007 <= 0 e271: x270 - b1007 <= 0 e272: x271 - b1007 <= 0 e273: x272 - b1007 <= 0 e274: x273 - b1007 <= 0 e275: x274 - b1007 <= 0 e276: x275 - b1007 <= 0 e277: x276 - b1007 <= 0 e278: x277 - b1007 <= 0 e279: x278 - b1007 <= 0 e280: x279 - b1007 <= 0 e281: x280 - b1007 <= 0 e282: x281 - b1008 <= 0 e283: x282 - b1008 <= 0 e284: x283 - b1008 <= 0 e285: x284 - b1008 <= 0 e286: x285 - b1008 <= 0 e287: x286 - b1008 <= 0 e288: x287 - b1008 <= 0 e289: x288 - b1008 <= 0 e290: x289 - b1008 <= 0 e291: x290 - b1008 <= 0 e292: x291 - b1008 <= 0 e293: x292 - b1008 <= 0 e294: x293 - b1008 <= 0 e295: x294 - b1008 <= 0 e296: x295 - b1008 <= 0 e297: x296 - b1008 <= 0 e298: x297 - b1008 <= 0 e299: x298 - b1008 <= 0 e300: x299 - b1008 <= 0 e301: x300 - b1008 <= 0 e302: x301 - b1008 <= 0 e303: x302 - b1008 <= 0 e304: x303 - b1008 <= 0 e305: x304 - b1008 <= 0 e306: x305 - b1008 <= 0 e307: x306 - b1008 <= 0 e308: x307 - b1008 <= 0 e309: x308 - b1008 <= 0 e310: x309 - b1008 <= 0 e311: x310 - b1008 <= 0 e312: x311 - b1008 <= 0 e313: x312 - b1008 <= 0 e314: x313 - b1008 <= 0 e315: x314 - b1008 <= 0 e316: x315 - b1008 <= 0 e317: x316 - b1008 <= 0 e318: x317 - b1008 <= 0 e319: x318 - b1008 <= 0 e320: x319 - b1008 <= 0 e321: x320 - b1008 <= 0 e322: x321 - b1009 <= 0 e323: x322 - b1009 <= 0 e324: x323 - b1009 <= 0 e325: x324 - b1009 <= 0 e326: x325 - b1009 <= 0 e327: x326 - b1009 <= 0 e328: x327 - b1009 <= 0 e329: x328 - b1009 <= 0 e330: x329 - b1009 <= 0 e331: x330 - b1009 <= 0 e332: x331 - b1009 <= 0 e333: x332 - b1009 <= 0 e334: x333 - b1009 <= 0 e335: x334 - b1009 <= 0 e336: x335 - b1009 <= 0 e337: x336 - b1009 <= 0 e338: x337 - b1009 <= 0 e339: x338 - b1009 <= 0 e340: x339 - b1009 <= 0 e341: x340 - b1009 <= 0 e342: x341 - b1009 <= 0 e343: x342 - b1009 <= 0 e344: x343 - b1009 <= 0 e345: x344 - b1009 <= 0 e346: x345 - b1009 <= 0 e347: x346 - b1009 <= 0 e348: x347 - b1009 <= 0 e349: x348 - b1009 <= 0 e350: x349 - b1009 <= 0 e351: x350 - b1009 <= 0 e352: x351 - b1009 <= 0 e353: x352 - b1009 <= 0 e354: x353 - b1009 <= 0 e355: x354 - b1009 <= 0 e356: x355 - b1009 <= 0 e357: x356 - b1009 <= 0 e358: x357 - b1009 <= 0 e359: x358 - b1009 <= 0 e360: x359 - b1009 <= 0 e361: x360 - b1009 <= 0 e362: x361 - b1010 <= 0 e363: x362 - b1010 <= 0 e364: x363 - b1010 <= 0 e365: x364 - b1010 <= 0 e366: x365 - b1010 <= 0 e367: x366 - b1010 <= 0 e368: x367 - b1010 <= 0 e369: x368 - b1010 <= 0 e370: x369 - b1010 <= 0 e371: x370 - b1010 <= 0 e372: x371 - b1010 <= 0 e373: x372 - b1010 <= 0 e374: x373 - b1010 <= 0 e375: x374 - b1010 <= 0 e376: x375 - b1010 <= 0 e377: x376 - b1010 <= 0 e378: x377 - b1010 <= 0 e379: x378 - b1010 <= 0 e380: x379 - b1010 <= 0 e381: x380 - b1010 <= 0 e382: x381 - b1010 <= 0 e383: x382 - b1010 <= 0 e384: x383 - b1010 <= 0 e385: x384 - b1010 <= 0 e386: x385 - b1010 <= 0 e387: x386 - b1010 <= 0 e388: x387 - b1010 <= 0 e389: x388 - b1010 <= 0 e390: x389 - b1010 <= 0 e391: x390 - b1010 <= 0 e392: x391 - b1010 <= 0 e393: x392 - b1010 <= 0 e394: x393 - b1010 <= 0 e395: x394 - b1010 <= 0 e396: x395 - b1010 <= 0 e397: x396 - b1010 <= 0 e398: x397 - b1010 <= 0 e399: x398 - b1010 <= 0 e400: x399 - b1010 <= 0 e401: x400 - b1010 <= 0 e402: x401 - b1011 <= 0 e403: x402 - b1011 <= 0 e404: x403 - b1011 <= 0 e405: x404 - b1011 <= 0 e406: x405 - b1011 <= 0 e407: x406 - b1011 <= 0 e408: x407 - b1011 <= 0 e409: x408 - b1011 <= 0 e410: x409 - b1011 <= 0 e411: x410 - b1011 <= 0 e412: x411 - b1011 <= 0 e413: x412 - b1011 <= 0 e414: x413 - b1011 <= 0 e415: x414 - b1011 <= 0 e416: x415 - b1011 <= 0 e417: x416 - b1011 <= 0 e418: x417 - b1011 <= 0 e419: x418 - b1011 <= 0 e420: x419 - b1011 <= 0 e421: x420 - b1011 <= 0 e422: x421 - b1011 <= 0 e423: x422 - b1011 <= 0 e424: x423 - b1011 <= 0 e425: x424 - b1011 <= 0 e426: x425 - b1011 <= 0 e427: x426 - b1011 <= 0 e428: x427 - b1011 <= 0 e429: x428 - b1011 <= 0 e430: x429 - b1011 <= 0 e431: x430 - b1011 <= 0 e432: x431 - b1011 <= 0 e433: x432 - b1011 <= 0 e434: x433 - b1011 <= 0 e435: x434 - b1011 <= 0 e436: x435 - b1011 <= 0 e437: x436 - b1011 <= 0 e438: x437 - b1011 <= 0 e439: x438 - b1011 <= 0 e440: x439 - b1011 <= 0 e441: x440 - b1011 <= 0 e442: x441 - b1012 <= 0 e443: x442 - b1012 <= 0 e444: x443 - b1012 <= 0 e445: x444 - b1012 <= 0 e446: x445 - b1012 <= 0 e447: x446 - b1012 <= 0 e448: x447 - b1012 <= 0 e449: x448 - b1012 <= 0 e450: x449 - b1012 <= 0 e451: x450 - b1012 <= 0 e452: x451 - b1012 <= 0 e453: x452 - b1012 <= 0 e454: x453 - b1012 <= 0 e455: x454 - b1012 <= 0 e456: x455 - b1012 <= 0 e457: x456 - b1012 <= 0 e458: x457 - b1012 <= 0 e459: x458 - b1012 <= 0 e460: x459 - b1012 <= 0 e461: x460 - b1012 <= 0 e462: x461 - b1012 <= 0 e463: x462 - b1012 <= 0 e464: x463 - b1012 <= 0 e465: x464 - b1012 <= 0 e466: x465 - b1012 <= 0 e467: x466 - b1012 <= 0 e468: x467 - b1012 <= 0 e469: x468 - b1012 <= 0 e470: x469 - b1012 <= 0 e471: x470 - b1012 <= 0 e472: x471 - b1012 <= 0 e473: x472 - b1012 <= 0 e474: x473 - b1012 <= 0 e475: x474 - b1012 <= 0 e476: x475 - b1012 <= 0 e477: x476 - b1012 <= 0 e478: x477 - b1012 <= 0 e479: x478 - b1012 <= 0 e480: x479 - b1012 <= 0 e481: x480 - b1012 <= 0 e482: x481 - b1013 <= 0 e483: x482 - b1013 <= 0 e484: x483 - b1013 <= 0 e485: x484 - b1013 <= 0 e486: x485 - b1013 <= 0 e487: x486 - b1013 <= 0 e488: x487 - b1013 <= 0 e489: x488 - b1013 <= 0 e490: x489 - b1013 <= 0 e491: x490 - b1013 <= 0 e492: x491 - b1013 <= 0 e493: x492 - b1013 <= 0 e494: x493 - b1013 <= 0 e495: x494 - b1013 <= 0 e496: x495 - b1013 <= 0 e497: x496 - b1013 <= 0 e498: x497 - b1013 <= 0 e499: x498 - b1013 <= 0 e500: x499 - b1013 <= 0 e501: x500 - b1013 <= 0 e502: x501 - b1013 <= 0 e503: x502 - b1013 <= 0 e504: x503 - b1013 <= 0 e505: x504 - b1013 <= 0 e506: x505 - b1013 <= 0 e507: x506 - b1013 <= 0 e508: x507 - b1013 <= 0 e509: x508 - b1013 <= 0 e510: x509 - b1013 <= 0 e511: x510 - b1013 <= 0 e512: x511 - b1013 <= 0 e513: x512 - b1013 <= 0 e514: x513 - b1013 <= 0 e515: x514 - b1013 <= 0 e516: x515 - b1013 <= 0 e517: x516 - b1013 <= 0 e518: x517 - b1013 <= 0 e519: x518 - b1013 <= 0 e520: x519 - b1013 <= 0 e521: x520 - b1013 <= 0 e522: x521 - b1014 <= 0 e523: x522 - b1014 <= 0 e524: x523 - b1014 <= 0 e525: x524 - b1014 <= 0 e526: x525 - b1014 <= 0 e527: x526 - b1014 <= 0 e528: x527 - b1014 <= 0 e529: x528 - b1014 <= 0 e530: x529 - b1014 <= 0 e531: x530 - b1014 <= 0 e532: x531 - b1014 <= 0 e533: x532 - b1014 <= 0 e534: x533 - b1014 <= 0 e535: x534 - b1014 <= 0 e536: x535 - b1014 <= 0 e537: x536 - b1014 <= 0 e538: x537 - b1014 <= 0 e539: x538 - b1014 <= 0 e540: x539 - b1014 <= 0 e541: x540 - b1014 <= 0 e542: x541 - b1014 <= 0 e543: x542 - b1014 <= 0 e544: x543 - b1014 <= 0 e545: x544 - b1014 <= 0 e546: x545 - b1014 <= 0 e547: x546 - b1014 <= 0 e548: x547 - b1014 <= 0 e549: x548 - b1014 <= 0 e550: x549 - b1014 <= 0 e551: x550 - b1014 <= 0 e552: x551 - b1014 <= 0 e553: x552 - b1014 <= 0 e554: x553 - b1014 <= 0 e555: x554 - b1014 <= 0 e556: x555 - b1014 <= 0 e557: x556 - b1014 <= 0 e558: x557 - b1014 <= 0 e559: x558 - b1014 <= 0 e560: x559 - b1014 <= 0 e561: x560 - b1014 <= 0 e562: x561 - b1015 <= 0 e563: x562 - b1015 <= 0 e564: x563 - b1015 <= 0 e565: x564 - b1015 <= 0 e566: x565 - b1015 <= 0 e567: x566 - b1015 <= 0 e568: x567 - b1015 <= 0 e569: x568 - b1015 <= 0 e570: x569 - b1015 <= 0 e571: x570 - b1015 <= 0 e572: x571 - b1015 <= 0 e573: x572 - b1015 <= 0 e574: x573 - b1015 <= 0 e575: x574 - b1015 <= 0 e576: x575 - b1015 <= 0 e577: x576 - b1015 <= 0 e578: x577 - b1015 <= 0 e579: x578 - b1015 <= 0 e580: x579 - b1015 <= 0 e581: x580 - b1015 <= 0 e582: x581 - b1015 <= 0 e583: x582 - b1015 <= 0 e584: x583 - b1015 <= 0 e585: x584 - b1015 <= 0 e586: x585 - b1015 <= 0 e587: x586 - b1015 <= 0 e588: x587 - b1015 <= 0 e589: x588 - b1015 <= 0 e590: x589 - b1015 <= 0 e591: x590 - b1015 <= 0 e592: x591 - b1015 <= 0 e593: x592 - b1015 <= 0 e594: x593 - b1015 <= 0 e595: x594 - b1015 <= 0 e596: x595 - b1015 <= 0 e597: x596 - b1015 <= 0 e598: x597 - b1015 <= 0 e599: x598 - b1015 <= 0 e600: x599 - b1015 <= 0 e601: x600 - b1015 <= 0 e602: x601 - b1016 <= 0 e603: x602 - b1016 <= 0 e604: x603 - b1016 <= 0 e605: x604 - b1016 <= 0 e606: x605 - b1016 <= 0 e607: x606 - b1016 <= 0 e608: x607 - b1016 <= 0 e609: x608 - b1016 <= 0 e610: x609 - b1016 <= 0 e611: x610 - b1016 <= 0 e612: x611 - b1016 <= 0 e613: x612 - b1016 <= 0 e614: x613 - b1016 <= 0 e615: x614 - b1016 <= 0 e616: x615 - b1016 <= 0 e617: x616 - b1016 <= 0 e618: x617 - b1016 <= 0 e619: x618 - b1016 <= 0 e620: x619 - b1016 <= 0 e621: x620 - b1016 <= 0 e622: x621 - b1016 <= 0 e623: x622 - b1016 <= 0 e624: x623 - b1016 <= 0 e625: x624 - b1016 <= 0 e626: x625 - b1016 <= 0 e627: x626 - b1016 <= 0 e628: x627 - b1016 <= 0 e629: x628 - b1016 <= 0 e630: x629 - b1016 <= 0 e631: x630 - b1016 <= 0 e632: x631 - b1016 <= 0 e633: x632 - b1016 <= 0 e634: x633 - b1016 <= 0 e635: x634 - b1016 <= 0 e636: x635 - b1016 <= 0 e637: x636 - b1016 <= 0 e638: x637 - b1016 <= 0 e639: x638 - b1016 <= 0 e640: x639 - b1016 <= 0 e641: x640 - b1016 <= 0 e642: x641 - b1017 <= 0 e643: x642 - b1017 <= 0 e644: x643 - b1017 <= 0 e645: x644 - b1017 <= 0 e646: x645 - b1017 <= 0 e647: x646 - b1017 <= 0 e648: x647 - b1017 <= 0 e649: x648 - b1017 <= 0 e650: x649 - b1017 <= 0 e651: x650 - b1017 <= 0 e652: x651 - b1017 <= 0 e653: x652 - b1017 <= 0 e654: x653 - b1017 <= 0 e655: x654 - b1017 <= 0 e656: x655 - b1017 <= 0 e657: x656 - b1017 <= 0 e658: x657 - b1017 <= 0 e659: x658 - b1017 <= 0 e660: x659 - b1017 <= 0 e661: x660 - b1017 <= 0 e662: x661 - b1017 <= 0 e663: x662 - b1017 <= 0 e664: x663 - b1017 <= 0 e665: x664 - b1017 <= 0 e666: x665 - b1017 <= 0 e667: x666 - b1017 <= 0 e668: x667 - b1017 <= 0 e669: x668 - b1017 <= 0 e670: x669 - b1017 <= 0 e671: x670 - b1017 <= 0 e672: x671 - b1017 <= 0 e673: x672 - b1017 <= 0 e674: x673 - b1017 <= 0 e675: x674 - b1017 <= 0 e676: x675 - b1017 <= 0 e677: x676 - b1017 <= 0 e678: x677 - b1017 <= 0 e679: x678 - b1017 <= 0 e680: x679 - b1017 <= 0 e681: x680 - b1017 <= 0 e682: x681 - b1018 <= 0 e683: x682 - b1018 <= 0 e684: x683 - b1018 <= 0 e685: x684 - b1018 <= 0 e686: x685 - b1018 <= 0 e687: x686 - b1018 <= 0 e688: x687 - b1018 <= 0 e689: x688 - b1018 <= 0 e690: x689 - b1018 <= 0 e691: x690 - b1018 <= 0 e692: x691 - b1018 <= 0 e693: x692 - b1018 <= 0 e694: x693 - b1018 <= 0 e695: x694 - b1018 <= 0 e696: x695 - b1018 <= 0 e697: x696 - b1018 <= 0 e698: x697 - b1018 <= 0 e699: x698 - b1018 <= 0 e700: x699 - b1018 <= 0 e701: x700 - b1018 <= 0 e702: x701 - b1018 <= 0 e703: x702 - b1018 <= 0 e704: x703 - b1018 <= 0 e705: x704 - b1018 <= 0 e706: x705 - b1018 <= 0 e707: x706 - b1018 <= 0 e708: x707 - b1018 <= 0 e709: x708 - b1018 <= 0 e710: x709 - b1018 <= 0 e711: x710 - b1018 <= 0 e712: x711 - b1018 <= 0 e713: x712 - b1018 <= 0 e714: x713 - b1018 <= 0 e715: x714 - b1018 <= 0 e716: x715 - b1018 <= 0 e717: x716 - b1018 <= 0 e718: x717 - b1018 <= 0 e719: x718 - b1018 <= 0 e720: x719 - b1018 <= 0 e721: x720 - b1018 <= 0 e722: x721 - b1019 <= 0 e723: x722 - b1019 <= 0 e724: x723 - b1019 <= 0 e725: x724 - b1019 <= 0 e726: x725 - b1019 <= 0 e727: x726 - b1019 <= 0 e728: x727 - b1019 <= 0 e729: x728 - b1019 <= 0 e730: x729 - b1019 <= 0 e731: x730 - b1019 <= 0 e732: x731 - b1019 <= 0 e733: x732 - b1019 <= 0 e734: x733 - b1019 <= 0 e735: x734 - b1019 <= 0 e736: x735 - b1019 <= 0 e737: x736 - b1019 <= 0 e738: x737 - b1019 <= 0 e739: x738 - b1019 <= 0 e740: x739 - b1019 <= 0 e741: x740 - b1019 <= 0 e742: x741 - b1019 <= 0 e743: x742 - b1019 <= 0 e744: x743 - b1019 <= 0 e745: x744 - b1019 <= 0 e746: x745 - b1019 <= 0 e747: x746 - b1019 <= 0 e748: x747 - b1019 <= 0 e749: x748 - b1019 <= 0 e750: x749 - b1019 <= 0 e751: x750 - b1019 <= 0 e752: x751 - b1019 <= 0 e753: x752 - b1019 <= 0 e754: x753 - b1019 <= 0 e755: x754 - b1019 <= 0 e756: x755 - b1019 <= 0 e757: x756 - b1019 <= 0 e758: x757 - b1019 <= 0 e759: x758 - b1019 <= 0 e760: x759 - b1019 <= 0 e761: x760 - b1019 <= 0 e762: x761 - b1020 <= 0 e763: x762 - b1020 <= 0 e764: x763 - b1020 <= 0 e765: x764 - b1020 <= 0 e766: x765 - b1020 <= 0 e767: x766 - b1020 <= 0 e768: x767 - b1020 <= 0 e769: x768 - b1020 <= 0 e770: x769 - b1020 <= 0 e771: x770 - b1020 <= 0 e772: x771 - b1020 <= 0 e773: x772 - b1020 <= 0 e774: x773 - b1020 <= 0 e775: x774 - b1020 <= 0 e776: x775 - b1020 <= 0 e777: x776 - b1020 <= 0 e778: x777 - b1020 <= 0 e779: x778 - b1020 <= 0 e780: x779 - b1020 <= 0 e781: x780 - b1020 <= 0 e782: x781 - b1020 <= 0 e783: x782 - b1020 <= 0 e784: x783 - b1020 <= 0 e785: x784 - b1020 <= 0 e786: x785 - b1020 <= 0 e787: x786 - b1020 <= 0 e788: x787 - b1020 <= 0 e789: x788 - b1020 <= 0 e790: x789 - b1020 <= 0 e791: x790 - b1020 <= 0 e792: x791 - b1020 <= 0 e793: x792 - b1020 <= 0 e794: x793 - b1020 <= 0 e795: x794 - b1020 <= 0 e796: x795 - b1020 <= 0 e797: x796 - b1020 <= 0 e798: x797 - b1020 <= 0 e799: x798 - b1020 <= 0 e800: x799 - b1020 <= 0 e801: x800 - b1020 <= 0 e802: x801 - b1021 <= 0 e803: x802 - b1021 <= 0 e804: x803 - b1021 <= 0 e805: x804 - b1021 <= 0 e806: x805 - b1021 <= 0 e807: x806 - b1021 <= 0 e808: x807 - b1021 <= 0 e809: x808 - b1021 <= 0 e810: x809 - b1021 <= 0 e811: x810 - b1021 <= 0 e812: x811 - b1021 <= 0 e813: x812 - b1021 <= 0 e814: x813 - b1021 <= 0 e815: x814 - b1021 <= 0 e816: x815 - b1021 <= 0 e817: x816 - b1021 <= 0 e818: x817 - b1021 <= 0 e819: x818 - b1021 <= 0 e820: x819 - b1021 <= 0 e821: x820 - b1021 <= 0 e822: x821 - b1021 <= 0 e823: x822 - b1021 <= 0 e824: x823 - b1021 <= 0 e825: x824 - b1021 <= 0 e826: x825 - b1021 <= 0 e827: x826 - b1021 <= 0 e828: x827 - b1021 <= 0 e829: x828 - b1021 <= 0 e830: x829 - b1021 <= 0 e831: x830 - b1021 <= 0 e832: x831 - b1021 <= 0 e833: x832 - b1021 <= 0 e834: x833 - b1021 <= 0 e835: x834 - b1021 <= 0 e836: x835 - b1021 <= 0 e837: x836 - b1021 <= 0 e838: x837 - b1021 <= 0 e839: x838 - b1021 <= 0 e840: x839 - b1021 <= 0 e841: x840 - b1021 <= 0 e842: x841 - b1022 <= 0 e843: x842 - b1022 <= 0 e844: x843 - b1022 <= 0 e845: x844 - b1022 <= 0 e846: x845 - b1022 <= 0 e847: x846 - b1022 <= 0 e848: x847 - b1022 <= 0 e849: x848 - b1022 <= 0 e850: x849 - b1022 <= 0 e851: x850 - b1022 <= 0 e852: x851 - b1022 <= 0 e853: x852 - b1022 <= 0 e854: x853 - b1022 <= 0 e855: x854 - b1022 <= 0 e856: x855 - b1022 <= 0 e857: x856 - b1022 <= 0 e858: x857 - b1022 <= 0 e859: x858 - b1022 <= 0 e860: x859 - b1022 <= 0 e861: x860 - b1022 <= 0 e862: x861 - b1022 <= 0 e863: x862 - b1022 <= 0 e864: x863 - b1022 <= 0 e865: x864 - b1022 <= 0 e866: x865 - b1022 <= 0 e867: x866 - b1022 <= 0 e868: x867 - b1022 <= 0 e869: x868 - b1022 <= 0 e870: x869 - b1022 <= 0 e871: x870 - b1022 <= 0 e872: x871 - b1022 <= 0 e873: x872 - b1022 <= 0 e874: x873 - b1022 <= 0 e875: x874 - b1022 <= 0 e876: x875 - b1022 <= 0 e877: x876 - b1022 <= 0 e878: x877 - b1022 <= 0 e879: x878 - b1022 <= 0 e880: x879 - b1022 <= 0 e881: x880 - b1022 <= 0 e882: x881 - b1023 <= 0 e883: x882 - b1023 <= 0 e884: x883 - b1023 <= 0 e885: x884 - b1023 <= 0 e886: x885 - b1023 <= 0 e887: x886 - b1023 <= 0 e888: x887 - b1023 <= 0 e889: x888 - b1023 <= 0 e890: x889 - b1023 <= 0 e891: x890 - b1023 <= 0 e892: x891 - b1023 <= 0 e893: x892 - b1023 <= 0 e894: x893 - b1023 <= 0 e895: x894 - b1023 <= 0 e896: x895 - b1023 <= 0 e897: x896 - b1023 <= 0 e898: x897 - b1023 <= 0 e899: x898 - b1023 <= 0 e900: x899 - b1023 <= 0 e901: x900 - b1023 <= 0 e902: x901 - b1023 <= 0 e903: x902 - b1023 <= 0 e904: x903 - b1023 <= 0 e905: x904 - b1023 <= 0 e906: x905 - b1023 <= 0 e907: x906 - b1023 <= 0 e908: x907 - b1023 <= 0 e909: x908 - b1023 <= 0 e910: x909 - b1023 <= 0 e911: x910 - b1023 <= 0 e912: x911 - b1023 <= 0 e913: x912 - b1023 <= 0 e914: x913 - b1023 <= 0 e915: x914 - b1023 <= 0 e916: x915 - b1023 <= 0 e917: x916 - b1023 <= 0 e918: x917 - b1023 <= 0 e919: x918 - b1023 <= 0 e920: x919 - b1023 <= 0 e921: x920 - b1023 <= 0 e922: x921 - b1024 <= 0 e923: x922 - b1024 <= 0 e924: x923 - b1024 <= 0 e925: x924 - b1024 <= 0 e926: x925 - b1024 <= 0 e927: x926 - b1024 <= 0 e928: x927 - b1024 <= 0 e929: x928 - b1024 <= 0 e930: x929 - b1024 <= 0 e931: x930 - b1024 <= 0 e932: x931 - b1024 <= 0 e933: x932 - b1024 <= 0 e934: x933 - b1024 <= 0 e935: x934 - b1024 <= 0 e936: x935 - b1024 <= 0 e937: x936 - b1024 <= 0 e938: x937 - b1024 <= 0 e939: x938 - b1024 <= 0 e940: x939 - b1024 <= 0 e941: x940 - b1024 <= 0 e942: x941 - b1024 <= 0 e943: x942 - b1024 <= 0 e944: x943 - b1024 <= 0 e945: x944 - b1024 <= 0 e946: x945 - b1024 <= 0 e947: x946 - b1024 <= 0 e948: x947 - b1024 <= 0 e949: x948 - b1024 <= 0 e950: x949 - b1024 <= 0 e951: x950 - b1024 <= 0 e952: x951 - b1024 <= 0 e953: x952 - b1024 <= 0 e954: x953 - b1024 <= 0 e955: x954 - b1024 <= 0 e956: x955 - b1024 <= 0 e957: x956 - b1024 <= 0 e958: x957 - b1024 <= 0 e959: x958 - b1024 <= 0 e960: x959 - b1024 <= 0 e961: x960 - b1024 <= 0 e962: x961 - b1025 <= 0 e963: x962 - b1025 <= 0 e964: x963 - b1025 <= 0 e965: x964 - b1025 <= 0 e966: x965 - b1025 <= 0 e967: x966 - b1025 <= 0 e968: x967 - b1025 <= 0 e969: x968 - b1025 <= 0 e970: x969 - b1025 <= 0 e971: x970 - b1025 <= 0 e972: x971 - b1025 <= 0 e973: x972 - b1025 <= 0 e974: x973 - b1025 <= 0 e975: x974 - b1025 <= 0 e976: x975 - b1025 <= 0 e977: x976 - b1025 <= 0 e978: x977 - b1025 <= 0 e979: x978 - b1025 <= 0 e980: x979 - b1025 <= 0 e981: x980 - b1025 <= 0 e982: x981 - b1025 <= 0 e983: x982 - b1025 <= 0 e984: x983 - b1025 <= 0 e985: x984 - b1025 <= 0 e986: x985 - b1025 <= 0 e987: x986 - b1025 <= 0 e988: x987 - b1025 <= 0 e989: x988 - b1025 <= 0 e990: x989 - b1025 <= 0 e991: x990 - b1025 <= 0 e992: x991 - b1025 <= 0 e993: x992 - b1025 <= 0 e994: x993 - b1025 <= 0 e995: x994 - b1025 <= 0 e996: x995 - b1025 <= 0 e997: x996 - b1025 <= 0 e998: x997 - b1025 <= 0 e999: x998 - b1025 <= 0 e1000: x999 - b1025 <= 0 e1001: x1000 - b1025 <= 0 e1002: x1 + x41 + x81 + x121 + x161 + x201 + x241 + x281 + x321 + x361 + x401 + x441 + x481 + x521 + x561 + x601 + x641 + x681 + x721 + x761 + x801 + x841 + x881 + x921 + x961 = 1 e1003: x2 + x42 + x82 + x122 + x162 + x202 + x242 + x282 + x322 + x362 + x402 + x442 + x482 + x522 + x562 + x602 + x642 + x682 + x722 + x762 + x802 + x842 + x882 + x922 + x962 = 1 e1004: x3 + x43 + x83 + x123 + x163 + x203 + x243 + x283 + x323 + x363 + x403 + x443 + x483 + x523 + x563 + x603 + x643 + x683 + x723 + x763 + x803 + x843 + x883 + x923 + x963 = 1 e1005: x4 + x44 + x84 + x124 + x164 + x204 + x244 + x284 + x324 + x364 + x404 + x444 + x484 + x524 + x564 + x604 + x644 + x684 + x724 + x764 + x804 + x844 + x884 + x924 + x964 = 1 e1006: x5 + x45 + x85 + x125 + x165 + x205 + x245 + x285 + x325 + x365 + x405 + x445 + x485 + x525 + x565 + x605 + x645 + x685 + x725 + x765 + x805 + x845 + x885 + x925 + x965 = 1 e1007: x6 + x46 + x86 + x126 + x166 + x206 + x246 + x286 + x326 + x366 + x406 + x446 + x486 + x526 + x566 + x606 + x646 + x686 + x726 + x766 + x806 + x846 + x886 + x926 + x966 = 1 e1008: x7 + x47 + x87 + x127 + x167 + x207 + x247 + x287 + x327 + x367 + x407 + x447 + x487 + x527 + x567 + x607 + x647 + x687 + x727 + x767 + x807 + x847 + x887 + x927 + x967 = 1 e1009: x8 + x48 + x88 + x128 + x168 + x208 + x248 + x288 + x328 + x368 + x408 + x448 + x488 + x528 + x568 + x608 + x648 + x688 + x728 + x768 + x808 + x848 + x888 + x928 + x968 = 1 e1010: x9 + x49 + x89 + x129 + x169 + x209 + x249 + x289 + x329 + x369 + x409 + x449 + x489 + x529 + x569 + x609 + x649 + x689 + x729 + x769 + x809 + x849 + x889 + x929 + x969 = 1 e1011: x10 + x50 + x90 + x130 + x170 + x210 + x250 + x290 + x330 + x370 + x410 + x450 + x490 + x530 + x570 + x610 + x650 + x690 + x730 + x770 + x810 + x850 + x890 + x930 + x970 = 1 e1012: x11 + x51 + x91 + x131 + x171 + x211 + x251 + x291 + x331 + x371 + x411 + x451 + x491 + x531 + x571 + x611 + x651 + x691 + x731 + x771 + x811 + x851 + x891 + x931 + x971 = 1 e1013: x12 + x52 + x92 + x132 + x172 + x212 + x252 + x292 + x332 + x372 + x412 + x452 + x492 + x532 + x572 + x612 + x652 + x692 + x732 + x772 + x812 + x852 + x892 + x932 + x972 = 1 e1014: x13 + x53 + x93 + x133 + x173 + x213 + x253 + x293 + x333 + x373 + x413 + x453 + x493 + x533 + x573 + x613 + x653 + x693 + x733 + x773 + x813 + x853 + x893 + x933 + x973 = 1 e1015: x14 + x54 + x94 + x134 + x174 + x214 + x254 + x294 + x334 + x374 + x414 + x454 + x494 + x534 + x574 + x614 + x654 + x694 + x734 + x774 + x814 + x854 + x894 + x934 + x974 = 1 e1016: x15 + x55 + x95 + x135 + x175 + x215 + x255 + x295 + x335 + x375 + x415 + x455 + x495 + x535 + x575 + x615 + x655 + x695 + x735 + x775 + x815 + x855 + x895 + x935 + x975 = 1 e1017: x16 + x56 + x96 + x136 + x176 + x216 + x256 + x296 + x336 + x376 + x416 + x456 + x496 + x536 + x576 + x616 + x656 + x696 + x736 + x776 + x816 + x856 + x896 + x936 + x976 = 1 e1018: x17 + x57 + x97 + x137 + x177 + x217 + x257 + x297 + x337 + x377 + x417 + x457 + x497 + x537 + x577 + x617 + x657 + x697 + x737 + x777 + x817 + x857 + x897 + x937 + x977 = 1 e1019: x18 + x58 + x98 + x138 + x178 + x218 + x258 + x298 + x338 + x378 + x418 + x458 + x498 + x538 + x578 + x618 + x658 + x698 + x738 + x778 + x818 + x858 + x898 + x938 + x978 = 1 e1020: x19 + x59 + x99 + x139 + x179 + x219 + x259 + x299 + x339 + x379 + x419 + x459 + x499 + x539 + x579 + x619 + x659 + x699 + x739 + x779 + x819 + x859 + x899 + x939 + x979 = 1 e1021: x20 + x60 + x100 + x140 + x180 + x220 + x260 + x300 + x340 + x380 + x420 + x460 + x500 + x540 + x580 + x620 + x660 + x700 + x740 + x780 + x820 + x860 + x900 + x940 + x980 = 1 e1022: x21 + x61 + x101 + x141 + x181 + x221 + x261 + x301 + x341 + x381 + x421 + x461 + x501 + x541 + x581 + x621 + x661 + x701 + x741 + x781 + x821 + x861 + x901 + x941 + x981 = 1 e1023: x22 + x62 + x102 + x142 + x182 + x222 + x262 + x302 + x342 + x382 + x422 + x462 + x502 + x542 + x582 + x622 + x662 + x702 + x742 + x782 + x822 + x862 + x902 + x942 + x982 = 1 e1024: x23 + x63 + x103 + x143 + x183 + x223 + x263 + x303 + x343 + x383 + x423 + x463 + x503 + x543 + x583 + x623 + x663 + x703 + x743 + x783 + x823 + x863 + x903 + x943 + x983 = 1 e1025: x24 + x64 + x104 + x144 + x184 + x224 + x264 + x304 + x344 + x384 + x424 + x464 + x504 + x544 + x584 + x624 + x664 + x704 + x744 + x784 + x824 + x864 + x904 + x944 + x984 = 1 e1026: x25 + x65 + x105 + x145 + x185 + x225 + x265 + x305 + x345 + x385 + x425 + x465 + x505 + x545 + x585 + x625 + x665 + x705 + x745 + x785 + x825 + x865 + x905 + x945 + x985 = 1 e1027: x26 + x66 + x106 + x146 + x186 + x226 + x266 + x306 + x346 + x386 + x426 + x466 + x506 + x546 + x586 + x626 + x666 + x706 + x746 + x786 + x826 + x866 + x906 + x946 + x986 = 1 e1028: x27 + x67 + x107 + x147 + x187 + x227 + x267 + x307 + x347 + x387 + x427 + x467 + x507 + x547 + x587 + x627 + x667 + x707 + x747 + x787 + x827 + x867 + x907 + x947 + x987 = 1 e1029: x28 + x68 + x108 + x148 + x188 + x228 + x268 + x308 + x348 + x388 + x428 + x468 + x508 + x548 + x588 + x628 + x668 + x708 + x748 + x788 + x828 + x868 + x908 + x948 + x988 = 1 e1030: x29 + x69 + x109 + x149 + x189 + x229 + x269 + x309 + x349 + x389 + x429 + x469 + x509 + x549 + x589 + x629 + x669 + x709 + x749 + x789 + x829 + x869 + x909 + x949 + x989 = 1 e1031: x30 + x70 + x110 + x150 + x190 + x230 + x270 + x310 + x350 + x390 + x430 + x470 + x510 + x550 + x590 + x630 + x670 + x710 + x750 + x790 + x830 + x870 + x910 + x950 + x990 = 1 e1032: x31 + x71 + x111 + x151 + x191 + x231 + x271 + x311 + x351 + x391 + x431 + x471 + x511 + x551 + x591 + x631 + x671 + x711 + x751 + x791 + x831 + x871 + x911 + x951 + x991 = 1 e1033: x32 + x72 + x112 + x152 + x192 + x232 + x272 + x312 + x352 + x392 + x432 + x472 + x512 + x552 + x592 + x632 + x672 + x712 + x752 + x792 + x832 + x872 + x912 + x952 + x992 = 1 e1034: x33 + x73 + x113 + x153 + x193 + x233 + x273 + x313 + x353 + x393 + x433 + x473 + x513 + x553 + x593 + x633 + x673 + x713 + x753 + x793 + x833 + x873 + x913 + x953 + x993 = 1 e1035: x34 + x74 + x114 + x154 + x194 + x234 + x274 + x314 + x354 + x394 + x434 + x474 + x514 + x554 + x594 + x634 + x674 + x714 + x754 + x794 + x834 + x874 + x914 + x954 + x994 = 1 e1036: x35 + x75 + x115 + x155 + x195 + x235 + x275 + x315 + x355 + x395 + x435 + x475 + x515 + x555 + x595 + x635 + x675 + x715 + x755 + x795 + x835 + x875 + x915 + x955 + x995 = 1 e1037: x36 + x76 + x116 + x156 + x196 + x236 + x276 + x316 + x356 + x396 + x436 + x476 + x516 + x556 + x596 + x636 + x676 + x716 + x756 + x796 + x836 + x876 + x916 + x956 + x996 = 1 e1038: x37 + x77 + x117 + x157 + x197 + x237 + x277 + x317 + x357 + x397 + x437 + x477 + x517 + x557 + x597 + x637 + x677 + x717 + x757 + x797 + x837 + x877 + x917 + x957 + x997 = 1 e1039: x38 + x78 + x118 + x158 + x198 + x238 + x278 + x318 + x358 + x398 + x438 + x478 + x518 + x558 + x598 + x638 + x678 + x718 + x758 + x798 + x838 + x878 + x918 + x958 + x998 = 1 e1040: x39 + x79 + x119 + x159 + x199 + x239 + x279 + x319 + x359 + x399 + x439 + x479 + x519 + x559 + x599 + x639 + x679 + x719 + x759 + x799 + x839 + x879 + x919 + x959 + x999 = 1 e1041: x40 + x80 + x120 + x160 + x200 + x240 + x280 + x320 + x360 + x400 + x440 + x480 + x520 + x560 + x600 + x640 + x680 + x720 + x760 + x800 + x840 + x880 + x920 + x960 + x1000 = 1 Binary b1001 b1002 b1003 b1004 b1005 b1006 b1007 b1008 b1009 b1010 b1011 b1012 b1013 b1014 b1015 b1016 b1017 b1018 b1019 b1020 b1021 b1022 b1023 b1024 b1025 End