\ Equation counts \ Total E G L N X C B \ 1593 1062 531 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1611 1611 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4023 2430 1593 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 + .95 x25 + 5e-2 x26 + 0 x27 + 0 x28 + .95 x29 + 5e-2 x30 + 0 x31 + 5e-2 x32 + 5e-2 x33 + 0 x34 + 0 x35 + 0 x36 + .95 x37 + 5e-2 x38 + 0 x39 + 5e-2 x40 + 5e-2 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 5e-2 x52 + .95 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + .95 x58 + 0 x59 + 0 x60 + 5e-2 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + .95 x69 + 0 x70 + 0 x71 + 5e-2 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 5e-2 x78 + 0 x79 + 0 x80 + .95 x81 + 0 x82 + 0 x83 + 0 x84 + .95 x85 + 0 x86 + 0 x87 + 5e-2 x88 + 0 x89 + 0 x90 + .95 x91 + 0 x92 + 0 x93 + 5e-2 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 5e-2 x101 + 5e-2 x102 + 0 x103 + 5e-2 x104 + .95 x105 + 0 x106 + 0 x107 + 0 x108 + 5e-2 x109 + 5e-2 x110 + 0 x111 + 5e-2 x112 + .95 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + .95 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 + 5e-2 x131 + 5e-2 x132 + 0 x133 + .95 x134 + 5e-2 x135 + 0 x136 + 0 x137 + 0 x138 + .95 x139 + 5e-2 x140 + 0 x141 + 5e-2 x142 + 5e-2 x143 + 0 x144 + 0 x145 + 5e-2 x146 + .95 x147 + 0 x148 + 5e-2 x149 + 5e-2 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + .95 x157 + 0 x158 + 0 x159 + 5e-2 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + .95 x169 + 0 x170 + 0 x171 + .95 x172 + 5e-2 x173 + 0 x174 + 5e-2 x175 + 5e-2 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 5e-2 x185 + 5e-2 x186 + 0 x187 + .95 x188 + 5e-2 x189 + 0 x190 + 5e-2 x191 + 5e-2 x192 + 0 x193 + .95 x194 + 5e-2 x195 + 0 x196 + 0 x197 + 0 x198 + 5e-2 x199 + .95 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + .95 x208 + 5e-2 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 5e-2 x217 + .95 x218 + 0 x219 + 5e-2 x220 + 5e-2 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + .95 x230 + 5e-2 x231 + 0 x232 + 5e-2 x233 + 5e-2 x234 + 0 x235 + 5e-2 x236 + .95 x237 + 0 x238 + 5e-2 x239 + 5e-2 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 5e-2 x248 + 5e-2 x249 + 0 x250 + .95 x251 + 5e-2 x252 + 0 x253 + .95 x254 + 5e-2 x255 + 0 x256 + 5e-2 x257 + 5e-2 x258 + 0 x259 + 0 x260 + 0 x261 + .95 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 + .95 x275 + 5e-2 x276 + 0 x277 + 5e-2 x278 + 5e-2 x279 + 0 x280 + 0 x281 + 0 x282 + 5e-2 x283 + 0 x284 + 0 x285 + .95 x286 + 0 x287 + 0 x288 + .95 x289 + 0 x290 + 0 x291 + 5e-2 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 5e-2 x302 + 5e-2 x303 + 0 x304 + .95 x305 + 5e-2 x306 + .95 x307 + 5e-2 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + .95 x320 + 5e-2 x321 + 0 x322 + 5e-2 x323 + 5e-2 x324 + 5e-2 x325 + 5e-2 x326 + 0 x327 + 5e-2 x328 + .95 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + .95 x334 + 5e-2 x335 + 0 x336 + 5e-2 x337 + 5e-2 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + .95 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 5e-2 x355 + 5e-2 x356 + 0 x357 + 5e-2 x358 + .95 x359 + 0 x360 + .95 x361 + 5e-2 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 5e-2 x371 + .95 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + .95 x379 + 5e-2 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 5e-2 x388 + 5e-2 x389 + 0 x390 + .95 x391 + 5e-2 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + .95 x397 + 0 x398 + 0 x399 + 5e-2 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + .95 x406 + 5e-2 x407 + 0 x408 + 5e-2 x409 + 5e-2 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + .95 x421 + 5e-2 x422 + 0 x423 + 0 x424 + 0 x425 + 5e-2 x426 + 0 x427 + 0 x428 + .95 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 5e-2 x436 + 5e-2 x437 + 0 x438 + 5e-2 x439 + .95 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 5e-2 x448 + .95 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 5e-2 x454 + 0 x455 + 0 x456 + .95 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + .95 x463 + 0 x464 + 0 x465 + 5e-2 x466 + 0 x467 + 0 x468 + 0 x469 + .2 x470 + .2 x471 + .2 x472 + .2 x473 + .2 x474 + .2 x475 + .2 x476 + .2 x477 + 0 x478 + 0 x479 + .2 x480 + .2 x481 + .2 x482 + .2 x483 + .2 x484 + .2 x485 + .2 x486 + 0 x487 + 0 x488 + 0 x489 + .2 x490 + .2 x491 + .2 x492 + .2 x493 + .2 x494 + .2 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + .2 x500 + .2 x501 + .2 x502 + .2 x503 + .2 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + .2 x510 + .2 x511 + .2 x512 + .2 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + .2 x520 + .2 x521 + .2 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + .2 x530 + .2 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + .2 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 0 x961 + 0 x962 + 0 x963 + 0 x964 + 0 x965 + 0 x966 + 0 x967 + 0 x968 + 0 x969 + 0 x970 + 0 x971 + 0 x972 + 0 x973 + 0 x974 + 0 x975 + 0 x976 + 0 x977 + 0 x978 + 0 x979 + 0 x980 + 0 x981 + 0 x982 + 0 x983 + 0 x984 + 0 x985 + 0 x986 + 0 x987 + 0 x988 + 0 x989 + 0 x990 + 0 x991 + 0 x992 + 0 x993 + 0 x994 + 0 x995 + 0 x996 + 0 x997 + 0 x998 + 0 x999 + 0 x1000 + 0 x1001 + 0 x1002 + 0 x1003 + 0 x1004 + 0 x1005 + 0 x1006 + 0 x1007 + 0 x1008 + 0 x1009 + 0 x1010 + 0 x1011 + 0 x1012 + 0 x1013 + 0 x1014 + 0 x1015 + 0 x1016 + 0 x1017 + 0 x1018 + 0 x1019 + 0 x1020 + 0 x1021 + 0 x1022 + 0 x1023 + 0 x1024 + 0 x1025 + 0 x1026 + 0 x1027 + 0 x1028 + 0 x1029 + 0 x1030 + 0 x1031 + 0 x1032 + 0 x1033 + 0 x1034 + 0 x1035 + 0 x1036 + 0 x1037 + 0 x1038 + 0 x1039 + 0 x1040 + 0 x1041 + 0 x1042 + 0 x1043 + 0 x1044 + 0 x1045 + 0 x1046 + 0 x1047 + 0 x1048 + 0 x1049 + 0 x1050 + 0 x1051 + 0 x1052 + 0 x1053 + 0 x1054 + 0 x1055 + 0 x1056 + 0 x1057 + 0 x1058 + 0 x1059 + 0 x1060 + 0 x1061 + 0 x1062 + 0 x1063 + 0 x1064 + 0 x1065 + 0 x1066 + 0 x1067 + 0 x1068 + 0 x1069 + 0 x1070 + 0 x1071 + 0 x1072 + 0 x1073 + 0 x1074 + 0 x1075 + 0 x1076 + 0 x1077 + 0 x1078 + 0 x1079 + 0 x1080 + 0 x1081 + 0 x1082 + 0 x1083 + 0 x1084 + 0 x1085 + 0 x1086 + 0 x1087 + 0 x1088 + 0 x1089 + 0 x1090 + 0 x1091 + 0 x1092 + 0 x1093 + 0 x1094 + 0 x1095 + 0 x1096 + 0 x1097 + 0 x1098 + 0 x1099 + 0 x1100 + 0 x1101 + 0 x1102 + 0 x1103 + 0 x1104 + 0 x1105 + 0 x1106 + 0 x1107 + 0 x1108 + 0 x1109 + 0 x1110 + 0 x1111 + 0 x1112 + 0 x1113 + 0 x1114 + 0 x1115 + 0 x1116 + 0 x1117 + 0 x1118 + 0 x1119 + 0 x1120 + 0 x1121 + 0 x1122 + 0 x1123 + 0 x1124 + 0 x1125 + 0 x1126 + 0 x1127 + 0 x1128 + 0 x1129 + 0 x1130 + 0 x1131 + 0 x1132 + 0 x1133 + 0 x1134 + 0 x1135 + 0 x1136 + 0 x1137 + 0 x1138 + 0 x1139 + 0 x1140 + 0 x1141 + 0 x1142 + 0 x1143 + 0 x1144 + 0 x1145 + 0 x1146 + 0 x1147 + 0 x1148 + 0 x1149 + 0 x1150 + 0 x1151 + 0 x1152 + 0 x1153 + 0 x1154 + 0 x1155 + 0 x1156 + 0 x1157 + 0 x1158 + 0 x1159 + 0 x1160 + 0 x1161 + 0 x1162 + 0 x1163 + 0 x1164 + 0 x1165 + 0 x1166 + 0 x1167 + 0 x1168 + 0 x1169 + 0 x1170 + 0 x1171 + 0 x1172 + 0 x1173 + 0 x1174 + 0 x1175 + 0 x1176 + 0 x1177 + 0 x1178 + 0 x1179 + 0 x1180 + 0 x1181 + 0 x1182 + 0 x1183 + 0 x1184 + 0 x1185 + 0 x1186 + 0 x1187 + 0 x1188 + 0 x1189 + 0 x1190 + 0 x1191 + 0 x1192 + 0 x1193 + 0 x1194 + 0 x1195 + 0 x1196 + 0 x1197 + 0 x1198 + 0 x1199 + 0 x1200 + 0 x1201 + 0 x1202 + 0 x1203 + 0 x1204 + 0 x1205 + 0 x1206 + 0 x1207 + 0 x1208 + 0 x1209 + 0 x1210 + 0 x1211 + 0 x1212 + 0 x1213 + 0 x1214 + 0 x1215 + 0 x1216 + 0 x1217 + 0 x1218 + 0 x1219 + 0 x1220 + 0 x1221 + 0 x1222 + 0 x1223 + 0 x1224 + 0 x1225 + 0 x1226 + 0 x1227 + 0 x1228 + 0 x1229 + 0 x1230 + 0 x1231 + 0 x1232 + 0 x1233 + 0 x1234 + 0 x1235 + 0 x1236 + 0 x1237 + 0 x1238 + 0 x1239 + 0 x1240 + 0 x1241 + 0 x1242 + 0 x1243 + 0 x1244 + 0 x1245 + 0 x1246 + 0 x1247 + 0 x1248 + 0 x1249 + 0 x1250 + 0 x1251 + 0 x1252 + 0 x1253 + 0 x1254 + 0 x1255 + 0 x1256 + 0 x1257 + 0 x1258 + 0 x1259 + 0 x1260 + 0 x1261 + 0 x1262 + 0 x1263 + 0 x1264 + 0 x1265 + 0 x1266 + 0 x1267 + 0 x1268 + 0 x1269 + 0 x1270 + 0 x1271 + 0 x1272 + 0 x1273 + 0 x1274 + 0 x1275 + 0 x1276 + 0 x1277 + 0 x1278 + 0 x1279 + 0 x1280 + 0 x1281 + 0 x1282 + 0 x1283 + 0 x1284 + 0 x1285 + 0 x1286 + 0 x1287 + 0 x1288 + 0 x1289 + 0 x1290 + 0 x1291 + 0 x1292 + 0 x1293 + 0 x1294 + 0 x1295 + 0 x1296 + 0 x1297 + 0 x1298 + 0 x1299 + 0 x1300 + 0 x1301 + 0 x1302 + 0 x1303 + 0 x1304 + 0 x1305 + 0 x1306 + 0 x1307 + 0 x1308 + 0 x1309 + 0 x1310 + 0 x1311 + 0 x1312 + 0 x1313 + 0 x1314 + 0 x1315 + 0 x1316 + 0 x1317 + 0 x1318 + 0 x1319 + 0 x1320 + 0 x1321 + 0 x1322 + 0 x1323 + 0 x1324 + 0 x1325 + 0 x1326 + 0 x1327 + 0 x1328 + 0 x1329 + 0 x1330 + 0 x1331 + 0 x1332 + 0 x1333 + 0 x1334 + 0 x1335 + 0 x1336 + 0 x1337 + 0 x1338 + 0 x1339 + 0 x1340 + 0 x1341 + 0 x1342 + 0 x1343 + 0 x1344 + 0 x1345 + 0 x1346 + 0 x1347 + 0 x1348 + 0 x1349 + 0 x1350 + 0 x1351 + 0 x1352 + 0 x1353 + 0 x1354 + 0 x1355 + 0 x1356 + 0 x1357 + 0 x1358 + 0 x1359 + 0 x1360 + 0 x1361 + 0 x1362 + 0 x1363 + 0 x1364 + 0 x1365 + 0 x1366 + 0 x1367 + 0 x1368 + 0 x1369 + 0 x1370 + 0 x1371 + 0 x1372 + 0 x1373 + 0 x1374 + 0 x1375 + 0 x1376 + 0 x1377 + 0 x1378 + 0 x1379 + 0 x1380 + 0 x1381 + 0 x1382 + 0 x1383 + 0 x1384 + 0 x1385 + 0 x1386 + 0 x1387 + 0 x1388 + 0 x1389 + 0 x1390 + 0 x1391 + 0 x1392 + 0 x1393 + 0 x1394 + 0 x1395 + 0 x1396 + 0 x1397 + 0 x1398 + 0 x1399 + 0 x1400 + 0 x1401 + 0 x1402 + 0 x1403 + 0 x1404 + 0 x1405 + 0 x1406 + 0 x1407 + 0 x1408 + 0 x1409 + 0 x1410 + 0 x1411 + 0 x1412 + 0 x1413 + 0 x1414 + 0 x1415 + 0 x1416 + 0 x1417 + 0 x1418 + 0 x1419 + 0 x1420 + 0 x1421 + 0 x1422 + 0 x1423 + 0 x1424 + 0 x1425 + 0 x1426 + 0 x1427 + 0 x1428 + 0 x1429 + 0 x1430 + 0 x1431 + 0 x1432 + 0 x1433 + 0 x1434 + 0 x1435 + 0 x1436 + 0 x1437 + 0 x1438 + 0 x1439 + 0 x1440 + 0 x1441 + 0 x1442 + 0 x1443 + 0 x1444 + 0 x1445 + 0 x1446 + 0 x1447 + 0 x1448 + 0 x1449 + 0 x1450 + 0 x1451 + 0 x1452 + 0 x1453 + 0 x1454 + 0 x1455 + 0 x1456 + 0 x1457 + 0 x1458 + 0 x1459 + 0 x1460 + 0 x1461 + 0 x1462 + 0 x1463 + 0 x1464 + 0 x1465 + 0 x1466 + 0 x1467 + 0 x1468 + 0 x1469 + 0 x1470 + 0 x1471 + 0 x1472 + 0 x1473 + 0 x1474 + 0 x1475 + 0 x1476 + 0 x1477 + 0 x1478 + 0 x1479 + 0 x1480 + 0 x1481 + 0 x1482 + 0 x1483 + 0 x1484 + 0 x1485 + 0 x1486 + 0 x1487 + 0 x1488 + 0 x1489 + 0 x1490 + 0 x1491 + 0 x1492 + 0 x1493 + 0 x1494 + 0 x1495 + 0 x1496 + 0 x1497 + 0 x1498 + 0 x1499 + 0 x1500 + 0 x1501 + 0 x1502 + 0 x1503 + 0 x1504 + 0 x1505 + 0 x1506 + 0 x1507 + 0 x1508 + 0 x1509 + 0 x1510 + 0 x1511 + 0 x1512 + 0 x1513 + 0 x1514 + 0 x1515 + 0 x1516 + 0 x1517 + 0 x1518 + 0 x1519 + 0 x1520 + 0 x1521 + 0 x1522 + 0 x1523 + 0 x1524 + 0 x1525 + 0 x1526 + 0 x1527 + 0 x1528 + 0 x1529 + 0 x1530 + 0 x1531 + 0 x1532 + 0 x1533 + 0 x1534 + 0 x1535 + 0 x1536 + 0 x1537 + 0 x1538 + 0 x1539 + 0 x1540 + 0 x1541 + 0 x1542 + 0 x1543 + 0 x1544 + 0 x1545 + 0 x1546 + 0 x1547 + 0 x1548 + 0 x1549 + 0 x1550 + 0 x1551 + 0 x1552 + 0 x1553 + 0 x1554 + 0 x1555 + 0 x1556 + 0 x1557 + 0 x1558 + 0 x1559 + 0 x1560 + 0 x1561 + 0 x1562 + 0 x1563 + 0 x1564 + 0 x1565 + 0 x1566 + 0 x1567 + 0 x1568 + 0 x1569 + 0 x1570 + 0 x1571 + 0 x1572 + 0 x1573 + 0 x1574 + 0 x1575 + 0 x1576 + 0 x1577 + 0 x1578 + 0 x1579 + 0 x1580 + 0 x1581 + 0 x1582 + 0 x1583 + 0 x1584 + 0 x1585 + 0 x1586 + 0 x1587 + 0 x1588 + 0 x1589 + 0 x1590 + 0 x1591 + 0 x1592 + 0 x1593 + 0 x1594 + 0 x1595 + 0 x1596 + 0 x1597 + 0 x1598 + 0 x1599 + 0 x1600 + 0 x1601 + 0 x1602 + 0 x1603 + 0 x1604 + 0 x1605 + 0 x1606 + 0 x1607 + 0 x1608 + 0 x1609 + 0 x1610 + 0 x1611 Subject To e2: - x1 + x550 = -.171747132 e3: - x2 + x551 = -.843266708 e4: - x3 + x552 = -.171747132 e5: - x4 + x553 = -.843266708 e6: - x5 + x554 = -.171747132 e7: - x6 + x555 = -.843266708 e8: - x7 + x556 = -.171747132 e9: - x8 + x557 = -.843266708 e10: - x9 + x558 = -.171747132 e11: - x10 + x559 = -.843266708 e12: - x11 + x560 = -.171747132 e13: - x12 + x561 = -.843266708 e14: - x13 + x562 = -.171747132 e15: - x14 + x563 = -.843266708 e16: - x15 + x564 = -.171747132 e17: - x16 + x565 = -.843266708 e18: - x17 + x566 = -.171747132 e19: - x18 + x567 = -.843266708 e20: - x1 + x568 = -.550375356 e21: - x2 + x569 = -.301137904 e22: - x3 + x570 = -.550375356 e23: - x4 + x571 = -.301137904 e24: - x5 + x572 = -.550375356 e25: - x6 + x573 = -.301137904 e26: - x7 + x574 = -.550375356 e27: - x8 + x575 = -.301137904 e28: - x9 + x576 = -.550375356 e29: - x10 + x577 = -.301137904 e30: - x11 + x578 = -.550375356 e31: - x12 + x579 = -.301137904 e32: - x13 + x580 = -.550375356 e33: - x14 + x581 = -.301137904 e34: - x15 + x582 = -.550375356 e35: - x16 + x583 = -.301137904 e36: - x17 + x584 = -.550375356 e37: - x18 + x585 = -.301137904 e38: - x1 + x586 = -.292212117 e39: - x2 + x587 = -.224052867 e40: - x3 + x588 = -.292212117 e41: - x4 + x589 = -.224052867 e42: - x5 + x590 = -.292212117 e43: - x6 + x591 = -.224052867 e44: - x7 + x592 = -.292212117 e45: - x8 + x593 = -.224052867 e46: - x9 + x594 = -.292212117 e47: - x10 + x595 = -.224052867 e48: - x11 + x596 = -.292212117 e49: - x12 + x597 = -.224052867 e50: - x13 + x598 = -.292212117 e51: - x14 + x599 = -.224052867 e52: - x15 + x600 = -.292212117 e53: - x16 + x601 = -.224052867 e54: - x17 + x602 = -.292212117 e55: - x18 + x603 = -.224052867 e56: - x1 + x604 = -.349830504 e57: - x2 + x605 = -.856270347 e58: - x3 + x606 = -.349830504 e59: - x4 + x607 = -.856270347 e60: - x5 + x608 = -.349830504 e61: - x6 + x609 = -.856270347 e62: - x7 + x610 = -.349830504 e63: - x8 + x611 = -.856270347 e64: - x9 + x612 = -.349830504 e65: - x10 + x613 = -.856270347 e66: - x11 + x614 = -.349830504 e67: - x12 + x615 = -.856270347 e68: - x13 + x616 = -.349830504 e69: - x14 + x617 = -.856270347 e70: - x15 + x618 = -.349830504 e71: - x16 + x619 = -.856270347 e72: - x17 + x620 = -.349830504 e73: - x18 + x621 = -.856270347 e74: - x1 + x622 = -6.7113723e-2 e75: - x2 + x623 = -.500210669 e76: - x3 + x624 = -6.7113723e-2 e77: - x4 + x625 = -.500210669 e78: - x5 + x626 = -6.7113723e-2 e79: - x6 + x627 = -.500210669 e80: - x7 + x628 = -6.7113723e-2 e81: - x8 + x629 = -.500210669 e82: - x9 + x630 = -6.7113723e-2 e83: - x10 + x631 = -.500210669 e84: - x11 + x632 = -6.7113723e-2 e85: - x12 + x633 = -.500210669 e86: - x13 + x634 = -6.7113723e-2 e87: - x14 + x635 = -.500210669 e88: - x15 + x636 = -6.7113723e-2 e89: - x16 + x637 = -.500210669 e90: - x17 + x638 = -6.7113723e-2 e91: - x18 + x639 = -.500210669 e92: - x1 + x640 = -.998117627 e93: - x2 + x641 = -.578733378 e94: - x3 + x642 = -.998117627 e95: - x4 + x643 = -.578733378 e96: - x5 + x644 = -.998117627 e97: - x6 + x645 = -.578733378 e98: - x7 + x646 = -.998117627 e99: - x8 + x647 = -.578733378 e100: - x9 + x648 = -.998117627 e101: - x10 + x649 = -.578733378 e102: - x11 + x650 = -.998117627 e103: - x12 + x651 = -.578733378 e104: - x13 + x652 = -.998117627 e105: - x14 + x653 = -.578733378 e106: - x15 + x654 = -.998117627 e107: - x16 + x655 = -.578733378 e108: - x17 + x656 = -.998117627 e109: - x18 + x657 = -.578733378 e110: - x1 + x658 = -.991133039 e111: - x2 + x659 = -.762250467 e112: - x3 + x660 = -.991133039 e113: - x4 + x661 = -.762250467 e114: - x5 + x662 = -.991133039 e115: - x6 + x663 = -.762250467 e116: - x7 + x664 = -.991133039 e117: - x8 + x665 = -.762250467 e118: - x9 + x666 = -.991133039 e119: - x10 + x667 = -.762250467 e120: - x11 + x668 = -.991133039 e121: - x12 + x669 = -.762250467 e122: - x13 + x670 = -.991133039 e123: - x14 + x671 = -.762250467 e124: - x15 + x672 = -.991133039 e125: - x16 + x673 = -.762250467 e126: - x17 + x674 = -.991133039 e127: - x18 + x675 = -.762250467 e128: - x1 + x676 = -.130692483 e129: - x2 + x677 = -.639718759 e130: - x3 + x678 = -.130692483 e131: - x4 + x679 = -.639718759 e132: - x5 + x680 = -.130692483 e133: - x6 + x681 = -.639718759 e134: - x7 + x682 = -.130692483 e135: - x8 + x683 = -.639718759 e136: - x9 + x684 = -.130692483 e137: - x10 + x685 = -.639718759 e138: - x11 + x686 = -.130692483 e139: - x12 + x687 = -.639718759 e140: - x13 + x688 = -.130692483 e141: - x14 + x689 = -.639718759 e142: - x15 + x690 = -.130692483 e143: - x16 + x691 = -.639718759 e144: - x17 + x692 = -.130692483 e145: - x18 + x693 = -.639718759 e146: - x1 + x694 = -.159517864 e147: - x2 + x695 = -.250080533 e148: - x3 + x696 = -.159517864 e149: - x4 + x697 = -.250080533 e150: - x5 + x698 = -.159517864 e151: - x6 + x699 = -.250080533 e152: - x7 + x700 = -.159517864 e153: - x8 + x701 = -.250080533 e154: - x9 + x702 = -.159517864 e155: - x10 + x703 = -.250080533 e156: - x11 + x704 = -.159517864 e157: - x12 + x705 = -.250080533 e158: - x13 + x706 = -.159517864 e159: - x14 + x707 = -.250080533 e160: - x15 + x708 = -.159517864 e161: - x16 + x709 = -.250080533 e162: - x17 + x710 = -.159517864 e163: - x18 + x711 = -.250080533 e164: - x1 + x712 = -.668928609 e165: - x2 + x713 = -.435356381 e166: - x3 + x714 = -.668928609 e167: - x4 + x715 = -.435356381 e168: - x5 + x716 = -.668928609 e169: - x6 + x717 = -.435356381 e170: - x7 + x718 = -.668928609 e171: - x8 + x719 = -.435356381 e172: - x9 + x720 = -.668928609 e173: - x10 + x721 = -.435356381 e174: - x11 + x722 = -.668928609 e175: - x12 + x723 = -.435356381 e176: - x13 + x724 = -.668928609 e177: - x14 + x725 = -.435356381 e178: - x15 + x726 = -.668928609 e179: - x16 + x727 = -.435356381 e180: - x17 + x728 = -.668928609 e181: - x18 + x729 = -.435356381 e182: - x1 + x730 = -.359700266 e183: - x2 + x731 = -.351441368 e184: - x3 + x732 = -.359700266 e185: - x4 + x733 = -.351441368 e186: - x5 + x734 = -.359700266 e187: - x6 + x735 = -.351441368 e188: - x7 + x736 = -.359700266 e189: - x8 + x737 = -.351441368 e190: - x9 + x738 = -.359700266 e191: - x10 + x739 = -.351441368 e192: - x11 + x740 = -.359700266 e193: - x12 + x741 = -.351441368 e194: - x13 + x742 = -.359700266 e195: - x14 + x743 = -.351441368 e196: - x15 + x744 = -.359700266 e197: - x16 + x745 = -.351441368 e198: - x17 + x746 = -.359700266 e199: - x18 + x747 = -.351441368 e200: - x1 + x748 = -.13149159 e201: - x2 + x749 = -.150101788 e202: - x3 + x750 = -.13149159 e203: - x4 + x751 = -.150101788 e204: - x5 + x752 = -.13149159 e205: - x6 + x753 = -.150101788 e206: - x7 + x754 = -.13149159 e207: - x8 + x755 = -.150101788 e208: - x9 + x756 = -.13149159 e209: - x10 + x757 = -.150101788 e210: - x11 + x758 = -.13149159 e211: - x12 + x759 = -.150101788 e212: - x13 + x760 = -.13149159 e213: - x14 + x761 = -.150101788 e214: - x15 + x762 = -.13149159 e215: - x16 + x763 = -.150101788 e216: - x17 + x764 = -.13149159 e217: - x18 + x765 = -.150101788 e218: - x1 + x766 = -.58911365 e219: - x2 + x767 = -.830892812 e220: - x3 + x768 = -.58911365 e221: - x4 + x769 = -.830892812 e222: - x5 + x770 = -.58911365 e223: - x6 + x771 = -.830892812 e224: - x7 + x772 = -.58911365 e225: - x8 + x773 = -.830892812 e226: - x9 + x774 = -.58911365 e227: - x10 + x775 = -.830892812 e228: - x11 + x776 = -.58911365 e229: - x12 + x777 = -.830892812 e230: - x13 + x778 = -.58911365 e231: - x14 + x779 = -.830892812 e232: - x15 + x780 = -.58911365 e233: - x16 + x781 = -.830892812 e234: - x17 + x782 = -.58911365 e235: - x18 + x783 = -.830892812 e236: - x1 + x784 = -.230815738 e237: - x2 + x785 = -.66573446 e238: - x3 + x786 = -.230815738 e239: - x4 + x787 = -.66573446 e240: - x5 + x788 = -.230815738 e241: - x6 + x789 = -.66573446 e242: - x7 + x790 = -.230815738 e243: - x8 + x791 = -.66573446 e244: - x9 + x792 = -.230815738 e245: - x10 + x793 = -.66573446 e246: - x11 + x794 = -.230815738 e247: - x12 + x795 = -.66573446 e248: - x13 + x796 = -.230815738 e249: - x14 + x797 = -.66573446 e250: - x15 + x798 = -.230815738 e251: - x16 + x799 = -.66573446 e252: - x17 + x800 = -.230815738 e253: - x18 + x801 = -.66573446 e254: - x1 + x802 = -.775857606 e255: - x2 + x803 = -.303658477 e256: - x3 + x804 = -.775857606 e257: - x4 + x805 = -.303658477 e258: - x5 + x806 = -.775857606 e259: - x6 + x807 = -.303658477 e260: - x7 + x808 = -.775857606 e261: - x8 + x809 = -.303658477 e262: - x9 + x810 = -.775857606 e263: - x10 + x811 = -.303658477 e264: - x11 + x812 = -.775857606 e265: - x12 + x813 = -.303658477 e266: - x13 + x814 = -.775857606 e267: - x14 + x815 = -.303658477 e268: - x15 + x816 = -.775857606 e269: - x16 + x817 = -.303658477 e270: - x17 + x818 = -.775857606 e271: - x18 + x819 = -.303658477 e272: - x1 + x820 = -.110492291 e273: - x2 + x821 = -.502384866 e274: - x3 + x822 = -.110492291 e275: - x4 + x823 = -.502384866 e276: - x5 + x824 = -.110492291 e277: - x6 + x825 = -.502384866 e278: - x7 + x826 = -.110492291 e279: - x8 + x827 = -.502384866 e280: - x9 + x828 = -.110492291 e281: - x10 + x829 = -.502384866 e282: - x11 + x830 = -.110492291 e283: - x12 + x831 = -.502384866 e284: - x13 + x832 = -.110492291 e285: - x14 + x833 = -.502384866 e286: - x15 + x834 = -.110492291 e287: - x16 + x835 = -.502384866 e288: - x17 + x836 = -.110492291 e289: - x18 + x837 = -.502384866 e290: - x1 + x838 = -.160172762 e291: - x2 + x839 = -.872462311 e292: - x3 + x840 = -.160172762 e293: - x4 + x841 = -.872462311 e294: - x5 + x842 = -.160172762 e295: - x6 + x843 = -.872462311 e296: - x7 + x844 = -.160172762 e297: - x8 + x845 = -.872462311 e298: - x9 + x846 = -.160172762 e299: - x10 + x847 = -.872462311 e300: - x11 + x848 = -.160172762 e301: - x12 + x849 = -.872462311 e302: - x13 + x850 = -.160172762 e303: - x14 + x851 = -.872462311 e304: - x15 + x852 = -.160172762 e305: - x16 + x853 = -.872462311 e306: - x17 + x854 = -.160172762 e307: - x18 + x855 = -.872462311 e308: - x1 + x856 = -.265114545 e309: - x2 + x857 = -.285814322 e310: - x3 + x858 = -.265114545 e311: - x4 + x859 = -.285814322 e312: - x5 + x860 = -.265114545 e313: - x6 + x861 = -.285814322 e314: - x7 + x862 = -.265114545 e315: - x8 + x863 = -.285814322 e316: - x9 + x864 = -.265114545 e317: - x10 + x865 = -.285814322 e318: - x11 + x866 = -.265114545 e319: - x12 + x867 = -.285814322 e320: - x13 + x868 = -.265114545 e321: - x14 + x869 = -.285814322 e322: - x15 + x870 = -.265114545 e323: - x16 + x871 = -.285814322 e324: - x17 + x872 = -.265114545 e325: - x18 + x873 = -.285814322 e326: - x1 + x874 = -.593955922 e327: - x2 + x875 = -.722719071 e328: - x3 + x876 = -.593955922 e329: - x4 + x877 = -.722719071 e330: - x5 + x878 = -.593955922 e331: - x6 + x879 = -.722719071 e332: - x7 + x880 = -.593955922 e333: - x8 + x881 = -.722719071 e334: - x9 + x882 = -.593955922 e335: - x10 + x883 = -.722719071 e336: - x11 + x884 = -.593955922 e337: - x12 + x885 = -.722719071 e338: - x13 + x886 = -.593955922 e339: - x14 + x887 = -.722719071 e340: - x15 + x888 = -.593955922 e341: - x16 + x889 = -.722719071 e342: - x17 + x890 = -.593955922 e343: - x18 + x891 = -.722719071 e344: - x1 + x892 = -.628248677 e345: - x2 + x893 = -.463797865 e346: - x3 + x894 = -.628248677 e347: - x4 + x895 = -.463797865 e348: - x5 + x896 = -.628248677 e349: - x6 + x897 = -.463797865 e350: - x7 + x898 = -.628248677 e351: - x8 + x899 = -.463797865 e352: - x9 + x900 = -.628248677 e353: - x10 + x901 = -.463797865 e354: - x11 + x902 = -.628248677 e355: - x12 + x903 = -.463797865 e356: - x13 + x904 = -.628248677 e357: - x14 + x905 = -.463797865 e358: - x15 + x906 = -.628248677 e359: - x16 + x907 = -.463797865 e360: - x17 + x908 = -.628248677 e361: - x18 + x909 = -.463797865 e362: - x1 + x910 = -.413306994 e363: - x2 + x911 = -.117695357 e364: - x3 + x912 = -.413306994 e365: - x4 + x913 = -.117695357 e366: - x5 + x914 = -.413306994 e367: - x6 + x915 = -.117695357 e368: - x7 + x916 = -.413306994 e369: - x8 + x917 = -.117695357 e370: - x9 + x918 = -.413306994 e371: - x10 + x919 = -.117695357 e372: - x11 + x920 = -.413306994 e373: - x12 + x921 = -.117695357 e374: - x13 + x922 = -.413306994 e375: - x14 + x923 = -.117695357 e376: - x15 + x924 = -.413306994 e377: - x16 + x925 = -.117695357 e378: - x17 + x926 = -.413306994 e379: - x18 + x927 = -.117695357 e380: - x1 + x928 = -.314212267 e381: - x2 + x929 = -4.6551514e-2 e382: - x3 + x930 = -.314212267 e383: - x4 + x931 = -4.6551514e-2 e384: - x5 + x932 = -.314212267 e385: - x6 + x933 = -4.6551514e-2 e386: - x7 + x934 = -.314212267 e387: - x8 + x935 = -4.6551514e-2 e388: - x9 + x936 = -.314212267 e389: - x10 + x937 = -4.6551514e-2 e390: - x11 + x938 = -.314212267 e391: - x12 + x939 = -4.6551514e-2 e392: - x13 + x940 = -.314212267 e393: - x14 + x941 = -4.6551514e-2 e394: - x15 + x942 = -.314212267 e395: - x16 + x943 = -4.6551514e-2 e396: - x17 + x944 = -.314212267 e397: - x18 + x945 = -4.6551514e-2 e398: - x1 + x946 = -.338550272 e399: - x2 + x947 = -.182099593 e400: - x3 + x948 = -.338550272 e401: - x4 + x949 = -.182099593 e402: - x5 + x950 = -.338550272 e403: - x6 + x951 = -.182099593 e404: - x7 + x952 = -.338550272 e405: - x8 + x953 = -.182099593 e406: - x9 + x954 = -.338550272 e407: - x10 + x955 = -.182099593 e408: - x11 + x956 = -.338550272 e409: - x12 + x957 = -.182099593 e410: - x13 + x958 = -.338550272 e411: - x14 + x959 = -.182099593 e412: - x15 + x960 = -.338550272 e413: - x16 + x961 = -.182099593 e414: - x17 + x962 = -.338550272 e415: - x18 + x963 = -.182099593 e416: - x1 + x964 = -.645727127 e417: - x2 + x965 = -.560745547 e418: - x3 + x966 = -.645727127 e419: - x4 + x967 = -.560745547 e420: - x5 + x968 = -.645727127 e421: - x6 + x969 = -.560745547 e422: - x7 + x970 = -.645727127 e423: - x8 + x971 = -.560745547 e424: - x9 + x972 = -.645727127 e425: - x10 + x973 = -.560745547 e426: - x11 + x974 = -.645727127 e427: - x12 + x975 = -.560745547 e428: - x13 + x976 = -.645727127 e429: - x14 + x977 = -.560745547 e430: - x15 + x978 = -.645727127 e431: - x16 + x979 = -.560745547 e432: - x17 + x980 = -.645727127 e433: - x18 + x981 = -.560745547 e434: - x1 + x982 = -.76996172 e435: - x2 + x983 = -.297805864 e436: - x3 + x984 = -.76996172 e437: - x4 + x985 = -.297805864 e438: - x5 + x986 = -.76996172 e439: - x6 + x987 = -.297805864 e440: - x7 + x988 = -.76996172 e441: - x8 + x989 = -.297805864 e442: - x9 + x990 = -.76996172 e443: - x10 + x991 = -.297805864 e444: - x11 + x992 = -.76996172 e445: - x12 + x993 = -.297805864 e446: - x13 + x994 = -.76996172 e447: - x14 + x995 = -.297805864 e448: - x15 + x996 = -.76996172 e449: - x16 + x997 = -.297805864 e450: - x17 + x998 = -.76996172 e451: - x18 + x999 = -.297805864 e452: - x1 + x1000 = -.661106261 e453: - x2 + x1001 = -.755821674 e454: - x3 + x1002 = -.661106261 e455: - x4 + x1003 = -.755821674 e456: - x5 + x1004 = -.661106261 e457: - x6 + x1005 = -.755821674 e458: - x7 + x1006 = -.661106261 e459: - x8 + x1007 = -.755821674 e460: - x9 + x1008 = -.661106261 e461: - x10 + x1009 = -.755821674 e462: - x11 + x1010 = -.661106261 e463: - x12 + x1011 = -.755821674 e464: - x13 + x1012 = -.661106261 e465: - x14 + x1013 = -.755821674 e466: - x15 + x1014 = -.661106261 e467: - x16 + x1015 = -.755821674 e468: - x17 + x1016 = -.661106261 e469: - x18 + x1017 = -.755821674 e470: - x1 + x1018 = -.627447499 e471: - x2 + x1019 = -.283864198 e472: - x3 + x1020 = -.627447499 e473: - x4 + x1021 = -.283864198 e474: - x5 + x1022 = -.627447499 e475: - x6 + x1023 = -.283864198 e476: - x7 + x1024 = -.627447499 e477: - x8 + x1025 = -.283864198 e478: - x9 + x1026 = -.627447499 e479: - x10 + x1027 = -.283864198 e480: - x11 + x1028 = -.627447499 e481: - x12 + x1029 = -.283864198 e482: - x13 + x1030 = -.627447499 e483: - x14 + x1031 = -.283864198 e484: - x15 + x1032 = -.627447499 e485: - x16 + x1033 = -.283864198 e486: - x17 + x1034 = -.627447499 e487: - x18 + x1035 = -.283864198 e488: - x1 + x1036 = -8.6424624e-2 e489: - x2 + x1037 = -.102514669 e490: - x3 + x1038 = -8.6424624e-2 e491: - x4 + x1039 = -.102514669 e492: - x5 + x1040 = -8.6424624e-2 e493: - x6 + x1041 = -.102514669 e494: - x7 + x1042 = -8.6424624e-2 e495: - x8 + x1043 = -.102514669 e496: - x9 + x1044 = -8.6424624e-2 e497: - x10 + x1045 = -.102514669 e498: - x11 + x1046 = -8.6424624e-2 e499: - x12 + x1047 = -.102514669 e500: - x13 + x1048 = -8.6424624e-2 e501: - x14 + x1049 = -.102514669 e502: - x15 + x1050 = -8.6424624e-2 e503: - x16 + x1051 = -.102514669 e504: - x17 + x1052 = -8.6424624e-2 e505: - x18 + x1053 = -.102514669 e506: - x1 + x1054 = -.641251151 e507: - x2 + x1055 = -.545309498 e508: - x3 + x1056 = -.641251151 e509: - x4 + x1057 = -.545309498 e510: - x5 + x1058 = -.641251151 e511: - x6 + x1059 = -.545309498 e512: - x7 + x1060 = -.641251151 e513: - x8 + x1061 = -.545309498 e514: - x9 + x1062 = -.641251151 e515: - x10 + x1063 = -.545309498 e516: - x11 + x1064 = -.641251151 e517: - x12 + x1065 = -.545309498 e518: - x13 + x1066 = -.641251151 e519: - x14 + x1067 = -.545309498 e520: - x15 + x1068 = -.641251151 e521: - x16 + x1069 = -.545309498 e522: - x17 + x1070 = -.641251151 e523: - x18 + x1071 = -.545309498 e524: - x1 + x1072 = -3.1524852e-2 e525: - x2 + x1073 = -.792360642 e526: - x3 + x1074 = -3.1524852e-2 e527: - x4 + x1075 = -.792360642 e528: - x5 + x1076 = -3.1524852e-2 e529: - x6 + x1077 = -.792360642 e530: - x7 + x1078 = -3.1524852e-2 e531: - x8 + x1079 = -.792360642 e532: - x9 + x1080 = -3.1524852e-2 e533: - x10 + x1081 = -.792360642 e534: - x11 + x1082 = -3.1524852e-2 e535: - x12 + x1083 = -.792360642 e536: - x13 + x1084 = -3.1524852e-2 e537: - x14 + x1085 = -.792360642 e538: - x15 + x1086 = -3.1524852e-2 e539: - x16 + x1087 = -.792360642 e540: - x17 + x1088 = -3.1524852e-2 e541: - x18 + x1089 = -.792360642 e542: - x1 + x1090 = -7.2766998e-2 e543: - x2 + x1091 = -.175661049 e544: - x3 + x1092 = -7.2766998e-2 e545: - x4 + x1093 = -.175661049 e546: - x5 + x1094 = -7.2766998e-2 e547: - x6 + x1095 = -.175661049 e548: - x7 + x1096 = -7.2766998e-2 e549: - x8 + x1097 = -.175661049 e550: - x9 + x1098 = -7.2766998e-2 e551: - x10 + x1099 = -.175661049 e552: - x11 + x1100 = -7.2766998e-2 e553: - x12 + x1101 = -.175661049 e554: - x13 + x1102 = -7.2766998e-2 e555: - x14 + x1103 = -.175661049 e556: - x15 + x1104 = -7.2766998e-2 e557: - x16 + x1105 = -.175661049 e558: - x17 + x1106 = -7.2766998e-2 e559: - x18 + x1107 = -.175661049 e560: - x1 + x1108 = -.525632613 e561: - x2 + x1109 = -.750207669 e562: - x3 + x1110 = -.525632613 e563: - x4 + x1111 = -.750207669 e564: - x5 + x1112 = -.525632613 e565: - x6 + x1113 = -.750207669 e566: - x7 + x1114 = -.525632613 e567: - x8 + x1115 = -.750207669 e568: - x9 + x1116 = -.525632613 e569: - x10 + x1117 = -.750207669 e570: - x11 + x1118 = -.525632613 e571: - x12 + x1119 = -.750207669 e572: - x13 + x1120 = -.525632613 e573: - x14 + x1121 = -.750207669 e574: - x15 + x1122 = -.525632613 e575: - x16 + x1123 = -.750207669 e576: - x17 + x1124 = -.525632613 e577: - x18 + x1125 = -.750207669 e578: - x1 + x1126 = -.178123714 e579: - x2 + x1127 = -3.4140986e-2 e580: - x3 + x1128 = -.178123714 e581: - x4 + x1129 = -3.4140986e-2 e582: - x5 + x1130 = -.178123714 e583: - x6 + x1131 = -3.4140986e-2 e584: - x7 + x1132 = -.178123714 e585: - x8 + x1133 = -3.4140986e-2 e586: - x9 + x1134 = -.178123714 e587: - x10 + x1135 = -3.4140986e-2 e588: - x11 + x1136 = -.178123714 e589: - x12 + x1137 = -3.4140986e-2 e590: - x13 + x1138 = -.178123714 e591: - x14 + x1139 = -3.4140986e-2 e592: - x15 + x1140 = -.178123714 e593: - x16 + x1141 = -3.4140986e-2 e594: - x17 + x1142 = -.178123714 e595: - x18 + x1143 = -3.4140986e-2 e596: - x1 + x1144 = -.585131173 e597: - x2 + x1145 = -.621229984 e598: - x3 + x1146 = -.585131173 e599: - x4 + x1147 = -.621229984 e600: - x5 + x1148 = -.585131173 e601: - x6 + x1149 = -.621229984 e602: - x7 + x1150 = -.585131173 e603: - x8 + x1151 = -.621229984 e604: - x9 + x1152 = -.585131173 e605: - x10 + x1153 = -.621229984 e606: - x11 + x1154 = -.585131173 e607: - x12 + x1155 = -.621229984 e608: - x13 + x1156 = -.585131173 e609: - x14 + x1157 = -.621229984 e610: - x15 + x1158 = -.585131173 e611: - x16 + x1159 = -.621229984 e612: - x17 + x1160 = -.585131173 e613: - x18 + x1161 = -.621229984 e614: - x1 + x1162 = -.3893619 e615: - x2 + x1163 = -.358714153 e616: - x3 + x1164 = -.3893619 e617: - x4 + x1165 = -.358714153 e618: - x5 + x1166 = -.3893619 e619: - x6 + x1167 = -.358714153 e620: - x7 + x1168 = -.3893619 e621: - x8 + x1169 = -.358714153 e622: - x9 + x1170 = -.3893619 e623: - x10 + x1171 = -.358714153 e624: - x11 + x1172 = -.3893619 e625: - x12 + x1173 = -.358714153 e626: - x13 + x1174 = -.3893619 e627: - x14 + x1175 = -.358714153 e628: - x15 + x1176 = -.3893619 e629: - x16 + x1177 = -.358714153 e630: - x17 + x1178 = -.3893619 e631: - x18 + x1179 = -.358714153 e632: - x1 + x1180 = -.243034617 e633: - x2 + x1181 = -.246421539 e634: - x3 + x1182 = -.243034617 e635: - x4 + x1183 = -.246421539 e636: - x5 + x1184 = -.243034617 e637: - x6 + x1185 = -.246421539 e638: - x7 + x1186 = -.243034617 e639: - x8 + x1187 = -.246421539 e640: - x9 + x1188 = -.243034617 e641: - x10 + x1189 = -.246421539 e642: - x11 + x1190 = -.243034617 e643: - x12 + x1191 = -.246421539 e644: - x13 + x1192 = -.243034617 e645: - x14 + x1193 = -.246421539 e646: - x15 + x1194 = -.243034617 e647: - x16 + x1195 = -.246421539 e648: - x17 + x1196 = -.243034617 e649: - x18 + x1197 = -.246421539 e650: - x1 + x1198 = -.130502803 e651: - x2 + x1199 = -.93344972 e652: - x3 + x1200 = -.130502803 e653: - x4 + x1201 = -.93344972 e654: - x5 + x1202 = -.130502803 e655: - x6 + x1203 = -.93344972 e656: - x7 + x1204 = -.130502803 e657: - x8 + x1205 = -.93344972 e658: - x9 + x1206 = -.130502803 e659: - x10 + x1207 = -.93344972 e660: - x11 + x1208 = -.130502803 e661: - x12 + x1209 = -.93344972 e662: - x13 + x1210 = -.130502803 e663: - x14 + x1211 = -.93344972 e664: - x15 + x1212 = -.130502803 e665: - x16 + x1213 = -.93344972 e666: - x17 + x1214 = -.130502803 e667: - x18 + x1215 = -.93344972 e668: - x1 + x1216 = -.379937906 e669: - x2 + x1217 = -.783400461 e670: - x3 + x1218 = -.379937906 e671: - x4 + x1219 = -.783400461 e672: - x5 + x1220 = -.379937906 e673: - x6 + x1221 = -.783400461 e674: - x7 + x1222 = -.379937906 e675: - x8 + x1223 = -.783400461 e676: - x9 + x1224 = -.379937906 e677: - x10 + x1225 = -.783400461 e678: - x11 + x1226 = -.379937906 e679: - x12 + x1227 = -.783400461 e680: - x13 + x1228 = -.379937906 e681: - x14 + x1229 = -.783400461 e682: - x15 + x1230 = -.379937906 e683: - x16 + x1231 = -.783400461 e684: - x17 + x1232 = -.379937906 e685: - x18 + x1233 = -.783400461 e686: - x1 + x1234 = -.300034258 e687: - x2 + x1235 = -.125483222 e688: - x3 + x1236 = -.300034258 e689: - x4 + x1237 = -.125483222 e690: - x5 + x1238 = -.300034258 e691: - x6 + x1239 = -.125483222 e692: - x7 + x1240 = -.300034258 e693: - x8 + x1241 = -.125483222 e694: - x9 + x1242 = -.300034258 e695: - x10 + x1243 = -.125483222 e696: - x11 + x1244 = -.300034258 e697: - x12 + x1245 = -.125483222 e698: - x13 + x1246 = -.300034258 e699: - x14 + x1247 = -.125483222 e700: - x15 + x1248 = -.300034258 e701: - x16 + x1249 = -.125483222 e702: - x17 + x1250 = -.300034258 e703: - x18 + x1251 = -.125483222 e704: - x1 + x1252 = -.748874105 e705: - x2 + x1253 = -6.9232463e-2 e706: - x3 + x1254 = -.748874105 e707: - x4 + x1255 = -6.9232463e-2 e708: - x5 + x1256 = -.748874105 e709: - x6 + x1257 = -6.9232463e-2 e710: - x7 + x1258 = -.748874105 e711: - x8 + x1259 = -6.9232463e-2 e712: - x9 + x1260 = -.748874105 e713: - x10 + x1261 = -6.9232463e-2 e714: - x11 + x1262 = -.748874105 e715: - x12 + x1263 = -6.9232463e-2 e716: - x13 + x1264 = -.748874105 e717: - x14 + x1265 = -6.9232463e-2 e718: - x15 + x1266 = -.748874105 e719: - x16 + x1267 = -6.9232463e-2 e720: - x17 + x1268 = -.748874105 e721: - x18 + x1269 = -6.9232463e-2 e722: - x1 + x1270 = -.202015557 e723: - x2 + x1271 = -5.065858e-3 e724: - x3 + x1272 = -.202015557 e725: - x4 + x1273 = -5.065858e-3 e726: - x5 + x1274 = -.202015557 e727: - x6 + x1275 = -5.065858e-3 e728: - x7 + x1276 = -.202015557 e729: - x8 + x1277 = -5.065858e-3 e730: - x9 + x1278 = -.202015557 e731: - x10 + x1279 = -5.065858e-3 e732: - x11 + x1280 = -.202015557 e733: - x12 + x1281 = -5.065858e-3 e734: - x13 + x1282 = -.202015557 e735: - x14 + x1283 = -5.065858e-3 e736: - x15 + x1284 = -.202015557 e737: - x16 + x1285 = -5.065858e-3 e738: - x17 + x1286 = -.202015557 e739: - x18 + x1287 = -5.065858e-3 e740: - x1 + x1288 = -.269613052 e741: - x2 + x1289 = -.499851475 e742: - x3 + x1290 = -.269613052 e743: - x4 + x1291 = -.499851475 e744: - x5 + x1292 = -.269613052 e745: - x6 + x1293 = -.499851475 e746: - x7 + x1294 = -.269613052 e747: - x8 + x1295 = -.499851475 e748: - x9 + x1296 = -.269613052 e749: - x10 + x1297 = -.499851475 e750: - x11 + x1298 = -.269613052 e751: - x12 + x1299 = -.499851475 e752: - x13 + x1300 = -.269613052 e753: - x14 + x1301 = -.499851475 e754: - x15 + x1302 = -.269613052 e755: - x16 + x1303 = -.499851475 e756: - x17 + x1304 = -.269613052 e757: - x18 + x1305 = -.499851475 e758: - x1 + x1306 = -.151285869 e759: - x2 + x1307 = -.174169455 e760: - x3 + x1308 = -.151285869 e761: - x4 + x1309 = -.174169455 e762: - x5 + x1310 = -.151285869 e763: - x6 + x1311 = -.174169455 e764: - x7 + x1312 = -.151285869 e765: - x8 + x1313 = -.174169455 e766: - x9 + x1314 = -.151285869 e767: - x10 + x1315 = -.174169455 e768: - x11 + x1316 = -.151285869 e769: - x12 + x1317 = -.174169455 e770: - x13 + x1318 = -.151285869 e771: - x14 + x1319 = -.174169455 e772: - x15 + x1320 = -.151285869 e773: - x16 + x1321 = -.174169455 e774: - x17 + x1322 = -.151285869 e775: - x18 + x1323 = -.174169455 e776: - x1 + x1324 = -.330637734 e777: - x2 + x1325 = -.316906054 e778: - x3 + x1326 = -.330637734 e779: - x4 + x1327 = -.316906054 e780: - x5 + x1328 = -.330637734 e781: - x6 + x1329 = -.316906054 e782: - x7 + x1330 = -.330637734 e783: - x8 + x1331 = -.316906054 e784: - x9 + x1332 = -.330637734 e785: - x10 + x1333 = -.316906054 e786: - x11 + x1334 = -.330637734 e787: - x12 + x1335 = -.316906054 e788: - x13 + x1336 = -.330637734 e789: - x14 + x1337 = -.316906054 e790: - x15 + x1338 = -.330637734 e791: - x16 + x1339 = -.316906054 e792: - x17 + x1340 = -.330637734 e793: - x18 + x1341 = -.316906054 e794: - x1 + x1342 = -.322086955 e795: - x2 + x1343 = -.963976641 e796: - x3 + x1344 = -.322086955 e797: - x4 + x1345 = -.963976641 e798: - x5 + x1346 = -.322086955 e799: - x6 + x1347 = -.963976641 e800: - x7 + x1348 = -.322086955 e801: - x8 + x1349 = -.963976641 e802: - x9 + x1350 = -.322086955 e803: - x10 + x1351 = -.963976641 e804: - x11 + x1352 = -.322086955 e805: - x12 + x1353 = -.963976641 e806: - x13 + x1354 = -.322086955 e807: - x14 + x1355 = -.963976641 e808: - x15 + x1356 = -.322086955 e809: - x16 + x1357 = -.963976641 e810: - x17 + x1358 = -.322086955 e811: - x18 + x1359 = -.963976641 e812: - x1 + x1360 = -.993602205 e813: - x2 + x1361 = -.369903055 e814: - x3 + x1362 = -.993602205 e815: - x4 + x1363 = -.369903055 e816: - x5 + x1364 = -.993602205 e817: - x6 + x1365 = -.369903055 e818: - x7 + x1366 = -.993602205 e819: - x8 + x1367 = -.369903055 e820: - x9 + x1368 = -.993602205 e821: - x10 + x1369 = -.369903055 e822: - x11 + x1370 = -.993602205 e823: - x12 + x1371 = -.369903055 e824: - x13 + x1372 = -.993602205 e825: - x14 + x1373 = -.369903055 e826: - x15 + x1374 = -.993602205 e827: - x16 + x1375 = -.369903055 e828: - x17 + x1376 = -.993602205 e829: - x18 + x1377 = -.369903055 e830: - x1 + x1378 = -.372888567 e831: - x2 + x1379 = -.77197833 e832: - x3 + x1380 = -.372888567 e833: - x4 + x1381 = -.77197833 e834: - x5 + x1382 = -.372888567 e835: - x6 + x1383 = -.77197833 e836: - x7 + x1384 = -.372888567 e837: - x8 + x1385 = -.77197833 e838: - x9 + x1386 = -.372888567 e839: - x10 + x1387 = -.77197833 e840: - x11 + x1388 = -.372888567 e841: - x12 + x1389 = -.77197833 e842: - x13 + x1390 = -.372888567 e843: - x14 + x1391 = -.77197833 e844: - x15 + x1392 = -.372888567 e845: - x16 + x1393 = -.77197833 e846: - x17 + x1394 = -.372888567 e847: - x18 + x1395 = -.77197833 e848: - x1 + x1396 = -.396684142 e849: - x2 + x1397 = -.913096325 e850: - x3 + x1398 = -.396684142 e851: - x4 + x1399 = -.913096325 e852: - x5 + x1400 = -.396684142 e853: - x6 + x1401 = -.913096325 e854: - x7 + x1402 = -.396684142 e855: - x8 + x1403 = -.913096325 e856: - x9 + x1404 = -.396684142 e857: - x10 + x1405 = -.913096325 e858: - x11 + x1406 = -.396684142 e859: - x12 + x1407 = -.913096325 e860: - x13 + x1408 = -.396684142 e861: - x14 + x1409 = -.913096325 e862: - x15 + x1410 = -.396684142 e863: - x16 + x1411 = -.913096325 e864: - x17 + x1412 = -.396684142 e865: - x18 + x1413 = -.913096325 e866: - x1 + x1414 = -.11957773 e867: - x2 + x1415 = -.735478889 e868: - x3 + x1416 = -.11957773 e869: - x4 + x1417 = -.735478889 e870: - x5 + x1418 = -.11957773 e871: - x6 + x1419 = -.735478889 e872: - x7 + x1420 = -.11957773 e873: - x8 + x1421 = -.735478889 e874: - x9 + x1422 = -.11957773 e875: - x10 + x1423 = -.735478889 e876: - x11 + x1424 = -.11957773 e877: - x12 + x1425 = -.735478889 e878: - x13 + x1426 = -.11957773 e879: - x14 + x1427 = -.735478889 e880: - x15 + x1428 = -.11957773 e881: - x16 + x1429 = -.735478889 e882: - x17 + x1430 = -.11957773 e883: - x18 + x1431 = -.735478889 e884: - x1 + x1432 = -5.5418475e-2 e885: - x2 + x1433 = -.576299805 e886: - x3 + x1434 = -5.5418475e-2 e887: - x4 + x1435 = -.576299805 e888: - x5 + x1436 = -5.5418475e-2 e889: - x6 + x1437 = -.576299805 e890: - x7 + x1438 = -5.5418475e-2 e891: - x8 + x1439 = -.576299805 e892: - x9 + x1440 = -5.5418475e-2 e893: - x10 + x1441 = -.576299805 e894: - x11 + x1442 = -5.5418475e-2 e895: - x12 + x1443 = -.576299805 e896: - x13 + x1444 = -5.5418475e-2 e897: - x14 + x1445 = -.576299805 e898: - x15 + x1446 = -5.5418475e-2 e899: - x16 + x1447 = -.576299805 e900: - x17 + x1448 = -5.5418475e-2 e901: - x18 + x1449 = -.576299805 e902: x1450 = 0 e903: x1451 = 0 e904: - x1 + x3 + x1452 = 0 e905: - x2 + x4 + x1453 = 0 e906: - x1 + x5 + x1454 = 0 e907: - x2 + x6 + x1455 = 0 e908: - x1 + x7 + x1456 = 0 e909: - x2 + x8 + x1457 = 0 e910: - x1 + x9 + x1458 = 0 e911: - x2 + x10 + x1459 = 0 e912: - x1 + x11 + x1460 = 0 e913: - x2 + x12 + x1461 = 0 e914: - x1 + x13 + x1462 = 0 e915: - x2 + x14 + x1463 = 0 e916: - x1 + x15 + x1464 = 0 e917: - x2 + x16 + x1465 = 0 e918: - x1 + x17 + x1466 = 0 e919: - x2 + x18 + x1467 = 0 e920: x1 - x3 + x1468 = 0 e921: x2 - x4 + x1469 = 0 e922: x1470 = 0 e923: x1471 = 0 e924: - x3 + x5 + x1472 = 0 e925: - x4 + x6 + x1473 = 0 e926: - x3 + x7 + x1474 = 0 e927: - x4 + x8 + x1475 = 0 e928: - x3 + x9 + x1476 = 0 e929: - x4 + x10 + x1477 = 0 e930: - x3 + x11 + x1478 = 0 e931: - x4 + x12 + x1479 = 0 e932: - x3 + x13 + x1480 = 0 e933: - x4 + x14 + x1481 = 0 e934: - x3 + x15 + x1482 = 0 e935: - x4 + x16 + x1483 = 0 e936: - x3 + x17 + x1484 = 0 e937: - x4 + x18 + x1485 = 0 e938: x1 - x5 + x1486 = 0 e939: x2 - x6 + x1487 = 0 e940: x3 - x5 + x1488 = 0 e941: x4 - x6 + x1489 = 0 e942: x1490 = 0 e943: x1491 = 0 e944: - x5 + x7 + x1492 = 0 e945: - x6 + x8 + x1493 = 0 e946: - x5 + x9 + x1494 = 0 e947: - x6 + x10 + x1495 = 0 e948: - x5 + x11 + x1496 = 0 e949: - x6 + x12 + x1497 = 0 e950: - x5 + x13 + x1498 = 0 e951: - x6 + x14 + x1499 = 0 e952: - x5 + x15 + x1500 = 0 e953: - x6 + x16 + x1501 = 0 e954: - x5 + x17 + x1502 = 0 e955: - x6 + x18 + x1503 = 0 e956: x1 - x7 + x1504 = 0 e957: x2 - x8 + x1505 = 0 e958: x3 - x7 + x1506 = 0 e959: x4 - x8 + x1507 = 0 e960: x5 - x7 + x1508 = 0 e961: x6 - x8 + x1509 = 0 e962: x1510 = 0 e963: x1511 = 0 e964: - x7 + x9 + x1512 = 0 e965: - x8 + x10 + x1513 = 0 e966: - x7 + x11 + x1514 = 0 e967: - x8 + x12 + x1515 = 0 e968: - x7 + x13 + x1516 = 0 e969: - x8 + x14 + x1517 = 0 e970: - x7 + x15 + x1518 = 0 e971: - x8 + x16 + x1519 = 0 e972: - x7 + x17 + x1520 = 0 e973: - x8 + x18 + x1521 = 0 e974: x1 - x9 + x1522 = 0 e975: x2 - x10 + x1523 = 0 e976: x3 - x9 + x1524 = 0 e977: x4 - x10 + x1525 = 0 e978: x5 - x9 + x1526 = 0 e979: x6 - x10 + x1527 = 0 e980: x7 - x9 + x1528 = 0 e981: x8 - x10 + x1529 = 0 e982: x1530 = 0 e983: x1531 = 0 e984: - x9 + x11 + x1532 = 0 e985: - x10 + x12 + x1533 = 0 e986: - x9 + x13 + x1534 = 0 e987: - x10 + x14 + x1535 = 0 e988: - x9 + x15 + x1536 = 0 e989: - x10 + x16 + x1537 = 0 e990: - x9 + x17 + x1538 = 0 e991: - x10 + x18 + x1539 = 0 e992: x1 - x11 + x1540 = 0 e993: x2 - x12 + x1541 = 0 e994: x3 - x11 + x1542 = 0 e995: x4 - x12 + x1543 = 0 e996: x5 - x11 + x1544 = 0 e997: x6 - x12 + x1545 = 0 e998: x7 - x11 + x1546 = 0 e999: x8 - x12 + x1547 = 0 e1000: x9 - x11 + x1548 = 0 e1001: x10 - x12 + x1549 = 0 e1002: x1550 = 0 e1003: x1551 = 0 e1004: - x11 + x13 + x1552 = 0 e1005: - x12 + x14 + x1553 = 0 e1006: - x11 + x15 + x1554 = 0 e1007: - x12 + x16 + x1555 = 0 e1008: - x11 + x17 + x1556 = 0 e1009: - x12 + x18 + x1557 = 0 e1010: x1 - x13 + x1558 = 0 e1011: x2 - x14 + x1559 = 0 e1012: x3 - x13 + x1560 = 0 e1013: x4 - x14 + x1561 = 0 e1014: x5 - x13 + x1562 = 0 e1015: x6 - x14 + x1563 = 0 e1016: x7 - x13 + x1564 = 0 e1017: x8 - x14 + x1565 = 0 e1018: x9 - x13 + x1566 = 0 e1019: x10 - x14 + x1567 = 0 e1020: x11 - x13 + x1568 = 0 e1021: x12 - x14 + x1569 = 0 e1022: x1570 = 0 e1023: x1571 = 0 e1024: - x13 + x15 + x1572 = 0 e1025: - x14 + x16 + x1573 = 0 e1026: - x13 + x17 + x1574 = 0 e1027: - x14 + x18 + x1575 = 0 e1028: x1 - x15 + x1576 = 0 e1029: x2 - x16 + x1577 = 0 e1030: x3 - x15 + x1578 = 0 e1031: x4 - x16 + x1579 = 0 e1032: x5 - x15 + x1580 = 0 e1033: x6 - x16 + x1581 = 0 e1034: x7 - x15 + x1582 = 0 e1035: x8 - x16 + x1583 = 0 e1036: x9 - x15 + x1584 = 0 e1037: x10 - x16 + x1585 = 0 e1038: x11 - x15 + x1586 = 0 e1039: x12 - x16 + x1587 = 0 e1040: x13 - x15 + x1588 = 0 e1041: x14 - x16 + x1589 = 0 e1042: x1590 = 0 e1043: x1591 = 0 e1044: - x15 + x17 + x1592 = 0 e1045: - x16 + x18 + x1593 = 0 e1046: x1 - x17 + x1594 = 0 e1047: x2 - x18 + x1595 = 0 e1048: x3 - x17 + x1596 = 0 e1049: x4 - x18 + x1597 = 0 e1050: x5 - x17 + x1598 = 0 e1051: x6 - x18 + x1599 = 0 e1052: x7 - x17 + x1600 = 0 e1053: x8 - x18 + x1601 = 0 e1054: x9 - x17 + x1602 = 0 e1055: x10 - x18 + x1603 = 0 e1056: x11 - x17 + x1604 = 0 e1057: x12 - x18 + x1605 = 0 e1058: x13 - x17 + x1606 = 0 e1059: x14 - x18 + x1607 = 0 e1060: x15 - x17 + x1608 = 0 e1061: x16 - x18 + x1609 = 0 e1062: x1610 = 0 e1063: x1611 = 0 e1064: x19^2 - x550^2 - x551^2 >= 0 e1065: x20^2 - x552^2 - x553^2 >= 0 e1066: x21^2 - x554^2 - x555^2 >= 0 e1067: x22^2 - x556^2 - x557^2 >= 0 e1068: x23^2 - x558^2 - x559^2 >= 0 e1069: x24^2 - x560^2 - x561^2 >= 0 e1070: x25^2 - x562^2 - x563^2 >= 0 e1071: x26^2 - x564^2 - x565^2 >= 0 e1072: x27^2 - x566^2 - x567^2 >= 0 e1073: x28^2 - x568^2 - x569^2 >= 0 e1074: x29^2 - x570^2 - x571^2 >= 0 e1075: x30^2 - x572^2 - x573^2 >= 0 e1076: x31^2 - x574^2 - x575^2 >= 0 e1077: x32^2 - x576^2 - x577^2 >= 0 e1078: x33^2 - x578^2 - x579^2 >= 0 e1079: x34^2 - x580^2 - x581^2 >= 0 e1080: x35^2 - x582^2 - x583^2 >= 0 e1081: x36^2 - x584^2 - x585^2 >= 0 e1082: x37^2 - x586^2 - x587^2 >= 0 e1083: x38^2 - x588^2 - x589^2 >= 0 e1084: x39^2 - x590^2 - x591^2 >= 0 e1085: x40^2 - x592^2 - x593^2 >= 0 e1086: x41^2 - x594^2 - x595^2 >= 0 e1087: x42^2 - x596^2 - x597^2 >= 0 e1088: x43^2 - x598^2 - x599^2 >= 0 e1089: x44^2 - x600^2 - x601^2 >= 0 e1090: x45^2 - x602^2 - x603^2 >= 0 e1091: x46^2 - x604^2 - x605^2 >= 0 e1092: x47^2 - x606^2 - x607^2 >= 0 e1093: x48^2 - x608^2 - x609^2 >= 0 e1094: x49^2 - x610^2 - x611^2 >= 0 e1095: x50^2 - x612^2 - x613^2 >= 0 e1096: x51^2 - x614^2 - x615^2 >= 0 e1097: x52^2 - x616^2 - x617^2 >= 0 e1098: x53^2 - x618^2 - x619^2 >= 0 e1099: x54^2 - x620^2 - x621^2 >= 0 e1100: x55^2 - x622^2 - x623^2 >= 0 e1101: x56^2 - x624^2 - x625^2 >= 0 e1102: x57^2 - x626^2 - x627^2 >= 0 e1103: x58^2 - x628^2 - x629^2 >= 0 e1104: x59^2 - x630^2 - x631^2 >= 0 e1105: x60^2 - x632^2 - x633^2 >= 0 e1106: x61^2 - x634^2 - x635^2 >= 0 e1107: x62^2 - x636^2 - x637^2 >= 0 e1108: x63^2 - x638^2 - x639^2 >= 0 e1109: x64^2 - x640^2 - x641^2 >= 0 e1110: x65^2 - x642^2 - x643^2 >= 0 e1111: x66^2 - x644^2 - x645^2 >= 0 e1112: x67^2 - x646^2 - x647^2 >= 0 e1113: x68^2 - x648^2 - x649^2 >= 0 e1114: x69^2 - x650^2 - x651^2 >= 0 e1115: x70^2 - x652^2 - x653^2 >= 0 e1116: x71^2 - x654^2 - x655^2 >= 0 e1117: x72^2 - x656^2 - x657^2 >= 0 e1118: x73^2 - x658^2 - x659^2 >= 0 e1119: x74^2 - x660^2 - x661^2 >= 0 e1120: x75^2 - x662^2 - x663^2 >= 0 e1121: x76^2 - x664^2 - x665^2 >= 0 e1122: x77^2 - x666^2 - x667^2 >= 0 e1123: x78^2 - x668^2 - x669^2 >= 0 e1124: x79^2 - x670^2 - x671^2 >= 0 e1125: x80^2 - x672^2 - x673^2 >= 0 e1126: x81^2 - x674^2 - x675^2 >= 0 e1127: x82^2 - x676^2 - x677^2 >= 0 e1128: x83^2 - x678^2 - x679^2 >= 0 e1129: x84^2 - x680^2 - x681^2 >= 0 e1130: x85^2 - x682^2 - x683^2 >= 0 e1131: x86^2 - x684^2 - x685^2 >= 0 e1132: x87^2 - x686^2 - x687^2 >= 0 e1133: x88^2 - x688^2 - x689^2 >= 0 e1134: x89^2 - x690^2 - x691^2 >= 0 e1135: x90^2 - x692^2 - x693^2 >= 0 e1136: x91^2 - x694^2 - x695^2 >= 0 e1137: x92^2 - x696^2 - x697^2 >= 0 e1138: x93^2 - x698^2 - x699^2 >= 0 e1139: x94^2 - x700^2 - x701^2 >= 0 e1140: x95^2 - x702^2 - x703^2 >= 0 e1141: x96^2 - x704^2 - x705^2 >= 0 e1142: x97^2 - x706^2 - x707^2 >= 0 e1143: x98^2 - x708^2 - x709^2 >= 0 e1144: x99^2 - x710^2 - x711^2 >= 0 e1145: x100^2 - x712^2 - x713^2 >= 0 e1146: x101^2 - x714^2 - x715^2 >= 0 e1147: x102^2 - x716^2 - x717^2 >= 0 e1148: x103^2 - x718^2 - x719^2 >= 0 e1149: x104^2 - x720^2 - x721^2 >= 0 e1150: x105^2 - x722^2 - x723^2 >= 0 e1151: x106^2 - x724^2 - x725^2 >= 0 e1152: x107^2 - x726^2 - x727^2 >= 0 e1153: x108^2 - x728^2 - x729^2 >= 0 e1154: x109^2 - x730^2 - x731^2 >= 0 e1155: x110^2 - x732^2 - x733^2 >= 0 e1156: x111^2 - x734^2 - x735^2 >= 0 e1157: x112^2 - x736^2 - x737^2 >= 0 e1158: x113^2 - x738^2 - x739^2 >= 0 e1159: x114^2 - x740^2 - x741^2 >= 0 e1160: x115^2 - x742^2 - x743^2 >= 0 e1161: x116^2 - x744^2 - x745^2 >= 0 e1162: x117^2 - x746^2 - x747^2 >= 0 e1163: x118^2 - x748^2 - x749^2 >= 0 e1164: x119^2 - x750^2 - x751^2 >= 0 e1165: x120^2 - x752^2 - x753^2 >= 0 e1166: x121^2 - x754^2 - x755^2 >= 0 e1167: x122^2 - x756^2 - x757^2 >= 0 e1168: x123^2 - x758^2 - x759^2 >= 0 e1169: x124^2 - x760^2 - x761^2 >= 0 e1170: x125^2 - x762^2 - x763^2 >= 0 e1171: x126^2 - x764^2 - x765^2 >= 0 e1172: x127^2 - x766^2 - x767^2 >= 0 e1173: x128^2 - x768^2 - x769^2 >= 0 e1174: x129^2 - x770^2 - x771^2 >= 0 e1175: x130^2 - x772^2 - x773^2 >= 0 e1176: x131^2 - x774^2 - x775^2 >= 0 e1177: x132^2 - x776^2 - x777^2 >= 0 e1178: x133^2 - x778^2 - x779^2 >= 0 e1179: x134^2 - x780^2 - x781^2 >= 0 e1180: x135^2 - x782^2 - x783^2 >= 0 e1181: x136^2 - x784^2 - x785^2 >= 0 e1182: x137^2 - x786^2 - x787^2 >= 0 e1183: x138^2 - x788^2 - x789^2 >= 0 e1184: x139^2 - x790^2 - x791^2 >= 0 e1185: x140^2 - x792^2 - x793^2 >= 0 e1186: x141^2 - x794^2 - x795^2 >= 0 e1187: x142^2 - x796^2 - x797^2 >= 0 e1188: x143^2 - x798^2 - x799^2 >= 0 e1189: x144^2 - x800^2 - x801^2 >= 0 e1190: x145^2 - x802^2 - x803^2 >= 0 e1191: x146^2 - x804^2 - x805^2 >= 0 e1192: x147^2 - x806^2 - x807^2 >= 0 e1193: x148^2 - x808^2 - x809^2 >= 0 e1194: x149^2 - x810^2 - x811^2 >= 0 e1195: x150^2 - x812^2 - x813^2 >= 0 e1196: x151^2 - x814^2 - x815^2 >= 0 e1197: x152^2 - x816^2 - x817^2 >= 0 e1198: x153^2 - x818^2 - x819^2 >= 0 e1199: x154^2 - x820^2 - x821^2 >= 0 e1200: x155^2 - x822^2 - x823^2 >= 0 e1201: x156^2 - x824^2 - x825^2 >= 0 e1202: x157^2 - x826^2 - x827^2 >= 0 e1203: x158^2 - x828^2 - x829^2 >= 0 e1204: x159^2 - x830^2 - x831^2 >= 0 e1205: x160^2 - x832^2 - x833^2 >= 0 e1206: x161^2 - x834^2 - x835^2 >= 0 e1207: x162^2 - x836^2 - x837^2 >= 0 e1208: x163^2 - x838^2 - x839^2 >= 0 e1209: x164^2 - x840^2 - x841^2 >= 0 e1210: x165^2 - x842^2 - x843^2 >= 0 e1211: x166^2 - x844^2 - x845^2 >= 0 e1212: x167^2 - x846^2 - x847^2 >= 0 e1213: x168^2 - x848^2 - x849^2 >= 0 e1214: x169^2 - x850^2 - x851^2 >= 0 e1215: x170^2 - x852^2 - x853^2 >= 0 e1216: x171^2 - x854^2 - x855^2 >= 0 e1217: x172^2 - x856^2 - x857^2 >= 0 e1218: x173^2 - x858^2 - x859^2 >= 0 e1219: x174^2 - x860^2 - x861^2 >= 0 e1220: x175^2 - x862^2 - x863^2 >= 0 e1221: x176^2 - x864^2 - x865^2 >= 0 e1222: x177^2 - x866^2 - x867^2 >= 0 e1223: x178^2 - x868^2 - x869^2 >= 0 e1224: x179^2 - x870^2 - x871^2 >= 0 e1225: x180^2 - x872^2 - x873^2 >= 0 e1226: x181^2 - x874^2 - x875^2 >= 0 e1227: x182^2 - x876^2 - x877^2 >= 0 e1228: x183^2 - x878^2 - x879^2 >= 0 e1229: x184^2 - x880^2 - x881^2 >= 0 e1230: x185^2 - x882^2 - x883^2 >= 0 e1231: x186^2 - x884^2 - x885^2 >= 0 e1232: x187^2 - x886^2 - x887^2 >= 0 e1233: x188^2 - x888^2 - x889^2 >= 0 e1234: x189^2 - x890^2 - x891^2 >= 0 e1235: x190^2 - x892^2 - x893^2 >= 0 e1236: x191^2 - x894^2 - x895^2 >= 0 e1237: x192^2 - x896^2 - x897^2 >= 0 e1238: x193^2 - x898^2 - x899^2 >= 0 e1239: x194^2 - x900^2 - x901^2 >= 0 e1240: x195^2 - x902^2 - x903^2 >= 0 e1241: x196^2 - x904^2 - x905^2 >= 0 e1242: x197^2 - x906^2 - x907^2 >= 0 e1243: x198^2 - x908^2 - x909^2 >= 0 e1244: x199^2 - x910^2 - x911^2 >= 0 e1245: x200^2 - x912^2 - x913^2 >= 0 e1246: x201^2 - x914^2 - x915^2 >= 0 e1247: x202^2 - x916^2 - x917^2 >= 0 e1248: x203^2 - x918^2 - x919^2 >= 0 e1249: x204^2 - x920^2 - x921^2 >= 0 e1250: x205^2 - x922^2 - x923^2 >= 0 e1251: x206^2 - x924^2 - x925^2 >= 0 e1252: x207^2 - x926^2 - x927^2 >= 0 e1253: x208^2 - x928^2 - x929^2 >= 0 e1254: x209^2 - x930^2 - x931^2 >= 0 e1255: x210^2 - x932^2 - x933^2 >= 0 e1256: x211^2 - x934^2 - x935^2 >= 0 e1257: x212^2 - x936^2 - x937^2 >= 0 e1258: x213^2 - x938^2 - x939^2 >= 0 e1259: x214^2 - x940^2 - x941^2 >= 0 e1260: x215^2 - x942^2 - x943^2 >= 0 e1261: x216^2 - x944^2 - x945^2 >= 0 e1262: x217^2 - x946^2 - x947^2 >= 0 e1263: x218^2 - x948^2 - x949^2 >= 0 e1264: x219^2 - x950^2 - x951^2 >= 0 e1265: x220^2 - x952^2 - x953^2 >= 0 e1266: x221^2 - x954^2 - x955^2 >= 0 e1267: x222^2 - x956^2 - x957^2 >= 0 e1268: x223^2 - x958^2 - x959^2 >= 0 e1269: x224^2 - x960^2 - x961^2 >= 0 e1270: x225^2 - x962^2 - x963^2 >= 0 e1271: x226^2 - x964^2 - x965^2 >= 0 e1272: x227^2 - x966^2 - x967^2 >= 0 e1273: x228^2 - x968^2 - x969^2 >= 0 e1274: x229^2 - x970^2 - x971^2 >= 0 e1275: x230^2 - x972^2 - x973^2 >= 0 e1276: x231^2 - x974^2 - x975^2 >= 0 e1277: x232^2 - x976^2 - x977^2 >= 0 e1278: x233^2 - x978^2 - x979^2 >= 0 e1279: x234^2 - x980^2 - x981^2 >= 0 e1280: x235^2 - x982^2 - x983^2 >= 0 e1281: x236^2 - x984^2 - x985^2 >= 0 e1282: x237^2 - x986^2 - x987^2 >= 0 e1283: x238^2 - x988^2 - x989^2 >= 0 e1284: x239^2 - x990^2 - x991^2 >= 0 e1285: x240^2 - x992^2 - x993^2 >= 0 e1286: x241^2 - x994^2 - x995^2 >= 0 e1287: x242^2 - x996^2 - x997^2 >= 0 e1288: x243^2 - x998^2 - x999^2 >= 0 e1289: x244^2 - x1000^2 - x1001^2 >= 0 e1290: x245^2 - x1002^2 - x1003^2 >= 0 e1291: x246^2 - x1004^2 - x1005^2 >= 0 e1292: x247^2 - x1006^2 - x1007^2 >= 0 e1293: x248^2 - x1008^2 - x1009^2 >= 0 e1294: x249^2 - x1010^2 - x1011^2 >= 0 e1295: x250^2 - x1012^2 - x1013^2 >= 0 e1296: x251^2 - x1014^2 - x1015^2 >= 0 e1297: x252^2 - x1016^2 - x1017^2 >= 0 e1298: x253^2 - x1018^2 - x1019^2 >= 0 e1299: x254^2 - x1020^2 - x1021^2 >= 0 e1300: x255^2 - x1022^2 - x1023^2 >= 0 e1301: x256^2 - x1024^2 - x1025^2 >= 0 e1302: x257^2 - x1026^2 - x1027^2 >= 0 e1303: x258^2 - x1028^2 - x1029^2 >= 0 e1304: x259^2 - x1030^2 - x1031^2 >= 0 e1305: x260^2 - x1032^2 - x1033^2 >= 0 e1306: x261^2 - x1034^2 - x1035^2 >= 0 e1307: x262^2 - x1036^2 - x1037^2 >= 0 e1308: x263^2 - x1038^2 - x1039^2 >= 0 e1309: x264^2 - x1040^2 - x1041^2 >= 0 e1310: x265^2 - x1042^2 - x1043^2 >= 0 e1311: x266^2 - x1044^2 - x1045^2 >= 0 e1312: x267^2 - x1046^2 - x1047^2 >= 0 e1313: x268^2 - x1048^2 - x1049^2 >= 0 e1314: x269^2 - x1050^2 - x1051^2 >= 0 e1315: x270^2 - x1052^2 - x1053^2 >= 0 e1316: x271^2 - x1054^2 - x1055^2 >= 0 e1317: x272^2 - x1056^2 - x1057^2 >= 0 e1318: x273^2 - x1058^2 - x1059^2 >= 0 e1319: x274^2 - x1060^2 - x1061^2 >= 0 e1320: x275^2 - x1062^2 - x1063^2 >= 0 e1321: x276^2 - x1064^2 - x1065^2 >= 0 e1322: x277^2 - x1066^2 - x1067^2 >= 0 e1323: x278^2 - x1068^2 - x1069^2 >= 0 e1324: x279^2 - x1070^2 - x1071^2 >= 0 e1325: x280^2 - x1072^2 - x1073^2 >= 0 e1326: x281^2 - x1074^2 - x1075^2 >= 0 e1327: x282^2 - x1076^2 - x1077^2 >= 0 e1328: x283^2 - x1078^2 - x1079^2 >= 0 e1329: x284^2 - x1080^2 - x1081^2 >= 0 e1330: x285^2 - x1082^2 - x1083^2 >= 0 e1331: x286^2 - x1084^2 - x1085^2 >= 0 e1332: x287^2 - x1086^2 - x1087^2 >= 0 e1333: x288^2 - x1088^2 - x1089^2 >= 0 e1334: x289^2 - x1090^2 - x1091^2 >= 0 e1335: x290^2 - x1092^2 - x1093^2 >= 0 e1336: x291^2 - x1094^2 - x1095^2 >= 0 e1337: x292^2 - x1096^2 - x1097^2 >= 0 e1338: x293^2 - x1098^2 - x1099^2 >= 0 e1339: x294^2 - x1100^2 - x1101^2 >= 0 e1340: x295^2 - x1102^2 - x1103^2 >= 0 e1341: x296^2 - x1104^2 - x1105^2 >= 0 e1342: x297^2 - x1106^2 - x1107^2 >= 0 e1343: x298^2 - x1108^2 - x1109^2 >= 0 e1344: x299^2 - x1110^2 - x1111^2 >= 0 e1345: x300^2 - x1112^2 - x1113^2 >= 0 e1346: x301^2 - x1114^2 - x1115^2 >= 0 e1347: x302^2 - x1116^2 - x1117^2 >= 0 e1348: x303^2 - x1118^2 - x1119^2 >= 0 e1349: x304^2 - x1120^2 - x1121^2 >= 0 e1350: x305^2 - x1122^2 - x1123^2 >= 0 e1351: x306^2 - x1124^2 - x1125^2 >= 0 e1352: x307^2 - x1126^2 - x1127^2 >= 0 e1353: x308^2 - x1128^2 - x1129^2 >= 0 e1354: x309^2 - x1130^2 - x1131^2 >= 0 e1355: x310^2 - x1132^2 - x1133^2 >= 0 e1356: x311^2 - x1134^2 - x1135^2 >= 0 e1357: x312^2 - x1136^2 - x1137^2 >= 0 e1358: x313^2 - x1138^2 - x1139^2 >= 0 e1359: x314^2 - x1140^2 - x1141^2 >= 0 e1360: x315^2 - x1142^2 - x1143^2 >= 0 e1361: x316^2 - x1144^2 - x1145^2 >= 0 e1362: x317^2 - x1146^2 - x1147^2 >= 0 e1363: x318^2 - x1148^2 - x1149^2 >= 0 e1364: x319^2 - x1150^2 - x1151^2 >= 0 e1365: x320^2 - x1152^2 - x1153^2 >= 0 e1366: x321^2 - x1154^2 - x1155^2 >= 0 e1367: x322^2 - x1156^2 - x1157^2 >= 0 e1368: x323^2 - x1158^2 - x1159^2 >= 0 e1369: x324^2 - x1160^2 - x1161^2 >= 0 e1370: x325^2 - x1162^2 - x1163^2 >= 0 e1371: x326^2 - x1164^2 - x1165^2 >= 0 e1372: x327^2 - x1166^2 - x1167^2 >= 0 e1373: x328^2 - x1168^2 - x1169^2 >= 0 e1374: x329^2 - x1170^2 - x1171^2 >= 0 e1375: x330^2 - x1172^2 - x1173^2 >= 0 e1376: x331^2 - x1174^2 - x1175^2 >= 0 e1377: x332^2 - x1176^2 - x1177^2 >= 0 e1378: x333^2 - x1178^2 - x1179^2 >= 0 e1379: x334^2 - x1180^2 - x1181^2 >= 0 e1380: x335^2 - x1182^2 - x1183^2 >= 0 e1381: x336^2 - x1184^2 - x1185^2 >= 0 e1382: x337^2 - x1186^2 - x1187^2 >= 0 e1383: x338^2 - x1188^2 - x1189^2 >= 0 e1384: x339^2 - x1190^2 - x1191^2 >= 0 e1385: x340^2 - x1192^2 - x1193^2 >= 0 e1386: x341^2 - x1194^2 - x1195^2 >= 0 e1387: x342^2 - x1196^2 - x1197^2 >= 0 e1388: x343^2 - x1198^2 - x1199^2 >= 0 e1389: x344^2 - x1200^2 - x1201^2 >= 0 e1390: x345^2 - x1202^2 - x1203^2 >= 0 e1391: x346^2 - x1204^2 - x1205^2 >= 0 e1392: x347^2 - x1206^2 - x1207^2 >= 0 e1393: x348^2 - x1208^2 - x1209^2 >= 0 e1394: x349^2 - x1210^2 - x1211^2 >= 0 e1395: x350^2 - x1212^2 - x1213^2 >= 0 e1396: x351^2 - x1214^2 - x1215^2 >= 0 e1397: x352^2 - x1216^2 - x1217^2 >= 0 e1398: x353^2 - x1218^2 - x1219^2 >= 0 e1399: x354^2 - x1220^2 - x1221^2 >= 0 e1400: x355^2 - x1222^2 - x1223^2 >= 0 e1401: x356^2 - x1224^2 - x1225^2 >= 0 e1402: x357^2 - x1226^2 - x1227^2 >= 0 e1403: x358^2 - x1228^2 - x1229^2 >= 0 e1404: x359^2 - x1230^2 - x1231^2 >= 0 e1405: x360^2 - x1232^2 - x1233^2 >= 0 e1406: x361^2 - x1234^2 - x1235^2 >= 0 e1407: x362^2 - x1236^2 - x1237^2 >= 0 e1408: x363^2 - x1238^2 - x1239^2 >= 0 e1409: x364^2 - x1240^2 - x1241^2 >= 0 e1410: x365^2 - x1242^2 - x1243^2 >= 0 e1411: x366^2 - x1244^2 - x1245^2 >= 0 e1412: x367^2 - x1246^2 - x1247^2 >= 0 e1413: x368^2 - x1248^2 - x1249^2 >= 0 e1414: x369^2 - x1250^2 - x1251^2 >= 0 e1415: x370^2 - x1252^2 - x1253^2 >= 0 e1416: x371^2 - x1254^2 - x1255^2 >= 0 e1417: x372^2 - x1256^2 - x1257^2 >= 0 e1418: x373^2 - x1258^2 - x1259^2 >= 0 e1419: x374^2 - x1260^2 - x1261^2 >= 0 e1420: x375^2 - x1262^2 - x1263^2 >= 0 e1421: x376^2 - x1264^2 - x1265^2 >= 0 e1422: x377^2 - x1266^2 - x1267^2 >= 0 e1423: x378^2 - x1268^2 - x1269^2 >= 0 e1424: x379^2 - x1270^2 - x1271^2 >= 0 e1425: x380^2 - x1272^2 - x1273^2 >= 0 e1426: x381^2 - x1274^2 - x1275^2 >= 0 e1427: x382^2 - x1276^2 - x1277^2 >= 0 e1428: x383^2 - x1278^2 - x1279^2 >= 0 e1429: x384^2 - x1280^2 - x1281^2 >= 0 e1430: x385^2 - x1282^2 - x1283^2 >= 0 e1431: x386^2 - x1284^2 - x1285^2 >= 0 e1432: x387^2 - x1286^2 - x1287^2 >= 0 e1433: x388^2 - x1288^2 - x1289^2 >= 0 e1434: x389^2 - x1290^2 - x1291^2 >= 0 e1435: x390^2 - x1292^2 - x1293^2 >= 0 e1436: x391^2 - x1294^2 - x1295^2 >= 0 e1437: x392^2 - x1296^2 - x1297^2 >= 0 e1438: x393^2 - x1298^2 - x1299^2 >= 0 e1439: x394^2 - x1300^2 - x1301^2 >= 0 e1440: x395^2 - x1302^2 - x1303^2 >= 0 e1441: x396^2 - x1304^2 - x1305^2 >= 0 e1442: x397^2 - x1306^2 - x1307^2 >= 0 e1443: x398^2 - x1308^2 - x1309^2 >= 0 e1444: x399^2 - x1310^2 - x1311^2 >= 0 e1445: x400^2 - x1312^2 - x1313^2 >= 0 e1446: x401^2 - x1314^2 - x1315^2 >= 0 e1447: x402^2 - x1316^2 - x1317^2 >= 0 e1448: x403^2 - x1318^2 - x1319^2 >= 0 e1449: x404^2 - x1320^2 - x1321^2 >= 0 e1450: x405^2 - x1322^2 - x1323^2 >= 0 e1451: x406^2 - x1324^2 - x1325^2 >= 0 e1452: x407^2 - x1326^2 - x1327^2 >= 0 e1453: x408^2 - x1328^2 - x1329^2 >= 0 e1454: x409^2 - x1330^2 - x1331^2 >= 0 e1455: x410^2 - x1332^2 - x1333^2 >= 0 e1456: x411^2 - x1334^2 - x1335^2 >= 0 e1457: x412^2 - x1336^2 - x1337^2 >= 0 e1458: x413^2 - x1338^2 - x1339^2 >= 0 e1459: x414^2 - x1340^2 - x1341^2 >= 0 e1460: x415^2 - x1342^2 - x1343^2 >= 0 e1461: x416^2 - x1344^2 - x1345^2 >= 0 e1462: x417^2 - x1346^2 - x1347^2 >= 0 e1463: x418^2 - x1348^2 - x1349^2 >= 0 e1464: x419^2 - x1350^2 - x1351^2 >= 0 e1465: x420^2 - x1352^2 - x1353^2 >= 0 e1466: x421^2 - x1354^2 - x1355^2 >= 0 e1467: x422^2 - x1356^2 - x1357^2 >= 0 e1468: x423^2 - x1358^2 - x1359^2 >= 0 e1469: x424^2 - x1360^2 - x1361^2 >= 0 e1470: x425^2 - x1362^2 - x1363^2 >= 0 e1471: x426^2 - x1364^2 - x1365^2 >= 0 e1472: x427^2 - x1366^2 - x1367^2 >= 0 e1473: x428^2 - x1368^2 - x1369^2 >= 0 e1474: x429^2 - x1370^2 - x1371^2 >= 0 e1475: x430^2 - x1372^2 - x1373^2 >= 0 e1476: x431^2 - x1374^2 - x1375^2 >= 0 e1477: x432^2 - x1376^2 - x1377^2 >= 0 e1478: x433^2 - x1378^2 - x1379^2 >= 0 e1479: x434^2 - x1380^2 - x1381^2 >= 0 e1480: x435^2 - x1382^2 - x1383^2 >= 0 e1481: x436^2 - x1384^2 - x1385^2 >= 0 e1482: x437^2 - x1386^2 - x1387^2 >= 0 e1483: x438^2 - x1388^2 - x1389^2 >= 0 e1484: x439^2 - x1390^2 - x1391^2 >= 0 e1485: x440^2 - x1392^2 - x1393^2 >= 0 e1486: x441^2 - x1394^2 - x1395^2 >= 0 e1487: x442^2 - x1396^2 - x1397^2 >= 0 e1488: x443^2 - x1398^2 - x1399^2 >= 0 e1489: x444^2 - x1400^2 - x1401^2 >= 0 e1490: x445^2 - x1402^2 - x1403^2 >= 0 e1491: x446^2 - x1404^2 - x1405^2 >= 0 e1492: x447^2 - x1406^2 - x1407^2 >= 0 e1493: x448^2 - x1408^2 - x1409^2 >= 0 e1494: x449^2 - x1410^2 - x1411^2 >= 0 e1495: x450^2 - x1412^2 - x1413^2 >= 0 e1496: x451^2 - x1414^2 - x1415^2 >= 0 e1497: x452^2 - x1416^2 - x1417^2 >= 0 e1498: x453^2 - x1418^2 - x1419^2 >= 0 e1499: x454^2 - x1420^2 - x1421^2 >= 0 e1500: x455^2 - x1422^2 - x1423^2 >= 0 e1501: x456^2 - x1424^2 - x1425^2 >= 0 e1502: x457^2 - x1426^2 - x1427^2 >= 0 e1503: x458^2 - x1428^2 - x1429^2 >= 0 e1504: x459^2 - x1430^2 - x1431^2 >= 0 e1505: x460^2 - x1432^2 - x1433^2 >= 0 e1506: x461^2 - x1434^2 - x1435^2 >= 0 e1507: x462^2 - x1436^2 - x1437^2 >= 0 e1508: x463^2 - x1438^2 - x1439^2 >= 0 e1509: x464^2 - x1440^2 - x1441^2 >= 0 e1510: x465^2 - x1442^2 - x1443^2 >= 0 e1511: x466^2 - x1444^2 - x1445^2 >= 0 e1512: x467^2 - x1446^2 - x1447^2 >= 0 e1513: x468^2 - x1448^2 - x1449^2 >= 0 e1514: x469^2 - x1450^2 - x1451^2 >= 0 e1515: x470^2 - x1452^2 - x1453^2 >= 0 e1516: x471^2 - x1454^2 - x1455^2 >= 0 e1517: x472^2 - x1456^2 - x1457^2 >= 0 e1518: x473^2 - x1458^2 - x1459^2 >= 0 e1519: x474^2 - x1460^2 - x1461^2 >= 0 e1520: x475^2 - x1462^2 - x1463^2 >= 0 e1521: x476^2 - x1464^2 - x1465^2 >= 0 e1522: x477^2 - x1466^2 - x1467^2 >= 0 e1523: x478^2 - x1468^2 - x1469^2 >= 0 e1524: x479^2 - x1470^2 - x1471^2 >= 0 e1525: x480^2 - x1472^2 - x1473^2 >= 0 e1526: x481^2 - x1474^2 - x1475^2 >= 0 e1527: x482^2 - x1476^2 - x1477^2 >= 0 e1528: x483^2 - x1478^2 - x1479^2 >= 0 e1529: x484^2 - x1480^2 - x1481^2 >= 0 e1530: x485^2 - x1482^2 - x1483^2 >= 0 e1531: x486^2 - x1484^2 - x1485^2 >= 0 e1532: x487^2 - x1486^2 - x1487^2 >= 0 e1533: x488^2 - x1488^2 - x1489^2 >= 0 e1534: x489^2 - x1490^2 - x1491^2 >= 0 e1535: x490^2 - x1492^2 - x1493^2 >= 0 e1536: x491^2 - x1494^2 - x1495^2 >= 0 e1537: x492^2 - x1496^2 - x1497^2 >= 0 e1538: x493^2 - x1498^2 - x1499^2 >= 0 e1539: x494^2 - x1500^2 - x1501^2 >= 0 e1540: x495^2 - x1502^2 - x1503^2 >= 0 e1541: x496^2 - x1504^2 - x1505^2 >= 0 e1542: x497^2 - x1506^2 - x1507^2 >= 0 e1543: x498^2 - x1508^2 - x1509^2 >= 0 e1544: x499^2 - x1510^2 - x1511^2 >= 0 e1545: x500^2 - x1512^2 - x1513^2 >= 0 e1546: x501^2 - x1514^2 - x1515^2 >= 0 e1547: x502^2 - x1516^2 - x1517^2 >= 0 e1548: x503^2 - x1518^2 - x1519^2 >= 0 e1549: x504^2 - x1520^2 - x1521^2 >= 0 e1550: x505^2 - x1522^2 - x1523^2 >= 0 e1551: x506^2 - x1524^2 - x1525^2 >= 0 e1552: x507^2 - x1526^2 - x1527^2 >= 0 e1553: x508^2 - x1528^2 - x1529^2 >= 0 e1554: x509^2 - x1530^2 - x1531^2 >= 0 e1555: x510^2 - x1532^2 - x1533^2 >= 0 e1556: x511^2 - x1534^2 - x1535^2 >= 0 e1557: x512^2 - x1536^2 - x1537^2 >= 0 e1558: x513^2 - x1538^2 - x1539^2 >= 0 e1559: x514^2 - x1540^2 - x1541^2 >= 0 e1560: x515^2 - x1542^2 - x1543^2 >= 0 e1561: x516^2 - x1544^2 - x1545^2 >= 0 e1562: x517^2 - x1546^2 - x1547^2 >= 0 e1563: x518^2 - x1548^2 - x1549^2 >= 0 e1564: x519^2 - x1550^2 - x1551^2 >= 0 e1565: x520^2 - x1552^2 - x1553^2 >= 0 e1566: x521^2 - x1554^2 - x1555^2 >= 0 e1567: x522^2 - x1556^2 - x1557^2 >= 0 e1568: x523^2 - x1558^2 - x1559^2 >= 0 e1569: x524^2 - x1560^2 - x1561^2 >= 0 e1570: x525^2 - x1562^2 - x1563^2 >= 0 e1571: x526^2 - x1564^2 - x1565^2 >= 0 e1572: x527^2 - x1566^2 - x1567^2 >= 0 e1573: x528^2 - x1568^2 - x1569^2 >= 0 e1574: x529^2 - x1570^2 - x1571^2 >= 0 e1575: x530^2 - x1572^2 - x1573^2 >= 0 e1576: x531^2 - x1574^2 - x1575^2 >= 0 e1577: x532^2 - x1576^2 - x1577^2 >= 0 e1578: x533^2 - x1578^2 - x1579^2 >= 0 e1579: x534^2 - x1580^2 - x1581^2 >= 0 e1580: x535^2 - x1582^2 - x1583^2 >= 0 e1581: x536^2 - x1584^2 - x1585^2 >= 0 e1582: x537^2 - x1586^2 - x1587^2 >= 0 e1583: x538^2 - x1588^2 - x1589^2 >= 0 e1584: x539^2 - x1590^2 - x1591^2 >= 0 e1585: x540^2 - x1592^2 - x1593^2 >= 0 e1586: x541^2 - x1594^2 - x1595^2 >= 0 e1587: x542^2 - x1596^2 - x1597^2 >= 0 e1588: x543^2 - x1598^2 - x1599^2 >= 0 e1589: x544^2 - x1600^2 - x1601^2 >= 0 e1590: x545^2 - x1602^2 - x1603^2 >= 0 e1591: x546^2 - x1604^2 - x1605^2 >= 0 e1592: x547^2 - x1606^2 - x1607^2 >= 0 e1593: x548^2 - x1608^2 - x1609^2 >= 0 e1594: x549^2 - x1610^2 - x1611^2 >= 0 Bounds x550 Free x551 Free x552 Free x553 Free x554 Free x555 Free x556 Free x557 Free x558 Free x559 Free x560 Free x561 Free x562 Free x563 Free x564 Free x565 Free x566 Free x567 Free x568 Free x569 Free x570 Free x571 Free x572 Free x573 Free x574 Free x575 Free x576 Free x577 Free x578 Free x579 Free x580 Free x581 Free x582 Free x583 Free x584 Free x585 Free x586 Free x587 Free x588 Free x589 Free x590 Free x591 Free x592 Free x593 Free x594 Free x595 Free x596 Free x597 Free x598 Free x599 Free x600 Free x601 Free x602 Free x603 Free x604 Free x605 Free x606 Free x607 Free x608 Free x609 Free x610 Free x611 Free x612 Free x613 Free x614 Free x615 Free x616 Free x617 Free x618 Free x619 Free x620 Free x621 Free x622 Free x623 Free x624 Free x625 Free x626 Free x627 Free x628 Free x629 Free x630 Free x631 Free x632 Free x633 Free x634 Free x635 Free x636 Free x637 Free x638 Free x639 Free x640 Free x641 Free x642 Free x643 Free x644 Free x645 Free x646 Free x647 Free x648 Free x649 Free x650 Free x651 Free x652 Free x653 Free x654 Free x655 Free x656 Free x657 Free x658 Free x659 Free x660 Free x661 Free x662 Free x663 Free x664 Free x665 Free x666 Free x667 Free x668 Free x669 Free x670 Free x671 Free x672 Free x673 Free x674 Free x675 Free x676 Free x677 Free x678 Free x679 Free x680 Free x681 Free x682 Free x683 Free x684 Free x685 Free x686 Free x687 Free x688 Free x689 Free x690 Free x691 Free x692 Free x693 Free x694 Free x695 Free x696 Free x697 Free x698 Free x699 Free x700 Free x701 Free x702 Free x703 Free x704 Free x705 Free x706 Free x707 Free x708 Free x709 Free x710 Free x711 Free x712 Free x713 Free x714 Free x715 Free x716 Free x717 Free x718 Free x719 Free x720 Free x721 Free x722 Free x723 Free x724 Free x725 Free x726 Free x727 Free x728 Free x729 Free x730 Free x731 Free x732 Free x733 Free x734 Free x735 Free x736 Free x737 Free x738 Free x739 Free x740 Free x741 Free x742 Free x743 Free x744 Free x745 Free x746 Free x747 Free x748 Free x749 Free x750 Free x751 Free x752 Free x753 Free x754 Free x755 Free x756 Free x757 Free x758 Free x759 Free x760 Free x761 Free x762 Free x763 Free x764 Free x765 Free x766 Free x767 Free x768 Free x769 Free x770 Free x771 Free x772 Free x773 Free x774 Free x775 Free x776 Free x777 Free x778 Free x779 Free x780 Free x781 Free x782 Free x783 Free x784 Free x785 Free x786 Free x787 Free x788 Free x789 Free x790 Free x791 Free x792 Free x793 Free x794 Free x795 Free x796 Free x797 Free x798 Free x799 Free x800 Free x801 Free x802 Free x803 Free x804 Free x805 Free x806 Free x807 Free x808 Free x809 Free x810 Free x811 Free x812 Free x813 Free x814 Free x815 Free x816 Free x817 Free x818 Free x819 Free x820 Free x821 Free x822 Free x823 Free x824 Free x825 Free x826 Free x827 Free x828 Free x829 Free x830 Free x831 Free x832 Free x833 Free x834 Free x835 Free x836 Free x837 Free x838 Free x839 Free x840 Free x841 Free x842 Free x843 Free x844 Free x845 Free x846 Free x847 Free x848 Free x849 Free x850 Free x851 Free x852 Free x853 Free x854 Free x855 Free x856 Free x857 Free x858 Free x859 Free x860 Free x861 Free x862 Free x863 Free x864 Free x865 Free x866 Free x867 Free x868 Free x869 Free x870 Free x871 Free x872 Free x873 Free x874 Free x875 Free x876 Free x877 Free x878 Free x879 Free x880 Free x881 Free x882 Free x883 Free x884 Free x885 Free x886 Free x887 Free x888 Free x889 Free x890 Free x891 Free x892 Free x893 Free x894 Free x895 Free x896 Free x897 Free x898 Free x899 Free x900 Free x901 Free x902 Free x903 Free x904 Free x905 Free x906 Free x907 Free x908 Free x909 Free x910 Free x911 Free x912 Free x913 Free x914 Free x915 Free x916 Free x917 Free x918 Free x919 Free x920 Free x921 Free x922 Free x923 Free x924 Free x925 Free x926 Free x927 Free x928 Free x929 Free x930 Free x931 Free x932 Free x933 Free x934 Free x935 Free x936 Free x937 Free x938 Free x939 Free x940 Free x941 Free x942 Free x943 Free x944 Free x945 Free x946 Free x947 Free x948 Free x949 Free x950 Free x951 Free x952 Free x953 Free x954 Free x955 Free x956 Free x957 Free x958 Free x959 Free x960 Free x961 Free x962 Free x963 Free x964 Free x965 Free x966 Free x967 Free x968 Free x969 Free x970 Free x971 Free x972 Free x973 Free x974 Free x975 Free x976 Free x977 Free x978 Free x979 Free x980 Free x981 Free x982 Free x983 Free x984 Free x985 Free x986 Free x987 Free x988 Free x989 Free x990 Free x991 Free x992 Free x993 Free x994 Free x995 Free x996 Free x997 Free x998 Free x999 Free x1000 Free x1001 Free x1002 Free x1003 Free x1004 Free x1005 Free x1006 Free x1007 Free x1008 Free x1009 Free x1010 Free x1011 Free x1012 Free x1013 Free x1014 Free x1015 Free x1016 Free x1017 Free x1018 Free x1019 Free x1020 Free x1021 Free x1022 Free x1023 Free x1024 Free x1025 Free x1026 Free x1027 Free x1028 Free x1029 Free x1030 Free x1031 Free x1032 Free x1033 Free x1034 Free x1035 Free x1036 Free x1037 Free x1038 Free x1039 Free x1040 Free x1041 Free x1042 Free x1043 Free x1044 Free x1045 Free x1046 Free x1047 Free x1048 Free x1049 Free x1050 Free x1051 Free x1052 Free x1053 Free x1054 Free x1055 Free x1056 Free x1057 Free x1058 Free x1059 Free x1060 Free x1061 Free x1062 Free x1063 Free x1064 Free x1065 Free x1066 Free x1067 Free x1068 Free x1069 Free x1070 Free x1071 Free x1072 Free x1073 Free x1074 Free x1075 Free x1076 Free x1077 Free x1078 Free x1079 Free x1080 Free x1081 Free x1082 Free x1083 Free x1084 Free x1085 Free x1086 Free x1087 Free x1088 Free x1089 Free x1090 Free x1091 Free x1092 Free x1093 Free x1094 Free x1095 Free x1096 Free x1097 Free x1098 Free x1099 Free x1100 Free x1101 Free x1102 Free x1103 Free x1104 Free x1105 Free x1106 Free x1107 Free x1108 Free x1109 Free x1110 Free x1111 Free x1112 Free x1113 Free x1114 Free x1115 Free x1116 Free x1117 Free x1118 Free x1119 Free x1120 Free x1121 Free x1122 Free x1123 Free x1124 Free x1125 Free x1126 Free x1127 Free x1128 Free x1129 Free x1130 Free x1131 Free x1132 Free x1133 Free x1134 Free x1135 Free x1136 Free x1137 Free x1138 Free x1139 Free x1140 Free x1141 Free x1142 Free x1143 Free x1144 Free x1145 Free x1146 Free x1147 Free x1148 Free x1149 Free x1150 Free x1151 Free x1152 Free x1153 Free x1154 Free x1155 Free x1156 Free x1157 Free x1158 Free x1159 Free x1160 Free x1161 Free x1162 Free x1163 Free x1164 Free x1165 Free x1166 Free x1167 Free x1168 Free x1169 Free x1170 Free x1171 Free x1172 Free x1173 Free x1174 Free x1175 Free x1176 Free x1177 Free x1178 Free x1179 Free x1180 Free x1181 Free x1182 Free x1183 Free x1184 Free x1185 Free x1186 Free x1187 Free x1188 Free x1189 Free x1190 Free x1191 Free x1192 Free x1193 Free x1194 Free x1195 Free x1196 Free x1197 Free x1198 Free x1199 Free x1200 Free x1201 Free x1202 Free x1203 Free x1204 Free x1205 Free x1206 Free x1207 Free x1208 Free x1209 Free x1210 Free x1211 Free x1212 Free x1213 Free x1214 Free x1215 Free x1216 Free x1217 Free x1218 Free x1219 Free x1220 Free x1221 Free x1222 Free x1223 Free x1224 Free x1225 Free x1226 Free x1227 Free x1228 Free x1229 Free x1230 Free x1231 Free x1232 Free x1233 Free x1234 Free x1235 Free x1236 Free x1237 Free x1238 Free x1239 Free x1240 Free x1241 Free x1242 Free x1243 Free x1244 Free x1245 Free x1246 Free x1247 Free x1248 Free x1249 Free x1250 Free x1251 Free x1252 Free x1253 Free x1254 Free x1255 Free x1256 Free x1257 Free x1258 Free x1259 Free x1260 Free x1261 Free x1262 Free x1263 Free x1264 Free x1265 Free x1266 Free x1267 Free x1268 Free x1269 Free x1270 Free x1271 Free x1272 Free x1273 Free x1274 Free x1275 Free x1276 Free x1277 Free x1278 Free x1279 Free x1280 Free x1281 Free x1282 Free x1283 Free x1284 Free x1285 Free x1286 Free x1287 Free x1288 Free x1289 Free x1290 Free x1291 Free x1292 Free x1293 Free x1294 Free x1295 Free x1296 Free x1297 Free x1298 Free x1299 Free x1300 Free x1301 Free x1302 Free x1303 Free x1304 Free x1305 Free x1306 Free x1307 Free x1308 Free x1309 Free x1310 Free x1311 Free x1312 Free x1313 Free x1314 Free x1315 Free x1316 Free x1317 Free x1318 Free x1319 Free x1320 Free x1321 Free x1322 Free x1323 Free x1324 Free x1325 Free x1326 Free x1327 Free x1328 Free x1329 Free x1330 Free x1331 Free x1332 Free x1333 Free x1334 Free x1335 Free x1336 Free x1337 Free x1338 Free x1339 Free x1340 Free x1341 Free x1342 Free x1343 Free x1344 Free x1345 Free x1346 Free x1347 Free x1348 Free x1349 Free x1350 Free x1351 Free x1352 Free x1353 Free x1354 Free x1355 Free x1356 Free x1357 Free x1358 Free x1359 Free x1360 Free x1361 Free x1362 Free x1363 Free x1364 Free x1365 Free x1366 Free x1367 Free x1368 Free x1369 Free x1370 Free x1371 Free x1372 Free x1373 Free x1374 Free x1375 Free x1376 Free x1377 Free x1378 Free x1379 Free x1380 Free x1381 Free x1382 Free x1383 Free x1384 Free x1385 Free x1386 Free x1387 Free x1388 Free x1389 Free x1390 Free x1391 Free x1392 Free x1393 Free x1394 Free x1395 Free x1396 Free x1397 Free x1398 Free x1399 Free x1400 Free x1401 Free x1402 Free x1403 Free x1404 Free x1405 Free x1406 Free x1407 Free x1408 Free x1409 Free x1410 Free x1411 Free x1412 Free x1413 Free x1414 Free x1415 Free x1416 Free x1417 Free x1418 Free x1419 Free x1420 Free x1421 Free x1422 Free x1423 Free x1424 Free x1425 Free x1426 Free x1427 Free x1428 Free x1429 Free x1430 Free x1431 Free x1432 Free x1433 Free x1434 Free x1435 Free x1436 Free x1437 Free x1438 Free x1439 Free x1440 Free x1441 Free x1442 Free x1443 Free x1444 Free x1445 Free x1446 Free x1447 Free x1448 Free x1449 Free x1450 Free x1451 Free x1452 Free x1453 Free x1454 Free x1455 Free x1456 Free x1457 Free x1458 Free x1459 Free x1460 Free x1461 Free x1462 Free x1463 Free x1464 Free x1465 Free x1466 Free x1467 Free x1468 Free x1469 Free x1470 Free x1471 Free x1472 Free x1473 Free x1474 Free x1475 Free x1476 Free x1477 Free x1478 Free x1479 Free x1480 Free x1481 Free x1482 Free x1483 Free x1484 Free x1485 Free x1486 Free x1487 Free x1488 Free x1489 Free x1490 Free x1491 Free x1492 Free x1493 Free x1494 Free x1495 Free x1496 Free x1497 Free x1498 Free x1499 Free x1500 Free x1501 Free x1502 Free x1503 Free x1504 Free x1505 Free x1506 Free x1507 Free x1508 Free x1509 Free x1510 Free x1511 Free x1512 Free x1513 Free x1514 Free x1515 Free x1516 Free x1517 Free x1518 Free x1519 Free x1520 Free x1521 Free x1522 Free x1523 Free x1524 Free x1525 Free x1526 Free x1527 Free x1528 Free x1529 Free x1530 Free x1531 Free x1532 Free x1533 Free x1534 Free x1535 Free x1536 Free x1537 Free x1538 Free x1539 Free x1540 Free x1541 Free x1542 Free x1543 Free x1544 Free x1545 Free x1546 Free x1547 Free x1548 Free x1549 Free x1550 Free x1551 Free x1552 Free x1553 Free x1554 Free x1555 Free x1556 Free x1557 Free x1558 Free x1559 Free x1560 Free x1561 Free x1562 Free x1563 Free x1564 Free x1565 Free x1566 Free x1567 Free x1568 Free x1569 Free x1570 Free x1571 Free x1572 Free x1573 Free x1574 Free x1575 Free x1576 Free x1577 Free x1578 Free x1579 Free x1580 Free x1581 Free x1582 Free x1583 Free x1584 Free x1585 Free x1586 Free x1587 Free x1588 Free x1589 Free x1590 Free x1591 Free x1592 Free x1593 Free x1594 Free x1595 Free x1596 Free x1597 Free x1598 Free x1599 Free x1600 Free x1601 Free x1602 Free x1603 Free x1604 Free x1605 Free x1606 Free x1607 Free x1608 Free x1609 Free x1610 Free x1611 Free End