\ Equation counts \ Total E G L N X C B \ 2442 427 936 1079 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 964 832 132 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 8168 7784 384 0 \ Maximize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 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 b121 + 0 b122 + 0 b123 + 0 b124 + 0 b125 + 0 b126 + 0 b127 + 0 b128 + 0 b129 + 0 b130 + 0 b131 + 0 b132 + 0 b133 + 0 b134 + 0 b135 + 0 b136 + 0 b137 + 0 b138 + 0 b139 + 0 b140 + 0 b141 + 0 b142 + 0 b143 + 0 b144 + 0 b145 + 0 b146 + 0 b147 + 0 b148 + 0 b149 + 0 b150 + 0 b151 + 0 b152 + 0 b153 + 0 b154 + 0 b155 + 0 b156 + 0 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 + 1.5 x193 + 1.5 x194 + 1.5 x195 + 1.7 x196 + 1.7 x197 + 1.7 x198 + 1.5 x199 + 1.5 x200 + 1.5 x201 + 1.6 x202 + 1.6 x203 + 1.6 x204 + 1.45 x205 + 1.45 x206 + 1.45 x207 + 1.6 x208 + 1.6 x209 + 1.6 x210 + 1.55 x211 + 1.55 x212 + 1.55 x213 + 1.6 x214 + 1.6 x215 + 1.6 x216 + 1.45 x217 + 1.45 x218 + 1.45 x219 + 1.6 x220 + 1.6 x221 + 1.6 x222 + 1.55 x223 + 1.55 x224 + 1.55 x225 + 1.6 x226 + 1.6 x227 + 1.6 x228 + 1.45 x229 + 1.45 x230 + 1.45 x231 + 1.6 x232 + 1.6 x233 + 1.6 x234 + 1.55 x235 + 1.55 x236 + 1.55 x237 + 1.6 x238 + 1.6 x239 + 1.6 x240 + 1.45 x241 + 1.45 x242 + 1.45 x243 + 1.6 x244 + 1.6 x245 + 1.6 x246 + 1.55 x247 + 1.55 x248 + 1.55 x249 + 1.6 x250 + 1.6 x251 + 1.6 x252 + 1.45 x253 + 1.45 x254 + 1.45 x255 + 1.6 x256 + 1.6 x257 + 1.6 x258 + 1.55 x259 + 1.55 x260 + 1.55 x261 + 1.6 x262 + 1.6 x263 + 1.6 x264 + 1.45 x265 + 1.45 x266 + 1.45 x267 + 1.6 x268 + 1.6 x269 + 1.6 x270 + 1.55 x271 + 1.55 x272 + 1.55 x273 + 1.6 x274 + 1.6 x275 + 1.6 x276 + 1.45 x277 + 1.45 x278 + 1.45 x279 + 1.6 x280 + 1.6 x281 + 1.6 x282 + 1.55 x283 + 1.55 x284 + 1.55 x285 + 1.6 x286 + 1.6 x287 + 1.6 x288 + 1.45 x289 + 1.45 x290 + 1.45 x291 + 1.6 x292 + 1.6 x293 + 1.6 x294 + 1.55 x295 + 1.55 x296 + 1.55 x297 + 1.6 x298 + 1.6 x299 + 1.6 x300 + 1.5 x301 + 1.5 x302 + 1.5 x303 + 1.7 x304 + 1.7 x305 + 1.7 x306 + 1.5 x307 + 1.5 x308 + 1.5 x309 + 1.6 x310 + 1.6 x311 + 1.6 x312 + 1.5 x313 + 1.5 x314 + 1.5 x315 + 1.7 x316 + 1.7 x317 + 1.7 x318 + 1.5 x319 + 1.5 x320 + 1.5 x321 + 1.6 x322 + 1.6 x323 + 1.6 x324 + 1.5 x325 + 1.5 x326 + 1.5 x327 + 1.7 x328 + 1.7 x329 + 1.7 x330 + 1.5 x331 + 1.5 x332 + 1.5 x333 + 1.6 x334 + 1.6 x335 + 1.6 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 - 10 x860 - 10 x861 - 10 x862 - 10 x863 - 10 x864 - 10 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 0 x961 - 4 x962 - x963 - x964 Subject To e1: b1 + b4 + b7 + b10 <= 1 e2: b2 + b5 + b8 + b11 <= 1 e3: b3 + b6 + b9 + b12 <= 1 e4: b13 + b16 + b19 + b22 <= 1 e5: b14 + b17 + b20 + b23 <= 1 e6: b15 + b18 + b21 + b24 <= 1 e7: b25 + b28 + b31 + b34 <= 1 e8: b26 + b29 + b32 + b35 <= 1 e9: b27 + b30 + b33 + b36 <= 1 e10: b37 + b40 + b43 + b46 <= 1 e11: b38 + b41 + b44 + b47 <= 1 e12: b39 + b42 + b45 + b48 <= 1 e13: b49 + b52 + b55 + b58 <= 1 e14: b50 + b53 + b56 + b59 <= 1 e15: b51 + b54 + b57 + b60 <= 1 e16: b61 + b64 + b67 + b70 <= 1 e17: b62 + b65 + b68 + b71 <= 1 e18: b63 + b66 + b69 + b72 <= 1 e19: b73 + b76 + b79 + b82 <= 1 e20: b74 + b77 + b80 + b83 <= 1 e21: b75 + b78 + b81 + b84 <= 1 e22: b85 + b88 + b91 + b94 <= 1 e23: b86 + b89 + b92 + b95 <= 1 e24: b87 + b90 + b93 + b96 <= 1 e25: b1 + b2 + b4 + b5 + b7 + b8 + b10 + b11 + x97 <= 2 e26: b2 + b3 + b5 + b6 + b8 + b9 + b11 + b12 + x98 <= 2 e27: b13 + b14 + b16 + b17 + b19 + b20 + b22 + b23 + x100 <= 2 e28: b14 + b15 + b17 + b18 + b20 + b21 + b23 + b24 + x101 <= 2 e29: b25 + b26 + b28 + b29 + b31 + b32 + b34 + b35 + x103 <= 2 e30: b26 + b27 + b29 + b30 + b32 + b33 + b35 + b36 + x104 <= 2 e31: b37 + b38 + b40 + b41 + b43 + b44 + b46 + b47 + x106 <= 2 e32: b38 + b39 + b41 + b42 + b44 + b45 + b47 + b48 + x107 <= 2 e33: b49 + b50 + b52 + b53 + b55 + b56 + b58 + b59 + x109 <= 2 e34: b50 + b51 + b53 + b54 + b56 + b57 + b59 + b60 + x110 <= 2 e35: b61 + b62 + b64 + b65 + b67 + b68 + b70 + b71 + x112 <= 2 e36: b62 + b63 + b65 + b66 + b68 + b69 + b71 + b72 + x113 <= 2 e37: b73 + b74 + b76 + b77 + b79 + b80 + b82 + b83 + x115 <= 2 e38: b74 + b75 + b77 + b78 + b80 + b81 + b83 + b84 + x116 <= 2 e39: b85 + b86 + b88 + b89 + b91 + b92 + b94 + b95 + x118 <= 2 e40: b86 + b87 + b89 + b90 + b92 + b93 + b95 + b96 + x119 <= 2 e41: - b1 + b2 - b4 + b5 - b7 + b8 - b10 + b11 + x97 >= 0 e42: - b2 + b3 - b5 + b6 - b8 + b9 - b11 + b12 + x98 >= 0 e43: - b13 + b14 - b16 + b17 - b19 + b20 - b22 + b23 + x100 >= 0 e44: - b14 + b15 - b17 + b18 - b20 + b21 - b23 + b24 + x101 >= 0 e45: - b25 + b26 - b28 + b29 - b31 + b32 - b34 + b35 + x103 >= 0 e46: - b26 + b27 - b29 + b30 - b32 + b33 - b35 + b36 + x104 >= 0 e47: - b37 + b38 - b40 + b41 - b43 + b44 - b46 + b47 + x106 >= 0 e48: - b38 + b39 - b41 + b42 - b44 + b45 - b47 + b48 + x107 >= 0 e49: - b49 + b50 - b52 + b53 - b55 + b56 - b58 + b59 + x109 >= 0 e50: - b50 + b51 - b53 + b54 - b56 + b57 - b59 + b60 + x110 >= 0 e51: - b61 + b62 - b64 + b65 - b67 + b68 - b70 + b71 + x112 >= 0 e52: - b62 + b63 - b65 + b66 - b68 + b69 - b71 + b72 + x113 >= 0 e53: - b73 + b74 - b76 + b77 - b79 + b80 - b82 + b83 + x115 >= 0 e54: - b74 + b75 - b77 + b78 - b80 + b81 - b83 + b84 + x116 >= 0 e55: - b85 + b86 - b88 + b89 - b91 + b92 - b94 + b95 + x118 >= 0 e56: - b86 + b87 - b89 + b90 - b92 + b93 - b95 + b96 + x119 >= 0 e57: - b3 - b6 - b9 - b12 + x99 >= 0 e58: - b15 - b18 - b21 - b24 + x102 >= 0 e59: - b27 - b30 - b33 - b36 + x105 >= 0 e60: - b39 - b42 - b45 - b48 + x108 >= 0 e61: - b51 - b54 - b57 - b60 + x111 >= 0 e62: - b63 - b66 - b69 - b72 + x114 >= 0 e63: - b75 - b78 - b81 - b84 + x117 >= 0 e64: - b87 - b90 - b93 - b96 + x120 >= 0 e65: x97 + x98 + x99 = 1 e66: x100 + x101 + x102 = 1 e67: x103 + x104 + x105 = 1 e68: x106 + x107 + x108 = 1 e69: x109 + x110 + x111 = 1 e70: x112 + x113 + x114 = 1 e71: x115 + x116 + x117 = 1 e72: x118 + x119 + x120 = 1 e73: - x346 - 1.25 x458 + 1.25 x554 <= 0 e74: - x347 - 1.25 x459 + 1.25 x555 <= 0 e75: - x348 - 1.25 x460 + 1.25 x556 <= 0 e76: - x349 - 1.25 x461 + 1.25 x557 <= 0 e77: - x350 - 1.25 x462 + 1.25 x558 <= 0 e78: - x351 - 1.25 x463 + 1.25 x559 <= 0 e79: - x352 - 1.25 x464 + 1.25 x560 <= 0 e80: - x353 - 1.25 x465 + 1.25 x561 <= 0 e81: - x354 - 1.25 x466 + 1.25 x562 <= 0 e82: - x355 - 1.25 x467 + 1.25 x563 <= 0 e83: - x356 - 1.25 x468 + 1.25 x564 <= 0 e84: - x357 - 1.25 x469 + 1.25 x565 <= 0 e85: - x358 - 1.25 x470 + 1.25 x566 <= 0 e86: - x359 - 1.25 x471 + 1.25 x567 <= 0 e87: - x360 - 1.25 x472 + 1.25 x568 <= 0 e88: - x361 - 1.25 x473 + 1.25 x569 <= 0 e89: - x362 - 1.25 x474 + 1.25 x570 <= 0 e90: - x363 - 1.25 x475 + 1.25 x571 <= 0 e91: - x364 - 1.25 x476 + 1.25 x572 <= 0 e92: - x365 - 1.25 x477 + 1.25 x573 <= 0 e93: - x366 - 1.25 x478 + 1.25 x574 <= 0 e94: - x367 - 1.25 x479 + 1.25 x575 <= 0 e95: - x368 - 1.25 x480 + 1.25 x576 <= 0 e96: - x369 - 1.25 x481 + 1.25 x577 <= 0 e97: - x370 - 1.25 x482 + 1.25 x578 <= 0 e98: - x371 - 1.25 x483 + 1.25 x579 <= 0 e99: - x372 - 1.25 x484 + 1.25 x580 <= 0 e100: - x373 - 1.25 x485 + 1.25 x581 <= 0 e101: - x374 - 1.25 x486 + 1.25 x582 <= 0 e102: - x375 - 1.25 x487 + 1.25 x583 <= 0 e103: - x376 - 1.25 x488 + 1.25 x584 <= 0 e104: - x377 - 1.25 x489 + 1.25 x585 <= 0 e105: - x378 - 1.25 x490 + 1.25 x586 <= 0 e106: - x379 - 1.25 x491 + 1.25 x587 <= 0 e107: - x380 - 1.25 x492 + 1.25 x588 <= 0 e108: - x381 - 1.25 x493 + 1.25 x589 <= 0 e109: - x382 - 1.25 x494 + 1.25 x590 <= 0 e110: - x383 - 1.25 x495 + 1.25 x591 <= 0 e111: - x384 - 1.25 x496 + 1.25 x592 <= 0 e112: - x385 - 1.25 x497 + 1.25 x593 <= 0 e113: - x386 - 1.25 x498 + 1.25 x594 <= 0 e114: - x387 - 1.25 x499 + 1.25 x595 <= 0 e115: - x388 - 1.25 x500 + 1.25 x596 <= 0 e116: - x389 - 1.25 x501 + 1.25 x597 <= 0 e117: - x390 - 1.25 x502 + 1.25 x598 <= 0 e118: - x391 - 1.25 x503 + 1.25 x599 <= 0 e119: - x392 - 1.25 x504 + 1.25 x600 <= 0 e120: - x393 - 1.25 x505 + 1.25 x601 <= 0 e121: - x394 - 1.25 x506 + 1.25 x602 <= 0 e122: - x395 - 1.25 x507 + 1.25 x603 <= 0 e123: - x396 - 1.25 x508 + 1.25 x604 <= 0 e124: - x397 - 1.25 x509 + 1.25 x605 <= 0 e125: - x398 - 1.25 x510 + 1.25 x606 <= 0 e126: - x399 - 1.25 x511 + 1.25 x607 <= 0 e127: - x400 - 1.25 x512 + 1.25 x608 <= 0 e128: - x401 - 1.25 x513 + 1.25 x609 <= 0 e129: - x402 - 1.25 x514 + 1.25 x610 <= 0 e130: - x403 - 1.25 x515 + 1.25 x611 <= 0 e131: - x404 - 1.25 x516 + 1.25 x612 <= 0 e132: - x405 - 1.25 x517 + 1.25 x613 <= 0 e133: - x406 - 1.25 x518 + 1.25 x614 <= 0 e134: - x407 - 1.25 x519 + 1.25 x615 <= 0 e135: - x408 - 1.25 x520 + 1.25 x616 <= 0 e136: - x409 - 1.25 x521 + 1.25 x617 <= 0 e137: - x410 - 1.25 x522 + 1.25 x618 <= 0 e138: - x411 - 1.25 x523 + 1.25 x619 <= 0 e139: - x412 - 1.25 x524 + 1.25 x620 <= 0 e140: - x413 - 1.25 x525 + 1.25 x621 <= 0 e141: - x414 - 1.25 x526 + 1.25 x622 <= 0 e142: - x415 - 1.25 x527 + 1.25 x623 <= 0 e143: - x416 - 1.25 x528 + 1.25 x624 <= 0 e144: - x417 - 1.25 x529 + 1.25 x625 <= 0 e145: - x418 - 1.25 x530 + 1.25 x626 <= 0 e146: - x419 - 1.25 x531 + 1.25 x627 <= 0 e147: - x420 - 1.25 x532 + 1.25 x628 <= 0 e148: - x421 - 1.25 x533 + 1.25 x629 <= 0 e149: - x422 - 1.25 x534 + 1.25 x630 <= 0 e150: - x423 - 1.25 x535 + 1.25 x631 <= 0 e151: - x424 - 1.25 x536 + 1.25 x632 <= 0 e152: - x425 - 1.25 x537 + 1.25 x633 <= 0 e153: - x426 - 1.25 x538 + 1.25 x634 <= 0 e154: - x427 - 1.25 x539 + 1.25 x635 <= 0 e155: - x428 - 1.25 x540 + 1.25 x636 <= 0 e156: - x429 - 1.25 x541 + 1.25 x637 <= 0 e157: - x430 - 1.25 x542 + 1.25 x638 <= 0 e158: - x431 - 1.25 x543 + 1.25 x639 <= 0 e159: - x432 - 1.25 x544 + 1.25 x640 <= 0 e160: - x433 - 1.25 x545 + 1.25 x641 <= 0 e161: - x434 - 1.25 x546 + 1.25 x642 <= 0 e162: - x435 - 1.25 x547 + 1.25 x643 <= 0 e163: - x436 - 1.25 x548 + 1.25 x644 <= 0 e164: - x437 - 1.25 x549 + 1.25 x645 <= 0 e165: - x438 - 1.25 x550 + 1.25 x646 <= 0 e166: - x439 - 1.25 x551 + 1.25 x647 <= 0 e167: - x440 - 1.25 x552 + 1.25 x648 <= 0 e168: - x441 - 1.25 x553 + 1.25 x649 <= 0 e169: x346 + 50 x458 - 50 x554 <= 0 e170: x347 + 50 x459 - 50 x555 <= 0 e171: x348 + 50 x460 - 50 x556 <= 0 e172: x349 + 50 x461 - 50 x557 <= 0 e173: x350 + 50 x462 - 50 x558 <= 0 e174: x351 + 50 x463 - 50 x559 <= 0 e175: x352 + 50 x464 - 50 x560 <= 0 e176: x353 + 50 x465 - 50 x561 <= 0 e177: x354 + 50 x466 - 50 x562 <= 0 e178: x355 + 50 x467 - 50 x563 <= 0 e179: x356 + 50 x468 - 50 x564 <= 0 e180: x357 + 50 x469 - 50 x565 <= 0 e181: x358 + 50 x470 - 50 x566 <= 0 e182: x359 + 50 x471 - 50 x567 <= 0 e183: x360 + 50 x472 - 50 x568 <= 0 e184: x361 + 50 x473 - 50 x569 <= 0 e185: x362 + 50 x474 - 50 x570 <= 0 e186: x363 + 50 x475 - 50 x571 <= 0 e187: x364 + 50 x476 - 50 x572 <= 0 e188: x365 + 50 x477 - 50 x573 <= 0 e189: x366 + 50 x478 - 50 x574 <= 0 e190: x367 + 50 x479 - 50 x575 <= 0 e191: x368 + 50 x480 - 50 x576 <= 0 e192: x369 + 50 x481 - 50 x577 <= 0 e193: x370 + 50 x482 - 50 x578 <= 0 e194: x371 + 50 x483 - 50 x579 <= 0 e195: x372 + 50 x484 - 50 x580 <= 0 e196: x373 + 50 x485 - 50 x581 <= 0 e197: x374 + 50 x486 - 50 x582 <= 0 e198: x375 + 50 x487 - 50 x583 <= 0 e199: x376 + 50 x488 - 50 x584 <= 0 e200: x377 + 50 x489 - 50 x585 <= 0 e201: x378 + 50 x490 - 50 x586 <= 0 e202: x379 + 50 x491 - 50 x587 <= 0 e203: x380 + 50 x492 - 50 x588 <= 0 e204: x381 + 50 x493 - 50 x589 <= 0 e205: x382 + 50 x494 - 50 x590 <= 0 e206: x383 + 50 x495 - 50 x591 <= 0 e207: x384 + 50 x496 - 50 x592 <= 0 e208: x385 + 50 x497 - 50 x593 <= 0 e209: x386 + 50 x498 - 50 x594 <= 0 e210: x387 + 50 x499 - 50 x595 <= 0 e211: x388 + 50 x500 - 50 x596 <= 0 e212: x389 + 50 x501 - 50 x597 <= 0 e213: x390 + 50 x502 - 50 x598 <= 0 e214: x391 + 50 x503 - 50 x599 <= 0 e215: x392 + 50 x504 - 50 x600 <= 0 e216: x393 + 50 x505 - 50 x601 <= 0 e217: x394 + 50 x506 - 50 x602 <= 0 e218: x395 + 50 x507 - 50 x603 <= 0 e219: x396 + 50 x508 - 50 x604 <= 0 e220: x397 + 50 x509 - 50 x605 <= 0 e221: x398 + 50 x510 - 50 x606 <= 0 e222: x399 + 50 x511 - 50 x607 <= 0 e223: x400 + 50 x512 - 50 x608 <= 0 e224: x401 + 50 x513 - 50 x609 <= 0 e225: x402 + 50 x514 - 50 x610 <= 0 e226: x403 + 50 x515 - 50 x611 <= 0 e227: x404 + 50 x516 - 50 x612 <= 0 e228: x405 + 50 x517 - 50 x613 <= 0 e229: x406 + 50 x518 - 50 x614 <= 0 e230: x407 + 50 x519 - 50 x615 <= 0 e231: x408 + 50 x520 - 50 x616 <= 0 e232: x409 + 50 x521 - 50 x617 <= 0 e233: x410 + 50 x522 - 50 x618 <= 0 e234: x411 + 50 x523 - 50 x619 <= 0 e235: x412 + 50 x524 - 50 x620 <= 0 e236: x413 + 50 x525 - 50 x621 <= 0 e237: x414 + 50 x526 - 50 x622 <= 0 e238: x415 + 50 x527 - 50 x623 <= 0 e239: x416 + 50 x528 - 50 x624 <= 0 e240: x417 + 50 x529 - 50 x625 <= 0 e241: x418 + 50 x530 - 50 x626 <= 0 e242: x419 + 50 x531 - 50 x627 <= 0 e243: x420 + 50 x532 - 50 x628 <= 0 e244: x421 + 50 x533 - 50 x629 <= 0 e245: x422 + 50 x534 - 50 x630 <= 0 e246: x423 + 50 x535 - 50 x631 <= 0 e247: x424 + 50 x536 - 50 x632 <= 0 e248: x425 + 50 x537 - 50 x633 <= 0 e249: x426 + 50 x538 - 50 x634 <= 0 e250: x427 + 50 x539 - 50 x635 <= 0 e251: x428 + 50 x540 - 50 x636 <= 0 e252: x429 + 50 x541 - 50 x637 <= 0 e253: x430 + 50 x542 - 50 x638 <= 0 e254: x431 + 50 x543 - 50 x639 <= 0 e255: x432 + 50 x544 - 50 x640 <= 0 e256: x433 + 50 x545 - 50 x641 <= 0 e257: x434 + 50 x546 - 50 x642 <= 0 e258: x435 + 50 x547 - 50 x643 <= 0 e259: x436 + 50 x548 - 50 x644 <= 0 e260: x437 + 50 x549 - 50 x645 <= 0 e261: x438 + 50 x550 - 50 x646 <= 0 e262: x439 + 50 x551 - 50 x647 <= 0 e263: x440 + 50 x552 - 50 x648 <= 0 e264: x441 + 50 x553 - 50 x649 <= 0 e265: - 10 b1 + x346 <= 0 e266: - 10 b2 + x347 <= 0 e267: - 10 b3 + x348 <= 0 e268: - 10 b4 + x349 <= 0 e269: - 10 b5 + x350 <= 0 e270: - 10 b6 + x351 <= 0 e271: - 10 b7 + x352 <= 0 e272: - 10 b8 + x353 <= 0 e273: - 10 b9 + x354 <= 0 e274: - 10 b10 + x355 <= 0 e275: - 10 b11 + x356 <= 0 e276: - 10 b12 + x357 <= 0 e277: - 2.5e2 b13 + x358 <= 0 e278: - 2.5e2 b14 + x359 <= 0 e279: - 2.5e2 b15 + x360 <= 0 e280: - 2.5e2 b16 + x361 <= 0 e281: - 2.5e2 b17 + x362 <= 0 e282: - 2.5e2 b18 + x363 <= 0 e283: - 2.5e2 b19 + x364 <= 0 e284: - 2.5e2 b20 + x365 <= 0 e285: - 2.5e2 b21 + x366 <= 0 e286: - 2.5e2 b22 + x367 <= 0 e287: - 2.5e2 b23 + x368 <= 0 e288: - 2.5e2 b24 + x369 <= 0 e289: - 300 b25 + x370 <= 0 e290: - 300 b26 + x371 <= 0 e291: - 300 b27 + x372 <= 0 e292: - 300 b28 + x373 <= 0 e293: - 300 b29 + x374 <= 0 e294: - 300 b30 + x375 <= 0 e295: - 300 b31 + x376 <= 0 e296: - 300 b32 + x377 <= 0 e297: - 300 b33 + x378 <= 0 e298: - 300 b34 + x379 <= 0 e299: - 300 b35 + x380 <= 0 e300: - 300 b36 + x381 <= 0 e301: - 1.9e2 b37 + x382 <= 0 e302: - 1.9e2 b38 + x383 <= 0 e303: - 1.9e2 b39 + x384 <= 0 e304: - 1.9e2 b40 + x385 <= 0 e305: - 1.9e2 b41 + x386 <= 0 e306: - 1.9e2 b42 + x387 <= 0 e307: - 1.9e2 b43 + x388 <= 0 e308: - 1.9e2 b44 + x389 <= 0 e309: - 1.9e2 b45 + x390 <= 0 e310: - 1.9e2 b46 + x391 <= 0 e311: - 1.9e2 b47 + x392 <= 0 e312: - 1.9e2 b48 + x393 <= 0 e313: x394 <= 0 e314: - 10 b50 + x395 <= 0 e315: - 10 b51 + x396 <= 0 e316: x397 <= 0 e317: - 10 b53 + x398 <= 0 e318: - 10 b54 + x399 <= 0 e319: x400 <= 0 e320: - 10 b56 + x401 <= 0 e321: - 10 b57 + x402 <= 0 e322: x403 <= 0 e323: - 10 b59 + x404 <= 0 e324: - 10 b60 + x405 <= 0 e325: x406 <= 0 e326: - 2.5e2 b62 + x407 <= 0 e327: - 2.5e2 b63 + x408 <= 0 e328: x409 <= 0 e329: - 2.5e2 b65 + x410 <= 0 e330: - 2.5e2 b66 + x411 <= 0 e331: x412 <= 0 e332: - 2.5e2 b68 + x413 <= 0 e333: - 2.5e2 b69 + x414 <= 0 e334: x415 <= 0 e335: - 2.5e2 b71 + x416 <= 0 e336: - 2.5e2 b72 + x417 <= 0 e337: x418 <= 0 e338: - 2.5e2 b74 + x419 <= 0 e339: - 2.5e2 b75 + x420 <= 0 e340: x421 <= 0 e341: - 2.5e2 b77 + x422 <= 0 e342: - 2.5e2 b78 + x423 <= 0 e343: x424 <= 0 e344: - 2.5e2 b80 + x425 <= 0 e345: - 2.5e2 b81 + x426 <= 0 e346: x427 <= 0 e347: - 2.5e2 b83 + x428 <= 0 e348: - 2.5e2 b84 + x429 <= 0 e349: x430 <= 0 e350: - 2.4e2 b86 + x431 <= 0 e351: - 2.4e2 b87 + x432 <= 0 e352: x433 <= 0 e353: - 2.4e2 b89 + x434 <= 0 e354: - 2.4e2 b90 + x435 <= 0 e355: x436 <= 0 e356: - 2.4e2 b92 + x437 <= 0 e357: - 2.4e2 b93 + x438 <= 0 e358: x439 <= 0 e359: - 2.4e2 b95 + x440 <= 0 e360: - 2.4e2 b96 + x441 <= 0 e361: x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 = 10 e362: x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 = 2.5e2 e363: x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 = 300 e364: x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 = 1.9e2 e365: x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 = 10 e366: x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 = 2.5e2 e367: x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 = 2.5e2 e368: x430 + x431 + x432 + x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 = 2.4e2 e369: 1.6e2 b1 + x442 - x458 <= 1.6e2 e370: 1.6e2 b2 + x442 - x459 <= 1.6e2 e371: 1.6e2 b3 + x442 - x460 <= 1.6e2 e372: 1.6e2 b4 + x442 - x461 <= 1.6e2 e373: 1.6e2 b5 + x442 - x462 <= 1.6e2 e374: 1.6e2 b6 + x442 - x463 <= 1.6e2 e375: 1.6e2 b7 + x442 - x464 <= 1.6e2 e376: 1.6e2 b8 + x442 - x465 <= 1.6e2 e377: 1.6e2 b9 + x442 - x466 <= 1.6e2 e378: 1.6e2 b10 + x442 - x467 <= 1.6e2 e379: 1.6e2 b11 + x442 - x468 <= 1.6e2 e380: 1.6e2 b12 + x442 - x469 <= 1.6e2 e381: 1.6e2 b13 + x443 - x470 <= 1.6e2 e382: 1.6e2 b14 + x443 - x471 <= 1.6e2 e383: 1.6e2 b15 + x443 - x472 <= 1.6e2 e384: 1.6e2 b16 + x443 - x473 <= 1.6e2 e385: 1.6e2 b17 + x443 - x474 <= 1.6e2 e386: 1.6e2 b18 + x443 - x475 <= 1.6e2 e387: 1.6e2 b19 + x443 - x476 <= 1.6e2 e388: 1.6e2 b20 + x443 - x477 <= 1.6e2 e389: 1.6e2 b21 + x443 - x478 <= 1.6e2 e390: 1.6e2 b22 + x443 - x479 <= 1.6e2 e391: 1.6e2 b23 + x443 - x480 <= 1.6e2 e392: 1.6e2 b24 + x443 - x481 <= 1.6e2 e393: 1.6e2 b25 + x444 - x482 <= 1.6e2 e394: 1.6e2 b26 + x444 - x483 <= 1.6e2 e395: 1.6e2 b27 + x444 - x484 <= 1.6e2 e396: 1.6e2 b28 + x444 - x485 <= 1.6e2 e397: 1.6e2 b29 + x444 - x486 <= 1.6e2 e398: 1.6e2 b30 + x444 - x487 <= 1.6e2 e399: 1.6e2 b31 + x444 - x488 <= 1.6e2 e400: 1.6e2 b32 + x444 - x489 <= 1.6e2 e401: 1.6e2 b33 + x444 - x490 <= 1.6e2 e402: 1.6e2 b34 + x444 - x491 <= 1.6e2 e403: 1.6e2 b35 + x444 - x492 <= 1.6e2 e404: 1.6e2 b36 + x444 - x493 <= 1.6e2 e405: 1.6e2 b37 + x445 - x494 <= 1.6e2 e406: 1.6e2 b38 + x445 - x495 <= 1.6e2 e407: 1.6e2 b39 + x445 - x496 <= 1.6e2 e408: 1.6e2 b40 + x445 - x497 <= 1.6e2 e409: 1.6e2 b41 + x445 - x498 <= 1.6e2 e410: 1.6e2 b42 + x445 - x499 <= 1.6e2 e411: 1.6e2 b43 + x445 - x500 <= 1.6e2 e412: 1.6e2 b44 + x445 - x501 <= 1.6e2 e413: 1.6e2 b45 + x445 - x502 <= 1.6e2 e414: 1.6e2 b46 + x445 - x503 <= 1.6e2 e415: 1.6e2 b47 + x445 - x504 <= 1.6e2 e416: 1.6e2 b48 + x445 - x505 <= 1.6e2 e417: 1.6e2 b49 + x446 - x506 <= 1.6e2 e418: 1.6e2 b50 + x446 - x507 <= 1.6e2 e419: 1.6e2 b51 + x446 - x508 <= 1.6e2 e420: 1.6e2 b52 + x446 - x509 <= 1.6e2 e421: 1.6e2 b53 + x446 - x510 <= 1.6e2 e422: 1.6e2 b54 + x446 - x511 <= 1.6e2 e423: 1.6e2 b55 + x446 - x512 <= 1.6e2 e424: 1.6e2 b56 + x446 - x513 <= 1.6e2 e425: 1.6e2 b57 + x446 - x514 <= 1.6e2 e426: 1.6e2 b58 + x446 - x515 <= 1.6e2 e427: 1.6e2 b59 + x446 - x516 <= 1.6e2 e428: 1.6e2 b60 + x446 - x517 <= 1.6e2 e429: 1.6e2 b61 + x447 - x518 <= 1.6e2 e430: 1.6e2 b62 + x447 - x519 <= 1.6e2 e431: 1.6e2 b63 + x447 - x520 <= 1.6e2 e432: 1.6e2 b64 + x447 - x521 <= 1.6e2 e433: 1.6e2 b65 + x447 - x522 <= 1.6e2 e434: 1.6e2 b66 + x447 - x523 <= 1.6e2 e435: 1.6e2 b67 + x447 - x524 <= 1.6e2 e436: 1.6e2 b68 + x447 - x525 <= 1.6e2 e437: 1.6e2 b69 + x447 - x526 <= 1.6e2 e438: 1.6e2 b70 + x447 - x527 <= 1.6e2 e439: 1.6e2 b71 + x447 - x528 <= 1.6e2 e440: 1.6e2 b72 + x447 - x529 <= 1.6e2 e441: 1.6e2 b73 + x448 - x530 <= 1.6e2 e442: 1.6e2 b74 + x448 - x531 <= 1.6e2 e443: 1.6e2 b75 + x448 - x532 <= 1.6e2 e444: 1.6e2 b76 + x448 - x533 <= 1.6e2 e445: 1.6e2 b77 + x448 - x534 <= 1.6e2 e446: 1.6e2 b78 + x448 - x535 <= 1.6e2 e447: 1.6e2 b79 + x448 - x536 <= 1.6e2 e448: 1.6e2 b80 + x448 - x537 <= 1.6e2 e449: 1.6e2 b81 + x448 - x538 <= 1.6e2 e450: 1.6e2 b82 + x448 - x539 <= 1.6e2 e451: 1.6e2 b83 + x448 - x540 <= 1.6e2 e452: 1.6e2 b84 + x448 - x541 <= 1.6e2 e453: 1.6e2 b85 + x449 - x542 <= 1.6e2 e454: 1.6e2 b86 + x449 - x543 <= 1.6e2 e455: 1.6e2 b87 + x449 - x544 <= 1.6e2 e456: 1.6e2 b88 + x449 - x545 <= 1.6e2 e457: 1.6e2 b89 + x449 - x546 <= 1.6e2 e458: 1.6e2 b90 + x449 - x547 <= 1.6e2 e459: 1.6e2 b91 + x449 - x548 <= 1.6e2 e460: 1.6e2 b92 + x449 - x549 <= 1.6e2 e461: 1.6e2 b93 + x449 - x550 <= 1.6e2 e462: 1.6e2 b94 + x449 - x551 <= 1.6e2 e463: 1.6e2 b95 + x449 - x552 <= 1.6e2 e464: 1.6e2 b96 + x449 - x553 <= 1.6e2 e465: - 1.6e2 b1 + x450 - x554 >= -1.6e2 e466: - 1.6e2 b2 + x450 - x555 >= -1.6e2 e467: - 1.6e2 b3 + x450 - x556 >= -1.6e2 e468: - 1.6e2 b4 + x450 - x557 >= -1.6e2 e469: - 1.6e2 b5 + x450 - x558 >= -1.6e2 e470: - 1.6e2 b6 + x450 - x559 >= -1.6e2 e471: - 1.6e2 b7 + x450 - x560 >= -1.6e2 e472: - 1.6e2 b8 + x450 - x561 >= -1.6e2 e473: - 1.6e2 b9 + x450 - x562 >= -1.6e2 e474: - 1.6e2 b10 + x450 - x563 >= -1.6e2 e475: - 1.6e2 b11 + x450 - x564 >= -1.6e2 e476: - 1.6e2 b12 + x450 - x565 >= -1.6e2 e477: - 1.6e2 b13 + x451 - x566 >= -1.6e2 e478: - 1.6e2 b14 + x451 - x567 >= -1.6e2 e479: - 1.6e2 b15 + x451 - x568 >= -1.6e2 e480: - 1.6e2 b16 + x451 - x569 >= -1.6e2 e481: - 1.6e2 b17 + x451 - x570 >= -1.6e2 e482: - 1.6e2 b18 + x451 - x571 >= -1.6e2 e483: - 1.6e2 b19 + x451 - x572 >= -1.6e2 e484: - 1.6e2 b20 + x451 - x573 >= -1.6e2 e485: - 1.6e2 b21 + x451 - x574 >= -1.6e2 e486: - 1.6e2 b22 + x451 - x575 >= -1.6e2 e487: - 1.6e2 b23 + x451 - x576 >= -1.6e2 e488: - 1.6e2 b24 + x451 - x577 >= -1.6e2 e489: - 1.6e2 b25 + x452 - x578 >= -1.6e2 e490: - 1.6e2 b26 + x452 - x579 >= -1.6e2 e491: - 1.6e2 b27 + x452 - x580 >= -1.6e2 e492: - 1.6e2 b28 + x452 - x581 >= -1.6e2 e493: - 1.6e2 b29 + x452 - x582 >= -1.6e2 e494: - 1.6e2 b30 + x452 - x583 >= -1.6e2 e495: - 1.6e2 b31 + x452 - x584 >= -1.6e2 e496: - 1.6e2 b32 + x452 - x585 >= -1.6e2 e497: - 1.6e2 b33 + x452 - x586 >= -1.6e2 e498: - 1.6e2 b34 + x452 - x587 >= -1.6e2 e499: - 1.6e2 b35 + x452 - x588 >= -1.6e2 e500: - 1.6e2 b36 + x452 - x589 >= -1.6e2 e501: - 1.6e2 b37 + x453 - x590 >= -1.6e2 e502: - 1.6e2 b38 + x453 - x591 >= -1.6e2 e503: - 1.6e2 b39 + x453 - x592 >= -1.6e2 e504: - 1.6e2 b40 + x453 - x593 >= -1.6e2 e505: - 1.6e2 b41 + x453 - x594 >= -1.6e2 e506: - 1.6e2 b42 + x453 - x595 >= -1.6e2 e507: - 1.6e2 b43 + x453 - x596 >= -1.6e2 e508: - 1.6e2 b44 + x453 - x597 >= -1.6e2 e509: - 1.6e2 b45 + x453 - x598 >= -1.6e2 e510: - 1.6e2 b46 + x453 - x599 >= -1.6e2 e511: - 1.6e2 b47 + x453 - x600 >= -1.6e2 e512: - 1.6e2 b48 + x453 - x601 >= -1.6e2 e513: - 1.6e2 b49 + x454 - x602 >= -1.6e2 e514: - 1.6e2 b50 + x454 - x603 >= -1.6e2 e515: - 1.6e2 b51 + x454 - x604 >= -1.6e2 e516: - 1.6e2 b52 + x454 - x605 >= -1.6e2 e517: - 1.6e2 b53 + x454 - x606 >= -1.6e2 e518: - 1.6e2 b54 + x454 - x607 >= -1.6e2 e519: - 1.6e2 b55 + x454 - x608 >= -1.6e2 e520: - 1.6e2 b56 + x454 - x609 >= -1.6e2 e521: - 1.6e2 b57 + x454 - x610 >= -1.6e2 e522: - 1.6e2 b58 + x454 - x611 >= -1.6e2 e523: - 1.6e2 b59 + x454 - x612 >= -1.6e2 e524: - 1.6e2 b60 + x454 - x613 >= -1.6e2 e525: - 1.6e2 b61 + x455 - x614 >= -1.6e2 e526: - 1.6e2 b62 + x455 - x615 >= -1.6e2 e527: - 1.6e2 b63 + x455 - x616 >= -1.6e2 e528: - 1.6e2 b64 + x455 - x617 >= -1.6e2 e529: - 1.6e2 b65 + x455 - x618 >= -1.6e2 e530: - 1.6e2 b66 + x455 - x619 >= -1.6e2 e531: - 1.6e2 b67 + x455 - x620 >= -1.6e2 e532: - 1.6e2 b68 + x455 - x621 >= -1.6e2 e533: - 1.6e2 b69 + x455 - x622 >= -1.6e2 e534: - 1.6e2 b70 + x455 - x623 >= -1.6e2 e535: - 1.6e2 b71 + x455 - x624 >= -1.6e2 e536: - 1.6e2 b72 + x455 - x625 >= -1.6e2 e537: - 1.6e2 b73 + x456 - x626 >= -1.6e2 e538: - 1.6e2 b74 + x456 - x627 >= -1.6e2 e539: - 1.6e2 b75 + x456 - x628 >= -1.6e2 e540: - 1.6e2 b76 + x456 - x629 >= -1.6e2 e541: - 1.6e2 b77 + x456 - x630 >= -1.6e2 e542: - 1.6e2 b78 + x456 - x631 >= -1.6e2 e543: - 1.6e2 b79 + x456 - x632 >= -1.6e2 e544: - 1.6e2 b80 + x456 - x633 >= -1.6e2 e545: - 1.6e2 b81 + x456 - x634 >= -1.6e2 e546: - 1.6e2 b82 + x456 - x635 >= -1.6e2 e547: - 1.6e2 b83 + x456 - x636 >= -1.6e2 e548: - 1.6e2 b84 + x456 - x637 >= -1.6e2 e549: - 1.6e2 b85 + x457 - x638 >= -1.6e2 e550: - 1.6e2 b86 + x457 - x639 >= -1.6e2 e551: - 1.6e2 b87 + x457 - x640 >= -1.6e2 e552: - 1.6e2 b88 + x457 - x641 >= -1.6e2 e553: - 1.6e2 b89 + x457 - x642 >= -1.6e2 e554: - 1.6e2 b90 + x457 - x643 >= -1.6e2 e555: - 1.6e2 b91 + x457 - x644 >= -1.6e2 e556: - 1.6e2 b92 + x457 - x645 >= -1.6e2 e557: - 1.6e2 b93 + x457 - x646 >= -1.6e2 e558: - 1.6e2 b94 + x457 - x647 >= -1.6e2 e559: - 1.6e2 b95 + x457 - x648 >= -1.6e2 e560: - 1.6e2 b96 + x457 - x649 >= -1.6e2 e561: x443 - x450 >= 0 e562: x444 - x451 >= 0 e563: x445 - x452 >= 0 e564: x446 - x453 >= 0 e565: x447 - x454 >= 0 e566: x448 - x455 >= 0 e567: x449 - x456 >= 0 e568: - x740 + x764 + x767 + x770 + x773 = 0 e569: - x741 + x765 + x768 + x771 + x774 = 0 e570: - x742 + x766 + x769 + x772 + x775 = 0 e571: - x743 + x776 + x779 + x782 + x785 = 0 e572: - x744 + x777 + x780 + x783 + x786 = 0 e573: - x745 + x778 + x781 + x784 + x787 = 0 e574: - x746 + x788 + x791 + x794 + x797 = 0 e575: - x747 + x789 + x792 + x795 + x798 = 0 e576: - x748 + x790 + x793 + x796 + x799 = 0 e577: - x749 + x800 + x803 + x806 + x809 = 0 e578: - x750 + x801 + x804 + x807 + x810 = 0 e579: - x751 + x802 + x805 + x808 + x811 = 0 e580: - x752 + x812 + x815 + x818 + x821 = 0 e581: - x753 + x813 + x816 + x819 + x822 = 0 e582: - x754 + x814 + x817 + x820 + x823 = 0 e583: - x755 + x824 + x827 + x830 + x833 = 0 e584: - x756 + x825 + x828 + x831 + x834 = 0 e585: - x757 + x826 + x829 + x832 + x835 = 0 e586: - x758 + x836 + x839 + x842 + x845 = 0 e587: - x759 + x837 + x840 + x843 + x846 = 0 e588: - x760 + x838 + x841 + x844 + x847 = 0 e589: - x761 + x848 + x851 + x854 + x857 = 0 e590: - x762 + x849 + x852 + x855 + x858 = 0 e591: - x763 + x850 + x853 + x856 + x859 = 0 e592: - .142857142857143 x157 + x193 = 0 e593: - .285714285714286 x157 + x196 = 0 e594: - .285714285714286 x157 + x199 = 0 e595: - .285714285714286 x157 + x202 = 0 e596: - .25 x160 + x205 = 0 e597: - .25 x160 + x208 = 0 e598: - .25 x160 + x211 = 0 e599: - .25 x160 + x214 = 0 e600: - .25 x163 + x217 = 0 e601: - .25 x163 + x220 = 0 e602: - .25 x163 + x223 = 0 e603: - .25 x163 + x226 = 0 e604: - .285714285714286 x166 + x229 = 0 e605: - .285714285714286 x166 + x232 = 0 e606: - .142857142857143 x166 + x235 = 0 e607: - .285714285714286 x166 + x238 = 0 e608: - .285714285714286 x169 + x241 = 0 e609: - .285714285714286 x169 + x244 = 0 e610: - .142857142857143 x169 + x247 = 0 e611: - .285714285714286 x169 + x250 = 0 e612: - .210526315789474 x172 + x253 = 0 e613: - .263157894736842 x172 + x256 = 0 e614: - .210526315789474 x172 + x259 = 0 e615: - .315789473684211 x172 + x262 = 0 e616: - .210526315789474 x175 + x265 = 0 e617: - .263157894736842 x175 + x268 = 0 e618: - .210526315789474 x175 + x271 = 0 e619: - .315789473684211 x175 + x274 = 0 e620: - .333333333333333 x178 + x277 = 0 e621: - .333333333333333 x178 + x280 = 0 e622: - .166666666666667 x178 + x283 = 0 e623: - .166666666666667 x178 + x286 = 0 e624: - .333333333333333 x181 + x289 = 0 e625: - .333333333333333 x181 + x292 = 0 e626: - .166666666666667 x181 + x295 = 0 e627: - .166666666666667 x181 + x298 = 0 e628: - .25 x184 + x301 = 0 e629: - .25 x184 + x304 = 0 e630: - .25 x184 + x307 = 0 e631: - .25 x184 + x310 = 0 e632: - .25 x187 + x313 = 0 e633: - .25 x187 + x316 = 0 e634: - .25 x187 + x319 = 0 e635: - .25 x187 + x322 = 0 e636: - .222222222222222 x190 + x325 = 0 e637: - .222222222222222 x190 + x328 = 0 e638: - .222222222222222 x190 + x331 = 0 e639: - .333333333333333 x190 + x334 = 0 e640: b1 + b121 <= 1 e641: b2 + b122 <= 1 e642: b3 + b123 <= 1 e643: b4 + b148 <= 1 e644: b5 + b149 <= 1 e645: b6 + b150 <= 1 e646: b7 + b151 <= 1 e647: b8 + b152 <= 1 e648: b9 + b153 <= 1 e649: b10 + b154 <= 1 e650: b11 + b155 <= 1 e651: b12 + b156 <= 1 e652: b13 + b121 <= 1 e653: b14 + b122 <= 1 e654: b15 + b123 <= 1 e655: b16 + b148 <= 1 e656: b17 + b149 <= 1 e657: b18 + b150 <= 1 e658: b19 + b151 <= 1 e659: b20 + b152 <= 1 e660: b21 + b153 <= 1 e661: b22 + b154 <= 1 e662: b23 + b155 <= 1 e663: b24 + b156 <= 1 e664: b25 + b121 <= 1 e665: b26 + b122 <= 1 e666: b27 + b123 <= 1 e667: b28 + b148 <= 1 e668: b29 + b149 <= 1 e669: b30 + b150 <= 1 e670: b31 + b151 <= 1 e671: b32 + b152 <= 1 e672: b33 + b153 <= 1 e673: b34 + b154 <= 1 e674: b35 + b155 <= 1 e675: b36 + b156 <= 1 e676: b37 + b124 <= 1 e677: b38 + b125 <= 1 e678: b39 + b126 <= 1 e679: b37 + b127 <= 1 e680: b38 + b128 <= 1 e681: b39 + b129 <= 1 e682: b40 + b130 <= 1 e683: b41 + b131 <= 1 e684: b42 + b132 <= 1 e685: b40 + b133 <= 1 e686: b41 + b134 <= 1 e687: b42 + b135 <= 1 e688: b43 + b136 <= 1 e689: b44 + b137 <= 1 e690: b45 + b138 <= 1 e691: b43 + b139 <= 1 e692: b44 + b140 <= 1 e693: b45 + b141 <= 1 e694: b46 + b142 <= 1 e695: b47 + b143 <= 1 e696: b48 + b144 <= 1 e697: b46 + b145 <= 1 e698: b47 + b146 <= 1 e699: b48 + b147 <= 1 e700: b49 + b124 <= 1 e701: b50 + b125 <= 1 e702: b51 + b126 <= 1 e703: b49 + b127 <= 1 e704: b50 + b128 <= 1 e705: b51 + b129 <= 1 e706: b52 + b130 <= 1 e707: b53 + b131 <= 1 e708: b54 + b132 <= 1 e709: b52 + b133 <= 1 e710: b53 + b134 <= 1 e711: b54 + b135 <= 1 e712: b55 + b136 <= 1 e713: b56 + b137 <= 1 e714: b57 + b138 <= 1 e715: b55 + b139 <= 1 e716: b56 + b140 <= 1 e717: b57 + b141 <= 1 e718: b58 + b142 <= 1 e719: b59 + b143 <= 1 e720: b60 + b144 <= 1 e721: b58 + b145 <= 1 e722: b59 + b146 <= 1 e723: b60 + b147 <= 1 e724: b61 + b124 <= 1 e725: b62 + b125 <= 1 e726: b63 + b126 <= 1 e727: b61 + b127 <= 1 e728: b62 + b128 <= 1 e729: b63 + b129 <= 1 e730: b64 + b130 <= 1 e731: b65 + b131 <= 1 e732: b66 + b132 <= 1 e733: b64 + b133 <= 1 e734: b65 + b134 <= 1 e735: b66 + b135 <= 1 e736: b67 + b136 <= 1 e737: b68 + b137 <= 1 e738: b69 + b138 <= 1 e739: b67 + b139 <= 1 e740: b68 + b140 <= 1 e741: b69 + b141 <= 1 e742: b70 + b142 <= 1 e743: b71 + b143 <= 1 e744: b72 + b144 <= 1 e745: b70 + b145 <= 1 e746: b71 + b146 <= 1 e747: b72 + b147 <= 1 e748: b73 + b121 <= 1 e749: b74 + b122 <= 1 e750: b75 + b123 <= 1 e751: b76 + b148 <= 1 e752: b77 + b149 <= 1 e753: b78 + b150 <= 1 e754: b79 + b151 <= 1 e755: b80 + b152 <= 1 e756: b81 + b153 <= 1 e757: b82 + b154 <= 1 e758: b83 + b155 <= 1 e759: b84 + b156 <= 1 e760: b85 + b124 <= 1 e761: b86 + b125 <= 1 e762: b87 + b126 <= 1 e763: b85 + b127 <= 1 e764: b86 + b128 <= 1 e765: b87 + b129 <= 1 e766: b88 + b130 <= 1 e767: b89 + b131 <= 1 e768: b90 + b132 <= 1 e769: b88 + b133 <= 1 e770: b89 + b134 <= 1 e771: b90 + b135 <= 1 e772: b91 + b136 <= 1 e773: b92 + b137 <= 1 e774: b93 + b138 <= 1 e775: b91 + b139 <= 1 e776: b92 + b140 <= 1 e777: b93 + b141 <= 1 e778: b94 + b142 <= 1 e779: b95 + b143 <= 1 e780: b96 + b144 <= 1 e781: b94 + b145 <= 1 e782: b95 + b146 <= 1 e783: b96 + b147 <= 1 e784: b121 <= 2 e785: b122 <= 2 e786: b123 <= 2 e787: b124 + b127 <= 2 e788: b125 + b128 <= 2 e789: b126 + b129 <= 2 e790: b130 + b133 <= 2 e791: b131 + b134 <= 2 e792: b132 + b135 <= 2 e793: b136 + b139 <= 2 e794: b137 + b140 <= 2 e795: b138 + b141 <= 2 e796: b142 + b145 <= 2 e797: b143 + b146 <= 2 e798: b144 + b147 <= 2 e799: b148 <= 2 e800: b149 <= 2 e801: b150 <= 2 e802: b151 <= 2 e803: b152 <= 2 e804: b153 <= 2 e805: b154 <= 2 e806: b155 <= 2 e807: b156 <= 2 e808: b124 + b130 + b136 + b142 <= 2 e809: b125 + b131 + b137 + b143 <= 2 e810: b126 + b132 + b138 + b144 <= 2 e811: b127 + b133 + b139 + b145 <= 2 e812: b128 + b134 + b140 + b146 <= 2 e813: b129 + b135 + b141 + b147 <= 2 e814: b121 + b148 + b151 + b154 <= 2 e815: b122 + b149 + b152 + b155 <= 2 e816: b123 + b150 + b153 + b156 <= 2 e817: - x157 - 2.5 x650 + 2.5 x686 <= 0 e818: - x158 - 2.5 x651 + 2.5 x687 <= 0 e819: - x159 - 2.5 x652 + 2.5 x688 <= 0 e820: - x160 - 2.5 x653 + 2.5 x689 <= 0 e821: - x161 - 2.5 x654 + 2.5 x690 <= 0 e822: - x162 - 2.5 x655 + 2.5 x691 <= 0 e823: - x163 - 2.5 x656 + 2.5 x692 <= 0 e824: - x164 - 2.5 x657 + 2.5 x693 <= 0 e825: - x165 - 2.5 x658 + 2.5 x694 <= 0 e826: - x166 - 2.5 x659 + 2.5 x695 <= 0 e827: - x167 - 2.5 x660 + 2.5 x696 <= 0 e828: - x168 - 2.5 x661 + 2.5 x697 <= 0 e829: - x169 - 2.5 x662 + 2.5 x698 <= 0 e830: - x170 - 2.5 x663 + 2.5 x699 <= 0 e831: - x171 - 2.5 x664 + 2.5 x700 <= 0 e832: - x172 - 2.5 x665 + 2.5 x701 <= 0 e833: - x173 - 2.5 x666 + 2.5 x702 <= 0 e834: - x174 - 2.5 x667 + 2.5 x703 <= 0 e835: - x175 - 2.5 x668 + 2.5 x704 <= 0 e836: - x176 - 2.5 x669 + 2.5 x705 <= 0 e837: - x177 - 2.5 x670 + 2.5 x706 <= 0 e838: - x178 - 2.5 x671 + 2.5 x707 <= 0 e839: - x179 - 2.5 x672 + 2.5 x708 <= 0 e840: - x180 - 2.5 x673 + 2.5 x709 <= 0 e841: - x181 - 2.5 x674 + 2.5 x710 <= 0 e842: - x182 - 2.5 x675 + 2.5 x711 <= 0 e843: - x183 - 2.5 x676 + 2.5 x712 <= 0 e844: - x184 - 2.5 x677 + 2.5 x713 <= 0 e845: - x185 - 2.5 x678 + 2.5 x714 <= 0 e846: - x186 - 2.5 x679 + 2.5 x715 <= 0 e847: - x187 - 2.5 x680 + 2.5 x716 <= 0 e848: - x188 - 2.5 x681 + 2.5 x717 <= 0 e849: - x189 - 2.5 x682 + 2.5 x718 <= 0 e850: - x190 - 2.5 x683 + 2.5 x719 <= 0 e851: - x191 - 2.5 x684 + 2.5 x720 <= 0 e852: - x192 - 2.5 x685 + 2.5 x721 <= 0 e853: x157 + 5.625 x650 - 5.625 x686 <= 0 e854: x158 + 5.625 x651 - 5.625 x687 <= 0 e855: x159 + 5.625 x652 - 5.625 x688 <= 0 e856: x160 + 5.625 x653 - 5.625 x689 <= 0 e857: x161 + 5.625 x654 - 5.625 x690 <= 0 e858: x162 + 5.625 x655 - 5.625 x691 <= 0 e859: x163 + 5.625 x656 - 5.625 x692 <= 0 e860: x164 + 5.625 x657 - 5.625 x693 <= 0 e861: x165 + 5.625 x658 - 5.625 x694 <= 0 e862: x166 + 5.625 x659 - 5.625 x695 <= 0 e863: x167 + 5.625 x660 - 5.625 x696 <= 0 e864: x168 + 5.625 x661 - 5.625 x697 <= 0 e865: x169 + 5.625 x662 - 5.625 x698 <= 0 e866: x170 + 5.625 x663 - 5.625 x699 <= 0 e867: x171 + 5.625 x664 - 5.625 x700 <= 0 e868: x172 + 5.625 x665 - 5.625 x701 <= 0 e869: x173 + 5.625 x666 - 5.625 x702 <= 0 e870: x174 + 5.625 x667 - 5.625 x703 <= 0 e871: x175 + 5.625 x668 - 5.625 x704 <= 0 e872: x176 + 5.625 x669 - 5.625 x705 <= 0 e873: x177 + 5.625 x670 - 5.625 x706 <= 0 e874: x178 + 5.625 x671 - 5.625 x707 <= 0 e875: x179 + 5.625 x672 - 5.625 x708 <= 0 e876: x180 + 5.625 x673 - 5.625 x709 <= 0 e877: x181 + 5.625 x674 - 5.625 x710 <= 0 e878: x182 + 5.625 x675 - 5.625 x711 <= 0 e879: x183 + 5.625 x676 - 5.625 x712 <= 0 e880: x184 + 5.625 x677 - 5.625 x713 <= 0 e881: x185 + 5.625 x678 - 5.625 x714 <= 0 e882: x186 + 5.625 x679 - 5.625 x715 <= 0 e883: x187 + 5.625 x680 - 5.625 x716 <= 0 e884: x188 + 5.625 x681 - 5.625 x717 <= 0 e885: x189 + 5.625 x682 - 5.625 x718 <= 0 e886: x190 + 5.625 x683 - 5.625 x719 <= 0 e887: x191 + 5.625 x684 - 5.625 x720 <= 0 e888: x192 + 5.625 x685 - 5.625 x721 <= 0 e889: - 2.9e2 b121 + x157 <= 0 e890: - 5.1e2 b122 + x158 <= 0 e891: - 5.1e2 b123 + x159 <= 0 e892: - 3.4e2 b124 + x160 <= 0 e893: - 5.1e2 b125 + x161 <= 0 e894: - 5.1e2 b126 + x162 <= 0 e895: - 3.4e2 b127 + x163 <= 0 e896: - 5.1e2 b128 + x164 <= 0 e897: - 5.1e2 b129 + x165 <= 0 e898: - 2.9e2 b130 + x166 <= 0 e899: - 5.1e2 b131 + x167 <= 0 e900: - 5.1e2 b132 + x168 <= 0 e901: - 2.9e2 b133 + x169 <= 0 e902: - 5.1e2 b134 + x170 <= 0 e903: - 5.1e2 b135 + x171 <= 0 e904: - 8.4e2 b136 + x172 <= 0 e905: - 8.7e2 b137 + x173 <= 0 e906: - 8.7e2 b138 + x174 <= 0 e907: - 8.4e2 b139 + x175 <= 0 e908: - 8.7e2 b140 + x176 <= 0 e909: - 8.7e2 b141 + x177 <= 0 e910: - 1.9e2 b142 + x178 <= 0 e911: - 8.7e2 b143 + x179 <= 0 e912: - 8.7e2 b144 + x180 <= 0 e913: - 1.9e2 b145 + x181 <= 0 e914: - 8.7e2 b146 + x182 <= 0 e915: - 8.7e2 b147 + x183 <= 0 e916: - 20 b148 + x184 <= 0 e917: - 8.3e2 b149 + x185 <= 0 e918: - 9.2e2 b150 + x186 <= 0 e919: - 20 b151 + x187 <= 0 e920: - 5.1e2 b152 + x188 <= 0 e921: - 5.1e2 b153 + x189 <= 0 e922: - 3.9e2 b154 + x190 <= 0 e923: - 5.1e2 b155 + x191 <= 0 e924: - 5.1e2 b156 + x192 <= 0 e925: x157 - x193 - x196 - x199 - x202 = 0 e926: x158 - x194 - x197 - x200 - x203 = 0 e927: x159 - x195 - x198 - x201 - x204 = 0 e928: x160 - x205 - x208 - x211 - x214 = 0 e929: x161 - x206 - x209 - x212 - x215 = 0 e930: x162 - x207 - x210 - x213 - x216 = 0 e931: x163 - x217 - x220 - x223 - x226 = 0 e932: x164 - x218 - x221 - x224 - x227 = 0 e933: x165 - x219 - x222 - x225 - x228 = 0 e934: x166 - x229 - x232 - x235 - x238 = 0 e935: x167 - x230 - x233 - x236 - x239 = 0 e936: x168 - x231 - x234 - x237 - x240 = 0 e937: x169 - x241 - x244 - x247 - x250 = 0 e938: x170 - x242 - x245 - x248 - x251 = 0 e939: x171 - x243 - x246 - x249 - x252 = 0 e940: x172 - x253 - x256 - x259 - x262 = 0 e941: x173 - x254 - x257 - x260 - x263 = 0 e942: x174 - x255 - x258 - x261 - x264 = 0 e943: x175 - x265 - x268 - x271 - x274 = 0 e944: x176 - x266 - x269 - x272 - x275 = 0 e945: x177 - x267 - x270 - x273 - x276 = 0 e946: x178 - x277 - x280 - x283 - x286 = 0 e947: x179 - x278 - x281 - x284 - x287 = 0 e948: x180 - x279 - x282 - x285 - x288 = 0 e949: x181 - x289 - x292 - x295 - x298 = 0 e950: x182 - x290 - x293 - x296 - x299 = 0 e951: x183 - x291 - x294 - x297 - x300 = 0 e952: x184 - x301 - x304 - x307 - x310 = 0 e953: x185 - x302 - x305 - x308 - x311 = 0 e954: x186 - x303 - x306 - x309 - x312 = 0 e955: x187 - x313 - x316 - x319 - x322 = 0 e956: x188 - x314 - x317 - x320 - x323 = 0 e957: x189 - x315 - x318 - x321 - x324 = 0 e958: x190 - x325 - x328 - x331 - x334 = 0 e959: x191 - x326 - x329 - x332 - x335 = 0 e960: x192 - x327 - x330 - x333 - x336 = 0 e961: - x160 - x166 - x172 - x178 + x337 = 0 e962: - x161 - x167 - x173 - x179 + x338 = 0 e963: - x162 - x168 - x174 - x180 + x339 = 0 e964: - x163 - x169 - x175 - x181 + x340 = 0 e965: - x164 - x170 - x176 - x182 + x341 = 0 e966: - x165 - x171 - x177 - x183 + x342 = 0 e967: - x157 - x184 - x187 - x190 + x343 = 0 e968: - x158 - x185 - x188 - x191 + x344 = 0 e969: - x159 - x186 - x189 - x192 + x345 = 0 e970: - x337 - 2.5 x722 + 2.5 x731 <= 0 e971: - x338 - 2.5 x723 + 2.5 x732 <= 0 e972: - x339 - 2.5 x724 + 2.5 x733 <= 0 e973: - x340 - 2.5 x725 + 2.5 x734 <= 0 e974: - x341 - 2.5 x726 + 2.5 x735 <= 0 e975: - x342 - 2.5 x727 + 2.5 x736 <= 0 e976: - x343 - 2.5 x728 + 2.5 x737 <= 0 e977: - x344 - 2.5 x729 + 2.5 x738 <= 0 e978: - x345 - 2.5 x730 + 2.5 x739 <= 0 e979: x337 + 5.625 x722 - 5.625 x731 <= 0 e980: x338 + 5.625 x723 - 5.625 x732 <= 0 e981: x339 + 5.625 x724 - 5.625 x733 <= 0 e982: x340 + 5.625 x725 - 5.625 x734 <= 0 e983: x341 + 5.625 x726 - 5.625 x735 <= 0 e984: x342 + 5.625 x727 - 5.625 x736 <= 0 e985: x343 + 5.625 x728 - 5.625 x737 <= 0 e986: x344 + 5.625 x729 - 5.625 x738 <= 0 e987: x345 + 5.625 x730 - 5.625 x739 <= 0 e988: - x193 - x301 - x313 - x325 + .15 x343 <= 0 e989: - x194 - x302 - x314 - x326 + .15 x344 <= 0 e990: - x195 - x303 - x315 - x327 + .15 x345 <= 0 e991: x193 + x301 + x313 + x325 - .85 x343 <= 0 e992: x194 + x302 + x314 + x326 - .85 x344 <= 0 e993: x195 + x303 + x315 + x327 - .85 x345 <= 0 e994: 1e-3 x160 + 1e-3 x166 + 1e-3 x172 + 1e-3 x178 - 1.2e-2 x205 - 1.3e-2 x208 - 9e-3 x211 - 1.5e-2 x214 - 1.2e-2 x229 - 1.3e-2 x232 - 9e-3 x235 - 1.5e-2 x238 - 1.2e-2 x253 - 1.3e-2 x256 - 9e-3 x259 - 1.5e-2 x262 - 1.2e-2 x277 - 1.3e-2 x280 - 9e-3 x283 - 1.5e-2 x286 <= 0 e995: 1e-3 x161 + 1e-3 x167 + 1e-3 x173 + 1e-3 x179 - 1.2e-2 x206 - 1.3e-2 x209 - 9e-3 x212 - 1.5e-2 x215 - 1.2e-2 x230 - 1.3e-2 x233 - 9e-3 x236 - 1.5e-2 x239 - 1.2e-2 x254 - 1.3e-2 x257 - 9e-3 x260 - 1.5e-2 x263 - 1.2e-2 x278 - 1.3e-2 x281 - 9e-3 x284 - 1.5e-2 x287 <= 0 e996: 1e-3 x162 + 1e-3 x168 + 1e-3 x174 + 1e-3 x180 - 1.2e-2 x207 - 1.3e-2 x210 - 9e-3 x213 - 1.5e-2 x216 - 1.2e-2 x231 - 1.3e-2 x234 - 9e-3 x237 - 1.5e-2 x240 - 1.2e-2 x255 - 1.3e-2 x258 - 9e-3 x261 - 1.5e-2 x264 - 1.2e-2 x279 - 1.3e-2 x282 - 9e-3 x285 - 1.5e-2 x288 <= 0 e997: 1e-3 x163 + 1e-3 x169 + 1e-3 x175 + 1e-3 x181 - 1.2e-2 x217 - 1.3e-2 x220 - 9e-3 x223 - 1.5e-2 x226 - 1.2e-2 x241 - 1.3e-2 x244 - 9e-3 x247 - 1.5e-2 x250 - 1.2e-2 x265 - 1.3e-2 x268 - 9e-3 x271 - 1.5e-2 x274 - 1.2e-2 x289 - 1.3e-2 x292 - 9e-3 x295 - 1.5e-2 x298 <= 0 e998: 1e-3 x164 + 1e-3 x170 + 1e-3 x176 + 1e-3 x182 - 1.2e-2 x218 - 1.3e-2 x221 - 9e-3 x224 - 1.5e-2 x227 - 1.2e-2 x242 - 1.3e-2 x245 - 9e-3 x248 - 1.5e-2 x251 - 1.2e-2 x266 - 1.3e-2 x269 - 9e-3 x272 - 1.5e-2 x275 - 1.2e-2 x290 - 1.3e-2 x293 - 9e-3 x296 - 1.5e-2 x299 <= 0 e999: 1e-3 x165 + 1e-3 x171 + 1e-3 x177 + 1e-3 x183 - 1.2e-2 x219 - 1.3e-2 x222 - 9e-3 x225 - 1.5e-2 x228 - 1.2e-2 x243 - 1.3e-2 x246 - 9e-3 x249 - 1.5e-2 x252 - 1.2e-2 x267 - 1.3e-2 x270 - 9e-3 x273 - 1.5e-2 x276 - 1.2e-2 x291 - 1.3e-2 x294 - 9e-3 x297 - 1.5e-2 x300 <= 0 e1000: 1e-3 x157 + 1e-3 x184 + 1e-3 x187 + 1e-3 x190 - 2e-3 x193 - 2.5e-3 x196 - 1.5e-3 x199 - 6e-3 x202 - 2e-3 x301 - 2.5e-3 x304 - 1.5e-3 x307 - 6e-3 x310 - 2e-3 x313 - 2.5e-3 x316 - 1.5e-3 x319 - 6e-3 x322 - 2e-3 x325 - 2.5e-3 x328 - 1.5e-3 x331 - 6e-3 x334 <= 0 e1001: 1e-3 x158 + 1e-3 x185 + 1e-3 x188 + 1e-3 x191 - 2e-3 x194 - 2.5e-3 x197 - 1.5e-3 x200 - 6e-3 x203 - 2e-3 x302 - 2.5e-3 x305 - 1.5e-3 x308 - 6e-3 x311 - 2e-3 x314 - 2.5e-3 x317 - 1.5e-3 x320 - 6e-3 x323 - 2e-3 x326 - 2.5e-3 x329 - 1.5e-3 x332 - 6e-3 x335 <= 0 e1002: 1e-3 x159 + 1e-3 x186 + 1e-3 x189 + 1e-3 x192 - 2e-3 x195 - 2.5e-3 x198 - 1.5e-3 x201 - 6e-3 x204 - 2e-3 x303 - 2.5e-3 x306 - 1.5e-3 x309 - 6e-3 x312 - 2e-3 x315 - 2.5e-3 x318 - 1.5e-3 x321 - 6e-3 x324 - 2e-3 x327 - 2.5e-3 x330 - 1.5e-3 x333 - 6e-3 x336 <= 0 e1003: - 1.3e-2 x160 - 1.3e-2 x166 - 1.3e-2 x172 - 1.3e-2 x178 + 1.2e-2 x205 + 1.3e-2 x208 + 9e-3 x211 + 1.5e-2 x214 + 1.2e-2 x229 + 1.3e-2 x232 + 9e-3 x235 + 1.5e-2 x238 + 1.2e-2 x253 + 1.3e-2 x256 + 9e-3 x259 + 1.5e-2 x262 + 1.2e-2 x277 + 1.3e-2 x280 + 9e-3 x283 + 1.5e-2 x286 <= 0 e1004: - 1.3e-2 x161 - 1.3e-2 x167 - 1.3e-2 x173 - 1.3e-2 x179 + 1.2e-2 x206 + 1.3e-2 x209 + 9e-3 x212 + 1.5e-2 x215 + 1.2e-2 x230 + 1.3e-2 x233 + 9e-3 x236 + 1.5e-2 x239 + 1.2e-2 x254 + 1.3e-2 x257 + 9e-3 x260 + 1.5e-2 x263 + 1.2e-2 x278 + 1.3e-2 x281 + 9e-3 x284 + 1.5e-2 x287 <= 0 e1005: - 1.3e-2 x162 - 1.3e-2 x168 - 1.3e-2 x174 - 1.3e-2 x180 + 1.2e-2 x207 + 1.3e-2 x210 + 9e-3 x213 + 1.5e-2 x216 + 1.2e-2 x231 + 1.3e-2 x234 + 9e-3 x237 + 1.5e-2 x240 + 1.2e-2 x255 + 1.3e-2 x258 + 9e-3 x261 + 1.5e-2 x264 + 1.2e-2 x279 + 1.3e-2 x282 + 9e-3 x285 + 1.5e-2 x288 <= 0 e1006: - 1.25e-2 x163 - 1.25e-2 x169 - 1.25e-2 x175 - 1.25e-2 x181 + 1.2e-2 x217 + 1.3e-2 x220 + 9e-3 x223 + 1.5e-2 x226 + 1.2e-2 x241 + 1.3e-2 x244 + 9e-3 x247 + 1.5e-2 x250 + 1.2e-2 x265 + 1.3e-2 x268 + 9e-3 x271 + 1.5e-2 x274 + 1.2e-2 x289 + 1.3e-2 x292 + 9e-3 x295 + 1.5e-2 x298 <= 0 e1007: - 1.25e-2 x164 - 1.25e-2 x170 - 1.25e-2 x176 - 1.25e-2 x182 + 1.2e-2 x218 + 1.3e-2 x221 + 9e-3 x224 + 1.5e-2 x227 + 1.2e-2 x242 + 1.3e-2 x245 + 9e-3 x248 + 1.5e-2 x251 + 1.2e-2 x266 + 1.3e-2 x269 + 9e-3 x272 + 1.5e-2 x275 + 1.2e-2 x290 + 1.3e-2 x293 + 9e-3 x296 + 1.5e-2 x299 <= 0 e1008: - 1.25e-2 x165 - 1.25e-2 x171 - 1.25e-2 x177 - 1.25e-2 x183 + 1.2e-2 x219 + 1.3e-2 x222 + 9e-3 x225 + 1.5e-2 x228 + 1.2e-2 x243 + 1.3e-2 x246 + 9e-3 x249 + 1.5e-2 x252 + 1.2e-2 x267 + 1.3e-2 x270 + 9e-3 x273 + 1.5e-2 x276 + 1.2e-2 x291 + 1.3e-2 x294 + 9e-3 x297 + 1.5e-2 x300 <= 0 e1009: - 3.5e-3 x157 - 3.5e-3 x184 - 3.5e-3 x187 - 3.5e-3 x190 + 2e-3 x193 + 2.5e-3 x196 + 1.5e-3 x199 + 6e-3 x202 + 2e-3 x301 + 2.5e-3 x304 + 1.5e-3 x307 + 6e-3 x310 + 2e-3 x313 + 2.5e-3 x316 + 1.5e-3 x319 + 6e-3 x322 + 2e-3 x325 + 2.5e-3 x328 + 1.5e-3 x331 + 6e-3 x334 <= 0 e1010: - 3.5e-3 x158 - 3.5e-3 x185 - 3.5e-3 x188 - 3.5e-3 x191 + 2e-3 x194 + 2.5e-3 x197 + 1.5e-3 x200 + 6e-3 x203 + 2e-3 x302 + 2.5e-3 x305 + 1.5e-3 x308 + 6e-3 x311 + 2e-3 x314 + 2.5e-3 x317 + 1.5e-3 x320 + 6e-3 x323 + 2e-3 x326 + 2.5e-3 x329 + 1.5e-3 x332 + 6e-3 x335 <= 0 e1011: - 3.5e-3 x159 - 3.5e-3 x186 - 3.5e-3 x189 - 3.5e-3 x192 + 2e-3 x195 + 2.5e-3 x198 + 1.5e-3 x201 + 6e-3 x204 + 2e-3 x303 + 2.5e-3 x306 + 1.5e-3 x309 + 6e-3 x312 + 2e-3 x315 + 2.5e-3 x318 + 1.5e-3 x321 + 6e-3 x324 + 2e-3 x327 + 2.5e-3 x330 + 1.5e-3 x333 + 6e-3 x336 <= 0 e1012: x337 + x338 + x339 = 7.5e2 e1013: x340 + x341 + x342 = 7.5e2 e1014: x343 + x344 + x345 = 7.5e2 e1015: x459 - x554 >= 0 e1016: x460 - x555 >= 0 e1017: x462 - x557 >= 0 e1018: x463 - x558 >= 0 e1019: x465 - x560 >= 0 e1020: x466 - x561 >= 0 e1021: x468 - x563 >= 0 e1022: x469 - x564 >= 0 e1023: x471 - x566 >= 0 e1024: x472 - x567 >= 0 e1025: x474 - x569 >= 0 e1026: x475 - x570 >= 0 e1027: x477 - x572 >= 0 e1028: x478 - x573 >= 0 e1029: x480 - x575 >= 0 e1030: x481 - x576 >= 0 e1031: x483 - x578 >= 0 e1032: x484 - x579 >= 0 e1033: x486 - x581 >= 0 e1034: x487 - x582 >= 0 e1035: x489 - x584 >= 0 e1036: x490 - x585 >= 0 e1037: x492 - x587 >= 0 e1038: x493 - x588 >= 0 e1039: x495 - x590 >= 0 e1040: x496 - x591 >= 0 e1041: x498 - x593 >= 0 e1042: x499 - x594 >= 0 e1043: x501 - x596 >= 0 e1044: x502 - x597 >= 0 e1045: x504 - x599 >= 0 e1046: x505 - x600 >= 0 e1047: x507 - x602 >= 0 e1048: x508 - x603 >= 0 e1049: x510 - x605 >= 0 e1050: x511 - x606 >= 0 e1051: x513 - x608 >= 0 e1052: x514 - x609 >= 0 e1053: x516 - x611 >= 0 e1054: x517 - x612 >= 0 e1055: x519 - x614 >= 0 e1056: x520 - x615 >= 0 e1057: x522 - x617 >= 0 e1058: x523 - x618 >= 0 e1059: x525 - x620 >= 0 e1060: x526 - x621 >= 0 e1061: x528 - x623 >= 0 e1062: x529 - x624 >= 0 e1063: x531 - x626 >= 0 e1064: x532 - x627 >= 0 e1065: x534 - x629 >= 0 e1066: x535 - x630 >= 0 e1067: x537 - x632 >= 0 e1068: x538 - x633 >= 0 e1069: x540 - x635 >= 0 e1070: x541 - x636 >= 0 e1071: x543 - x638 >= 0 e1072: x544 - x639 >= 0 e1073: x546 - x641 >= 0 e1074: x547 - x642 >= 0 e1075: x549 - x644 >= 0 e1076: x550 - x645 >= 0 e1077: x552 - x647 >= 0 e1078: x553 - x648 >= 0 e1079: - 1.6e2 b1 + x462 - x554 >= -1.6e2 e1080: - 1.6e2 b2 + x463 - x555 >= -1.6e2 e1081: - 1.6e2 b1 + x465 - x554 >= -1.6e2 e1082: - 1.6e2 b2 + x466 - x555 >= -1.6e2 e1083: - 1.6e2 b1 + x468 - x554 >= -1.6e2 e1084: - 1.6e2 b2 + x469 - x555 >= -1.6e2 e1085: - 1.6e2 b4 + x459 - x557 >= -1.6e2 e1086: - 1.6e2 b5 + x460 - x558 >= -1.6e2 e1087: - 1.6e2 b4 + x465 - x557 >= -1.6e2 e1088: - 1.6e2 b5 + x466 - x558 >= -1.6e2 e1089: - 1.6e2 b4 + x468 - x557 >= -1.6e2 e1090: - 1.6e2 b5 + x469 - x558 >= -1.6e2 e1091: - 1.6e2 b7 + x459 - x560 >= -1.6e2 e1092: - 1.6e2 b8 + x460 - x561 >= -1.6e2 e1093: - 1.6e2 b7 + x462 - x560 >= -1.6e2 e1094: - 1.6e2 b8 + x463 - x561 >= -1.6e2 e1095: - 1.6e2 b7 + x468 - x560 >= -1.6e2 e1096: - 1.6e2 b8 + x469 - x561 >= -1.6e2 e1097: - 1.6e2 b10 + x459 - x563 >= -1.6e2 e1098: - 1.6e2 b11 + x460 - x564 >= -1.6e2 e1099: - 1.6e2 b10 + x462 - x563 >= -1.6e2 e1100: - 1.6e2 b11 + x463 - x564 >= -1.6e2 e1101: - 1.6e2 b10 + x465 - x563 >= -1.6e2 e1102: - 1.6e2 b11 + x466 - x564 >= -1.6e2 e1103: - 1.6e2 b13 + x474 - x566 >= -1.6e2 e1104: - 1.6e2 b14 + x475 - x567 >= -1.6e2 e1105: - 1.6e2 b13 + x477 - x566 >= -1.6e2 e1106: - 1.6e2 b14 + x478 - x567 >= -1.6e2 e1107: - 1.6e2 b13 + x480 - x566 >= -1.6e2 e1108: - 1.6e2 b14 + x481 - x567 >= -1.6e2 e1109: - 1.6e2 b16 + x471 - x569 >= -1.6e2 e1110: - 1.6e2 b17 + x472 - x570 >= -1.6e2 e1111: - 1.6e2 b16 + x477 - x569 >= -1.6e2 e1112: - 1.6e2 b17 + x478 - x570 >= -1.6e2 e1113: - 1.6e2 b16 + x480 - x569 >= -1.6e2 e1114: - 1.6e2 b17 + x481 - x570 >= -1.6e2 e1115: - 1.6e2 b19 + x471 - x572 >= -1.6e2 e1116: - 1.6e2 b20 + x472 - x573 >= -1.6e2 e1117: - 1.6e2 b19 + x474 - x572 >= -1.6e2 e1118: - 1.6e2 b20 + x475 - x573 >= -1.6e2 e1119: - 1.6e2 b19 + x480 - x572 >= -1.6e2 e1120: - 1.6e2 b20 + x481 - x573 >= -1.6e2 e1121: - 1.6e2 b22 + x471 - x575 >= -1.6e2 e1122: - 1.6e2 b23 + x472 - x576 >= -1.6e2 e1123: - 1.6e2 b22 + x474 - x575 >= -1.6e2 e1124: - 1.6e2 b23 + x475 - x576 >= -1.6e2 e1125: - 1.6e2 b22 + x477 - x575 >= -1.6e2 e1126: - 1.6e2 b23 + x478 - x576 >= -1.6e2 e1127: - 1.6e2 b25 + x486 - x578 >= -1.6e2 e1128: - 1.6e2 b26 + x487 - x579 >= -1.6e2 e1129: - 1.6e2 b25 + x489 - x578 >= -1.6e2 e1130: - 1.6e2 b26 + x490 - x579 >= -1.6e2 e1131: - 1.6e2 b25 + x492 - x578 >= -1.6e2 e1132: - 1.6e2 b26 + x493 - x579 >= -1.6e2 e1133: - 1.6e2 b28 + x483 - x581 >= -1.6e2 e1134: - 1.6e2 b29 + x484 - x582 >= -1.6e2 e1135: - 1.6e2 b28 + x489 - x581 >= -1.6e2 e1136: - 1.6e2 b29 + x490 - x582 >= -1.6e2 e1137: - 1.6e2 b28 + x492 - x581 >= -1.6e2 e1138: - 1.6e2 b29 + x493 - x582 >= -1.6e2 e1139: - 1.6e2 b31 + x483 - x584 >= -1.6e2 e1140: - 1.6e2 b32 + x484 - x585 >= -1.6e2 e1141: - 1.6e2 b31 + x486 - x584 >= -1.6e2 e1142: - 1.6e2 b32 + x487 - x585 >= -1.6e2 e1143: - 1.6e2 b31 + x492 - x584 >= -1.6e2 e1144: - 1.6e2 b32 + x493 - x585 >= -1.6e2 e1145: - 1.6e2 b34 + x483 - x587 >= -1.6e2 e1146: - 1.6e2 b35 + x484 - x588 >= -1.6e2 e1147: - 1.6e2 b34 + x486 - x587 >= -1.6e2 e1148: - 1.6e2 b35 + x487 - x588 >= -1.6e2 e1149: - 1.6e2 b34 + x489 - x587 >= -1.6e2 e1150: - 1.6e2 b35 + x490 - x588 >= -1.6e2 e1151: - 1.6e2 b37 + x498 - x590 >= -1.6e2 e1152: - 1.6e2 b38 + x499 - x591 >= -1.6e2 e1153: - 1.6e2 b37 + x501 - x590 >= -1.6e2 e1154: - 1.6e2 b38 + x502 - x591 >= -1.6e2 e1155: - 1.6e2 b37 + x504 - x590 >= -1.6e2 e1156: - 1.6e2 b38 + x505 - x591 >= -1.6e2 e1157: - 1.6e2 b40 + x495 - x593 >= -1.6e2 e1158: - 1.6e2 b41 + x496 - x594 >= -1.6e2 e1159: - 1.6e2 b40 + x501 - x593 >= -1.6e2 e1160: - 1.6e2 b41 + x502 - x594 >= -1.6e2 e1161: - 1.6e2 b40 + x504 - x593 >= -1.6e2 e1162: - 1.6e2 b41 + x505 - x594 >= -1.6e2 e1163: - 1.6e2 b43 + x495 - x596 >= -1.6e2 e1164: - 1.6e2 b44 + x496 - x597 >= -1.6e2 e1165: - 1.6e2 b43 + x498 - x596 >= -1.6e2 e1166: - 1.6e2 b44 + x499 - x597 >= -1.6e2 e1167: - 1.6e2 b43 + x504 - x596 >= -1.6e2 e1168: - 1.6e2 b44 + x505 - x597 >= -1.6e2 e1169: - 1.6e2 b46 + x495 - x599 >= -1.6e2 e1170: - 1.6e2 b47 + x496 - x600 >= -1.6e2 e1171: - 1.6e2 b46 + x498 - x599 >= -1.6e2 e1172: - 1.6e2 b47 + x499 - x600 >= -1.6e2 e1173: - 1.6e2 b46 + x501 - x599 >= -1.6e2 e1174: - 1.6e2 b47 + x502 - x600 >= -1.6e2 e1175: - 1.6e2 b49 + x510 - x602 >= -1.6e2 e1176: - 1.6e2 b50 + x511 - x603 >= -1.6e2 e1177: - 1.6e2 b49 + x513 - x602 >= -1.6e2 e1178: - 1.6e2 b50 + x514 - x603 >= -1.6e2 e1179: - 1.6e2 b49 + x516 - x602 >= -1.6e2 e1180: - 1.6e2 b50 + x517 - x603 >= -1.6e2 e1181: - 1.6e2 b52 + x507 - x605 >= -1.6e2 e1182: - 1.6e2 b53 + x508 - x606 >= -1.6e2 e1183: - 1.6e2 b52 + x513 - x605 >= -1.6e2 e1184: - 1.6e2 b53 + x514 - x606 >= -1.6e2 e1185: - 1.6e2 b52 + x516 - x605 >= -1.6e2 e1186: - 1.6e2 b53 + x517 - x606 >= -1.6e2 e1187: - 1.6e2 b55 + x507 - x608 >= -1.6e2 e1188: - 1.6e2 b56 + x508 - x609 >= -1.6e2 e1189: - 1.6e2 b55 + x510 - x608 >= -1.6e2 e1190: - 1.6e2 b56 + x511 - x609 >= -1.6e2 e1191: - 1.6e2 b55 + x516 - x608 >= -1.6e2 e1192: - 1.6e2 b56 + x517 - x609 >= -1.6e2 e1193: - 1.6e2 b58 + x507 - x611 >= -1.6e2 e1194: - 1.6e2 b59 + x508 - x612 >= -1.6e2 e1195: - 1.6e2 b58 + x510 - x611 >= -1.6e2 e1196: - 1.6e2 b59 + x511 - x612 >= -1.6e2 e1197: - 1.6e2 b58 + x513 - x611 >= -1.6e2 e1198: - 1.6e2 b59 + x514 - x612 >= -1.6e2 e1199: - 1.6e2 b61 + x522 - x614 >= -1.6e2 e1200: - 1.6e2 b62 + x523 - x615 >= -1.6e2 e1201: - 1.6e2 b61 + x525 - x614 >= -1.6e2 e1202: - 1.6e2 b62 + x526 - x615 >= -1.6e2 e1203: - 1.6e2 b61 + x528 - x614 >= -1.6e2 e1204: - 1.6e2 b62 + x529 - x615 >= -1.6e2 e1205: - 1.6e2 b64 + x519 - x617 >= -1.6e2 e1206: - 1.6e2 b65 + x520 - x618 >= -1.6e2 e1207: - 1.6e2 b64 + x525 - x617 >= -1.6e2 e1208: - 1.6e2 b65 + x526 - x618 >= -1.6e2 e1209: - 1.6e2 b64 + x528 - x617 >= -1.6e2 e1210: - 1.6e2 b65 + x529 - x618 >= -1.6e2 e1211: - 1.6e2 b67 + x519 - x620 >= -1.6e2 e1212: - 1.6e2 b68 + x520 - x621 >= -1.6e2 e1213: - 1.6e2 b67 + x522 - x620 >= -1.6e2 e1214: - 1.6e2 b68 + x523 - x621 >= -1.6e2 e1215: - 1.6e2 b67 + x528 - x620 >= -1.6e2 e1216: - 1.6e2 b68 + x529 - x621 >= -1.6e2 e1217: - 1.6e2 b70 + x519 - x623 >= -1.6e2 e1218: - 1.6e2 b71 + x520 - x624 >= -1.6e2 e1219: - 1.6e2 b70 + x522 - x623 >= -1.6e2 e1220: - 1.6e2 b71 + x523 - x624 >= -1.6e2 e1221: - 1.6e2 b70 + x525 - x623 >= -1.6e2 e1222: - 1.6e2 b71 + x526 - x624 >= -1.6e2 e1223: - 1.6e2 b73 + x534 - x626 >= -1.6e2 e1224: - 1.6e2 b74 + x535 - x627 >= -1.6e2 e1225: - 1.6e2 b73 + x537 - x626 >= -1.6e2 e1226: - 1.6e2 b74 + x538 - x627 >= -1.6e2 e1227: - 1.6e2 b73 + x540 - x626 >= -1.6e2 e1228: - 1.6e2 b74 + x541 - x627 >= -1.6e2 e1229: - 1.6e2 b76 + x531 - x629 >= -1.6e2 e1230: - 1.6e2 b77 + x532 - x630 >= -1.6e2 e1231: - 1.6e2 b76 + x537 - x629 >= -1.6e2 e1232: - 1.6e2 b77 + x538 - x630 >= -1.6e2 e1233: - 1.6e2 b76 + x540 - x629 >= -1.6e2 e1234: - 1.6e2 b77 + x541 - x630 >= -1.6e2 e1235: - 1.6e2 b79 + x531 - x632 >= -1.6e2 e1236: - 1.6e2 b80 + x532 - x633 >= -1.6e2 e1237: - 1.6e2 b79 + x534 - x632 >= -1.6e2 e1238: - 1.6e2 b80 + x535 - x633 >= -1.6e2 e1239: - 1.6e2 b79 + x540 - x632 >= -1.6e2 e1240: - 1.6e2 b80 + x541 - x633 >= -1.6e2 e1241: - 1.6e2 b82 + x531 - x635 >= -1.6e2 e1242: - 1.6e2 b83 + x532 - x636 >= -1.6e2 e1243: - 1.6e2 b82 + x534 - x635 >= -1.6e2 e1244: - 1.6e2 b83 + x535 - x636 >= -1.6e2 e1245: - 1.6e2 b82 + x537 - x635 >= -1.6e2 e1246: - 1.6e2 b83 + x538 - x636 >= -1.6e2 e1247: - 1.6e2 b85 + x546 - x638 >= -1.6e2 e1248: - 1.6e2 b86 + x547 - x639 >= -1.6e2 e1249: - 1.6e2 b85 + x549 - x638 >= -1.6e2 e1250: - 1.6e2 b86 + x550 - x639 >= -1.6e2 e1251: - 1.6e2 b85 + x552 - x638 >= -1.6e2 e1252: - 1.6e2 b86 + x553 - x639 >= -1.6e2 e1253: - 1.6e2 b88 + x543 - x641 >= -1.6e2 e1254: - 1.6e2 b89 + x544 - x642 >= -1.6e2 e1255: - 1.6e2 b88 + x549 - x641 >= -1.6e2 e1256: - 1.6e2 b89 + x550 - x642 >= -1.6e2 e1257: - 1.6e2 b88 + x552 - x641 >= -1.6e2 e1258: - 1.6e2 b89 + x553 - x642 >= -1.6e2 e1259: - 1.6e2 b91 + x543 - x644 >= -1.6e2 e1260: - 1.6e2 b92 + x544 - x645 >= -1.6e2 e1261: - 1.6e2 b91 + x546 - x644 >= -1.6e2 e1262: - 1.6e2 b92 + x547 - x645 >= -1.6e2 e1263: - 1.6e2 b91 + x552 - x644 >= -1.6e2 e1264: - 1.6e2 b92 + x553 - x645 >= -1.6e2 e1265: - 1.6e2 b94 + x543 - x647 >= -1.6e2 e1266: - 1.6e2 b95 + x544 - x648 >= -1.6e2 e1267: - 1.6e2 b94 + x546 - x647 >= -1.6e2 e1268: - 1.6e2 b95 + x547 - x648 >= -1.6e2 e1269: - 1.6e2 b94 + x549 - x647 >= -1.6e2 e1270: - 1.6e2 b95 + x550 - x648 >= -1.6e2 e1271: - 1.6e2 b1 + x471 - x554 >= -1.6e2 e1272: - 1.6e2 b2 + x472 - x555 >= -1.6e2 e1273: - 1.6e2 b4 + x474 - x557 >= -1.6e2 e1274: - 1.6e2 b5 + x475 - x558 >= -1.6e2 e1275: - 1.6e2 b7 + x477 - x560 >= -1.6e2 e1276: - 1.6e2 b8 + x478 - x561 >= -1.6e2 e1277: - 1.6e2 b10 + x480 - x563 >= -1.6e2 e1278: - 1.6e2 b11 + x481 - x564 >= -1.6e2 e1279: - 1.6e2 b1 + x483 - x554 >= -1.6e2 e1280: - 1.6e2 b2 + x484 - x555 >= -1.6e2 e1281: - 1.6e2 b4 + x486 - x557 >= -1.6e2 e1282: - 1.6e2 b5 + x487 - x558 >= -1.6e2 e1283: - 1.6e2 b7 + x489 - x560 >= -1.6e2 e1284: - 1.6e2 b8 + x490 - x561 >= -1.6e2 e1285: - 1.6e2 b10 + x492 - x563 >= -1.6e2 e1286: - 1.6e2 b11 + x493 - x564 >= -1.6e2 e1287: - 1.6e2 b1 + x531 - x554 >= -1.6e2 e1288: - 1.6e2 b2 + x532 - x555 >= -1.6e2 e1289: - 1.6e2 b4 + x534 - x557 >= -1.6e2 e1290: - 1.6e2 b5 + x535 - x558 >= -1.6e2 e1291: - 1.6e2 b7 + x537 - x560 >= -1.6e2 e1292: - 1.6e2 b8 + x538 - x561 >= -1.6e2 e1293: - 1.6e2 b10 + x540 - x563 >= -1.6e2 e1294: - 1.6e2 b11 + x541 - x564 >= -1.6e2 e1295: - 1.6e2 b13 + x459 - x566 >= -1.6e2 e1296: - 1.6e2 b14 + x460 - x567 >= -1.6e2 e1297: - 1.6e2 b16 + x462 - x569 >= -1.6e2 e1298: - 1.6e2 b17 + x463 - x570 >= -1.6e2 e1299: - 1.6e2 b19 + x465 - x572 >= -1.6e2 e1300: - 1.6e2 b20 + x466 - x573 >= -1.6e2 e1301: - 1.6e2 b22 + x468 - x575 >= -1.6e2 e1302: - 1.6e2 b23 + x469 - x576 >= -1.6e2 e1303: - 1.6e2 b13 + x483 - x566 >= -1.6e2 e1304: - 1.6e2 b14 + x484 - x567 >= -1.6e2 e1305: - 1.6e2 b16 + x486 - x569 >= -1.6e2 e1306: - 1.6e2 b17 + x487 - x570 >= -1.6e2 e1307: - 1.6e2 b19 + x489 - x572 >= -1.6e2 e1308: - 1.6e2 b20 + x490 - x573 >= -1.6e2 e1309: - 1.6e2 b22 + x492 - x575 >= -1.6e2 e1310: - 1.6e2 b23 + x493 - x576 >= -1.6e2 e1311: - 1.6e2 b13 + x531 - x566 >= -1.6e2 e1312: - 1.6e2 b14 + x532 - x567 >= -1.6e2 e1313: - 1.6e2 b16 + x534 - x569 >= -1.6e2 e1314: - 1.6e2 b17 + x535 - x570 >= -1.6e2 e1315: - 1.6e2 b19 + x537 - x572 >= -1.6e2 e1316: - 1.6e2 b20 + x538 - x573 >= -1.6e2 e1317: - 1.6e2 b22 + x540 - x575 >= -1.6e2 e1318: - 1.6e2 b23 + x541 - x576 >= -1.6e2 e1319: - 1.6e2 b25 + x459 - x578 >= -1.6e2 e1320: - 1.6e2 b26 + x460 - x579 >= -1.6e2 e1321: - 1.6e2 b28 + x462 - x581 >= -1.6e2 e1322: - 1.6e2 b29 + x463 - x582 >= -1.6e2 e1323: - 1.6e2 b31 + x465 - x584 >= -1.6e2 e1324: - 1.6e2 b32 + x466 - x585 >= -1.6e2 e1325: - 1.6e2 b34 + x468 - x587 >= -1.6e2 e1326: - 1.6e2 b35 + x469 - x588 >= -1.6e2 e1327: - 1.6e2 b25 + x471 - x578 >= -1.6e2 e1328: - 1.6e2 b26 + x472 - x579 >= -1.6e2 e1329: - 1.6e2 b28 + x474 - x581 >= -1.6e2 e1330: - 1.6e2 b29 + x475 - x582 >= -1.6e2 e1331: - 1.6e2 b31 + x477 - x584 >= -1.6e2 e1332: - 1.6e2 b32 + x478 - x585 >= -1.6e2 e1333: - 1.6e2 b34 + x480 - x587 >= -1.6e2 e1334: - 1.6e2 b35 + x481 - x588 >= -1.6e2 e1335: - 1.6e2 b25 + x531 - x578 >= -1.6e2 e1336: - 1.6e2 b26 + x532 - x579 >= -1.6e2 e1337: - 1.6e2 b28 + x534 - x581 >= -1.6e2 e1338: - 1.6e2 b29 + x535 - x582 >= -1.6e2 e1339: - 1.6e2 b31 + x537 - x584 >= -1.6e2 e1340: - 1.6e2 b32 + x538 - x585 >= -1.6e2 e1341: - 1.6e2 b34 + x540 - x587 >= -1.6e2 e1342: - 1.6e2 b35 + x541 - x588 >= -1.6e2 e1343: - 1.6e2 b37 + x507 - x590 >= -1.6e2 e1344: - 1.6e2 b38 + x508 - x591 >= -1.6e2 e1345: - 1.6e2 b40 + x510 - x593 >= -1.6e2 e1346: - 1.6e2 b41 + x511 - x594 >= -1.6e2 e1347: - 1.6e2 b43 + x513 - x596 >= -1.6e2 e1348: - 1.6e2 b44 + x514 - x597 >= -1.6e2 e1349: - 1.6e2 b46 + x516 - x599 >= -1.6e2 e1350: - 1.6e2 b47 + x517 - x600 >= -1.6e2 e1351: - 1.6e2 b37 + x519 - x590 >= -1.6e2 e1352: - 1.6e2 b38 + x520 - x591 >= -1.6e2 e1353: - 1.6e2 b40 + x522 - x593 >= -1.6e2 e1354: - 1.6e2 b41 + x523 - x594 >= -1.6e2 e1355: - 1.6e2 b43 + x525 - x596 >= -1.6e2 e1356: - 1.6e2 b44 + x526 - x597 >= -1.6e2 e1357: - 1.6e2 b46 + x528 - x599 >= -1.6e2 e1358: - 1.6e2 b47 + x529 - x600 >= -1.6e2 e1359: - 1.6e2 b37 + x543 - x590 >= -1.6e2 e1360: - 1.6e2 b38 + x544 - x591 >= -1.6e2 e1361: - 1.6e2 b40 + x546 - x593 >= -1.6e2 e1362: - 1.6e2 b41 + x547 - x594 >= -1.6e2 e1363: - 1.6e2 b43 + x549 - x596 >= -1.6e2 e1364: - 1.6e2 b44 + x550 - x597 >= -1.6e2 e1365: - 1.6e2 b46 + x552 - x599 >= -1.6e2 e1366: - 1.6e2 b47 + x553 - x600 >= -1.6e2 e1367: - 1.6e2 b49 + x495 - x602 >= -1.6e2 e1368: - 1.6e2 b50 + x496 - x603 >= -1.6e2 e1369: - 1.6e2 b52 + x498 - x605 >= -1.6e2 e1370: - 1.6e2 b53 + x499 - x606 >= -1.6e2 e1371: - 1.6e2 b55 + x501 - x608 >= -1.6e2 e1372: - 1.6e2 b56 + x502 - x609 >= -1.6e2 e1373: - 1.6e2 b58 + x504 - x611 >= -1.6e2 e1374: - 1.6e2 b59 + x505 - x612 >= -1.6e2 e1375: - 1.6e2 b49 + x519 - x602 >= -1.6e2 e1376: - 1.6e2 b50 + x520 - x603 >= -1.6e2 e1377: - 1.6e2 b52 + x522 - x605 >= -1.6e2 e1378: - 1.6e2 b53 + x523 - x606 >= -1.6e2 e1379: - 1.6e2 b55 + x525 - x608 >= -1.6e2 e1380: - 1.6e2 b56 + x526 - x609 >= -1.6e2 e1381: - 1.6e2 b58 + x528 - x611 >= -1.6e2 e1382: - 1.6e2 b59 + x529 - x612 >= -1.6e2 e1383: - 1.6e2 b49 + x543 - x602 >= -1.6e2 e1384: - 1.6e2 b50 + x544 - x603 >= -1.6e2 e1385: - 1.6e2 b52 + x546 - x605 >= -1.6e2 e1386: - 1.6e2 b53 + x547 - x606 >= -1.6e2 e1387: - 1.6e2 b55 + x549 - x608 >= -1.6e2 e1388: - 1.6e2 b56 + x550 - x609 >= -1.6e2 e1389: - 1.6e2 b58 + x552 - x611 >= -1.6e2 e1390: - 1.6e2 b59 + x553 - x612 >= -1.6e2 e1391: - 1.6e2 b61 + x495 - x614 >= -1.6e2 e1392: - 1.6e2 b62 + x496 - x615 >= -1.6e2 e1393: - 1.6e2 b64 + x498 - x617 >= -1.6e2 e1394: - 1.6e2 b65 + x499 - x618 >= -1.6e2 e1395: - 1.6e2 b67 + x501 - x620 >= -1.6e2 e1396: - 1.6e2 b68 + x502 - x621 >= -1.6e2 e1397: - 1.6e2 b70 + x504 - x623 >= -1.6e2 e1398: - 1.6e2 b71 + x505 - x624 >= -1.6e2 e1399: - 1.6e2 b61 + x507 - x614 >= -1.6e2 e1400: - 1.6e2 b62 + x508 - x615 >= -1.6e2 e1401: - 1.6e2 b64 + x510 - x617 >= -1.6e2 e1402: - 1.6e2 b65 + x511 - x618 >= -1.6e2 e1403: - 1.6e2 b67 + x513 - x620 >= -1.6e2 e1404: - 1.6e2 b68 + x514 - x621 >= -1.6e2 e1405: - 1.6e2 b70 + x516 - x623 >= -1.6e2 e1406: - 1.6e2 b71 + x517 - x624 >= -1.6e2 e1407: - 1.6e2 b61 + x543 - x614 >= -1.6e2 e1408: - 1.6e2 b62 + x544 - x615 >= -1.6e2 e1409: - 1.6e2 b64 + x546 - x617 >= -1.6e2 e1410: - 1.6e2 b65 + x547 - x618 >= -1.6e2 e1411: - 1.6e2 b67 + x549 - x620 >= -1.6e2 e1412: - 1.6e2 b68 + x550 - x621 >= -1.6e2 e1413: - 1.6e2 b70 + x552 - x623 >= -1.6e2 e1414: - 1.6e2 b71 + x553 - x624 >= -1.6e2 e1415: - 1.6e2 b73 + x459 - x626 >= -1.6e2 e1416: - 1.6e2 b74 + x460 - x627 >= -1.6e2 e1417: - 1.6e2 b76 + x462 - x629 >= -1.6e2 e1418: - 1.6e2 b77 + x463 - x630 >= -1.6e2 e1419: - 1.6e2 b79 + x465 - x632 >= -1.6e2 e1420: - 1.6e2 b80 + x466 - x633 >= -1.6e2 e1421: - 1.6e2 b82 + x468 - x635 >= -1.6e2 e1422: - 1.6e2 b83 + x469 - x636 >= -1.6e2 e1423: - 1.6e2 b73 + x471 - x626 >= -1.6e2 e1424: - 1.6e2 b74 + x472 - x627 >= -1.6e2 e1425: - 1.6e2 b76 + x474 - x629 >= -1.6e2 e1426: - 1.6e2 b77 + x475 - x630 >= -1.6e2 e1427: - 1.6e2 b79 + x477 - x632 >= -1.6e2 e1428: - 1.6e2 b80 + x478 - x633 >= -1.6e2 e1429: - 1.6e2 b82 + x480 - x635 >= -1.6e2 e1430: - 1.6e2 b83 + x481 - x636 >= -1.6e2 e1431: - 1.6e2 b73 + x483 - x626 >= -1.6e2 e1432: - 1.6e2 b74 + x484 - x627 >= -1.6e2 e1433: - 1.6e2 b76 + x486 - x629 >= -1.6e2 e1434: - 1.6e2 b77 + x487 - x630 >= -1.6e2 e1435: - 1.6e2 b79 + x489 - x632 >= -1.6e2 e1436: - 1.6e2 b80 + x490 - x633 >= -1.6e2 e1437: - 1.6e2 b82 + x492 - x635 >= -1.6e2 e1438: - 1.6e2 b83 + x493 - x636 >= -1.6e2 e1439: - 1.6e2 b85 + x495 - x638 >= -1.6e2 e1440: - 1.6e2 b86 + x496 - x639 >= -1.6e2 e1441: - 1.6e2 b88 + x498 - x641 >= -1.6e2 e1442: - 1.6e2 b89 + x499 - x642 >= -1.6e2 e1443: - 1.6e2 b91 + x501 - x644 >= -1.6e2 e1444: - 1.6e2 b92 + x502 - x645 >= -1.6e2 e1445: - 1.6e2 b94 + x504 - x647 >= -1.6e2 e1446: - 1.6e2 b95 + x505 - x648 >= -1.6e2 e1447: - 1.6e2 b85 + x507 - x638 >= -1.6e2 e1448: - 1.6e2 b86 + x508 - x639 >= -1.6e2 e1449: - 1.6e2 b88 + x510 - x641 >= -1.6e2 e1450: - 1.6e2 b89 + x511 - x642 >= -1.6e2 e1451: - 1.6e2 b91 + x513 - x644 >= -1.6e2 e1452: - 1.6e2 b92 + x514 - x645 >= -1.6e2 e1453: - 1.6e2 b94 + x516 - x647 >= -1.6e2 e1454: - 1.6e2 b95 + x517 - x648 >= -1.6e2 e1455: - 1.6e2 b85 + x519 - x638 >= -1.6e2 e1456: - 1.6e2 b86 + x520 - x639 >= -1.6e2 e1457: - 1.6e2 b88 + x522 - x641 >= -1.6e2 e1458: - 1.6e2 b89 + x523 - x642 >= -1.6e2 e1459: - 1.6e2 b91 + x525 - x644 >= -1.6e2 e1460: - 1.6e2 b92 + x526 - x645 >= -1.6e2 e1461: - 1.6e2 b94 + x528 - x647 >= -1.6e2 e1462: - 1.6e2 b95 + x529 - x648 >= -1.6e2 e1463: 1.6e2 b1 + 1.6e2 b2 + x459 - x554 <= 3.2e2 e1464: 1.6e2 b2 + 1.6e2 b3 + x460 - x555 <= 3.2e2 e1465: 1.6e2 b1 + 1.6e2 b5 + x462 - x554 <= 3.2e2 e1466: 1.6e2 b2 + 1.6e2 b6 + x463 - x555 <= 3.2e2 e1467: 1.6e2 b1 + 1.6e2 b8 + x465 - x554 <= 3.2e2 e1468: 1.6e2 b2 + 1.6e2 b9 + x466 - x555 <= 3.2e2 e1469: 1.6e2 b1 + 1.6e2 b11 + x468 - x554 <= 3.2e2 e1470: 1.6e2 b2 + 1.6e2 b12 + x469 - x555 <= 3.2e2 e1471: 1.6e2 b2 + 1.6e2 b4 + x459 - x557 <= 3.2e2 e1472: 1.6e2 b3 + 1.6e2 b5 + x460 - x558 <= 3.2e2 e1473: 1.6e2 b4 + 1.6e2 b5 + x462 - x557 <= 3.2e2 e1474: 1.6e2 b5 + 1.6e2 b6 + x463 - x558 <= 3.2e2 e1475: 1.6e2 b4 + 1.6e2 b8 + x465 - x557 <= 3.2e2 e1476: 1.6e2 b5 + 1.6e2 b9 + x466 - x558 <= 3.2e2 e1477: 1.6e2 b4 + 1.6e2 b11 + x468 - x557 <= 3.2e2 e1478: 1.6e2 b5 + 1.6e2 b12 + x469 - x558 <= 3.2e2 e1479: 1.6e2 b2 + 1.6e2 b7 + x459 - x560 <= 3.2e2 e1480: 1.6e2 b3 + 1.6e2 b8 + x460 - x561 <= 3.2e2 e1481: 1.6e2 b5 + 1.6e2 b7 + x462 - x560 <= 3.2e2 e1482: 1.6e2 b6 + 1.6e2 b8 + x463 - x561 <= 3.2e2 e1483: 1.6e2 b7 + 1.6e2 b8 + x465 - x560 <= 3.2e2 e1484: 1.6e2 b8 + 1.6e2 b9 + x466 - x561 <= 3.2e2 e1485: 1.6e2 b7 + 1.6e2 b11 + x468 - x560 <= 3.2e2 e1486: 1.6e2 b8 + 1.6e2 b12 + x469 - x561 <= 3.2e2 e1487: 1.6e2 b2 + 1.6e2 b10 + x459 - x563 <= 3.2e2 e1488: 1.6e2 b3 + 1.6e2 b11 + x460 - x564 <= 3.2e2 e1489: 1.6e2 b5 + 1.6e2 b10 + x462 - x563 <= 3.2e2 e1490: 1.6e2 b6 + 1.6e2 b11 + x463 - x564 <= 3.2e2 e1491: 1.6e2 b8 + 1.6e2 b10 + x465 - x563 <= 3.2e2 e1492: 1.6e2 b9 + 1.6e2 b11 + x466 - x564 <= 3.2e2 e1493: 1.6e2 b10 + 1.6e2 b11 + x468 - x563 <= 3.2e2 e1494: 1.6e2 b11 + 1.6e2 b12 + x469 - x564 <= 3.2e2 e1495: 1.6e2 b13 + 1.6e2 b14 + x471 - x566 <= 3.2e2 e1496: 1.6e2 b14 + 1.6e2 b15 + x472 - x567 <= 3.2e2 e1497: 1.6e2 b13 + 1.6e2 b17 + x474 - x566 <= 3.2e2 e1498: 1.6e2 b14 + 1.6e2 b18 + x475 - x567 <= 3.2e2 e1499: 1.6e2 b13 + 1.6e2 b20 + x477 - x566 <= 3.2e2 e1500: 1.6e2 b14 + 1.6e2 b21 + x478 - x567 <= 3.2e2 e1501: 1.6e2 b13 + 1.6e2 b23 + x480 - x566 <= 3.2e2 e1502: 1.6e2 b14 + 1.6e2 b24 + x481 - x567 <= 3.2e2 e1503: 1.6e2 b14 + 1.6e2 b16 + x471 - x569 <= 3.2e2 e1504: 1.6e2 b15 + 1.6e2 b17 + x472 - x570 <= 3.2e2 e1505: 1.6e2 b16 + 1.6e2 b17 + x474 - x569 <= 3.2e2 e1506: 1.6e2 b17 + 1.6e2 b18 + x475 - x570 <= 3.2e2 e1507: 1.6e2 b16 + 1.6e2 b20 + x477 - x569 <= 3.2e2 e1508: 1.6e2 b17 + 1.6e2 b21 + x478 - x570 <= 3.2e2 e1509: 1.6e2 b16 + 1.6e2 b23 + x480 - x569 <= 3.2e2 e1510: 1.6e2 b17 + 1.6e2 b24 + x481 - x570 <= 3.2e2 e1511: 1.6e2 b14 + 1.6e2 b19 + x471 - x572 <= 3.2e2 e1512: 1.6e2 b15 + 1.6e2 b20 + x472 - x573 <= 3.2e2 e1513: 1.6e2 b17 + 1.6e2 b19 + x474 - x572 <= 3.2e2 e1514: 1.6e2 b18 + 1.6e2 b20 + x475 - x573 <= 3.2e2 e1515: 1.6e2 b19 + 1.6e2 b20 + x477 - x572 <= 3.2e2 e1516: 1.6e2 b20 + 1.6e2 b21 + x478 - x573 <= 3.2e2 e1517: 1.6e2 b19 + 1.6e2 b23 + x480 - x572 <= 3.2e2 e1518: 1.6e2 b20 + 1.6e2 b24 + x481 - x573 <= 3.2e2 e1519: 1.6e2 b14 + 1.6e2 b22 + x471 - x575 <= 3.2e2 e1520: 1.6e2 b15 + 1.6e2 b23 + x472 - x576 <= 3.2e2 e1521: 1.6e2 b17 + 1.6e2 b22 + x474 - x575 <= 3.2e2 e1522: 1.6e2 b18 + 1.6e2 b23 + x475 - x576 <= 3.2e2 e1523: 1.6e2 b20 + 1.6e2 b22 + x477 - x575 <= 3.2e2 e1524: 1.6e2 b21 + 1.6e2 b23 + x478 - x576 <= 3.2e2 e1525: 1.6e2 b22 + 1.6e2 b23 + x480 - x575 <= 3.2e2 e1526: 1.6e2 b23 + 1.6e2 b24 + x481 - x576 <= 3.2e2 e1527: 1.6e2 b25 + 1.6e2 b26 + x483 - x578 <= 3.2e2 e1528: 1.6e2 b26 + 1.6e2 b27 + x484 - x579 <= 3.2e2 e1529: 1.6e2 b25 + 1.6e2 b29 + x486 - x578 <= 3.2e2 e1530: 1.6e2 b26 + 1.6e2 b30 + x487 - x579 <= 3.2e2 e1531: 1.6e2 b25 + 1.6e2 b32 + x489 - x578 <= 3.2e2 e1532: 1.6e2 b26 + 1.6e2 b33 + x490 - x579 <= 3.2e2 e1533: 1.6e2 b25 + 1.6e2 b35 + x492 - x578 <= 3.2e2 e1534: 1.6e2 b26 + 1.6e2 b36 + x493 - x579 <= 3.2e2 e1535: 1.6e2 b26 + 1.6e2 b28 + x483 - x581 <= 3.2e2 e1536: 1.6e2 b27 + 1.6e2 b29 + x484 - x582 <= 3.2e2 e1537: 1.6e2 b28 + 1.6e2 b29 + x486 - x581 <= 3.2e2 e1538: 1.6e2 b29 + 1.6e2 b30 + x487 - x582 <= 3.2e2 e1539: 1.6e2 b28 + 1.6e2 b32 + x489 - x581 <= 3.2e2 e1540: 1.6e2 b29 + 1.6e2 b33 + x490 - x582 <= 3.2e2 e1541: 1.6e2 b28 + 1.6e2 b35 + x492 - x581 <= 3.2e2 e1542: 1.6e2 b29 + 1.6e2 b36 + x493 - x582 <= 3.2e2 e1543: 1.6e2 b26 + 1.6e2 b31 + x483 - x584 <= 3.2e2 e1544: 1.6e2 b27 + 1.6e2 b32 + x484 - x585 <= 3.2e2 e1545: 1.6e2 b29 + 1.6e2 b31 + x486 - x584 <= 3.2e2 e1546: 1.6e2 b30 + 1.6e2 b32 + x487 - x585 <= 3.2e2 e1547: 1.6e2 b31 + 1.6e2 b32 + x489 - x584 <= 3.2e2 e1548: 1.6e2 b32 + 1.6e2 b33 + x490 - x585 <= 3.2e2 e1549: 1.6e2 b31 + 1.6e2 b35 + x492 - x584 <= 3.2e2 e1550: 1.6e2 b32 + 1.6e2 b36 + x493 - x585 <= 3.2e2 e1551: 1.6e2 b26 + 1.6e2 b34 + x483 - x587 <= 3.2e2 e1552: 1.6e2 b27 + 1.6e2 b35 + x484 - x588 <= 3.2e2 e1553: 1.6e2 b29 + 1.6e2 b34 + x486 - x587 <= 3.2e2 e1554: 1.6e2 b30 + 1.6e2 b35 + x487 - x588 <= 3.2e2 e1555: 1.6e2 b32 + 1.6e2 b34 + x489 - x587 <= 3.2e2 e1556: 1.6e2 b33 + 1.6e2 b35 + x490 - x588 <= 3.2e2 e1557: 1.6e2 b34 + 1.6e2 b35 + x492 - x587 <= 3.2e2 e1558: 1.6e2 b35 + 1.6e2 b36 + x493 - x588 <= 3.2e2 e1559: 1.6e2 b37 + 1.6e2 b38 + x495 - x590 <= 3.2e2 e1560: 1.6e2 b38 + 1.6e2 b39 + x496 - x591 <= 3.2e2 e1561: 1.6e2 b37 + 1.6e2 b41 + x498 - x590 <= 3.2e2 e1562: 1.6e2 b38 + 1.6e2 b42 + x499 - x591 <= 3.2e2 e1563: 1.6e2 b37 + 1.6e2 b44 + x501 - x590 <= 3.2e2 e1564: 1.6e2 b38 + 1.6e2 b45 + x502 - x591 <= 3.2e2 e1565: 1.6e2 b37 + 1.6e2 b47 + x504 - x590 <= 3.2e2 e1566: 1.6e2 b38 + 1.6e2 b48 + x505 - x591 <= 3.2e2 e1567: 1.6e2 b38 + 1.6e2 b40 + x495 - x593 <= 3.2e2 e1568: 1.6e2 b39 + 1.6e2 b41 + x496 - x594 <= 3.2e2 e1569: 1.6e2 b40 + 1.6e2 b41 + x498 - x593 <= 3.2e2 e1570: 1.6e2 b41 + 1.6e2 b42 + x499 - x594 <= 3.2e2 e1571: 1.6e2 b40 + 1.6e2 b44 + x501 - x593 <= 3.2e2 e1572: 1.6e2 b41 + 1.6e2 b45 + x502 - x594 <= 3.2e2 e1573: 1.6e2 b40 + 1.6e2 b47 + x504 - x593 <= 3.2e2 e1574: 1.6e2 b41 + 1.6e2 b48 + x505 - x594 <= 3.2e2 e1575: 1.6e2 b38 + 1.6e2 b43 + x495 - x596 <= 3.2e2 e1576: 1.6e2 b39 + 1.6e2 b44 + x496 - x597 <= 3.2e2 e1577: 1.6e2 b41 + 1.6e2 b43 + x498 - x596 <= 3.2e2 e1578: 1.6e2 b42 + 1.6e2 b44 + x499 - x597 <= 3.2e2 e1579: 1.6e2 b43 + 1.6e2 b44 + x501 - x596 <= 3.2e2 e1580: 1.6e2 b44 + 1.6e2 b45 + x502 - x597 <= 3.2e2 e1581: 1.6e2 b43 + 1.6e2 b47 + x504 - x596 <= 3.2e2 e1582: 1.6e2 b44 + 1.6e2 b48 + x505 - x597 <= 3.2e2 e1583: 1.6e2 b38 + 1.6e2 b46 + x495 - x599 <= 3.2e2 e1584: 1.6e2 b39 + 1.6e2 b47 + x496 - x600 <= 3.2e2 e1585: 1.6e2 b41 + 1.6e2 b46 + x498 - x599 <= 3.2e2 e1586: 1.6e2 b42 + 1.6e2 b47 + x499 - x600 <= 3.2e2 e1587: 1.6e2 b44 + 1.6e2 b46 + x501 - x599 <= 3.2e2 e1588: 1.6e2 b45 + 1.6e2 b47 + x502 - x600 <= 3.2e2 e1589: 1.6e2 b46 + 1.6e2 b47 + x504 - x599 <= 3.2e2 e1590: 1.6e2 b47 + 1.6e2 b48 + x505 - x600 <= 3.2e2 e1591: 1.6e2 b49 + 1.6e2 b50 + x507 - x602 <= 3.2e2 e1592: 1.6e2 b50 + 1.6e2 b51 + x508 - x603 <= 3.2e2 e1593: 1.6e2 b49 + 1.6e2 b53 + x510 - x602 <= 3.2e2 e1594: 1.6e2 b50 + 1.6e2 b54 + x511 - x603 <= 3.2e2 e1595: 1.6e2 b49 + 1.6e2 b56 + x513 - x602 <= 3.2e2 e1596: 1.6e2 b50 + 1.6e2 b57 + x514 - x603 <= 3.2e2 e1597: 1.6e2 b49 + 1.6e2 b59 + x516 - x602 <= 3.2e2 e1598: 1.6e2 b50 + 1.6e2 b60 + x517 - x603 <= 3.2e2 e1599: 1.6e2 b50 + 1.6e2 b52 + x507 - x605 <= 3.2e2 e1600: 1.6e2 b51 + 1.6e2 b53 + x508 - x606 <= 3.2e2 e1601: 1.6e2 b52 + 1.6e2 b53 + x510 - x605 <= 3.2e2 e1602: 1.6e2 b53 + 1.6e2 b54 + x511 - x606 <= 3.2e2 e1603: 1.6e2 b52 + 1.6e2 b56 + x513 - x605 <= 3.2e2 e1604: 1.6e2 b53 + 1.6e2 b57 + x514 - x606 <= 3.2e2 e1605: 1.6e2 b52 + 1.6e2 b59 + x516 - x605 <= 3.2e2 e1606: 1.6e2 b53 + 1.6e2 b60 + x517 - x606 <= 3.2e2 e1607: 1.6e2 b50 + 1.6e2 b55 + x507 - x608 <= 3.2e2 e1608: 1.6e2 b51 + 1.6e2 b56 + x508 - x609 <= 3.2e2 e1609: 1.6e2 b53 + 1.6e2 b55 + x510 - x608 <= 3.2e2 e1610: 1.6e2 b54 + 1.6e2 b56 + x511 - x609 <= 3.2e2 e1611: 1.6e2 b55 + 1.6e2 b56 + x513 - x608 <= 3.2e2 e1612: 1.6e2 b56 + 1.6e2 b57 + x514 - x609 <= 3.2e2 e1613: 1.6e2 b55 + 1.6e2 b59 + x516 - x608 <= 3.2e2 e1614: 1.6e2 b56 + 1.6e2 b60 + x517 - x609 <= 3.2e2 e1615: 1.6e2 b50 + 1.6e2 b58 + x507 - x611 <= 3.2e2 e1616: 1.6e2 b51 + 1.6e2 b59 + x508 - x612 <= 3.2e2 e1617: 1.6e2 b53 + 1.6e2 b58 + x510 - x611 <= 3.2e2 e1618: 1.6e2 b54 + 1.6e2 b59 + x511 - x612 <= 3.2e2 e1619: 1.6e2 b56 + 1.6e2 b58 + x513 - x611 <= 3.2e2 e1620: 1.6e2 b57 + 1.6e2 b59 + x514 - x612 <= 3.2e2 e1621: 1.6e2 b58 + 1.6e2 b59 + x516 - x611 <= 3.2e2 e1622: 1.6e2 b59 + 1.6e2 b60 + x517 - x612 <= 3.2e2 e1623: 1.6e2 b61 + 1.6e2 b62 + x519 - x614 <= 3.2e2 e1624: 1.6e2 b62 + 1.6e2 b63 + x520 - x615 <= 3.2e2 e1625: 1.6e2 b61 + 1.6e2 b65 + x522 - x614 <= 3.2e2 e1626: 1.6e2 b62 + 1.6e2 b66 + x523 - x615 <= 3.2e2 e1627: 1.6e2 b61 + 1.6e2 b68 + x525 - x614 <= 3.2e2 e1628: 1.6e2 b62 + 1.6e2 b69 + x526 - x615 <= 3.2e2 e1629: 1.6e2 b61 + 1.6e2 b71 + x528 - x614 <= 3.2e2 e1630: 1.6e2 b62 + 1.6e2 b72 + x529 - x615 <= 3.2e2 e1631: 1.6e2 b62 + 1.6e2 b64 + x519 - x617 <= 3.2e2 e1632: 1.6e2 b63 + 1.6e2 b65 + x520 - x618 <= 3.2e2 e1633: 1.6e2 b64 + 1.6e2 b65 + x522 - x617 <= 3.2e2 e1634: 1.6e2 b65 + 1.6e2 b66 + x523 - x618 <= 3.2e2 e1635: 1.6e2 b64 + 1.6e2 b68 + x525 - x617 <= 3.2e2 e1636: 1.6e2 b65 + 1.6e2 b69 + x526 - x618 <= 3.2e2 e1637: 1.6e2 b64 + 1.6e2 b71 + x528 - x617 <= 3.2e2 e1638: 1.6e2 b65 + 1.6e2 b72 + x529 - x618 <= 3.2e2 e1639: 1.6e2 b62 + 1.6e2 b67 + x519 - x620 <= 3.2e2 e1640: 1.6e2 b63 + 1.6e2 b68 + x520 - x621 <= 3.2e2 e1641: 1.6e2 b65 + 1.6e2 b67 + x522 - x620 <= 3.2e2 e1642: 1.6e2 b66 + 1.6e2 b68 + x523 - x621 <= 3.2e2 e1643: 1.6e2 b67 + 1.6e2 b68 + x525 - x620 <= 3.2e2 e1644: 1.6e2 b68 + 1.6e2 b69 + x526 - x621 <= 3.2e2 e1645: 1.6e2 b67 + 1.6e2 b71 + x528 - x620 <= 3.2e2 e1646: 1.6e2 b68 + 1.6e2 b72 + x529 - x621 <= 3.2e2 e1647: 1.6e2 b62 + 1.6e2 b70 + x519 - x623 <= 3.2e2 e1648: 1.6e2 b63 + 1.6e2 b71 + x520 - x624 <= 3.2e2 e1649: 1.6e2 b65 + 1.6e2 b70 + x522 - x623 <= 3.2e2 e1650: 1.6e2 b66 + 1.6e2 b71 + x523 - x624 <= 3.2e2 e1651: 1.6e2 b68 + 1.6e2 b70 + x525 - x623 <= 3.2e2 e1652: 1.6e2 b69 + 1.6e2 b71 + x526 - x624 <= 3.2e2 e1653: 1.6e2 b70 + 1.6e2 b71 + x528 - x623 <= 3.2e2 e1654: 1.6e2 b71 + 1.6e2 b72 + x529 - x624 <= 3.2e2 e1655: 1.6e2 b73 + 1.6e2 b74 + x531 - x626 <= 3.2e2 e1656: 1.6e2 b74 + 1.6e2 b75 + x532 - x627 <= 3.2e2 e1657: 1.6e2 b73 + 1.6e2 b77 + x534 - x626 <= 3.2e2 e1658: 1.6e2 b74 + 1.6e2 b78 + x535 - x627 <= 3.2e2 e1659: 1.6e2 b73 + 1.6e2 b80 + x537 - x626 <= 3.2e2 e1660: 1.6e2 b74 + 1.6e2 b81 + x538 - x627 <= 3.2e2 e1661: 1.6e2 b73 + 1.6e2 b83 + x540 - x626 <= 3.2e2 e1662: 1.6e2 b74 + 1.6e2 b84 + x541 - x627 <= 3.2e2 e1663: 1.6e2 b74 + 1.6e2 b76 + x531 - x629 <= 3.2e2 e1664: 1.6e2 b75 + 1.6e2 b77 + x532 - x630 <= 3.2e2 e1665: 1.6e2 b76 + 1.6e2 b77 + x534 - x629 <= 3.2e2 e1666: 1.6e2 b77 + 1.6e2 b78 + x535 - x630 <= 3.2e2 e1667: 1.6e2 b76 + 1.6e2 b80 + x537 - x629 <= 3.2e2 e1668: 1.6e2 b77 + 1.6e2 b81 + x538 - x630 <= 3.2e2 e1669: 1.6e2 b76 + 1.6e2 b83 + x540 - x629 <= 3.2e2 e1670: 1.6e2 b77 + 1.6e2 b84 + x541 - x630 <= 3.2e2 e1671: 1.6e2 b74 + 1.6e2 b79 + x531 - x632 <= 3.2e2 e1672: 1.6e2 b75 + 1.6e2 b80 + x532 - x633 <= 3.2e2 e1673: 1.6e2 b77 + 1.6e2 b79 + x534 - x632 <= 3.2e2 e1674: 1.6e2 b78 + 1.6e2 b80 + x535 - x633 <= 3.2e2 e1675: 1.6e2 b79 + 1.6e2 b80 + x537 - x632 <= 3.2e2 e1676: 1.6e2 b80 + 1.6e2 b81 + x538 - x633 <= 3.2e2 e1677: 1.6e2 b79 + 1.6e2 b83 + x540 - x632 <= 3.2e2 e1678: 1.6e2 b80 + 1.6e2 b84 + x541 - x633 <= 3.2e2 e1679: 1.6e2 b74 + 1.6e2 b82 + x531 - x635 <= 3.2e2 e1680: 1.6e2 b75 + 1.6e2 b83 + x532 - x636 <= 3.2e2 e1681: 1.6e2 b77 + 1.6e2 b82 + x534 - x635 <= 3.2e2 e1682: 1.6e2 b78 + 1.6e2 b83 + x535 - x636 <= 3.2e2 e1683: 1.6e2 b80 + 1.6e2 b82 + x537 - x635 <= 3.2e2 e1684: 1.6e2 b81 + 1.6e2 b83 + x538 - x636 <= 3.2e2 e1685: 1.6e2 b82 + 1.6e2 b83 + x540 - x635 <= 3.2e2 e1686: 1.6e2 b83 + 1.6e2 b84 + x541 - x636 <= 3.2e2 e1687: 1.6e2 b85 + 1.6e2 b86 + x543 - x638 <= 3.2e2 e1688: 1.6e2 b86 + 1.6e2 b87 + x544 - x639 <= 3.2e2 e1689: 1.6e2 b85 + 1.6e2 b89 + x546 - x638 <= 3.2e2 e1690: 1.6e2 b86 + 1.6e2 b90 + x547 - x639 <= 3.2e2 e1691: 1.6e2 b85 + 1.6e2 b92 + x549 - x638 <= 3.2e2 e1692: 1.6e2 b86 + 1.6e2 b93 + x550 - x639 <= 3.2e2 e1693: 1.6e2 b85 + 1.6e2 b95 + x552 - x638 <= 3.2e2 e1694: 1.6e2 b86 + 1.6e2 b96 + x553 - x639 <= 3.2e2 e1695: 1.6e2 b86 + 1.6e2 b88 + x543 - x641 <= 3.2e2 e1696: 1.6e2 b87 + 1.6e2 b89 + x544 - x642 <= 3.2e2 e1697: 1.6e2 b88 + 1.6e2 b89 + x546 - x641 <= 3.2e2 e1698: 1.6e2 b89 + 1.6e2 b90 + x547 - x642 <= 3.2e2 e1699: 1.6e2 b88 + 1.6e2 b92 + x549 - x641 <= 3.2e2 e1700: 1.6e2 b89 + 1.6e2 b93 + x550 - x642 <= 3.2e2 e1701: 1.6e2 b88 + 1.6e2 b95 + x552 - x641 <= 3.2e2 e1702: 1.6e2 b89 + 1.6e2 b96 + x553 - x642 <= 3.2e2 e1703: 1.6e2 b86 + 1.6e2 b91 + x543 - x644 <= 3.2e2 e1704: 1.6e2 b87 + 1.6e2 b92 + x544 - x645 <= 3.2e2 e1705: 1.6e2 b89 + 1.6e2 b91 + x546 - x644 <= 3.2e2 e1706: 1.6e2 b90 + 1.6e2 b92 + x547 - x645 <= 3.2e2 e1707: 1.6e2 b91 + 1.6e2 b92 + x549 - x644 <= 3.2e2 e1708: 1.6e2 b92 + 1.6e2 b93 + x550 - x645 <= 3.2e2 e1709: 1.6e2 b91 + 1.6e2 b95 + x552 - x644 <= 3.2e2 e1710: 1.6e2 b92 + 1.6e2 b96 + x553 - x645 <= 3.2e2 e1711: 1.6e2 b86 + 1.6e2 b94 + x543 - x647 <= 3.2e2 e1712: 1.6e2 b87 + 1.6e2 b95 + x544 - x648 <= 3.2e2 e1713: 1.6e2 b89 + 1.6e2 b94 + x546 - x647 <= 3.2e2 e1714: 1.6e2 b90 + 1.6e2 b95 + x547 - x648 <= 3.2e2 e1715: 1.6e2 b92 + 1.6e2 b94 + x549 - x647 <= 3.2e2 e1716: 1.6e2 b93 + 1.6e2 b95 + x550 - x648 <= 3.2e2 e1717: 1.6e2 b94 + 1.6e2 b95 + x552 - x647 <= 3.2e2 e1718: 1.6e2 b95 + 1.6e2 b96 + x553 - x648 <= 3.2e2 e1719: x651 - x686 >= 0 e1720: x652 - x687 >= 0 e1721: x654 - x689 >= 0 e1722: x655 - x690 >= 0 e1723: x657 - x692 >= 0 e1724: x658 - x693 >= 0 e1725: x660 - x695 >= 0 e1726: x661 - x696 >= 0 e1727: x663 - x698 >= 0 e1728: x664 - x699 >= 0 e1729: x666 - x701 >= 0 e1730: x667 - x702 >= 0 e1731: x669 - x704 >= 0 e1732: x670 - x705 >= 0 e1733: x672 - x707 >= 0 e1734: x673 - x708 >= 0 e1735: x675 - x710 >= 0 e1736: x676 - x711 >= 0 e1737: x678 - x713 >= 0 e1738: x679 - x714 >= 0 e1739: x681 - x716 >= 0 e1740: x682 - x717 >= 0 e1741: x684 - x719 >= 0 e1742: x685 - x720 >= 0 e1743: - 1.6e2 b121 + x459 - x686 >= -1.6e2 e1744: - 1.6e2 b122 + x460 - x687 >= -1.6e2 e1745: - 1.6e2 b148 + x462 - x713 >= -1.6e2 e1746: - 1.6e2 b149 + x463 - x714 >= -1.6e2 e1747: - 1.6e2 b151 + x465 - x716 >= -1.6e2 e1748: - 1.6e2 b152 + x466 - x717 >= -1.6e2 e1749: - 1.6e2 b154 + x468 - x719 >= -1.6e2 e1750: - 1.6e2 b155 + x469 - x720 >= -1.6e2 e1751: - 1.6e2 b121 + x471 - x686 >= -1.6e2 e1752: - 1.6e2 b122 + x472 - x687 >= -1.6e2 e1753: - 1.6e2 b148 + x474 - x713 >= -1.6e2 e1754: - 1.6e2 b149 + x475 - x714 >= -1.6e2 e1755: - 1.6e2 b151 + x477 - x716 >= -1.6e2 e1756: - 1.6e2 b152 + x478 - x717 >= -1.6e2 e1757: - 1.6e2 b154 + x480 - x719 >= -1.6e2 e1758: - 1.6e2 b155 + x481 - x720 >= -1.6e2 e1759: - 1.6e2 b121 + x483 - x686 >= -1.6e2 e1760: - 1.6e2 b122 + x484 - x687 >= -1.6e2 e1761: - 1.6e2 b148 + x486 - x713 >= -1.6e2 e1762: - 1.6e2 b149 + x487 - x714 >= -1.6e2 e1763: - 1.6e2 b151 + x489 - x716 >= -1.6e2 e1764: - 1.6e2 b152 + x490 - x717 >= -1.6e2 e1765: - 1.6e2 b154 + x492 - x719 >= -1.6e2 e1766: - 1.6e2 b155 + x493 - x720 >= -1.6e2 e1767: - 1.6e2 b124 + x495 - x689 >= -1.6e2 e1768: - 1.6e2 b125 + x496 - x690 >= -1.6e2 e1769: - 1.6e2 b127 + x495 - x692 >= -1.6e2 e1770: - 1.6e2 b128 + x496 - x693 >= -1.6e2 e1771: - 1.6e2 b130 + x498 - x695 >= -1.6e2 e1772: - 1.6e2 b131 + x499 - x696 >= -1.6e2 e1773: - 1.6e2 b133 + x498 - x698 >= -1.6e2 e1774: - 1.6e2 b134 + x499 - x699 >= -1.6e2 e1775: - 1.6e2 b136 + x501 - x701 >= -1.6e2 e1776: - 1.6e2 b137 + x502 - x702 >= -1.6e2 e1777: - 1.6e2 b139 + x501 - x704 >= -1.6e2 e1778: - 1.6e2 b140 + x502 - x705 >= -1.6e2 e1779: - 1.6e2 b142 + x504 - x707 >= -1.6e2 e1780: - 1.6e2 b143 + x505 - x708 >= -1.6e2 e1781: - 1.6e2 b145 + x504 - x710 >= -1.6e2 e1782: - 1.6e2 b146 + x505 - x711 >= -1.6e2 e1783: - 1.6e2 b124 + x507 - x689 >= -1.6e2 e1784: - 1.6e2 b125 + x508 - x690 >= -1.6e2 e1785: - 1.6e2 b127 + x507 - x692 >= -1.6e2 e1786: - 1.6e2 b128 + x508 - x693 >= -1.6e2 e1787: - 1.6e2 b130 + x510 - x695 >= -1.6e2 e1788: - 1.6e2 b131 + x511 - x696 >= -1.6e2 e1789: - 1.6e2 b133 + x510 - x698 >= -1.6e2 e1790: - 1.6e2 b134 + x511 - x699 >= -1.6e2 e1791: - 1.6e2 b136 + x513 - x701 >= -1.6e2 e1792: - 1.6e2 b137 + x514 - x702 >= -1.6e2 e1793: - 1.6e2 b139 + x513 - x704 >= -1.6e2 e1794: - 1.6e2 b140 + x514 - x705 >= -1.6e2 e1795: - 1.6e2 b142 + x516 - x707 >= -1.6e2 e1796: - 1.6e2 b143 + x517 - x708 >= -1.6e2 e1797: - 1.6e2 b145 + x516 - x710 >= -1.6e2 e1798: - 1.6e2 b146 + x517 - x711 >= -1.6e2 e1799: - 1.6e2 b124 + x519 - x689 >= -1.6e2 e1800: - 1.6e2 b125 + x520 - x690 >= -1.6e2 e1801: - 1.6e2 b127 + x519 - x692 >= -1.6e2 e1802: - 1.6e2 b128 + x520 - x693 >= -1.6e2 e1803: - 1.6e2 b130 + x522 - x695 >= -1.6e2 e1804: - 1.6e2 b131 + x523 - x696 >= -1.6e2 e1805: - 1.6e2 b133 + x522 - x698 >= -1.6e2 e1806: - 1.6e2 b134 + x523 - x699 >= -1.6e2 e1807: - 1.6e2 b136 + x525 - x701 >= -1.6e2 e1808: - 1.6e2 b137 + x526 - x702 >= -1.6e2 e1809: - 1.6e2 b139 + x525 - x704 >= -1.6e2 e1810: - 1.6e2 b140 + x526 - x705 >= -1.6e2 e1811: - 1.6e2 b142 + x528 - x707 >= -1.6e2 e1812: - 1.6e2 b143 + x529 - x708 >= -1.6e2 e1813: - 1.6e2 b145 + x528 - x710 >= -1.6e2 e1814: - 1.6e2 b146 + x529 - x711 >= -1.6e2 e1815: - 1.6e2 b121 + x531 - x686 >= -1.6e2 e1816: - 1.6e2 b122 + x532 - x687 >= -1.6e2 e1817: - 1.6e2 b148 + x534 - x713 >= -1.6e2 e1818: - 1.6e2 b149 + x535 - x714 >= -1.6e2 e1819: - 1.6e2 b151 + x537 - x716 >= -1.6e2 e1820: - 1.6e2 b152 + x538 - x717 >= -1.6e2 e1821: - 1.6e2 b154 + x540 - x719 >= -1.6e2 e1822: - 1.6e2 b155 + x541 - x720 >= -1.6e2 e1823: - 1.6e2 b124 + x543 - x689 >= -1.6e2 e1824: - 1.6e2 b125 + x544 - x690 >= -1.6e2 e1825: - 1.6e2 b127 + x543 - x692 >= -1.6e2 e1826: - 1.6e2 b128 + x544 - x693 >= -1.6e2 e1827: - 1.6e2 b130 + x546 - x695 >= -1.6e2 e1828: - 1.6e2 b131 + x547 - x696 >= -1.6e2 e1829: - 1.6e2 b133 + x546 - x698 >= -1.6e2 e1830: - 1.6e2 b134 + x547 - x699 >= -1.6e2 e1831: - 1.6e2 b136 + x549 - x701 >= -1.6e2 e1832: - 1.6e2 b137 + x550 - x702 >= -1.6e2 e1833: - 1.6e2 b139 + x549 - x704 >= -1.6e2 e1834: - 1.6e2 b140 + x550 - x705 >= -1.6e2 e1835: - 1.6e2 b142 + x552 - x707 >= -1.6e2 e1836: - 1.6e2 b143 + x553 - x708 >= -1.6e2 e1837: - 1.6e2 b145 + x552 - x710 >= -1.6e2 e1838: - 1.6e2 b146 + x553 - x711 >= -1.6e2 e1839: - 168 b1 - x554 + x651 >= -1.6e2 e1840: - 168 b2 - x555 + x652 >= -1.6e2 e1841: - 168 b4 - x557 + x678 >= -1.6e2 e1842: - 168 b5 - x558 + x679 >= -1.6e2 e1843: - 168 b7 - x560 + x681 >= -1.6e2 e1844: - 168 b8 - x561 + x682 >= -1.6e2 e1845: - 168 b10 - x563 + x684 >= -1.6e2 e1846: - 168 b11 - x564 + x685 >= -1.6e2 e1847: - 168 b13 - x566 + x651 >= -1.6e2 e1848: - 168 b14 - x567 + x652 >= -1.6e2 e1849: - 168 b16 - x569 + x678 >= -1.6e2 e1850: - 168 b17 - x570 + x679 >= -1.6e2 e1851: - 168 b19 - x572 + x681 >= -1.6e2 e1852: - 168 b20 - x573 + x682 >= -1.6e2 e1853: - 168 b22 - x575 + x684 >= -1.6e2 e1854: - 168 b23 - x576 + x685 >= -1.6e2 e1855: - 168 b25 - x578 + x651 >= -1.6e2 e1856: - 168 b26 - x579 + x652 >= -1.6e2 e1857: - 168 b28 - x581 + x678 >= -1.6e2 e1858: - 168 b29 - x582 + x679 >= -1.6e2 e1859: - 168 b31 - x584 + x681 >= -1.6e2 e1860: - 168 b32 - x585 + x682 >= -1.6e2 e1861: - 168 b34 - x587 + x684 >= -1.6e2 e1862: - 168 b35 - x588 + x685 >= -1.6e2 e1863: - 168 b37 - x590 + x654 >= -1.6e2 e1864: - 168 b38 - x591 + x655 >= -1.6e2 e1865: - 168 b37 - x590 + x657 >= -1.6e2 e1866: - 168 b38 - x591 + x658 >= -1.6e2 e1867: - 168 b40 - x593 + x660 >= -1.6e2 e1868: - 168 b41 - x594 + x661 >= -1.6e2 e1869: - 168 b40 - x593 + x663 >= -1.6e2 e1870: - 168 b41 - x594 + x664 >= -1.6e2 e1871: - 168 b43 - x596 + x666 >= -1.6e2 e1872: - 168 b44 - x597 + x667 >= -1.6e2 e1873: - 168 b43 - x596 + x669 >= -1.6e2 e1874: - 168 b44 - x597 + x670 >= -1.6e2 e1875: - 168 b46 - x599 + x672 >= -1.6e2 e1876: - 168 b47 - x600 + x673 >= -1.6e2 e1877: - 168 b46 - x599 + x675 >= -1.6e2 e1878: - 168 b47 - x600 + x676 >= -1.6e2 e1879: - 168 b49 - x602 + x654 >= -1.6e2 e1880: - 168 b50 - x603 + x655 >= -1.6e2 e1881: - 168 b49 - x602 + x657 >= -1.6e2 e1882: - 168 b50 - x603 + x658 >= -1.6e2 e1883: - 168 b52 - x605 + x660 >= -1.6e2 e1884: - 168 b53 - x606 + x661 >= -1.6e2 e1885: - 168 b52 - x605 + x663 >= -1.6e2 e1886: - 168 b53 - x606 + x664 >= -1.6e2 e1887: - 168 b55 - x608 + x666 >= -1.6e2 e1888: - 168 b56 - x609 + x667 >= -1.6e2 e1889: - 168 b55 - x608 + x669 >= -1.6e2 e1890: - 168 b56 - x609 + x670 >= -1.6e2 e1891: - 168 b58 - x611 + x672 >= -1.6e2 e1892: - 168 b59 - x612 + x673 >= -1.6e2 e1893: - 168 b58 - x611 + x675 >= -1.6e2 e1894: - 168 b59 - x612 + x676 >= -1.6e2 e1895: - 168 b61 - x614 + x654 >= -1.6e2 e1896: - 168 b62 - x615 + x655 >= -1.6e2 e1897: - 168 b61 - x614 + x657 >= -1.6e2 e1898: - 168 b62 - x615 + x658 >= -1.6e2 e1899: - 168 b64 - x617 + x660 >= -1.6e2 e1900: - 168 b65 - x618 + x661 >= -1.6e2 e1901: - 168 b64 - x617 + x663 >= -1.6e2 e1902: - 168 b65 - x618 + x664 >= -1.6e2 e1903: - 168 b67 - x620 + x666 >= -1.6e2 e1904: - 168 b68 - x621 + x667 >= -1.6e2 e1905: - 168 b67 - x620 + x669 >= -1.6e2 e1906: - 168 b68 - x621 + x670 >= -1.6e2 e1907: - 168 b70 - x623 + x672 >= -1.6e2 e1908: - 168 b71 - x624 + x673 >= -1.6e2 e1909: - 168 b70 - x623 + x675 >= -1.6e2 e1910: - 168 b71 - x624 + x676 >= -1.6e2 e1911: - 168 b73 - x626 + x651 >= -1.6e2 e1912: - 168 b74 - x627 + x652 >= -1.6e2 e1913: - 168 b76 - x629 + x678 >= -1.6e2 e1914: - 168 b77 - x630 + x679 >= -1.6e2 e1915: - 168 b79 - x632 + x681 >= -1.6e2 e1916: - 168 b80 - x633 + x682 >= -1.6e2 e1917: - 168 b82 - x635 + x684 >= -1.6e2 e1918: - 168 b83 - x636 + x685 >= -1.6e2 e1919: - 168 b85 - x638 + x654 >= -1.6e2 e1920: - 168 b86 - x639 + x655 >= -1.6e2 e1921: - 168 b85 - x638 + x657 >= -1.6e2 e1922: - 168 b86 - x639 + x658 >= -1.6e2 e1923: - 168 b88 - x641 + x660 >= -1.6e2 e1924: - 168 b89 - x642 + x661 >= -1.6e2 e1925: - 168 b88 - x641 + x663 >= -1.6e2 e1926: - 168 b89 - x642 + x664 >= -1.6e2 e1927: - 168 b91 - x644 + x666 >= -1.6e2 e1928: - 168 b92 - x645 + x667 >= -1.6e2 e1929: - 168 b91 - x644 + x669 >= -1.6e2 e1930: - 168 b92 - x645 + x670 >= -1.6e2 e1931: - 168 b94 - x647 + x672 >= -1.6e2 e1932: - 168 b95 - x648 + x673 >= -1.6e2 e1933: - 168 b94 - x647 + x675 >= -1.6e2 e1934: - 168 b95 - x648 + x676 >= -1.6e2 e1935: - 1.6e2 b127 + x654 - x692 >= -1.6e2 e1936: - 1.6e2 b128 + x655 - x693 >= -1.6e2 e1937: - 1.6e2 b124 + x657 - x689 >= -1.6e2 e1938: - 1.6e2 b125 + x658 - x690 >= -1.6e2 e1939: - 1.6e2 b133 + x660 - x698 >= -1.6e2 e1940: - 1.6e2 b134 + x661 - x699 >= -1.6e2 e1941: - 1.6e2 b130 + x663 - x695 >= -1.6e2 e1942: - 1.6e2 b131 + x664 - x696 >= -1.6e2 e1943: - 1.6e2 b139 + x666 - x704 >= -1.6e2 e1944: - 1.6e2 b140 + x667 - x705 >= -1.6e2 e1945: - 1.6e2 b136 + x669 - x701 >= -1.6e2 e1946: - 1.6e2 b137 + x670 - x702 >= -1.6e2 e1947: - 1.6e2 b145 + x672 - x710 >= -1.6e2 e1948: - 1.6e2 b146 + x673 - x711 >= -1.6e2 e1949: - 1.6e2 b142 + x675 - x707 >= -1.6e2 e1950: - 1.6e2 b143 + x676 - x708 >= -1.6e2 e1951: x723 - x731 >= 0 e1952: x724 - x732 >= 0 e1953: x726 - x734 >= 0 e1954: x727 - x735 >= 0 e1955: x729 - x737 >= 0 e1956: x730 - x738 >= 0 e1957: - 1.6e2 b121 - x650 + x728 >= -1.6e2 e1958: - 1.6e2 b122 - x651 + x729 >= -1.6e2 e1959: - 1.6e2 b123 - x652 + x730 >= -1.6e2 e1960: - 1.6e2 b124 - x653 + x722 >= -1.6e2 e1961: - 1.6e2 b125 - x654 + x723 >= -1.6e2 e1962: - 1.6e2 b126 - x655 + x724 >= -1.6e2 e1963: - 1.6e2 b127 - x656 + x725 >= -1.6e2 e1964: - 1.6e2 b128 - x657 + x726 >= -1.6e2 e1965: - 1.6e2 b129 - x658 + x727 >= -1.6e2 e1966: - 1.6e2 b130 - x659 + x722 >= -1.6e2 e1967: - 1.6e2 b131 - x660 + x723 >= -1.6e2 e1968: - 1.6e2 b132 - x661 + x724 >= -1.6e2 e1969: - 1.6e2 b133 - x662 + x725 >= -1.6e2 e1970: - 1.6e2 b134 - x663 + x726 >= -1.6e2 e1971: - 1.6e2 b135 - x664 + x727 >= -1.6e2 e1972: - 1.6e2 b136 - x665 + x722 >= -1.6e2 e1973: - 1.6e2 b137 - x666 + x723 >= -1.6e2 e1974: - 1.6e2 b138 - x667 + x724 >= -1.6e2 e1975: - 1.6e2 b139 - x668 + x725 >= -1.6e2 e1976: - 1.6e2 b140 - x669 + x726 >= -1.6e2 e1977: - 1.6e2 b141 - x670 + x727 >= -1.6e2 e1978: - 1.6e2 b142 - x671 + x722 >= -1.6e2 e1979: - 1.6e2 b143 - x672 + x723 >= -1.6e2 e1980: - 1.6e2 b144 - x673 + x724 >= -1.6e2 e1981: - 1.6e2 b145 - x674 + x725 >= -1.6e2 e1982: - 1.6e2 b146 - x675 + x726 >= -1.6e2 e1983: - 1.6e2 b147 - x676 + x727 >= -1.6e2 e1984: - 1.6e2 b148 - x677 + x728 >= -1.6e2 e1985: - 1.6e2 b149 - x678 + x729 >= -1.6e2 e1986: - 1.6e2 b150 - x679 + x730 >= -1.6e2 e1987: - 1.6e2 b151 - x680 + x728 >= -1.6e2 e1988: - 1.6e2 b152 - x681 + x729 >= -1.6e2 e1989: - 1.6e2 b153 - x682 + x730 >= -1.6e2 e1990: - 1.6e2 b154 - x683 + x728 >= -1.6e2 e1991: - 1.6e2 b155 - x684 + x729 >= -1.6e2 e1992: - 1.6e2 b156 - x685 + x730 >= -1.6e2 e1993: 1.6e2 b121 - x650 + x728 <= 1.6e2 e1994: 1.6e2 b122 - x651 + x729 <= 1.6e2 e1995: 1.6e2 b123 - x652 + x730 <= 1.6e2 e1996: 1.6e2 b124 - x653 + x722 <= 1.6e2 e1997: 1.6e2 b125 - x654 + x723 <= 1.6e2 e1998: 1.6e2 b126 - x655 + x724 <= 1.6e2 e1999: 1.6e2 b127 - x656 + x725 <= 1.6e2 e2000: 1.6e2 b128 - x657 + x726 <= 1.6e2 e2001: 1.6e2 b129 - x658 + x727 <= 1.6e2 e2002: 1.6e2 b130 - x659 + x722 <= 1.6e2 e2003: 1.6e2 b131 - x660 + x723 <= 1.6e2 e2004: 1.6e2 b132 - x661 + x724 <= 1.6e2 e2005: 1.6e2 b133 - x662 + x725 <= 1.6e2 e2006: 1.6e2 b134 - x663 + x726 <= 1.6e2 e2007: 1.6e2 b135 - x664 + x727 <= 1.6e2 e2008: 1.6e2 b136 - x665 + x722 <= 1.6e2 e2009: 1.6e2 b137 - x666 + x723 <= 1.6e2 e2010: 1.6e2 b138 - x667 + x724 <= 1.6e2 e2011: 1.6e2 b139 - x668 + x725 <= 1.6e2 e2012: 1.6e2 b140 - x669 + x726 <= 1.6e2 e2013: 1.6e2 b141 - x670 + x727 <= 1.6e2 e2014: 1.6e2 b142 - x671 + x722 <= 1.6e2 e2015: 1.6e2 b143 - x672 + x723 <= 1.6e2 e2016: 1.6e2 b144 - x673 + x724 <= 1.6e2 e2017: 1.6e2 b145 - x674 + x725 <= 1.6e2 e2018: 1.6e2 b146 - x675 + x726 <= 1.6e2 e2019: 1.6e2 b147 - x676 + x727 <= 1.6e2 e2020: 1.6e2 b148 - x677 + x728 <= 1.6e2 e2021: 1.6e2 b149 - x678 + x729 <= 1.6e2 e2022: 1.6e2 b150 - x679 + x730 <= 1.6e2 e2023: 1.6e2 b151 - x680 + x728 <= 1.6e2 e2024: 1.6e2 b152 - x681 + x729 <= 1.6e2 e2025: 1.6e2 b153 - x682 + x730 <= 1.6e2 e2026: 1.6e2 b154 - x683 + x728 <= 1.6e2 e2027: 1.6e2 b155 - x684 + x729 <= 1.6e2 e2028: 1.6e2 b156 - x685 + x730 <= 1.6e2 e2029: - 1.6e2 b121 - x686 + x737 >= -1.6e2 e2030: - 1.6e2 b122 - x687 + x738 >= -1.6e2 e2031: - 1.6e2 b123 - x688 + x739 >= -1.6e2 e2032: - 1.6e2 b124 - x689 + x731 >= -1.6e2 e2033: - 1.6e2 b125 - x690 + x732 >= -1.6e2 e2034: - 1.6e2 b126 - x691 + x733 >= -1.6e2 e2035: - 1.6e2 b127 - x692 + x734 >= -1.6e2 e2036: - 1.6e2 b128 - x693 + x735 >= -1.6e2 e2037: - 1.6e2 b129 - x694 + x736 >= -1.6e2 e2038: - 1.6e2 b130 - x695 + x731 >= -1.6e2 e2039: - 1.6e2 b131 - x696 + x732 >= -1.6e2 e2040: - 1.6e2 b132 - x697 + x733 >= -1.6e2 e2041: - 1.6e2 b133 - x698 + x734 >= -1.6e2 e2042: - 1.6e2 b134 - x699 + x735 >= -1.6e2 e2043: - 1.6e2 b135 - x700 + x736 >= -1.6e2 e2044: - 1.6e2 b136 - x701 + x731 >= -1.6e2 e2045: - 1.6e2 b137 - x702 + x732 >= -1.6e2 e2046: - 1.6e2 b138 - x703 + x733 >= -1.6e2 e2047: - 1.6e2 b139 - x704 + x734 >= -1.6e2 e2048: - 1.6e2 b140 - x705 + x735 >= -1.6e2 e2049: - 1.6e2 b141 - x706 + x736 >= -1.6e2 e2050: - 1.6e2 b142 - x707 + x731 >= -1.6e2 e2051: - 1.6e2 b143 - x708 + x732 >= -1.6e2 e2052: - 1.6e2 b144 - x709 + x733 >= -1.6e2 e2053: - 1.6e2 b145 - x710 + x734 >= -1.6e2 e2054: - 1.6e2 b146 - x711 + x735 >= -1.6e2 e2055: - 1.6e2 b147 - x712 + x736 >= -1.6e2 e2056: - 1.6e2 b148 - x713 + x737 >= -1.6e2 e2057: - 1.6e2 b149 - x714 + x738 >= -1.6e2 e2058: - 1.6e2 b150 - x715 + x739 >= -1.6e2 e2059: - 1.6e2 b151 - x716 + x737 >= -1.6e2 e2060: - 1.6e2 b152 - x717 + x738 >= -1.6e2 e2061: - 1.6e2 b153 - x718 + x739 >= -1.6e2 e2062: - 1.6e2 b154 - x719 + x737 >= -1.6e2 e2063: - 1.6e2 b155 - x720 + x738 >= -1.6e2 e2064: - 1.6e2 b156 - x721 + x739 >= -1.6e2 e2065: 1.6e2 b121 - x686 + x737 <= 1.6e2 e2066: 1.6e2 b122 - x687 + x738 <= 1.6e2 e2067: 1.6e2 b123 - x688 + x739 <= 1.6e2 e2068: 1.6e2 b124 - x689 + x731 <= 1.6e2 e2069: 1.6e2 b125 - x690 + x732 <= 1.6e2 e2070: 1.6e2 b126 - x691 + x733 <= 1.6e2 e2071: 1.6e2 b127 - x692 + x734 <= 1.6e2 e2072: 1.6e2 b128 - x693 + x735 <= 1.6e2 e2073: 1.6e2 b129 - x694 + x736 <= 1.6e2 e2074: 1.6e2 b130 - x695 + x731 <= 1.6e2 e2075: 1.6e2 b131 - x696 + x732 <= 1.6e2 e2076: 1.6e2 b132 - x697 + x733 <= 1.6e2 e2077: 1.6e2 b133 - x698 + x734 <= 1.6e2 e2078: 1.6e2 b134 - x699 + x735 <= 1.6e2 e2079: 1.6e2 b135 - x700 + x736 <= 1.6e2 e2080: 1.6e2 b136 - x701 + x731 <= 1.6e2 e2081: 1.6e2 b137 - x702 + x732 <= 1.6e2 e2082: 1.6e2 b138 - x703 + x733 <= 1.6e2 e2083: 1.6e2 b139 - x704 + x734 <= 1.6e2 e2084: 1.6e2 b140 - x705 + x735 <= 1.6e2 e2085: 1.6e2 b141 - x706 + x736 <= 1.6e2 e2086: 1.6e2 b142 - x707 + x731 <= 1.6e2 e2087: 1.6e2 b143 - x708 + x732 <= 1.6e2 e2088: 1.6e2 b144 - x709 + x733 <= 1.6e2 e2089: 1.6e2 b145 - x710 + x734 <= 1.6e2 e2090: 1.6e2 b146 - x711 + x735 <= 1.6e2 e2091: 1.6e2 b147 - x712 + x736 <= 1.6e2 e2092: 1.6e2 b148 - x713 + x737 <= 1.6e2 e2093: 1.6e2 b149 - x714 + x738 <= 1.6e2 e2094: 1.6e2 b150 - x715 + x739 <= 1.6e2 e2095: 1.6e2 b151 - x716 + x737 <= 1.6e2 e2096: 1.6e2 b152 - x717 + x738 <= 1.6e2 e2097: 1.6e2 b153 - x718 + x739 <= 1.6e2 e2098: 1.6e2 b154 - x719 + x737 <= 1.6e2 e2099: 1.6e2 b155 - x720 + x738 <= 1.6e2 e2100: 1.6e2 b156 - x721 + x739 <= 1.6e2 e2101: x194 - x764 + x765 = 0 e2102: x195 - x765 + x766 = 0 e2103: x197 - x347 - x767 + x768 = 0 e2104: x198 - x348 - x768 + x769 = 0 e2105: x200 - x359 - x419 - x770 + x771 = 0 e2106: x201 - x360 - x420 - x771 + x772 = 0 e2107: x203 - x371 - x773 + x774 = 0 e2108: x204 - x372 - x774 + x775 = 0 e2109: x206 + x218 - x383 - x395 - x776 + x777 = 0 e2110: x207 + x219 - x384 - x396 - x777 + x778 = 0 e2111: x209 + x221 - x407 - x779 + x780 = 0 e2112: x210 + x222 - x408 - x780 + x781 = 0 e2113: x212 + x224 - x782 + x783 = 0 e2114: x213 + x225 - x783 + x784 = 0 e2115: x215 + x227 - x431 - x785 + x786 = 0 e2116: x216 + x228 - x432 - x786 + x787 = 0 e2117: x230 + x242 - x386 - x398 - x788 + x789 = 0 e2118: x231 + x243 - x387 - x399 - x789 + x790 = 0 e2119: x233 + x245 - x410 - x791 + x792 = 0 e2120: x234 + x246 - x411 - x792 + x793 = 0 e2121: x236 + x248 - x794 + x795 = 0 e2122: x237 + x249 - x795 + x796 = 0 e2123: x239 + x251 - x434 - x797 + x798 = 0 e2124: x240 + x252 - x435 - x798 + x799 = 0 e2125: x254 + x266 - x389 - x401 - x800 + x801 = 0 e2126: x255 + x267 - x390 - x402 - x801 + x802 = 0 e2127: x257 + x269 - x413 - x803 + x804 = 0 e2128: x258 + x270 - x414 - x804 + x805 = 0 e2129: x260 + x272 - x806 + x807 = 0 e2130: x261 + x273 - x807 + x808 = 0 e2131: x263 + x275 - x437 - x809 + x810 = 0 e2132: x264 + x276 - x438 - x810 + x811 = 0 e2133: x278 + x290 - x392 - x404 - x812 + x813 = 0 e2134: x279 + x291 - x393 - x405 - x813 + x814 = 0 e2135: x281 + x293 - x416 - x815 + x816 = 0 e2136: x282 + x294 - x417 - x816 + x817 = 0 e2137: x284 + x296 - x818 + x819 = 0 e2138: x285 + x297 - x819 + x820 = 0 e2139: x287 + x299 - x440 - x821 + x822 = 0 e2140: x288 + x300 - x441 - x822 + x823 = 0 e2141: x302 - x824 + x825 = 0 e2142: x303 - x825 + x826 = 0 e2143: x305 - x350 - x827 + x828 = 0 e2144: x306 - x351 - x828 + x829 = 0 e2145: x308 - x362 - x422 - x830 + x831 = 0 e2146: x309 - x363 - x423 - x831 + x832 = 0 e2147: x311 - x374 - x833 + x834 = 0 e2148: x312 - x375 - x834 + x835 = 0 e2149: x314 - x836 + x837 = 0 e2150: x315 - x837 + x838 = 0 e2151: x317 - x353 - x839 + x840 = 0 e2152: x318 - x354 - x840 + x841 = 0 e2153: x320 - x365 - x425 - x842 + x843 = 0 e2154: x321 - x366 - x426 - x843 + x844 = 0 e2155: x323 - x377 - x845 + x846 = 0 e2156: x324 - x378 - x846 + x847 = 0 e2157: x326 - x848 + x849 = 0 e2158: x327 - x849 + x850 = 0 e2159: x329 - x356 - x851 + x852 = 0 e2160: x330 - x357 - x852 + x853 = 0 e2161: x332 - x368 - x428 - x854 + x855 = 0 e2162: x333 - x369 - x429 - x855 + x856 = 0 e2163: x335 - x380 - x857 + x858 = 0 e2164: x336 - x381 - x858 + x859 = 0 e2165: x193 + x764 = 50 e2166: x196 - x346 + x767 = 100 e2167: x199 - x358 - x418 + x770 = 100 e2168: x202 - x370 + x773 = 100 e2169: x205 + x217 - x382 - x394 + x776 = 100 e2170: x208 + x220 - x406 + x779 = 100 e2171: x211 + x223 + x782 = 100 e2172: x214 + x226 - x430 + x785 = 100 e2173: x229 + x241 - x385 - x397 + x788 = 100 e2174: x232 + x244 - x409 + x791 = 100 e2175: x235 + x247 + x794 = 50 e2176: x238 + x250 - x433 + x797 = 100 e2177: x253 + x265 - x388 - x400 + x800 = 200 e2178: x256 + x268 - x412 + x803 = 2.5e2 e2179: x259 + x271 + x806 = 200 e2180: x262 + x274 - x436 + x809 = 300 e2181: x277 + x289 - x391 - x403 + x812 = 100 e2182: x280 + x292 - x415 + x815 = 100 e2183: x283 + x295 + x818 = 50 e2184: x286 + x298 - x439 + x821 = 50 e2185: x301 + x824 = 20 e2186: x304 - x349 + x827 = 20 e2187: x307 - x361 - x421 + x830 = 20 e2188: x310 - x373 + x833 = 20 e2189: x313 + x836 = 20 e2190: x316 - x352 + x839 = 20 e2191: x319 - x364 - x424 + x842 = 20 e2192: x322 - x376 + x845 = 20 e2193: x325 + x848 = 100 e2194: x328 - x355 + x851 = 100 e2195: x331 - x367 - x427 + x854 = 100 e2196: x334 - x379 + x857 = 1.5e2 e2197: - x722 - x723 - x724 + x731 + x732 + x733 = 1.6e2 e2198: - x725 - x726 - x727 + x734 + x735 + x736 = 1.6e2 e2199: - x728 - x729 - x730 + x737 + x738 + x739 = 1.6e2 e2200: - b121 + b122 + x864 >= 0 e2201: - b122 + b123 + x865 >= 0 e2202: - b124 + b125 + x860 >= 0 e2203: - b125 + b126 + x861 >= 0 e2204: - b127 + b128 + x862 >= 0 e2205: - b128 + b129 + x863 >= 0 e2206: - b130 + b131 + x860 >= 0 e2207: - b131 + b132 + x861 >= 0 e2208: - b133 + b134 + x862 >= 0 e2209: - b134 + b135 + x863 >= 0 e2210: - b136 + b137 + x860 >= 0 e2211: - b137 + b138 + x861 >= 0 e2212: - b139 + b140 + x862 >= 0 e2213: - b140 + b141 + x863 >= 0 e2214: - b142 + b143 + x860 >= 0 e2215: - b143 + b144 + x861 >= 0 e2216: - b145 + b146 + x862 >= 0 e2217: - b146 + b147 + x863 >= 0 e2218: - b148 + b149 + x864 >= 0 e2219: - b149 + b150 + x865 >= 0 e2220: - b151 + b152 + x864 >= 0 e2221: - b152 + b153 + x865 >= 0 e2222: - b154 + b155 + x864 >= 0 e2223: - b155 + b156 + x865 >= 0 e2224: b121 - b122 + x864 >= 0 e2225: b122 - b123 + x865 >= 0 e2226: b124 - b125 + x860 >= 0 e2227: b125 - b126 + x861 >= 0 e2228: b127 - b128 + x862 >= 0 e2229: b128 - b129 + x863 >= 0 e2230: b130 - b131 + x860 >= 0 e2231: b131 - b132 + x861 >= 0 e2232: b133 - b134 + x862 >= 0 e2233: b134 - b135 + x863 >= 0 e2234: b136 - b137 + x860 >= 0 e2235: b137 - b138 + x861 >= 0 e2236: b139 - b140 + x862 >= 0 e2237: b140 - b141 + x863 >= 0 e2238: b142 - b143 + x860 >= 0 e2239: b143 - b144 + x861 >= 0 e2240: b145 - b146 + x862 >= 0 e2241: b146 - b147 + x863 >= 0 e2242: b148 - b149 + x864 >= 0 e2243: b149 - b150 + x865 >= 0 e2244: b151 - b152 + x864 >= 0 e2245: b152 - b153 + x865 >= 0 e2246: b154 - b155 + x864 >= 0 e2247: b155 - b156 + x865 >= 0 e2248: .25 x740 + .25 x741 + .25 x742 + .25 x743 + .25 x744 + .25 x745 + .25 x746 + .25 x747 + .25 x748 + .25 x749 + .25 x750 + .25 x751 + .25 x752 + .25 x753 + .25 x754 + .25 x755 + .25 x756 + .25 x757 + .25 x758 + .25 x759 + .25 x760 + .25 x761 + .25 x762 + .25 x763 + x962 >= 7.6e2 e2249: - 3.125 x453 + x963 >= -75 e2250: - 3.125 x457 + x964 >= -400 e2252: x194 - x158 x866 = 0 e2253: x195 - x159 x867 = 0 e2254: x197 - x158 x869 = 0 e2255: x198 - x159 x870 = 0 e2256: x200 - x158 x872 = 0 e2257: x201 - x159 x873 = 0 e2258: x203 - x158 x875 = 0 e2259: x204 - x159 x876 = 0 e2260: x206 - x161 x878 = 0 e2261: x207 - x162 x879 = 0 e2262: x209 - x161 x881 = 0 e2263: x210 - x162 x882 = 0 e2264: x212 - x161 x884 = 0 e2265: x213 - x162 x885 = 0 e2266: x215 - x161 x887 = 0 e2267: x216 - x162 x888 = 0 e2268: x218 - x164 x878 = 0 e2269: x219 - x165 x879 = 0 e2270: x221 - x164 x881 = 0 e2271: x222 - x165 x882 = 0 e2272: x224 - x164 x884 = 0 e2273: x225 - x165 x885 = 0 e2274: x227 - x164 x887 = 0 e2275: x228 - x165 x888 = 0 e2276: x230 - x167 x890 = 0 e2277: x231 - x168 x891 = 0 e2278: x233 - x167 x893 = 0 e2279: x234 - x168 x894 = 0 e2280: x236 - x167 x896 = 0 e2281: x237 - x168 x897 = 0 e2282: x239 - x167 x899 = 0 e2283: x240 - x168 x900 = 0 e2284: x242 - x170 x890 = 0 e2285: x243 - x171 x891 = 0 e2286: x245 - x170 x893 = 0 e2287: x246 - x171 x894 = 0 e2288: x248 - x170 x896 = 0 e2289: x249 - x171 x897 = 0 e2290: x251 - x170 x899 = 0 e2291: x252 - x171 x900 = 0 e2292: x254 - x173 x902 = 0 e2293: x255 - x174 x903 = 0 e2294: x257 - x173 x905 = 0 e2295: x258 - x174 x906 = 0 e2296: x260 - x173 x908 = 0 e2297: x261 - x174 x909 = 0 e2298: x263 - x173 x911 = 0 e2299: x264 - x174 x912 = 0 e2300: x266 - x176 x902 = 0 e2301: x267 - x177 x903 = 0 e2302: x269 - x176 x905 = 0 e2303: x270 - x177 x906 = 0 e2304: x272 - x176 x908 = 0 e2305: x273 - x177 x909 = 0 e2306: x275 - x176 x911 = 0 e2307: x276 - x177 x912 = 0 e2308: x278 - x179 x914 = 0 e2309: x279 - x180 x915 = 0 e2310: x281 - x179 x917 = 0 e2311: x282 - x180 x918 = 0 e2312: x284 - x179 x920 = 0 e2313: x285 - x180 x921 = 0 e2314: x287 - x179 x923 = 0 e2315: x288 - x180 x924 = 0 e2316: x290 - x182 x914 = 0 e2317: x291 - x183 x915 = 0 e2318: x293 - x182 x917 = 0 e2319: x294 - x183 x918 = 0 e2320: x296 - x182 x920 = 0 e2321: x297 - x183 x921 = 0 e2322: x299 - x182 x923 = 0 e2323: x300 - x183 x924 = 0 e2324: x302 - x185 x926 = 0 e2325: x303 - x186 x927 = 0 e2326: x305 - x185 x929 = 0 e2327: x306 - x186 x930 = 0 e2328: x308 - x185 x932 = 0 e2329: x309 - x186 x933 = 0 e2330: x311 - x185 x935 = 0 e2331: x312 - x186 x936 = 0 e2332: x314 - x188 x938 = 0 e2333: x315 - x189 x939 = 0 e2334: x317 - x188 x941 = 0 e2335: x318 - x189 x942 = 0 e2336: x320 - x188 x944 = 0 e2337: x321 - x189 x945 = 0 e2338: x323 - x188 x947 = 0 e2339: x324 - x189 x948 = 0 e2340: x326 - x191 x950 = 0 e2341: x327 - x192 x951 = 0 e2342: x329 - x191 x953 = 0 e2343: x330 - x192 x954 = 0 e2344: x332 - x191 x956 = 0 e2345: x333 - x192 x957 = 0 e2346: x335 - x191 x959 = 0 e2347: x336 - x192 x960 = 0 e2348: x764 - x740 x866 = 0 e2349: x765 - x741 x867 = 0 e2350: x766 - x742 x868 = 0 e2351: x767 - x740 x869 = 0 e2352: x768 - x741 x870 = 0 e2353: x769 - x742 x871 = 0 e2354: x770 - x740 x872 = 0 e2355: x771 - x741 x873 = 0 e2356: x772 - x742 x874 = 0 e2357: x773 - x740 x875 = 0 e2358: x774 - x741 x876 = 0 e2359: x775 - x742 x877 = 0 e2360: x776 - x743 x878 = 0 e2361: x777 - x744 x879 = 0 e2362: x778 - x745 x880 = 0 e2363: x779 - x743 x881 = 0 e2364: x780 - x744 x882 = 0 e2365: x781 - x745 x883 = 0 e2366: x782 - x743 x884 = 0 e2367: x783 - x744 x885 = 0 e2368: x784 - x745 x886 = 0 e2369: x785 - x743 x887 = 0 e2370: x786 - x744 x888 = 0 e2371: x787 - x745 x889 = 0 e2372: x788 - x746 x890 = 0 e2373: x789 - x747 x891 = 0 e2374: x790 - x748 x892 = 0 e2375: x791 - x746 x893 = 0 e2376: x792 - x747 x894 = 0 e2377: x793 - x748 x895 = 0 e2378: x794 - x746 x896 = 0 e2379: x795 - x747 x897 = 0 e2380: x796 - x748 x898 = 0 e2381: x797 - x746 x899 = 0 e2382: x798 - x747 x900 = 0 e2383: x799 - x748 x901 = 0 e2384: x800 - x749 x902 = 0 e2385: x801 - x750 x903 = 0 e2386: x802 - x751 x904 = 0 e2387: x803 - x749 x905 = 0 e2388: x804 - x750 x906 = 0 e2389: x805 - x751 x907 = 0 e2390: x806 - x749 x908 = 0 e2391: x807 - x750 x909 = 0 e2392: x808 - x751 x910 = 0 e2393: x809 - x749 x911 = 0 e2394: x810 - x750 x912 = 0 e2395: x811 - x751 x913 = 0 e2396: x812 - x752 x914 = 0 e2397: x813 - x753 x915 = 0 e2398: x814 - x754 x916 = 0 e2399: x815 - x752 x917 = 0 e2400: x816 - x753 x918 = 0 e2401: x817 - x754 x919 = 0 e2402: x818 - x752 x920 = 0 e2403: x819 - x753 x921 = 0 e2404: x820 - x754 x922 = 0 e2405: x821 - x752 x923 = 0 e2406: x822 - x753 x924 = 0 e2407: x823 - x754 x925 = 0 e2408: x824 - x755 x926 = 0 e2409: x825 - x756 x927 = 0 e2410: x826 - x757 x928 = 0 e2411: x827 - x755 x929 = 0 e2412: x828 - x756 x930 = 0 e2413: x829 - x757 x931 = 0 e2414: x830 - x755 x932 = 0 e2415: x831 - x756 x933 = 0 e2416: x832 - x757 x934 = 0 e2417: x833 - x755 x935 = 0 e2418: x834 - x756 x936 = 0 e2419: x835 - x757 x937 = 0 e2420: x836 - x758 x938 = 0 e2421: x837 - x759 x939 = 0 e2422: x838 - x760 x940 = 0 e2423: x839 - x758 x941 = 0 e2424: x840 - x759 x942 = 0 e2425: x841 - x760 x943 = 0 e2426: x842 - x758 x944 = 0 e2427: x843 - x759 x945 = 0 e2428: x844 - x760 x946 = 0 e2429: x845 - x758 x947 = 0 e2430: x846 - x759 x948 = 0 e2431: x847 - x760 x949 = 0 e2432: x848 - x761 x950 = 0 e2433: x849 - x762 x951 = 0 e2434: x850 - x763 x952 = 0 e2435: x851 - x761 x953 = 0 e2436: x852 - x762 x954 = 0 e2437: x853 - x763 x955 = 0 e2438: x854 - x761 x956 = 0 e2439: x855 - x762 x957 = 0 e2440: x856 - x763 x958 = 0 e2441: x857 - x761 x959 = 0 e2442: x858 - x762 x960 = 0 e2443: x859 - x763 x961 = 0 Bounds b49 = 0 b52 = 0 b55 = 0 b58 = 0 b61 = 0 b64 = 0 b67 = 0 b70 = 0 b73 = 0 b76 = 0 b79 = 0 b82 = 0 b85 = 0 b88 = 0 b91 = 0 b94 = 0 x97 <= 1 x98 <= 1 x99 <= 1 x100 <= 1 x101 <= 1 x102 <= 1 x103 <= 1 x104 <= 1 x105 <= 1 x106 <= 1 x107 <= 1 x108 <= 1 x109 <= 1 x110 <= 1 x111 <= 1 x112 <= 1 x113 <= 1 x114 <= 1 x115 <= 1 x116 <= 1 x117 <= 1 x118 <= 1 x119 <= 1 x120 <= 1 x157 <= 2.9e2 x158 <= 5.1e2 x159 <= 5.1e2 x160 <= 3.4e2 x161 <= 5.1e2 x162 <= 5.1e2 x163 <= 3.4e2 x164 <= 5.1e2 x165 <= 5.1e2 x166 <= 2.9e2 x167 <= 5.1e2 x168 <= 5.1e2 x169 <= 2.9e2 x170 <= 5.1e2 x171 <= 5.1e2 x172 <= 8.4e2 x173 <= 8.7e2 x174 <= 8.7e2 x175 <= 8.4e2 x176 <= 8.7e2 x177 <= 8.7e2 x178 <= 1.9e2 x179 <= 8.7e2 x180 <= 8.7e2 x181 <= 1.9e2 x182 <= 8.7e2 x183 <= 8.7e2 x184 <= 20 x185 <= 8.3e2 x186 <= 9.2e2 x187 <= 20 x188 <= 5.1e2 x189 <= 5.1e2 x190 <= 3.9e2 x191 <= 5.1e2 x192 <= 5.1e2 x346 <= 10 x347 <= 10 x348 <= 10 x349 <= 10 x350 <= 10 x351 <= 10 x352 <= 10 x353 <= 10 x354 <= 10 x355 <= 10 x356 <= 10 x357 <= 10 x358 <= 2.5e2 x359 <= 2.5e2 x360 <= 2.5e2 x361 <= 2.5e2 x362 <= 2.5e2 x363 <= 2.5e2 x364 <= 2.5e2 x365 <= 2.5e2 x366 <= 2.5e2 x367 <= 2.5e2 x368 <= 2.5e2 x369 <= 2.5e2 x370 <= 300 x371 <= 300 x372 <= 300 x373 <= 300 x374 <= 300 x375 <= 300 x376 <= 300 x377 <= 300 x378 <= 300 x379 <= 300 x380 <= 300 x381 <= 300 x382 <= 1.9e2 x383 <= 1.9e2 x384 <= 1.9e2 x385 <= 1.9e2 x386 <= 1.9e2 x387 <= 1.9e2 x388 <= 1.9e2 x389 <= 1.9e2 x390 <= 1.9e2 x391 <= 1.9e2 x392 <= 1.9e2 x393 <= 1.9e2 x394 = 0 x395 <= 10 x396 <= 10 x397 = 0 x398 <= 10 x399 <= 10 x400 = 0 x401 <= 10 x402 <= 10 x403 = 0 x404 <= 10 x405 <= 10 x406 = 0 x407 <= 2.5e2 x408 <= 2.5e2 x409 = 0 x410 <= 2.5e2 x411 <= 2.5e2 x412 = 0 x413 <= 2.5e2 x414 <= 2.5e2 x415 = 0 x416 <= 2.5e2 x417 <= 2.5e2 x418 = 0 x419 <= 2.5e2 x420 <= 2.5e2 x421 = 0 x422 <= 2.5e2 x423 <= 2.5e2 x424 = 0 x425 <= 2.5e2 x426 <= 2.5e2 x427 = 0 x428 <= 2.5e2 x429 <= 2.5e2 x430 = 0 x431 <= 2.4e2 x432 <= 2.4e2 x433 = 0 x434 <= 2.4e2 x435 <= 2.4e2 x436 = 0 x437 <= 2.4e2 x438 <= 2.4e2 x439 = 0 x440 <= 2.4e2 x441 <= 2.4e2 x442 <= 1.6e2 x443 <= 1.6e2 x444 <= 1.6e2 x445 <= 1.6e2 104 <= x446 <= 1.6e2 104 <= x447 <= 1.6e2 104 <= x448 <= 1.6e2 104 <= x449 <= 1.6e2 x450 <= 1.6e2 x451 <= 1.6e2 x452 <= 1.6e2 x453 <= 1.6e2 104 <= x454 <= 1.6e2 104 <= x455 <= 1.6e2 104 <= x456 <= 1.6e2 104 <= x457 <= 1.6e2 x458 <= 1.6e2 x459 <= 1.6e2 x460 <= 1.6e2 x461 <= 1.6e2 x462 <= 1.6e2 x463 <= 1.6e2 x464 <= 1.6e2 x465 <= 1.6e2 x466 <= 1.6e2 x467 <= 1.6e2 x468 <= 1.6e2 x469 <= 1.6e2 x470 <= 1.6e2 x471 <= 1.6e2 x472 <= 1.6e2 x473 <= 1.6e2 x474 <= 1.6e2 x475 <= 1.6e2 x476 <= 1.6e2 x477 <= 1.6e2 x478 <= 1.6e2 x479 <= 1.6e2 x480 <= 1.6e2 x481 <= 1.6e2 x482 <= 1.6e2 x483 <= 1.6e2 x484 <= 1.6e2 x485 <= 1.6e2 x486 <= 1.6e2 x487 <= 1.6e2 x488 <= 1.6e2 x489 <= 1.6e2 x490 <= 1.6e2 x491 <= 1.6e2 x492 <= 1.6e2 x493 <= 1.6e2 x494 <= 1.6e2 x495 <= 1.6e2 x496 <= 1.6e2 x497 <= 1.6e2 x498 <= 1.6e2 x499 <= 1.6e2 x500 <= 1.6e2 x501 <= 1.6e2 x502 <= 1.6e2 x503 <= 1.6e2 x504 <= 1.6e2 x505 <= 1.6e2 x506 <= 1.6e2 x507 <= 1.6e2 x508 <= 1.6e2 x509 <= 1.6e2 x510 <= 1.6e2 x511 <= 1.6e2 x512 <= 1.6e2 x513 <= 1.6e2 x514 <= 1.6e2 x515 <= 1.6e2 x516 <= 1.6e2 x517 <= 1.6e2 x518 <= 1.6e2 x519 <= 1.6e2 x520 <= 1.6e2 x521 <= 1.6e2 x522 <= 1.6e2 x523 <= 1.6e2 x524 <= 1.6e2 x525 <= 1.6e2 x526 <= 1.6e2 x527 <= 1.6e2 x528 <= 1.6e2 x529 <= 1.6e2 x530 <= 1.6e2 x531 <= 1.6e2 x532 <= 1.6e2 x533 <= 1.6e2 x534 <= 1.6e2 x535 <= 1.6e2 x536 <= 1.6e2 x537 <= 1.6e2 x538 <= 1.6e2 x539 <= 1.6e2 x540 <= 1.6e2 x541 <= 1.6e2 x542 <= 1.6e2 x543 <= 1.6e2 x544 <= 1.6e2 x545 <= 1.6e2 x546 <= 1.6e2 x547 <= 1.6e2 x548 <= 1.6e2 x549 <= 1.6e2 x550 <= 1.6e2 x551 <= 1.6e2 x552 <= 1.6e2 x553 <= 1.6e2 x554 <= 1.6e2 x555 <= 1.6e2 x556 <= 1.6e2 x557 <= 1.6e2 x558 <= 1.6e2 x559 <= 1.6e2 x560 <= 1.6e2 x561 <= 1.6e2 x562 <= 1.6e2 x563 <= 1.6e2 x564 <= 1.6e2 x565 <= 1.6e2 x566 <= 1.6e2 x567 <= 1.6e2 x568 <= 1.6e2 x569 <= 1.6e2 x570 <= 1.6e2 x571 <= 1.6e2 x572 <= 1.6e2 x573 <= 1.6e2 x574 <= 1.6e2 x575 <= 1.6e2 x576 <= 1.6e2 x577 <= 1.6e2 x578 <= 1.6e2 x579 <= 1.6e2 x580 <= 1.6e2 x581 <= 1.6e2 x582 <= 1.6e2 x583 <= 1.6e2 x584 <= 1.6e2 x585 <= 1.6e2 x586 <= 1.6e2 x587 <= 1.6e2 x588 <= 1.6e2 x589 <= 1.6e2 x590 <= 1.6e2 x591 <= 1.6e2 x592 <= 1.6e2 x593 <= 1.6e2 x594 <= 1.6e2 x595 <= 1.6e2 x596 <= 1.6e2 x597 <= 1.6e2 x598 <= 1.6e2 x599 <= 1.6e2 x600 <= 1.6e2 x601 <= 1.6e2 x602 <= 1.6e2 x603 <= 1.6e2 x604 <= 1.6e2 x605 <= 1.6e2 x606 <= 1.6e2 x607 <= 1.6e2 x608 <= 1.6e2 x609 <= 1.6e2 x610 <= 1.6e2 x611 <= 1.6e2 x612 <= 1.6e2 x613 <= 1.6e2 x614 <= 1.6e2 x615 <= 1.6e2 x616 <= 1.6e2 x617 <= 1.6e2 x618 <= 1.6e2 x619 <= 1.6e2 x620 <= 1.6e2 x621 <= 1.6e2 x622 <= 1.6e2 x623 <= 1.6e2 x624 <= 1.6e2 x625 <= 1.6e2 x626 <= 1.6e2 x627 <= 1.6e2 x628 <= 1.6e2 x629 <= 1.6e2 x630 <= 1.6e2 x631 <= 1.6e2 x632 <= 1.6e2 x633 <= 1.6e2 x634 <= 1.6e2 x635 <= 1.6e2 x636 <= 1.6e2 x637 <= 1.6e2 x638 <= 1.6e2 x639 <= 1.6e2 x640 <= 1.6e2 x641 <= 1.6e2 x642 <= 1.6e2 x643 <= 1.6e2 x644 <= 1.6e2 x645 <= 1.6e2 x646 <= 1.6e2 x647 <= 1.6e2 x648 <= 1.6e2 x649 <= 1.6e2 x650 <= 1.6e2 x651 <= 1.6e2 x652 <= 1.6e2 x653 <= 1.6e2 x654 <= 1.6e2 x655 <= 1.6e2 x656 <= 1.6e2 x657 <= 1.6e2 x658 <= 1.6e2 x659 <= 1.6e2 x660 <= 1.6e2 x661 <= 1.6e2 x662 <= 1.6e2 x663 <= 1.6e2 x664 <= 1.6e2 x665 <= 1.6e2 x666 <= 1.6e2 x667 <= 1.6e2 x668 <= 1.6e2 x669 <= 1.6e2 x670 <= 1.6e2 x671 <= 1.6e2 x672 <= 1.6e2 x673 <= 1.6e2 x674 <= 1.6e2 x675 <= 1.6e2 x676 <= 1.6e2 x677 <= 1.6e2 x678 <= 1.6e2 x679 <= 1.6e2 x680 <= 1.6e2 x681 <= 1.6e2 x682 <= 1.6e2 x683 <= 1.6e2 x684 <= 1.6e2 x685 <= 1.6e2 x686 <= 1.6e2 x687 <= 1.6e2 x688 <= 1.6e2 x689 <= 1.6e2 x690 <= 1.6e2 x691 <= 1.6e2 x692 <= 1.6e2 x693 <= 1.6e2 x694 <= 1.6e2 x695 <= 1.6e2 x696 <= 1.6e2 x697 <= 1.6e2 x698 <= 1.6e2 x699 <= 1.6e2 x700 <= 1.6e2 x701 <= 1.6e2 x702 <= 1.6e2 x703 <= 1.6e2 x704 <= 1.6e2 x705 <= 1.6e2 x706 <= 1.6e2 x707 <= 1.6e2 x708 <= 1.6e2 x709 <= 1.6e2 x710 <= 1.6e2 x711 <= 1.6e2 x712 <= 1.6e2 x713 <= 1.6e2 x714 <= 1.6e2 x715 <= 1.6e2 x716 <= 1.6e2 x717 <= 1.6e2 x718 <= 1.6e2 x719 <= 1.6e2 x720 <= 1.6e2 x721 <= 1.6e2 x722 <= 1.6e2 x723 <= 1.6e2 x724 <= 1.6e2 x725 <= 1.6e2 x726 <= 1.6e2 x727 <= 1.6e2 x728 <= 1.6e2 x729 <= 1.6e2 x730 <= 1.6e2 x731 <= 1.6e2 x732 <= 1.6e2 x733 <= 1.6e2 x734 <= 1.6e2 x735 <= 1.6e2 x736 <= 1.6e2 x737 <= 1.6e2 x738 <= 1.6e2 x739 <= 1.6e2 60 <= x740 <= 5.7e2 60 <= x741 <= 5.7e2 60 <= x742 <= 5.7e2 60 <= x743 <= 5.7e2 60 <= x744 <= 5.7e2 60 <= x745 <= 5.7e2 60 <= x746 <= 5.7e2 60 <= x747 <= 5.7e2 60 <= x748 <= 5.7e2 1.1e2 <= x749 <= 9.8e2 1.1e2 <= x750 <= 9.8e2 1.1e2 <= x751 <= 9.8e2 1.1e2 <= x752 <= 9.8e2 1.1e2 <= x753 <= 9.8e2 1.1e2 <= x754 <= 9.8e2 60 <= x755 <= 8.9e2 60 <= x756 <= 9.8e2 60 <= x757 <= 9.8e2 60 <= x758 <= 5.7e2 60 <= x759 <= 5.7e2 60 <= x760 <= 5.7e2 60 <= x761 <= 5.7e2 60 <= x762 <= 5.7e2 60 <= x763 <= 5.7e2 x860 <= 1 x861 <= 1 x862 <= 1 x863 <= 1 x864 <= 1 x865 <= 1 8.7719298245614e-2 <= x866 <= .142857142857143 9.23361034164358e-3 <= x867 <= .142857142857143 9.71958983330903e-4 <= x868 <= .142857142857143 .175438596491228 <= x869 <= .305555555555556 1.84672206832872e-2 <= x870 <= .387755102040816 1.94391796666181e-3 <= x871 <= .387755102040816 .175438596491228 <= x872 <= .56140350877193 1.84672206832872e-2 <= x873 <= .953007518796993 1.94391796666181e-3 <= x874 <= .973242158465884 .175438596491228 <= x875 <= .56140350877193 1.84672206832872e-2 <= x876 <= .880952380952381 1.94391796666181e-3 <= x877 <= .880952380952381 .175438596491228 <= x878 <= .473684210526316 1.84672206832872e-2 <= x879 <= .845714285714286 1.94391796666181e-3 <= x880 <= .845714285714286 .175438596491228 <= x881 <= .473684210526316 1.84672206832872e-2 <= x882 <= .854838709677419 1.94391796666181e-3 <= x883 <= .854838709677419 .175438596491228 <= x884 <= .25 1.84672206832872e-2 <= x885 <= .25 1.94391796666181e-3 <= x886 <= .25 .175438596491228 <= x887 <= .473684210526316 1.84672206832872e-2 <= x888 <= .85 1.94391796666181e-3 <= x889 <= .85 .175438596491228 <= x890 <= .545454545454545 1.84672206832872e-2 <= x891 <= .853061224489796 1.94391796666181e-3 <= x892 <= .853061224489796 .175438596491228 <= x893 <= .56140350877193 1.84672206832872e-2 <= x894 <= .861751152073733 1.94391796666181e-3 <= x895 <= .861751152073733 8.7719298245614e-2 <= x896 <= .142857142857143 9.23361034164358e-3 <= x897 <= .142857142857143 9.71958983330903e-4 <= x898 <= .142857142857143 .175438596491228 <= x899 <= .56140350877193 1.84672206832872e-2 <= x900 <= .857142857142857 1.94391796666181e-3 <= x901 <= .857142857142857 .204081632653061 <= x902 <= .23469387755102 2.29071220324865e-2 <= x903 <= .728439763001975 2.57120757507501e-3 <= x904 <= .734649122807018 .255102040816327 <= x905 <= .285714285714286 2.86339025406081e-2 <= x906 <= .774853801169591 3.21400946884376e-3 <= x907 <= .774853801169591 .204081632653061 <= x908 <= .210526315789474 2.29071220324865e-2 <= x909 <= .210526315789474 2.57120757507501e-3 <= x910 <= .210526315789474 .306122448979592 <= x911 <= .336734693877551 3.43606830487297e-2 <= x912 <= .784962406015038 3.85681136261252e-3 <= x913 <= .784962406015038 .126582278481013 <= x914 <= .6 1.42082149315422e-2 <= x915 <= .775925925925926 1.59479963517311e-3 <= x916 <= .775925925925926 .135135135135135 <= x917 <= .636363636363636 1.51682294539437e-2 <= x918 <= .796296296296296 1.7025563672794e-3 <= x919 <= .796296296296296 5.10204081632653e-2 <= x920 <= .166666666666667 5.72678050812162e-3 <= x921 <= .166666666666667 6.42801893768753e-4 <= x922 <= .166666666666667 6.66666666666667e-2 <= x923 <= .537037037037037 7.48299319727891e-3 <= x924 <= .738095238095238 8.39927807857837e-4 <= x925 <= .738095238095238 2.24719101123595e-2 <= x926 <= .25 1.37583123136895e-3 <= x927 <= .25 8.42345651858542e-5 <= x928 <= .25 2.27272727272727e-2 <= x929 <= .333333333333333 1.39146567717996e-3 <= x930 <= .357142857142857 8.51917761538753e-5 <= x931 <= .357142857142857 5.12820512820513e-2 <= x932 <= .896551724137931 3.13971742543171e-3 <= x933 <= .971904266389178 1.92227597475411e-4 <= x934 <= .971904266389178 3.38983050847458e-2 <= x935 <= .842105263157895 2.07540643375994e-3 <= x936 <= .875 1.27065700026119e-4 <= x937 <= .875 3.50877192982456e-2 <= x938 <= .25 3.69344413665743e-3 <= x939 <= .25 3.88783593332361e-4 <= x940 <= .25 3.50877192982456e-2 <= x941 <= .333333333333333 3.69344413665743e-3 <= x942 <= .357142857142857 3.88783593332361e-4 <= x943 <= .357142857142857 5.12820512820513e-2 <= x944 <= .894736842105263 5.39811066126856e-3 <= x945 <= .971904266389178 5.68222174870374e-4 <= x946 <= .971904266389178 3.50877192982456e-2 <= x947 <= .842105263157895 3.69344413665743e-3 <= x948 <= .875 3.88783593332361e-4 <= x949 <= .875 .175438596491228 <= x950 <= .222222222222222 1.84672206832872e-2 <= x951 <= .222222222222222 1.94391796666181e-3 <= x952 <= .222222222222222 .175438596491228 <= x953 <= .239130434782609 1.84672206832872e-2 <= x954 <= .333333333333333 1.94391796666181e-3 <= x955 <= .333333333333333 .175438596491228 <= x956 <= .385964912280702 1.84672206832872e-2 <= x957 <= .934210526315789 1.94391796666181e-3 <= x958 <= .970863683662851 .263157894736842 <= x959 <= .473684210526316 2.77008310249307e-2 <= x960 <= .888888888888889 2.91587694999271e-3 <= x961 <= .888888888888889 x962 <= 1.5e3 Binary b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 End