\ Equation counts \ Total E G L N X C B \ 1498 336 504 658 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1008 672 336 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4422 3942 480 0 \ Maximize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + 0 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 b157 + 0 b158 + 0 b159 + 0 b160 + 0 b161 + 0 b162 + 0 b163 + 0 b164 + 0 b165 + 0 b166 + 0 b167 + 0 b168 - 470.2 b169 - 470.2 b170 - 470.2 b171 - 470.2 b172 - 470.2 b173 - 470.2 b174 - 470.2 b175 - 470.2 b176 - 470.2 b177 - 470.2 b178 - 470.2 b179 - 470.2 b180 - 470.2 b181 - 470.2 b182 - 470.2 b183 - 470.2 b184 - 470.2 b185 - 470.2 b186 - 470.2 b187 - 470.2 b188 - 470.2 b189 - 470.2 b190 - 470.2 b191 - 470.2 b192 - 592.85 b193 - 592.85 b194 - 592.85 b195 - 592.85 b196 - 592.85 b197 - 592.85 b198 - 592.85 b199 - 592.85 b200 - 592.85 b201 - 592.85 b202 - 592.85 b203 - 592.85 b204 - 592.85 b205 - 592.85 b206 - 592.85 b207 - 592.85 b208 - 592.85 b209 - 592.85 b210 - 592.85 b211 - 592.85 b212 - 592.85 b213 - 592.85 b214 - 592.85 b215 - 592.85 b216 - 1.5e2 b217 - 1.5e2 b218 - 1.5e2 b219 - 1.5e2 b220 - 1.5e2 b221 - 1.5e2 b222 - 1.5e2 b223 - 1.5e2 b224 - 1.5e2 b225 - 1.5e2 b226 - 1.5e2 b227 - 1.5e2 b228 - 1.5e2 b229 - 1.5e2 b230 - 1.5e2 b231 - 1.5e2 b232 - 1.5e2 b233 - 1.5e2 b234 - 1.5e2 b235 - 1.5e2 b236 - 1.5e2 b237 - 1.5e2 b238 - 1.5e2 b239 - 1.5e2 b240 - 464.975 b241 - 464.975 b242 - 464.975 b243 - 464.975 b244 - 464.975 b245 - 464.975 b246 - 464.975 b247 - 464.975 b248 - 464.975 b249 - 464.975 b250 - 464.975 b251 - 464.975 b252 - 464.975 b253 - 464.975 b254 - 464.975 b255 - 464.975 b256 - 464.975 b257 - 464.975 b258 - 464.975 b259 - 464.975 b260 - 464.975 b261 - 464.975 b262 - 464.975 b263 - 464.975 b264 - 502.55 b265 - 502.55 b266 - 502.55 b267 - 502.55 b268 - 502.55 b269 - 502.55 b270 - 502.55 b271 - 502.55 b272 - 502.55 b273 - 502.55 b274 - 502.55 b275 - 502.55 b276 - 502.55 b277 - 502.55 b278 - 502.55 b279 - 502.55 b280 - 502.55 b281 - 502.55 b282 - 502.55 b283 - 502.55 b284 - 502.55 b285 - 502.55 b286 - 502.55 b287 - 502.55 b288 - 335.05 b289 - 335.05 b290 - 335.05 b291 - 335.05 b292 - 335.05 b293 - 335.05 b294 - 335.05 b295 - 335.05 b296 - 335.05 b297 - 335.05 b298 - 335.05 b299 - 335.05 b300 - 335.05 b301 - 335.05 b302 - 335.05 b303 - 335.05 b304 - 335.05 b305 - 335.05 b306 - 335.05 b307 - 335.05 b308 - 335.05 b309 - 335.05 b310 - 335.05 b311 - 335.05 b312 - 292.525 b313 - 292.525 b314 - 292.525 b315 - 292.525 b316 - 292.525 b317 - 292.525 b318 - 292.525 b319 - 292.525 b320 - 292.525 b321 - 292.525 b322 - 292.525 b323 - 292.525 b324 - 292.525 b325 - 292.525 b326 - 292.525 b327 - 292.525 b328 - 292.525 b329 - 292.525 b330 - 292.525 b331 - 292.525 b332 - 292.525 b333 - 292.525 b334 - 292.525 b335 - 292.525 b336 + 50.4 x337 + 46.287 x338 + 44.187 x339 + 44.787 x340 + 45.477 x341 + 47.523 x342 + 58.359 x343 + 68.487 x344 + 87.441 x345 + 91.395 x346 + 93.846 x347 + 94.995 x348 + 86.187 x349 + 92.295 x350 + 93.495 x351 + 92.259 x352 + 93.795 x353 + 103.254 x354 + 103.359 x355 + 100.623 x356 + 95.418 x357 + 92.136 x358 + 82.305 x359 + 68.946 x360 + 50.4 x361 + 46.287 x362 + 44.187 x363 + 44.787 x364 + 45.477 x365 + 47.523 x366 + 58.359 x367 + 68.487 x368 + 87.441 x369 + 91.395 x370 + 93.846 x371 + 94.995 x372 + 86.187 x373 + 92.295 x374 + 93.495 x375 + 92.259 x376 + 93.795 x377 + 103.254 x378 + 103.359 x379 + 100.623 x380 + 95.418 x381 + 92.136 x382 + 82.305 x383 + 68.946 x384 + 50.4 x385 + 46.287 x386 + 44.187 x387 + 44.787 x388 + 45.477 x389 + 47.523 x390 + 58.359 x391 + 68.487 x392 + 87.441 x393 + 91.395 x394 + 93.846 x395 + 94.995 x396 + 86.187 x397 + 92.295 x398 + 93.495 x399 + 92.259 x400 + 93.795 x401 + 103.254 x402 + 103.359 x403 + 100.623 x404 + 95.418 x405 + 92.136 x406 + 82.305 x407 + 68.946 x408 + 50.4 x409 + 46.287 x410 + 44.187 x411 + 44.787 x412 + 45.477 x413 + 47.523 x414 + 58.359 x415 + 68.487 x416 + 87.441 x417 + 91.395 x418 + 93.846 x419 + 94.995 x420 + 86.187 x421 + 92.295 x422 + 93.495 x423 + 92.259 x424 + 93.795 x425 + 103.254 x426 + 103.359 x427 + 100.623 x428 + 95.418 x429 + 92.136 x430 + 82.305 x431 + 68.946 x432 + 50.4 x433 + 46.287 x434 + 44.187 x435 + 44.787 x436 + 45.477 x437 + 47.523 x438 + 58.359 x439 + 68.487 x440 + 87.441 x441 + 91.395 x442 + 93.846 x443 + 94.995 x444 + 86.187 x445 + 92.295 x446 + 93.495 x447 + 92.259 x448 + 93.795 x449 + 103.254 x450 + 103.359 x451 + 100.623 x452 + 95.418 x453 + 92.136 x454 + 82.305 x455 + 68.946 x456 + 50.4 x457 + 46.287 x458 + 44.187 x459 + 44.787 x460 + 45.477 x461 + 47.523 x462 + 58.359 x463 + 68.487 x464 + 87.441 x465 + 91.395 x466 + 93.846 x467 + 94.995 x468 + 86.187 x469 + 92.295 x470 + 93.495 x471 + 92.259 x472 + 93.795 x473 + 103.254 x474 + 103.359 x475 + 100.623 x476 + 95.418 x477 + 92.136 x478 + 82.305 x479 + 68.946 x480 + 50.4 x481 + 46.287 x482 + 44.187 x483 + 44.787 x484 + 45.477 x485 + 47.523 x486 + 58.359 x487 + 68.487 x488 + 87.441 x489 + 91.395 x490 + 93.846 x491 + 94.995 x492 + 86.187 x493 + 92.295 x494 + 93.495 x495 + 92.259 x496 + 93.795 x497 + 103.254 x498 + 103.359 x499 + 100.623 x500 + 95.418 x501 + 92.136 x502 + 82.305 x503 + 68.946 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 0 x961 + 0 x962 + 0 x963 + 0 x964 + 0 x965 + 0 x966 + 0 x967 + 0 x968 + 0 x969 + 0 x970 + 0 x971 + 0 x972 + 0 x973 + 0 x974 + 0 x975 + 0 x976 + 0 x977 + 0 x978 + 0 x979 + 0 x980 + 0 x981 + 0 x982 + 0 x983 + 0 x984 + 0 x985 + 0 x986 + 0 x987 + 0 x988 + 0 x989 + 0 x990 + 0 x991 + 0 x992 + 0 x993 + 0 x994 + 0 x995 + 0 x996 + 0 x997 + 0 x998 + 0 x999 + 0 x1000 + 0 x1001 + 0 x1002 + 0 x1003 + 0 x1004 + 0 x1005 + 0 x1006 + 0 x1007 + 0 x1008 Subject To e2: x505 + x673 + x841 = 10.4208 e3: x506 + x674 - x841 + x842 = 7.08e-2 e4: x507 + x675 - x842 + x843 = 7.08e-2 e5: x508 + x676 - x843 + x844 = 7.08e-2 e6: x509 + x677 - x844 + x845 = 7.08e-2 e7: x510 + x678 - x845 + x846 = 7.08e-2 e8: x511 + x679 - x846 + x847 = .7374 e9: x512 + x680 - x847 + x848 = .7374 e10: x513 + x681 - x848 + x849 = .7374 e11: x514 + x682 - x849 + x850 = .7374 e12: x515 + x683 - x850 + x851 = .7374 e13: x516 + x684 - x851 + x852 = .7374 e14: x517 + x685 - x852 + x853 = .7374 e15: x518 + x686 - x853 + x854 = .7374 e16: x519 + x687 - x854 + x855 = .7374 e17: x520 + x688 - x855 + x856 = .7374 e18: x521 + x689 - x856 + x857 = .7374 e19: x522 + x690 - x857 + x858 = .7374 e20: x523 + x691 - x858 + x859 = .7374 e21: x524 + x692 - x859 + x860 = .7374 e22: x525 + x693 - x860 + x861 = .7374 e23: x526 + x694 - x861 + x862 = .7374 e24: x527 + x695 - x862 + x863 = .7374 e25: x528 + x696 - x863 + x864 = .7374 e26: - x505 + x529 - x673 + x697 + x865 = 10.7948 e27: - x506 + x530 - x674 + x698 - x865 + x866 = .1548 e28: - x507 + x531 - x675 + x699 - x866 + x867 = .1548 e29: - x508 + x532 - x676 + x700 - x867 + x868 = .1548 e30: - x509 + x533 - x677 + x701 - x868 + x869 = .1548 e31: - x510 + x534 - x678 + x702 - x869 + x870 = .1548 e32: - x511 + x535 - x679 + x703 - x870 + x871 = .1548 e33: - x512 + x536 - x680 + x704 - x871 + x872 = .1548 e34: - x513 + x537 - x681 + x705 - x872 + x873 = .1548 e35: - x514 + x538 - x682 + x706 - x873 + x874 = .1548 e36: - x515 + x539 - x683 + x707 - x874 + x875 = .1548 e37: - x516 + x540 - x684 + x708 - x875 + x876 = .1548 e38: - x517 + x541 - x685 + x709 - x876 + x877 = .1548 e39: - x518 + x542 - x686 + x710 - x877 + x878 = .1548 e40: - x519 + x543 - x687 + x711 - x878 + x879 = .1548 e41: - x520 + x544 - x688 + x712 - x879 + x880 = .1548 e42: - x521 + x545 - x689 + x713 - x880 + x881 = .1548 e43: - x522 + x546 - x690 + x714 - x881 + x882 = .1548 e44: - x523 + x547 - x691 + x715 - x882 + x883 = .1548 e45: - x524 + x548 - x692 + x716 - x883 + x884 = .1548 e46: - x525 + x549 - x693 + x717 - x884 + x885 = .1548 e47: - x526 + x550 - x694 + x718 - x885 + x886 = .1548 e48: - x527 + x551 - x695 + x719 - x886 + x887 = .1548 e49: - x528 + x552 - x696 + x720 - x887 + x888 = .1548 e50: x553 + x721 + x889 = 78.0108 e51: x554 + x722 - x889 + x890 = 1.08e-2 e52: x555 + x723 - x890 + x891 = 1.08e-2 e53: x556 + x724 - x891 + x892 = 1.08e-2 e54: x557 + x725 - x892 + x893 = 1.08e-2 e55: x558 + x726 - x893 + x894 = 1.08e-2 e56: x559 + x727 - x894 + x895 = 1.08e-2 e57: x560 + x728 - x895 + x896 = 1.08e-2 e58: x561 + x729 - x896 + x897 = 1.08e-2 e59: x562 + x730 - x897 + x898 = 1.08e-2 e60: x563 + x731 - x898 + x899 = 1.08e-2 e61: x564 + x732 - x899 + x900 = 1.08e-2 e62: x565 + x733 - x900 + x901 = 1.08e-2 e63: x566 + x734 - x901 + x902 = 1.08e-2 e64: x567 + x735 - x902 + x903 = 1.08e-2 e65: x568 + x736 - x903 + x904 = 1.08e-2 e66: x569 + x737 - x904 + x905 = 1.08e-2 e67: x570 + x738 - x905 + x906 = 1.08e-2 e68: x571 + x739 - x906 + x907 = 1.08e-2 e69: x572 + x740 - x907 + x908 = 1.08e-2 e70: x573 + x741 - x908 + x909 = 1.08e-2 e71: x574 + x742 - x909 + x910 = 1.08e-2 e72: x575 + x743 - x910 + x911 = 1.08e-2 e73: x576 + x744 - x911 + x912 = 1.08e-2 e74: - x529 - x553 + x577 - x697 - x721 + x745 + x913 = 9.7115 e75: - x530 - x554 + x578 - x698 - x722 + x746 - x913 + x914 = .1115 e76: - x531 - x555 + x579 - x699 - x723 + x747 - x914 + x915 = .1115 e77: - x532 - x556 + x580 - x700 - x724 + x748 - x915 + x916 = .1115 e78: - x533 - x557 + x581 - x701 - x725 + x749 - x916 + x917 = .1115 e79: - x534 - x558 + x582 - x702 - x726 + x750 - x917 + x918 = .1115 e80: - x535 - x559 + x583 - x703 - x727 + x751 - x918 + x919 = .1115 e81: - x536 - x560 + x584 - x704 - x728 + x752 - x919 + x920 = .1115 e82: - x537 - x561 + x585 - x705 - x729 + x753 - x920 + x921 = .1115 e83: - x538 - x562 + x586 - x706 - x730 + x754 - x921 + x922 = .1115 e84: - x539 - x563 + x587 - x707 - x731 + x755 - x922 + x923 = .1115 e85: - x540 - x564 + x588 - x708 - x732 + x756 - x923 + x924 = .1115 e86: - x541 - x565 + x589 - x709 - x733 + x757 - x924 + x925 = .1115 e87: - x542 - x566 + x590 - x710 - x734 + x758 - x925 + x926 = .1115 e88: - x543 - x567 + x591 - x711 - x735 + x759 - x926 + x927 = .1115 e89: - x544 - x568 + x592 - x712 - x736 + x760 - x927 + x928 = .1115 e90: - x545 - x569 + x593 - x713 - x737 + x761 - x928 + x929 = .1115 e91: - x546 - x570 + x594 - x714 - x738 + x762 - x929 + x930 = .1115 e92: - x547 - x571 + x595 - x715 - x739 + x763 - x930 + x931 = .1115 e93: - x548 - x572 + x596 - x716 - x740 + x764 - x931 + x932 = .1115 e94: - x549 - x573 + x597 - x717 - x741 + x765 - x932 + x933 = .1115 e95: - x550 - x574 + x598 - x718 - x742 + x766 - x933 + x934 = .1115 e96: - x551 - x575 + x599 - x719 - x743 + x767 - x934 + x935 = .1115 e97: - x552 - x576 + x600 - x720 - x744 + x768 - x935 + x936 = .1115 e98: - x577 + x601 - x745 + x769 + x937 = 8.8143 e99: - x578 + x602 - x746 + x770 - x937 + x938 = 1.43e-2 e100: - x579 + x603 - x747 + x771 - x938 + x939 = 1.43e-2 e101: - x580 + x604 - x748 + x772 - x939 + x940 = 1.43e-2 e102: - x581 + x605 - x749 + x773 - x940 + x941 = 1.43e-2 e103: - x582 + x606 - x750 + x774 - x941 + x942 = 1.43e-2 e104: - x583 + x607 - x751 + x775 - x942 + x943 = 1.43e-2 e105: - x584 + x608 - x752 + x776 - x943 + x944 = 1.43e-2 e106: - x585 + x609 - x753 + x777 - x944 + x945 = 1.43e-2 e107: - x586 + x610 - x754 + x778 - x945 + x946 = 1.43e-2 e108: - x587 + x611 - x755 + x779 - x946 + x947 = 1.43e-2 e109: - x588 + x612 - x756 + x780 - x947 + x948 = 1.43e-2 e110: - x589 + x613 - x757 + x781 - x948 + x949 = 1.43e-2 e111: - x590 + x614 - x758 + x782 - x949 + x950 = 1.43e-2 e112: - x591 + x615 - x759 + x783 - x950 + x951 = 1.43e-2 e113: - x592 + x616 - x760 + x784 - x951 + x952 = 1.43e-2 e114: - x593 + x617 - x761 + x785 - x952 + x953 = 1.43e-2 e115: - x594 + x618 - x762 + x786 - x953 + x954 = 1.43e-2 e116: - x595 + x619 - x763 + x787 - x954 + x955 = 1.43e-2 e117: - x596 + x620 - x764 + x788 - x955 + x956 = 1.43e-2 e118: - x597 + x621 - x765 + x789 - x956 + x957 = 1.43e-2 e119: - x598 + x622 - x766 + x790 - x957 + x958 = 1.43e-2 e120: - x599 + x623 - x767 + x791 - x958 + x959 = 1.43e-2 e121: - x600 + x624 - x768 + x792 - x959 + x960 = 1.43e-2 e122: x625 + x793 + x961 = 47.204 e123: x626 + x794 - x961 + x962 = .504 e124: x627 + x795 - x962 + x963 = .504 e125: x628 + x796 - x963 + x964 = .504 e126: x629 + x797 - x964 + x965 = .504 e127: x630 + x798 - x965 + x966 = .504 e128: x631 + x799 - x966 + x967 = .504 e129: x632 + x800 - x967 + x968 = .504 e130: x633 + x801 - x968 + x969 = .504 e131: x634 + x802 - x969 + x970 = .504 e132: x635 + x803 - x970 + x971 = .504 e133: x636 + x804 - x971 + x972 = .504 e134: x637 + x805 - x972 + x973 = .504 e135: x638 + x806 - x973 + x974 = .504 e136: x639 + x807 - x974 + x975 = .504 e137: x640 + x808 - x975 + x976 = .504 e138: x641 + x809 - x976 + x977 = .504 e139: x642 + x810 - x977 + x978 = .504 e140: x643 + x811 - x978 + x979 = .504 e141: x644 + x812 - x979 + x980 = .504 e142: x645 + x813 - x980 + x981 = .504 e143: x646 + x814 - x981 + x982 = .504 e144: x647 + x815 - x982 + x983 = .504 e145: x648 + x816 - x983 + x984 = .504 e146: - x601 - x625 + x649 - x769 - x793 + x817 + x985 = 17.2 e147: - x602 - x626 + x650 - x770 - x794 + x818 - x985 + x986 = 0 e148: - x603 - x627 + x651 - x771 - x795 + x819 - x986 + x987 = 0 e149: - x604 - x628 + x652 - x772 - x796 + x820 - x987 + x988 = 0 e150: - x605 - x629 + x653 - x773 - x797 + x821 - x988 + x989 = 0 e151: - x606 - x630 + x654 - x774 - x798 + x822 - x989 + x990 = 0 e152: - x607 - x631 + x655 - x775 - x799 + x823 - x990 + x991 = 0 e153: - x608 - x632 + x656 - x776 - x800 + x824 - x991 + x992 = 0 e154: - x609 - x633 + x657 - x777 - x801 + x825 - x992 + x993 = 0 e155: - x610 - x634 + x658 - x778 - x802 + x826 - x993 + x994 = 0 e156: - x611 - x635 + x659 - x779 - x803 + x827 - x994 + x995 = 0 e157: - x612 - x636 + x660 - x780 - x804 + x828 - x995 + x996 = 0 e158: - x613 - x637 + x661 - x781 - x805 + x829 - x996 + x997 = 0 e159: - x614 - x638 + x662 - x782 - x806 + x830 - x997 + x998 = 0 e160: - x615 - x639 + x663 - x783 - x807 + x831 - x998 + x999 = 0 e161: - x616 - x640 + x664 - x784 - x808 + x832 - x999 + x1000 = 0 e162: - x617 - x641 + x665 - x785 - x809 + x833 - x1000 + x1001 = 0 e163: - x618 - x642 + x666 - x786 - x810 + x834 - x1001 + x1002 = 0 e164: - x619 - x643 + x667 - x787 - x811 + x835 - x1002 + x1003 = 0 e165: - x620 - x644 + x668 - x788 - x812 + x836 - x1003 + x1004 = 0 e166: - x621 - x645 + x669 - x789 - x813 + x837 - x1004 + x1005 = 0 e167: - x622 - x646 + x670 - x790 - x814 + x838 - x1005 + x1006 = 0 e168: - x623 - x647 + x671 - x791 - x815 + x839 - x1006 + x1007 = 0 e169: - x624 - x648 + x672 - x792 - x816 + x840 - x1007 + x1008 = 0 e170: - 4.1202 b1 + x673 <= 0 e171: - 4.1202 b2 + x674 <= 0 e172: - 4.1202 b3 + x675 <= 0 e173: - 4.1202 b4 + x676 <= 0 e174: - 4.1202 b5 + x677 <= 0 e175: - 4.1202 b6 + x678 <= 0 e176: - 4.1202 b7 + x679 <= 0 e177: - 4.1202 b8 + x680 <= 0 e178: - 4.1202 b9 + x681 <= 0 e179: - 4.1202 b10 + x682 <= 0 e180: - 4.1202 b11 + x683 <= 0 e181: - 4.1202 b12 + x684 <= 0 e182: - 4.1202 b13 + x685 <= 0 e183: - 4.1202 b14 + x686 <= 0 e184: - 4.1202 b15 + x687 <= 0 e185: - 4.1202 b16 + x688 <= 0 e186: - 4.1202 b17 + x689 <= 0 e187: - 4.1202 b18 + x690 <= 0 e188: - 4.1202 b19 + x691 <= 0 e189: - 4.1202 b20 + x692 <= 0 e190: - 4.1202 b21 + x693 <= 0 e191: - 4.1202 b22 + x694 <= 0 e192: - 4.1202 b23 + x695 <= 0 e193: - 4.1202 b24 + x696 <= 0 e194: - 3.888 b25 + x697 <= 0 e195: - 3.888 b26 + x698 <= 0 e196: - 3.888 b27 + x699 <= 0 e197: - 3.888 b28 + x700 <= 0 e198: - 3.888 b29 + x701 <= 0 e199: - 3.888 b30 + x702 <= 0 e200: - 3.888 b31 + x703 <= 0 e201: - 3.888 b32 + x704 <= 0 e202: - 3.888 b33 + x705 <= 0 e203: - 3.888 b34 + x706 <= 0 e204: - 3.888 b35 + x707 <= 0 e205: - 3.888 b36 + x708 <= 0 e206: - 3.888 b37 + x709 <= 0 e207: - 3.888 b38 + x710 <= 0 e208: - 3.888 b39 + x711 <= 0 e209: - 3.888 b40 + x712 <= 0 e210: - 3.888 b41 + x713 <= 0 e211: - 3.888 b42 + x714 <= 0 e212: - 3.888 b43 + x715 <= 0 e213: - 3.888 b44 + x716 <= 0 e214: - 3.888 b45 + x717 <= 0 e215: - 3.888 b46 + x718 <= 0 e216: - 3.888 b47 + x719 <= 0 e217: - 3.888 b48 + x720 <= 0 e218: - 5.904e-2 b49 + x721 <= 0 e219: - 5.904e-2 b50 + x722 <= 0 e220: - 5.904e-2 b51 + x723 <= 0 e221: - 5.904e-2 b52 + x724 <= 0 e222: - 5.904e-2 b53 + x725 <= 0 e223: - 5.904e-2 b54 + x726 <= 0 e224: - 5.904e-2 b55 + x727 <= 0 e225: - 5.904e-2 b56 + x728 <= 0 e226: - 5.904e-2 b57 + x729 <= 0 e227: - 5.904e-2 b58 + x730 <= 0 e228: - 5.904e-2 b59 + x731 <= 0 e229: - 5.904e-2 b60 + x732 <= 0 e230: - 5.904e-2 b61 + x733 <= 0 e231: - 5.904e-2 b62 + x734 <= 0 e232: - 5.904e-2 b63 + x735 <= 0 e233: - 5.904e-2 b64 + x736 <= 0 e234: - 5.904e-2 b65 + x737 <= 0 e235: - 5.904e-2 b66 + x738 <= 0 e236: - 5.904e-2 b67 + x739 <= 0 e237: - 5.904e-2 b68 + x740 <= 0 e238: - 5.904e-2 b69 + x741 <= 0 e239: - 5.904e-2 b70 + x742 <= 0 e240: - 5.904e-2 b71 + x743 <= 0 e241: - 5.904e-2 b72 + x744 <= 0 e242: - 3.24 b73 + x745 <= 0 e243: - 3.24 b74 + x746 <= 0 e244: - 3.24 b75 + x747 <= 0 e245: - 3.24 b76 + x748 <= 0 e246: - 3.24 b77 + x749 <= 0 e247: - 3.24 b78 + x750 <= 0 e248: - 3.24 b79 + x751 <= 0 e249: - 3.24 b80 + x752 <= 0 e250: - 3.24 b81 + x753 <= 0 e251: - 3.24 b82 + x754 <= 0 e252: - 3.24 b83 + x755 <= 0 e253: - 3.24 b84 + x756 <= 0 e254: - 3.24 b85 + x757 <= 0 e255: - 3.24 b86 + x758 <= 0 e256: - 3.24 b87 + x759 <= 0 e257: - 3.24 b88 + x760 <= 0 e258: - 3.24 b89 + x761 <= 0 e259: - 3.24 b90 + x762 <= 0 e260: - 3.24 b91 + x763 <= 0 e261: - 3.24 b92 + x764 <= 0 e262: - 3.24 b93 + x765 <= 0 e263: - 3.24 b94 + x766 <= 0 e264: - 3.24 b95 + x767 <= 0 e265: - 3.24 b96 + x768 <= 0 e266: - 3.172716 b97 + x769 <= 0 e267: - 3.172716 b98 + x770 <= 0 e268: - 3.172716 b99 + x771 <= 0 e269: - 3.172716 b100 + x772 <= 0 e270: - 3.172716 b101 + x773 <= 0 e271: - 3.172716 b102 + x774 <= 0 e272: - 3.172716 b103 + x775 <= 0 e273: - 3.172716 b104 + x776 <= 0 e274: - 3.172716 b105 + x777 <= 0 e275: - 3.172716 b106 + x778 <= 0 e276: - 3.172716 b107 + x779 <= 0 e277: - 3.172716 b108 + x780 <= 0 e278: - 3.172716 b109 + x781 <= 0 e279: - 3.172716 b110 + x782 <= 0 e280: - 3.172716 b111 + x783 <= 0 e281: - 3.172716 b112 + x784 <= 0 e282: - 3.172716 b113 + x785 <= 0 e283: - 3.172716 b114 + x786 <= 0 e284: - 3.172716 b115 + x787 <= 0 e285: - 3.172716 b116 + x788 <= 0 e286: - 3.172716 b117 + x789 <= 0 e287: - 3.172716 b118 + x790 <= 0 e288: - 3.172716 b119 + x791 <= 0 e289: - 3.172716 b120 + x792 <= 0 e290: - 1.174824 b121 + x793 <= 0 e291: - 1.174824 b122 + x794 <= 0 e292: - 1.174824 b123 + x795 <= 0 e293: - 1.174824 b124 + x796 <= 0 e294: - 1.174824 b125 + x797 <= 0 e295: - 1.174824 b126 + x798 <= 0 e296: - 1.174824 b127 + x799 <= 0 e297: - 1.174824 b128 + x800 <= 0 e298: - 1.174824 b129 + x801 <= 0 e299: - 1.174824 b130 + x802 <= 0 e300: - 1.174824 b131 + x803 <= 0 e301: - 1.174824 b132 + x804 <= 0 e302: - 1.174824 b133 + x805 <= 0 e303: - 1.174824 b134 + x806 <= 0 e304: - 1.174824 b135 + x807 <= 0 e305: - 1.174824 b136 + x808 <= 0 e306: - 1.174824 b137 + x809 <= 0 e307: - 1.174824 b138 + x810 <= 0 e308: - 1.174824 b139 + x811 <= 0 e309: - 1.174824 b140 + x812 <= 0 e310: - 1.174824 b141 + x813 <= 0 e311: - 1.174824 b142 + x814 <= 0 e312: - 1.174824 b143 + x815 <= 0 e313: - 1.174824 b144 + x816 <= 0 e314: - 4.883436 b145 + x817 <= 0 e315: - 4.883436 b146 + x818 <= 0 e316: - 4.883436 b147 + x819 <= 0 e317: - 4.883436 b148 + x820 <= 0 e318: - 4.883436 b149 + x821 <= 0 e319: - 4.883436 b150 + x822 <= 0 e320: - 4.883436 b151 + x823 <= 0 e321: - 4.883436 b152 + x824 <= 0 e322: - 4.883436 b153 + x825 <= 0 e323: - 4.883436 b154 + x826 <= 0 e324: - 4.883436 b155 + x827 <= 0 e325: - 4.883436 b156 + x828 <= 0 e326: - 4.883436 b157 + x829 <= 0 e327: - 4.883436 b158 + x830 <= 0 e328: - 4.883436 b159 + x831 <= 0 e329: - 4.883436 b160 + x832 <= 0 e330: - 4.883436 b161 + x833 <= 0 e331: - 4.883436 b162 + x834 <= 0 e332: - 4.883436 b163 + x835 <= 0 e333: - 4.883436 b164 + x836 <= 0 e334: - 4.883436 b165 + x837 <= 0 e335: - 4.883436 b166 + x838 <= 0 e336: - 4.883436 b167 + x839 <= 0 e337: - 4.883436 b168 + x840 <= 0 e338: - .605268 b1 + x673 >= 0 e339: - .605268 b2 + x674 >= 0 e340: - .605268 b3 + x675 >= 0 e341: - .605268 b4 + x676 >= 0 e342: - .605268 b5 + x677 >= 0 e343: - .605268 b6 + x678 >= 0 e344: - .605268 b7 + x679 >= 0 e345: - .605268 b8 + x680 >= 0 e346: - .605268 b9 + x681 >= 0 e347: - .605268 b10 + x682 >= 0 e348: - .605268 b11 + x683 >= 0 e349: - .605268 b12 + x684 >= 0 e350: - .605268 b13 + x685 >= 0 e351: - .605268 b14 + x686 >= 0 e352: - .605268 b15 + x687 >= 0 e353: - .605268 b16 + x688 >= 0 e354: - .605268 b17 + x689 >= 0 e355: - .605268 b18 + x690 >= 0 e356: - .605268 b19 + x691 >= 0 e357: - .605268 b20 + x692 >= 0 e358: - .605268 b21 + x693 >= 0 e359: - .605268 b22 + x694 >= 0 e360: - .605268 b23 + x695 >= 0 e361: - .605268 b24 + x696 >= 0 e362: - .37692 b25 + x697 >= 0 e363: - .37692 b26 + x698 >= 0 e364: - .37692 b27 + x699 >= 0 e365: - .37692 b28 + x700 >= 0 e366: - .37692 b29 + x701 >= 0 e367: - .37692 b30 + x702 >= 0 e368: - .37692 b31 + x703 >= 0 e369: - .37692 b32 + x704 >= 0 e370: - .37692 b33 + x705 >= 0 e371: - .37692 b34 + x706 >= 0 e372: - .37692 b35 + x707 >= 0 e373: - .37692 b36 + x708 >= 0 e374: - .37692 b37 + x709 >= 0 e375: - .37692 b38 + x710 >= 0 e376: - .37692 b39 + x711 >= 0 e377: - .37692 b40 + x712 >= 0 e378: - .37692 b41 + x713 >= 0 e379: - .37692 b42 + x714 >= 0 e380: - .37692 b43 + x715 >= 0 e381: - .37692 b44 + x716 >= 0 e382: - .37692 b45 + x717 >= 0 e383: - .37692 b46 + x718 >= 0 e384: - .37692 b47 + x719 >= 0 e385: - .37692 b48 + x720 >= 0 e386: - 1.08e-2 b49 + x721 >= 0 e387: - 1.08e-2 b50 + x722 >= 0 e388: - 1.08e-2 b51 + x723 >= 0 e389: - 1.08e-2 b52 + x724 >= 0 e390: - 1.08e-2 b53 + x725 >= 0 e391: - 1.08e-2 b54 + x726 >= 0 e392: - 1.08e-2 b55 + x727 >= 0 e393: - 1.08e-2 b56 + x728 >= 0 e394: - 1.08e-2 b57 + x729 >= 0 e395: - 1.08e-2 b58 + x730 >= 0 e396: - 1.08e-2 b59 + x731 >= 0 e397: - 1.08e-2 b60 + x732 >= 0 e398: - 1.08e-2 b61 + x733 >= 0 e399: - 1.08e-2 b62 + x734 >= 0 e400: - 1.08e-2 b63 + x735 >= 0 e401: - 1.08e-2 b64 + x736 >= 0 e402: - 1.08e-2 b65 + x737 >= 0 e403: - 1.08e-2 b66 + x738 >= 0 e404: - 1.08e-2 b67 + x739 >= 0 e405: - 1.08e-2 b68 + x740 >= 0 e406: - 1.08e-2 b69 + x741 >= 0 e407: - 1.08e-2 b70 + x742 >= 0 e408: - 1.08e-2 b71 + x743 >= 0 e409: - 1.08e-2 b72 + x744 >= 0 e410: - .376812 b73 + x745 >= 0 e411: - .376812 b74 + x746 >= 0 e412: - .376812 b75 + x747 >= 0 e413: - .376812 b76 + x748 >= 0 e414: - .376812 b77 + x749 >= 0 e415: - .376812 b78 + x750 >= 0 e416: - .376812 b79 + x751 >= 0 e417: - .376812 b80 + x752 >= 0 e418: - .376812 b81 + x753 >= 0 e419: - .376812 b82 + x754 >= 0 e420: - .376812 b83 + x755 >= 0 e421: - .376812 b84 + x756 >= 0 e422: - .376812 b85 + x757 >= 0 e423: - .376812 b86 + x758 >= 0 e424: - .376812 b87 + x759 >= 0 e425: - .376812 b88 + x760 >= 0 e426: - .376812 b89 + x761 >= 0 e427: - .376812 b90 + x762 >= 0 e428: - .376812 b91 + x763 >= 0 e429: - .376812 b92 + x764 >= 0 e430: - .376812 b93 + x765 >= 0 e431: - .376812 b94 + x766 >= 0 e432: - .376812 b95 + x767 >= 0 e433: - .376812 b96 + x768 >= 0 e434: - .335628 b97 + x769 >= 0 e435: - .335628 b98 + x770 >= 0 e436: - .335628 b99 + x771 >= 0 e437: - .335628 b100 + x772 >= 0 e438: - .335628 b101 + x773 >= 0 e439: - .335628 b102 + x774 >= 0 e440: - .335628 b103 + x775 >= 0 e441: - .335628 b104 + x776 >= 0 e442: - .335628 b105 + x777 >= 0 e443: - .335628 b106 + x778 >= 0 e444: - .335628 b107 + x779 >= 0 e445: - .335628 b108 + x780 >= 0 e446: - .335628 b109 + x781 >= 0 e447: - .335628 b110 + x782 >= 0 e448: - .335628 b111 + x783 >= 0 e449: - .335628 b112 + x784 >= 0 e450: - .335628 b113 + x785 >= 0 e451: - .335628 b114 + x786 >= 0 e452: - .335628 b115 + x787 >= 0 e453: - .335628 b116 + x788 >= 0 e454: - .335628 b117 + x789 >= 0 e455: - .335628 b118 + x790 >= 0 e456: - .335628 b119 + x791 >= 0 e457: - .335628 b120 + x792 >= 0 e458: - .341964 b121 + x793 >= 0 e459: - .341964 b122 + x794 >= 0 e460: - .341964 b123 + x795 >= 0 e461: - .341964 b124 + x796 >= 0 e462: - .341964 b125 + x797 >= 0 e463: - .341964 b126 + x798 >= 0 e464: - .341964 b127 + x799 >= 0 e465: - .341964 b128 + x800 >= 0 e466: - .341964 b129 + x801 >= 0 e467: - .341964 b130 + x802 >= 0 e468: - .341964 b131 + x803 >= 0 e469: - .341964 b132 + x804 >= 0 e470: - .341964 b133 + x805 >= 0 e471: - .341964 b134 + x806 >= 0 e472: - .341964 b135 + x807 >= 0 e473: - .341964 b136 + x808 >= 0 e474: - .341964 b137 + x809 >= 0 e475: - .341964 b138 + x810 >= 0 e476: - .341964 b139 + x811 >= 0 e477: - .341964 b140 + x812 >= 0 e478: - .341964 b141 + x813 >= 0 e479: - .341964 b142 + x814 >= 0 e480: - .341964 b143 + x815 >= 0 e481: - .341964 b144 + x816 >= 0 e482: - .658188 b145 + x817 >= 0 e483: - .658188 b146 + x818 >= 0 e484: - .658188 b147 + x819 >= 0 e485: - .658188 b148 + x820 >= 0 e486: - .658188 b149 + x821 >= 0 e487: - .658188 b150 + x822 >= 0 e488: - .658188 b151 + x823 >= 0 e489: - .658188 b152 + x824 >= 0 e490: - .658188 b153 + x825 >= 0 e491: - .658188 b154 + x826 >= 0 e492: - .658188 b155 + x827 >= 0 e493: - .658188 b156 + x828 >= 0 e494: - .658188 b157 + x829 >= 0 e495: - .658188 b158 + x830 >= 0 e496: - .658188 b159 + x831 >= 0 e497: - .658188 b160 + x832 >= 0 e498: - .658188 b161 + x833 >= 0 e499: - .658188 b162 + x834 >= 0 e500: - .658188 b163 + x835 >= 0 e501: - .658188 b164 + x836 >= 0 e502: - .658188 b165 + x837 >= 0 e503: - .658188 b166 + x838 >= 0 e504: - .658188 b167 + x839 >= 0 e505: - .658188 b168 + x840 >= 0 e506: - 28 b1 + x337 >= 0 e507: - 28 b2 + x338 >= 0 e508: - 28 b3 + x339 >= 0 e509: - 28 b4 + x340 >= 0 e510: - 28 b5 + x341 >= 0 e511: - 28 b6 + x342 >= 0 e512: - 28 b7 + x343 >= 0 e513: - 28 b8 + x344 >= 0 e514: - 28 b9 + x345 >= 0 e515: - 28 b10 + x346 >= 0 e516: - 28 b11 + x347 >= 0 e517: - 28 b12 + x348 >= 0 e518: - 28 b13 + x349 >= 0 e519: - 28 b14 + x350 >= 0 e520: - 28 b15 + x351 >= 0 e521: - 28 b16 + x352 >= 0 e522: - 28 b17 + x353 >= 0 e523: - 28 b18 + x354 >= 0 e524: - 28 b19 + x355 >= 0 e525: - 28 b20 + x356 >= 0 e526: - 28 b21 + x357 >= 0 e527: - 28 b22 + x358 >= 0 e528: - 28 b23 + x359 >= 0 e529: - 28 b24 + x360 >= 0 e530: - 29.99 b25 + x361 >= 0 e531: - 29.99 b26 + x362 >= 0 e532: - 29.99 b27 + x363 >= 0 e533: - 29.99 b28 + x364 >= 0 e534: - 29.99 b29 + x365 >= 0 e535: - 29.99 b30 + x366 >= 0 e536: - 29.99 b31 + x367 >= 0 e537: - 29.99 b32 + x368 >= 0 e538: - 29.99 b33 + x369 >= 0 e539: - 29.99 b34 + x370 >= 0 e540: - 29.99 b35 + x371 >= 0 e541: - 29.99 b36 + x372 >= 0 e542: - 29.99 b37 + x373 >= 0 e543: - 29.99 b38 + x374 >= 0 e544: - 29.99 b39 + x375 >= 0 e545: - 29.99 b40 + x376 >= 0 e546: - 29.99 b41 + x377 >= 0 e547: - 29.99 b42 + x378 >= 0 e548: - 29.99 b43 + x379 >= 0 e549: - 29.99 b44 + x380 >= 0 e550: - 29.99 b45 + x381 >= 0 e551: - 29.99 b46 + x382 >= 0 e552: - 29.99 b47 + x383 >= 0 e553: - 29.99 b48 + x384 >= 0 e554: - 10.67 b49 + x385 >= 0 e555: - 10.67 b50 + x386 >= 0 e556: - 10.67 b51 + x387 >= 0 e557: - 10.67 b52 + x388 >= 0 e558: - 10.67 b53 + x389 >= 0 e559: - 10.67 b54 + x390 >= 0 e560: - 10.67 b55 + x391 >= 0 e561: - 10.67 b56 + x392 >= 0 e562: - 10.67 b57 + x393 >= 0 e563: - 10.67 b58 + x394 >= 0 e564: - 10.67 b59 + x395 >= 0 e565: - 10.67 b60 + x396 >= 0 e566: - 10.67 b61 + x397 >= 0 e567: - 10.67 b62 + x398 >= 0 e568: - 10.67 b63 + x399 >= 0 e569: - 10.67 b64 + x400 >= 0 e570: - 10.67 b65 + x401 >= 0 e571: - 10.67 b66 + x402 >= 0 e572: - 10.67 b67 + x403 >= 0 e573: - 10.67 b68 + x404 >= 0 e574: - 10.67 b69 + x405 >= 0 e575: - 10.67 b70 + x406 >= 0 e576: - 10.67 b71 + x407 >= 0 e577: - 10.67 b72 + x408 >= 0 e578: - 24.99 b73 + x409 >= 0 e579: - 24.99 b74 + x410 >= 0 e580: - 24.99 b75 + x411 >= 0 e581: - 24.99 b76 + x412 >= 0 e582: - 24.99 b77 + x413 >= 0 e583: - 24.99 b78 + x414 >= 0 e584: - 24.99 b79 + x415 >= 0 e585: - 24.99 b80 + x416 >= 0 e586: - 24.99 b81 + x417 >= 0 e587: - 24.99 b82 + x418 >= 0 e588: - 24.99 b83 + x419 >= 0 e589: - 24.99 b84 + x420 >= 0 e590: - 24.99 b85 + x421 >= 0 e591: - 24.99 b86 + x422 >= 0 e592: - 24.99 b87 + x423 >= 0 e593: - 24.99 b88 + x424 >= 0 e594: - 24.99 b89 + x425 >= 0 e595: - 24.99 b90 + x426 >= 0 e596: - 24.99 b91 + x427 >= 0 e597: - 24.99 b92 + x428 >= 0 e598: - 24.99 b93 + x429 >= 0 e599: - 24.99 b94 + x430 >= 0 e600: - 24.99 b95 + x431 >= 0 e601: - 24.99 b96 + x432 >= 0 e602: - 29.99 b97 + x433 >= 0 e603: - 29.99 b98 + x434 >= 0 e604: - 29.99 b99 + x435 >= 0 e605: - 29.99 b100 + x436 >= 0 e606: - 29.99 b101 + x437 >= 0 e607: - 29.99 b102 + x438 >= 0 e608: - 29.99 b103 + x439 >= 0 e609: - 29.99 b104 + x440 >= 0 e610: - 29.99 b105 + x441 >= 0 e611: - 29.99 b106 + x442 >= 0 e612: - 29.99 b107 + x443 >= 0 e613: - 29.99 b108 + x444 >= 0 e614: - 29.99 b109 + x445 >= 0 e615: - 29.99 b110 + x446 >= 0 e616: - 29.99 b111 + x447 >= 0 e617: - 29.99 b112 + x448 >= 0 e618: - 29.99 b113 + x449 >= 0 e619: - 29.99 b114 + x450 >= 0 e620: - 29.99 b115 + x451 >= 0 e621: - 29.99 b116 + x452 >= 0 e622: - 29.99 b117 + x453 >= 0 e623: - 29.99 b118 + x454 >= 0 e624: - 29.99 b119 + x455 >= 0 e625: - 29.99 b120 + x456 >= 0 e626: - 39.99 b121 + x457 >= 0 e627: - 39.99 b122 + x458 >= 0 e628: - 39.99 b123 + x459 >= 0 e629: - 39.99 b124 + x460 >= 0 e630: - 39.99 b125 + x461 >= 0 e631: - 39.99 b126 + x462 >= 0 e632: - 39.99 b127 + x463 >= 0 e633: - 39.99 b128 + x464 >= 0 e634: - 39.99 b129 + x465 >= 0 e635: - 39.99 b130 + x466 >= 0 e636: - 39.99 b131 + x467 >= 0 e637: - 39.99 b132 + x468 >= 0 e638: - 39.99 b133 + x469 >= 0 e639: - 39.99 b134 + x470 >= 0 e640: - 39.99 b135 + x471 >= 0 e641: - 39.99 b136 + x472 >= 0 e642: - 39.99 b137 + x473 >= 0 e643: - 39.99 b138 + x474 >= 0 e644: - 39.99 b139 + x475 >= 0 e645: - 39.99 b140 + x476 >= 0 e646: - 39.99 b141 + x477 >= 0 e647: - 39.99 b142 + x478 >= 0 e648: - 39.99 b143 + x479 >= 0 e649: - 39.99 b144 + x480 >= 0 e650: - 19.99 b145 + x481 >= 0 e651: - 19.99 b146 + x482 >= 0 e652: - 19.99 b147 + x483 >= 0 e653: - 19.99 b148 + x484 >= 0 e654: - 19.99 b149 + x485 >= 0 e655: - 19.99 b150 + x486 >= 0 e656: - 19.99 b151 + x487 >= 0 e657: - 19.99 b152 + x488 >= 0 e658: - 19.99 b153 + x489 >= 0 e659: - 19.99 b154 + x490 >= 0 e660: - 19.99 b155 + x491 >= 0 e661: - 19.99 b156 + x492 >= 0 e662: - 19.99 b157 + x493 >= 0 e663: - 19.99 b158 + x494 >= 0 e664: - 19.99 b159 + x495 >= 0 e665: - 19.99 b160 + x496 >= 0 e666: - 19.99 b161 + x497 >= 0 e667: - 19.99 b162 + x498 >= 0 e668: - 19.99 b163 + x499 >= 0 e669: - 19.99 b164 + x500 >= 0 e670: - 19.99 b165 + x501 >= 0 e671: - 19.99 b166 + x502 >= 0 e672: - 19.99 b167 + x503 >= 0 e673: - 19.99 b168 + x504 >= 0 e674: - 188.08 b1 + x337 <= 0 e675: - 188.08 b2 + x338 <= 0 e676: - 188.08 b3 + x339 <= 0 e677: - 188.08 b4 + x340 <= 0 e678: - 188.08 b5 + x341 <= 0 e679: - 188.08 b6 + x342 <= 0 e680: - 188.08 b7 + x343 <= 0 e681: - 188.08 b8 + x344 <= 0 e682: - 188.08 b9 + x345 <= 0 e683: - 188.08 b10 + x346 <= 0 e684: - 188.08 b11 + x347 <= 0 e685: - 188.08 b12 + x348 <= 0 e686: - 188.08 b13 + x349 <= 0 e687: - 188.08 b14 + x350 <= 0 e688: - 188.08 b15 + x351 <= 0 e689: - 188.08 b16 + x352 <= 0 e690: - 188.08 b17 + x353 <= 0 e691: - 188.08 b18 + x354 <= 0 e692: - 188.08 b19 + x355 <= 0 e693: - 188.08 b20 + x356 <= 0 e694: - 188.08 b21 + x357 <= 0 e695: - 188.08 b22 + x358 <= 0 e696: - 188.08 b23 + x359 <= 0 e697: - 188.08 b24 + x360 <= 0 e698: - 237.14 b25 + x361 <= 0 e699: - 237.14 b26 + x362 <= 0 e700: - 237.14 b27 + x363 <= 0 e701: - 237.14 b28 + x364 <= 0 e702: - 237.14 b29 + x365 <= 0 e703: - 237.14 b30 + x366 <= 0 e704: - 237.14 b31 + x367 <= 0 e705: - 237.14 b32 + x368 <= 0 e706: - 237.14 b33 + x369 <= 0 e707: - 237.14 b34 + x370 <= 0 e708: - 237.14 b35 + x371 <= 0 e709: - 237.14 b36 + x372 <= 0 e710: - 237.14 b37 + x373 <= 0 e711: - 237.14 b38 + x374 <= 0 e712: - 237.14 b39 + x375 <= 0 e713: - 237.14 b40 + x376 <= 0 e714: - 237.14 b41 + x377 <= 0 e715: - 237.14 b42 + x378 <= 0 e716: - 237.14 b43 + x379 <= 0 e717: - 237.14 b44 + x380 <= 0 e718: - 237.14 b45 + x381 <= 0 e719: - 237.14 b46 + x382 <= 0 e720: - 237.14 b47 + x383 <= 0 e721: - 237.14 b48 + x384 <= 0 e722: - 60 b49 + x385 <= 0 e723: - 60 b50 + x386 <= 0 e724: - 60 b51 + x387 <= 0 e725: - 60 b52 + x388 <= 0 e726: - 60 b53 + x389 <= 0 e727: - 60 b54 + x390 <= 0 e728: - 60 b55 + x391 <= 0 e729: - 60 b56 + x392 <= 0 e730: - 60 b57 + x393 <= 0 e731: - 60 b58 + x394 <= 0 e732: - 60 b59 + x395 <= 0 e733: - 60 b60 + x396 <= 0 e734: - 60 b61 + x397 <= 0 e735: - 60 b62 + x398 <= 0 e736: - 60 b63 + x399 <= 0 e737: - 60 b64 + x400 <= 0 e738: - 60 b65 + x401 <= 0 e739: - 60 b66 + x402 <= 0 e740: - 60 b67 + x403 <= 0 e741: - 60 b68 + x404 <= 0 e742: - 60 b69 + x405 <= 0 e743: - 60 b70 + x406 <= 0 e744: - 60 b71 + x407 <= 0 e745: - 60 b72 + x408 <= 0 e746: - 185.99 b73 + x409 <= 0 e747: - 185.99 b74 + x410 <= 0 e748: - 185.99 b75 + x411 <= 0 e749: - 185.99 b76 + x412 <= 0 e750: - 185.99 b77 + x413 <= 0 e751: - 185.99 b78 + x414 <= 0 e752: - 185.99 b79 + x415 <= 0 e753: - 185.99 b80 + x416 <= 0 e754: - 185.99 b81 + x417 <= 0 e755: - 185.99 b82 + x418 <= 0 e756: - 185.99 b83 + x419 <= 0 e757: - 185.99 b84 + x420 <= 0 e758: - 185.99 b85 + x421 <= 0 e759: - 185.99 b86 + x422 <= 0 e760: - 185.99 b87 + x423 <= 0 e761: - 185.99 b88 + x424 <= 0 e762: - 185.99 b89 + x425 <= 0 e763: - 185.99 b90 + x426 <= 0 e764: - 185.99 b91 + x427 <= 0 e765: - 185.99 b92 + x428 <= 0 e766: - 185.99 b93 + x429 <= 0 e767: - 185.99 b94 + x430 <= 0 e768: - 185.99 b95 + x431 <= 0 e769: - 185.99 b96 + x432 <= 0 e770: - 201.02 b97 + x433 <= 0 e771: - 201.02 b98 + x434 <= 0 e772: - 201.02 b99 + x435 <= 0 e773: - 201.02 b100 + x436 <= 0 e774: - 201.02 b101 + x437 <= 0 e775: - 201.02 b102 + x438 <= 0 e776: - 201.02 b103 + x439 <= 0 e777: - 201.02 b104 + x440 <= 0 e778: - 201.02 b105 + x441 <= 0 e779: - 201.02 b106 + x442 <= 0 e780: - 201.02 b107 + x443 <= 0 e781: - 201.02 b108 + x444 <= 0 e782: - 201.02 b109 + x445 <= 0 e783: - 201.02 b110 + x446 <= 0 e784: - 201.02 b111 + x447 <= 0 e785: - 201.02 b112 + x448 <= 0 e786: - 201.02 b113 + x449 <= 0 e787: - 201.02 b114 + x450 <= 0 e788: - 201.02 b115 + x451 <= 0 e789: - 201.02 b116 + x452 <= 0 e790: - 201.02 b117 + x453 <= 0 e791: - 201.02 b118 + x454 <= 0 e792: - 201.02 b119 + x455 <= 0 e793: - 201.02 b120 + x456 <= 0 e794: - 134.02 b121 + x457 <= 0 e795: - 134.02 b122 + x458 <= 0 e796: - 134.02 b123 + x459 <= 0 e797: - 134.02 b124 + x460 <= 0 e798: - 134.02 b125 + x461 <= 0 e799: - 134.02 b126 + x462 <= 0 e800: - 134.02 b127 + x463 <= 0 e801: - 134.02 b128 + x464 <= 0 e802: - 134.02 b129 + x465 <= 0 e803: - 134.02 b130 + x466 <= 0 e804: - 134.02 b131 + x467 <= 0 e805: - 134.02 b132 + x468 <= 0 e806: - 134.02 b133 + x469 <= 0 e807: - 134.02 b134 + x470 <= 0 e808: - 134.02 b135 + x471 <= 0 e809: - 134.02 b136 + x472 <= 0 e810: - 134.02 b137 + x473 <= 0 e811: - 134.02 b138 + x474 <= 0 e812: - 134.02 b139 + x475 <= 0 e813: - 134.02 b140 + x476 <= 0 e814: - 134.02 b141 + x477 <= 0 e815: - 134.02 b142 + x478 <= 0 e816: - 134.02 b143 + x479 <= 0 e817: - 134.02 b144 + x480 <= 0 e818: - 117.01 b145 + x481 <= 0 e819: - 117.01 b146 + x482 <= 0 e820: - 117.01 b147 + x483 <= 0 e821: - 117.01 b148 + x484 <= 0 e822: - 117.01 b149 + x485 <= 0 e823: - 117.01 b150 + x486 <= 0 e824: - 117.01 b151 + x487 <= 0 e825: - 117.01 b152 + x488 <= 0 e826: - 117.01 b153 + x489 <= 0 e827: - 117.01 b154 + x490 <= 0 e828: - 117.01 b155 + x491 <= 0 e829: - 117.01 b156 + x492 <= 0 e830: - 117.01 b157 + x493 <= 0 e831: - 117.01 b158 + x494 <= 0 e832: - 117.01 b159 + x495 <= 0 e833: - 117.01 b160 + x496 <= 0 e834: - 117.01 b161 + x497 <= 0 e835: - 117.01 b162 + x498 <= 0 e836: - 117.01 b163 + x499 <= 0 e837: - 117.01 b164 + x500 <= 0 e838: - 117.01 b165 + x501 <= 0 e839: - 117.01 b166 + x502 <= 0 e840: - 117.01 b167 + x503 <= 0 e841: - 117.01 b168 + x504 <= 0 e842: x673 - x674 <= 2.0601 e843: x674 - x675 <= 2.0601 e844: x675 - x676 <= 2.0601 e845: x676 - x677 <= 2.0601 e846: x677 - x678 <= 2.0601 e847: x678 - x679 <= 2.0601 e848: x679 - x680 <= 2.0601 e849: x680 - x681 <= 2.0601 e850: x681 - x682 <= 2.0601 e851: x682 - x683 <= 2.0601 e852: x683 - x684 <= 2.0601 e853: x684 - x685 <= 2.0601 e854: x685 - x686 <= 2.0601 e855: x686 - x687 <= 2.0601 e856: x687 - x688 <= 2.0601 e857: x688 - x689 <= 2.0601 e858: x689 - x690 <= 2.0601 e859: x690 - x691 <= 2.0601 e860: x691 - x692 <= 2.0601 e861: x692 - x693 <= 2.0601 e862: x693 - x694 <= 2.0601 e863: x694 - x695 <= 2.0601 e864: x695 - x696 <= 2.0601 e865: x697 - x698 <= 1.944 e866: x698 - x699 <= 1.944 e867: x699 - x700 <= 1.944 e868: x700 - x701 <= 1.944 e869: x701 - x702 <= 1.944 e870: x702 - x703 <= 1.944 e871: x703 - x704 <= 1.944 e872: x704 - x705 <= 1.944 e873: x705 - x706 <= 1.944 e874: x706 - x707 <= 1.944 e875: x707 - x708 <= 1.944 e876: x708 - x709 <= 1.944 e877: x709 - x710 <= 1.944 e878: x710 - x711 <= 1.944 e879: x711 - x712 <= 1.944 e880: x712 - x713 <= 1.944 e881: x713 - x714 <= 1.944 e882: x714 - x715 <= 1.944 e883: x715 - x716 <= 1.944 e884: x716 - x717 <= 1.944 e885: x717 - x718 <= 1.944 e886: x718 - x719 <= 1.944 e887: x719 - x720 <= 1.944 e888: x721 - x722 <= 2.952e-2 e889: x722 - x723 <= 2.952e-2 e890: x723 - x724 <= 2.952e-2 e891: x724 - x725 <= 2.952e-2 e892: x725 - x726 <= 2.952e-2 e893: x726 - x727 <= 2.952e-2 e894: x727 - x728 <= 2.952e-2 e895: x728 - x729 <= 2.952e-2 e896: x729 - x730 <= 2.952e-2 e897: x730 - x731 <= 2.952e-2 e898: x731 - x732 <= 2.952e-2 e899: x732 - x733 <= 2.952e-2 e900: x733 - x734 <= 2.952e-2 e901: x734 - x735 <= 2.952e-2 e902: x735 - x736 <= 2.952e-2 e903: x736 - x737 <= 2.952e-2 e904: x737 - x738 <= 2.952e-2 e905: x738 - x739 <= 2.952e-2 e906: x739 - x740 <= 2.952e-2 e907: x740 - x741 <= 2.952e-2 e908: x741 - x742 <= 2.952e-2 e909: x742 - x743 <= 2.952e-2 e910: x743 - x744 <= 2.952e-2 e911: x745 - x746 <= 1.62 e912: x746 - x747 <= 1.62 e913: x747 - x748 <= 1.62 e914: x748 - x749 <= 1.62 e915: x749 - x750 <= 1.62 e916: x750 - x751 <= 1.62 e917: x751 - x752 <= 1.62 e918: x752 - x753 <= 1.62 e919: x753 - x754 <= 1.62 e920: x754 - x755 <= 1.62 e921: x755 - x756 <= 1.62 e922: x756 - x757 <= 1.62 e923: x757 - x758 <= 1.62 e924: x758 - x759 <= 1.62 e925: x759 - x760 <= 1.62 e926: x760 - x761 <= 1.62 e927: x761 - x762 <= 1.62 e928: x762 - x763 <= 1.62 e929: x763 - x764 <= 1.62 e930: x764 - x765 <= 1.62 e931: x765 - x766 <= 1.62 e932: x766 - x767 <= 1.62 e933: x767 - x768 <= 1.62 e934: x769 - x770 <= 1.586358 e935: x770 - x771 <= 1.586358 e936: x771 - x772 <= 1.586358 e937: x772 - x773 <= 1.586358 e938: x773 - x774 <= 1.586358 e939: x774 - x775 <= 1.586358 e940: x775 - x776 <= 1.586358 e941: x776 - x777 <= 1.586358 e942: x777 - x778 <= 1.586358 e943: x778 - x779 <= 1.586358 e944: x779 - x780 <= 1.586358 e945: x780 - x781 <= 1.586358 e946: x781 - x782 <= 1.586358 e947: x782 - x783 <= 1.586358 e948: x783 - x784 <= 1.586358 e949: x784 - x785 <= 1.586358 e950: x785 - x786 <= 1.586358 e951: x786 - x787 <= 1.586358 e952: x787 - x788 <= 1.586358 e953: x788 - x789 <= 1.586358 e954: x789 - x790 <= 1.586358 e955: x790 - x791 <= 1.586358 e956: x791 - x792 <= 1.586358 e957: x793 - x794 <= .587412 e958: x794 - x795 <= .587412 e959: x795 - x796 <= .587412 e960: x796 - x797 <= .587412 e961: x797 - x798 <= .587412 e962: x798 - x799 <= .587412 e963: x799 - x800 <= .587412 e964: x800 - x801 <= .587412 e965: x801 - x802 <= .587412 e966: x802 - x803 <= .587412 e967: x803 - x804 <= .587412 e968: x804 - x805 <= .587412 e969: x805 - x806 <= .587412 e970: x806 - x807 <= .587412 e971: x807 - x808 <= .587412 e972: x808 - x809 <= .587412 e973: x809 - x810 <= .587412 e974: x810 - x811 <= .587412 e975: x811 - x812 <= .587412 e976: x812 - x813 <= .587412 e977: x813 - x814 <= .587412 e978: x814 - x815 <= .587412 e979: x815 - x816 <= .587412 e980: x817 - x818 <= 2.441718 e981: x818 - x819 <= 2.441718 e982: x819 - x820 <= 2.441718 e983: x820 - x821 <= 2.441718 e984: x821 - x822 <= 2.441718 e985: x822 - x823 <= 2.441718 e986: x823 - x824 <= 2.441718 e987: x824 - x825 <= 2.441718 e988: x825 - x826 <= 2.441718 e989: x826 - x827 <= 2.441718 e990: x827 - x828 <= 2.441718 e991: x828 - x829 <= 2.441718 e992: x829 - x830 <= 2.441718 e993: x830 - x831 <= 2.441718 e994: x831 - x832 <= 2.441718 e995: x832 - x833 <= 2.441718 e996: x833 - x834 <= 2.441718 e997: x834 - x835 <= 2.441718 e998: x835 - x836 <= 2.441718 e999: x836 - x837 <= 2.441718 e1000: x837 - x838 <= 2.441718 e1001: x838 - x839 <= 2.441718 e1002: x839 - x840 <= 2.441718 e1003: - x673 + x674 <= 2.0601 e1004: - x674 + x675 <= 2.0601 e1005: - x675 + x676 <= 2.0601 e1006: - x676 + x677 <= 2.0601 e1007: - x677 + x678 <= 2.0601 e1008: - x678 + x679 <= 2.0601 e1009: - x679 + x680 <= 2.0601 e1010: - x680 + x681 <= 2.0601 e1011: - x681 + x682 <= 2.0601 e1012: - x682 + x683 <= 2.0601 e1013: - x683 + x684 <= 2.0601 e1014: - x684 + x685 <= 2.0601 e1015: - x685 + x686 <= 2.0601 e1016: - x686 + x687 <= 2.0601 e1017: - x687 + x688 <= 2.0601 e1018: - x688 + x689 <= 2.0601 e1019: - x689 + x690 <= 2.0601 e1020: - x690 + x691 <= 2.0601 e1021: - x691 + x692 <= 2.0601 e1022: - x692 + x693 <= 2.0601 e1023: - x693 + x694 <= 2.0601 e1024: - x694 + x695 <= 2.0601 e1025: - x695 + x696 <= 2.0601 e1026: - x697 + x698 <= 1.944 e1027: - x698 + x699 <= 1.944 e1028: - x699 + x700 <= 1.944 e1029: - x700 + x701 <= 1.944 e1030: - x701 + x702 <= 1.944 e1031: - x702 + x703 <= 1.944 e1032: - x703 + x704 <= 1.944 e1033: - x704 + x705 <= 1.944 e1034: - x705 + x706 <= 1.944 e1035: - x706 + x707 <= 1.944 e1036: - x707 + x708 <= 1.944 e1037: - x708 + x709 <= 1.944 e1038: - x709 + x710 <= 1.944 e1039: - x710 + x711 <= 1.944 e1040: - x711 + x712 <= 1.944 e1041: - x712 + x713 <= 1.944 e1042: - x713 + x714 <= 1.944 e1043: - x714 + x715 <= 1.944 e1044: - x715 + x716 <= 1.944 e1045: - x716 + x717 <= 1.944 e1046: - x717 + x718 <= 1.944 e1047: - x718 + x719 <= 1.944 e1048: - x719 + x720 <= 1.944 e1049: - x721 + x722 <= 2.952e-2 e1050: - x722 + x723 <= 2.952e-2 e1051: - x723 + x724 <= 2.952e-2 e1052: - x724 + x725 <= 2.952e-2 e1053: - x725 + x726 <= 2.952e-2 e1054: - x726 + x727 <= 2.952e-2 e1055: - x727 + x728 <= 2.952e-2 e1056: - x728 + x729 <= 2.952e-2 e1057: - x729 + x730 <= 2.952e-2 e1058: - x730 + x731 <= 2.952e-2 e1059: - x731 + x732 <= 2.952e-2 e1060: - x732 + x733 <= 2.952e-2 e1061: - x733 + x734 <= 2.952e-2 e1062: - x734 + x735 <= 2.952e-2 e1063: - x735 + x736 <= 2.952e-2 e1064: - x736 + x737 <= 2.952e-2 e1065: - x737 + x738 <= 2.952e-2 e1066: - x738 + x739 <= 2.952e-2 e1067: - x739 + x740 <= 2.952e-2 e1068: - x740 + x741 <= 2.952e-2 e1069: - x741 + x742 <= 2.952e-2 e1070: - x742 + x743 <= 2.952e-2 e1071: - x743 + x744 <= 2.952e-2 e1072: - x745 + x746 <= 1.62 e1073: - x746 + x747 <= 1.62 e1074: - x747 + x748 <= 1.62 e1075: - x748 + x749 <= 1.62 e1076: - x749 + x750 <= 1.62 e1077: - x750 + x751 <= 1.62 e1078: - x751 + x752 <= 1.62 e1079: - x752 + x753 <= 1.62 e1080: - x753 + x754 <= 1.62 e1081: - x754 + x755 <= 1.62 e1082: - x755 + x756 <= 1.62 e1083: - x756 + x757 <= 1.62 e1084: - x757 + x758 <= 1.62 e1085: - x758 + x759 <= 1.62 e1086: - x759 + x760 <= 1.62 e1087: - x760 + x761 <= 1.62 e1088: - x761 + x762 <= 1.62 e1089: - x762 + x763 <= 1.62 e1090: - x763 + x764 <= 1.62 e1091: - x764 + x765 <= 1.62 e1092: - x765 + x766 <= 1.62 e1093: - x766 + x767 <= 1.62 e1094: - x767 + x768 <= 1.62 e1095: - x769 + x770 <= 1.586358 e1096: - x770 + x771 <= 1.586358 e1097: - x771 + x772 <= 1.586358 e1098: - x772 + x773 <= 1.586358 e1099: - x773 + x774 <= 1.586358 e1100: - x774 + x775 <= 1.586358 e1101: - x775 + x776 <= 1.586358 e1102: - x776 + x777 <= 1.586358 e1103: - x777 + x778 <= 1.586358 e1104: - x778 + x779 <= 1.586358 e1105: - x779 + x780 <= 1.586358 e1106: - x780 + x781 <= 1.586358 e1107: - x781 + x782 <= 1.586358 e1108: - x782 + x783 <= 1.586358 e1109: - x783 + x784 <= 1.586358 e1110: - x784 + x785 <= 1.586358 e1111: - x785 + x786 <= 1.586358 e1112: - x786 + x787 <= 1.586358 e1113: - x787 + x788 <= 1.586358 e1114: - x788 + x789 <= 1.586358 e1115: - x789 + x790 <= 1.586358 e1116: - x790 + x791 <= 1.586358 e1117: - x791 + x792 <= 1.586358 e1118: - x793 + x794 <= .587412 e1119: - x794 + x795 <= .587412 e1120: - x795 + x796 <= .587412 e1121: - x796 + x797 <= .587412 e1122: - x797 + x798 <= .587412 e1123: - x798 + x799 <= .587412 e1124: - x799 + x800 <= .587412 e1125: - x800 + x801 <= .587412 e1126: - x801 + x802 <= .587412 e1127: - x802 + x803 <= .587412 e1128: - x803 + x804 <= .587412 e1129: - x804 + x805 <= .587412 e1130: - x805 + x806 <= .587412 e1131: - x806 + x807 <= .587412 e1132: - x807 + x808 <= .587412 e1133: - x808 + x809 <= .587412 e1134: - x809 + x810 <= .587412 e1135: - x810 + x811 <= .587412 e1136: - x811 + x812 <= .587412 e1137: - x812 + x813 <= .587412 e1138: - x813 + x814 <= .587412 e1139: - x814 + x815 <= .587412 e1140: - x815 + x816 <= .587412 e1141: - x817 + x818 <= 2.441718 e1142: - x818 + x819 <= 2.441718 e1143: - x819 + x820 <= 2.441718 e1144: - x820 + x821 <= 2.441718 e1145: - x821 + x822 <= 2.441718 e1146: - x822 + x823 <= 2.441718 e1147: - x823 + x824 <= 2.441718 e1148: - x824 + x825 <= 2.441718 e1149: - x825 + x826 <= 2.441718 e1150: - x826 + x827 <= 2.441718 e1151: - x827 + x828 <= 2.441718 e1152: - x828 + x829 <= 2.441718 e1153: - x829 + x830 <= 2.441718 e1154: - x830 + x831 <= 2.441718 e1155: - x831 + x832 <= 2.441718 e1156: - x832 + x833 <= 2.441718 e1157: - x833 + x834 <= 2.441718 e1158: - x834 + x835 <= 2.441718 e1159: - x835 + x836 <= 2.441718 e1160: - x836 + x837 <= 2.441718 e1161: - x837 + x838 <= 2.441718 e1162: - x838 + x839 <= 2.441718 e1163: - x839 + x840 <= 2.441718 e1164: - b1 + b169 >= 0 e1165: b1 - b2 + b170 >= 0 e1166: b2 - b3 + b171 >= 0 e1167: b3 - b4 + b172 >= 0 e1168: b4 - b5 + b173 >= 0 e1169: b5 - b6 + b174 >= 0 e1170: b6 - b7 + b175 >= 0 e1171: b7 - b8 + b176 >= 0 e1172: b8 - b9 + b177 >= 0 e1173: b9 - b10 + b178 >= 0 e1174: b10 - b11 + b179 >= 0 e1175: b11 - b12 + b180 >= 0 e1176: b12 - b13 + b181 >= 0 e1177: b13 - b14 + b182 >= 0 e1178: b14 - b15 + b183 >= 0 e1179: b15 - b16 + b184 >= 0 e1180: b16 - b17 + b185 >= 0 e1181: b17 - b18 + b186 >= 0 e1182: b18 - b19 + b187 >= 0 e1183: b19 - b20 + b188 >= 0 e1184: b20 - b21 + b189 >= 0 e1185: b21 - b22 + b190 >= 0 e1186: b22 - b23 + b191 >= 0 e1187: b23 - b24 + b192 >= 0 e1188: - b25 + b193 >= 0 e1189: b25 - b26 + b194 >= 0 e1190: b26 - b27 + b195 >= 0 e1191: b27 - b28 + b196 >= 0 e1192: b28 - b29 + b197 >= 0 e1193: b29 - b30 + b198 >= 0 e1194: b30 - b31 + b199 >= 0 e1195: b31 - b32 + b200 >= 0 e1196: b32 - b33 + b201 >= 0 e1197: b33 - b34 + b202 >= 0 e1198: b34 - b35 + b203 >= 0 e1199: b35 - b36 + b204 >= 0 e1200: b36 - b37 + b205 >= 0 e1201: b37 - b38 + b206 >= 0 e1202: b38 - b39 + b207 >= 0 e1203: b39 - b40 + b208 >= 0 e1204: b40 - b41 + b209 >= 0 e1205: b41 - b42 + b210 >= 0 e1206: b42 - b43 + b211 >= 0 e1207: b43 - b44 + b212 >= 0 e1208: b44 - b45 + b213 >= 0 e1209: b45 - b46 + b214 >= 0 e1210: b46 - b47 + b215 >= 0 e1211: b47 - b48 + b216 >= 0 e1212: - b49 + b217 >= 0 e1213: b49 - b50 + b218 >= 0 e1214: b50 - b51 + b219 >= 0 e1215: b51 - b52 + b220 >= 0 e1216: b52 - b53 + b221 >= 0 e1217: b53 - b54 + b222 >= 0 e1218: b54 - b55 + b223 >= 0 e1219: b55 - b56 + b224 >= 0 e1220: b56 - b57 + b225 >= 0 e1221: b57 - b58 + b226 >= 0 e1222: b58 - b59 + b227 >= 0 e1223: b59 - b60 + b228 >= 0 e1224: b60 - b61 + b229 >= 0 e1225: b61 - b62 + b230 >= 0 e1226: b62 - b63 + b231 >= 0 e1227: b63 - b64 + b232 >= 0 e1228: b64 - b65 + b233 >= 0 e1229: b65 - b66 + b234 >= 0 e1230: b66 - b67 + b235 >= 0 e1231: b67 - b68 + b236 >= 0 e1232: b68 - b69 + b237 >= 0 e1233: b69 - b70 + b238 >= 0 e1234: b70 - b71 + b239 >= 0 e1235: b71 - b72 + b240 >= 0 e1236: - b73 + b241 >= 0 e1237: b73 - b74 + b242 >= 0 e1238: b74 - b75 + b243 >= 0 e1239: b75 - b76 + b244 >= 0 e1240: b76 - b77 + b245 >= 0 e1241: b77 - b78 + b246 >= 0 e1242: b78 - b79 + b247 >= 0 e1243: b79 - b80 + b248 >= 0 e1244: b80 - b81 + b249 >= 0 e1245: b81 - b82 + b250 >= 0 e1246: b82 - b83 + b251 >= 0 e1247: b83 - b84 + b252 >= 0 e1248: b84 - b85 + b253 >= 0 e1249: b85 - b86 + b254 >= 0 e1250: b86 - b87 + b255 >= 0 e1251: b87 - b88 + b256 >= 0 e1252: b88 - b89 + b257 >= 0 e1253: b89 - b90 + b258 >= 0 e1254: b90 - b91 + b259 >= 0 e1255: b91 - b92 + b260 >= 0 e1256: b92 - b93 + b261 >= 0 e1257: b93 - b94 + b262 >= 0 e1258: b94 - b95 + b263 >= 0 e1259: b95 - b96 + b264 >= 0 e1260: - b97 + b265 >= 0 e1261: b97 - b98 + b266 >= 0 e1262: b98 - b99 + b267 >= 0 e1263: b99 - b100 + b268 >= 0 e1264: b100 - b101 + b269 >= 0 e1265: b101 - b102 + b270 >= 0 e1266: b102 - b103 + b271 >= 0 e1267: b103 - b104 + b272 >= 0 e1268: b104 - b105 + b273 >= 0 e1269: b105 - b106 + b274 >= 0 e1270: b106 - b107 + b275 >= 0 e1271: b107 - b108 + b276 >= 0 e1272: b108 - b109 + b277 >= 0 e1273: b109 - b110 + b278 >= 0 e1274: b110 - b111 + b279 >= 0 e1275: b111 - b112 + b280 >= 0 e1276: b112 - b113 + b281 >= 0 e1277: b113 - b114 + b282 >= 0 e1278: b114 - b115 + b283 >= 0 e1279: b115 - b116 + b284 >= 0 e1280: b116 - b117 + b285 >= 0 e1281: b117 - b118 + b286 >= 0 e1282: b118 - b119 + b287 >= 0 e1283: b119 - b120 + b288 >= 0 e1284: - b121 + b289 >= 0 e1285: b121 - b122 + b290 >= 0 e1286: b122 - b123 + b291 >= 0 e1287: b123 - b124 + b292 >= 0 e1288: b124 - b125 + b293 >= 0 e1289: b125 - b126 + b294 >= 0 e1290: b126 - b127 + b295 >= 0 e1291: b127 - b128 + b296 >= 0 e1292: b128 - b129 + b297 >= 0 e1293: b129 - b130 + b298 >= 0 e1294: b130 - b131 + b299 >= 0 e1295: b131 - b132 + b300 >= 0 e1296: b132 - b133 + b301 >= 0 e1297: b133 - b134 + b302 >= 0 e1298: b134 - b135 + b303 >= 0 e1299: b135 - b136 + b304 >= 0 e1300: b136 - b137 + b305 >= 0 e1301: b137 - b138 + b306 >= 0 e1302: b138 - b139 + b307 >= 0 e1303: b139 - b140 + b308 >= 0 e1304: b140 - b141 + b309 >= 0 e1305: b141 - b142 + b310 >= 0 e1306: b142 - b143 + b311 >= 0 e1307: b143 - b144 + b312 >= 0 e1308: - b145 + b313 >= 0 e1309: b145 - b146 + b314 >= 0 e1310: b146 - b147 + b315 >= 0 e1311: b147 - b148 + b316 >= 0 e1312: b148 - b149 + b317 >= 0 e1313: b149 - b150 + b318 >= 0 e1314: b150 - b151 + b319 >= 0 e1315: b151 - b152 + b320 >= 0 e1316: b152 - b153 + b321 >= 0 e1317: b153 - b154 + b322 >= 0 e1318: b154 - b155 + b323 >= 0 e1319: b155 - b156 + b324 >= 0 e1320: b156 - b157 + b325 >= 0 e1321: b157 - b158 + b326 >= 0 e1322: b158 - b159 + b327 >= 0 e1323: b159 - b160 + b328 >= 0 e1324: b160 - b161 + b329 >= 0 e1325: b161 - b162 + b330 >= 0 e1326: b162 - b163 + b331 >= 0 e1327: b163 - b164 + b332 >= 0 e1328: b164 - b165 + b333 >= 0 e1329: b165 - b166 + b334 >= 0 e1330: b166 - b167 + b335 >= 0 e1331: b167 - b168 + b336 >= 0 e1332: x337 - 50.09702 x673 + [ - .5061084326298 x673 * x841 + .5580651303227 x673 * x865 ] = 0 e1333: x338 - 50.09702 x674 + [ - .5061084326298 x674 * x842 + .5580651303227 x674 * x866 ] = 0 e1334: x339 - 50.09702 x675 + [ - .5061084326298 x675 * x843 + .5580651303227 x675 * x867 ] = 0 e1335: x340 - 50.09702 x676 + [ - .5061084326298 x676 * x844 + .5580651303227 x676 * x868 ] = 0 e1336: x341 - 50.09702 x677 + [ - .5061084326298 x677 * x845 + .5580651303227 x677 * x869 ] = 0 e1337: x342 - 50.09702 x678 + [ - .5061084326298 x678 * x846 + .5580651303227 x678 * x870 ] = 0 e1338: x343 - 50.09702 x679 + [ - .5061084326298 x679 * x847 + .5580651303227 x679 * x871 ] = 0 e1339: x344 - 50.09702 x680 + [ - .5061084326298 x680 * x848 + .5580651303227 x680 * x872 ] = 0 e1340: x345 - 50.09702 x681 + [ - .5061084326298 x681 * x849 + .5580651303227 x681 * x873 ] = 0 e1341: x346 - 50.09702 x682 + [ - .5061084326298 x682 * x850 + .5580651303227 x682 * x874 ] = 0 e1342: x347 - 50.09702 x683 + [ - .5061084326298 x683 * x851 + .5580651303227 x683 * x875 ] = 0 e1343: x348 - 50.09702 x684 + [ - .5061084326298 x684 * x852 + .5580651303227 x684 * x876 ] = 0 e1344: x349 - 50.09702 x685 + [ - .5061084326298 x685 * x853 + .5580651303227 x685 * x877 ] = 0 e1345: x350 - 50.09702 x686 + [ - .5061084326298 x686 * x854 + .5580651303227 x686 * x878 ] = 0 e1346: x351 - 50.09702 x687 + [ - .5061084326298 x687 * x855 + .5580651303227 x687 * x879 ] = 0 e1347: x352 - 50.09702 x688 + [ - .5061084326298 x688 * x856 + .5580651303227 x688 * x880 ] = 0 e1348: x353 - 50.09702 x689 + [ - .5061084326298 x689 * x857 + .5580651303227 x689 * x881 ] = 0 e1349: x354 - 50.09702 x690 + [ - .5061084326298 x690 * x858 + .5580651303227 x690 * x882 ] = 0 e1350: x355 - 50.09702 x691 + [ - .5061084326298 x691 * x859 + .5580651303227 x691 * x883 ] = 0 e1351: x356 - 50.09702 x692 + [ - .5061084326298 x692 * x860 + .5580651303227 x692 * x884 ] = 0 e1352: x357 - 50.09702 x693 + [ - .5061084326298 x693 * x861 + .5580651303227 x693 * x885 ] = 0 e1353: x358 - 50.09702 x694 + [ - .5061084326298 x694 * x862 + .5580651303227 x694 * x886 ] = 0 e1354: x359 - 50.09702 x695 + [ - .5061084326298 x695 * x863 + .5580651303227 x695 * x887 ] = 0 e1355: x360 - 50.09702 x696 + [ - .5061084326298 x696 * x864 + .5580651303227 x696 * x888 ] = 0 e1356: x361 - 78.54163 x697 + [ - .5623466695665 x697 * x865 + .5499405370095 x697 * x913 ] = 0 e1357: x362 - 78.54163 x698 + [ - .5623466695665 x698 * x866 + .5499405370095 x698 * x914 ] = 0 e1358: x363 - 78.54163 x699 + [ - .5623466695665 x699 * x867 + .5499405370095 x699 * x915 ] = 0 e1359: x364 - 78.54163 x700 + [ - .5623466695665 x700 * x868 + .5499405370095 x700 * x916 ] = 0 e1360: x365 - 78.54163 x701 + [ - .5623466695665 x701 * x869 + .5499405370095 x701 * x917 ] = 0 e1361: x366 - 78.54163 x702 + [ - .5623466695665 x702 * x870 + .5499405370095 x702 * x918 ] = 0 e1362: x367 - 78.54163 x703 + [ - .5623466695665 x703 * x871 + .5499405370095 x703 * x919 ] = 0 e1363: x368 - 78.54163 x704 + [ - .5623466695665 x704 * x872 + .5499405370095 x704 * x920 ] = 0 e1364: x369 - 78.54163 x705 + [ - .5623466695665 x705 * x873 + .5499405370095 x705 * x921 ] = 0 e1365: x370 - 78.54163 x706 + [ - .5623466695665 x706 * x874 + .5499405370095 x706 * x922 ] = 0 e1366: x371 - 78.54163 x707 + [ - .5623466695665 x707 * x875 + .5499405370095 x707 * x923 ] = 0 e1367: x372 - 78.54163 x708 + [ - .5623466695665 x708 * x876 + .5499405370095 x708 * x924 ] = 0 e1368: x373 - 78.54163 x709 + [ - .5623466695665 x709 * x877 + .5499405370095 x709 * x925 ] = 0 e1369: x374 - 78.54163 x710 + [ - .5623466695665 x710 * x878 + .5499405370095 x710 * x926 ] = 0 e1370: x375 - 78.54163 x711 + [ - .5623466695665 x711 * x879 + .5499405370095 x711 * x927 ] = 0 e1371: x376 - 78.54163 x712 + [ - .5623466695665 x712 * x880 + .5499405370095 x712 * x928 ] = 0 e1372: x377 - 78.54163 x713 + [ - .5623466695665 x713 * x881 + .5499405370095 x713 * x929 ] = 0 e1373: x378 - 78.54163 x714 + [ - .5623466695665 x714 * x882 + .5499405370095 x714 * x930 ] = 0 e1374: x379 - 78.54163 x715 + [ - .5623466695665 x715 * x883 + .5499405370095 x715 * x931 ] = 0 e1375: x380 - 78.54163 x716 + [ - .5623466695665 x716 * x884 + .5499405370095 x716 * x932 ] = 0 e1376: x381 - 78.54163 x717 + [ - .5623466695665 x717 * x885 + .5499405370095 x717 * x933 ] = 0 e1377: x382 - 78.54163 x718 + [ - .5623466695665 x718 * x886 + .5499405370095 x718 * x934 ] = 0 e1378: x383 - 78.54163 x719 + [ - .5623466695665 x719 * x887 + .5499405370095 x719 * x935 ] = 0 e1379: x384 - 78.54163 x720 + [ - .5623466695665 x720 * x888 + .5499405370095 x720 * x936 ] = 0 e1380: x385 - 989.1982 x721 + [ - 1.0195418832074 x721 * x889 + .4602295096966 x721 * x913 ] = 0 e1381: x386 - 989.1982 x722 + [ - 1.0195418832074 x722 * x890 + .4602295096966 x722 * x914 ] = 0 e1382: x387 - 989.1982 x723 + [ - 1.0195418832074 x723 * x891 + .4602295096966 x723 * x915 ] = 0 e1383: x388 - 989.1982 x724 + [ - 1.0195418832074 x724 * x892 + .4602295096966 x724 * x916 ] = 0 e1384: x389 - 989.1982 x725 + [ - 1.0195418832074 x725 * x893 + .4602295096966 x725 * x917 ] = 0 e1385: x390 - 989.1982 x726 + [ - 1.0195418832074 x726 * x894 + .4602295096966 x726 * x918 ] = 0 e1386: x391 - 989.1982 x727 + [ - 1.0195418832074 x727 * x895 + .4602295096966 x727 * x919 ] = 0 e1387: x392 - 989.1982 x728 + [ - 1.0195418832074 x728 * x896 + .4602295096966 x728 * x920 ] = 0 e1388: x393 - 989.1982 x729 + [ - 1.0195418832074 x729 * x897 + .4602295096966 x729 * x921 ] = 0 e1389: x394 - 989.1982 x730 + [ - 1.0195418832074 x730 * x898 + .4602295096966 x730 * x922 ] = 0 e1390: x395 - 989.1982 x731 + [ - 1.0195418832074 x731 * x899 + .4602295096966 x731 * x923 ] = 0 e1391: x396 - 989.1982 x732 + [ - 1.0195418832074 x732 * x900 + .4602295096966 x732 * x924 ] = 0 e1392: x397 - 989.1982 x733 + [ - 1.0195418832074 x733 * x901 + .4602295096966 x733 * x925 ] = 0 e1393: x398 - 989.1982 x734 + [ - 1.0195418832074 x734 * x902 + .4602295096966 x734 * x926 ] = 0 e1394: x399 - 989.1982 x735 + [ - 1.0195418832074 x735 * x903 + .4602295096966 x735 * x927 ] = 0 e1395: x400 - 989.1982 x736 + [ - 1.0195418832074 x736 * x904 + .4602295096966 x736 * x928 ] = 0 e1396: x401 - 989.1982 x737 + [ - 1.0195418832074 x737 * x905 + .4602295096966 x737 * x929 ] = 0 e1397: x402 - 989.1982 x738 + [ - 1.0195418832074 x738 * x906 + .4602295096966 x738 * x930 ] = 0 e1398: x403 - 989.1982 x739 + [ - 1.0195418832074 x739 * x907 + .4602295096966 x739 * x931 ] = 0 e1399: x404 - 989.1982 x740 + [ - 1.0195418832074 x740 * x908 + .4602295096966 x740 * x932 ] = 0 e1400: x405 - 989.1982 x741 + [ - 1.0195418832074 x741 * x909 + .4602295096966 x741 * x933 ] = 0 e1401: x406 - 989.1982 x742 + [ - 1.0195418832074 x742 * x910 + .4602295096966 x742 * x934 ] = 0 e1402: x407 - 989.1982 x743 + [ - 1.0195418832074 x743 * x911 + .4602295096966 x743 * x935 ] = 0 e1403: x408 - 989.1982 x744 + [ - 1.0195418832074 x744 * x912 + .4602295096966 x744 * x936 ] = 0 e1404: x409 - 67.34698 x745 + [ - .5742413664547 x745 * x913 + .6264451520993 x745 * x937 ] = 0 e1405: x410 - 67.34698 x746 + [ - .5742413664547 x746 * x914 + .6264451520993 x746 * x938 ] = 0 e1406: x411 - 67.34698 x747 + [ - .5742413664547 x747 * x915 + .6264451520993 x747 * x939 ] = 0 e1407: x412 - 67.34698 x748 + [ - .5742413664547 x748 * x916 + .6264451520993 x748 * x940 ] = 0 e1408: x413 - 67.34698 x749 + [ - .5742413664547 x749 * x917 + .6264451520993 x749 * x941 ] = 0 e1409: x414 - 67.34698 x750 + [ - .5742413664547 x750 * x918 + .6264451520993 x750 * x942 ] = 0 e1410: x415 - 67.34698 x751 + [ - .5742413664547 x751 * x919 + .6264451520993 x751 * x943 ] = 0 e1411: x416 - 67.34698 x752 + [ - .5742413664547 x752 * x920 + .6264451520993 x752 * x944 ] = 0 e1412: x417 - 67.34698 x753 + [ - .5742413664547 x753 * x921 + .6264451520993 x753 * x945 ] = 0 e1413: x418 - 67.34698 x754 + [ - .5742413664547 x754 * x922 + .6264451520993 x754 * x946 ] = 0 e1414: x419 - 67.34698 x755 + [ - .5742413664547 x755 * x923 + .6264451520993 x755 * x947 ] = 0 e1415: x420 - 67.34698 x756 + [ - .5742413664547 x756 * x924 + .6264451520993 x756 * x948 ] = 0 e1416: x421 - 67.34698 x757 + [ - .5742413664547 x757 * x925 + .6264451520993 x757 * x949 ] = 0 e1417: x422 - 67.34698 x758 + [ - .5742413664547 x758 * x926 + .6264451520993 x758 * x950 ] = 0 e1418: x423 - 67.34698 x759 + [ - .5742413664547 x759 * x927 + .6264451520993 x759 * x951 ] = 0 e1419: x424 - 67.34698 x760 + [ - .5742413664547 x760 * x928 + .6264451520993 x760 * x952 ] = 0 e1420: x425 - 67.34698 x761 + [ - .5742413664547 x761 * x929 + .6264451520993 x761 * x953 ] = 0 e1421: x426 - 67.34698 x762 + [ - .5742413664547 x762 * x930 + .6264451520993 x762 * x954 ] = 0 e1422: x427 - 67.34698 x763 + [ - .5742413664547 x763 * x931 + .6264451520993 x763 * x955 ] = 0 e1423: x428 - 67.34698 x764 + [ - .5742413664547 x764 * x932 + .6264451520993 x764 * x956 ] = 0 e1424: x429 - 67.34698 x765 + [ - .5742413664547 x765 * x933 + .6264451520993 x765 * x957 ] = 0 e1425: x430 - 67.34698 x766 + [ - .5742413664547 x766 * x934 + .6264451520993 x766 * x958 ] = 0 e1426: x431 - 67.34698 x767 + [ - .5742413664547 x767 * x935 + .6264451520993 x767 * x959 ] = 0 e1427: x432 - 67.34698 x768 + [ - .5742413664547 x768 * x936 + .6264451520993 x768 * x960 ] = 0 e1428: x433 - 82.51898 x769 + [ - .6698483287091 x769 * x937 + .3884080900057 x769 * x985 ] = 0 e1429: x434 - 82.51898 x770 + [ - .6698483287091 x770 * x938 + .3884080900057 x770 * x986 ] = 0 e1430: x435 - 82.51898 x771 + [ - .6698483287091 x771 * x939 + .3884080900057 x771 * x987 ] = 0 e1431: x436 - 82.51898 x772 + [ - .6698483287091 x772 * x940 + .3884080900057 x772 * x988 ] = 0 e1432: x437 - 82.51898 x773 + [ - .6698483287091 x773 * x941 + .3884080900057 x773 * x989 ] = 0 e1433: x438 - 82.51898 x774 + [ - .6698483287091 x774 * x942 + .3884080900057 x774 * x990 ] = 0 e1434: x439 - 82.51898 x775 + [ - .6698483287091 x775 * x943 + .3884080900057 x775 * x991 ] = 0 e1435: x440 - 82.51898 x776 + [ - .6698483287091 x776 * x944 + .3884080900057 x776 * x992 ] = 0 e1436: x441 - 82.51898 x777 + [ - .6698483287091 x777 * x945 + .3884080900057 x777 * x993 ] = 0 e1437: x442 - 82.51898 x778 + [ - .6698483287091 x778 * x946 + .3884080900057 x778 * x994 ] = 0 e1438: x443 - 82.51898 x779 + [ - .6698483287091 x779 * x947 + .3884080900057 x779 * x995 ] = 0 e1439: x444 - 82.51898 x780 + [ - .6698483287091 x780 * x948 + .3884080900057 x780 * x996 ] = 0 e1440: x445 - 82.51898 x781 + [ - .6698483287091 x781 * x949 + .3884080900057 x781 * x997 ] = 0 e1441: x446 - 82.51898 x782 + [ - .6698483287091 x782 * x950 + .3884080900057 x782 * x998 ] = 0 e1442: x447 - 82.51898 x783 + [ - .6698483287091 x783 * x951 + .3884080900057 x783 * x999 ] = 0 e1443: x448 - 82.51898 x784 + [ - .6698483287091 x784 * x952 + .3884080900057 x784 * x1000 ] = 0 e1444: x449 - 82.51898 x785 + [ - .6698483287091 x785 * x953 + .3884080900057 x785 * x1001 ] = 0 e1445: x450 - 82.51898 x786 + [ - .6698483287091 x786 * x954 + .3884080900057 x786 * x1002 ] = 0 e1446: x451 - 82.51898 x787 + [ - .6698483287091 x787 * x955 + .3884080900057 x787 * x1003 ] = 0 e1447: x452 - 82.51898 x788 + [ - .6698483287091 x788 * x956 + .3884080900057 x788 * x1004 ] = 0 e1448: x453 - 82.51898 x789 + [ - .6698483287091 x789 * x957 + .3884080900057 x789 * x1005 ] = 0 e1449: x454 - 82.51898 x790 + [ - .6698483287091 x790 * x958 + .3884080900057 x790 * x1006 ] = 0 e1450: x455 - 82.51898 x791 + [ - .6698483287091 x791 * x959 + .3884080900057 x791 * x1007 ] = 0 e1451: x456 - 82.51898 x792 + [ - .6698483287091 x792 * x960 + .3884080900057 x792 * x1008 ] = 0 e1452: x457 - 96.44253 x793 + [ - .4372222561898 x793 * x961 + .3096143033983 x793 * x985 ] = 0 e1453: x458 - 96.44253 x794 + [ - .4372222561898 x794 * x962 + .3096143033983 x794 * x986 ] = 0 e1454: x459 - 96.44253 x795 + [ - .4372222561898 x795 * x963 + .3096143033983 x795 * x987 ] = 0 e1455: x460 - 96.44253 x796 + [ - .4372222561898 x796 * x964 + .3096143033983 x796 * x988 ] = 0 e1456: x461 - 96.44253 x797 + [ - .4372222561898 x797 * x965 + .3096143033983 x797 * x989 ] = 0 e1457: x462 - 96.44253 x798 + [ - .4372222561898 x798 * x966 + .3096143033983 x798 * x990 ] = 0 e1458: x463 - 96.44253 x799 + [ - .4372222561898 x799 * x967 + .3096143033983 x799 * x991 ] = 0 e1459: x464 - 96.44253 x800 + [ - .4372222561898 x800 * x968 + .3096143033983 x800 * x992 ] = 0 e1460: x465 - 96.44253 x801 + [ - .4372222561898 x801 * x969 + .3096143033983 x801 * x993 ] = 0 e1461: x466 - 96.44253 x802 + [ - .4372222561898 x802 * x970 + .3096143033983 x802 * x994 ] = 0 e1462: x467 - 96.44253 x803 + [ - .4372222561898 x803 * x971 + .3096143033983 x803 * x995 ] = 0 e1463: x468 - 96.44253 x804 + [ - .4372222561898 x804 * x972 + .3096143033983 x804 * x996 ] = 0 e1464: x469 - 96.44253 x805 + [ - .4372222561898 x805 * x973 + .3096143033983 x805 * x997 ] = 0 e1465: x470 - 96.44253 x806 + [ - .4372222561898 x806 * x974 + .3096143033983 x806 * x998 ] = 0 e1466: x471 - 96.44253 x807 + [ - .4372222561898 x807 * x975 + .3096143033983 x807 * x999 ] = 0 e1467: x472 - 96.44253 x808 + [ - .4372222561898 x808 * x976 + .3096143033983 x808 * x1000 ] = 0 e1468: x473 - 96.44253 x809 + [ - .4372222561898 x809 * x977 + .3096143033983 x809 * x1001 ] = 0 e1469: x474 - 96.44253 x810 + [ - .4372222561898 x810 * x978 + .3096143033983 x810 * x1002 ] = 0 e1470: x475 - 96.44253 x811 + [ - .4372222561898 x811 * x979 + .3096143033983 x811 * x1003 ] = 0 e1471: x476 - 96.44253 x812 + [ - .4372222561898 x812 * x980 + .3096143033983 x812 * x1004 ] = 0 e1472: x477 - 96.44253 x813 + [ - .4372222561898 x813 * x981 + .3096143033983 x813 * x1005 ] = 0 e1473: x478 - 96.44253 x814 + [ - .4372222561898 x814 * x982 + .3096143033983 x814 * x1006 ] = 0 e1474: x479 - 96.44253 x815 + [ - .4372222561898 x815 * x983 + .3096143033983 x815 * x1007 ] = 0 e1475: x480 - 96.44253 x816 + [ - .4372222561898 x816 * x984 + .3096143033983 x816 * x1008 ] = 0 e1476: x481 - 22.86819 x817 + [ - .3293431260086 x817 * x985 ] = 0 e1477: x482 - 22.86819 x818 + [ - .3293431260086 x818 * x986 ] = 0 e1478: x483 - 22.86819 x819 + [ - .3293431260086 x819 * x987 ] = 0 e1479: x484 - 22.86819 x820 + [ - .3293431260086 x820 * x988 ] = 0 e1480: x485 - 22.86819 x821 + [ - .3293431260086 x821 * x989 ] = 0 e1481: x486 - 22.86819 x822 + [ - .3293431260086 x822 * x990 ] = 0 e1482: x487 - 22.86819 x823 + [ - .3293431260086 x823 * x991 ] = 0 e1483: x488 - 22.86819 x824 + [ - .3293431260086 x824 * x992 ] = 0 e1484: x489 - 22.86819 x825 + [ - .3293431260086 x825 * x993 ] = 0 e1485: x490 - 22.86819 x826 + [ - .3293431260086 x826 * x994 ] = 0 e1486: x491 - 22.86819 x827 + [ - .3293431260086 x827 * x995 ] = 0 e1487: x492 - 22.86819 x828 + [ - .3293431260086 x828 * x996 ] = 0 e1488: x493 - 22.86819 x829 + [ - .3293431260086 x829 * x997 ] = 0 e1489: x494 - 22.86819 x830 + [ - .3293431260086 x830 * x998 ] = 0 e1490: x495 - 22.86819 x831 + [ - .3293431260086 x831 * x999 ] = 0 e1491: x496 - 22.86819 x832 + [ - .3293431260086 x832 * x1000 ] = 0 e1492: x497 - 22.86819 x833 + [ - .3293431260086 x833 * x1001 ] = 0 e1493: x498 - 22.86819 x834 + [ - .3293431260086 x834 * x1002 ] = 0 e1494: x499 - 22.86819 x835 + [ - .3293431260086 x835 * x1003 ] = 0 e1495: x500 - 22.86819 x836 + [ - .3293431260086 x836 * x1004 ] = 0 e1496: x501 - 22.86819 x837 + [ - .3293431260086 x837 * x1005 ] = 0 e1497: x502 - 22.86819 x838 + [ - .3293431260086 x838 * x1006 ] = 0 e1498: x503 - 22.86819 x839 + [ - .3293431260086 x839 * x1007 ] = 0 e1499: x504 - 22.86819 x840 + [ - .3293431260086 x840 * x1008 ] = 0 Bounds x337 <= 188.08 x338 <= 188.08 x339 <= 188.08 x340 <= 188.08 x341 <= 188.08 x342 <= 188.08 x343 <= 188.08 x344 <= 188.08 x345 <= 188.08 x346 <= 188.08 x347 <= 188.08 x348 <= 188.08 x349 <= 188.08 x350 <= 188.08 x351 <= 188.08 x352 <= 188.08 x353 <= 188.08 x354 <= 188.08 x355 <= 188.08 x356 <= 188.08 x357 <= 188.08 x358 <= 188.08 x359 <= 188.08 x360 <= 188.08 x361 <= 237.14 x362 <= 237.14 x363 <= 237.14 x364 <= 237.14 x365 <= 237.14 x366 <= 237.14 x367 <= 237.14 x368 <= 237.14 x369 <= 237.14 x370 <= 237.14 x371 <= 237.14 x372 <= 237.14 x373 <= 237.14 x374 <= 237.14 x375 <= 237.14 x376 <= 237.14 x377 <= 237.14 x378 <= 237.14 x379 <= 237.14 x380 <= 237.14 x381 <= 237.14 x382 <= 237.14 x383 <= 237.14 x384 <= 237.14 x385 <= 60 x386 <= 60 x387 <= 60 x388 <= 60 x389 <= 60 x390 <= 60 x391 <= 60 x392 <= 60 x393 <= 60 x394 <= 60 x395 <= 60 x396 <= 60 x397 <= 60 x398 <= 60 x399 <= 60 x400 <= 60 x401 <= 60 x402 <= 60 x403 <= 60 x404 <= 60 x405 <= 60 x406 <= 60 x407 <= 60 x408 <= 60 x409 <= 185.99 x410 <= 185.99 x411 <= 185.99 x412 <= 185.99 x413 <= 185.99 x414 <= 185.99 x415 <= 185.99 x416 <= 185.99 x417 <= 185.99 x418 <= 185.99 x419 <= 185.99 x420 <= 185.99 x421 <= 185.99 x422 <= 185.99 x423 <= 185.99 x424 <= 185.99 x425 <= 185.99 x426 <= 185.99 x427 <= 185.99 x428 <= 185.99 x429 <= 185.99 x430 <= 185.99 x431 <= 185.99 x432 <= 185.99 x433 <= 201.02 x434 <= 201.02 x435 <= 201.02 x436 <= 201.02 x437 <= 201.02 x438 <= 201.02 x439 <= 201.02 x440 <= 201.02 x441 <= 201.02 x442 <= 201.02 x443 <= 201.02 x444 <= 201.02 x445 <= 201.02 x446 <= 201.02 x447 <= 201.02 x448 <= 201.02 x449 <= 201.02 x450 <= 201.02 x451 <= 201.02 x452 <= 201.02 x453 <= 201.02 x454 <= 201.02 x455 <= 201.02 x456 <= 201.02 x457 <= 134.02 x458 <= 134.02 x459 <= 134.02 x460 <= 134.02 x461 <= 134.02 x462 <= 134.02 x463 <= 134.02 x464 <= 134.02 x465 <= 134.02 x466 <= 134.02 x467 <= 134.02 x468 <= 134.02 x469 <= 134.02 x470 <= 134.02 x471 <= 134.02 x472 <= 134.02 x473 <= 134.02 x474 <= 134.02 x475 <= 134.02 x476 <= 134.02 x477 <= 134.02 x478 <= 134.02 x479 <= 134.02 x480 <= 134.02 x481 <= 117.01 x482 <= 117.01 x483 <= 117.01 x484 <= 117.01 x485 <= 117.01 x486 <= 117.01 x487 <= 117.01 x488 <= 117.01 x489 <= 117.01 x490 <= 117.01 x491 <= 117.01 x492 <= 117.01 x493 <= 117.01 x494 <= 117.01 x495 <= 117.01 x496 <= 117.01 x497 <= 117.01 x498 <= 117.01 x499 <= 117.01 x500 <= 117.01 x501 <= 117.01 x502 <= 117.01 x503 <= 117.01 x504 <= 117.01 x673 <= 4.1202 x674 <= 4.1202 x675 <= 4.1202 x676 <= 4.1202 x677 <= 4.1202 x678 <= 4.1202 x679 <= 4.1202 x680 <= 4.1202 x681 <= 4.1202 x682 <= 4.1202 x683 <= 4.1202 x684 <= 4.1202 x685 <= 4.1202 x686 <= 4.1202 x687 <= 4.1202 x688 <= 4.1202 x689 <= 4.1202 x690 <= 4.1202 x691 <= 4.1202 x692 <= 4.1202 x693 <= 4.1202 x694 <= 4.1202 x695 <= 4.1202 x696 <= 4.1202 x697 <= 3.888 x698 <= 3.888 x699 <= 3.888 x700 <= 3.888 x701 <= 3.888 x702 <= 3.888 x703 <= 3.888 x704 <= 3.888 x705 <= 3.888 x706 <= 3.888 x707 <= 3.888 x708 <= 3.888 x709 <= 3.888 x710 <= 3.888 x711 <= 3.888 x712 <= 3.888 x713 <= 3.888 x714 <= 3.888 x715 <= 3.888 x716 <= 3.888 x717 <= 3.888 x718 <= 3.888 x719 <= 3.888 x720 <= 3.888 x721 <= 5.904e-2 x722 <= 5.904e-2 x723 <= 5.904e-2 x724 <= 5.904e-2 x725 <= 5.904e-2 x726 <= 5.904e-2 x727 <= 5.904e-2 x728 <= 5.904e-2 x729 <= 5.904e-2 x730 <= 5.904e-2 x731 <= 5.904e-2 x732 <= 5.904e-2 x733 <= 5.904e-2 x734 <= 5.904e-2 x735 <= 5.904e-2 x736 <= 5.904e-2 x737 <= 5.904e-2 x738 <= 5.904e-2 x739 <= 5.904e-2 x740 <= 5.904e-2 x741 <= 5.904e-2 x742 <= 5.904e-2 x743 <= 5.904e-2 x744 <= 5.904e-2 x745 <= 3.24 x746 <= 3.24 x747 <= 3.24 x748 <= 3.24 x749 <= 3.24 x750 <= 3.24 x751 <= 3.24 x752 <= 3.24 x753 <= 3.24 x754 <= 3.24 x755 <= 3.24 x756 <= 3.24 x757 <= 3.24 x758 <= 3.24 x759 <= 3.24 x760 <= 3.24 x761 <= 3.24 x762 <= 3.24 x763 <= 3.24 x764 <= 3.24 x765 <= 3.24 x766 <= 3.24 x767 <= 3.24 x768 <= 3.24 x769 <= 3.172716 x770 <= 3.172716 x771 <= 3.172716 x772 <= 3.172716 x773 <= 3.172716 x774 <= 3.172716 x775 <= 3.172716 x776 <= 3.172716 x777 <= 3.172716 x778 <= 3.172716 x779 <= 3.172716 x780 <= 3.172716 x781 <= 3.172716 x782 <= 3.172716 x783 <= 3.172716 x784 <= 3.172716 x785 <= 3.172716 x786 <= 3.172716 x787 <= 3.172716 x788 <= 3.172716 x789 <= 3.172716 x790 <= 3.172716 x791 <= 3.172716 x792 <= 3.172716 x793 <= 1.174824 x794 <= 1.174824 x795 <= 1.174824 x796 <= 1.174824 x797 <= 1.174824 x798 <= 1.174824 x799 <= 1.174824 x800 <= 1.174824 x801 <= 1.174824 x802 <= 1.174824 x803 <= 1.174824 x804 <= 1.174824 x805 <= 1.174824 x806 <= 1.174824 x807 <= 1.174824 x808 <= 1.174824 x809 <= 1.174824 x810 <= 1.174824 x811 <= 1.174824 x812 <= 1.174824 x813 <= 1.174824 x814 <= 1.174824 x815 <= 1.174824 x816 <= 1.174824 x817 <= 4.883436 x818 <= 4.883436 x819 <= 4.883436 x820 <= 4.883436 x821 <= 4.883436 x822 <= 4.883436 x823 <= 4.883436 x824 <= 4.883436 x825 <= 4.883436 x826 <= 4.883436 x827 <= 4.883436 x828 <= 4.883436 x829 <= 4.883436 x830 <= 4.883436 x831 <= 4.883436 x832 <= 4.883436 x833 <= 4.883436 x834 <= 4.883436 x835 <= 4.883436 x836 <= 4.883436 x837 <= 4.883436 x838 <= 4.883436 x839 <= 4.883436 x840 <= 4.883436 5.18 <= x841 <= 12.94 5.18 <= x842 <= 12.94 5.18 <= x843 <= 12.94 5.18 <= x844 <= 12.94 5.18 <= x845 <= 12.94 5.18 <= x846 <= 12.94 5.18 <= x847 <= 12.94 5.18 <= x848 <= 12.94 5.18 <= x849 <= 12.94 5.18 <= x850 <= 12.94 5.18 <= x851 <= 12.94 5.18 <= x852 <= 12.94 5.18 <= x853 <= 12.94 5.18 <= x854 <= 12.94 5.18 <= x855 <= 12.94 5.18 <= x856 <= 12.94 5.18 <= x857 <= 12.94 5.18 <= x858 <= 12.94 5.18 <= x859 <= 12.94 5.18 <= x860 <= 12.94 5.18 <= x861 <= 12.94 5.18 <= x862 <= 12.94 5.18 <= x863 <= 12.94 x864 = 10.35 5.32 <= x865 <= 13.3 5.32 <= x866 <= 13.3 5.32 <= x867 <= 13.3 5.32 <= x868 <= 13.3 5.32 <= x869 <= 13.3 5.32 <= x870 <= 13.3 5.32 <= x871 <= 13.3 5.32 <= x872 <= 13.3 5.32 <= x873 <= 13.3 5.32 <= x874 <= 13.3 5.32 <= x875 <= 13.3 5.32 <= x876 <= 13.3 5.32 <= x877 <= 13.3 5.32 <= x878 <= 13.3 5.32 <= x879 <= 13.3 5.32 <= x880 <= 13.3 5.32 <= x881 <= 13.3 5.32 <= x882 <= 13.3 5.32 <= x883 <= 13.3 5.32 <= x884 <= 13.3 5.32 <= x885 <= 13.3 5.32 <= x886 <= 13.3 5.32 <= x887 <= 13.3 x888 = 10.64 39 <= x889 <= 97.5 39 <= x890 <= 97.5 39 <= x891 <= 97.5 39 <= x892 <= 97.5 39 <= x893 <= 97.5 39 <= x894 <= 97.5 39 <= x895 <= 97.5 39 <= x896 <= 97.5 39 <= x897 <= 97.5 39 <= x898 <= 97.5 39 <= x899 <= 97.5 39 <= x900 <= 97.5 39 <= x901 <= 97.5 39 <= x902 <= 97.5 39 <= x903 <= 97.5 39 <= x904 <= 97.5 39 <= x905 <= 97.5 39 <= x906 <= 97.5 39 <= x907 <= 97.5 39 <= x908 <= 97.5 39 <= x909 <= 97.5 39 <= x910 <= 97.5 39 <= x911 <= 97.5 x912 = 78 4.8 <= x913 <= 12 4.8 <= x914 <= 12 4.8 <= x915 <= 12 4.8 <= x916 <= 12 4.8 <= x917 <= 12 4.8 <= x918 <= 12 4.8 <= x919 <= 12 4.8 <= x920 <= 12 4.8 <= x921 <= 12 4.8 <= x922 <= 12 4.8 <= x923 <= 12 4.8 <= x924 <= 12 4.8 <= x925 <= 12 4.8 <= x926 <= 12 4.8 <= x927 <= 12 4.8 <= x928 <= 12 4.8 <= x929 <= 12 4.8 <= x930 <= 12 4.8 <= x931 <= 12 4.8 <= x932 <= 12 4.8 <= x933 <= 12 4.8 <= x934 <= 12 4.8 <= x935 <= 12 x936 = 9.6 4.4 <= x937 <= 11 4.4 <= x938 <= 11 4.4 <= x939 <= 11 4.4 <= x940 <= 11 4.4 <= x941 <= 11 4.4 <= x942 <= 11 4.4 <= x943 <= 11 4.4 <= x944 <= 11 4.4 <= x945 <= 11 4.4 <= x946 <= 11 4.4 <= x947 <= 11 4.4 <= x948 <= 11 4.4 <= x949 <= 11 4.4 <= x950 <= 11 4.4 <= x951 <= 11 4.4 <= x952 <= 11 4.4 <= x953 <= 11 4.4 <= x954 <= 11 4.4 <= x955 <= 11 4.4 <= x956 <= 11 4.4 <= x957 <= 11 4.4 <= x958 <= 11 4.4 <= x959 <= 11 x960 = 8.8 36.89 <= x961 <= 58.38 36.89 <= x962 <= 58.38 36.89 <= x963 <= 58.38 36.89 <= x964 <= 58.38 36.89 <= x965 <= 58.38 36.89 <= x966 <= 58.38 36.89 <= x967 <= 58.38 36.89 <= x968 <= 58.38 36.89 <= x969 <= 58.38 36.89 <= x970 <= 58.38 36.89 <= x971 <= 58.38 36.89 <= x972 <= 58.38 36.89 <= x973 <= 58.38 36.89 <= x974 <= 58.38 36.89 <= x975 <= 58.38 36.89 <= x976 <= 58.38 36.89 <= x977 <= 58.38 36.89 <= x978 <= 58.38 36.89 <= x979 <= 58.38 36.89 <= x980 <= 58.38 36.89 <= x981 <= 58.38 36.89 <= x982 <= 58.38 36.89 <= x983 <= 58.38 x984 = 46.7 8.6 <= x985 <= 21.5 8.6 <= x986 <= 21.5 8.6 <= x987 <= 21.5 8.6 <= x988 <= 21.5 8.6 <= x989 <= 21.5 8.6 <= x990 <= 21.5 8.6 <= x991 <= 21.5 8.6 <= x992 <= 21.5 8.6 <= x993 <= 21.5 8.6 <= x994 <= 21.5 8.6 <= x995 <= 21.5 8.6 <= x996 <= 21.5 8.6 <= x997 <= 21.5 8.6 <= x998 <= 21.5 8.6 <= x999 <= 21.5 8.6 <= x1000 <= 21.5 8.6 <= x1001 <= 21.5 8.6 <= x1002 <= 21.5 8.6 <= x1003 <= 21.5 8.6 <= x1004 <= 21.5 8.6 <= x1005 <= 21.5 8.6 <= x1006 <= 21.5 8.6 <= x1007 <= 21.5 x1008 = 17.2 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 b326 b327 b328 b329 b330 b331 b332 b333 b334 b335 b336 End