\ Equation counts \ Total E G L N X C B \ 1279 931 146 202 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1219 1091 128 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 3199 2543 656 0 \ Minimize obj: 0.5674268557 x2 + 0.403883228 x3 + 0.2874761041 x4 + 0.2046198126 x5 + 1.12 x6 + 0.7971938776 x7 + 0.5674268557 x8 + 0.403883228 x9 + 0.2874761041 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 b825 + 0 b826 + 0 b827 + 0 b828 + 0 b829 + 0 b830 + 0 b831 + 0 b832 + 0 b833 + 0 b834 + 0 b835 + 0 b836 + 0 b837 + 0 b838 + 0 b839 + 0 b840 + 0 b841 + 0 b842 + 0 b843 + 0 b844 + 0 b845 + 0 b846 + 0 b847 + 0 b848 + 0 b849 + 0 b850 + 0 b851 + 0 b852 + 0 b853 + 0 b854 + 0 b855 + 0 b856 + 0 b857 + 0 b858 + 0 b859 + 0 b860 + 0 b861 + 0 b862 + 0 b863 + 0 b864 + 0 b865 + 0 b866 + 0 b867 + 0 b868 + 0 b869 + 0 b870 + 0 b871 + 0 b872 + 0 b873 + 0 b874 + 0 b875 + 0 b876 + 0 b877 + 0 b878 + 0 b879 + 0 b880 + 0 b881 + 0 b882 + 0 b883 + 0 b884 + 0 b885 + 0 b886 + 0 b887 + 0 b888 + 0 b889 + 0 b890 + 0 b891 + 0 b892 + 0 b893 + 0 b894 + 0 b895 + 0 b896 + 0 b897 + 0 b898 + 0 b899 + 0 b900 + 0 b901 + 0 b902 + 0 b903 + 0 b904 + 0 b905 + 0 b906 + 0 b907 + 0 b908 + 0 b909 + 0 b910 + 0 b911 + 0 b912 + 0 b913 + 0 b914 + 0 b915 + 0 b916 + 0 b917 + 0 b918 + 0 b919 + 0 b920 + 0 b921 + 0 b922 + 0 b923 + 0 b924 + 0 b925 + 0 b926 + 0 b927 + 0 b928 + 0 b929 + 0 b930 + 0 b931 + 0 b932 + 0 b933 + 0 b934 + 0 b935 + 0 b936 + 0 b937 + 0 b938 + 0 b939 + 0 b940 + 0 b941 + 0 b942 + 0 b943 + 0 b944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 b956 + 0 b957 + 0 b958 + 0 b959 + 0 b960 + 0 b961 + 0 b962 + 0 b963 + 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 Subject To e2: 1.086484137 x539 + 16.98089253 x540 = 3022.59887 e3: 1.086484137 x541 + 16.98089253 x542 = 3022.59887 e4: 1.086484137 x543 + 16.98089253 x544 = 3022.59887 e5: 1.086484137 x545 + 16.98089253 x546 = 3022.59887 e6: 1.086484137 x547 + 16.98089253 x548 = 3022.59887 e7: 1.099868016 x549 + 9.925077647 x550 = 3324.901012 e8: 1.099868016 x551 + 9.925077647 x552 = 3324.901012 e9: 1.099868016 x553 + 9.925077647 x554 = 3324.901012 e10: 1.099868016 x555 + 9.925077647 x556 = 3324.901012 e11: 1.099868016 x557 + 9.925077647 x558 = 3324.901012 e12: 1.216545012 x559 + 13.56273896 x560 = 2373.479319 e13: 1.216545012 x561 + 13.56273896 x562 = 2373.479319 e14: 1.216545012 x563 + 13.56273896 x564 = 2373.479319 e15: 1.216545012 x565 + 13.56273896 x566 = 2373.479319 e16: 1.219512195 x567 + 7.796499721 x568 = 2042.682927 e17: 1.219512195 x569 + 7.796499721 x570 = 2042.682927 e18: 1.219512195 x571 + 7.796499721 x572 = 2042.682927 e19: 1.219512195 x573 + 7.796499721 x574 = 2042.682927 e20: 1.117818019 x575 + 13.74389681 x576 = 2165.213503 e21: 1.117818019 x577 + 13.74389681 x578 = 2165.213503 e22: 1.117818019 x579 + 13.74389681 x580 = 2165.213503 e23: 1.125745807 x581 + 22.91673798 x582 = 2401.215805 e24: 1.125745807 x583 + 22.91673798 x584 = 2401.215805 e25: 1.125745807 x585 + 22.91673798 x586 = 2401.215805 e26: 1.119570085 x587 + 23.99751613 x588 = 2281.683833 e27: 1.230769231 x589 + 60.92652601 x590 = 3369.846154 e28: 1.230769231 x591 + 60.92652601 x592 = 3369.846154 e29: 1.124227094 x593 + 12.33522449 x594 = 3423.271501 e30: 1.124227094 x595 + 12.33522449 x596 = 3423.271501 e31: 1.697504668 x597 + 10.73021421 x598 = 2393.481582 e32: 1.697504668 x599 + 10.73021421 x600 = 2393.481582 e33: 1.091941472 x601 + 345.8866628 x602 = 2393.535706 e34: x540 - 1.095 x603 = 0 e35: x542 - 1.095 x603 - 1.095 x604 = 0 e36: x544 - 1.095 x603 - 1.095 x604 - 1.095 x605 = 0 e37: x546 - 1.095 x603 - 1.095 x604 - 1.095 x605 - 1.095 x606 = 0 e38: x548 - 1.095 x603 - 1.095 x604 - 1.095 x605 - 1.095 x606 - 1.095 x607 = 0 e39: x550 - 1.095 x608 = 0 e40: x552 - 1.095 x608 - 1.095 x609 = 0 e41: x554 - 1.095 x608 - 1.095 x609 - 1.095 x610 = 0 e42: x556 - 1.095 x608 - 1.095 x609 - 1.095 x610 - 1.095 x611 = 0 e43: x558 - 1.095 x608 - 1.095 x609 - 1.095 x610 - 1.095 x611 - 1.095 x612 = 0 e44: x560 - 1.095 x613 = 0 e45: x562 - 1.095 x613 - 1.095 x614 = 0 e46: x564 - 1.095 x613 - 1.095 x614 - 1.095 x615 = 0 e47: x566 - 1.095 x613 - 1.095 x614 - 1.095 x615 - 1.095 x616 = 0 e48: x568 - 1.095 x617 = 0 e49: x570 - 1.095 x617 - 1.095 x618 = 0 e50: x572 - 1.095 x617 - 1.095 x618 - 1.095 x619 = 0 e51: x574 - 1.095 x617 - 1.095 x618 - 1.095 x619 - 1.095 x620 = 0 e52: x576 - 1.095 x621 = 0 e53: x578 - 1.095 x621 - 1.095 x622 = 0 e54: x580 - 1.095 x621 - 1.095 x622 - 1.095 x623 = 0 e55: x582 - 1.095 x624 = 0 e56: x584 - 1.095 x624 - 1.095 x625 = 0 e57: x586 - 1.095 x624 - 1.095 x625 - 1.095 x626 = 0 e58: x588 - 1.095 x627 = 0 e59: x590 - 1.095 x628 = 0 e60: x592 - 1.095 x628 - 1.095 x629 = 0 e61: x594 - 1.095 x630 = 0 e62: x596 - 1.095 x630 - 1.095 x631 = 0 e63: x598 - 1.095 x632 = 0 e64: x600 - 1.095 x632 - 1.095 x633 = 0 e65: x602 - 1.095 x634 = 0 e66: x540 + x635 = 178 e67: x542 + x636 = 178 e68: x544 + x637 = 178 e69: x546 + x638 = 178 e70: x548 + x639 = 178 e71: x550 + x640 = 335 e72: x552 + x641 = 335 e73: x554 + x642 = 335 e74: x556 + x643 = 335 e75: x558 + x644 = 335 e76: x560 + x645 = 175 e77: x562 + x646 = 175 e78: x564 + x647 = 175 e79: x566 + x648 = 175 e80: x568 + x649 = 262 e81: x570 + x650 = 262 e82: x572 + x651 = 262 e83: x574 + x652 = 262 e84: x576 + x653 = 157.54 e85: x578 + x654 = 157.54 e86: x580 + x655 = 157.54 e87: x582 + x656 = 104.78 e88: x584 + x657 = 104.78 e89: x586 + x658 = 104.78 e90: x588 + x659 = 95.08 e91: x590 + x660 = 55.31 e92: x592 + x661 = 55.31 e93: x594 + x662 = 277.52 e94: x596 + x663 = 277.52 e95: x598 + x664 = 223.06 e96: x600 + x665 = 223.06 e97: x602 + x666 = 6.92 e98: x603 - x667 - x668 - x669 - x670 = 0 e99: x604 - x671 - x672 - x673 - x674 = 0 e100: x605 - x675 - x676 - x677 - x678 = 0 e101: x606 - x679 - x680 - x681 - x682 = 0 e102: x607 - x683 - x684 - x685 - x686 = 0 e103: x608 - x687 - x688 - x689 - x690 = 0 e104: x609 - x691 - x692 - x693 - x694 = 0 e105: x610 - x695 - x696 - x697 - x698 = 0 e106: x611 - x699 - x700 - x701 - x702 = 0 e107: x612 - x703 - x704 - x705 - x706 = 0 e108: x613 - x707 - x708 - x709 - x710 = 0 e109: x614 - x711 - x712 - x713 - x714 = 0 e110: x615 - x715 - x716 - x717 - x718 = 0 e111: x616 - x719 - x720 - x721 - x722 = 0 e112: x617 - x723 - x724 - x725 - x726 = 0 e113: x618 - x727 - x728 - x729 - x730 = 0 e114: x619 - x731 - x732 - x733 - x734 = 0 e115: x620 - x735 - x736 - x737 - x738 = 0 e116: x621 - x739 - x740 - x741 - x742 = 0 e117: x622 - x743 - x744 - x745 - x746 = 0 e118: x623 - x747 - x748 - x749 - x750 = 0 e119: x624 - x751 - x752 - x753 - x754 = 0 e120: x625 - x755 - x756 - x757 - x758 = 0 e121: x626 - x759 - x760 - x761 - x762 = 0 e122: x627 - x763 - x764 - x765 - x766 = 0 e123: x628 - x767 - x768 - x769 - x770 = 0 e124: x629 - x771 - x772 - x773 - x774 = 0 e125: x630 - x775 - x776 - x777 - x778 = 0 e126: x631 - x779 - x780 - x781 - x782 = 0 e127: x632 - x783 - x784 - x785 - x786 = 0 e128: x633 - x787 - x788 - x789 - x790 = 0 e129: x634 - x791 - x792 - x793 - x794 = 0 e130: - x603 - x608 = -100 e131: - x604 - x609 - x613 - x617 + x795 = 0 e132: - x605 - x610 - x614 - x618 + x796 = 0 e133: - x606 - x611 - x615 - x619 + x797 = 0 e134: - x607 - x612 - x616 - x620 + x798 = 0 e135: - x621 - x624 + x799 = 0 e136: - x622 - x625 + x800 = 0 e137: - x623 - x626 + x801 = 0 e138: - x627 + x802 = 0 e139: - x628 - x630 + x803 = 0 e140: - x629 - x631 + x804 = 0 e141: - x632 + x805 = 0 e142: - x633 - x634 + x806 = 0 e143: - x795 + x807 = 0 e144: - x796 + x808 = 0 e145: - x797 + x809 = 0 e146: - x798 + x810 = 0 e147: - x799 + x811 = 0 e148: - x800 + x812 = 0 e149: - x801 + x813 = 0 e150: - x802 + x814 = 0 e151: - x803 + x815 = 0 e152: - x804 + x816 = 0 e153: - x805 + x817 = 0 e154: - x806 + x818 = 0 e155: - x807 + x819 = 0 e156: - x808 - x811 + x820 = 0 e157: - x809 - x812 + x821 = 0 e158: - x810 - x813 + x822 = 0 e159: - x815 - x817 + x823 = 0 e160: - x814 - x816 - x818 + x824 = 0 e161: b825 + b826 + b827 + b828 + b829 <= 1 e162: b830 + b831 + b832 + b833 + b834 <= 1 e163: b835 + b836 + b837 + b838 <= 1 e164: b839 + b840 + b841 + b842 <= 1 e165: b843 + b844 + b845 <= 1 e166: b846 + b847 + b848 <= 1 e167: b849 + b850 <= 1 e168: b851 + b852 <= 1 e169: b853 + b854 <= 1 e170: b855 + b856 + b857 + b858 + b859 <= 1 e171: b860 + b861 + b862 + b863 + b864 <= 1 e172: b865 + b866 + b867 + b868 <= 1 e173: b869 + b870 + b871 + b872 <= 1 e174: b873 + b874 + b875 <= 1 e175: b876 + b877 + b878 <= 1 e176: b879 + b880 <= 1 e177: b881 + b882 <= 1 e178: b883 + b884 <= 1 e179: b885 + b886 + b887 + b888 + b889 <= 1 e180: b890 + b891 + b892 + b893 + b894 <= 1 e181: b895 + b896 + b897 + b898 <= 1 e182: b899 + b900 + b901 + b902 <= 1 e183: b903 + b904 + b905 <= 1 e184: b906 + b907 + b908 <= 1 e185: b909 + b910 <= 1 e186: b911 + b912 <= 1 e187: b913 + b914 <= 1 e188: b915 + b916 + b917 + b918 + b919 <= 1 e189: b920 + b921 + b922 + b923 + b924 <= 1 e190: b925 + b926 + b927 + b928 <= 1 e191: b929 + b930 + b931 + b932 <= 1 e192: b933 + b934 + b935 <= 1 e193: b936 + b937 + b938 <= 1 e194: b939 + b940 <= 1 e195: b941 + b942 <= 1 e196: b943 + b944 <= 1 e197: x945 + x946 + x947 + x948 <= 0 e198: x949 + x950 + x951 <= 1 e199: x952 + x953 <= 1 e200: x954 + x955 <= 1 e201: x667 - 40 b825 <= 0 e202: - x667 + x671 - 40 b826 <= 0 e203: - x671 + x675 - 40 b827 <= 0 e204: - x675 + x679 - 40 b828 <= 0 e205: - x679 + x683 - 40 b829 <= 0 e206: x687 - 45 b830 <= 0 e207: - x687 + x691 - 45 b831 <= 0 e208: - x691 + x695 - 45 b832 <= 0 e209: - x695 + x699 - 45 b833 <= 0 e210: - x699 + x703 - 45 b834 <= 0 e211: x707 - 35 b835 <= 0 e212: - x707 + x711 - 35 b836 <= 0 e213: - x711 + x715 - 35 b837 <= 0 e214: - x715 + x719 - 35 b838 <= 0 e215: x723 - 30 b839 <= 0 e216: - x723 + x727 - 30 b840 <= 0 e217: - x727 + x731 - 30 b841 <= 0 e218: - x731 + x735 - 30 b842 <= 0 e219: x739 - 35 b843 <= 0 e220: - x739 + x743 - 35 b844 <= 0 e221: - x743 + x747 - 35 b845 <= 0 e222: x751 - 35 b846 <= 0 e223: - x751 + x755 - 35 b847 <= 0 e224: - x755 + x759 - 35 b848 <= 0 e225: x763 - 35 b956 <= 0 e226: x767 - 40 b849 <= 0 e227: - x767 + x771 - 40 b850 <= 0 e228: x775 - 45 b851 <= 0 e229: - x775 + x779 - 45 b852 <= 0 e230: x783 - 30 b853 <= 0 e231: - x783 + x787 - 30 b854 <= 0 e232: x791 - 30 b957 <= 0 e233: x668 - 40 b855 <= 0 e234: - x668 + x672 - 40 b856 <= 0 e235: - x672 + x676 - 40 b857 <= 0 e236: - x676 + x680 - 40 b858 <= 0 e237: - x680 + x684 - 40 b859 <= 0 e238: x688 - 45 b860 <= 0 e239: - x688 + x692 - 45 b861 <= 0 e240: - x692 + x696 - 45 b862 <= 0 e241: - x696 + x700 - 45 b863 <= 0 e242: - x700 + x704 - 45 b864 <= 0 e243: x708 - 35 b865 <= 0 e244: - x708 + x712 - 35 b866 <= 0 e245: - x712 + x716 - 35 b867 <= 0 e246: - x716 + x720 - 35 b868 <= 0 e247: x724 - 30 b869 <= 0 e248: - x724 + x728 - 30 b870 <= 0 e249: - x728 + x732 - 30 b871 <= 0 e250: - x732 + x736 - 30 b872 <= 0 e251: x740 - 35 b873 <= 0 e252: - x740 + x744 - 35 b874 <= 0 e253: - x744 + x748 - 35 b875 <= 0 e254: x752 - 35 b876 <= 0 e255: - x752 + x756 - 35 b877 <= 0 e256: - x756 + x760 - 35 b878 <= 0 e257: x764 - 35 b958 <= 0 e258: x768 - 40 b879 <= 0 e259: - x768 + x772 - 40 b880 <= 0 e260: x776 - 45 b881 <= 0 e261: - x776 + x780 - 45 b882 <= 0 e262: x784 - 30 b883 <= 0 e263: - x784 + x788 - 30 b884 <= 0 e264: x792 - 30 b959 <= 0 e265: x669 - 40 b885 <= 0 e266: - x669 + x673 - 40 b886 <= 0 e267: - x673 + x677 - 40 b887 <= 0 e268: - x677 + x681 - 40 b888 <= 0 e269: - x681 + x685 - 40 b889 <= 0 e270: x689 - 45 b890 <= 0 e271: - x689 + x693 - 45 b891 <= 0 e272: - x693 + x697 - 45 b892 <= 0 e273: - x697 + x701 - 45 b893 <= 0 e274: - x701 + x705 - 45 b894 <= 0 e275: x709 - 35 b895 <= 0 e276: - x709 + x713 - 35 b896 <= 0 e277: - x713 + x717 - 35 b897 <= 0 e278: - x717 + x721 - 35 b898 <= 0 e279: x725 - 30 b899 <= 0 e280: - x725 + x729 - 30 b900 <= 0 e281: - x729 + x733 - 30 b901 <= 0 e282: - x733 + x737 - 30 b902 <= 0 e283: x741 - 35 b903 <= 0 e284: - x741 + x745 - 35 b904 <= 0 e285: - x745 + x749 - 35 b905 <= 0 e286: x753 - 35 b906 <= 0 e287: - x753 + x757 - 35 b907 <= 0 e288: - x757 + x761 - 35 b908 <= 0 e289: x765 - 35 b960 <= 0 e290: x769 - 40 b909 <= 0 e291: - x769 + x773 - 40 b910 <= 0 e292: x777 - 45 b911 <= 0 e293: - x777 + x781 - 45 b912 <= 0 e294: x785 - 30 b913 <= 0 e295: - x785 + x789 - 30 b914 <= 0 e296: x793 - 30 b961 <= 0 e297: x670 - 40 b915 <= 0 e298: - x670 + x674 - 40 b916 <= 0 e299: - x674 + x678 - 40 b917 <= 0 e300: - x678 + x682 - 40 b918 <= 0 e301: - x682 + x686 - 40 b919 <= 0 e302: x690 - 45 b920 <= 0 e303: - x690 + x694 - 45 b921 <= 0 e304: - x694 + x698 - 45 b922 <= 0 e305: - x698 + x702 - 45 b923 <= 0 e306: - x702 + x706 - 45 b924 <= 0 e307: x710 - 35 b925 <= 0 e308: - x710 + x714 - 35 b926 <= 0 e309: - x714 + x718 - 35 b927 <= 0 e310: - x718 + x722 - 35 b928 <= 0 e311: x726 - 30 b929 <= 0 e312: - x726 + x730 - 30 b930 <= 0 e313: - x730 + x734 - 30 b931 <= 0 e314: - x734 + x738 - 30 b932 <= 0 e315: x742 - 35 b933 <= 0 e316: - x742 + x746 - 35 b934 <= 0 e317: - x746 + x750 - 35 b935 <= 0 e318: x754 - 35 b936 <= 0 e319: - x754 + x758 - 35 b937 <= 0 e320: - x758 + x762 - 35 b938 <= 0 e321: x766 - 35 b962 <= 0 e322: x770 - 40 b939 <= 0 e323: - x770 + x774 - 40 b940 <= 0 e324: x778 - 45 b941 <= 0 e325: - x778 + x782 - 45 b942 <= 0 e326: x786 - 30 b943 <= 0 e327: - x786 + x790 - 30 b944 <= 0 e328: x794 - 30 b963 <= 0 e329: - b825 - b830 - b855 - b860 - b885 - b890 - b915 - b920 <= -1 e330: - b826 - b831 - b835 - b839 - b856 - b861 - b865 - b869 - b886 - b891 - b895 - b899 - b916 - b921 - b925 - b929 + x945 <= 0 e331: - b827 - b832 - b836 - b840 - b857 - b862 - b866 - b870 - b887 - b892 - b896 - b900 - b917 - b922 - b926 - b930 + x946 <= 0 e332: - b828 - b833 - b837 - b841 - b858 - b863 - b867 - b871 - b888 - b893 - b897 - b901 - b918 - b923 - b927 - b931 + x947 <= 0 e333: - b829 - b834 - b838 - b842 - b859 - b864 - b868 - b872 - b889 - b894 - b898 - b902 - b919 - b924 - b928 - b932 + x948 <= 0 e334: - b843 - b846 - b873 - b876 - b903 - b906 - b933 - b936 + x949 <= 0 e335: - b844 - b847 - b874 - b877 - b904 - b907 - b934 - b937 + x950 <= 0 e336: - b845 - b848 - b875 - b878 - b905 - b908 - b935 - b938 + x951 <= 0 e337: - b956 - b958 - b960 - b962 + x964 <= 0 e338: - b849 - b851 - b879 - b881 - b909 - b911 - b939 - b941 + x952 <= 0 e339: - b850 - b852 - b880 - b882 - b910 - b912 - b940 - b942 + x953 <= 0 e340: - b853 - b883 - b913 - b943 + x954 <= 0 e341: - b854 - b884 - b914 - b944 + x955 - b957 - b959 - b961 - b963 <= 0 e342: - x946 - x949 <= 0 e343: - x947 - x950 <= 0 e344: - x948 - x951 <= 0 e345: - x952 - x954 <= -1 e346: - x953 - x955 - x964 <= 0 e347: - b826 + x945 >= -1 e348: - b827 + x945 + x946 >= -1 e349: - b828 + x945 + x946 + x947 >= -1 e350: - b829 + x945 + x946 + x947 + x948 >= -1 e351: - b831 + x945 >= -1 e352: - b832 + x945 + x946 >= -1 e353: - b833 + x945 + x946 + x947 >= -1 e354: - b834 + x945 + x946 + x947 + x948 >= -1 e355: - b835 + x945 >= -1 e356: - b836 + x945 + x946 >= -1 e357: - b837 + x945 + x946 + x947 >= -1 e358: - b838 + x945 + x946 + x947 + x948 >= -1 e359: - b839 + x945 >= -1 e360: - b840 + x945 + x946 >= -1 e361: - b841 + x945 + x946 + x947 >= -1 e362: - b842 + x945 + x946 + x947 + x948 >= -1 e363: - b843 + x949 >= 0 e364: - b844 + x949 + x950 >= 0 e365: - b845 + x949 + x950 + x951 >= 0 e366: x949 + x950 >= 0 e367: x949 + x950 + x951 >= 0 e368: - b846 + x949 >= 0 e369: - b847 + x949 + x950 >= 0 e370: - b848 + x949 + x950 + x951 >= 0 e371: - b956 + x964 >= 0 e372: - b849 + x952 >= 0 e373: - b850 + x952 + x953 >= 0 e374: - b851 + x952 >= 0 e375: - b852 + x952 + x953 >= 0 e376: - b853 + x954 >= 0 e377: - b854 + x954 + x955 >= 0 e378: x954 + x955 - b957 >= 0 e379: - b856 + x945 >= -1 e380: - b857 + x945 + x946 >= -1 e381: - b858 + x945 + x946 + x947 >= -1 e382: - b859 + x945 + x946 + x947 + x948 >= -1 e383: - b861 + x945 >= -1 e384: - b862 + x945 + x946 >= -1 e385: - b863 + x945 + x946 + x947 >= -1 e386: - b864 + x945 + x946 + x947 + x948 >= -1 e387: - b865 + x945 >= -1 e388: - b866 + x945 + x946 >= -1 e389: - b867 + x945 + x946 + x947 >= -1 e390: - b868 + x945 + x946 + x947 + x948 >= -1 e391: - b869 + x945 >= -1 e392: - b870 + x945 + x946 >= -1 e393: - b871 + x945 + x946 + x947 >= -1 e394: - b872 + x945 + x946 + x947 + x948 >= -1 e395: - b873 + x949 >= 0 e396: - b874 + x949 + x950 >= 0 e397: - b875 + x949 + x950 + x951 >= 0 e398: x949 + x950 >= 0 e399: x949 + x950 + x951 >= 0 e400: - b876 + x949 >= 0 e401: - b877 + x949 + x950 >= 0 e402: - b878 + x949 + x950 + x951 >= 0 e403: - b958 + x964 >= 0 e404: - b879 + x952 >= 0 e405: - b880 + x952 + x953 >= 0 e406: - b881 + x952 >= 0 e407: - b882 + x952 + x953 >= 0 e408: - b883 + x954 >= 0 e409: - b884 + x954 + x955 >= 0 e410: x954 + x955 - b959 >= 0 e411: - b886 + x945 >= -1 e412: - b887 + x945 + x946 >= -1 e413: - b888 + x945 + x946 + x947 >= -1 e414: - b889 + x945 + x946 + x947 + x948 >= -1 e415: - b891 + x945 >= -1 e416: - b892 + x945 + x946 >= -1 e417: - b893 + x945 + x946 + x947 >= -1 e418: - b894 + x945 + x946 + x947 + x948 >= -1 e419: - b895 + x945 >= -1 e420: - b896 + x945 + x946 >= -1 e421: - b897 + x945 + x946 + x947 >= -1 e422: - b898 + x945 + x946 + x947 + x948 >= -1 e423: - b899 + x945 >= -1 e424: - b900 + x945 + x946 >= -1 e425: - b901 + x945 + x946 + x947 >= -1 e426: - b902 + x945 + x946 + x947 + x948 >= -1 e427: - b903 + x949 >= 0 e428: - b904 + x949 + x950 >= 0 e429: - b905 + x949 + x950 + x951 >= 0 e430: x949 + x950 >= 0 e431: x949 + x950 + x951 >= 0 e432: - b906 + x949 >= 0 e433: - b907 + x949 + x950 >= 0 e434: - b908 + x949 + x950 + x951 >= 0 e435: - b960 + x964 >= 0 e436: - b909 + x952 >= 0 e437: - b910 + x952 + x953 >= 0 e438: - b911 + x952 >= 0 e439: - b912 + x952 + x953 >= 0 e440: - b913 + x954 >= 0 e441: - b914 + x954 + x955 >= 0 e442: x954 + x955 - b961 >= 0 e443: - b916 + x945 >= -1 e444: - b917 + x945 + x946 >= -1 e445: - b918 + x945 + x946 + x947 >= -1 e446: - b919 + x945 + x946 + x947 + x948 >= -1 e447: - b921 + x945 >= -1 e448: - b922 + x945 + x946 >= -1 e449: - b923 + x945 + x946 + x947 >= -1 e450: - b924 + x945 + x946 + x947 + x948 >= -1 e451: - b925 + x945 >= -1 e452: - b926 + x945 + x946 >= -1 e453: - b927 + x945 + x946 + x947 >= -1 e454: - b928 + x945 + x946 + x947 + x948 >= -1 e455: - b929 + x945 >= -1 e456: - b930 + x945 + x946 >= -1 e457: - b931 + x945 + x946 + x947 >= -1 e458: - b932 + x945 + x946 + x947 + x948 >= -1 e459: - b933 + x949 >= 0 e460: - b934 + x949 + x950 >= 0 e461: - b935 + x949 + x950 + x951 >= 0 e462: x949 + x950 >= 0 e463: x949 + x950 + x951 >= 0 e464: - b936 + x949 >= 0 e465: - b937 + x949 + x950 >= 0 e466: - b938 + x949 + x950 + x951 >= 0 e467: - b962 + x964 >= 0 e468: - b939 + x952 >= 0 e469: - b940 + x952 + x953 >= 0 e470: - b941 + x952 >= 0 e471: - b942 + x952 + x953 >= 0 e472: - b943 + x954 >= 0 e473: - b944 + x954 + x955 >= 0 e474: x954 + x955 - b963 >= 0 e475: x819 - x965 - x966 = 0 e476: x820 - x967 - x968 = 0 e477: x821 - x969 - x970 = 0 e478: x822 - x971 - x972 = 0 e479: x823 - x973 = 0 e480: x824 - x974 = 0 e481: - x965 - x975 = -100 e482: - x967 - x976 = -100 e483: - x969 - x977 = -100 e484: - x971 - x978 = -100 e485: - x966 - x979 = -500 e486: - x968 - x980 = -500 e487: - x970 - x973 - x981 = -500 e488: - x972 - x974 - x982 = -500 e489: - x819 + x983 >= 0 e490: - x820 + x984 >= 0 e491: - x821 + x985 >= 0 e492: - x822 + x986 >= 0 e493: - x823 + x987 >= 0 e494: - x824 + x988 >= 0 e495: x989 - x990 = 0 e496: x983 - x989 = 0 e497: - x983 + x984 = 0 e498: - x984 + x985 = 0 e499: - x985 + x986 = 0 e500: x987 - x991 = 0 e501: - x987 + x988 = 0 e502: - x807 + x992 >= 0 e503: - x808 + x993 >= 0 e504: - x809 + x994 >= 0 e505: - x810 + x995 >= 0 e506: - x811 + x996 >= 0 e507: - x812 + x997 >= 0 e508: - x813 + x998 >= 0 e509: - x814 + x999 >= 0 e510: - x815 + x1000 >= 0 e511: - x816 + x1001 >= 0 e512: - x817 + x1002 >= 0 e513: - x818 + x1003 >= 0 e514: x1004 - x1005 = 0 e515: x992 - x1004 - x1006 = 0 e516: - x992 + x993 - x1007 = 0 e517: - x993 + x994 - x1008 = 0 e518: - x994 + x995 - x1009 = 0 e519: x996 - x1010 = 0 e520: - x996 + x997 - x1011 = 0 e521: - x997 + x998 - x1012 = 0 e522: x999 - x1013 = 0 e523: x1000 - x1014 = 0 e524: - x1000 + x1001 - x1015 = 0 e525: x1002 - x1016 = 0 e526: - x1002 + x1003 - x1017 = 0 e527: - 500 x945 + x1006 <= 0 e528: - 500 x946 + x1007 <= 0 e529: - 500 x947 + x1008 <= 0 e530: - 500 x948 + x1009 <= 0 e531: - 420 x949 + x1010 <= 0 e532: - 420 x950 + x1011 <= 0 e533: - 420 x951 + x1012 <= 0 e534: - 320 x964 + x1013 <= 0 e535: - 340 x952 + x1014 <= 0 e536: - 340 x953 + x1015 <= 0 e537: - 240 x954 + x1016 <= 0 e538: - 240 x955 + x1017 <= 0 e539: - b825 - b826 - b827 - b828 - b829 - b830 - b831 - b832 - b833 - b834 - b835 - b836 - b837 - b838 - b839 - b840 - b841 - b842 - b855 - b856 - b857 - b858 - b859 - b860 - b861 - b862 - b863 - b864 - b865 - b866 - b867 - b868 - b869 - b870 - b871 - b872 - b885 - b886 - b887 - b888 - b889 - b890 - b891 - b892 - b893 - b894 - b895 - b896 - b897 - b898 - b899 - b900 - b901 - b902 - b915 - b916 - b917 - b918 - b919 - b920 - b921 - b922 - b923 - b924 - b925 - b926 - b927 - b928 - b929 - b930 - b931 - b932 + x1018 = 0 e540: - b843 - b844 - b845 - b846 - b847 - b848 - b873 - b874 - b875 - b876 - b877 - b878 - b903 - b904 - b905 - b906 - b907 - b908 - b933 - b934 - b935 - b936 - b937 - b938 + x1019 = 0 e541: - b956 - b958 - b960 - b962 + x1020 = 0 e542: - b849 - b850 - b851 - b852 - b879 - b880 - b881 - b882 - b909 - b910 - b911 - b912 - b939 - b940 - b941 - b942 + x1021 = 0 e543: - b853 - b854 - b883 - b884 - b913 - b914 - b943 - b944 - b957 - b959 - b961 - b963 + x1022 = 0 e544: - 4.1686 b825 + x1023 = 0 e545: - 4.1686 b826 + x1024 = 0 e546: - 4.1686 b827 + x1025 = 0 e547: - 4.1686 b828 + x1026 = 0 e548: - 4.1686 b829 + x1027 = 0 e549: - 4.1686 b830 + x1028 = 0 e550: - 4.1686 b831 + x1029 = 0 e551: - 4.1686 b832 + x1030 = 0 e552: - 4.1686 b833 + x1031 = 0 e553: - 4.1686 b834 + x1032 = 0 e554: - 4.1686 b835 + x1033 = 0 e555: - 4.1686 b836 + x1034 = 0 e556: - 4.1686 b837 + x1035 = 0 e557: - 4.1686 b838 + x1036 = 0 e558: - 4.1686 b839 + x1037 = 0 e559: - 4.1686 b840 + x1038 = 0 e560: - 4.1686 b841 + x1039 = 0 e561: - 4.1686 b842 + x1040 = 0 e562: - 4.1686 b843 + x1041 = 0 e563: - 4.1686 b844 + x1042 = 0 e564: - 4.1686 b845 + x1043 = 0 e565: - 4.1686 b846 + x1044 = 0 e566: - 4.1686 b847 + x1045 = 0 e567: - 4.1686 b848 + x1046 = 0 e568: - 4.205 b956 + x1047 = 0 e569: - 4.205 b849 + x1048 = 0 e570: - 4.205 b850 + x1049 = 0 e571: - 4.205 b851 + x1050 = 0 e572: - 4.205 b852 + x1051 = 0 e573: - 4.205 b853 + x1052 = 0 e574: - 4.205 b854 + x1053 = 0 e575: - 4.205 b957 + x1054 = 0 e576: - 4.1686 b855 + x1055 = 0 e577: - 4.1686 b856 + x1056 = 0 e578: - 4.1686 b857 + x1057 = 0 e579: - 4.1686 b858 + x1058 = 0 e580: - 4.1686 b859 + x1059 = 0 e581: - 4.1686 b860 + x1060 = 0 e582: - 4.1686 b861 + x1061 = 0 e583: - 4.1686 b862 + x1062 = 0 e584: - 4.1686 b863 + x1063 = 0 e585: - 4.1686 b864 + x1064 = 0 e586: - 4.1686 b865 + x1065 = 0 e587: - 4.1686 b866 + x1066 = 0 e588: - 4.1686 b867 + x1067 = 0 e589: - 4.1686 b868 + x1068 = 0 e590: - 4.1686 b869 + x1069 = 0 e591: - 4.1686 b870 + x1070 = 0 e592: - 4.1686 b871 + x1071 = 0 e593: - 4.1686 b872 + x1072 = 0 e594: - 4.1686 b873 + x1073 = 0 e595: - 4.1686 b874 + x1074 = 0 e596: - 4.1686 b875 + x1075 = 0 e597: - 4.1686 b876 + x1076 = 0 e598: - 4.1686 b877 + x1077 = 0 e599: - 4.1686 b878 + x1078 = 0 e600: - 4.205 b958 + x1079 = 0 e601: - 4.205 b879 + x1080 = 0 e602: - 4.205 b880 + x1081 = 0 e603: - 4.205 b881 + x1082 = 0 e604: - 4.205 b882 + x1083 = 0 e605: - 4.205 b883 + x1084 = 0 e606: - 4.205 b884 + x1085 = 0 e607: - 4.205 b959 + x1086 = 0 e608: - 4.1686 b885 + x1087 = 0 e609: - 4.1686 b886 + x1088 = 0 e610: - 4.1686 b887 + x1089 = 0 e611: - 4.1686 b888 + x1090 = 0 e612: - 4.1686 b889 + x1091 = 0 e613: - 4.1686 b890 + x1092 = 0 e614: - 4.1686 b891 + x1093 = 0 e615: - 4.1686 b892 + x1094 = 0 e616: - 4.1686 b893 + x1095 = 0 e617: - 4.1686 b894 + x1096 = 0 e618: - 4.1686 b895 + x1097 = 0 e619: - 4.1686 b896 + x1098 = 0 e620: - 4.1686 b897 + x1099 = 0 e621: - 4.1686 b898 + x1100 = 0 e622: - 4.1686 b899 + x1101 = 0 e623: - 4.1686 b900 + x1102 = 0 e624: - 4.1686 b901 + x1103 = 0 e625: - 4.1686 b902 + x1104 = 0 e626: - 4.1686 b903 + x1105 = 0 e627: - 4.1686 b904 + x1106 = 0 e628: - 4.1686 b905 + x1107 = 0 e629: - 4.1686 b906 + x1108 = 0 e630: - 4.1686 b907 + x1109 = 0 e631: - 4.1686 b908 + x1110 = 0 e632: - 4.205 b960 + x1111 = 0 e633: - 4.205 b909 + x1112 = 0 e634: - 4.205 b910 + x1113 = 0 e635: - 4.205 b911 + x1114 = 0 e636: - 4.205 b912 + x1115 = 0 e637: - 4.205 b913 + x1116 = 0 e638: - 4.205 b914 + x1117 = 0 e639: - 4.205 b961 + x1118 = 0 e640: - 4.1686 b915 + x1119 = 0 e641: - 4.1686 b916 + x1120 = 0 e642: - 4.1686 b917 + x1121 = 0 e643: - 4.1686 b918 + x1122 = 0 e644: - 4.1686 b919 + x1123 = 0 e645: - 4.1686 b920 + x1124 = 0 e646: - 4.1686 b921 + x1125 = 0 e647: - 4.1686 b922 + x1126 = 0 e648: - 4.1686 b923 + x1127 = 0 e649: - 4.1686 b924 + x1128 = 0 e650: - 4.1686 b925 + x1129 = 0 e651: - 4.1686 b926 + x1130 = 0 e652: - 4.1686 b927 + x1131 = 0 e653: - 4.1686 b928 + x1132 = 0 e654: - 4.1686 b929 + x1133 = 0 e655: - 4.1686 b930 + x1134 = 0 e656: - 4.1686 b931 + x1135 = 0 e657: - 4.1686 b932 + x1136 = 0 e658: - 4.1686 b933 + x1137 = 0 e659: - 4.1686 b934 + x1138 = 0 e660: - 4.1686 b935 + x1139 = 0 e661: - 4.1686 b936 + x1140 = 0 e662: - 4.1686 b937 + x1141 = 0 e663: - 4.1686 b938 + x1142 = 0 e664: - 4.205 b962 + x1143 = 0 e665: - 4.205 b939 + x1144 = 0 e666: - 4.205 b940 + x1145 = 0 e667: - 4.205 b941 + x1146 = 0 e668: - 4.205 b942 + x1147 = 0 e669: - 4.205 b943 + x1148 = 0 e670: - 4.205 b944 + x1149 = 0 e671: - 4.205 b963 + x1150 = 0 e672: - 15.872 x945 - 0.992 x946 - 0.001425 x1005 - 0.0076 x1006 - 0.000475 x1007 + x1151 = 2.976 e673: - 2.976 x945 - 15.872 x946 - 0.992 x947 - 0.001425 x1006 - 0.0076 x1007 - 0.000475 x1008 + x1152 = 0 e674: - 2.976 x946 - 15.872 x947 - 0.992 x948 - 0.001425 x1007 - 0.0076 x1008 - 0.000475 x1009 + x1153 = 0 e675: - 2.976 x947 - 15.872 x948 - 0.001425 x1008 - 0.0076 x1009 + x1154 = 0 e676: - 2.976 x948 - 0.001425 x1009 + x1155 = 0 e677: - 1.012 x949 - 0.000475 x1010 + x1156 = 0 e678: - 16.192 x949 - 1.012 x950 - 0.0076 x1010 - 0.000475 x1011 + x1157 = 0 e679: - 3.036 x949 - 16.192 x950 - 1.012 x951 - 0.001425 x1010 - 0.0076 x1011 - 0.000475 x1012 + x1158 = 0 e680: - 3.036 x950 - 16.192 x951 - 0.001425 x1011 - 0.0076 x1012 + x1159 = 0 e681: - 3.036 x951 - 0.001425 x1012 + x1160 = 0 e682: - 1.004 x964 - 0.0004625 x1013 + x1161 = 0 e683: - 16.064 x964 - 0.0074 x1013 + x1162 = 0 e684: - 3.012 x964 - 0.0013875 x1013 + x1163 = 0 e685: - 1.044 x952 - 0.0004625 x1014 + x1164 = 0 e686: - 16.704 x952 - 1.044 x953 - 0.0074 x1014 - 0.0004625 x1015 + x1165 = 0 e687: - 3.132 x952 - 16.704 x953 - 0.0013875 x1014 - 0.0074 x1015 + x1166 = 0 e688: - 3.132 x953 - 0.0013875 x1015 + x1167 = 0 e689: - 0.999 x954 - 0.0004625 x1016 + x1168 = 0 e690: - 15.984 x954 - 0.999 x955 - 0.0074 x1016 - 0.0004625 x1017 + x1169 = 0 e691: - 2.997 x954 - 15.984 x955 - 0.0013875 x1016 - 0.0074 x1017 + x1170 = 0 e692: - 2.997 x955 - 0.0013875 x1017 + x1171 = 0 e693: - x1023 - x1028 - x1055 - x1060 - x1087 - x1092 - x1119 - x1124 - x1151 + x1172 = 0 e694: - x1024 - x1029 - x1033 - x1037 - x1056 - x1061 - x1065 - x1069 - x1088 - x1093 - x1097 - x1101 - x1120 - x1125 - x1129 - x1133 - x1152 + x1173 = 0 e695: - x1025 - x1030 - x1034 - x1038 - x1057 - x1062 - x1066 - x1070 - x1089 - x1094 - x1098 - x1102 - x1121 - x1126 - x1130 - x1134 - x1153 + x1174 = 0 e696: - x1026 - x1031 - x1035 - x1039 - x1058 - x1063 - x1067 - x1071 - x1090 - x1095 - x1099 - x1103 - x1122 - x1127 - x1131 - x1135 - x1154 + x1175 = 0 e697: - x1027 - x1032 - x1036 - x1040 - x1059 - x1064 - x1068 - x1072 - x1091 - x1096 - x1100 - x1104 - x1123 - x1128 - x1132 - x1136 - x1155 + x1176 = 0 e698: - x1156 + x1177 = 0 e699: - x1157 + x1178 = 0 e700: - x1041 - x1044 - x1073 - x1076 - x1105 - x1108 - x1137 - x1140 - x1158 + x1179 = 0 e701: - x1042 - x1045 - x1074 - x1077 - x1106 - x1109 - x1138 - x1141 - x1159 + x1180 = 0 e702: - x1043 - x1046 - x1075 - x1078 - x1107 - x1110 - x1139 - x1142 - x1160 + x1181 = 0 e703: - x1161 + x1182 = 0 e704: - x1162 + x1183 = 0 e705: - x1047 - x1079 - x1111 - x1143 - x1163 + x1184 = 0 e706: - x1164 + x1185 = 0 e707: - x1165 + x1186 = 0 e708: - x1048 - x1050 - x1080 - x1082 - x1112 - x1114 - x1144 - x1146 - x1166 + x1187 = 0 e709: - x1049 - x1051 - x1081 - x1083 - x1113 - x1115 - x1145 - x1147 - x1167 + x1188 = 0 e710: - x1168 + x1189 = 0 e711: - x1169 + x1190 = 0 e712: - x1052 - x1084 - x1116 - x1148 - x1170 + x1191 = 0 e713: - x1053 - x1054 - x1085 - x1086 - x1117 - x1118 - x1149 - x1150 - x1171 + x1192 = 0 e714: - 0.01365 x990 + x1193 = 12.3525 e715: - 0.00455 x991 + x1194 = 4.0575 e716: - 0.0728 x991 + x1195 = 85.4 e717: - 0.01365 x991 + x1196 = 16.0125 e718: x6 - x1172 - x1177 - x1193 = 0 e719: x7 - x1173 - x1178 - x1185 - x1189 - x1194 = 0 e720: x8 - x1174 - x1179 - x1182 - x1186 - x1190 - x1195 = 0 e721: x9 - x1175 - x1180 - x1183 - x1187 - x1191 - x1196 = 0 e722: x10 - x1176 - x1181 - x1184 - x1188 - x1192 = 0 e723: - 0.3285 x819 + x1197 = 0 e724: - 0.3285 x820 + x1198 = 0 e725: - 0.3285 x821 + x1199 = 0 e726: - 0.3285 x822 + x1200 = 0 e727: - 0.3285 x823 + x1201 = 0 e728: - 0.3285 x824 + x1202 = 0 e729: x2 - x1197 - 0.3285 x1203 = 0 e730: x3 - x1198 - 0.3285 x1204 = 0 e731: x4 - x1199 - x1201 - 0.3285 x1205 = 0 e732: x5 - x1200 - x1202 - 0.3285 x1206 = 0 e733: x1203 - x1207 <= 0 e734: x1204 - x1208 <= 0 e735: x1205 - x1209 <= 0 e736: x1206 - x1210 <= 0 e737: x1207 - x1211 = 500 e738: x1208 - x1212 = 500 e739: x1209 - x1213 = 500 e740: x1210 - x1214 = 500 e741: x1203 - x1207 + x1212 = 0 e742: x1204 - x1208 + x1213 = 0 e743: x1205 - x1209 + x1214 = 0 e744: x1206 - x1210 + x1215 = 0 e745: - 1.095 x1203 - x1216 + x1217 = 0 e746: - 1.095 x1204 - x1217 + x1218 = 0 e747: - 1.095 x1205 - x1218 + x1219 = 0 e748: - 1.095 x1206 - x1219 + x1220 = 0 e749: - x975 - x979 + x1203 = 0 e750: - x976 - x980 + x1204 = 0 e751: - x977 - x981 + x1205 = 0 e752: - x978 - x982 + x1206 = 0 e753: x667 + [ 0.00229913319 x12^2 - 0.00229913319 x539^2 ] = 0 e754: x671 + [ 0.00229913319 x13^2 - 0.00229913319 x541^2 ] = 0 e755: x675 + [ 0.00229913319 x14^2 - 0.00229913319 x543^2 ] = 0 e756: x679 + [ 0.00229913319 x15^2 - 0.00229913319 x545^2 ] = 0 e757: x683 + [ 0.00229913319 x16^2 - 0.00229913319 x547^2 ] = 0 e758: x687 + [ 0.001525035503 x18^2 - 0.001525035503 x549^2 ] = 0 e759: x691 + [ 0.001525035503 x19^2 - 0.001525035503 x551^2 ] = 0 e760: x695 + [ 0.001525035503 x20^2 - 0.001525035503 x553^2 ] = 0 e761: x699 + [ 0.001525035503 x21^2 - 0.001525035503 x555^2 ] = 0 e762: x703 + [ 0.001525035503 x22^2 - 0.001525035503 x557^2 ] = 0 e763: x707 + [ 0.00012660013 x25^2 - 0.00012660013 x559^2 ] = 0 e764: x711 + [ 0.00012660013 x26^2 - 0.00012660013 x561^2 ] = 0 e765: x715 + [ 0.00012660013 x27^2 - 0.00012660013 x563^2 ] = 0 e766: x719 + [ 0.00012660013 x28^2 - 0.00012660013 x565^2 ] = 0 e767: x723 + [ 7.097498344e-05 x31^2 - 7.097498344e-05 x567^2 ] = 0 e768: x727 + [ 7.097498344e-05 x32^2 - 7.097498344e-05 x569^2 ] = 0 e769: x731 + [ 7.097498344e-05 x33^2 - 7.097498344e-05 x571^2 ] = 0 e770: x735 + [ 7.097498344e-05 x34^2 - 7.097498344e-05 x573^2 ] = 0 e771: x739 + [ 0.0004684063294 x38^2 - 0.0004684063294 x575^2 ] = 0 e772: x743 + [ 0.0004684063294 x39^2 - 0.0004684063294 x577^2 ] = 0 e773: x747 + [ 0.0004684063294 x40^2 - 0.0004684063294 x579^2 ] = 0 e774: x751 + [ 0.0006495931516 x50^2 - 0.0006495931516 x581^2 ] = 0 e775: x755 + [ 0.0006495931516 x51^2 - 0.0006495931516 x583^2 ] = 0 e776: x759 + [ 0.0006495931516 x52^2 - 0.0006495931516 x585^2 ] = 0 e777: x763 + [ 0.0009739356958 x58^2 - 0.0009739356958 x587^2 ] = 0 e778: x767 + [ 0.0001903315073 x69^2 - 0.0001903315073 x589^2 ] = 0 e779: x771 + [ 0.0001903315073 x70^2 - 0.0001903315073 x591^2 ] = 0 e780: x775 + [ 0.0008954427728 x75^2 - 0.0008954427728 x593^2 ] = 0 e781: x779 + [ 0.0008954427728 x76^2 - 0.0008954427728 x595^2 ] = 0 e782: x783 + [ 0.001290547912 x81^2 - 0.001290547912 x597^2 ] = 0 e783: x787 + [ 0.001290547912 x82^2 - 0.001290547912 x599^2 ] = 0 e784: x791 + [ 0.0008301613616 x88^2 - 0.0008301613616 x601^2 ] = 0 e785: x668 + [ 0.00229913319 x144^2 - 0.00229913319 x539^2 ] = 0 e786: x672 + [ 0.00229913319 x145^2 - 0.00229913319 x541^2 ] = 0 e787: x676 + [ 0.00229913319 x146^2 - 0.00229913319 x543^2 ] = 0 e788: x680 + [ 0.00229913319 x147^2 - 0.00229913319 x545^2 ] = 0 e789: x684 + [ 0.00229913319 x148^2 - 0.00229913319 x547^2 ] = 0 e790: x688 + [ 0.001525035503 x150^2 - 0.001525035503 x549^2 ] = 0 e791: x692 + [ 0.001525035503 x151^2 - 0.001525035503 x551^2 ] = 0 e792: x696 + [ 0.001525035503 x152^2 - 0.001525035503 x553^2 ] = 0 e793: x700 + [ 0.001525035503 x153^2 - 0.001525035503 x555^2 ] = 0 e794: x704 + [ 0.001525035503 x154^2 - 0.001525035503 x557^2 ] = 0 e795: x708 + [ 0.00012660013 x157^2 - 0.00012660013 x559^2 ] = 0 e796: x712 + [ 0.00012660013 x158^2 - 0.00012660013 x561^2 ] = 0 e797: x716 + [ 0.00012660013 x159^2 - 0.00012660013 x563^2 ] = 0 e798: x720 + [ 0.00012660013 x160^2 - 0.00012660013 x565^2 ] = 0 e799: x724 + [ 7.097498344e-05 x163^2 - 7.097498344e-05 x567^2 ] = 0 e800: x728 + [ 7.097498344e-05 x164^2 - 7.097498344e-05 x569^2 ] = 0 e801: x732 + [ 7.097498344e-05 x165^2 - 7.097498344e-05 x571^2 ] = 0 e802: x736 + [ 7.097498344e-05 x166^2 - 7.097498344e-05 x573^2 ] = 0 e803: x740 + [ 0.0004684063294 x170^2 - 0.0004684063294 x575^2 ] = 0 e804: x744 + [ 0.0004684063294 x171^2 - 0.0004684063294 x577^2 ] = 0 e805: x748 + [ 0.0004684063294 x172^2 - 0.0004684063294 x579^2 ] = 0 e806: x752 + [ 0.0006495931516 x182^2 - 0.0006495931516 x581^2 ] = 0 e807: x756 + [ 0.0006495931516 x183^2 - 0.0006495931516 x583^2 ] = 0 e808: x760 + [ 0.0006495931516 x184^2 - 0.0006495931516 x585^2 ] = 0 e809: x764 + [ 0.0009739356958 x190^2 - 0.0009739356958 x587^2 ] = 0 e810: x768 + [ 0.0001903315073 x201^2 - 0.0001903315073 x589^2 ] = 0 e811: x772 + [ 0.0001903315073 x202^2 - 0.0001903315073 x591^2 ] = 0 e812: x776 + [ 0.0008954427728 x207^2 - 0.0008954427728 x593^2 ] = 0 e813: x780 + [ 0.0008954427728 x208^2 - 0.0008954427728 x595^2 ] = 0 e814: x784 + [ 0.001290547912 x213^2 - 0.001290547912 x597^2 ] = 0 e815: x788 + [ 0.001290547912 x214^2 - 0.001290547912 x599^2 ] = 0 e816: x792 + [ 0.0008301613616 x220^2 - 0.0008301613616 x601^2 ] = 0 e817: x669 + [ 0.00229913319 x276^2 - 0.00229913319 x539^2 ] = 0 e818: x673 + [ 0.00229913319 x277^2 - 0.00229913319 x541^2 ] = 0 e819: x677 + [ 0.00229913319 x278^2 - 0.00229913319 x543^2 ] = 0 e820: x681 + [ 0.00229913319 x279^2 - 0.00229913319 x545^2 ] = 0 e821: x685 + [ 0.00229913319 x280^2 - 0.00229913319 x547^2 ] = 0 e822: x689 + [ 0.001525035503 x282^2 - 0.001525035503 x549^2 ] = 0 e823: x693 + [ 0.001525035503 x283^2 - 0.001525035503 x551^2 ] = 0 e824: x697 + [ 0.001525035503 x284^2 - 0.001525035503 x553^2 ] = 0 e825: x701 + [ 0.001525035503 x285^2 - 0.001525035503 x555^2 ] = 0 e826: x705 + [ 0.001525035503 x286^2 - 0.001525035503 x557^2 ] = 0 e827: x709 + [ 0.00012660013 x289^2 - 0.00012660013 x559^2 ] = 0 e828: x713 + [ 0.00012660013 x290^2 - 0.00012660013 x561^2 ] = 0 e829: x717 + [ 0.00012660013 x291^2 - 0.00012660013 x563^2 ] = 0 e830: x721 + [ 0.00012660013 x292^2 - 0.00012660013 x565^2 ] = 0 e831: x725 + [ 7.097498344e-05 x295^2 - 7.097498344e-05 x567^2 ] = 0 e832: x729 + [ 7.097498344e-05 x296^2 - 7.097498344e-05 x569^2 ] = 0 e833: x733 + [ 7.097498344e-05 x297^2 - 7.097498344e-05 x571^2 ] = 0 e834: x737 + [ 7.097498344e-05 x298^2 - 7.097498344e-05 x573^2 ] = 0 e835: x741 + [ 0.0004684063294 x302^2 - 0.0004684063294 x575^2 ] = 0 e836: x745 + [ 0.0004684063294 x303^2 - 0.0004684063294 x577^2 ] = 0 e837: x749 + [ 0.0004684063294 x304^2 - 0.0004684063294 x579^2 ] = 0 e838: x753 + [ 0.0006495931516 x314^2 - 0.0006495931516 x581^2 ] = 0 e839: x757 + [ 0.0006495931516 x315^2 - 0.0006495931516 x583^2 ] = 0 e840: x761 + [ 0.0006495931516 x316^2 - 0.0006495931516 x585^2 ] = 0 e841: x765 + [ 0.0009739356958 x322^2 - 0.0009739356958 x587^2 ] = 0 e842: x769 + [ 0.0001903315073 x333^2 - 0.0001903315073 x589^2 ] = 0 e843: x773 + [ 0.0001903315073 x334^2 - 0.0001903315073 x591^2 ] = 0 e844: x777 + [ 0.0008954427728 x339^2 - 0.0008954427728 x593^2 ] = 0 e845: x781 + [ 0.0008954427728 x340^2 - 0.0008954427728 x595^2 ] = 0 e846: x785 + [ 0.001290547912 x345^2 - 0.001290547912 x597^2 ] = 0 e847: x789 + [ 0.001290547912 x346^2 - 0.001290547912 x599^2 ] = 0 e848: x793 + [ 0.0008301613616 x352^2 - 0.0008301613616 x601^2 ] = 0 e849: x670 + [ 0.00229913319 x408^2 - 0.00229913319 x539^2 ] = 0 e850: x674 + [ 0.00229913319 x409^2 - 0.00229913319 x541^2 ] = 0 e851: x678 + [ 0.00229913319 x410^2 - 0.00229913319 x543^2 ] = 0 e852: x682 + [ 0.00229913319 x411^2 - 0.00229913319 x545^2 ] = 0 e853: x686 + [ 0.00229913319 x412^2 - 0.00229913319 x547^2 ] = 0 e854: x690 + [ 0.001525035503 x414^2 - 0.001525035503 x549^2 ] = 0 e855: x694 + [ 0.001525035503 x415^2 - 0.001525035503 x551^2 ] = 0 e856: x698 + [ 0.001525035503 x416^2 - 0.001525035503 x553^2 ] = 0 e857: x702 + [ 0.001525035503 x417^2 - 0.001525035503 x555^2 ] = 0 e858: x706 + [ 0.001525035503 x418^2 - 0.001525035503 x557^2 ] = 0 e859: x710 + [ 0.00012660013 x421^2 - 0.00012660013 x559^2 ] = 0 e860: x714 + [ 0.00012660013 x422^2 - 0.00012660013 x561^2 ] = 0 e861: x718 + [ 0.00012660013 x423^2 - 0.00012660013 x563^2 ] = 0 e862: x722 + [ 0.00012660013 x424^2 - 0.00012660013 x565^2 ] = 0 e863: x726 + [ 7.097498344e-05 x427^2 - 7.097498344e-05 x567^2 ] = 0 e864: x730 + [ 7.097498344e-05 x428^2 - 7.097498344e-05 x569^2 ] = 0 e865: x734 + [ 7.097498344e-05 x429^2 - 7.097498344e-05 x571^2 ] = 0 e866: x738 + [ 7.097498344e-05 x430^2 - 7.097498344e-05 x573^2 ] = 0 e867: x742 + [ 0.0004684063294 x434^2 - 0.0004684063294 x575^2 ] = 0 e868: x746 + [ 0.0004684063294 x435^2 - 0.0004684063294 x577^2 ] = 0 e869: x750 + [ 0.0004684063294 x436^2 - 0.0004684063294 x579^2 ] = 0 e870: x754 + [ 0.0006495931516 x446^2 - 0.0006495931516 x581^2 ] = 0 e871: x758 + [ 0.0006495931516 x447^2 - 0.0006495931516 x583^2 ] = 0 e872: x762 + [ 0.0006495931516 x448^2 - 0.0006495931516 x585^2 ] = 0 e873: x766 + [ 0.0009739356958 x454^2 - 0.0009739356958 x587^2 ] = 0 e874: x770 + [ 0.0001903315073 x465^2 - 0.0001903315073 x589^2 ] = 0 e875: x774 + [ 0.0001903315073 x466^2 - 0.0001903315073 x591^2 ] = 0 e876: x778 + [ 0.0008954427728 x471^2 - 0.0008954427728 x593^2 ] = 0 e877: x782 + [ 0.0008954427728 x472^2 - 0.0008954427728 x595^2 ] = 0 e878: x786 + [ 0.001290547912 x477^2 - 0.001290547912 x597^2 ] = 0 e879: x790 + [ 0.001290547912 x478^2 - 0.001290547912 x599^2 ] = 0 e880: x794 + [ 0.0008301613616 x484^2 - 0.0008301613616 x601^2 ] = 0 e881: [ 0.00229913319 x407^2 ] = 17794.1965 e882: [ 0.00229913319 x275^2 ] = 17794.1965 e883: [ 0.00229913319 x143^2 ] = 17794.1965 e884: [ 0.00229913319 x11^2 ] = 17794.1965 e885: [ 0.001525035503 x413^2 ] = 13936.58117 e886: [ 0.001525035503 x281^2 ] = 13936.58117 e887: [ 0.001525035503 x149^2 ] = 13936.58117 e888: [ 0.001525035503 x17^2 ] = 13936.58117 e889: [ 0.00012660013 x419^2 ] = 481.8908614 e890: [ 0.00012660013 x287^2 ] = 481.8908614 e891: [ 0.00012660013 x155^2 ] = 481.8908614 e892: [ 0.00012660013 x23^2 ] = 481.8908614 e893: [ 0.00012660013 x420^2 ] = 481.8908614 e894: [ 0.00012660013 x288^2 ] = 481.8908614 e895: [ 0.00012660013 x156^2 ] = 481.8908614 e896: [ 0.00012660013 x24^2 ] = 481.8908614 e897: [ 7.097498344e-05 x425^2 ] = 199.1291879 e898: [ 7.097498344e-05 x293^2 ] = 199.1291879 e899: [ 7.097498344e-05 x161^2 ] = 199.1291879 e900: [ 7.097498344e-05 x29^2 ] = 199.1291879 e901: [ 7.097498344e-05 x426^2 ] = 199.1291879 e902: [ 7.097498344e-05 x294^2 ] = 199.1291879 e903: [ 7.097498344e-05 x162^2 ] = 199.1291879 e904: [ 7.097498344e-05 x30^2 ] = 199.1291879 e905: [ 0.0004684063294 x431^2 ] = 1757.446027 e906: [ 0.0004684063294 x299^2 ] = 1757.446027 e907: [ 0.0004684063294 x167^2 ] = 1757.446027 e908: [ 0.0004684063294 x35^2 ] = 1757.446027 e909: [ 0.0004684063294 x432^2 ] = 1757.446027 e910: [ 0.0004684063294 x300^2 ] = 1757.446027 e911: [ 0.0004684063294 x168^2 ] = 1757.446027 e912: [ 0.0004684063294 x36^2 ] = 1757.446027 e913: [ 0.0004684063294 x433^2 ] = 1757.446027 e914: [ 0.0004684063294 x301^2 ] = 1757.446027 e915: [ 0.0004684063294 x169^2 ] = 1757.446027 e916: [ 0.0004684063294 x37^2 ] = 1757.446027 e917: [ 0.000258102892 x437^2 ] = 1069.912886 e918: [ 0.000258102892 x305^2 ] = 1069.912886 e919: [ 0.000258102892 x173^2 ] = 1069.912886 e920: [ 0.000258102892 x41^2 ] = 1069.912886 e921: [ 0.000258102892 x438^2 ] = 1069.912886 e922: [ 0.000258102892 x306^2 ] = 1069.912886 e923: [ 0.000258102892 x174^2 ] = 1069.912886 e924: [ 0.000258102892 x42^2 ] = 1069.912886 e925: [ 0.000258102892 x439^2 ] = 1069.912886 e926: [ 0.000258102892 x307^2 ] = 1069.912886 e927: [ 0.000258102892 x175^2 ] = 1069.912886 e928: [ 0.000258102892 x43^2 ] = 1069.912886 e929: [ 0.000258102892 x440^2 ] = 1069.912886 e930: [ 0.000258102892 x308^2 ] = 1069.912886 e931: [ 0.000258102892 x176^2 ] = 1069.912886 e932: [ 0.000258102892 x44^2 ] = 1069.912886 e933: [ 0.000258102892 x441^2 ] = 1069.912886 e934: [ 0.000258102892 x309^2 ] = 1069.912886 e935: [ 0.000258102892 x177^2 ] = 1069.912886 e936: [ 0.000258102892 x45^2 ] = 1069.912886 e937: [ 0.000258102892 x442^2 ] = 1069.912886 e938: [ 0.000258102892 x310^2 ] = 1069.912886 e939: [ 0.000258102892 x178^2 ] = 1069.912886 e940: [ 0.000258102892 x46^2 ] = 1069.912886 e941: [ 0.0006495931516 x443^2 ] = 2955.446816 e942: [ 0.0006495931516 x311^2 ] = 2955.446816 e943: [ 0.0006495931516 x179^2 ] = 2955.446816 e944: [ 0.0006495931516 x47^2 ] = 2955.446816 e945: [ 0.0006495931516 x444^2 ] = 2955.446816 e946: [ 0.0006495931516 x312^2 ] = 2955.446816 e947: [ 0.0006495931516 x180^2 ] = 2955.446816 e948: [ 0.0006495931516 x48^2 ] = 2955.446816 e949: [ 0.0006495931516 x445^2 ] = 2955.446816 e950: [ 0.0006495931516 x313^2 ] = 2955.446816 e951: [ 0.0006495931516 x181^2 ] = 2955.446816 e952: [ 0.0006495931516 x49^2 ] = 2955.446816 e953: [ 0.0009739356958 x449^2 ] = 4045.187372 e954: [ 0.0009739356958 x317^2 ] = 4045.187372 e955: [ 0.0009739356958 x185^2 ] = 4045.187372 e956: [ 0.0009739356958 x53^2 ] = 4045.187372 e957: [ 0.0009739356958 x450^2 ] = 4045.187372 e958: [ 0.0009739356958 x318^2 ] = 4045.187372 e959: [ 0.0009739356958 x186^2 ] = 4045.187372 e960: [ 0.0009739356958 x54^2 ] = 4045.187372 e961: [ 0.0009739356958 x451^2 ] = 4045.187372 e962: [ 0.0009739356958 x319^2 ] = 4045.187372 e963: [ 0.0009739356958 x187^2 ] = 4045.187372 e964: [ 0.0009739356958 x55^2 ] = 4045.187372 e965: [ 0.0009739356958 x452^2 ] = 4045.187372 e966: [ 0.0009739356958 x320^2 ] = 4045.187372 e967: [ 0.0009739356958 x188^2 ] = 4045.187372 e968: [ 0.0009739356958 x56^2 ] = 4045.187372 e969: [ 0.0009739356958 x453^2 ] = 4045.187372 e970: [ 0.0009739356958 x321^2 ] = 4045.187372 e971: [ 0.0009739356958 x189^2 ] = 4045.187372 e972: [ 0.0009739356958 x57^2 ] = 4045.187372 e973: [ 0.0003828033955 x455^2 ] = 4178.841112 e974: [ 0.0003828033955 x323^2 ] = 4178.841112 e975: [ 0.0003828033955 x191^2 ] = 4178.841112 e976: [ 0.0003828033955 x59^2 ] = 4178.841112 e977: [ 0.0003828033955 x456^2 ] = 4178.841112 e978: [ 0.0003828033955 x324^2 ] = 4178.841112 e979: [ 0.0003828033955 x192^2 ] = 4178.841112 e980: [ 0.0003828033955 x60^2 ] = 4178.841112 e981: [ 0.0003828033955 x457^2 ] = 4178.841112 e982: [ 0.0003828033955 x325^2 ] = 4178.841112 e983: [ 0.0003828033955 x193^2 ] = 4178.841112 e984: [ 0.0003828033955 x61^2 ] = 4178.841112 e985: [ 0.0003828033955 x458^2 ] = 4178.841112 e986: [ 0.0003828033955 x326^2 ] = 4178.841112 e987: [ 0.0003828033955 x194^2 ] = 4178.841112 e988: [ 0.0003828033955 x62^2 ] = 4178.841112 e989: [ 0.0003828033955 x459^2 ] = 4178.841112 e990: [ 0.0003828033955 x327^2 ] = 4178.841112 e991: [ 0.0003828033955 x195^2 ] = 4178.841112 e992: [ 0.0003828033955 x63^2 ] = 4178.841112 e993: [ 0.0003828033955 x460^2 ] = 4178.841112 e994: [ 0.0003828033955 x328^2 ] = 4178.841112 e995: [ 0.0003828033955 x196^2 ] = 4178.841112 e996: [ 0.0003828033955 x64^2 ] = 4178.841112 e997: [ 0.0001903315073 x461^2 ] = 1426.847552 e998: [ 0.0001903315073 x329^2 ] = 1426.847552 e999: [ 0.0001903315073 x197^2 ] = 1426.847552 e1000: [ 0.0001903315073 x65^2 ] = 1426.847552 e1001: [ 0.0001903315073 x462^2 ] = 1426.847552 e1002: [ 0.0001903315073 x330^2 ] = 1426.847552 e1003: [ 0.0001903315073 x198^2 ] = 1426.847552 e1004: [ 0.0001903315073 x66^2 ] = 1426.847552 e1005: [ 0.0001903315073 x463^2 ] = 1426.847552 e1006: [ 0.0001903315073 x331^2 ] = 1426.847552 e1007: [ 0.0001903315073 x199^2 ] = 1426.847552 e1008: [ 0.0001903315073 x67^2 ] = 1426.847552 e1009: [ 0.0001903315073 x464^2 ] = 1426.847552 e1010: [ 0.0001903315073 x332^2 ] = 1426.847552 e1011: [ 0.0001903315073 x200^2 ] = 1426.847552 e1012: [ 0.0001903315073 x68^2 ] = 1426.847552 e1013: [ 0.0008954427728 x467^2 ] = 8302.567775 e1014: [ 0.0008954427728 x335^2 ] = 8302.567775 e1015: [ 0.0008954427728 x203^2 ] = 8302.567775 e1016: [ 0.0008954427728 x71^2 ] = 8302.567775 e1017: [ 0.0008954427728 x468^2 ] = 8302.567775 e1018: [ 0.0008954427728 x336^2 ] = 8302.567775 e1019: [ 0.0008954427728 x204^2 ] = 8302.567775 e1020: [ 0.0008954427728 x72^2 ] = 8302.567775 e1021: [ 0.0008954427728 x469^2 ] = 8302.567775 e1022: [ 0.0008954427728 x337^2 ] = 8302.567775 e1023: [ 0.0008954427728 x205^2 ] = 8302.567775 e1024: [ 0.0008954427728 x73^2 ] = 8302.567775 e1025: [ 0.0008954427728 x470^2 ] = 8302.567775 e1026: [ 0.0008954427728 x338^2 ] = 8302.567775 e1027: [ 0.0008954427728 x206^2 ] = 8302.567775 e1028: [ 0.0008954427728 x74^2 ] = 8302.567775 e1029: [ 0.001290547912 x473^2 ] = 2565.738304 e1030: [ 0.001290547912 x341^2 ] = 2565.738304 e1031: [ 0.001290547912 x209^2 ] = 2565.738304 e1032: [ 0.001290547912 x77^2 ] = 2565.738304 e1033: [ 0.001290547912 x474^2 ] = 2565.738304 e1034: [ 0.001290547912 x342^2 ] = 2565.738304 e1035: [ 0.001290547912 x210^2 ] = 2565.738304 e1036: [ 0.001290547912 x78^2 ] = 2565.738304 e1037: [ 0.001290547912 x475^2 ] = 2565.738304 e1038: [ 0.001290547912 x343^2 ] = 2565.738304 e1039: [ 0.001290547912 x211^2 ] = 2565.738304 e1040: [ 0.001290547912 x79^2 ] = 2565.738304 e1041: [ 0.001290547912 x476^2 ] = 2565.738304 e1042: [ 0.001290547912 x344^2 ] = 2565.738304 e1043: [ 0.001290547912 x212^2 ] = 2565.738304 e1044: [ 0.001290547912 x80^2 ] = 2565.738304 e1045: [ 0.0008301613616 x479^2 ] = 3988.812441 e1046: [ 0.0008301613616 x347^2 ] = 3988.812441 e1047: [ 0.0008301613616 x215^2 ] = 3988.812441 e1048: [ 0.0008301613616 x83^2 ] = 3988.812441 e1049: [ 0.0008301613616 x480^2 ] = 3988.812441 e1050: [ 0.0008301613616 x348^2 ] = 3988.812441 e1051: [ 0.0008301613616 x216^2 ] = 3988.812441 e1052: [ 0.0008301613616 x84^2 ] = 3988.812441 e1053: [ 0.0008301613616 x481^2 ] = 3988.812441 e1054: [ 0.0008301613616 x349^2 ] = 3988.812441 e1055: [ 0.0008301613616 x217^2 ] = 3988.812441 e1056: [ 0.0008301613616 x85^2 ] = 3988.812441 e1057: [ 0.0008301613616 x482^2 ] = 3988.812441 e1058: [ 0.0008301613616 x350^2 ] = 3988.812441 e1059: [ 0.0008301613616 x218^2 ] = 3988.812441 e1060: [ 0.0008301613616 x86^2 ] = 3988.812441 e1061: [ 0.0008301613616 x483^2 ] = 3988.812441 e1062: [ 0.0008301613616 x351^2 ] = 3988.812441 e1063: [ 0.0008301613616 x219^2 ] = 3988.812441 e1064: [ 0.0008301613616 x87^2 ] = 3988.812441 e1065: [ 0.0007229365751 x485^2 ] = 2709.635685 e1066: [ 0.0007229365751 x353^2 ] = 2709.635685 e1067: [ 0.0007229365751 x221^2 ] = 2709.635685 e1068: [ 0.0007229365751 x89^2 ] = 2709.635685 e1069: [ 0.0007229365751 x486^2 ] = 2709.635685 e1070: [ 0.0007229365751 x354^2 ] = 2709.635685 e1071: [ 0.0007229365751 x222^2 ] = 2709.635685 e1072: [ 0.0007229365751 x90^2 ] = 2709.635685 e1073: [ 0.0007229365751 x487^2 ] = 2709.635685 e1074: [ 0.0007229365751 x355^2 ] = 2709.635685 e1075: [ 0.0007229365751 x223^2 ] = 2709.635685 e1076: [ 0.0007229365751 x91^2 ] = 2709.635685 e1077: [ 0.0007229365751 x488^2 ] = 2709.635685 e1078: [ 0.0007229365751 x356^2 ] = 2709.635685 e1079: [ 0.0007229365751 x224^2 ] = 2709.635685 e1080: [ 0.0007229365751 x92^2 ] = 2709.635685 e1081: [ 0.0007229365751 x489^2 ] = 2709.635685 e1082: [ 0.0007229365751 x357^2 ] = 2709.635685 e1083: [ 0.0007229365751 x225^2 ] = 2709.635685 e1084: [ 0.0007229365751 x93^2 ] = 2709.635685 e1085: [ 0.0007229365751 x490^2 ] = 2709.635685 e1086: [ 0.0007229365751 x358^2 ] = 2709.635685 e1087: [ 0.0007229365751 x226^2 ] = 2709.635685 e1088: [ 0.0007229365751 x94^2 ] = 2709.635685 e1089: [ 0.0009129282533 x491^2 ] = 4527.694147 e1090: [ 0.0009129282533 x359^2 ] = 4527.694147 e1091: [ 0.0009129282533 x227^2 ] = 4527.694147 e1092: [ 0.0009129282533 x95^2 ] = 4527.694147 e1093: [ 0.0009129282533 x492^2 ] = 4527.694147 e1094: [ 0.0009129282533 x360^2 ] = 4527.694147 e1095: [ 0.0009129282533 x228^2 ] = 4527.694147 e1096: [ 0.0009129282533 x96^2 ] = 4527.694147 e1097: [ 0.0009129282533 x493^2 ] = 4527.694147 e1098: [ 0.0009129282533 x361^2 ] = 4527.694147 e1099: [ 0.0009129282533 x229^2 ] = 4527.694147 e1100: [ 0.0009129282533 x97^2 ] = 4527.694147 e1101: [ 0.0009129282533 x494^2 ] = 4527.694147 e1102: [ 0.0009129282533 x362^2 ] = 4527.694147 e1103: [ 0.0009129282533 x230^2 ] = 4527.694147 e1104: [ 0.0009129282533 x98^2 ] = 4527.694147 e1105: [ 0.0009129282533 x495^2 ] = 4527.694147 e1106: [ 0.0009129282533 x363^2 ] = 4527.694147 e1107: [ 0.0009129282533 x231^2 ] = 4527.694147 e1108: [ 0.0009129282533 x99^2 ] = 4527.694147 e1109: [ 0.0009129282533 x496^2 ] = 4527.694147 e1110: [ 0.0009129282533 x364^2 ] = 4527.694147 e1111: [ 0.0009129282533 x232^2 ] = 4527.694147 e1112: [ 0.0009129282533 x100^2 ] = 4527.694147 e1113: [ 0.0001247131852 x497^2 ] = 628.5575712 e1114: [ 0.0001247131852 x365^2 ] = 628.5575712 e1115: [ 0.0001247131852 x233^2 ] = 628.5575712 e1116: [ 0.0001247131852 x101^2 ] = 628.5575712 e1117: [ 0.0001247131852 x498^2 ] = 628.5575712 e1118: [ 0.0001247131852 x366^2 ] = 628.5575712 e1119: [ 0.0001247131852 x234^2 ] = 628.5575712 e1120: [ 0.0001247131852 x102^2 ] = 628.5575712 e1121: [ 0.0001247131852 x499^2 ] = 628.5575712 e1122: [ 0.0001247131852 x367^2 ] = 628.5575712 e1123: [ 0.0001247131852 x235^2 ] = 628.5575712 e1124: [ 0.0001247131852 x103^2 ] = 628.5575712 e1125: [ 0.0001247131852 x500^2 ] = 628.5575712 e1126: [ 0.0001247131852 x368^2 ] = 628.5575712 e1127: [ 0.0001247131852 x236^2 ] = 628.5575712 e1128: [ 0.0001247131852 x104^2 ] = 628.5575712 e1129: [ 0.0001247131852 x501^2 ] = 628.5575712 e1130: [ 0.0001247131852 x369^2 ] = 628.5575712 e1131: [ 0.0001247131852 x237^2 ] = 628.5575712 e1132: [ 0.0001247131852 x105^2 ] = 628.5575712 e1133: [ 0.0001247131852 x502^2 ] = 628.5575712 e1134: [ 0.0001247131852 x370^2 ] = 628.5575712 e1135: [ 0.0001247131852 x238^2 ] = 628.5575712 e1136: [ 0.0001247131852 x106^2 ] = 628.5575712 e1137: [ 0.0003120998103 x503^2 ] = 2051.774115 e1138: [ 0.0003120998103 x371^2 ] = 2051.774115 e1139: [ 0.0003120998103 x239^2 ] = 2051.774115 e1140: [ 0.0003120998103 x107^2 ] = 2051.774115 e1141: [ 0.0003120998103 x504^2 ] = 2051.774115 e1142: [ 0.0003120998103 x372^2 ] = 2051.774115 e1143: [ 0.0003120998103 x240^2 ] = 2051.774115 e1144: [ 0.0003120998103 x108^2 ] = 2051.774115 e1145: [ 0.0003120998103 x505^2 ] = 2051.774115 e1146: [ 0.0003120998103 x373^2 ] = 2051.774115 e1147: [ 0.0003120998103 x241^2 ] = 2051.774115 e1148: [ 0.0003120998103 x109^2 ] = 2051.774115 e1149: [ 0.0003120998103 x506^2 ] = 2051.774115 e1150: [ 0.0003120998103 x374^2 ] = 2051.774115 e1151: [ 0.0003120998103 x242^2 ] = 2051.774115 e1152: [ 0.0003120998103 x110^2 ] = 2051.774115 e1153: [ 0.0003120998103 x507^2 ] = 2051.774115 e1154: [ 0.0003120998103 x375^2 ] = 2051.774115 e1155: [ 0.0003120998103 x243^2 ] = 2051.774115 e1156: [ 0.0003120998103 x111^2 ] = 2051.774115 e1157: [ 0.0003120998103 x508^2 ] = 2051.774115 e1158: [ 0.0003120998103 x376^2 ] = 2051.774115 e1159: [ 0.0003120998103 x244^2 ] = 2051.774115 e1160: [ 0.0003120998103 x112^2 ] = 2051.774115 e1161: [ 0.0005509316942 x509^2 ] = 4575.996782 e1162: [ 0.0005509316942 x377^2 ] = 4575.996782 e1163: [ 0.0005509316942 x245^2 ] = 4575.996782 e1164: [ 0.0005509316942 x113^2 ] = 4575.996782 e1165: [ 0.0005509316942 x510^2 ] = 4575.996782 e1166: [ 0.0005509316942 x378^2 ] = 4575.996782 e1167: [ 0.0005509316942 x246^2 ] = 4575.996782 e1168: [ 0.0005509316942 x114^2 ] = 4575.996782 e1169: [ 0.0005509316942 x511^2 ] = 4575.996782 e1170: [ 0.0005509316942 x379^2 ] = 4575.996782 e1171: [ 0.0005509316942 x247^2 ] = 4575.996782 e1172: [ 0.0005509316942 x115^2 ] = 4575.996782 e1173: [ 0.0005509316942 x512^2 ] = 4575.996782 e1174: [ 0.0005509316942 x380^2 ] = 4575.996782 e1175: [ 0.0005509316942 x248^2 ] = 4575.996782 e1176: [ 0.0005509316942 x116^2 ] = 4575.996782 e1177: [ 0.0005509316942 x513^2 ] = 4575.996782 e1178: [ 0.0005509316942 x381^2 ] = 4575.996782 e1179: [ 0.0005509316942 x249^2 ] = 4575.996782 e1180: [ 0.0005509316942 x117^2 ] = 4575.996782 e1181: [ 0.0005509316942 x514^2 ] = 4575.996782 e1182: [ 0.0005509316942 x382^2 ] = 4575.996782 e1183: [ 0.0005509316942 x250^2 ] = 4575.996782 e1184: [ 0.0005509316942 x118^2 ] = 4575.996782 e1185: [ 0.0002273684297 x515^2 ] = 2224.660026 e1186: [ 0.0002273684297 x383^2 ] = 2224.660026 e1187: [ 0.0002273684297 x251^2 ] = 2224.660026 e1188: [ 0.0002273684297 x119^2 ] = 2224.660026 e1189: [ 0.0002273684297 x516^2 ] = 2224.660026 e1190: [ 0.0002273684297 x384^2 ] = 2224.660026 e1191: [ 0.0002273684297 x252^2 ] = 2224.660026 e1192: [ 0.0002273684297 x120^2 ] = 2224.660026 e1193: [ 0.0002273684297 x517^2 ] = 2224.660026 e1194: [ 0.0002273684297 x385^2 ] = 2224.660026 e1195: [ 0.0002273684297 x253^2 ] = 2224.660026 e1196: [ 0.0002273684297 x121^2 ] = 2224.660026 e1197: [ 0.0002273684297 x518^2 ] = 2224.660026 e1198: [ 0.0002273684297 x386^2 ] = 2224.660026 e1199: [ 0.0002273684297 x254^2 ] = 2224.660026 e1200: [ 0.0002273684297 x122^2 ] = 2224.660026 e1201: [ 0.0002273684297 x519^2 ] = 2224.660026 e1202: [ 0.0002273684297 x387^2 ] = 2224.660026 e1203: [ 0.0002273684297 x255^2 ] = 2224.660026 e1204: [ 0.0002273684297 x123^2 ] = 2224.660026 e1205: [ 0.0002273684297 x520^2 ] = 2224.660026 e1206: [ 0.0002273684297 x388^2 ] = 2224.660026 e1207: [ 0.0002273684297 x256^2 ] = 2224.660026 e1208: [ 0.0002273684297 x124^2 ] = 2224.660026 e1209: [ 0.0003077459115 x521^2 ] = 3361.516285 e1210: [ 0.0003077459115 x389^2 ] = 3361.516285 e1211: [ 0.0003077459115 x257^2 ] = 3361.516285 e1212: [ 0.0003077459115 x125^2 ] = 3361.516285 e1213: [ 0.0003077459115 x522^2 ] = 3361.516285 e1214: [ 0.0003077459115 x390^2 ] = 3361.516285 e1215: [ 0.0003077459115 x258^2 ] = 3361.516285 e1216: [ 0.0003077459115 x126^2 ] = 3361.516285 e1217: [ 0.0003077459115 x523^2 ] = 3361.516285 e1218: [ 0.0003077459115 x391^2 ] = 3361.516285 e1219: [ 0.0003077459115 x259^2 ] = 3361.516285 e1220: [ 0.0003077459115 x127^2 ] = 3361.516285 e1221: [ 0.0003077459115 x524^2 ] = 3361.516285 e1222: [ 0.0003077459115 x392^2 ] = 3361.516285 e1223: [ 0.0003077459115 x260^2 ] = 3361.516285 e1224: [ 0.0003077459115 x128^2 ] = 3361.516285 e1225: [ 0.0003077459115 x525^2 ] = 3361.516285 e1226: [ 0.0003077459115 x393^2 ] = 3361.516285 e1227: [ 0.0003077459115 x261^2 ] = 3361.516285 e1228: [ 0.0003077459115 x129^2 ] = 3361.516285 e1229: [ 0.0003077459115 x526^2 ] = 3361.516285 e1230: [ 0.0003077459115 x394^2 ] = 3361.516285 e1231: [ 0.0003077459115 x262^2 ] = 3361.516285 e1232: [ 0.0003077459115 x130^2 ] = 3361.516285 e1233: [ 0.0003760984014 x527^2 ] = 1802.158608 e1234: [ 0.0003760984014 x395^2 ] = 1802.158608 e1235: [ 0.0003760984014 x263^2 ] = 1802.158608 e1236: [ 0.0003760984014 x131^2 ] = 1802.158608 e1237: [ 0.0003760984014 x528^2 ] = 1802.158608 e1238: [ 0.0003760984014 x396^2 ] = 1802.158608 e1239: [ 0.0003760984014 x264^2 ] = 1802.158608 e1240: [ 0.0003760984014 x132^2 ] = 1802.158608 e1241: [ 0.0003760984014 x529^2 ] = 1802.158608 e1242: [ 0.0003760984014 x397^2 ] = 1802.158608 e1243: [ 0.0003760984014 x265^2 ] = 1802.158608 e1244: [ 0.0003760984014 x133^2 ] = 1802.158608 e1245: [ 0.0003760984014 x530^2 ] = 1802.158608 e1246: [ 0.0003760984014 x398^2 ] = 1802.158608 e1247: [ 0.0003760984014 x266^2 ] = 1802.158608 e1248: [ 0.0003760984014 x134^2 ] = 1802.158608 e1249: [ 0.0003760984014 x531^2 ] = 1802.158608 e1250: [ 0.0003760984014 x399^2 ] = 1802.158608 e1251: [ 0.0003760984014 x267^2 ] = 1802.158608 e1252: [ 0.0003760984014 x135^2 ] = 1802.158608 e1253: [ 0.0003760984014 x532^2 ] = 1802.158608 e1254: [ 0.0003760984014 x400^2 ] = 1802.158608 e1255: [ 0.0003760984014 x268^2 ] = 1802.158608 e1256: [ 0.0003760984014 x136^2 ] = 1802.158608 e1257: [ 0.0002498601554 x533^2 ] = 1390.442031 e1258: [ 0.0002498601554 x401^2 ] = 1390.442031 e1259: [ 0.0002498601554 x269^2 ] = 1390.442031 e1260: [ 0.0002498601554 x137^2 ] = 1390.442031 e1261: [ 0.0002498601554 x534^2 ] = 1390.442031 e1262: [ 0.0002498601554 x402^2 ] = 1390.442031 e1263: [ 0.0002498601554 x270^2 ] = 1390.442031 e1264: [ 0.0002498601554 x138^2 ] = 1390.442031 e1265: [ 0.0002498601554 x535^2 ] = 1390.442031 e1266: [ 0.0002498601554 x403^2 ] = 1390.442031 e1267: [ 0.0002498601554 x271^2 ] = 1390.442031 e1268: [ 0.0002498601554 x139^2 ] = 1390.442031 e1269: [ 0.0002498601554 x536^2 ] = 1390.442031 e1270: [ 0.0002498601554 x404^2 ] = 1390.442031 e1271: [ 0.0002498601554 x272^2 ] = 1390.442031 e1272: [ 0.0002498601554 x140^2 ] = 1390.442031 e1273: [ 0.0002498601554 x537^2 ] = 1390.442031 e1274: [ 0.0002498601554 x405^2 ] = 1390.442031 e1275: [ 0.0002498601554 x273^2 ] = 1390.442031 e1276: [ 0.0002498601554 x141^2 ] = 1390.442031 e1277: [ 0.0002498601554 x538^2 ] = 1390.442031 e1278: [ 0.0002498601554 x406^2 ] = 1390.442031 e1279: [ 0.0002498601554 x274^2 ] = 1390.442031 e1280: [ 0.0002498601554 x142^2 ] = 1390.442031 Bounds 700 <= x539 <= 4400 700 <= x541 <= 4400 700 <= x543 <= 4400 700 <= x545 <= 4400 700 <= x547 <= 4400 700 <= x549 <= 4400 700 <= x551 <= 4400 700 <= x553 <= 4400 700 <= x555 <= 4400 700 <= x557 <= 4400 500 <= x559 <= 4400 500 <= x561 <= 4400 500 <= x563 <= 4400 500 <= x565 <= 4400 500 <= x567 <= 4400 500 <= x569 <= 4400 500 <= x571 <= 4400 500 <= x573 <= 4400 500 <= x575 <= 4400 500 <= x577 <= 4400 500 <= x579 <= 4400 500 <= x581 <= 4400 500 <= x583 <= 4400 500 <= x585 <= 4400 500 <= x587 <= 4400 700 <= x589 <= 4400 700 <= x591 <= 4400 700 <= x593 <= 4400 700 <= x595 <= 4400 500 <= x597 <= 4400 500 <= x599 <= 4400 500 <= x601 <= 4400 x603 <= 160 x604 <= 160 x605 <= 160 x606 <= 160 x607 <= 160 x608 <= 180 x609 <= 180 x610 <= 180 x611 <= 180 x612 <= 180 x613 <= 140 x614 <= 140 x615 <= 140 x616 <= 140 x617 <= 120 x618 <= 120 x619 <= 120 x620 <= 120 x621 <= 140 x622 <= 140 x623 <= 140 x624 <= 140 x625 <= 140 x626 <= 140 x627 <= 140 x628 <= 160 x629 <= 160 x630 <= 180 x631 <= 180 x632 <= 120 x633 <= 120 x634 <= 120 x667 <= 40 x668 <= 40 x669 <= 40 x670 <= 40 x671 <= 40 x672 <= 40 x673 <= 40 x674 <= 40 x675 <= 40 x676 <= 40 x677 <= 40 x678 <= 40 x679 <= 40 x680 <= 40 x681 <= 40 x682 <= 40 x683 <= 40 x684 <= 40 x685 <= 40 x686 <= 40 x687 <= 45 x688 <= 45 x689 <= 45 x690 <= 45 x691 <= 45 x692 <= 45 x693 <= 45 x694 <= 45 x695 <= 45 x696 <= 45 x697 <= 45 x698 <= 45 x699 <= 45 x700 <= 45 x701 <= 45 x702 <= 45 x703 <= 45 x704 <= 45 x705 <= 45 x706 <= 45 x707 <= 35 x708 <= 35 x709 <= 35 x710 <= 35 x711 <= 35 x712 <= 35 x713 <= 35 x714 <= 35 x715 <= 35 x716 <= 35 x717 <= 35 x718 <= 35 x719 <= 35 x720 <= 35 x721 <= 35 x722 <= 35 x723 <= 30 x724 <= 30 x725 <= 30 x726 <= 30 x727 <= 30 x728 <= 30 x729 <= 30 x730 <= 30 x731 <= 30 x732 <= 30 x733 <= 30 x734 <= 30 x735 <= 30 x736 <= 30 x737 <= 30 x738 <= 30 x739 <= 35 x740 <= 35 x741 <= 35 x742 <= 35 x743 <= 35 x744 <= 35 x745 <= 35 x746 <= 35 x747 <= 35 x748 <= 35 x749 <= 35 x750 <= 35 x751 <= 35 x752 <= 35 x753 <= 35 x754 <= 35 x755 <= 35 x756 <= 35 x757 <= 35 x758 <= 35 x759 <= 35 x760 <= 35 x761 <= 35 x762 <= 35 x763 <= 35 x764 <= 35 x765 <= 35 x766 <= 35 x767 <= 40 x768 <= 40 x769 <= 40 x770 <= 40 x771 <= 40 x772 <= 40 x773 <= 40 x774 <= 40 x775 <= 45 x776 <= 45 x777 <= 45 x778 <= 45 x779 <= 45 x780 <= 45 x781 <= 45 x782 <= 45 x783 <= 30 x784 <= 30 x785 <= 30 x786 <= 30 x787 <= 30 x788 <= 30 x789 <= 30 x790 <= 30 x791 <= 30 x792 <= 30 x793 <= 30 x794 <= 30 x807 <= 500 x808 <= 500 x809 <= 500 x810 <= 500 x811 <= 420 x812 <= 420 x813 <= 420 x814 <= 320 x815 <= 340 x816 <= 340 x817 <= 240 x818 <= 240 x819 <= 500 x820 <= 500 x821 <= 500 x822 <= 500 x823 <= 500 x824 <= 500 x945 <= 1 x946 <= 1 x947 <= 1 x948 <= 1 x949 <= 1 x950 <= 1 x951 <= 1 x952 <= 1 x953 <= 1 x954 <= 1 x955 <= 1 x964 <= 1 x965 <= 100 x966 <= 500 x967 <= 100 x968 <= 500 x969 <= 100 x970 <= 500 x971 <= 100 x972 <= 500 x973 <= 500 x974 <= 500 100 <= x989 x990 <= 500 x991 <= 500 100 <= x1004 x1005 <= 500 x1018 <= 12 x1019 <= 6 x1020 <= 6 x1021 <= 6 x1022 <= 6 x1203 <= 250 x1204 <= 250 x1205 <= 250 x1206 <= 500 x1217 <= 2500 x1218 <= 2500 x1219 <= 2500 x1220 <= 2500 Binary b825 b826 b827 b828 b829 b830 b831 b832 b833 b834 b835 b836 b837 b838 b839 b840 b841 b842 b843 b844 b845 b846 b847 b848 b849 b850 b851 b852 b853 b854 b855 b856 b857 b858 b859 b860 b861 b862 b863 b864 b865 b866 b867 b868 b869 b870 b871 b872 b873 b874 b875 b876 b877 b878 b879 b880 b881 b882 b883 b884 b885 b886 b887 b888 b889 b890 b891 b892 b893 b894 b895 b896 b897 b898 b899 b900 b901 b902 b903 b904 b905 b906 b907 b908 b909 b910 b911 b912 b913 b914 b915 b916 b917 b918 b919 b920 b921 b922 b923 b924 b925 b926 b927 b928 b929 b930 b931 b932 b933 b934 b935 b936 b937 b938 b939 b940 b941 b942 b943 b944 b956 b957 b958 b959 b960 b961 b962 b963 End