\ Equation counts \ Total E G L N X C B \ 2068 96 288 1684 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1008 864 144 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 6118 5542 576 0 \ Minimize obj: 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 b818 + 0 b819 + 0 b820 + 0 b821 + 0 b822 + 0 b823 + 0 b824 + 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 b945 + 0 b946 + 0 b947 + 0 b948 + 0 b949 + 0 b950 + 0 b951 + 0 b952 + 0 b953 + 0 b954 + 0 b955 + 0 b956 + 0 b957 + 0 b958 + 0 b959 + 0 b960 + 0 b961 - x962 - x963 - x964 - x965 - x966 - x967 - x968 - x969 - x970 - x971 - x972 - x973 - x974 - x975 - x976 - x977 - x978 - x979 - x980 - x981 - x982 - x983 - x984 - x985 - x986 - x987 - x988 - x989 - x990 - x991 - x992 - x993 - x994 - x995 - x996 - x997 - x998 - x999 - x1000 - x1001 - x1002 - x1003 - x1004 - x1005 - x1006 - x1007 - x1008 - x1009 Subject To e2: 7e-2 x2 + 7e-2 x50 + 1e-2 x98 - 7.01e-2 x146 + 8.77e-2 x194 + .9572 x674 + 1.4016 x722 + .24556 x770 + .4 b818 + .1 b866 + .1 b914 + x962 = 0 e3: 7e-2 x3 + 7e-2 x51 + 1e-2 x99 - 7.01e-2 x147 + 8.77e-2 x195 + .9572 x675 + 1.4016 x723 + .24556 x771 + .4 b819 + .1 b867 + .1 b915 + x963 = 0 e4: 7e-2 x4 + 7e-2 x52 + 1e-2 x100 - 7.01e-2 x148 + 8.77e-2 x196 + .9572 x676 + 1.4016 x724 + .24556 x772 + .4 b820 + .1 b868 + .1 b916 + x964 = 0 e5: 7e-2 x5 + 7e-2 x53 + 1e-2 x101 - 7.01e-2 x149 + 8.77e-2 x197 + .9572 x677 + 1.4016 x725 + .24556 x773 + .4 b821 + .1 b869 + .1 b917 + x965 = 0 e6: 7e-2 x6 + 7e-2 x54 + 1e-2 x102 - 7.01e-2 x150 + 8.77e-2 x198 + .9572 x678 + 1.4016 x726 + .24556 x774 + .4 b822 + .1 b870 + .1 b918 + x966 = 0 e7: 7e-2 x7 + 7e-2 x55 + 1e-2 x103 - 7.01e-2 x151 + 8.77e-2 x199 + .9572 x679 + 1.4016 x727 + .24556 x775 + .4 b823 + .1 b871 + .1 b919 + x967 = 0 e8: 7e-2 x8 + 7e-2 x56 + 1e-2 x104 - 7.01e-2 x152 + 8.77e-2 x200 + .9572 x680 + 1.4016 x728 + .24556 x776 + .4 b824 + .1 b872 + .1 b920 + x968 = 0 e9: 7e-2 x9 + 7e-2 x57 + 1e-2 x105 - 9.26e-2 x153 + .1157 x201 + .9572 x681 + 1.4016 x729 + .32396 x777 + .4 b825 + .1 b873 + .1 b921 + x969 = 0 e10: 7e-2 x10 + 7e-2 x58 + 1e-2 x106 - .1262 x154 + .1577 x202 + .9572 x682 + 1.4016 x730 + .44156 x778 + .4 b826 + .1 b874 + .1 b922 + x970 = 0 e11: 7e-2 x11 + 7e-2 x59 + 1e-2 x107 - .1262 x155 + .1577 x203 + .9572 x683 + 1.4016 x731 + .44156 x779 + .4 b827 + .1 b875 + .1 b923 + x971 = 0 e12: 7e-2 x12 + 7e-2 x60 + 1e-2 x108 - .1262 x156 + .1577 x204 + .9572 x684 + 1.4016 x732 + .44156 x780 + .4 b828 + .1 b876 + .1 b924 + x972 = 0 e13: 7e-2 x13 + 7e-2 x61 + 1e-2 x109 - .1262 x157 + .1577 x205 + .9572 x685 + 1.4016 x733 + .44156 x781 + .4 b829 + .1 b877 + .1 b925 + x973 = 0 e14: 7e-2 x14 + 7e-2 x62 + 1e-2 x110 - .1262 x158 + .1577 x206 + .9572 x686 + 1.4016 x734 + .44156 x782 + .4 b830 + .1 b878 + .1 b926 + x974 = 0 e15: 7e-2 x15 + 7e-2 x63 + 1e-2 x111 - .1262 x159 + .1577 x207 + .9572 x687 + 1.4016 x735 + .44156 x783 + .4 b831 + .1 b879 + .1 b927 + x975 = 0 e16: 7e-2 x16 + 7e-2 x64 + 1e-2 x112 - .1262 x160 + .1577 x208 + .9572 x688 + 1.4016 x736 + .44156 x784 + .4 b832 + .1 b880 + .1 b928 + x976 = 0 e17: 7e-2 x17 + 7e-2 x65 + 1e-2 x113 - .1262 x161 + .1577 x209 + .9572 x689 + 1.4016 x737 + .44156 x785 + .4 b833 + .1 b881 + .1 b929 + x977 = 0 e18: 7e-2 x18 + 7e-2 x66 + 1e-2 x114 - .1262 x162 + .1577 x210 + .9572 x690 + 1.4016 x738 + .44156 x786 + .4 b834 + .1 b882 + .1 b930 + x978 = 0 e19: 7e-2 x19 + 7e-2 x67 + 1e-2 x115 - .1262 x163 + .1577 x211 + .9572 x691 + 1.4016 x739 + .44156 x787 + .4 b835 + .1 b883 + .1 b931 + x979 = 0 e20: 7e-2 x20 + 7e-2 x68 + 1e-2 x116 - .1262 x164 + .1577 x212 + .9572 x692 + 1.4016 x740 + .44156 x788 + .4 b836 + .1 b884 + .1 b932 + x980 = 0 e21: 7e-2 x21 + 7e-2 x69 + 1e-2 x117 - 9.26e-2 x165 + .1157 x213 + .9572 x693 + 1.4016 x741 + .32396 x789 + .4 b837 + .1 b885 + .1 b933 + x981 = 0 e22: 7e-2 x22 + 7e-2 x70 + 1e-2 x118 - 9.26e-2 x166 + .1157 x214 + .9572 x694 + 1.4016 x742 + .32396 x790 + .4 b838 + .1 b886 + .1 b934 + x982 = 0 e23: 7e-2 x23 + 7e-2 x71 + 1e-2 x119 - 9.26e-2 x167 + .1157 x215 + .9572 x695 + 1.4016 x743 + .32396 x791 + .4 b839 + .1 b887 + .1 b935 + x983 = 0 e24: 7e-2 x24 + 7e-2 x72 + 1e-2 x120 - 9.26e-2 x168 + .1157 x216 + .9572 x696 + 1.4016 x744 + .32396 x792 + .4 b840 + .1 b888 + .1 b936 + x984 = 0 e25: 7e-2 x25 + 7e-2 x73 + 1e-2 x121 - 7.01e-2 x169 + 8.77e-2 x217 + .9572 x697 + 1.4016 x745 + .24556 x793 + .4 b841 + .1 b889 + .1 b937 + x985 = 0 e26: 7e-2 x26 + 7e-2 x74 + 1e-2 x122 - 8.01e-2 x170 + 9.77e-2 x218 + .9572 x698 + 1.4016 x746 + .27356 x794 + .4 b842 + .1 b890 + .1 b938 + x986 = 0 e27: 7e-2 x27 + 7e-2 x75 + 1e-2 x123 - 8.01e-2 x171 + 9.77e-2 x219 + .9572 x699 + 1.4016 x747 + .27356 x795 + .4 b843 + .1 b891 + .1 b939 + x987 = 0 e28: 7e-2 x28 + 7e-2 x76 + 1e-2 x124 - 8.01e-2 x172 + 9.77e-2 x220 + .9572 x700 + 1.4016 x748 + .27356 x796 + .4 b844 + .1 b892 + .1 b940 + x988 = 0 e29: 7e-2 x29 + 7e-2 x77 + 1e-2 x125 - 8.01e-2 x173 + 9.77e-2 x221 + .9572 x701 + 1.4016 x749 + .27356 x797 + .4 b845 + .1 b893 + .1 b941 + x989 = 0 e30: 7e-2 x30 + 7e-2 x78 + 1e-2 x126 - 8.01e-2 x174 + 9.77e-2 x222 + .9572 x702 + 1.4016 x750 + .27356 x798 + .4 b846 + .1 b894 + .1 b942 + x990 = 0 e31: 7e-2 x31 + 7e-2 x79 + 1e-2 x127 - 8.01e-2 x175 + 9.77e-2 x223 + .9572 x703 + 1.4016 x751 + .27356 x799 + .4 b847 + .1 b895 + .1 b943 + x991 = 0 e32: 7e-2 x32 + 7e-2 x80 + 1e-2 x128 - 8.01e-2 x176 + 9.77e-2 x224 + .9572 x704 + 1.4016 x752 + .27356 x800 + .4 b848 + .1 b896 + .1 b944 + x992 = 0 e33: 7e-2 x33 + 7e-2 x81 + 1e-2 x129 - 9.26e-2 x177 + .1957 x225 + .9572 x705 + 1.4016 x753 + .54796 x801 + .4 b849 + .1 b897 + .1 b945 + x993 = 0 e34: 7e-2 x34 + 7e-2 x82 + 1e-2 x130 - .1262 x178 + .1577 x226 + .9572 x706 + 1.4016 x754 + .44156 x802 + .4 b850 + .1 b898 + .1 b946 + x994 = 0 e35: 7e-2 x35 + 7e-2 x83 + 1e-2 x131 - .1262 x179 + .1577 x227 + .9572 x707 + 1.4016 x755 + .44156 x803 + .4 b851 + .1 b899 + .1 b947 + x995 = 0 e36: 7e-2 x36 + 7e-2 x84 + 1e-2 x132 - .1262 x180 + .1577 x228 + .9572 x708 + 1.4016 x756 + .44156 x804 + .4 b852 + .1 b900 + .1 b948 + x996 = 0 e37: 7e-2 x37 + 7e-2 x85 + 1e-2 x133 - .1362 x181 + .1677 x229 + .9572 x709 + 1.4016 x757 + .46956 x805 + .4 b853 + .1 b901 + .1 b949 + x997 = 0 e38: 7e-2 x38 + 7e-2 x86 + 1e-2 x134 - .1362 x182 + .1677 x230 + .9572 x710 + 1.4016 x758 + .46956 x806 + .4 b854 + .1 b902 + .1 b950 + x998 = 0 e39: 7e-2 x39 + 7e-2 x87 + 1e-2 x135 - .1462 x183 + .1677 x231 + .9572 x711 + 1.4016 x759 + .46956 x807 + .4 b855 + .1 b903 + .1 b951 + x999 = 0 e40: 7e-2 x40 + 7e-2 x88 + 1e-2 x136 - .1362 x184 + .1577 x232 + .9572 x712 + 1.4016 x760 + .44156 x808 + .4 b856 + .1 b904 + .1 b952 + x1000 = 0 e41: 7e-2 x41 + 7e-2 x89 + 1e-2 x137 - .1362 x185 + .1577 x233 + .9572 x713 + 1.4016 x761 + .44156 x809 + .4 b857 + .1 b905 + .1 b953 + x1001 = 0 e42: 7e-2 x42 + 7e-2 x90 + 1e-2 x138 - .1262 x186 + .1577 x234 + .9572 x714 + 1.4016 x762 + .44156 x810 + .4 b858 + .1 b906 + .1 b954 + x1002 = 0 e43: 7e-2 x43 + 7e-2 x91 + 1e-2 x139 - .1262 x187 + .1577 x235 + .9572 x715 + 1.4016 x763 + .44156 x811 + .4 b859 + .1 b907 + .1 b955 + x1003 = 0 e44: 7e-2 x44 + 7e-2 x92 + 1e-2 x140 - .1262 x188 + .1577 x236 + .9572 x716 + 1.4016 x764 + .44156 x812 + .4 b860 + .1 b908 + .1 b956 + x1004 = 0 e45: 7e-2 x45 + 7e-2 x93 + 1e-2 x141 - 9.26e-2 x189 + .1157 x237 + .9572 x717 + 1.4016 x765 + .32396 x813 + .4 b861 + .1 b909 + .1 b957 + x1005 = 0 e46: 7e-2 x46 + 7e-2 x94 + 1e-2 x142 - 9.26e-2 x190 + .1157 x238 + .9572 x718 + 1.4016 x766 + .32396 x814 + .4 b862 + .1 b910 + .1 b958 + x1006 = 0 e47: 7e-2 x47 + 7e-2 x95 + 1e-2 x143 - 9.26e-2 x191 + .1157 x239 + .9572 x719 + 1.4016 x767 + .32396 x815 + .4 b863 + .1 b911 + .1 b959 + x1007 = 0 e48: 7e-2 x48 + 7e-2 x96 + 1e-2 x144 - 9.26e-2 x192 + .1157 x240 + .9572 x720 + 1.4016 x768 + .32396 x816 + .4 b864 + .1 b912 + .1 b960 + x1008 = 0 e49: 7e-2 x49 + 7e-2 x97 + 1e-2 x145 - 8.01e-2 x193 + 8.77e-2 x241 + .9572 x721 + 1.4016 x769 + .24556 x817 + .4 b865 + .1 b913 + .1 b961 + x1009 = 0 e50: - x674 + b818 - b865 <= 0 e51: - x698 - b841 + b842 <= 0 e52: - x722 + b866 - b913 <= 0 e53: - x746 - b889 + b890 <= 0 e54: - x770 + b914 - b961 <= 0 e55: - x794 - b937 + b938 <= 0 e56: - x675 - b818 + b819 <= 0 e57: - x676 - b819 + b820 <= 0 e58: - x677 - b820 + b821 <= 0 e59: - x678 - b821 + b822 <= 0 e60: - x679 - b822 + b823 <= 0 e61: - x680 - b823 + b824 <= 0 e62: - x681 - b824 + b825 <= 0 e63: - x682 - b825 + b826 <= 0 e64: - x683 - b826 + b827 <= 0 e65: - x684 - b827 + b828 <= 0 e66: - x685 - b828 + b829 <= 0 e67: - x686 - b829 + b830 <= 0 e68: - x687 - b830 + b831 <= 0 e69: - x688 - b831 + b832 <= 0 e70: - x689 - b832 + b833 <= 0 e71: - x690 - b833 + b834 <= 0 e72: - x691 - b834 + b835 <= 0 e73: - x692 - b835 + b836 <= 0 e74: - x693 - b836 + b837 <= 0 e75: - x694 - b837 + b838 <= 0 e76: - x695 - b838 + b839 <= 0 e77: - x696 - b839 + b840 <= 0 e78: - x697 - b840 + b841 <= 0 e79: - x699 - b842 + b843 <= 0 e80: - x700 - b843 + b844 <= 0 e81: - x701 - b844 + b845 <= 0 e82: - x702 - b845 + b846 <= 0 e83: - x703 - b846 + b847 <= 0 e84: - x704 - b847 + b848 <= 0 e85: - x705 - b848 + b849 <= 0 e86: - x706 - b849 + b850 <= 0 e87: - x707 - b850 + b851 <= 0 e88: - x708 - b851 + b852 <= 0 e89: - x709 - b852 + b853 <= 0 e90: - x710 - b853 + b854 <= 0 e91: - x711 - b854 + b855 <= 0 e92: - x712 - b855 + b856 <= 0 e93: - x713 - b856 + b857 <= 0 e94: - x714 - b857 + b858 <= 0 e95: - x715 - b858 + b859 <= 0 e96: - x716 - b859 + b860 <= 0 e97: - x717 - b860 + b861 <= 0 e98: - x718 - b861 + b862 <= 0 e99: - x719 - b862 + b863 <= 0 e100: - x720 - b863 + b864 <= 0 e101: - x721 - b864 + b865 <= 0 e102: - x723 - b866 + b867 <= 0 e103: - x724 - b867 + b868 <= 0 e104: - x725 - b868 + b869 <= 0 e105: - x726 - b869 + b870 <= 0 e106: - x727 - b870 + b871 <= 0 e107: - x728 - b871 + b872 <= 0 e108: - x729 - b872 + b873 <= 0 e109: - x730 - b873 + b874 <= 0 e110: - x731 - b874 + b875 <= 0 e111: - x732 - b875 + b876 <= 0 e112: - x733 - b876 + b877 <= 0 e113: - x734 - b877 + b878 <= 0 e114: - x735 - b878 + b879 <= 0 e115: - x736 - b879 + b880 <= 0 e116: - x737 - b880 + b881 <= 0 e117: - x738 - b881 + b882 <= 0 e118: - x739 - b882 + b883 <= 0 e119: - x740 - b883 + b884 <= 0 e120: - x741 - b884 + b885 <= 0 e121: - x742 - b885 + b886 <= 0 e122: - x743 - b886 + b887 <= 0 e123: - x744 - b887 + b888 <= 0 e124: - x745 - b888 + b889 <= 0 e125: - x747 - b890 + b891 <= 0 e126: - x748 - b891 + b892 <= 0 e127: - x749 - b892 + b893 <= 0 e128: - x750 - b893 + b894 <= 0 e129: - x751 - b894 + b895 <= 0 e130: - x752 - b895 + b896 <= 0 e131: - x753 - b896 + b897 <= 0 e132: - x754 - b897 + b898 <= 0 e133: - x755 - b898 + b899 <= 0 e134: - x756 - b899 + b900 <= 0 e135: - x757 - b900 + b901 <= 0 e136: - x758 - b901 + b902 <= 0 e137: - x759 - b902 + b903 <= 0 e138: - x760 - b903 + b904 <= 0 e139: - x761 - b904 + b905 <= 0 e140: - x762 - b905 + b906 <= 0 e141: - x763 - b906 + b907 <= 0 e142: - x764 - b907 + b908 <= 0 e143: - x765 - b908 + b909 <= 0 e144: - x766 - b909 + b910 <= 0 e145: - x767 - b910 + b911 <= 0 e146: - x768 - b911 + b912 <= 0 e147: - x769 - b912 + b913 <= 0 e148: - x771 - b914 + b915 <= 0 e149: - x772 - b915 + b916 <= 0 e150: - x773 - b916 + b917 <= 0 e151: - x774 - b917 + b918 <= 0 e152: - x775 - b918 + b919 <= 0 e153: - x776 - b919 + b920 <= 0 e154: - x777 - b920 + b921 <= 0 e155: - x778 - b921 + b922 <= 0 e156: - x779 - b922 + b923 <= 0 e157: - x780 - b923 + b924 <= 0 e158: - x781 - b924 + b925 <= 0 e159: - x782 - b925 + b926 <= 0 e160: - x783 - b926 + b927 <= 0 e161: - x784 - b927 + b928 <= 0 e162: - x785 - b928 + b929 <= 0 e163: - x786 - b929 + b930 <= 0 e164: - x787 - b930 + b931 <= 0 e165: - x788 - b931 + b932 <= 0 e166: - x789 - b932 + b933 <= 0 e167: - x790 - b933 + b934 <= 0 e168: - x791 - b934 + b935 <= 0 e169: - x792 - b935 + b936 <= 0 e170: - x793 - b936 + b937 <= 0 e171: - x795 - b938 + b939 <= 0 e172: - x796 - b939 + b940 <= 0 e173: - x797 - b940 + b941 <= 0 e174: - x798 - b941 + b942 <= 0 e175: - x799 - b942 + b943 <= 0 e176: - x800 - b943 + b944 <= 0 e177: - x801 - b944 + b945 <= 0 e178: - x802 - b945 + b946 <= 0 e179: - x803 - b946 + b947 <= 0 e180: - x804 - b947 + b948 <= 0 e181: - x805 - b948 + b949 <= 0 e182: - x806 - b949 + b950 <= 0 e183: - x807 - b950 + b951 <= 0 e184: - x808 - b951 + b952 <= 0 e185: - x809 - b952 + b953 <= 0 e186: - x810 - b953 + b954 <= 0 e187: - x811 - b954 + b955 <= 0 e188: - x812 - b955 + b956 <= 0 e189: - x813 - b956 + b957 <= 0 e190: - x814 - b957 + b958 <= 0 e191: - x815 - b958 + b959 <= 0 e192: - x816 - b959 + b960 <= 0 e193: - x817 - b960 + b961 <= 0 e194: x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 + x697 <= 1 e195: x722 + x723 + x724 + x725 + x726 + x727 + x728 + x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 + x737 + x738 + x739 + x740 + x741 + x742 + x743 + x744 + x745 <= 24 e196: x770 + x771 + x772 + x773 + x774 + x775 + x776 + x777 + x778 + x779 + x780 + x781 + x782 + x783 + x784 + x785 + x786 + x787 + x788 + x789 + x790 + x791 + x792 + x793 <= 3 e197: x698 + x699 + x700 + x701 + x702 + x703 + x704 + x705 + x706 + x707 + x708 + x709 + x710 + x711 + x712 + x713 + x714 + x715 + x716 + x717 + x718 + x719 + x720 + x721 <= 1 e198: x746 + x747 + x748 + x749 + x750 + x751 + x752 + x753 + x754 + x755 + x756 + x757 + x758 + x759 + x760 + x761 + x762 + x763 + x764 + x765 + x766 + x767 + x768 + x769 <= 24 e199: x794 + x795 + x796 + x797 + x798 + x799 + x800 + x801 + x802 + x803 + x804 + x805 + x806 + x807 + x808 + x809 + x810 + x811 + x812 + x813 + x814 + x815 + x816 + x817 <= 3 e200: x242 - x265 <= 2.19444 e201: - x242 + x243 <= 2.19444 e202: - x243 + x244 <= 2.19444 e203: - x244 + x245 <= 2.19444 e204: - x245 + x246 <= 2.19444 e205: - x246 + x247 <= 2.19444 e206: - x247 + x248 <= 2.19444 e207: - x248 + x249 <= 2.19444 e208: - x249 + x250 <= 2.19444 e209: - x250 + x251 <= 2.19444 e210: - x251 + x252 <= 2.19444 e211: - x252 + x253 <= 2.19444 e212: - x253 + x254 <= 2.19444 e213: - x254 + x255 <= 2.19444 e214: - x255 + x256 <= 2.19444 e215: - x256 + x257 <= 2.19444 e216: - x257 + x258 <= 2.19444 e217: - x258 + x259 <= 2.19444 e218: - x259 + x260 <= 2.19444 e219: - x260 + x261 <= 2.19444 e220: - x261 + x262 <= 2.19444 e221: - x262 + x263 <= 2.19444 e222: - x263 + x264 <= 2.19444 e223: - x264 + x265 <= 2.19444 e224: x266 - x289 <= 2.19444 e225: - x266 + x267 <= 2.19444 e226: - x267 + x268 <= 2.19444 e227: - x268 + x269 <= 2.19444 e228: - x269 + x270 <= 2.19444 e229: - x270 + x271 <= 2.19444 e230: - x271 + x272 <= 2.19444 e231: - x272 + x273 <= 2.19444 e232: - x273 + x274 <= 2.19444 e233: - x274 + x275 <= 2.19444 e234: - x275 + x276 <= 2.19444 e235: - x276 + x277 <= 2.19444 e236: - x277 + x278 <= 2.19444 e237: - x278 + x279 <= 2.19444 e238: - x279 + x280 <= 2.19444 e239: - x280 + x281 <= 2.19444 e240: - x281 + x282 <= 2.19444 e241: - x282 + x283 <= 2.19444 e242: - x283 + x284 <= 2.19444 e243: - x284 + x285 <= 2.19444 e244: - x285 + x286 <= 2.19444 e245: - x286 + x287 <= 2.19444 e246: - x287 + x288 <= 2.19444 e247: - x288 + x289 <= 2.19444 e248: x242 - x265 >= -2.19444 e249: - x242 + x243 >= -2.19444 e250: - x243 + x244 >= -2.19444 e251: - x244 + x245 >= -2.19444 e252: - x245 + x246 >= -2.19444 e253: - x246 + x247 >= -2.19444 e254: - x247 + x248 >= -2.19444 e255: - x248 + x249 >= -2.19444 e256: - x249 + x250 >= -2.19444 e257: - x250 + x251 >= -2.19444 e258: - x251 + x252 >= -2.19444 e259: - x252 + x253 >= -2.19444 e260: - x253 + x254 >= -2.19444 e261: - x254 + x255 >= -2.19444 e262: - x255 + x256 >= -2.19444 e263: - x256 + x257 >= -2.19444 e264: - x257 + x258 >= -2.19444 e265: - x258 + x259 >= -2.19444 e266: - x259 + x260 >= -2.19444 e267: - x260 + x261 >= -2.19444 e268: - x261 + x262 >= -2.19444 e269: - x262 + x263 >= -2.19444 e270: - x263 + x264 >= -2.19444 e271: - x264 + x265 >= -2.19444 e272: x266 - x289 >= -2.19444 e273: - x266 + x267 >= -2.19444 e274: - x267 + x268 >= -2.19444 e275: - x268 + x269 >= -2.19444 e276: - x269 + x270 >= -2.19444 e277: - x270 + x271 >= -2.19444 e278: - x271 + x272 >= -2.19444 e279: - x272 + x273 >= -2.19444 e280: - x273 + x274 >= -2.19444 e281: - x274 + x275 >= -2.19444 e282: - x275 + x276 >= -2.19444 e283: - x276 + x277 >= -2.19444 e284: - x277 + x278 >= -2.19444 e285: - x278 + x279 >= -2.19444 e286: - x279 + x280 >= -2.19444 e287: - x280 + x281 >= -2.19444 e288: - x281 + x282 >= -2.19444 e289: - x282 + x283 >= -2.19444 e290: - x283 + x284 >= -2.19444 e291: - x284 + x285 >= -2.19444 e292: - x285 + x286 >= -2.19444 e293: - x286 + x287 >= -2.19444 e294: - x287 + x288 >= -2.19444 e295: - x288 + x289 >= -2.19444 e296: x290 - x313 <= 17.448 e297: - x290 + x291 <= 17.448 e298: - x291 + x292 <= 17.448 e299: - x292 + x293 <= 17.448 e300: - x293 + x294 <= 17.448 e301: - x294 + x295 <= 17.448 e302: - x295 + x296 <= 17.448 e303: - x296 + x297 <= 17.448 e304: - x297 + x298 <= 17.448 e305: - x298 + x299 <= 17.448 e306: - x299 + x300 <= 17.448 e307: - x300 + x301 <= 17.448 e308: - x301 + x302 <= 17.448 e309: - x302 + x303 <= 17.448 e310: - x303 + x304 <= 17.448 e311: - x304 + x305 <= 17.448 e312: - x305 + x306 <= 17.448 e313: - x306 + x307 <= 17.448 e314: - x307 + x308 <= 17.448 e315: - x308 + x309 <= 17.448 e316: - x309 + x310 <= 17.448 e317: - x310 + x311 <= 17.448 e318: - x311 + x312 <= 17.448 e319: - x312 + x313 <= 17.448 e320: x314 - x337 <= 17.448 e321: - x314 + x315 <= 17.448 e322: - x315 + x316 <= 17.448 e323: - x316 + x317 <= 17.448 e324: - x317 + x318 <= 17.448 e325: - x318 + x319 <= 17.448 e326: - x319 + x320 <= 17.448 e327: - x320 + x321 <= 17.448 e328: - x321 + x322 <= 17.448 e329: - x322 + x323 <= 17.448 e330: - x323 + x324 <= 17.448 e331: - x324 + x325 <= 17.448 e332: - x325 + x326 <= 17.448 e333: - x326 + x327 <= 17.448 e334: - x327 + x328 <= 17.448 e335: - x328 + x329 <= 17.448 e336: - x329 + x330 <= 17.448 e337: - x330 + x331 <= 17.448 e338: - x331 + x332 <= 17.448 e339: - x332 + x333 <= 17.448 e340: - x333 + x334 <= 17.448 e341: - x334 + x335 <= 17.448 e342: - x335 + x336 <= 17.448 e343: - x336 + x337 <= 17.448 e344: x338 - x361 <= 4.35296 e345: - x338 + x339 <= 4.35296 e346: - x339 + x340 <= 4.35296 e347: - x340 + x341 <= 4.35296 e348: - x341 + x342 <= 4.35296 e349: - x342 + x343 <= 4.35296 e350: - x343 + x344 <= 4.35296 e351: - x344 + x345 <= 4.35296 e352: - x345 + x346 <= 4.35296 e353: - x346 + x347 <= 4.35296 e354: - x347 + x348 <= 4.35296 e355: - x348 + x349 <= 4.35296 e356: - x349 + x350 <= 4.35296 e357: - x350 + x351 <= 4.35296 e358: - x351 + x352 <= 4.35296 e359: - x352 + x353 <= 4.35296 e360: - x353 + x354 <= 4.35296 e361: - x354 + x355 <= 4.35296 e362: - x355 + x356 <= 4.35296 e363: - x356 + x357 <= 4.35296 e364: - x357 + x358 <= 4.35296 e365: - x358 + x359 <= 4.35296 e366: - x359 + x360 <= 4.35296 e367: - x360 + x361 <= 4.35296 e368: x362 - x385 <= 4.35296 e369: - x362 + x363 <= 4.35296 e370: - x363 + x364 <= 4.35296 e371: - x364 + x365 <= 4.35296 e372: - x365 + x366 <= 4.35296 e373: - x366 + x367 <= 4.35296 e374: - x367 + x368 <= 4.35296 e375: - x368 + x369 <= 4.35296 e376: - x369 + x370 <= 4.35296 e377: - x370 + x371 <= 4.35296 e378: - x371 + x372 <= 4.35296 e379: - x372 + x373 <= 4.35296 e380: - x373 + x374 <= 4.35296 e381: - x374 + x375 <= 4.35296 e382: - x375 + x376 <= 4.35296 e383: - x376 + x377 <= 4.35296 e384: - x377 + x378 <= 4.35296 e385: - x378 + x379 <= 4.35296 e386: - x379 + x380 <= 4.35296 e387: - x380 + x381 <= 4.35296 e388: - x381 + x382 <= 4.35296 e389: - x382 + x383 <= 4.35296 e390: - x383 + x384 <= 4.35296 e391: - x384 + x385 <= 4.35296 e392: x290 - x313 >= -17.448 e393: - x290 + x291 >= -17.448 e394: - x291 + x292 >= -17.448 e395: - x292 + x293 >= -17.448 e396: - x293 + x294 >= -17.448 e397: - x294 + x295 >= -17.448 e398: - x295 + x296 >= -17.448 e399: - x296 + x297 >= -17.448 e400: - x297 + x298 >= -17.448 e401: - x298 + x299 >= -17.448 e402: - x299 + x300 >= -17.448 e403: - x300 + x301 >= -17.448 e404: - x301 + x302 >= -17.448 e405: - x302 + x303 >= -17.448 e406: - x303 + x304 >= -17.448 e407: - x304 + x305 >= -17.448 e408: - x305 + x306 >= -17.448 e409: - x306 + x307 >= -17.448 e410: - x307 + x308 >= -17.448 e411: - x308 + x309 >= -17.448 e412: - x309 + x310 >= -17.448 e413: - x310 + x311 >= -17.448 e414: - x311 + x312 >= -17.448 e415: - x312 + x313 >= -17.448 e416: x314 - x337 >= -17.448 e417: - x314 + x315 >= -17.448 e418: - x315 + x316 >= -17.448 e419: - x316 + x317 >= -17.448 e420: - x317 + x318 >= -17.448 e421: - x318 + x319 >= -17.448 e422: - x319 + x320 >= -17.448 e423: - x320 + x321 >= -17.448 e424: - x321 + x322 >= -17.448 e425: - x322 + x323 >= -17.448 e426: - x323 + x324 >= -17.448 e427: - x324 + x325 >= -17.448 e428: - x325 + x326 >= -17.448 e429: - x326 + x327 >= -17.448 e430: - x327 + x328 >= -17.448 e431: - x328 + x329 >= -17.448 e432: - x329 + x330 >= -17.448 e433: - x330 + x331 >= -17.448 e434: - x331 + x332 >= -17.448 e435: - x332 + x333 >= -17.448 e436: - x333 + x334 >= -17.448 e437: - x334 + x335 >= -17.448 e438: - x335 + x336 >= -17.448 e439: - x336 + x337 >= -17.448 e440: x338 - x361 >= -4.35296 e441: - x338 + x339 >= -4.35296 e442: - x339 + x340 >= -4.35296 e443: - x340 + x341 >= -4.35296 e444: - x341 + x342 >= -4.35296 e445: - x342 + x343 >= -4.35296 e446: - x343 + x344 >= -4.35296 e447: - x344 + x345 >= -4.35296 e448: - x345 + x346 >= -4.35296 e449: - x346 + x347 >= -4.35296 e450: - x347 + x348 >= -4.35296 e451: - x348 + x349 >= -4.35296 e452: - x349 + x350 >= -4.35296 e453: - x350 + x351 >= -4.35296 e454: - x351 + x352 >= -4.35296 e455: - x352 + x353 >= -4.35296 e456: - x353 + x354 >= -4.35296 e457: - x354 + x355 >= -4.35296 e458: - x355 + x356 >= -4.35296 e459: - x356 + x357 >= -4.35296 e460: - x357 + x358 >= -4.35296 e461: - x358 + x359 >= -4.35296 e462: - x359 + x360 >= -4.35296 e463: - x360 + x361 >= -4.35296 e464: x362 - x385 >= -4.35296 e465: - x362 + x363 >= -4.35296 e466: - x363 + x364 >= -4.35296 e467: - x364 + x365 >= -4.35296 e468: - x365 + x366 >= -4.35296 e469: - x366 + x367 >= -4.35296 e470: - x367 + x368 >= -4.35296 e471: - x368 + x369 >= -4.35296 e472: - x369 + x370 >= -4.35296 e473: - x370 + x371 >= -4.35296 e474: - x371 + x372 >= -4.35296 e475: - x372 + x373 >= -4.35296 e476: - x373 + x374 >= -4.35296 e477: - x374 + x375 >= -4.35296 e478: - x375 + x376 >= -4.35296 e479: - x376 + x377 >= -4.35296 e480: - x377 + x378 >= -4.35296 e481: - x378 + x379 >= -4.35296 e482: - x379 + x380 >= -4.35296 e483: - x380 + x381 >= -4.35296 e484: - x381 + x382 >= -4.35296 e485: - x382 + x383 >= -4.35296 e486: - x383 + x384 >= -4.35296 e487: - x384 + x385 >= -4.35296 e488: b866 + b867 + b868 + b869 + b870 + b871 + b872 + b873 <= 7 e489: b914 + b915 + b916 + b917 + b918 + b919 + b920 + b921 <= 7 e490: b890 + b891 + b892 + b893 + b894 + b895 + b896 + b897 <= 7 e491: b938 + b939 + b940 + b941 + b942 + b943 + b944 + b945 <= 7 e492: b867 + b868 + b869 + b870 + b871 + b872 + b873 + b874 <= 7 e493: b915 + b916 + b917 + b918 + b919 + b920 + b921 + b922 <= 7 e494: b891 + b892 + b893 + b894 + b895 + b896 + b897 + b898 <= 7 e495: b939 + b940 + b941 + b942 + b943 + b944 + b945 + b946 <= 7 e496: b868 + b869 + b870 + b871 + b872 + b873 + b874 + b875 <= 7 e497: b916 + b917 + b918 + b919 + b920 + b921 + b922 + b923 <= 7 e498: b892 + b893 + b894 + b895 + b896 + b897 + b898 + b899 <= 7 e499: b940 + b941 + b942 + b943 + b944 + b945 + b946 + b947 <= 7 e500: b869 + b870 + b871 + b872 + b873 + b874 + b875 + b876 <= 7 e501: b917 + b918 + b919 + b920 + b921 + b922 + b923 + b924 <= 7 e502: b893 + b894 + b895 + b896 + b897 + b898 + b899 + b900 <= 7 e503: b941 + b942 + b943 + b944 + b945 + b946 + b947 + b948 <= 7 e504: b870 + b871 + b872 + b873 + b874 + b875 + b876 + b877 <= 7 e505: b918 + b919 + b920 + b921 + b922 + b923 + b924 + b925 <= 7 e506: b894 + b895 + b896 + b897 + b898 + b899 + b900 + b901 <= 7 e507: b942 + b943 + b944 + b945 + b946 + b947 + b948 + b949 <= 7 e508: b871 + b872 + b873 + b874 + b875 + b876 + b877 + b878 <= 7 e509: b919 + b920 + b921 + b922 + b923 + b924 + b925 + b926 <= 7 e510: b895 + b896 + b897 + b898 + b899 + b900 + b901 + b902 <= 7 e511: b943 + b944 + b945 + b946 + b947 + b948 + b949 + b950 <= 7 e512: b872 + b873 + b874 + b875 + b876 + b877 + b878 + b879 <= 7 e513: b920 + b921 + b922 + b923 + b924 + b925 + b926 + b927 <= 7 e514: b896 + b897 + b898 + b899 + b900 + b901 + b902 + b903 <= 7 e515: b944 + b945 + b946 + b947 + b948 + b949 + b950 + b951 <= 7 e516: b873 + b874 + b875 + b876 + b877 + b878 + b879 + b880 <= 7 e517: b921 + b922 + b923 + b924 + b925 + b926 + b927 + b928 <= 7 e518: b897 + b898 + b899 + b900 + b901 + b902 + b903 + b904 <= 7 e519: b945 + b946 + b947 + b948 + b949 + b950 + b951 + b952 <= 7 e520: b874 + b875 + b876 + b877 + b878 + b879 + b880 + b881 <= 7 e521: b922 + b923 + b924 + b925 + b926 + b927 + b928 + b929 <= 7 e522: b898 + b899 + b900 + b901 + b902 + b903 + b904 + b905 <= 7 e523: b946 + b947 + b948 + b949 + b950 + b951 + b952 + b953 <= 7 e524: b875 + b876 + b877 + b878 + b879 + b880 + b881 + b882 <= 7 e525: b923 + b924 + b925 + b926 + b927 + b928 + b929 + b930 <= 7 e526: b899 + b900 + b901 + b902 + b903 + b904 + b905 + b906 <= 7 e527: b947 + b948 + b949 + b950 + b951 + b952 + b953 + b954 <= 7 e528: b876 + b877 + b878 + b879 + b880 + b881 + b882 + b883 <= 7 e529: b924 + b925 + b926 + b927 + b928 + b929 + b930 + b931 <= 7 e530: b900 + b901 + b902 + b903 + b904 + b905 + b906 + b907 <= 7 e531: b948 + b949 + b950 + b951 + b952 + b953 + b954 + b955 <= 7 e532: b877 + b878 + b879 + b880 + b881 + b882 + b883 + b884 <= 7 e533: b925 + b926 + b927 + b928 + b929 + b930 + b931 + b932 <= 7 e534: b901 + b902 + b903 + b904 + b905 + b906 + b907 + b908 <= 7 e535: b949 + b950 + b951 + b952 + b953 + b954 + b955 + b956 <= 7 e536: b878 + b879 + b880 + b881 + b882 + b883 + b884 + b885 <= 7 e537: b926 + b927 + b928 + b929 + b930 + b931 + b932 + b933 <= 7 e538: b902 + b903 + b904 + b905 + b906 + b907 + b908 + b909 <= 7 e539: b950 + b951 + b952 + b953 + b954 + b955 + b956 + b957 <= 7 e540: b879 + b880 + b881 + b882 + b883 + b884 + b885 + b886 <= 7 e541: b927 + b928 + b929 + b930 + b931 + b932 + b933 + b934 <= 7 e542: b903 + b904 + b905 + b906 + b907 + b908 + b909 + b910 <= 7 e543: b951 + b952 + b953 + b954 + b955 + b956 + b957 + b958 <= 7 e544: b880 + b881 + b882 + b883 + b884 + b885 + b886 + b887 <= 7 e545: b928 + b929 + b930 + b931 + b932 + b933 + b934 + b935 <= 7 e546: b904 + b905 + b906 + b907 + b908 + b909 + b910 + b911 <= 7 e547: b952 + b953 + b954 + b955 + b956 + b957 + b958 + b959 <= 7 e548: b881 + b882 + b883 + b884 + b885 + b886 + b887 + b888 <= 7 e549: b929 + b930 + b931 + b932 + b933 + b934 + b935 + b936 <= 7 e550: b905 + b906 + b907 + b908 + b909 + b910 + b911 + b912 <= 7 e551: b953 + b954 + b955 + b956 + b957 + b958 + b959 + b960 <= 7 e552: b882 + b883 + b884 + b885 + b886 + b887 + b888 + b889 <= 7 e553: b930 + b931 + b932 + b933 + b934 + b935 + b936 + b937 <= 7 e554: b906 + b907 + b908 + b909 + b910 + b911 + b912 + b913 <= 7 e555: b954 + b955 + b956 + b957 + b958 + b959 + b960 + b961 <= 7 e556: b883 + b884 + b885 + b886 + b887 + b888 + b889 <= 7 e557: b931 + b932 + b933 + b934 + b935 + b936 + b937 <= 7 e558: b907 + b908 + b909 + b910 + b911 + b912 + b913 <= 7 e559: b955 + b956 + b957 + b958 + b959 + b960 + b961 <= 7 e560: b884 + b885 + b886 + b887 + b888 + b889 <= 7 e561: b932 + b933 + b934 + b935 + b936 + b937 <= 7 e562: b908 + b909 + b910 + b911 + b912 + b913 <= 7 e563: b956 + b957 + b958 + b959 + b960 + b961 <= 7 e564: b885 + b886 + b887 + b888 + b889 <= 7 e565: b933 + b934 + b935 + b936 + b937 <= 7 e566: b909 + b910 + b911 + b912 + b913 <= 7 e567: b957 + b958 + b959 + b960 + b961 <= 7 e568: b886 + b887 + b888 + b889 <= 7 e569: b934 + b935 + b936 + b937 <= 7 e570: b910 + b911 + b912 + b913 <= 7 e571: b958 + b959 + b960 + b961 <= 7 e572: b887 + b888 + b889 <= 7 e573: b935 + b936 + b937 <= 7 e574: b911 + b912 + b913 <= 7 e575: b959 + b960 + b961 <= 7 e576: b888 + b889 <= 7 e577: b936 + b937 <= 7 e578: b912 + b913 <= 7 e579: b960 + b961 <= 7 e580: b889 <= 7 e581: b937 <= 7 e582: b913 <= 7 e583: b961 <= 7 e584: x290 + x338 + .9975 x530 - x531 - x626 >= 0 e585: x291 + x339 + .9975 x531 - x532 - x627 >= 0 e586: x292 + x340 + .9975 x532 - x533 - x628 >= 0 e587: x293 + x341 + .9975 x533 - x534 - x629 >= 0 e588: x294 + x342 + .9975 x534 - x535 - x630 >= 0 e589: x295 + x343 + .9975 x535 - x536 - x631 >= 0 e590: x296 + x344 + .9975 x536 - x537 - x632 >= 0 e591: x297 + x345 + .9975 x537 - x538 - x633 >= 0 e592: x298 + x346 + .9975 x538 - x539 - x634 >= 0 e593: x299 + x347 + .9975 x539 - x540 - x635 >= 0 e594: x300 + x348 + .9975 x540 - x541 - x636 >= 0 e595: x301 + x349 + .9975 x541 - x542 - x637 >= 0 e596: x302 + x350 + .9975 x542 - x543 - x638 >= 0 e597: x303 + x351 + .9975 x543 - x544 - x639 >= 0 e598: x304 + x352 + .9975 x544 - x545 - x640 >= 0 e599: x305 + x353 + .9975 x545 - x546 - x641 >= 0 e600: x306 + x354 + .9975 x546 - x547 - x642 >= 0 e601: x307 + x355 + .9975 x547 - x548 - x643 >= 0 e602: x308 + x356 + .9975 x548 - x549 - x644 >= 0 e603: x309 + x357 + .9975 x549 - x550 - x645 >= 0 e604: x310 + x358 + .9975 x550 - x551 - x646 >= 0 e605: x311 + x359 + .9975 x551 - x552 - x647 >= 0 e606: x312 + x360 + .9975 x552 - x553 - x648 >= 0 e607: x314 + x362 + .9975 x554 - x555 - x650 >= 0 e608: x315 + x363 + .9975 x555 - x556 - x651 >= 0 e609: x316 + x364 + .9975 x556 - x557 - x652 >= 0 e610: x317 + x365 + .9975 x557 - x558 - x653 >= 0 e611: x318 + x366 + .9975 x558 - x559 - x654 >= 0 e612: x319 + x367 + .9975 x559 - x560 - x655 >= 0 e613: x320 + x368 + .9975 x560 - x561 - x656 >= 0 e614: x321 + x369 + .9975 x561 - x562 - x657 >= 0 e615: x322 + x370 + .9975 x562 - x563 - x658 >= 0 e616: x323 + x371 + .9975 x563 - x564 - x659 >= 0 e617: x324 + x372 + .9975 x564 - x565 - x660 >= 0 e618: x325 + x373 + .9975 x565 - x566 - x661 >= 0 e619: x326 + x374 + .9975 x566 - x567 - x662 >= 0 e620: x327 + x375 + .9975 x567 - x568 - x663 >= 0 e621: x328 + x376 + .9975 x568 - x569 - x664 >= 0 e622: x329 + x377 + .9975 x569 - x570 - x665 >= 0 e623: x330 + x378 + .9975 x570 - x571 - x666 >= 0 e624: x331 + x379 + .9975 x571 - x572 - x667 >= 0 e625: x332 + x380 + .9975 x572 - x573 - x668 >= 0 e626: x333 + x381 + .9975 x573 - x574 - x669 >= 0 e627: x334 + x382 + .9975 x574 - x575 - x670 >= 0 e628: x335 + x383 + .9975 x575 - x576 - x671 >= 0 e629: x336 + x384 + .9975 x576 - x577 - x672 >= 0 e630: x290 + x338 + .9975 x530 - x531 - x626 <= 0 e631: x291 + x339 + .9975 x531 - x532 - x627 <= 0 e632: x292 + x340 + .9975 x532 - x533 - x628 <= 0 e633: x293 + x341 + .9975 x533 - x534 - x629 <= 0 e634: x294 + x342 + .9975 x534 - x535 - x630 <= 0 e635: x295 + x343 + .9975 x535 - x536 - x631 <= 0 e636: x296 + x344 + .9975 x536 - x537 - x632 <= 0 e637: x297 + x345 + .9975 x537 - x538 - x633 <= 0 e638: x298 + x346 + .9975 x538 - x539 - x634 <= 0 e639: x299 + x347 + .9975 x539 - x540 - x635 <= 0 e640: x300 + x348 + .9975 x540 - x541 - x636 <= 0 e641: x301 + x349 + .9975 x541 - x542 - x637 <= 0 e642: x302 + x350 + .9975 x542 - x543 - x638 <= 0 e643: x303 + x351 + .9975 x543 - x544 - x639 <= 0 e644: x304 + x352 + .9975 x544 - x545 - x640 <= 0 e645: x305 + x353 + .9975 x545 - x546 - x641 <= 0 e646: x306 + x354 + .9975 x546 - x547 - x642 <= 0 e647: x307 + x355 + .9975 x547 - x548 - x643 <= 0 e648: x308 + x356 + .9975 x548 - x549 - x644 <= 0 e649: x309 + x357 + .9975 x549 - x550 - x645 <= 0 e650: x310 + x358 + .9975 x550 - x551 - x646 <= 0 e651: x311 + x359 + .9975 x551 - x552 - x647 <= 0 e652: x312 + x360 + .9975 x552 - x553 - x648 <= 0 e653: x314 + x362 + .9975 x554 - x555 - x650 <= 0 e654: x315 + x363 + .9975 x555 - x556 - x651 <= 0 e655: x316 + x364 + .9975 x556 - x557 - x652 <= 0 e656: x317 + x365 + .9975 x557 - x558 - x653 <= 0 e657: x318 + x366 + .9975 x558 - x559 - x654 <= 0 e658: x319 + x367 + .9975 x559 - x560 - x655 <= 0 e659: x320 + x368 + .9975 x560 - x561 - x656 <= 0 e660: x321 + x369 + .9975 x561 - x562 - x657 <= 0 e661: x322 + x370 + .9975 x562 - x563 - x658 <= 0 e662: x323 + x371 + .9975 x563 - x564 - x659 <= 0 e663: x324 + x372 + .9975 x564 - x565 - x660 <= 0 e664: x325 + x373 + .9975 x565 - x566 - x661 <= 0 e665: x326 + x374 + .9975 x566 - x567 - x662 <= 0 e666: x327 + x375 + .9975 x567 - x568 - x663 <= 0 e667: x328 + x376 + .9975 x568 - x569 - x664 <= 0 e668: x329 + x377 + .9975 x569 - x570 - x665 <= 0 e669: x330 + x378 + .9975 x570 - x571 - x666 <= 0 e670: x331 + x379 + .9975 x571 - x572 - x667 <= 0 e671: x332 + x380 + .9975 x572 - x573 - x668 <= 0 e672: x333 + x381 + .9975 x573 - x574 - x669 <= 0 e673: x334 + x382 + .9975 x574 - x575 - x670 <= 0 e674: x335 + x383 + .9975 x575 - x576 - x671 <= 0 e675: x336 + x384 + .9975 x576 - x577 - x672 <= 0 e676: x313 + x361 + .9975 x553 - x554 - x649 >= 0 e677: x337 + x385 - x530 + .9975 x577 - x673 >= 0 e678: x386 + x434 + .9975 x482 - x483 + x626 >= 54.15 e679: x387 + x435 + .9975 x483 - x484 + x627 >= 55.56 e680: x388 + x436 + .9975 x484 - x485 + x628 >= 56.98 e681: x389 + x437 + .9975 x485 - x486 + x629 >= 56.98 e682: x390 + x438 + .9975 x486 - x487 + x630 >= 55.56 e683: x391 + x439 + .9975 x487 - x488 + x631 >= 68.57 e684: x392 + x440 + .9975 x488 - x489 + x632 >= 71.29 e685: x393 + x441 + .9975 x489 - x490 + x633 >= 41.38 e686: x394 + x442 + .9975 x490 - x491 + x634 >= 39.11 e687: x395 + x443 + .9975 x491 - x492 + x635 >= 36.4 e688: x396 + x444 + .9975 x492 - x493 + x636 >= 33.57 e689: x397 + x445 + .9975 x493 - x494 + x637 >= 27.23 e690: x398 + x446 + .9975 x494 - x495 + x638 >= 23.92 e691: x399 + x447 + .9975 x495 - x496 + x639 >= 19.3 e692: x400 + x448 + .9975 x496 - x497 + x640 >= 20.58 e693: x401 + x449 + .9975 x497 - x498 + x641 >= 22.88 e694: x402 + x450 + .9975 x498 - x499 + x642 >= 26.71 e695: x403 + x451 + .9975 x499 - x500 + x643 >= 28.65 e696: x404 + x452 + .9975 x500 - x501 + x644 >= 36.78 e697: x405 + x453 + .9975 x501 - x502 + x645 >= 43.94 e698: x406 + x454 + .9975 x502 - x503 + x646 >= 44.06 e699: x407 + x455 + .9975 x503 - x504 + x647 >= 46.68 e700: x408 + x456 + .9975 x504 - x505 + x648 >= 34.97 e701: x410 + x458 + .9975 x506 - x507 + x650 >= 44.15 e702: x411 + x459 + .9975 x507 - x508 + x651 >= 45.56 e703: x412 + x460 + .9975 x508 - x509 + x652 >= 46.98 e704: x413 + x461 + .9975 x509 - x510 + x653 >= 46.98 e705: x414 + x462 + .9975 x510 - x511 + x654 >= 45.56 e706: x415 + x463 + .9975 x511 - x512 + x655 >= 58.57 e707: x416 + x464 + .9975 x512 - x513 + x656 >= 65.29 e708: x417 + x465 + .9975 x513 - x514 + x657 >= 41.38 e709: x418 + x466 + .9975 x514 - x515 + x658 >= 39.11 e710: x419 + x467 + .9975 x515 - x516 + x659 >= 36.4 e711: x420 + x468 + .9975 x516 - x517 + x660 >= 33.57 e712: x421 + x469 + .9975 x517 - x518 + x661 >= 27.23 e713: x422 + x470 + .9975 x518 - x519 + x662 >= 23.92 e714: x423 + x471 + .9975 x519 - x520 + x663 >= 19.3 e715: x424 + x472 + .9975 x520 - x521 + x664 >= 15.58 e716: x425 + x473 + .9975 x521 - x522 + x665 >= 12.88 e717: x426 + x474 + .9975 x522 - x523 + x666 >= 16.71 e718: x427 + x475 + .9975 x523 - x524 + x667 >= 18.65 e719: x428 + x476 + .9975 x524 - x525 + x668 >= 26.78 e720: x429 + x477 + .9975 x525 - x526 + x669 >= 33.94 e721: x430 + x478 + .9975 x526 - x527 + x670 >= 34.06 e722: x431 + x479 + .9975 x527 - x528 + x671 >= 36.68 e723: x432 + x480 + .9975 x528 - x529 + x672 >= 24.97 e724: x409 + x457 + .9975 x505 - x506 + x649 >= 50.55 e725: x433 + x481 - x482 + .9975 x529 + x673 >= 40.55 e726: - x98 - x146 + x194 + x242 = 3.88 e727: - x99 - x147 + x195 + x243 = 3.88 e728: - x100 - x148 + x196 + x244 = 3.88 e729: - x101 - x149 + x197 + x245 = 3.88 e730: - x102 - x150 + x198 + x246 = 3.88 e731: - x103 - x151 + x199 + x247 = 9.7 e732: - x104 - x152 + x200 + x248 = 9.7 e733: - x105 - x153 + x201 + x249 = 27.16 e734: - x106 - x154 + x202 + x250 = 29.1 e735: - x107 - x155 + x203 + x251 = 29.1 e736: - x108 - x156 + x204 + x252 = 29.1 e737: - x109 - x157 + x205 + x253 = 36.86 e738: - x110 - x158 + x206 + x254 = 37.67 e739: - x111 - x159 + x207 + x255 = 36.86 e740: - x112 - x160 + x208 + x256 = 38.8 e741: - x113 - x161 + x209 + x257 = 36.86 e742: - x114 - x162 + x210 + x258 = 38.02 e743: - x115 - x163 + x211 + x259 = 36.86 e744: - x116 - x164 + x212 + x260 = 23.28 e745: - x117 - x165 + x213 + x261 = 15.52 e746: - x118 - x166 + x214 + x262 = 9.7 e747: - x119 - x167 + x215 + x263 = 3.88 e748: - x120 - x168 + x216 + x264 = 3.88 e749: - x121 - x169 + x217 + x265 = 3.88 e750: - x122 - x170 + x218 + x266 = 3.88 e751: - x123 - x171 + x219 + x267 = 3.88 e752: - x124 - x172 + x220 + x268 = 3.88 e753: - x125 - x173 + x221 + x269 = 3.88 e754: - x126 - x174 + x222 + x270 = 3.88 e755: - x127 - x175 + x223 + x271 = 9.7 e756: - x128 - x176 + x224 + x272 = 9.7 e757: - x129 - x177 + x225 + x273 = 27.16 e758: - x130 - x178 + x226 + x274 = 29.1 e759: - x131 - x179 + x227 + x275 = 29.1 e760: - x132 - x180 + x228 + x276 = 29.1 e761: - x133 - x181 + x229 + x277 = 36.86 e762: - x134 - x182 + x230 + x278 = 37.67 e763: - x135 - x183 + x231 + x279 = 36.86 e764: - x136 - x184 + x232 + x280 = 38.8 e765: - x137 - x185 + x233 + x281 = 36.86 e766: - x138 - x186 + x234 + x282 = 38.02 e767: - x139 - x187 + x235 + x283 = 36.86 e768: - x140 - x188 + x236 + x284 = 23.28 e769: - x141 - x189 + x237 + x285 = 15.52 e770: - x142 - x190 + x238 + x286 = 9.7 e771: - x143 - x191 + x239 + x287 = 3.88 e772: - x144 - x192 + x240 + x288 = 3.88 e773: - x145 - x193 + x241 + x289 = 3.88 e774: .997 x578 - x579 >= 0 e775: .997 x579 - x580 >= 0 e776: .997 x580 - x581 >= 0 e777: .997 x581 - x582 >= 0 e778: .997 x582 - x583 >= 0 e779: .997 x583 - x584 >= 0 e780: .997 x584 - x585 >= 0 e781: .997 x585 - x586 >= 0 e782: .997 x586 - x587 >= 0 e783: .997 x587 - x588 >= 0 e784: .997 x588 - x589 >= 0 e785: .997 x589 - x590 >= 0 e786: .997 x590 - x591 >= 0 e787: .997 x591 - x592 >= 0 e788: .997 x592 - x593 >= 0 e789: .997 x593 - x594 >= 0 e790: .997 x594 - x595 >= 0 e791: .997 x595 - x596 >= 0 e792: .997 x596 - x597 >= 0 e793: .997 x597 - x598 >= 0 e794: .997 x598 - x599 >= 0 e795: .997 x599 - x600 >= 0 e796: .997 x600 - x601 >= 0 e797: .997 x602 - x603 >= 0 e798: .997 x603 - x604 >= 0 e799: .997 x604 - x605 >= 0 e800: .997 x605 - x606 >= 0 e801: .997 x606 - x607 >= 0 e802: .997 x607 - x608 >= 0 e803: .997 x608 - x609 >= 0 e804: .997 x609 - x610 >= 0 e805: .997 x610 - x611 >= 0 e806: .997 x611 - x612 >= 0 e807: .997 x612 - x613 >= 0 e808: .997 x613 - x614 >= 0 e809: .997 x614 - x615 >= 0 e810: .997 x615 - x616 >= 0 e811: .997 x616 - x617 >= 0 e812: .997 x617 - x618 >= 0 e813: .997 x618 - x619 >= 0 e814: .997 x619 - x620 >= 0 e815: .997 x620 - x621 >= 0 e816: .997 x621 - x622 >= 0 e817: .997 x622 - x623 >= 0 e818: .997 x623 - x624 >= 0 e819: .997 x624 - x625 >= 0 e820: .997 x601 - x602 >= 0 e821: - x578 + .997 x625 >= 0 e822: - x2 + 1.58 b866 <= 0 e823: - x3 + 1.58 b867 <= 0 e824: - x4 + 1.58 b868 <= 0 e825: - x5 + 1.58 b869 <= 0 e826: - x6 + 1.58 b870 <= 0 e827: - x7 + 1.58 b871 <= 0 e828: - x8 + 1.58 b872 <= 0 e829: - x9 + 1.58 b873 <= 0 e830: - x10 + 1.58 b874 <= 0 e831: - x11 + 1.58 b875 <= 0 e832: - x12 + 1.58 b876 <= 0 e833: - x13 + 1.58 b877 <= 0 e834: - x14 + 1.58 b878 <= 0 e835: - x15 + 1.58 b879 <= 0 e836: - x16 + 1.58 b880 <= 0 e837: - x17 + 1.58 b881 <= 0 e838: - x18 + 1.58 b882 <= 0 e839: - x19 + 1.58 b883 <= 0 e840: - x20 + 1.58 b884 <= 0 e841: - x21 + 1.58 b885 <= 0 e842: - x22 + 1.58 b886 <= 0 e843: - x23 + 1.58 b887 <= 0 e844: - x24 + 1.58 b888 <= 0 e845: - x25 + 1.58 b889 <= 0 e846: - x26 + 1.58 b890 <= 0 e847: - x27 + 1.58 b891 <= 0 e848: - x28 + 1.58 b892 <= 0 e849: - x29 + 1.58 b893 <= 0 e850: - x30 + 1.58 b894 <= 0 e851: - x31 + 1.58 b895 <= 0 e852: - x32 + 1.58 b896 <= 0 e853: - x33 + 1.58 b897 <= 0 e854: - x34 + 1.58 b898 <= 0 e855: - x35 + 1.58 b899 <= 0 e856: - x36 + 1.58 b900 <= 0 e857: - x37 + 1.58 b901 <= 0 e858: - x38 + 1.58 b902 <= 0 e859: - x39 + 1.58 b903 <= 0 e860: - x40 + 1.58 b904 <= 0 e861: - x41 + 1.58 b905 <= 0 e862: - x42 + 1.58 b906 <= 0 e863: - x43 + 1.58 b907 <= 0 e864: - x44 + 1.58 b908 <= 0 e865: - x45 + 1.58 b909 <= 0 e866: - x46 + 1.58 b910 <= 0 e867: - x47 + 1.58 b911 <= 0 e868: - x48 + 1.58 b912 <= 0 e869: - x49 + 1.58 b913 <= 0 e870: - x50 + 17.5 b818 <= 0 e871: - x51 + 17.5 b819 <= 0 e872: - x52 + 17.5 b820 <= 0 e873: - x53 + 17.5 b821 <= 0 e874: - x54 + 17.5 b822 <= 0 e875: - x55 + 17.5 b823 <= 0 e876: - x56 + 17.5 b824 <= 0 e877: - x57 + 17.5 b825 <= 0 e878: - x58 + 17.5 b826 <= 0 e879: - x59 + 17.5 b827 <= 0 e880: - x60 + 17.5 b828 <= 0 e881: - x61 + 17.5 b829 <= 0 e882: - x62 + 17.5 b830 <= 0 e883: - x63 + 17.5 b831 <= 0 e884: - x64 + 17.5 b832 <= 0 e885: - x65 + 17.5 b833 <= 0 e886: - x66 + 17.5 b834 <= 0 e887: - x67 + 17.5 b835 <= 0 e888: - x68 + 17.5 b836 <= 0 e889: - x69 + 17.5 b837 <= 0 e890: - x70 + 17.5 b838 <= 0 e891: - x71 + 17.5 b839 <= 0 e892: - x72 + 17.5 b840 <= 0 e893: - x73 + 17.5 b841 <= 0 e894: - x74 + 17.5 b842 <= 0 e895: - x75 + 17.5 b843 <= 0 e896: - x76 + 17.5 b844 <= 0 e897: - x77 + 17.5 b845 <= 0 e898: - x78 + 17.5 b846 <= 0 e899: - x79 + 17.5 b847 <= 0 e900: - x80 + 17.5 b848 <= 0 e901: - x81 + 17.5 b849 <= 0 e902: - x82 + 17.5 b850 <= 0 e903: - x83 + 17.5 b851 <= 0 e904: - x84 + 17.5 b852 <= 0 e905: - x85 + 17.5 b853 <= 0 e906: - x86 + 17.5 b854 <= 0 e907: - x87 + 17.5 b855 <= 0 e908: - x88 + 17.5 b856 <= 0 e909: - x89 + 17.5 b857 <= 0 e910: - x90 + 17.5 b858 <= 0 e911: - x91 + 17.5 b859 <= 0 e912: - x92 + 17.5 b860 <= 0 e913: - x93 + 17.5 b861 <= 0 e914: - x94 + 17.5 b862 <= 0 e915: - x95 + 17.5 b863 <= 0 e916: - x96 + 17.5 b864 <= 0 e917: - x97 + 17.5 b865 <= 0 e918: x2 - 113.5 b866 <= 0 e919: x3 - 113.5 b867 <= 0 e920: x4 - 113.5 b868 <= 0 e921: x5 - 113.5 b869 <= 0 e922: x6 - 113.5 b870 <= 0 e923: x7 - 113.5 b871 <= 0 e924: x8 - 113.5 b872 <= 0 e925: x9 - 113.5 b873 <= 0 e926: x10 - 113.5 b874 <= 0 e927: x11 - 113.5 b875 <= 0 e928: x12 - 113.5 b876 <= 0 e929: x13 - 113.5 b877 <= 0 e930: x14 - 113.5 b878 <= 0 e931: x15 - 113.5 b879 <= 0 e932: x16 - 113.5 b880 <= 0 e933: x17 - 113.5 b881 <= 0 e934: x18 - 113.5 b882 <= 0 e935: x19 - 113.5 b883 <= 0 e936: x20 - 113.5 b884 <= 0 e937: x21 - 113.5 b885 <= 0 e938: x22 - 113.5 b886 <= 0 e939: x23 - 113.5 b887 <= 0 e940: x24 - 113.5 b888 <= 0 e941: x25 - 113.5 b889 <= 0 e942: x26 - 113.5 b890 <= 0 e943: x27 - 113.5 b891 <= 0 e944: x28 - 113.5 b892 <= 0 e945: x29 - 113.5 b893 <= 0 e946: x30 - 113.5 b894 <= 0 e947: x31 - 113.5 b895 <= 0 e948: x32 - 113.5 b896 <= 0 e949: x33 - 113.5 b897 <= 0 e950: x34 - 113.5 b898 <= 0 e951: x35 - 113.5 b899 <= 0 e952: x36 - 113.5 b900 <= 0 e953: x37 - 113.5 b901 <= 0 e954: x38 - 113.5 b902 <= 0 e955: x39 - 113.5 b903 <= 0 e956: x40 - 113.5 b904 <= 0 e957: x41 - 113.5 b905 <= 0 e958: x42 - 113.5 b906 <= 0 e959: x43 - 113.5 b907 <= 0 e960: x44 - 113.5 b908 <= 0 e961: x45 - 113.5 b909 <= 0 e962: x46 - 113.5 b910 <= 0 e963: x47 - 113.5 b911 <= 0 e964: x48 - 113.5 b912 <= 0 e965: x49 - 113.5 b913 <= 0 e966: x50 - 52 b818 <= 0 e967: x51 - 52 b819 <= 0 e968: x52 - 52 b820 <= 0 e969: x53 - 52 b821 <= 0 e970: x54 - 52 b822 <= 0 e971: x55 - 52 b823 <= 0 e972: x56 - 52 b824 <= 0 e973: x57 - 52 b825 <= 0 e974: x58 - 52 b826 <= 0 e975: x59 - 52 b827 <= 0 e976: x60 - 52 b828 <= 0 e977: x61 - 52 b829 <= 0 e978: x62 - 52 b830 <= 0 e979: x63 - 52 b831 <= 0 e980: x64 - 52 b832 <= 0 e981: x65 - 52 b833 <= 0 e982: x66 - 52 b834 <= 0 e983: x67 - 52 b835 <= 0 e984: x68 - 52 b836 <= 0 e985: x69 - 52 b837 <= 0 e986: x70 - 52 b838 <= 0 e987: x71 - 52 b839 <= 0 e988: x72 - 52 b840 <= 0 e989: x73 - 52 b841 <= 0 e990: x74 - 52 b842 <= 0 e991: x75 - 52 b843 <= 0 e992: x76 - 52 b844 <= 0 e993: x77 - 52 b845 <= 0 e994: x78 - 52 b846 <= 0 e995: x79 - 52 b847 <= 0 e996: x80 - 52 b848 <= 0 e997: x81 - 52 b849 <= 0 e998: x82 - 52 b850 <= 0 e999: x83 - 52 b851 <= 0 e1000: x84 - 52 b852 <= 0 e1001: x85 - 52 b853 <= 0 e1002: x86 - 52 b854 <= 0 e1003: x87 - 52 b855 <= 0 e1004: x88 - 52 b856 <= 0 e1005: x89 - 52 b857 <= 0 e1006: x90 - 52 b858 <= 0 e1007: x91 - 52 b859 <= 0 e1008: x92 - 52 b860 <= 0 e1009: x93 - 52 b861 <= 0 e1010: x94 - 52 b862 <= 0 e1011: x95 - 52 b863 <= 0 e1012: x96 - 52 b864 <= 0 e1013: x97 - 52 b865 <= 0 e1014: - x98 + 5 b914 <= 0 e1015: - x99 + 5 b915 <= 0 e1016: - x100 + 5 b916 <= 0 e1017: - x101 + 5 b917 <= 0 e1018: - x102 + 5 b918 <= 0 e1019: - x103 + 5 b919 <= 0 e1020: - x104 + 5 b920 <= 0 e1021: - x105 + 5 b921 <= 0 e1022: - x106 + 5 b922 <= 0 e1023: - x107 + 5 b923 <= 0 e1024: - x108 + 5 b924 <= 0 e1025: - x109 + 5 b925 <= 0 e1026: - x110 + 5 b926 <= 0 e1027: - x111 + 5 b927 <= 0 e1028: - x112 + 5 b928 <= 0 e1029: - x113 + 5 b929 <= 0 e1030: - x114 + 5 b930 <= 0 e1031: - x115 + 5 b931 <= 0 e1032: - x116 + 5 b932 <= 0 e1033: - x117 + 5 b933 <= 0 e1034: - x118 + 5 b934 <= 0 e1035: - x119 + 5 b935 <= 0 e1036: - x120 + 5 b936 <= 0 e1037: - x121 + 5 b937 <= 0 e1038: - x122 + 5 b938 <= 0 e1039: - x123 + 5 b939 <= 0 e1040: - x124 + 5 b940 <= 0 e1041: - x125 + 5 b941 <= 0 e1042: - x126 + 5 b942 <= 0 e1043: - x127 + 5 b943 <= 0 e1044: - x128 + 5 b944 <= 0 e1045: - x129 + 5 b945 <= 0 e1046: - x130 + 5 b946 <= 0 e1047: - x131 + 5 b947 <= 0 e1048: - x132 + 5 b948 <= 0 e1049: - x133 + 5 b949 <= 0 e1050: - x134 + 5 b950 <= 0 e1051: - x135 + 5 b951 <= 0 e1052: - x136 + 5 b952 <= 0 e1053: - x137 + 5 b953 <= 0 e1054: - x138 + 5 b954 <= 0 e1055: - x139 + 5 b955 <= 0 e1056: - x140 + 5 b956 <= 0 e1057: - x141 + 5 b957 <= 0 e1058: - x142 + 5 b958 <= 0 e1059: - x143 + 5 b959 <= 0 e1060: - x144 + 5 b960 <= 0 e1061: - x145 + 5 b961 <= 0 e1062: x98 - 28 b914 <= 0 e1063: x99 - 28 b915 <= 0 e1064: x100 - 28 b916 <= 0 e1065: x101 - 28 b917 <= 0 e1066: x102 - 28 b918 <= 0 e1067: x103 - 28 b919 <= 0 e1068: x104 - 28 b920 <= 0 e1069: x105 - 28 b921 <= 0 e1070: x106 - 28 b922 <= 0 e1071: x107 - 28 b923 <= 0 e1072: x108 - 28 b924 <= 0 e1073: x109 - 28 b925 <= 0 e1074: x110 - 28 b926 <= 0 e1075: x111 - 28 b927 <= 0 e1076: x112 - 28 b928 <= 0 e1077: x113 - 28 b929 <= 0 e1078: x114 - 28 b930 <= 0 e1079: x115 - 28 b931 <= 0 e1080: x116 - 28 b932 <= 0 e1081: x117 - 28 b933 <= 0 e1082: x118 - 28 b934 <= 0 e1083: x119 - 28 b935 <= 0 e1084: x120 - 28 b936 <= 0 e1085: x121 - 28 b937 <= 0 e1086: x122 - 28 b938 <= 0 e1087: x123 - 28 b939 <= 0 e1088: x124 - 28 b940 <= 0 e1089: x125 - 28 b941 <= 0 e1090: x126 - 28 b942 <= 0 e1091: x127 - 28 b943 <= 0 e1092: x128 - 28 b944 <= 0 e1093: x129 - 28 b945 <= 0 e1094: x130 - 28 b946 <= 0 e1095: x131 - 28 b947 <= 0 e1096: x132 - 28 b948 <= 0 e1097: x133 - 28 b949 <= 0 e1098: x134 - 28 b950 <= 0 e1099: x135 - 28 b951 <= 0 e1100: x136 - 28 b952 <= 0 e1101: x137 - 28 b953 <= 0 e1102: x138 - 28 b954 <= 0 e1103: x139 - 28 b955 <= 0 e1104: x140 - 28 b956 <= 0 e1105: x141 - 28 b957 <= 0 e1106: x142 - 28 b958 <= 0 e1107: x143 - 28 b959 <= 0 e1108: x144 - 28 b960 <= 0 e1109: x145 - 28 b961 <= 0 e1110: - x242 + 2.63089 b818 <= 0 e1111: - x243 + 2.63089 b819 <= 0 e1112: - x244 + 2.63089 b820 <= 0 e1113: - x245 + 2.63089 b821 <= 0 e1114: - x246 + 2.63089 b822 <= 0 e1115: - x247 + 2.63089 b823 <= 0 e1116: - x248 + 2.63089 b824 <= 0 e1117: - x249 + 2.63089 b825 <= 0 e1118: - x250 + 2.63089 b826 <= 0 e1119: - x251 + 2.63089 b827 <= 0 e1120: - x252 + 2.63089 b828 <= 0 e1121: - x253 + 2.63089 b829 <= 0 e1122: - x254 + 2.63089 b830 <= 0 e1123: - x255 + 2.63089 b831 <= 0 e1124: - x256 + 2.63089 b832 <= 0 e1125: - x257 + 2.63089 b833 <= 0 e1126: - x258 + 2.63089 b834 <= 0 e1127: - x259 + 2.63089 b835 <= 0 e1128: - x260 + 2.63089 b836 <= 0 e1129: - x261 + 2.63089 b837 <= 0 e1130: - x262 + 2.63089 b838 <= 0 e1131: - x263 + 2.63089 b839 <= 0 e1132: - x264 + 2.63089 b840 <= 0 e1133: - x265 + 2.63089 b841 <= 0 e1134: - x266 + 2.63089 b842 <= 0 e1135: - x267 + 2.63089 b843 <= 0 e1136: - x268 + 2.63089 b844 <= 0 e1137: - x269 + 2.63089 b845 <= 0 e1138: - x270 + 2.63089 b846 <= 0 e1139: - x271 + 2.63089 b847 <= 0 e1140: - x272 + 2.63089 b848 <= 0 e1141: - x273 + 2.63089 b849 <= 0 e1142: - x274 + 2.63089 b850 <= 0 e1143: - x275 + 2.63089 b851 <= 0 e1144: - x276 + 2.63089 b852 <= 0 e1145: - x277 + 2.63089 b853 <= 0 e1146: - x278 + 2.63089 b854 <= 0 e1147: - x279 + 2.63089 b855 <= 0 e1148: - x280 + 2.63089 b856 <= 0 e1149: - x281 + 2.63089 b857 <= 0 e1150: - x282 + 2.63089 b858 <= 0 e1151: - x283 + 2.63089 b859 <= 0 e1152: - x284 + 2.63089 b860 <= 0 e1153: - x285 + 2.63089 b861 <= 0 e1154: - x286 + 2.63089 b862 <= 0 e1155: - x287 + 2.63089 b863 <= 0 e1156: - x288 + 2.63089 b864 <= 0 e1157: - x289 + 2.63089 b865 <= 0 e1158: x242 - 8.77774 b818 <= 0 e1159: x243 - 8.77774 b819 <= 0 e1160: x244 - 8.77774 b820 <= 0 e1161: x245 - 8.77774 b821 <= 0 e1162: x246 - 8.77774 b822 <= 0 e1163: x247 - 8.77774 b823 <= 0 e1164: x248 - 8.77774 b824 <= 0 e1165: x249 - 8.77774 b825 <= 0 e1166: x250 - 8.77774 b826 <= 0 e1167: x251 - 8.77774 b827 <= 0 e1168: x252 - 8.77774 b828 <= 0 e1169: x253 - 8.77774 b829 <= 0 e1170: x254 - 8.77774 b830 <= 0 e1171: x255 - 8.77774 b831 <= 0 e1172: x256 - 8.77774 b832 <= 0 e1173: x257 - 8.77774 b833 <= 0 e1174: x258 - 8.77774 b834 <= 0 e1175: x259 - 8.77774 b835 <= 0 e1176: x260 - 8.77774 b836 <= 0 e1177: x261 - 8.77774 b837 <= 0 e1178: x262 - 8.77774 b838 <= 0 e1179: x263 - 8.77774 b839 <= 0 e1180: x264 - 8.77774 b840 <= 0 e1181: x265 - 8.77774 b841 <= 0 e1182: x266 - 8.77774 b842 <= 0 e1183: x267 - 8.77774 b843 <= 0 e1184: x268 - 8.77774 b844 <= 0 e1185: x269 - 8.77774 b845 <= 0 e1186: x270 - 8.77774 b846 <= 0 e1187: x271 - 8.77774 b847 <= 0 e1188: x272 - 8.77774 b848 <= 0 e1189: x273 - 8.77774 b849 <= 0 e1190: x274 - 8.77774 b850 <= 0 e1191: x275 - 8.77774 b851 <= 0 e1192: x276 - 8.77774 b852 <= 0 e1193: x277 - 8.77774 b853 <= 0 e1194: x278 - 8.77774 b854 <= 0 e1195: x279 - 8.77774 b855 <= 0 e1196: x280 - 8.77774 b856 <= 0 e1197: x281 - 8.77774 b857 <= 0 e1198: x282 - 8.77774 b858 <= 0 e1199: x283 - 8.77774 b859 <= 0 e1200: x284 - 8.77774 b860 <= 0 e1201: x285 - 8.77774 b861 <= 0 e1202: x286 - 8.77774 b862 <= 0 e1203: x287 - 8.77774 b863 <= 0 e1204: x288 - 8.77774 b864 <= 0 e1205: x289 - 8.77774 b865 <= 0 e1206: - x386 <= 0 e1207: - x387 <= 0 e1208: - x388 <= 0 e1209: - x389 <= 0 e1210: - x390 <= 0 e1211: - x391 <= 0 e1212: - x392 <= 0 e1213: - x393 <= 0 e1214: - x394 <= 0 e1215: - x395 <= 0 e1216: - x396 <= 0 e1217: - x397 <= 0 e1218: - x398 <= 0 e1219: - x399 <= 0 e1220: - x400 <= 0 e1221: - x401 <= 0 e1222: - x402 <= 0 e1223: - x403 <= 0 e1224: - x404 <= 0 e1225: - x405 <= 0 e1226: - x406 <= 0 e1227: - x407 <= 0 e1228: - x408 <= 0 e1229: - x409 <= 0 e1230: - x410 <= 0 e1231: - x411 <= 0 e1232: - x412 <= 0 e1233: - x413 <= 0 e1234: - x414 <= 0 e1235: - x415 <= 0 e1236: - x416 <= 0 e1237: - x417 <= 0 e1238: - x418 <= 0 e1239: - x419 <= 0 e1240: - x420 <= 0 e1241: - x421 <= 0 e1242: - x422 <= 0 e1243: - x423 <= 0 e1244: - x424 <= 0 e1245: - x425 <= 0 e1246: - x426 <= 0 e1247: - x427 <= 0 e1248: - x428 <= 0 e1249: - x429 <= 0 e1250: - x430 <= 0 e1251: - x431 <= 0 e1252: - x432 <= 0 e1253: - x433 <= 0 e1254: - x434 + 17.7638 b914 <= 0 e1255: - x435 + 17.5996 b915 <= 0 e1256: - x436 + 17.5175 b916 <= 0 e1257: - x437 + 17.3533 b917 <= 0 e1258: - x438 + 17.2712 b918 <= 0 e1259: - x439 + 17.1891 b919 <= 0 e1260: - x440 + 17.2712 b920 <= 0 e1261: - x441 + 17.4354 b921 <= 0 e1262: - x442 + 17.8459 b922 <= 0 e1263: - x443 + 18.667 b923 <= 0 e1264: - x444 + 19.9808 b924 <= 0 e1265: - x445 + 21.4587 b925 <= 0 e1266: - x446 + 23.183 b926 <= 0 e1267: - x447 + 23.5936 b927 <= 0 e1268: - x448 + 22.3619 b928 <= 0 e1269: - x449 + 22.0335 b929 <= 0 e1270: - x450 + 21.3766 b930 <= 0 e1271: - x451 + 20.3092 b931 <= 0 e1272: - x452 + 19.6523 b932 <= 0 e1273: - x453 + 19.3239 b933 <= 0 e1274: - x454 + 18.9955 b934 <= 0 e1275: - x455 + 18.667 b935 <= 0 e1276: - x456 + 18.4207 b936 <= 0 e1277: - x457 + 18.1744 b937 <= 0 e1278: - x458 + 17.7638 b938 <= 0 e1279: - x459 + 17.5996 b939 <= 0 e1280: - x460 + 17.5175 b940 <= 0 e1281: - x461 + 17.3533 b941 <= 0 e1282: - x462 + 17.2712 b942 <= 0 e1283: - x463 + 17.1891 b943 <= 0 e1284: - x464 + 17.2712 b944 <= 0 e1285: - x465 + 17.4354 b945 <= 0 e1286: - x466 + 17.8459 b946 <= 0 e1287: - x467 + 18.667 b947 <= 0 e1288: - x468 + 19.9808 b948 <= 0 e1289: - x469 + 21.4587 b949 <= 0 e1290: - x470 + 23.183 b950 <= 0 e1291: - x471 + 23.5936 b951 <= 0 e1292: - x472 + 22.3619 b952 <= 0 e1293: - x473 + 22.0335 b953 <= 0 e1294: - x474 + 21.3766 b954 <= 0 e1295: - x475 + 20.3092 b955 <= 0 e1296: - x476 + 19.6523 b956 <= 0 e1297: - x477 + 19.3239 b957 <= 0 e1298: - x478 + 18.9955 b958 <= 0 e1299: - x479 + 18.667 b959 <= 0 e1300: - x480 + 18.4207 b960 <= 0 e1301: - x481 + 18.1744 b961 <= 0 e1302: x386 <= 0 e1303: x387 <= 0 e1304: x388 <= 0 e1305: x389 <= 0 e1306: x390 <= 0 e1307: x391 <= 0 e1308: x392 <= 0 e1309: x393 <= 0 e1310: x394 <= 0 e1311: x395 <= 0 e1312: x396 <= 0 e1313: x397 <= 0 e1314: x398 <= 0 e1315: x399 <= 0 e1316: x400 <= 0 e1317: x401 <= 0 e1318: x402 <= 0 e1319: x403 <= 0 e1320: x404 <= 0 e1321: x405 <= 0 e1322: x406 <= 0 e1323: x407 <= 0 e1324: x408 <= 0 e1325: x409 <= 0 e1326: x410 <= 0 e1327: x411 <= 0 e1328: x412 <= 0 e1329: x413 <= 0 e1330: x414 <= 0 e1331: x415 <= 0 e1332: x416 <= 0 e1333: x417 <= 0 e1334: x418 <= 0 e1335: x419 <= 0 e1336: x420 <= 0 e1337: x421 <= 0 e1338: x422 <= 0 e1339: x423 <= 0 e1340: x424 <= 0 e1341: x425 <= 0 e1342: x426 <= 0 e1343: x427 <= 0 e1344: x428 <= 0 e1345: x429 <= 0 e1346: x430 <= 0 e1347: x431 <= 0 e1348: x432 <= 0 e1349: x433 <= 0 e1350: x434 - 60.0425 b914 <= 0 e1351: x435 - 59.1713 b915 <= 0 e1352: x436 - 58.7357 b916 <= 0 e1353: x437 - 57.8645 b917 <= 0 e1354: x438 - 57.4289 b918 <= 0 e1355: x439 - 56.9933 b919 <= 0 e1356: x440 - 57.4289 b920 <= 0 e1357: x441 - 58.3001 b921 <= 0 e1358: x442 - 60.4781 b922 <= 0 e1359: x443 - 64.8341 b923 <= 0 e1360: x444 - 71.8036 b924 <= 0 e1361: x445 - 79.6443 b925 <= 0 e1362: x446 - 88.7918 b926 <= 0 e1363: x447 - 90.9698 b927 <= 0 e1364: x448 - 84.4359 b928 <= 0 e1365: x449 - 82.6935 b929 <= 0 e1366: x450 - 79.2087 b930 <= 0 e1367: x451 - 73.546 b931 <= 0 e1368: x452 - 70.0612 b932 <= 0 e1369: x453 - 68.3188 b933 <= 0 e1370: x454 - 66.5764 b934 <= 0 e1371: x455 - 64.8341 b935 <= 0 e1372: x456 - 63.5273 b936 <= 0 e1373: x457 - 62.2205 b937 <= 0 e1374: x458 - 60.0425 b938 <= 0 e1375: x459 - 59.1713 b939 <= 0 e1376: x460 - 58.7357 b940 <= 0 e1377: x461 - 57.8645 b941 <= 0 e1378: x462 - 57.4289 b942 <= 0 e1379: x463 - 56.9933 b943 <= 0 e1380: x464 - 57.4289 b944 <= 0 e1381: x465 - 58.3001 b945 <= 0 e1382: x466 - 60.4781 b946 <= 0 e1383: x467 - 64.8341 b947 <= 0 e1384: x468 - 71.8036 b948 <= 0 e1385: x469 - 79.6443 b949 <= 0 e1386: x470 - 88.7918 b950 <= 0 e1387: x471 - 90.9698 b951 <= 0 e1388: x472 - 84.4359 b952 <= 0 e1389: x473 - 82.6935 b953 <= 0 e1390: x474 - 79.2087 b954 <= 0 e1391: x475 - 73.546 b955 <= 0 e1392: x476 - 70.0612 b956 <= 0 e1393: x477 - 68.3188 b957 <= 0 e1394: x478 - 66.5764 b958 <= 0 e1395: x479 - 64.8341 b959 <= 0 e1396: x480 - 63.5273 b960 <= 0 e1397: x481 - 62.2205 b961 <= 0 e1398: - x290 - .876076 b866 <= 0 e1399: - x291 - .876076 b867 <= 0 e1400: - x292 - .876076 b868 <= 0 e1401: - x293 - .876076 b869 <= 0 e1402: - x294 - .876076 b870 <= 0 e1403: - x295 - .876076 b871 <= 0 e1404: - x296 - .876076 b872 <= 0 e1405: - x297 - .876076 b873 <= 0 e1406: - x298 - .876076 b874 <= 0 e1407: - x299 - .876076 b875 <= 0 e1408: - x300 - .876076 b876 <= 0 e1409: - x301 - .876076 b877 <= 0 e1410: - x302 - .876076 b878 <= 0 e1411: - x303 - .876076 b879 <= 0 e1412: - x304 - .876076 b880 <= 0 e1413: - x305 - .876076 b881 <= 0 e1414: - x306 - .876076 b882 <= 0 e1415: - x307 - .876076 b883 <= 0 e1416: - x308 - .876076 b884 <= 0 e1417: - x309 - .876076 b885 <= 0 e1418: - x310 - .876076 b886 <= 0 e1419: - x311 - .876076 b887 <= 0 e1420: - x312 - .876076 b888 <= 0 e1421: - x313 - .876076 b889 <= 0 e1422: - x314 - .876076 b890 <= 0 e1423: - x315 - .876076 b891 <= 0 e1424: - x316 - .876076 b892 <= 0 e1425: - x317 - .876076 b893 <= 0 e1426: - x318 - .876076 b894 <= 0 e1427: - x319 - .876076 b895 <= 0 e1428: - x320 - .876076 b896 <= 0 e1429: - x321 - .876076 b897 <= 0 e1430: - x322 - .876076 b898 <= 0 e1431: - x323 - .876076 b899 <= 0 e1432: - x324 - .876076 b900 <= 0 e1433: - x325 - .876076 b901 <= 0 e1434: - x326 - .876076 b902 <= 0 e1435: - x327 - .876076 b903 <= 0 e1436: - x328 - .876076 b904 <= 0 e1437: - x329 - .876076 b905 <= 0 e1438: - x330 - .876076 b906 <= 0 e1439: - x331 - .876076 b907 <= 0 e1440: - x332 - .876076 b908 <= 0 e1441: - x333 - .876076 b909 <= 0 e1442: - x334 - .876076 b910 <= 0 e1443: - x335 - .876076 b911 <= 0 e1444: - x336 - .876076 b912 <= 0 e1445: - x337 - .876076 b913 <= 0 e1446: - x338 + 5.43842 b818 <= 0 e1447: - x339 + 5.43842 b819 <= 0 e1448: - x340 + 5.43842 b820 <= 0 e1449: - x341 + 5.43842 b821 <= 0 e1450: - x342 + 5.43842 b822 <= 0 e1451: - x343 + 5.43842 b823 <= 0 e1452: - x344 + 5.43842 b824 <= 0 e1453: - x345 + 5.43842 b825 <= 0 e1454: - x346 + 5.43842 b826 <= 0 e1455: - x347 + 5.43842 b827 <= 0 e1456: - x348 + 5.43842 b828 <= 0 e1457: - x349 + 5.43842 b829 <= 0 e1458: - x350 + 5.43842 b830 <= 0 e1459: - x351 + 5.43842 b831 <= 0 e1460: - x352 + 5.43842 b832 <= 0 e1461: - x353 + 5.43842 b833 <= 0 e1462: - x354 + 5.43842 b834 <= 0 e1463: - x355 + 5.43842 b835 <= 0 e1464: - x356 + 5.43842 b836 <= 0 e1465: - x357 + 5.43842 b837 <= 0 e1466: - x358 + 5.43842 b838 <= 0 e1467: - x359 + 5.43842 b839 <= 0 e1468: - x360 + 5.43842 b840 <= 0 e1469: - x361 + 5.43842 b841 <= 0 e1470: - x362 + 5.43842 b842 <= 0 e1471: - x363 + 5.43842 b843 <= 0 e1472: - x364 + 5.43842 b844 <= 0 e1473: - x365 + 5.43842 b845 <= 0 e1474: - x366 + 5.43842 b846 <= 0 e1475: - x367 + 5.43842 b847 <= 0 e1476: - x368 + 5.43842 b848 <= 0 e1477: - x369 + 5.43842 b849 <= 0 e1478: - x370 + 5.43842 b850 <= 0 e1479: - x371 + 5.43842 b851 <= 0 e1480: - x372 + 5.43842 b852 <= 0 e1481: - x373 + 5.43842 b853 <= 0 e1482: - x374 + 5.43842 b854 <= 0 e1483: - x375 + 5.43842 b855 <= 0 e1484: - x376 + 5.43842 b856 <= 0 e1485: - x377 + 5.43842 b857 <= 0 e1486: - x378 + 5.43842 b858 <= 0 e1487: - x379 + 5.43842 b859 <= 0 e1488: - x380 + 5.43842 b860 <= 0 e1489: - x381 + 5.43842 b861 <= 0 e1490: - x382 + 5.43842 b862 <= 0 e1491: - x383 + 5.43842 b863 <= 0 e1492: - x384 + 5.43842 b864 <= 0 e1493: - x385 + 5.43842 b865 <= 0 e1494: x290 - 69.792 b866 <= 0 e1495: x291 - 69.792 b867 <= 0 e1496: x292 - 69.792 b868 <= 0 e1497: x293 - 69.792 b869 <= 0 e1498: x294 - 69.792 b870 <= 0 e1499: x295 - 69.792 b871 <= 0 e1500: x296 - 69.792 b872 <= 0 e1501: x297 - 69.792 b873 <= 0 e1502: x298 - 69.792 b874 <= 0 e1503: x299 - 69.792 b875 <= 0 e1504: x300 - 69.792 b876 <= 0 e1505: x301 - 69.792 b877 <= 0 e1506: x302 - 69.792 b878 <= 0 e1507: x303 - 69.792 b879 <= 0 e1508: x304 - 69.792 b880 <= 0 e1509: x305 - 69.792 b881 <= 0 e1510: x306 - 69.792 b882 <= 0 e1511: x307 - 69.792 b883 <= 0 e1512: x308 - 69.792 b884 <= 0 e1513: x309 - 69.792 b885 <= 0 e1514: x310 - 69.792 b886 <= 0 e1515: x311 - 69.792 b887 <= 0 e1516: x312 - 69.792 b888 <= 0 e1517: x313 - 69.792 b889 <= 0 e1518: x314 - 69.792 b890 <= 0 e1519: x315 - 69.792 b891 <= 0 e1520: x316 - 69.792 b892 <= 0 e1521: x317 - 69.792 b893 <= 0 e1522: x318 - 69.792 b894 <= 0 e1523: x319 - 69.792 b895 <= 0 e1524: x320 - 69.792 b896 <= 0 e1525: x321 - 69.792 b897 <= 0 e1526: x322 - 69.792 b898 <= 0 e1527: x323 - 69.792 b899 <= 0 e1528: x324 - 69.792 b900 <= 0 e1529: x325 - 69.792 b901 <= 0 e1530: x326 - 69.792 b902 <= 0 e1531: x327 - 69.792 b903 <= 0 e1532: x328 - 69.792 b904 <= 0 e1533: x329 - 69.792 b905 <= 0 e1534: x330 - 69.792 b906 <= 0 e1535: x331 - 69.792 b907 <= 0 e1536: x332 - 69.792 b908 <= 0 e1537: x333 - 69.792 b909 <= 0 e1538: x334 - 69.792 b910 <= 0 e1539: x335 - 69.792 b911 <= 0 e1540: x336 - 69.792 b912 <= 0 e1541: x337 - 69.792 b913 <= 0 e1542: x338 - 17.4118 b818 <= 0 e1543: x339 - 17.4118 b819 <= 0 e1544: x340 - 17.4118 b820 <= 0 e1545: x341 - 17.4118 b821 <= 0 e1546: x342 - 17.4118 b822 <= 0 e1547: x343 - 17.4118 b823 <= 0 e1548: x344 - 17.4118 b824 <= 0 e1549: x345 - 17.4118 b825 <= 0 e1550: x346 - 17.4118 b826 <= 0 e1551: x347 - 17.4118 b827 <= 0 e1552: x348 - 17.4118 b828 <= 0 e1553: x349 - 17.4118 b829 <= 0 e1554: x350 - 17.4118 b830 <= 0 e1555: x351 - 17.4118 b831 <= 0 e1556: x352 - 17.4118 b832 <= 0 e1557: x353 - 17.4118 b833 <= 0 e1558: x354 - 17.4118 b834 <= 0 e1559: x355 - 17.4118 b835 <= 0 e1560: x356 - 17.4118 b836 <= 0 e1561: x357 - 17.4118 b837 <= 0 e1562: x358 - 17.4118 b838 <= 0 e1563: x359 - 17.4118 b839 <= 0 e1564: x360 - 17.4118 b840 <= 0 e1565: x361 - 17.4118 b841 <= 0 e1566: x362 - 17.4118 b842 <= 0 e1567: x363 - 17.4118 b843 <= 0 e1568: x364 - 17.4118 b844 <= 0 e1569: x365 - 17.4118 b845 <= 0 e1570: x366 - 17.4118 b846 <= 0 e1571: x367 - 17.4118 b847 <= 0 e1572: x368 - 17.4118 b848 <= 0 e1573: x369 - 17.4118 b849 <= 0 e1574: x370 - 17.4118 b850 <= 0 e1575: x371 - 17.4118 b851 <= 0 e1576: x372 - 17.4118 b852 <= 0 e1577: x373 - 17.4118 b853 <= 0 e1578: x374 - 17.4118 b854 <= 0 e1579: x375 - 17.4118 b855 <= 0 e1580: x376 - 17.4118 b856 <= 0 e1581: x377 - 17.4118 b857 <= 0 e1582: x378 - 17.4118 b858 <= 0 e1583: x379 - 17.4118 b859 <= 0 e1584: x380 - 17.4118 b860 <= 0 e1585: x381 - 17.4118 b861 <= 0 e1586: x382 - 17.4118 b862 <= 0 e1587: x383 - 17.4118 b863 <= 0 e1588: x384 - 17.4118 b864 <= 0 e1589: x385 - 17.4118 b865 <= 0 e1590: 7.59878e-3 x434 + 3.5e-2 b914 - 3.75732142857143e-2 x98 b914 + 7.1530612244898e-4 x98^2 b914 <= 0 e1591: 7.59878e-3 x435 + 3.508e-2 b915 - 3.73396428571428e-2 x99 b915 + 7.1530612244898e-4 x99^2 b915 <= 0 e1592: 7.59878e-3 x436 + 3.512e-2 b916 - 3.72228571428571e-2 x100 b916 + 7.1530612244898e-4 x100^2 b916 <= 0 e1593: 7.59878e-3 x437 + 3.52e-2 b917 - 3.69892857142857e-2 x101 b917 + 7.1530612244898e-4 x101^2 b917 <= 0 e1594: 7.59878e-3 x438 + 3.524e-2 b918 - 3.68725e-2 x102 b918 + 7.1530612244898e-4 x102^2 b918 <= 0 e1595: 7.59878e-3 x439 + 3.528e-2 b919 - 3.67557142857143e-2 x103 b919 + 7.1530612244898e-4 x103^2 b919 <= 0 e1596: 7.59878e-3 x440 + 3.524e-2 b920 - 3.68725e-2 x104 b920 + 7.1530612244898e-4 x104^2 b920 <= 0 e1597: 7.59878e-3 x441 + 3.516e-2 b921 - 3.71060714285714e-2 x105 b921 + 7.1530612244898e-4 x105^2 b921 <= 0 e1598: 7.59878e-3 x442 + 3.496e-2 b922 - 3.769e-2 x106 b922 + 7.1530612244898e-4 x106^2 b922 <= 0 e1599: 7.59878e-3 x443 + 3.456e-2 b923 - 3.88578571428571e-2 x107 b923 + 7.1530612244898e-4 x107^2 b923 <= 0 e1600: 7.59878e-3 x444 + 3.392e-2 b924 - 4.07264285714286e-2 x108 b924 + 7.1530612244898e-4 x108^2 b924 <= 0 e1601: 7.59878e-3 x445 + 3.32e-2 b925 - 4.28285714285714e-2 x109 b925 + 7.1530612244898e-4 x109^2 b925 <= 0 e1602: 7.59878e-3 x446 + 3.236e-2 b926 - 4.52810714285714e-2 x110 b926 + 7.1530612244898e-4 x110^2 b926 <= 0 e1603: 7.59878e-3 x447 + 3.216e-2 b927 - 4.5865e-2 x111 b927 + 7.1530612244898e-4 x111^2 b927 <= 0 e1604: 7.59878e-3 x448 + 3.276e-2 b928 - 4.41132142857143e-2 x112 b928 + 7.1530612244898e-4 x112^2 b928 <= 0 e1605: 7.59878e-3 x449 + 3.292e-2 b929 - 4.36460714285714e-2 x113 b929 + 7.1530612244898e-4 x113^2 b929 <= 0 e1606: 7.59878e-3 x450 + 3.324e-2 b930 - 4.27117857142857e-2 x114 b930 + 7.1530612244898e-4 x114^2 b930 <= 0 e1607: 7.59878e-3 x451 + 3.376e-2 b931 - 4.11935714285714e-2 x115 b931 + 7.1530612244898e-4 x115^2 b931 <= 0 e1608: 7.59878e-3 x452 + 3.408e-2 b932 - 4.02592857142857e-2 x116 b932 + 7.1530612244898e-4 x116^2 b932 <= 0 e1609: 7.59878e-3 x453 + 3.424e-2 b933 - 3.97921428571429e-2 x117 b933 + 7.1530612244898e-4 x117^2 b933 <= 0 e1610: 7.59878e-3 x454 + 3.44e-2 b934 - 3.9325e-2 x118 b934 + 7.1530612244898e-4 x118^2 b934 <= 0 e1611: 7.59878e-3 x455 + 3.456e-2 b935 - 3.88578571428571e-2 x119 b935 + 7.1530612244898e-4 x119^2 b935 <= 0 e1612: 7.59878e-3 x456 + 3.468e-2 b936 - 3.85075e-2 x120 b936 + 7.1530612244898e-4 x120^2 b936 <= 0 e1613: 7.59878e-3 x457 + 3.48e-2 b937 - 3.81571428571429e-2 x121 b937 + 7.1530612244898e-4 x121^2 b937 <= 0 e1614: 7.59878e-3 x458 + 3.5e-2 b938 - 3.75732142857143e-2 x122 b938 + 7.1530612244898e-4 x122^2 b938 <= 0 e1615: 7.59878e-3 x459 + 3.508e-2 b939 - 3.73396428571428e-2 x123 b939 + 7.1530612244898e-4 x123^2 b939 <= 0 e1616: 7.59878e-3 x460 + 3.512e-2 b940 - 3.72228571428571e-2 x124 b940 + 7.1530612244898e-4 x124^2 b940 <= 0 e1617: 7.59878e-3 x461 + 3.52e-2 b941 - 3.69892857142857e-2 x125 b941 + 7.1530612244898e-4 x125^2 b941 <= 0 e1618: 7.59878e-3 x462 + 3.524e-2 b942 - 3.68725e-2 x126 b942 + 7.1530612244898e-4 x126^2 b942 <= 0 e1619: 7.59878e-3 x463 + 3.528e-2 b943 - 3.67557142857143e-2 x127 b943 + 7.1530612244898e-4 x127^2 b943 <= 0 e1620: 7.59878e-3 x464 + 3.524e-2 b944 - 3.68725e-2 x128 b944 + 7.1530612244898e-4 x128^2 b944 <= 0 e1621: 7.59878e-3 x465 + 3.516e-2 b945 - 3.71060714285714e-2 x129 b945 + 7.1530612244898e-4 x129^2 b945 <= 0 e1622: 7.59878e-3 x466 + 3.496e-2 b946 - 3.769e-2 x130 b946 + 7.1530612244898e-4 x130^2 b946 <= 0 e1623: 7.59878e-3 x467 + 3.456e-2 b947 - 3.88578571428571e-2 x131 b947 + 7.1530612244898e-4 x131^2 b947 <= 0 e1624: 7.59878e-3 x468 + 3.392e-2 b948 - 4.07264285714286e-2 x132 b948 + 7.1530612244898e-4 x132^2 b948 <= 0 e1625: 7.59878e-3 x469 + 3.32e-2 b949 - 4.28285714285714e-2 x133 b949 + 7.1530612244898e-4 x133^2 b949 <= 0 e1626: 7.59878e-3 x470 + 3.236e-2 b950 - 4.52810714285714e-2 x134 b950 + 7.1530612244898e-4 x134^2 b950 <= 0 e1627: 7.59878e-3 x471 + 3.216e-2 b951 - 4.5865e-2 x135 b951 + 7.1530612244898e-4 x135^2 b951 <= 0 e1628: 7.59878e-3 x472 + 3.276e-2 b952 - 4.41132142857143e-2 x136 b952 + 7.1530612244898e-4 x136^2 b952 <= 0 e1629: 7.59878e-3 x473 + 3.292e-2 b953 - 4.36460714285714e-2 x137 b953 + 7.1530612244898e-4 x137^2 b953 <= 0 e1630: 7.59878e-3 x474 + 3.324e-2 b954 - 4.27117857142857e-2 x138 b954 + 7.1530612244898e-4 x138^2 b954 <= 0 e1631: 7.59878e-3 x475 + 3.376e-2 b955 - 4.11935714285714e-2 x139 b955 + 7.1530612244898e-4 x139^2 b955 <= 0 e1632: 7.59878e-3 x476 + 3.408e-2 b956 - 4.02592857142857e-2 x140 b956 + 7.1530612244898e-4 x140^2 b956 <= 0 e1633: 7.59878e-3 x477 + 3.424e-2 b957 - 3.97921428571429e-2 x141 b957 + 7.1530612244898e-4 x141^2 b957 <= 0 e1634: 7.59878e-3 x478 + 3.44e-2 b958 - 3.9325e-2 x142 b958 + 7.1530612244898e-4 x142^2 b958 <= 0 e1635: 7.59878e-3 x479 + 3.456e-2 b959 - 3.88578571428571e-2 x143 b959 + 7.1530612244898e-4 x143^2 b959 <= 0 e1636: 7.59878e-3 x480 + 3.468e-2 b960 - 3.85075e-2 x144 b960 + 7.1530612244898e-4 x144^2 b960 <= 0 e1637: 7.59878e-3 x481 + 3.48e-2 b961 - 3.81571428571429e-2 x145 b961 + 7.1530612244898e-4 x145^2 b961 <= 0 e1638: x386 <= 0 e1639: x387 <= 0 e1640: x388 <= 0 e1641: x389 <= 0 e1642: x390 <= 0 e1643: x391 <= 0 e1644: x392 <= 0 e1645: x393 <= 0 e1646: x394 <= 0 e1647: x395 <= 0 e1648: x396 <= 0 e1649: x397 <= 0 e1650: x398 <= 0 e1651: x399 <= 0 e1652: x400 <= 0 e1653: x401 <= 0 e1654: x402 <= 0 e1655: x403 <= 0 e1656: x404 <= 0 e1657: x405 <= 0 e1658: x406 <= 0 e1659: x407 <= 0 e1660: x408 <= 0 e1661: x409 <= 0 e1662: x410 <= 0 e1663: x411 <= 0 e1664: x412 <= 0 e1665: x413 <= 0 e1666: x414 <= 0 e1667: x415 <= 0 e1668: x416 <= 0 e1669: x417 <= 0 e1670: x418 <= 0 e1671: x419 <= 0 e1672: x420 <= 0 e1673: x421 <= 0 e1674: x422 <= 0 e1675: x423 <= 0 e1676: x424 <= 0 e1677: x425 <= 0 e1678: x426 <= 0 e1679: x427 <= 0 e1680: x428 <= 0 e1681: x429 <= 0 e1682: x430 <= 0 e1683: x431 <= 0 e1684: x432 <= 0 e1685: x433 <= 0 e1686: 6.73854e-2 x338 - .5698 b818 + 2.3399465852728e-2 x50 b818 - 6.73179282585509e-4 x50^2 b818 <= 0 e1687: 6.73854e-2 x339 - .5698 b819 + 2.3399465852728e-2 x51 b819 - 6.73179282585509e-4 x51^2 b819 <= 0 e1688: 6.73854e-2 x340 - .5698 b820 + 2.3399465852728e-2 x52 b820 - 6.73179282585509e-4 x52^2 b820 <= 0 e1689: 6.73854e-2 x341 - .5698 b821 + 2.3399465852728e-2 x53 b821 - 6.73179282585509e-4 x53^2 b821 <= 0 e1690: 6.73854e-2 x342 - .5698 b822 + 2.3399465852728e-2 x54 b822 - 6.73179282585509e-4 x54^2 b822 <= 0 e1691: 6.73854e-2 x343 - .5698 b823 + 2.3399465852728e-2 x55 b823 - 6.73179282585509e-4 x55^2 b823 <= 0 e1692: 6.73854e-2 x344 - .5698 b824 + 2.3399465852728e-2 x56 b824 - 6.73179282585509e-4 x56^2 b824 <= 0 e1693: 6.73854e-2 x345 - .5698 b825 + 2.3399465852728e-2 x57 b825 - 6.73179282585509e-4 x57^2 b825 <= 0 e1694: 6.73854e-2 x346 - .5698 b826 + 2.3399465852728e-2 x58 b826 - 6.73179282585509e-4 x58^2 b826 <= 0 e1695: 6.73854e-2 x347 - .5698 b827 + 2.3399465852728e-2 x59 b827 - 6.73179282585509e-4 x59^2 b827 <= 0 e1696: 6.73854e-2 x348 - .5698 b828 + 2.3399465852728e-2 x60 b828 - 6.73179282585509e-4 x60^2 b828 <= 0 e1697: 6.73854e-2 x349 - .5698 b829 + 2.3399465852728e-2 x61 b829 - 6.73179282585509e-4 x61^2 b829 <= 0 e1698: 6.73854e-2 x350 - .5698 b830 + 2.3399465852728e-2 x62 b830 - 6.73179282585509e-4 x62^2 b830 <= 0 e1699: 6.73854e-2 x351 - .5698 b831 + 2.3399465852728e-2 x63 b831 - 6.73179282585509e-4 x63^2 b831 <= 0 e1700: 6.73854e-2 x352 - .5698 b832 + 2.3399465852728e-2 x64 b832 - 6.73179282585509e-4 x64^2 b832 <= 0 e1701: 6.73854e-2 x353 - .5698 b833 + 2.3399465852728e-2 x65 b833 - 6.73179282585509e-4 x65^2 b833 <= 0 e1702: 6.73854e-2 x354 - .5698 b834 + 2.3399465852728e-2 x66 b834 - 6.73179282585509e-4 x66^2 b834 <= 0 e1703: 6.73854e-2 x355 - .5698 b835 + 2.3399465852728e-2 x67 b835 - 6.73179282585509e-4 x67^2 b835 <= 0 e1704: 6.73854e-2 x356 - .5698 b836 + 2.3399465852728e-2 x68 b836 - 6.73179282585509e-4 x68^2 b836 <= 0 e1705: 6.73854e-2 x357 - .5698 b837 + 2.3399465852728e-2 x69 b837 - 6.73179282585509e-4 x69^2 b837 <= 0 e1706: 6.73854e-2 x358 - .5698 b838 + 2.3399465852728e-2 x70 b838 - 6.73179282585509e-4 x70^2 b838 <= 0 e1707: 6.73854e-2 x359 - .5698 b839 + 2.3399465852728e-2 x71 b839 - 6.73179282585509e-4 x71^2 b839 <= 0 e1708: 6.73854e-2 x360 - .5698 b840 + 2.3399465852728e-2 x72 b840 - 6.73179282585509e-4 x72^2 b840 <= 0 e1709: 6.73854e-2 x361 - .5698 b841 + 2.3399465852728e-2 x73 b841 - 6.73179282585509e-4 x73^2 b841 <= 0 e1710: 6.73854e-2 x362 - .5698 b842 + 2.3399465852728e-2 x74 b842 - 6.73179282585509e-4 x74^2 b842 <= 0 e1711: 6.73854e-2 x363 - .5698 b843 + 2.3399465852728e-2 x75 b843 - 6.73179282585509e-4 x75^2 b843 <= 0 e1712: 6.73854e-2 x364 - .5698 b844 + 2.3399465852728e-2 x76 b844 - 6.73179282585509e-4 x76^2 b844 <= 0 e1713: 6.73854e-2 x365 - .5698 b845 + 2.3399465852728e-2 x77 b845 - 6.73179282585509e-4 x77^2 b845 <= 0 e1714: 6.73854e-2 x366 - .5698 b846 + 2.3399465852728e-2 x78 b846 - 6.73179282585509e-4 x78^2 b846 <= 0 e1715: 6.73854e-2 x367 - .5698 b847 + 2.3399465852728e-2 x79 b847 - 6.73179282585509e-4 x79^2 b847 <= 0 e1716: 6.73854e-2 x368 - .5698 b848 + 2.3399465852728e-2 x80 b848 - 6.73179282585509e-4 x80^2 b848 <= 0 e1717: 6.73854e-2 x369 - .5698 b849 + 2.3399465852728e-2 x81 b849 - 6.73179282585509e-4 x81^2 b849 <= 0 e1718: 6.73854e-2 x370 - .5698 b850 + 2.3399465852728e-2 x82 b850 - 6.73179282585509e-4 x82^2 b850 <= 0 e1719: 6.73854e-2 x371 - .5698 b851 + 2.3399465852728e-2 x83 b851 - 6.73179282585509e-4 x83^2 b851 <= 0 e1720: 6.73854e-2 x372 - .5698 b852 + 2.3399465852728e-2 x84 b852 - 6.73179282585509e-4 x84^2 b852 <= 0 e1721: 6.73854e-2 x373 - .5698 b853 + 2.3399465852728e-2 x85 b853 - 6.73179282585509e-4 x85^2 b853 <= 0 e1722: 6.73854e-2 x374 - .5698 b854 + 2.3399465852728e-2 x86 b854 - 6.73179282585509e-4 x86^2 b854 <= 0 e1723: 6.73854e-2 x375 - .5698 b855 + 2.3399465852728e-2 x87 b855 - 6.73179282585509e-4 x87^2 b855 <= 0 e1724: 6.73854e-2 x376 - .5698 b856 + 2.3399465852728e-2 x88 b856 - 6.73179282585509e-4 x88^2 b856 <= 0 e1725: 6.73854e-2 x377 - .5698 b857 + 2.3399465852728e-2 x89 b857 - 6.73179282585509e-4 x89^2 b857 <= 0 e1726: 6.73854e-2 x378 - .5698 b858 + 2.3399465852728e-2 x90 b858 - 6.73179282585509e-4 x90^2 b858 <= 0 e1727: 6.73854e-2 x379 - .5698 b859 + 2.3399465852728e-2 x91 b859 - 6.73179282585509e-4 x91^2 b859 <= 0 e1728: 6.73854e-2 x380 - .5698 b860 + 2.3399465852728e-2 x92 b860 - 6.73179282585509e-4 x92^2 b860 <= 0 e1729: 6.73854e-2 x381 - .5698 b861 + 2.3399465852728e-2 x93 b861 - 6.73179282585509e-4 x93^2 b861 <= 0 e1730: 6.73854e-2 x382 - .5698 b862 + 2.3399465852728e-2 x94 b862 - 6.73179282585509e-4 x94^2 b862 <= 0 e1731: 6.73854e-2 x383 - .5698 b863 + 2.3399465852728e-2 x95 b863 - 6.73179282585509e-4 x95^2 b863 <= 0 e1732: 6.73854e-2 x384 - .5698 b864 + 2.3399465852728e-2 x96 b864 - 6.73179282585509e-4 x96^2 b864 <= 0 e1733: 6.73854e-2 x385 - .5698 b865 + 2.3399465852728e-2 x97 b865 - 6.73179282585509e-4 x97^2 b865 <= 0 e1734: 3.33667e-2 x242 + .437 b818 - 3.80789774895078e-2 x50 b818 + 4.62360405732992e-4 x50^2 b818 <= 0 e1735: 3.33667e-2 x243 + .437 b819 - 3.80789774895078e-2 x51 b819 + 4.62360405732992e-4 x51^2 b819 <= 0 e1736: 3.33667e-2 x244 + .437 b820 - 3.80789774895078e-2 x52 b820 + 4.62360405732992e-4 x52^2 b820 <= 0 e1737: 3.33667e-2 x245 + .437 b821 - 3.80789774895078e-2 x53 b821 + 4.62360405732992e-4 x53^2 b821 <= 0 e1738: 3.33667e-2 x246 + .437 b822 - 3.80789774895078e-2 x54 b822 + 4.62360405732992e-4 x54^2 b822 <= 0 e1739: 3.33667e-2 x247 + .437 b823 - 3.80789774895078e-2 x55 b823 + 4.62360405732992e-4 x55^2 b823 <= 0 e1740: 3.33667e-2 x248 + .437 b824 - 3.80789774895078e-2 x56 b824 + 4.62360405732992e-4 x56^2 b824 <= 0 e1741: 3.33667e-2 x249 + .437 b825 - 3.80789774895078e-2 x57 b825 + 4.62360405732992e-4 x57^2 b825 <= 0 e1742: 3.33667e-2 x250 + .437 b826 - 3.80789774895078e-2 x58 b826 + 4.62360405732992e-4 x58^2 b826 <= 0 e1743: 3.33667e-2 x251 + .437 b827 - 3.80789774895078e-2 x59 b827 + 4.62360405732992e-4 x59^2 b827 <= 0 e1744: 3.33667e-2 x252 + .437 b828 - 3.80789774895078e-2 x60 b828 + 4.62360405732992e-4 x60^2 b828 <= 0 e1745: 3.33667e-2 x253 + .437 b829 - 3.80789774895078e-2 x61 b829 + 4.62360405732992e-4 x61^2 b829 <= 0 e1746: 3.33667e-2 x254 + .437 b830 - 3.80789774895078e-2 x62 b830 + 4.62360405732992e-4 x62^2 b830 <= 0 e1747: 3.33667e-2 x255 + .437 b831 - 3.80789774895078e-2 x63 b831 + 4.62360405732992e-4 x63^2 b831 <= 0 e1748: 3.33667e-2 x256 + .437 b832 - 3.80789774895078e-2 x64 b832 + 4.62360405732992e-4 x64^2 b832 <= 0 e1749: 3.33667e-2 x257 + .437 b833 - 3.80789774895078e-2 x65 b833 + 4.62360405732992e-4 x65^2 b833 <= 0 e1750: 3.33667e-2 x258 + .437 b834 - 3.80789774895078e-2 x66 b834 + 4.62360405732992e-4 x66^2 b834 <= 0 e1751: 3.33667e-2 x259 + .437 b835 - 3.80789774895078e-2 x67 b835 + 4.62360405732992e-4 x67^2 b835 <= 0 e1752: 3.33667e-2 x260 + .437 b836 - 3.80789774895078e-2 x68 b836 + 4.62360405732992e-4 x68^2 b836 <= 0 e1753: 3.33667e-2 x261 + .437 b837 - 3.80789774895078e-2 x69 b837 + 4.62360405732992e-4 x69^2 b837 <= 0 e1754: 3.33667e-2 x262 + .437 b838 - 3.80789774895078e-2 x70 b838 + 4.62360405732992e-4 x70^2 b838 <= 0 e1755: 3.33667e-2 x263 + .437 b839 - 3.80789774895078e-2 x71 b839 + 4.62360405732992e-4 x71^2 b839 <= 0 e1756: 3.33667e-2 x264 + .437 b840 - 3.80789774895078e-2 x72 b840 + 4.62360405732992e-4 x72^2 b840 <= 0 e1757: 3.33667e-2 x265 + .437 b841 - 3.80789774895078e-2 x73 b841 + 4.62360405732992e-4 x73^2 b841 <= 0 e1758: 3.33667e-2 x266 + .437 b842 - 3.80789774895078e-2 x74 b842 + 4.62360405732992e-4 x74^2 b842 <= 0 e1759: 3.33667e-2 x267 + .437 b843 - 3.80789774895078e-2 x75 b843 + 4.62360405732992e-4 x75^2 b843 <= 0 e1760: 3.33667e-2 x268 + .437 b844 - 3.80789774895078e-2 x76 b844 + 4.62360405732992e-4 x76^2 b844 <= 0 e1761: 3.33667e-2 x269 + .437 b845 - 3.80789774895078e-2 x77 b845 + 4.62360405732992e-4 x77^2 b845 <= 0 e1762: 3.33667e-2 x270 + .437 b846 - 3.80789774895078e-2 x78 b846 + 4.62360405732992e-4 x78^2 b846 <= 0 e1763: 3.33667e-2 x271 + .437 b847 - 3.80789774895078e-2 x79 b847 + 4.62360405732992e-4 x79^2 b847 <= 0 e1764: 3.33667e-2 x272 + .437 b848 - 3.80789774895078e-2 x80 b848 + 4.62360405732992e-4 x80^2 b848 <= 0 e1765: 3.33667e-2 x273 + .437 b849 - 3.80789774895078e-2 x81 b849 + 4.62360405732992e-4 x81^2 b849 <= 0 e1766: 3.33667e-2 x274 + .437 b850 - 3.80789774895078e-2 x82 b850 + 4.62360405732992e-4 x82^2 b850 <= 0 e1767: 3.33667e-2 x275 + .437 b851 - 3.80789774895078e-2 x83 b851 + 4.62360405732992e-4 x83^2 b851 <= 0 e1768: 3.33667e-2 x276 + .437 b852 - 3.80789774895078e-2 x84 b852 + 4.62360405732992e-4 x84^2 b852 <= 0 e1769: 3.33667e-2 x277 + .437 b853 - 3.80789774895078e-2 x85 b853 + 4.62360405732992e-4 x85^2 b853 <= 0 e1770: 3.33667e-2 x278 + .437 b854 - 3.80789774895078e-2 x86 b854 + 4.62360405732992e-4 x86^2 b854 <= 0 e1771: 3.33667e-2 x279 + .437 b855 - 3.80789774895078e-2 x87 b855 + 4.62360405732992e-4 x87^2 b855 <= 0 e1772: 3.33667e-2 x280 + .437 b856 - 3.80789774895078e-2 x88 b856 + 4.62360405732992e-4 x88^2 b856 <= 0 e1773: 3.33667e-2 x281 + .437 b857 - 3.80789774895078e-2 x89 b857 + 4.62360405732992e-4 x89^2 b857 <= 0 e1774: 3.33667e-2 x282 + .437 b858 - 3.80789774895078e-2 x90 b858 + 4.62360405732992e-4 x90^2 b858 <= 0 e1775: 3.33667e-2 x283 + .437 b859 - 3.80789774895078e-2 x91 b859 + 4.62360405732992e-4 x91^2 b859 <= 0 e1776: 3.33667e-2 x284 + .437 b860 - 3.80789774895078e-2 x92 b860 + 4.62360405732992e-4 x92^2 b860 <= 0 e1777: 3.33667e-2 x285 + .437 b861 - 3.80789774895078e-2 x93 b861 + 4.62360405732992e-4 x93^2 b861 <= 0 e1778: 3.33667e-2 x286 + .437 b862 - 3.80789774895078e-2 x94 b862 + 4.62360405732992e-4 x94^2 b862 <= 0 e1779: 3.33667e-2 x287 + .437 b863 - 3.80789774895078e-2 x95 b863 + 4.62360405732992e-4 x95^2 b863 <= 0 e1780: 3.33667e-2 x288 + .437 b864 - 3.80789774895078e-2 x96 b864 + 4.62360405732992e-4 x96^2 b864 <= 0 e1781: 3.33667e-2 x289 + .437 b865 - 3.80789774895078e-2 x97 b865 + 4.62360405732992e-4 x97^2 b865 <= 0 e1782: 1e-2 x290 + 2.45e-2 b866 - 1.00123196057726e-2 x2 b866 + 3.21355432923225e-5 x2^2 b866 <= 0 e1783: 1e-2 x291 + 2.45e-2 b867 - 1.00123196057726e-2 x3 b867 + 3.21355432923225e-5 x3^2 b867 <= 0 e1784: 1e-2 x292 + 2.45e-2 b868 - 1.00123196057726e-2 x4 b868 + 3.21355432923225e-5 x4^2 b868 <= 0 e1785: 1e-2 x293 + 2.45e-2 b869 - 1.00123196057726e-2 x5 b869 + 3.21355432923225e-5 x5^2 b869 <= 0 e1786: 1e-2 x294 + 2.45e-2 b870 - 1.00123196057726e-2 x6 b870 + 3.21355432923225e-5 x6^2 b870 <= 0 e1787: 1e-2 x295 + 2.45e-2 b871 - 1.00123196057726e-2 x7 b871 + 3.21355432923225e-5 x7^2 b871 <= 0 e1788: 1e-2 x296 + 2.45e-2 b872 - 1.00123196057726e-2 x8 b872 + 3.21355432923225e-5 x8^2 b872 <= 0 e1789: 1e-2 x297 + 2.45e-2 b873 - 1.00123196057726e-2 x9 b873 + 3.21355432923225e-5 x9^2 b873 <= 0 e1790: 1e-2 x298 + 2.45e-2 b874 - 1.00123196057726e-2 x10 b874 + 3.21355432923225e-5 x10^2 b874 <= 0 e1791: 1e-2 x299 + 2.45e-2 b875 - 1.00123196057726e-2 x11 b875 + 3.21355432923225e-5 x11^2 b875 <= 0 e1792: 1e-2 x300 + 2.45e-2 b876 - 1.00123196057726e-2 x12 b876 + 3.21355432923225e-5 x12^2 b876 <= 0 e1793: 1e-2 x301 + 2.45e-2 b877 - 1.00123196057726e-2 x13 b877 + 3.21355432923225e-5 x13^2 b877 <= 0 e1794: 1e-2 x302 + 2.45e-2 b878 - 1.00123196057726e-2 x14 b878 + 3.21355432923225e-5 x14^2 b878 <= 0 e1795: 1e-2 x303 + 2.45e-2 b879 - 1.00123196057726e-2 x15 b879 + 3.21355432923225e-5 x15^2 b879 <= 0 e1796: 1e-2 x304 + 2.45e-2 b880 - 1.00123196057726e-2 x16 b880 + 3.21355432923225e-5 x16^2 b880 <= 0 e1797: 1e-2 x305 + 2.45e-2 b881 - 1.00123196057726e-2 x17 b881 + 3.21355432923225e-5 x17^2 b881 <= 0 e1798: 1e-2 x306 + 2.45e-2 b882 - 1.00123196057726e-2 x18 b882 + 3.21355432923225e-5 x18^2 b882 <= 0 e1799: 1e-2 x307 + 2.45e-2 b883 - 1.00123196057726e-2 x19 b883 + 3.21355432923225e-5 x19^2 b883 <= 0 e1800: 1e-2 x308 + 2.45e-2 b884 - 1.00123196057726e-2 x20 b884 + 3.21355432923225e-5 x20^2 b884 <= 0 e1801: 1e-2 x309 + 2.45e-2 b885 - 1.00123196057726e-2 x21 b885 + 3.21355432923225e-5 x21^2 b885 <= 0 e1802: 1e-2 x310 + 2.45e-2 b886 - 1.00123196057726e-2 x22 b886 + 3.21355432923225e-5 x22^2 b886 <= 0 e1803: 1e-2 x311 + 2.45e-2 b887 - 1.00123196057726e-2 x23 b887 + 3.21355432923225e-5 x23^2 b887 <= 0 e1804: 1e-2 x312 + 2.45e-2 b888 - 1.00123196057726e-2 x24 b888 + 3.21355432923225e-5 x24^2 b888 <= 0 e1805: 1e-2 x313 + 2.45e-2 b889 - 1.00123196057726e-2 x25 b889 + 3.21355432923225e-5 x25^2 b889 <= 0 e1806: 1e-2 x314 + 2.45e-2 b890 - 1.00123196057726e-2 x26 b890 + 3.21355432923225e-5 x26^2 b890 <= 0 e1807: 1e-2 x315 + 2.45e-2 b891 - 1.00123196057726e-2 x27 b891 + 3.21355432923225e-5 x27^2 b891 <= 0 e1808: 1e-2 x316 + 2.45e-2 b892 - 1.00123196057726e-2 x28 b892 + 3.21355432923225e-5 x28^2 b892 <= 0 e1809: 1e-2 x317 + 2.45e-2 b893 - 1.00123196057726e-2 x29 b893 + 3.21355432923225e-5 x29^2 b893 <= 0 e1810: 1e-2 x318 + 2.45e-2 b894 - 1.00123196057726e-2 x30 b894 + 3.21355432923225e-5 x30^2 b894 <= 0 e1811: 1e-2 x319 + 2.45e-2 b895 - 1.00123196057726e-2 x31 b895 + 3.21355432923225e-5 x31^2 b895 <= 0 e1812: 1e-2 x320 + 2.45e-2 b896 - 1.00123196057726e-2 x32 b896 + 3.21355432923225e-5 x32^2 b896 <= 0 e1813: 1e-2 x321 + 2.45e-2 b897 - 1.00123196057726e-2 x33 b897 + 3.21355432923225e-5 x33^2 b897 <= 0 e1814: 1e-2 x322 + 2.45e-2 b898 - 1.00123196057726e-2 x34 b898 + 3.21355432923225e-5 x34^2 b898 <= 0 e1815: 1e-2 x323 + 2.45e-2 b899 - 1.00123196057726e-2 x35 b899 + 3.21355432923225e-5 x35^2 b899 <= 0 e1816: 1e-2 x324 + 2.45e-2 b900 - 1.00123196057726e-2 x36 b900 + 3.21355432923225e-5 x36^2 b900 <= 0 e1817: 1e-2 x325 + 2.45e-2 b901 - 1.00123196057726e-2 x37 b901 + 3.21355432923225e-5 x37^2 b901 <= 0 e1818: 1e-2 x326 + 2.45e-2 b902 - 1.00123196057726e-2 x38 b902 + 3.21355432923225e-5 x38^2 b902 <= 0 e1819: 1e-2 x327 + 2.45e-2 b903 - 1.00123196057726e-2 x39 b903 + 3.21355432923225e-5 x39^2 b903 <= 0 e1820: 1e-2 x328 + 2.45e-2 b904 - 1.00123196057726e-2 x40 b904 + 3.21355432923225e-5 x40^2 b904 <= 0 e1821: 1e-2 x329 + 2.45e-2 b905 - 1.00123196057726e-2 x41 b905 + 3.21355432923225e-5 x41^2 b905 <= 0 e1822: 1e-2 x330 + 2.45e-2 b906 - 1.00123196057726e-2 x42 b906 + 3.21355432923225e-5 x42^2 b906 <= 0 e1823: 1e-2 x331 + 2.45e-2 b907 - 1.00123196057726e-2 x43 b907 + 3.21355432923225e-5 x43^2 b907 <= 0 e1824: 1e-2 x332 + 2.45e-2 b908 - 1.00123196057726e-2 x44 b908 + 3.21355432923225e-5 x44^2 b908 <= 0 e1825: 1e-2 x333 + 2.45e-2 b909 - 1.00123196057726e-2 x45 b909 + 3.21355432923225e-5 x45^2 b909 <= 0 e1826: 1e-2 x334 + 2.45e-2 b910 - 1.00123196057726e-2 x46 b910 + 3.21355432923225e-5 x46^2 b910 <= 0 e1827: 1e-2 x335 + 2.45e-2 b911 - 1.00123196057726e-2 x47 b911 + 3.21355432923225e-5 x47^2 b911 <= 0 e1828: 1e-2 x336 + 2.45e-2 b912 - 1.00123196057726e-2 x48 b912 + 3.21355432923225e-5 x48^2 b912 <= 0 e1829: 1e-2 x337 + 2.45e-2 b913 - 1.00123196057726e-2 x49 b913 + 3.21355432923225e-5 x49^2 b913 <= 0 e1830: - 3.75732e-2 x98 + 7.59878e-3 x434 + 60.0425 b914 + 7.1530612244898e-4 x98^2 <= 60.0075 e1831: - 3.73396e-2 x99 + 7.59878e-3 x435 + 59.1713 b915 + 7.1530612244898e-4 x99^2 <= 59.1362 e1832: - 3.72229e-2 x100 + 7.59878e-3 x436 + 58.7357 b916 + 7.1530612244898e-4 x100^2 <= 58.7006 e1833: - 3.69893e-2 x101 + 7.59878e-3 x437 + 57.8645 b917 + 7.1530612244898e-4 x101^2 <= 57.8293 e1834: - 3.68725e-2 x102 + 7.59878e-3 x438 + 57.4289 b918 + 7.1530612244898e-4 x102^2 <= 57.3937 e1835: - 3.67557e-2 x103 + 7.59878e-3 x439 + 56.9933 b919 + 7.1530612244898e-4 x103^2 <= 56.958 e1836: - 3.68725e-2 x104 + 7.59878e-3 x440 + 57.4289 b920 + 7.1530612244898e-4 x104^2 <= 57.3937 e1837: - 3.71061e-2 x105 + 7.59878e-3 x441 + 58.3001 b921 + 7.1530612244898e-4 x105^2 <= 58.265 e1838: - 3.769e-2 x106 + 7.59878e-3 x442 + 60.4781 b922 + 7.1530612244898e-4 x106^2 <= 60.4431 e1839: - 3.88579e-2 x107 + 7.59878e-3 x443 + 64.8341 b923 + 7.1530612244898e-4 x107^2 <= 64.7995 e1840: - 4.07264e-2 x108 + 7.59878e-3 x444 + 71.8036 b924 + 7.1530612244898e-4 x108^2 <= 71.7697 e1841: - 4.28286e-2 x109 + 7.59878e-3 x445 + 79.6443 b925 + 7.1530612244898e-4 x109^2 <= 79.6111 e1842: - 4.52811e-2 x110 + 7.59878e-3 x446 + 88.7918 b926 + 7.1530612244898e-4 x110^2 <= 88.7595 e1843: - 4.5865e-2 x111 + 7.59878e-3 x447 + 90.9698 b927 + 7.1530612244898e-4 x111^2 <= 90.9377 e1844: - 4.41132e-2 x112 + 7.59878e-3 x448 + 84.4359 b928 + 7.1530612244898e-4 x112^2 <= 84.4031 e1845: - 4.36461e-2 x113 + 7.59878e-3 x449 + 82.6935 b929 + 7.1530612244898e-4 x113^2 <= 82.6606 e1846: - 4.27118e-2 x114 + 7.59878e-3 x450 + 79.2087 b930 + 7.1530612244898e-4 x114^2 <= 79.1755 e1847: - 4.11936e-2 x115 + 7.59878e-3 x451 + 73.546 b931 + 7.1530612244898e-4 x115^2 <= 73.5122 e1848: - 4.02593e-2 x116 + 7.59878e-3 x452 + 70.0612 b932 + 7.1530612244898e-4 x116^2 <= 70.0271 e1849: - 3.97921e-2 x117 + 7.59878e-3 x453 + 68.3188 b933 + 7.1530612244898e-4 x117^2 <= 68.2846 e1850: - 3.9325e-2 x118 + 7.59878e-3 x454 + 66.5764 b934 + 7.1530612244898e-4 x118^2 <= 66.542 e1851: - 3.88579e-2 x119 + 7.59878e-3 x455 + 64.8341 b935 + 7.1530612244898e-4 x119^2 <= 64.7995 e1852: - 3.85075e-2 x120 + 7.59878e-3 x456 + 63.5273 b936 + 7.1530612244898e-4 x120^2 <= 63.4926 e1853: - 3.81571e-2 x121 + 7.59878e-3 x457 + 62.2205 b937 + 7.1530612244898e-4 x121^2 <= 62.1857 e1854: - 3.75732e-2 x122 + 7.59878e-3 x458 + 60.0425 b938 + 7.1530612244898e-4 x122^2 <= 60.0075 e1855: - 3.73396e-2 x123 + 7.59878e-3 x459 + 59.1713 b939 + 7.1530612244898e-4 x123^2 <= 59.1362 e1856: - 3.72229e-2 x124 + 7.59878e-3 x460 + 58.7357 b940 + 7.1530612244898e-4 x124^2 <= 58.7006 e1857: - 3.69893e-2 x125 + 7.59878e-3 x461 + 57.8645 b941 + 7.1530612244898e-4 x125^2 <= 57.8293 e1858: - 3.68725e-2 x126 + 7.59878e-3 x462 + 57.4289 b942 + 7.1530612244898e-4 x126^2 <= 57.3937 e1859: - 3.67557e-2 x127 + 7.59878e-3 x463 + 56.9933 b943 + 7.1530612244898e-4 x127^2 <= 56.958 e1860: - 3.68725e-2 x128 + 7.59878e-3 x464 + 57.4289 b944 + 7.1530612244898e-4 x128^2 <= 57.3937 e1861: - 3.71061e-2 x129 + 7.59878e-3 x465 + 58.3001 b945 + 7.1530612244898e-4 x129^2 <= 58.265 e1862: - 3.769e-2 x130 + 7.59878e-3 x466 + 60.4781 b946 + 7.1530612244898e-4 x130^2 <= 60.4431 e1863: - 3.88579e-2 x131 + 7.59878e-3 x467 + 64.8341 b947 + 7.1530612244898e-4 x131^2 <= 64.7995 e1864: - 4.07264e-2 x132 + 7.59878e-3 x468 + 71.8036 b948 + 7.1530612244898e-4 x132^2 <= 71.7697 e1865: - 4.28286e-2 x133 + 7.59878e-3 x469 + 79.6443 b949 + 7.1530612244898e-4 x133^2 <= 79.6111 e1866: - 4.52811e-2 x134 + 7.59878e-3 x470 + 88.7918 b950 + 7.1530612244898e-4 x134^2 <= 88.7595 e1867: - 4.5865e-2 x135 + 7.59878e-3 x471 + 90.9698 b951 + 7.1530612244898e-4 x135^2 <= 90.9377 e1868: - 4.41132e-2 x136 + 7.59878e-3 x472 + 84.4359 b952 + 7.1530612244898e-4 x136^2 <= 84.4031 e1869: - 4.36461e-2 x137 + 7.59878e-3 x473 + 82.6935 b953 + 7.1530612244898e-4 x137^2 <= 82.6606 e1870: - 4.27118e-2 x138 + 7.59878e-3 x474 + 79.2087 b954 + 7.1530612244898e-4 x138^2 <= 79.1755 e1871: - 4.11936e-2 x139 + 7.59878e-3 x475 + 73.546 b955 + 7.1530612244898e-4 x139^2 <= 73.5122 e1872: - 4.02593e-2 x140 + 7.59878e-3 x476 + 70.0612 b956 + 7.1530612244898e-4 x140^2 <= 70.0271 e1873: - 3.97921e-2 x141 + 7.59878e-3 x477 + 68.3188 b957 + 7.1530612244898e-4 x141^2 <= 68.2846 e1874: - 3.9325e-2 x142 + 7.59878e-3 x478 + 66.5764 b958 + 7.1530612244898e-4 x142^2 <= 66.542 e1875: - 3.88579e-2 x143 + 7.59878e-3 x479 + 64.8341 b959 + 7.1530612244898e-4 x143^2 <= 64.7995 e1876: - 3.85075e-2 x144 + 7.59878e-3 x480 + 63.5273 b960 + 7.1530612244898e-4 x144^2 <= 63.4926 e1877: - 3.81571e-2 x145 + 7.59878e-3 x481 + 62.2205 b961 + 7.1530612244898e-4 x145^2 <= 62.1857 e1878: x386 <= 0 e1879: x387 <= 0 e1880: x388 <= 0 e1881: x389 <= 0 e1882: x390 <= 0 e1883: x391 <= 0 e1884: x392 <= 0 e1885: x393 <= 0 e1886: x394 <= 0 e1887: x395 <= 0 e1888: x396 <= 0 e1889: x397 <= 0 e1890: x398 <= 0 e1891: x399 <= 0 e1892: x400 <= 0 e1893: x401 <= 0 e1894: x402 <= 0 e1895: x403 <= 0 e1896: x404 <= 0 e1897: x405 <= 0 e1898: x406 <= 0 e1899: x407 <= 0 e1900: x408 <= 0 e1901: x409 <= 0 e1902: x410 <= 0 e1903: x411 <= 0 e1904: x412 <= 0 e1905: x413 <= 0 e1906: x414 <= 0 e1907: x415 <= 0 e1908: x416 <= 0 e1909: x417 <= 0 e1910: x418 <= 0 e1911: x419 <= 0 e1912: x420 <= 0 e1913: x421 <= 0 e1914: x422 <= 0 e1915: x423 <= 0 e1916: x424 <= 0 e1917: x425 <= 0 e1918: x426 <= 0 e1919: x427 <= 0 e1920: x428 <= 0 e1921: x429 <= 0 e1922: x430 <= 0 e1923: x431 <= 0 e1924: x432 <= 0 e1925: x433 <= 0 e1926: 2.33995e-2 x50 + 6.73854e-2 x338 + 17.4118 b818 - 6.73179282585509e-4 x50^2 <= 17.9816 e1927: 2.33995e-2 x51 + 6.73854e-2 x339 + 17.4118 b819 - 6.73179282585509e-4 x51^2 <= 17.9816 e1928: 2.33995e-2 x52 + 6.73854e-2 x340 + 17.4118 b820 - 6.73179282585509e-4 x52^2 <= 17.9816 e1929: 2.33995e-2 x53 + 6.73854e-2 x341 + 17.4118 b821 - 6.73179282585509e-4 x53^2 <= 17.9816 e1930: 2.33995e-2 x54 + 6.73854e-2 x342 + 17.4118 b822 - 6.73179282585509e-4 x54^2 <= 17.9816 e1931: 2.33995e-2 x55 + 6.73854e-2 x343 + 17.4118 b823 - 6.73179282585509e-4 x55^2 <= 17.9816 e1932: 2.33995e-2 x56 + 6.73854e-2 x344 + 17.4118 b824 - 6.73179282585509e-4 x56^2 <= 17.9816 e1933: 2.33995e-2 x57 + 6.73854e-2 x345 + 17.4118 b825 - 6.73179282585509e-4 x57^2 <= 17.9816 e1934: 2.33995e-2 x58 + 6.73854e-2 x346 + 17.4118 b826 - 6.73179282585509e-4 x58^2 <= 17.9816 e1935: 2.33995e-2 x59 + 6.73854e-2 x347 + 17.4118 b827 - 6.73179282585509e-4 x59^2 <= 17.9816 e1936: 2.33995e-2 x60 + 6.73854e-2 x348 + 17.4118 b828 - 6.73179282585509e-4 x60^2 <= 17.9816 e1937: 2.33995e-2 x61 + 6.73854e-2 x349 + 17.4118 b829 - 6.73179282585509e-4 x61^2 <= 17.9816 e1938: 2.33995e-2 x62 + 6.73854e-2 x350 + 17.4118 b830 - 6.73179282585509e-4 x62^2 <= 17.9816 e1939: 2.33995e-2 x63 + 6.73854e-2 x351 + 17.4118 b831 - 6.73179282585509e-4 x63^2 <= 17.9816 e1940: 2.33995e-2 x64 + 6.73854e-2 x352 + 17.4118 b832 - 6.73179282585509e-4 x64^2 <= 17.9816 e1941: 2.33995e-2 x65 + 6.73854e-2 x353 + 17.4118 b833 - 6.73179282585509e-4 x65^2 <= 17.9816 e1942: 2.33995e-2 x66 + 6.73854e-2 x354 + 17.4118 b834 - 6.73179282585509e-4 x66^2 <= 17.9816 e1943: 2.33995e-2 x67 + 6.73854e-2 x355 + 17.4118 b835 - 6.73179282585509e-4 x67^2 <= 17.9816 e1944: 2.33995e-2 x68 + 6.73854e-2 x356 + 17.4118 b836 - 6.73179282585509e-4 x68^2 <= 17.9816 e1945: 2.33995e-2 x69 + 6.73854e-2 x357 + 17.4118 b837 - 6.73179282585509e-4 x69^2 <= 17.9816 e1946: 2.33995e-2 x70 + 6.73854e-2 x358 + 17.4118 b838 - 6.73179282585509e-4 x70^2 <= 17.9816 e1947: 2.33995e-2 x71 + 6.73854e-2 x359 + 17.4118 b839 - 6.73179282585509e-4 x71^2 <= 17.9816 e1948: 2.33995e-2 x72 + 6.73854e-2 x360 + 17.4118 b840 - 6.73179282585509e-4 x72^2 <= 17.9816 e1949: 2.33995e-2 x73 + 6.73854e-2 x361 + 17.4118 b841 - 6.73179282585509e-4 x73^2 <= 17.9816 e1950: 2.33995e-2 x74 + 6.73854e-2 x362 + 17.4118 b842 - 6.73179282585509e-4 x74^2 <= 17.9816 e1951: 2.33995e-2 x75 + 6.73854e-2 x363 + 17.4118 b843 - 6.73179282585509e-4 x75^2 <= 17.9816 e1952: 2.33995e-2 x76 + 6.73854e-2 x364 + 17.4118 b844 - 6.73179282585509e-4 x76^2 <= 17.9816 e1953: 2.33995e-2 x77 + 6.73854e-2 x365 + 17.4118 b845 - 6.73179282585509e-4 x77^2 <= 17.9816 e1954: 2.33995e-2 x78 + 6.73854e-2 x366 + 17.4118 b846 - 6.73179282585509e-4 x78^2 <= 17.9816 e1955: 2.33995e-2 x79 + 6.73854e-2 x367 + 17.4118 b847 - 6.73179282585509e-4 x79^2 <= 17.9816 e1956: 2.33995e-2 x80 + 6.73854e-2 x368 + 17.4118 b848 - 6.73179282585509e-4 x80^2 <= 17.9816 e1957: 2.33995e-2 x81 + 6.73854e-2 x369 + 17.4118 b849 - 6.73179282585509e-4 x81^2 <= 17.9816 e1958: 2.33995e-2 x82 + 6.73854e-2 x370 + 17.4118 b850 - 6.73179282585509e-4 x82^2 <= 17.9816 e1959: 2.33995e-2 x83 + 6.73854e-2 x371 + 17.4118 b851 - 6.73179282585509e-4 x83^2 <= 17.9816 e1960: 2.33995e-2 x84 + 6.73854e-2 x372 + 17.4118 b852 - 6.73179282585509e-4 x84^2 <= 17.9816 e1961: 2.33995e-2 x85 + 6.73854e-2 x373 + 17.4118 b853 - 6.73179282585509e-4 x85^2 <= 17.9816 e1962: 2.33995e-2 x86 + 6.73854e-2 x374 + 17.4118 b854 - 6.73179282585509e-4 x86^2 <= 17.9816 e1963: 2.33995e-2 x87 + 6.73854e-2 x375 + 17.4118 b855 - 6.73179282585509e-4 x87^2 <= 17.9816 e1964: 2.33995e-2 x88 + 6.73854e-2 x376 + 17.4118 b856 - 6.73179282585509e-4 x88^2 <= 17.9816 e1965: 2.33995e-2 x89 + 6.73854e-2 x377 + 17.4118 b857 - 6.73179282585509e-4 x89^2 <= 17.9816 e1966: 2.33995e-2 x90 + 6.73854e-2 x378 + 17.4118 b858 - 6.73179282585509e-4 x90^2 <= 17.9816 e1967: 2.33995e-2 x91 + 6.73854e-2 x379 + 17.4118 b859 - 6.73179282585509e-4 x91^2 <= 17.9816 e1968: 2.33995e-2 x92 + 6.73854e-2 x380 + 17.4118 b860 - 6.73179282585509e-4 x92^2 <= 17.9816 e1969: 2.33995e-2 x93 + 6.73854e-2 x381 + 17.4118 b861 - 6.73179282585509e-4 x93^2 <= 17.9816 e1970: 2.33995e-2 x94 + 6.73854e-2 x382 + 17.4118 b862 - 6.73179282585509e-4 x94^2 <= 17.9816 e1971: 2.33995e-2 x95 + 6.73854e-2 x383 + 17.4118 b863 - 6.73179282585509e-4 x95^2 <= 17.9816 e1972: 2.33995e-2 x96 + 6.73854e-2 x384 + 17.4118 b864 - 6.73179282585509e-4 x96^2 <= 17.9816 e1973: 2.33995e-2 x97 + 6.73854e-2 x385 + 17.4118 b865 - 6.73179282585509e-4 x97^2 <= 17.9816 e1974: - 3.8079e-2 x50 + 3.33667e-2 x242 + 8.77774 b818 + 4.62360405732992e-4 x50^2 <= 8.34074 e1975: - 3.8079e-2 x51 + 3.33667e-2 x243 + 8.77774 b819 + 4.62360405732992e-4 x51^2 <= 8.34074 e1976: - 3.8079e-2 x52 + 3.33667e-2 x244 + 8.77774 b820 + 4.62360405732992e-4 x52^2 <= 8.34074 e1977: - 3.8079e-2 x53 + 3.33667e-2 x245 + 8.77774 b821 + 4.62360405732992e-4 x53^2 <= 8.34074 e1978: - 3.8079e-2 x54 + 3.33667e-2 x246 + 8.77774 b822 + 4.62360405732992e-4 x54^2 <= 8.34074 e1979: - 3.8079e-2 x55 + 3.33667e-2 x247 + 8.77774 b823 + 4.62360405732992e-4 x55^2 <= 8.34074 e1980: - 3.8079e-2 x56 + 3.33667e-2 x248 + 8.77774 b824 + 4.62360405732992e-4 x56^2 <= 8.34074 e1981: - 3.8079e-2 x57 + 3.33667e-2 x249 + 8.77774 b825 + 4.62360405732992e-4 x57^2 <= 8.34074 e1982: - 3.8079e-2 x58 + 3.33667e-2 x250 + 8.77774 b826 + 4.62360405732992e-4 x58^2 <= 8.34074 e1983: - 3.8079e-2 x59 + 3.33667e-2 x251 + 8.77774 b827 + 4.62360405732992e-4 x59^2 <= 8.34074 e1984: - 3.8079e-2 x60 + 3.33667e-2 x252 + 8.77774 b828 + 4.62360405732992e-4 x60^2 <= 8.34074 e1985: - 3.8079e-2 x61 + 3.33667e-2 x253 + 8.77774 b829 + 4.62360405732992e-4 x61^2 <= 8.34074 e1986: - 3.8079e-2 x62 + 3.33667e-2 x254 + 8.77774 b830 + 4.62360405732992e-4 x62^2 <= 8.34074 e1987: - 3.8079e-2 x63 + 3.33667e-2 x255 + 8.77774 b831 + 4.62360405732992e-4 x63^2 <= 8.34074 e1988: - 3.8079e-2 x64 + 3.33667e-2 x256 + 8.77774 b832 + 4.62360405732992e-4 x64^2 <= 8.34074 e1989: - 3.8079e-2 x65 + 3.33667e-2 x257 + 8.77774 b833 + 4.62360405732992e-4 x65^2 <= 8.34074 e1990: - 3.8079e-2 x66 + 3.33667e-2 x258 + 8.77774 b834 + 4.62360405732992e-4 x66^2 <= 8.34074 e1991: - 3.8079e-2 x67 + 3.33667e-2 x259 + 8.77774 b835 + 4.62360405732992e-4 x67^2 <= 8.34074 e1992: - 3.8079e-2 x68 + 3.33667e-2 x260 + 8.77774 b836 + 4.62360405732992e-4 x68^2 <= 8.34074 e1993: - 3.8079e-2 x69 + 3.33667e-2 x261 + 8.77774 b837 + 4.62360405732992e-4 x69^2 <= 8.34074 e1994: - 3.8079e-2 x70 + 3.33667e-2 x262 + 8.77774 b838 + 4.62360405732992e-4 x70^2 <= 8.34074 e1995: - 3.8079e-2 x71 + 3.33667e-2 x263 + 8.77774 b839 + 4.62360405732992e-4 x71^2 <= 8.34074 e1996: - 3.8079e-2 x72 + 3.33667e-2 x264 + 8.77774 b840 + 4.62360405732992e-4 x72^2 <= 8.34074 e1997: - 3.8079e-2 x73 + 3.33667e-2 x265 + 8.77774 b841 + 4.62360405732992e-4 x73^2 <= 8.34074 e1998: - 3.8079e-2 x74 + 3.33667e-2 x266 + 8.77774 b842 + 4.62360405732992e-4 x74^2 <= 8.34074 e1999: - 3.8079e-2 x75 + 3.33667e-2 x267 + 8.77774 b843 + 4.62360405732992e-4 x75^2 <= 8.34074 e2000: - 3.8079e-2 x76 + 3.33667e-2 x268 + 8.77774 b844 + 4.62360405732992e-4 x76^2 <= 8.34074 e2001: - 3.8079e-2 x77 + 3.33667e-2 x269 + 8.77774 b845 + 4.62360405732992e-4 x77^2 <= 8.34074 e2002: - 3.8079e-2 x78 + 3.33667e-2 x270 + 8.77774 b846 + 4.62360405732992e-4 x78^2 <= 8.34074 e2003: - 3.8079e-2 x79 + 3.33667e-2 x271 + 8.77774 b847 + 4.62360405732992e-4 x79^2 <= 8.34074 e2004: - 3.8079e-2 x80 + 3.33667e-2 x272 + 8.77774 b848 + 4.62360405732992e-4 x80^2 <= 8.34074 e2005: - 3.8079e-2 x81 + 3.33667e-2 x273 + 8.77774 b849 + 4.62360405732992e-4 x81^2 <= 8.34074 e2006: - 3.8079e-2 x82 + 3.33667e-2 x274 + 8.77774 b850 + 4.62360405732992e-4 x82^2 <= 8.34074 e2007: - 3.8079e-2 x83 + 3.33667e-2 x275 + 8.77774 b851 + 4.62360405732992e-4 x83^2 <= 8.34074 e2008: - 3.8079e-2 x84 + 3.33667e-2 x276 + 8.77774 b852 + 4.62360405732992e-4 x84^2 <= 8.34074 e2009: - 3.8079e-2 x85 + 3.33667e-2 x277 + 8.77774 b853 + 4.62360405732992e-4 x85^2 <= 8.34074 e2010: - 3.8079e-2 x86 + 3.33667e-2 x278 + 8.77774 b854 + 4.62360405732992e-4 x86^2 <= 8.34074 e2011: - 3.8079e-2 x87 + 3.33667e-2 x279 + 8.77774 b855 + 4.62360405732992e-4 x87^2 <= 8.34074 e2012: - 3.8079e-2 x88 + 3.33667e-2 x280 + 8.77774 b856 + 4.62360405732992e-4 x88^2 <= 8.34074 e2013: - 3.8079e-2 x89 + 3.33667e-2 x281 + 8.77774 b857 + 4.62360405732992e-4 x89^2 <= 8.34074 e2014: - 3.8079e-2 x90 + 3.33667e-2 x282 + 8.77774 b858 + 4.62360405732992e-4 x90^2 <= 8.34074 e2015: - 3.8079e-2 x91 + 3.33667e-2 x283 + 8.77774 b859 + 4.62360405732992e-4 x91^2 <= 8.34074 e2016: - 3.8079e-2 x92 + 3.33667e-2 x284 + 8.77774 b860 + 4.62360405732992e-4 x92^2 <= 8.34074 e2017: - 3.8079e-2 x93 + 3.33667e-2 x285 + 8.77774 b861 + 4.62360405732992e-4 x93^2 <= 8.34074 e2018: - 3.8079e-2 x94 + 3.33667e-2 x286 + 8.77774 b862 + 4.62360405732992e-4 x94^2 <= 8.34074 e2019: - 3.8079e-2 x95 + 3.33667e-2 x287 + 8.77774 b863 + 4.62360405732992e-4 x95^2 <= 8.34074 e2020: - 3.8079e-2 x96 + 3.33667e-2 x288 + 8.77774 b864 + 4.62360405732992e-4 x96^2 <= 8.34074 e2021: - 3.8079e-2 x97 + 3.33667e-2 x289 + 8.77774 b865 + 4.62360405732992e-4 x97^2 <= 8.34074 e2022: - 1.00123e-2 x2 + 1e-2 x290 + 69.792 b866 + 3.21355432923225e-5 x2^2 <= 69.7675 e2023: - 1.00123e-2 x3 + 1e-2 x291 + 69.792 b867 + 3.21355432923225e-5 x3^2 <= 69.7675 e2024: - 1.00123e-2 x4 + 1e-2 x292 + 69.792 b868 + 3.21355432923225e-5 x4^2 <= 69.7675 e2025: - 1.00123e-2 x5 + 1e-2 x293 + 69.792 b869 + 3.21355432923225e-5 x5^2 <= 69.7675 e2026: - 1.00123e-2 x6 + 1e-2 x294 + 69.792 b870 + 3.21355432923225e-5 x6^2 <= 69.7675 e2027: - 1.00123e-2 x7 + 1e-2 x295 + 69.792 b871 + 3.21355432923225e-5 x7^2 <= 69.7675 e2028: - 1.00123e-2 x8 + 1e-2 x296 + 69.792 b872 + 3.21355432923225e-5 x8^2 <= 69.7675 e2029: - 1.00123e-2 x9 + 1e-2 x297 + 69.792 b873 + 3.21355432923225e-5 x9^2 <= 69.7675 e2030: - 1.00123e-2 x10 + 1e-2 x298 + 69.792 b874 + 3.21355432923225e-5 x10^2 <= 69.7675 e2031: - 1.00123e-2 x11 + 1e-2 x299 + 69.792 b875 + 3.21355432923225e-5 x11^2 <= 69.7675 e2032: - 1.00123e-2 x12 + 1e-2 x300 + 69.792 b876 + 3.21355432923225e-5 x12^2 <= 69.7675 e2033: - 1.00123e-2 x13 + 1e-2 x301 + 69.792 b877 + 3.21355432923225e-5 x13^2 <= 69.7675 e2034: - 1.00123e-2 x14 + 1e-2 x302 + 69.792 b878 + 3.21355432923225e-5 x14^2 <= 69.7675 e2035: - 1.00123e-2 x15 + 1e-2 x303 + 69.792 b879 + 3.21355432923225e-5 x15^2 <= 69.7675 e2036: - 1.00123e-2 x16 + 1e-2 x304 + 69.792 b880 + 3.21355432923225e-5 x16^2 <= 69.7675 e2037: - 1.00123e-2 x17 + 1e-2 x305 + 69.792 b881 + 3.21355432923225e-5 x17^2 <= 69.7675 e2038: - 1.00123e-2 x18 + 1e-2 x306 + 69.792 b882 + 3.21355432923225e-5 x18^2 <= 69.7675 e2039: - 1.00123e-2 x19 + 1e-2 x307 + 69.792 b883 + 3.21355432923225e-5 x19^2 <= 69.7675 e2040: - 1.00123e-2 x20 + 1e-2 x308 + 69.792 b884 + 3.21355432923225e-5 x20^2 <= 69.7675 e2041: - 1.00123e-2 x21 + 1e-2 x309 + 69.792 b885 + 3.21355432923225e-5 x21^2 <= 69.7675 e2042: - 1.00123e-2 x22 + 1e-2 x310 + 69.792 b886 + 3.21355432923225e-5 x22^2 <= 69.7675 e2043: - 1.00123e-2 x23 + 1e-2 x311 + 69.792 b887 + 3.21355432923225e-5 x23^2 <= 69.7675 e2044: - 1.00123e-2 x24 + 1e-2 x312 + 69.792 b888 + 3.21355432923225e-5 x24^2 <= 69.7675 e2045: - 1.00123e-2 x25 + 1e-2 x313 + 69.792 b889 + 3.21355432923225e-5 x25^2 <= 69.7675 e2046: - 1.00123e-2 x26 + 1e-2 x314 + 69.792 b890 + 3.21355432923225e-5 x26^2 <= 69.7675 e2047: - 1.00123e-2 x27 + 1e-2 x315 + 69.792 b891 + 3.21355432923225e-5 x27^2 <= 69.7675 e2048: - 1.00123e-2 x28 + 1e-2 x316 + 69.792 b892 + 3.21355432923225e-5 x28^2 <= 69.7675 e2049: - 1.00123e-2 x29 + 1e-2 x317 + 69.792 b893 + 3.21355432923225e-5 x29^2 <= 69.7675 e2050: - 1.00123e-2 x30 + 1e-2 x318 + 69.792 b894 + 3.21355432923225e-5 x30^2 <= 69.7675 e2051: - 1.00123e-2 x31 + 1e-2 x319 + 69.792 b895 + 3.21355432923225e-5 x31^2 <= 69.7675 e2052: - 1.00123e-2 x32 + 1e-2 x320 + 69.792 b896 + 3.21355432923225e-5 x32^2 <= 69.7675 e2053: - 1.00123e-2 x33 + 1e-2 x321 + 69.792 b897 + 3.21355432923225e-5 x33^2 <= 69.7675 e2054: - 1.00123e-2 x34 + 1e-2 x322 + 69.792 b898 + 3.21355432923225e-5 x34^2 <= 69.7675 e2055: - 1.00123e-2 x35 + 1e-2 x323 + 69.792 b899 + 3.21355432923225e-5 x35^2 <= 69.7675 e2056: - 1.00123e-2 x36 + 1e-2 x324 + 69.792 b900 + 3.21355432923225e-5 x36^2 <= 69.7675 e2057: - 1.00123e-2 x37 + 1e-2 x325 + 69.792 b901 + 3.21355432923225e-5 x37^2 <= 69.7675 e2058: - 1.00123e-2 x38 + 1e-2 x326 + 69.792 b902 + 3.21355432923225e-5 x38^2 <= 69.7675 e2059: - 1.00123e-2 x39 + 1e-2 x327 + 69.792 b903 + 3.21355432923225e-5 x39^2 <= 69.7675 e2060: - 1.00123e-2 x40 + 1e-2 x328 + 69.792 b904 + 3.21355432923225e-5 x40^2 <= 69.7675 e2061: - 1.00123e-2 x41 + 1e-2 x329 + 69.792 b905 + 3.21355432923225e-5 x41^2 <= 69.7675 e2062: - 1.00123e-2 x42 + 1e-2 x330 + 69.792 b906 + 3.21355432923225e-5 x42^2 <= 69.7675 e2063: - 1.00123e-2 x43 + 1e-2 x331 + 69.792 b907 + 3.21355432923225e-5 x43^2 <= 69.7675 e2064: - 1.00123e-2 x44 + 1e-2 x332 + 69.792 b908 + 3.21355432923225e-5 x44^2 <= 69.7675 e2065: - 1.00123e-2 x45 + 1e-2 x333 + 69.792 b909 + 3.21355432923225e-5 x45^2 <= 69.7675 e2066: - 1.00123e-2 x46 + 1e-2 x334 + 69.792 b910 + 3.21355432923225e-5 x46^2 <= 69.7675 e2067: - 1.00123e-2 x47 + 1e-2 x335 + 69.792 b911 + 3.21355432923225e-5 x47^2 <= 69.7675 e2068: - 1.00123e-2 x48 + 1e-2 x336 + 69.792 b912 + 3.21355432923225e-5 x48^2 <= 69.7675 e2069: - 1.00123e-2 x49 + 1e-2 x337 + 69.792 b913 + 3.21355432923225e-5 x49^2 <= 69.7675 Bounds x2 <= 113.5 x3 <= 113.5 x4 <= 113.5 x5 <= 113.5 x6 <= 113.5 x7 <= 113.5 x8 <= 113.5 x9 <= 113.5 x10 <= 113.5 x11 <= 113.5 x12 <= 113.5 x13 <= 113.5 x14 <= 113.5 x15 <= 113.5 x16 <= 113.5 x17 <= 113.5 x18 <= 113.5 x19 <= 113.5 x20 <= 113.5 x21 <= 113.5 x22 <= 113.5 x23 <= 113.5 x24 <= 113.5 x25 <= 113.5 x26 <= 113.5 x27 <= 113.5 x28 <= 113.5 x29 <= 113.5 x30 <= 113.5 x31 <= 113.5 x32 <= 113.5 x33 <= 113.5 x34 <= 113.5 x35 <= 113.5 x36 <= 113.5 x37 <= 113.5 x38 <= 113.5 x39 <= 113.5 x40 <= 113.5 x41 <= 113.5 x42 <= 113.5 x43 <= 113.5 x44 <= 113.5 x45 <= 113.5 x46 <= 113.5 x47 <= 113.5 x48 <= 113.5 x49 <= 113.5 x50 <= 52 x51 <= 52 x52 <= 52 x53 <= 52 x54 <= 52 x55 <= 52 x56 <= 52 x57 <= 52 x58 <= 52 x59 <= 52 x60 <= 52 x61 <= 52 x62 <= 52 x63 <= 52 x64 <= 52 x65 <= 52 x66 <= 52 x67 <= 52 x68 <= 52 x69 <= 52 x70 <= 52 x71 <= 52 x72 <= 52 x73 <= 52 x74 <= 52 x75 <= 52 x76 <= 52 x77 <= 52 x78 <= 52 x79 <= 52 x80 <= 52 x81 <= 52 x82 <= 52 x83 <= 52 x84 <= 52 x85 <= 52 x86 <= 52 x87 <= 52 x88 <= 52 x89 <= 52 x90 <= 52 x91 <= 52 x92 <= 52 x93 <= 52 x94 <= 52 x95 <= 52 x96 <= 52 x97 <= 52 x98 <= 28 x99 <= 28 x100 <= 28 x101 <= 28 x102 <= 28 x103 <= 28 x104 <= 28 x105 <= 28 x106 <= 28 x107 <= 28 x108 <= 28 x109 <= 28 x110 <= 28 x111 <= 28 x112 <= 28 x113 <= 28 x114 <= 28 x115 <= 28 x116 <= 28 x117 <= 28 x118 <= 28 x119 <= 28 x120 <= 28 x121 <= 28 x122 <= 28 x123 <= 28 x124 <= 28 x125 <= 28 x126 <= 28 x127 <= 28 x128 <= 28 x129 <= 28 x130 <= 28 x131 <= 28 x132 <= 28 x133 <= 28 x134 <= 28 x135 <= 28 x136 <= 28 x137 <= 28 x138 <= 28 x139 <= 28 x140 <= 28 x141 <= 28 x142 <= 28 x143 <= 28 x144 <= 28 x145 <= 28 x146 <= 8.77774224180129 x147 <= 8.77774224180129 x148 <= 8.77774224180129 x149 <= 8.77774224180129 x150 <= 8.77774224180129 x151 <= 8.77774224180129 x152 <= 8.77774224180129 x153 <= 8.77774224180129 x154 <= 8.77774224180129 x155 <= 8.77774224180129 x156 <= 8.77774224180129 x157 <= 8.77774224180129 x158 <= 8.77774224180129 x159 <= 8.77774224180129 x160 <= 8.77774224180129 x161 <= 8.77774224180129 x162 <= 8.77774224180129 x163 <= 8.77774224180129 x164 <= 8.77774224180129 x165 <= 8.77774224180129 x166 <= 8.77774224180129 x167 <= 8.77774224180129 x168 <= 8.77774224180129 x169 <= 8.77774224180129 x170 <= 8.77774224180129 x171 <= 8.77774224180129 x172 <= 8.77774224180129 x173 <= 8.77774224180129 x174 <= 8.77774224180129 x175 <= 8.77774224180129 x176 <= 8.77774224180129 x177 <= 8.77774224180129 x178 <= 8.77774224180129 x179 <= 8.77774224180129 x180 <= 8.77774224180129 x181 <= 8.77774224180129 x182 <= 8.77774224180129 x183 <= 8.77774224180129 x184 <= 8.77774224180129 x185 <= 8.77774224180129 x186 <= 8.77774224180129 x187 <= 8.77774224180129 x188 <= 8.77774224180129 x189 <= 8.77774224180129 x190 <= 8.77774224180129 x191 <= 8.77774224180129 x192 <= 8.77774224180129 x193 <= 8.77774224180129 x194 <= 31.88 x195 <= 31.88 x196 <= 31.88 x197 <= 31.88 x198 <= 31.88 x199 <= 37.7 x200 <= 37.7 x201 <= 55.16 x202 <= 57.1 x203 <= 57.1 x204 <= 57.1 x205 <= 64.86 x206 <= 65.67 x207 <= 64.86 x208 <= 66.8 x209 <= 64.86 x210 <= 66.02 x211 <= 64.86 x212 <= 51.28 x213 <= 43.52 x214 <= 37.7 x215 <= 31.88 x216 <= 31.88 x217 <= 31.88 x218 <= 31.88 x219 <= 31.88 x220 <= 31.88 x221 <= 31.88 x222 <= 31.88 x223 <= 37.7 x224 <= 37.7 x225 <= 55.16 x226 <= 57.1 x227 <= 57.1 x228 <= 57.1 x229 <= 64.86 x230 <= 65.67 x231 <= 64.86 x232 <= 66.8 x233 <= 64.86 x234 <= 66.02 x235 <= 64.86 x236 <= 51.28 x237 <= 43.52 x238 <= 37.7 x239 <= 31.88 x240 <= 31.88 x241 <= 31.88 x242 <= 8.77774224180129 x243 <= 8.77774224180129 x244 <= 8.77774224180129 x245 <= 8.77774224180129 x246 <= 8.77774224180129 x247 <= 8.77774224180129 x248 <= 8.77774224180129 x249 <= 8.77774224180129 x250 <= 8.77774224180129 x251 <= 8.77774224180129 x252 <= 8.77774224180129 x253 <= 8.77774224180129 x254 <= 8.77774224180129 x255 <= 8.77774224180129 x256 <= 8.77774224180129 x257 <= 8.77774224180129 x258 <= 8.77774224180129 x259 <= 8.77774224180129 x260 <= 8.77774224180129 x261 <= 8.77774224180129 x262 <= 8.77774224180129 x263 <= 8.77774224180129 x264 <= 8.77774224180129 x265 <= 8.77774224180129 x266 <= 8.77774224180129 x267 <= 8.77774224180129 x268 <= 8.77774224180129 x269 <= 8.77774224180129 x270 <= 8.77774224180129 x271 <= 8.77774224180129 x272 <= 8.77774224180129 x273 <= 8.77774224180129 x274 <= 8.77774224180129 x275 <= 8.77774224180129 x276 <= 8.77774224180129 x277 <= 8.77774224180129 x278 <= 8.77774224180129 x279 <= 8.77774224180129 x280 <= 8.77774224180129 x281 <= 8.77774224180129 x282 <= 8.77774224180129 x283 <= 8.77774224180129 x284 <= 8.77774224180129 x285 <= 8.77774224180129 x286 <= 8.77774224180129 x287 <= 8.77774224180129 x288 <= 8.77774224180129 x289 <= 8.77774224180129 x290 <= 69.792017267767 x291 <= 69.792017267767 x292 <= 69.792017267767 x293 <= 69.792017267767 x294 <= 69.792017267767 x295 <= 69.792017267767 x296 <= 69.792017267767 x297 <= 69.792017267767 x298 <= 69.792017267767 x299 <= 69.792017267767 x300 <= 69.792017267767 x301 <= 69.792017267767 x302 <= 69.792017267767 x303 <= 69.792017267767 x304 <= 69.792017267767 x305 <= 69.792017267767 x306 <= 69.792017267767 x307 <= 69.792017267767 x308 <= 69.792017267767 x309 <= 69.792017267767 x310 <= 69.792017267767 x311 <= 69.792017267767 x312 <= 69.792017267767 x313 <= 69.792017267767 x314 <= 69.792017267767 x315 <= 69.792017267767 x316 <= 69.792017267767 x317 <= 69.792017267767 x318 <= 69.792017267767 x319 <= 69.792017267767 x320 <= 69.792017267767 x321 <= 69.792017267767 x322 <= 69.792017267767 x323 <= 69.792017267767 x324 <= 69.792017267767 x325 <= 69.792017267767 x326 <= 69.792017267767 x327 <= 69.792017267767 x328 <= 69.792017267767 x329 <= 69.792017267767 x330 <= 69.792017267767 x331 <= 69.792017267767 x332 <= 69.792017267767 x333 <= 69.792017267767 x334 <= 69.792017267767 x335 <= 69.792017267767 x336 <= 69.792017267767 x337 <= 69.792017267767 x338 <= 17.4118396076173 x339 <= 17.4118396076173 x340 <= 17.4118396076173 x341 <= 17.4118396076173 x342 <= 17.4118396076173 x343 <= 17.4118396076173 x344 <= 17.4118396076173 x345 <= 17.4118396076173 x346 <= 17.4118396076173 x347 <= 17.4118396076173 x348 <= 17.4118396076173 x349 <= 17.4118396076173 x350 <= 17.4118396076173 x351 <= 17.4118396076173 x352 <= 17.4118396076173 x353 <= 17.4118396076173 x354 <= 17.4118396076173 x355 <= 17.4118396076173 x356 <= 17.4118396076173 x357 <= 17.4118396076173 x358 <= 17.4118396076173 x359 <= 17.4118396076173 x360 <= 17.4118396076173 x361 <= 17.4118396076173 x362 <= 17.4118396076173 x363 <= 17.4118396076173 x364 <= 17.4118396076173 x365 <= 17.4118396076173 x366 <= 17.4118396076173 x367 <= 17.4118396076173 x368 <= 17.4118396076173 x369 <= 17.4118396076173 x370 <= 17.4118396076173 x371 <= 17.4118396076173 x372 <= 17.4118396076173 x373 <= 17.4118396076173 x374 <= 17.4118396076173 x375 <= 17.4118396076173 x376 <= 17.4118396076173 x377 <= 17.4118396076173 x378 <= 17.4118396076173 x379 <= 17.4118396076173 x380 <= 17.4118396076173 x381 <= 17.4118396076173 x382 <= 17.4118396076173 x383 <= 17.4118396076173 x384 <= 17.4118396076173 x385 <= 17.4118396076173 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 <= 60.0425 x435 <= 59.171308 x436 <= 58.735712 x437 <= 57.86452 x438 <= 57.428924 x439 <= 56.993328 x440 <= 57.428924 x441 <= 58.300116 x442 <= 60.478096 x443 <= 64.834056 x444 <= 71.803592 x445 <= 79.64432 x446 <= 88.791836 x447 <= 90.969816 x448 <= 84.435876 x449 <= 82.693492 x450 <= 79.208724 x451 <= 73.545976 x452 <= 70.061208 x453 <= 68.318824 x454 <= 66.57644 x455 <= 64.834056 x456 <= 63.527268 x457 <= 62.22048 x458 <= 60.0425 x459 <= 59.171308 x460 <= 58.735712 x461 <= 57.86452 x462 <= 57.428924 x463 <= 56.993328 x464 <= 57.428924 x465 <= 58.300116 x466 <= 60.478096 x467 <= 64.834056 x468 <= 71.803592 x469 <= 79.64432 x470 <= 88.791836 x471 <= 90.969816 x472 <= 84.435876 x473 <= 82.693492 x474 <= 79.208724 x475 <= 73.545976 x476 <= 70.061208 x477 <= 68.318824 x478 <= 66.57644 x479 <= 64.834056 x480 <= 63.527268 x481 <= 62.22048 x482 <= 100 x483 <= 100 x484 <= 100 x485 <= 100 x486 <= 100 x487 <= 100 x488 <= 100 x489 <= 100 x490 <= 100 x491 <= 100 x492 <= 100 x493 <= 100 x494 <= 100 x495 <= 100 x496 <= 100 x497 <= 100 x498 <= 100 x499 <= 100 x500 <= 100 x501 <= 100 x502 <= 100 x503 <= 100 x504 <= 100 x505 <= 100 x506 <= 100 x507 <= 100 x508 <= 100 x509 <= 100 x510 <= 100 x511 <= 100 x512 <= 100 x513 <= 100 x514 <= 100 x515 <= 100 x516 <= 100 x517 <= 100 x518 <= 100 x519 <= 100 x520 <= 100 x521 <= 100 x522 <= 100 x523 <= 100 x524 <= 100 x525 <= 100 x526 <= 100 x527 <= 100 x528 <= 100 x529 <= 100 x530 <= 200 x531 <= 200 x532 <= 200 x533 <= 200 x534 <= 200 x535 <= 200 x536 <= 200 x537 <= 200 x538 <= 200 x539 <= 200 x540 <= 200 x541 <= 200 x542 <= 200 x543 <= 200 x544 <= 200 x545 <= 200 x546 <= 200 x547 <= 200 x548 <= 200 x549 <= 200 x550 <= 200 x551 <= 200 x552 <= 200 x553 <= 200 x554 <= 200 x555 <= 200 x556 <= 200 x557 <= 200 x558 <= 200 x559 <= 200 x560 <= 200 x561 <= 200 x562 <= 200 x563 <= 200 x564 <= 200 x565 <= 200 x566 <= 200 x567 <= 200 x568 <= 200 x569 <= 200 x570 <= 200 x571 <= 200 x572 <= 200 x573 <= 200 x574 <= 200 x575 <= 200 x576 <= 200 x577 <= 200 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 <= 87.2038568753844 x627 <= 87.2038568753844 x628 <= 87.2038568753844 x629 <= 87.2038568753844 x630 <= 87.2038568753844 x631 <= 87.2038568753844 x632 <= 87.2038568753844 x633 <= 87.2038568753844 x634 <= 87.2038568753844 x635 <= 87.2038568753844 x636 <= 87.2038568753844 x637 <= 87.2038568753844 x638 <= 87.2038568753844 x639 <= 87.2038568753844 x640 <= 87.2038568753844 x641 <= 87.2038568753844 x642 <= 87.2038568753844 x643 <= 87.2038568753844 x644 <= 87.2038568753844 x645 <= 87.2038568753844 x646 <= 87.2038568753844 x647 <= 87.2038568753844 x648 <= 87.2038568753844 x649 <= 87.2038568753844 x650 <= 87.2038568753844 x651 <= 87.2038568753844 x652 <= 87.2038568753844 x653 <= 87.2038568753844 x654 <= 87.2038568753844 x655 <= 87.2038568753844 x656 <= 87.2038568753844 x657 <= 87.2038568753844 x658 <= 87.2038568753844 x659 <= 87.2038568753844 x660 <= 87.2038568753844 x661 <= 87.2038568753844 x662 <= 87.2038568753844 x663 <= 87.2038568753844 x664 <= 87.2038568753844 x665 <= 87.2038568753844 x666 <= 87.2038568753844 x667 <= 87.2038568753844 x668 <= 87.2038568753844 x669 <= 87.2038568753844 x670 <= 87.2038568753844 x671 <= 87.2038568753844 x672 <= 87.2038568753844 x673 <= 87.2038568753844 x674 <= 1 x675 <= 1 x676 <= 1 x677 <= 1 x678 <= 1 x679 <= 1 x680 <= 1 x681 <= 1 x682 <= 1 x683 <= 1 x684 <= 1 x685 <= 1 x686 <= 1 x687 <= 1 x688 <= 1 x689 <= 1 x690 <= 1 x691 <= 1 x692 <= 1 x693 <= 1 x694 <= 1 x695 <= 1 x696 <= 1 x697 <= 1 x698 <= 1 x699 <= 1 x700 <= 1 x701 <= 1 x702 <= 1 x703 <= 1 x704 <= 1 x705 <= 1 x706 <= 1 x707 <= 1 x708 <= 1 x709 <= 1 x710 <= 1 x711 <= 1 x712 <= 1 x713 <= 1 x714 <= 1 x715 <= 1 x716 <= 1 x717 <= 1 x718 <= 1 x719 <= 1 x720 <= 1 x721 <= 1 x722 <= 1 x723 <= 1 x724 <= 1 x725 <= 1 x726 <= 1 x727 <= 1 x728 <= 1 x729 <= 1 x730 <= 1 x731 <= 1 x732 <= 1 x733 <= 1 x734 <= 1 x735 <= 1 x736 <= 1 x737 <= 1 x738 <= 1 x739 <= 1 x740 <= 1 x741 <= 1 x742 <= 1 x743 <= 1 x744 <= 1 x745 <= 1 x746 <= 1 x747 <= 1 x748 <= 1 x749 <= 1 x750 <= 1 x751 <= 1 x752 <= 1 x753 <= 1 x754 <= 1 x755 <= 1 x756 <= 1 x757 <= 1 x758 <= 1 x759 <= 1 x760 <= 1 x761 <= 1 x762 <= 1 x763 <= 1 x764 <= 1 x765 <= 1 x766 <= 1 x767 <= 1 x768 <= 1 x769 <= 1 x770 <= 1 x771 <= 1 x772 <= 1 x773 <= 1 x774 <= 1 x775 <= 1 x776 <= 1 x777 <= 1 x778 <= 1 x779 <= 1 x780 <= 1 x781 <= 1 x782 <= 1 x783 <= 1 x784 <= 1 x785 <= 1 x786 <= 1 x787 <= 1 x788 <= 1 x789 <= 1 x790 <= 1 x791 <= 1 x792 <= 1 x793 <= 1 x794 <= 1 x795 <= 1 x796 <= 1 x797 <= 1 x798 <= 1 x799 <= 1 x800 <= 1 x801 <= 1 x802 <= 1 x803 <= 1 x804 <= 1 x805 <= 1 x806 <= 1 x807 <= 1 x808 <= 1 x809 <= 1 x810 <= 1 x811 <= 1 x812 <= 1 x813 <= 1 x814 <= 1 x815 <= 1 x816 <= 1 x817 <= 1 -17.865236 <= x962 <= .61531973115027 -17.865236 <= x963 <= .61531973115027 -17.865236 <= x964 <= .61531973115027 -17.865236 <= x965 <= .61531973115027 -17.865236 <= x966 <= .61531973115027 -18.37565 <= x967 <= .61531973115027 -18.37565 <= x968 <= .61531973115027 -21.529772 <= x969 <= .812818931590799 -24.27003 <= x970 <= 1.10775107091532 -24.27003 <= x971 <= 1.10775107091532 -24.27003 <= x972 <= 1.10775107091532 -25.493782 <= x973 <= 1.10775107091532 -25.621519 <= x974 <= 1.10775107091532 -25.493782 <= x975 <= 1.10775107091532 -25.79972 <= x976 <= 1.10775107091532 -25.493782 <= x977 <= 1.10775107091532 -25.676714 <= x978 <= 1.10775107091532 -25.493782 <= x979 <= 1.10775107091532 -23.352216 <= x980 <= 1.10775107091532 -20.183024 <= x981 <= .812818931590799 -19.50965 <= x982 <= .812818931590799 -18.836276 <= x983 <= .812818931590799 -18.836276 <= x984 <= .812818931590799 -17.865236 <= x985 <= .61531973115027 -18.212036 <= x986 <= .703097153568283 -18.212036 <= x987 <= .703097153568283 -18.212036 <= x988 <= .703097153568283 -18.212036 <= x989 <= .703097153568283 -18.212036 <= x990 <= .703097153568283 -18.78065 <= x991 <= .703097153568283 -18.78065 <= x992 <= .703097153568283 -26.166572 <= x993 <= .812818931590799 -24.27003 <= x994 <= 1.10775107091532 -24.27003 <= x995 <= 1.10775107091532 -24.27003 <= x996 <= 1.10775107091532 -26.170382 <= x997 <= 1.19552849333334 -26.306219 <= x998 <= 1.19552849333334 -26.170382 <= x999 <= 1.28330591575135 -25.79972 <= x1000 <= 1.19552849333334 -25.493782 <= x1001 <= 1.19552849333334 -25.676714 <= x1002 <= 1.10775107091532 -25.493782 <= x1003 <= 1.10775107091532 -23.352216 <= x1004 <= 1.10775107091532 -20.183024 <= x1005 <= .812818931590799 -19.50965 <= x1006 <= .812818931590799 -18.836276 <= x1007 <= .812818931590799 -18.836276 <= x1008 <= .812818931590799 -17.865236 <= x1009 <= .703097153568283 Binary b818 b819 b820 b821 b822 b823 b824 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 b945 b946 b947 b948 b949 b950 b951 b952 b953 b954 b955 b956 b957 b958 b959 b960 b961 End