\ Equation counts \ Total E G L N X C B \ 2382 427 936 1019 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 932 816 116 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 7752 7368 384 0 \ Maximize obj: 1.5 x2 + 1.5 x3 + 1.5 x4 + 1.7 x5 + 1.7 x6 + 1.7 x7 + 1.5 x8 + 1.5 x9 + 1.5 x10 + 1.6 x11 + 1.6 x12 + 1.6 x13 + 1.45 x14 + 1.45 x15 + 1.45 x16 + 1.6 x17 + 1.6 x18 + 1.6 x19 + 1.55 x20 + 1.55 x21 + 1.55 x22 + 1.6 x23 + 1.6 x24 + 1.6 x25 + 1.45 x26 + 1.45 x27 + 1.45 x28 + 1.6 x29 + 1.6 x30 + 1.6 x31 + 1.55 x32 + 1.55 x33 + 1.55 x34 + 1.6 x35 + 1.6 x36 + 1.6 x37 + 1.45 x38 + 1.45 x39 + 1.45 x40 + 1.6 x41 + 1.6 x42 + 1.6 x43 + 1.55 x44 + 1.55 x45 + 1.55 x46 + 1.6 x47 + 1.6 x48 + 1.6 x49 + 1.45 x50 + 1.45 x51 + 1.45 x52 + 1.6 x53 + 1.6 x54 + 1.6 x55 + 1.55 x56 + 1.55 x57 + 1.55 x58 + 1.6 x59 + 1.6 x60 + 1.6 x61 + 1.45 x62 + 1.45 x63 + 1.45 x64 + 1.6 x65 + 1.6 x66 + 1.6 x67 + 1.55 x68 + 1.55 x69 + 1.55 x70 + 1.6 x71 + 1.6 x72 + 1.6 x73 + 1.45 x74 + 1.45 x75 + 1.45 x76 + 1.6 x77 + 1.6 x78 + 1.6 x79 + 1.55 x80 + 1.55 x81 + 1.55 x82 + 1.6 x83 + 1.6 x84 + 1.6 x85 + 1.45 x86 + 1.45 x87 + 1.45 x88 + 1.6 x89 + 1.6 x90 + 1.6 x91 + 1.55 x92 + 1.55 x93 + 1.55 x94 + 1.6 x95 + 1.6 x96 + 1.6 x97 + 1.45 x98 + 1.45 x99 + 1.45 x100 + 1.6 x101 + 1.6 x102 + 1.6 x103 + 1.55 x104 + 1.55 x105 + 1.55 x106 + 1.6 x107 + 1.6 x108 + 1.6 x109 + 1.5 x110 + 1.5 x111 + 1.5 x112 + 1.7 x113 + 1.7 x114 + 1.7 x115 + 1.5 x116 + 1.5 x117 + 1.5 x118 + 1.6 x119 + 1.6 x120 + 1.6 x121 + 1.5 x122 + 1.5 x123 + 1.5 x124 + 1.7 x125 + 1.7 x126 + 1.7 x127 + 1.5 x128 + 1.5 x129 + 1.5 x130 + 1.6 x131 + 1.6 x132 + 1.6 x133 + 1.5 x134 + 1.5 x135 + 1.5 x136 + 1.7 x137 + 1.7 x138 + 1.7 x139 + 1.5 x140 + 1.5 x141 + 1.5 x142 + 1.6 x143 + 1.6 x144 + 1.6 x145 - 10 x146 - 10 x147 - 10 x148 - 10 x149 - 10 x150 - 10 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 - 4 x248 - x249 - x250 + 0 b251 + 0 b252 + 0 b253 + 0 b254 + 0 b255 + 0 b256 + 0 b257 + 0 b258 + 0 b259 + 0 b260 + 0 b261 + 0 b262 + 0 b263 + 0 b264 + 0 b265 + 0 b266 + 0 b267 + 0 b268 + 0 b269 + 0 b270 + 0 b271 + 0 b272 + 0 b273 + 0 b274 + 0 b275 + 0 b276 + 0 b277 + 0 b278 + 0 b279 + 0 b280 + 0 b281 + 0 b282 + 0 b283 + 0 b284 + 0 b285 + 0 b286 + 0 b287 + 0 b288 + 0 b289 + 0 b290 + 0 b291 + 0 b292 + 0 b293 + 0 b294 + 0 b295 + 0 b296 + 0 b297 + 0 b298 + 0 b299 + 0 b300 + 0 b301 + 0 b302 + 0 b303 + 0 b304 + 0 b305 + 0 b306 + 0 b307 + 0 b308 + 0 b309 + 0 b310 + 0 b311 + 0 b312 + 0 b313 + 0 b314 + 0 b315 + 0 b316 + 0 b317 + 0 b318 + 0 b319 + 0 b320 + 0 b321 + 0 b322 + 0 b323 + 0 b324 + 0 b325 + 0 b326 + 0 b327 + 0 b328 + 0 b329 + 0 b330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 b775 + 0 b776 + 0 b777 + 0 b778 + 0 b779 + 0 b780 + 0 b781 + 0 b782 + 0 b783 + 0 b784 + 0 b785 + 0 b786 + 0 b787 + 0 b788 + 0 b789 + 0 b790 + 0 b791 + 0 b792 + 0 b793 + 0 b794 + 0 b795 + 0 b796 + 0 b797 + 0 b798 + 0 b799 + 0 b800 + 0 b801 + 0 b802 + 0 b803 + 0 b804 + 0 b805 + 0 b806 + 0 b807 + 0 b808 + 0 b809 + 0 b810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 Subject To e2: b251 + b252 + b253 + b254 <= 1 e3: b255 + b256 + b257 + b258 <= 1 e4: b259 + b260 + b261 + b262 <= 1 e5: b263 + b264 + b265 + b266 <= 1 e6: b267 + b268 + b269 + b270 <= 1 e7: b271 + b272 + b273 + b274 <= 1 e8: b275 + b276 + b277 + b278 <= 1 e9: b279 + b280 + b281 + b282 <= 1 e10: b283 + b284 + b285 + b286 <= 1 e11: b287 + b288 + b289 + b290 <= 1 e12: b291 + b292 + b293 + b294 <= 1 e13: b295 + b296 + b297 + b298 <= 1 e14: b299 + b300 + b301 + b302 <= 1 e15: b303 + b304 + b305 + b306 <= 1 e16: b307 + b308 + b309 + b310 <= 1 e17: b311 + b312 + b313 + b314 <= 1 e18: b315 + b316 + b317 + b318 <= 1 e19: b319 + b320 + b321 + b322 <= 1 e20: b323 + b324 + b325 + b326 <= 1 e21: b327 + b328 + b329 + b330 <= 1 e22: b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + x331 <= 2 e23: b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + x332 <= 2 e24: b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + x333 <= 2 e25: b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + x334 <= 2 e26: b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + x335 <= 2 e27: b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + x336 <= 2 e28: b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + x337 <= 2 e29: b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + x338 <= 2 e30: b299 + b300 + b301 + b302 + x339 <= 2 e31: b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + x340 <= 2 e32: b307 + b308 + b309 + b310 + x341 <= 2 e33: b307 + b308 + b309 + b310 + b311 + b312 + b313 + b314 + x342 <= 2 e34: b315 + b316 + b317 + b318 + x343 <= 2 e35: b315 + b316 + b317 + b318 + b319 + b320 + b321 + b322 + x344 <= 2 e36: b323 + b324 + b325 + b326 + x345 <= 2 e37: b323 + b324 + b325 + b326 + b327 + b328 + b329 + b330 + x346 <= 2 e38: - b251 - b252 - b253 - b254 + b255 + b256 + b257 + b258 + x331 >= 0 e39: - b255 - b256 - b257 - b258 + b259 + b260 + b261 + b262 + x332 >= 0 e40: - b263 - b264 - b265 - b266 + b267 + b268 + b269 + b270 + x333 >= 0 e41: - b267 - b268 - b269 - b270 + b271 + b272 + b273 + b274 + x334 >= 0 e42: - b275 - b276 - b277 - b278 + b279 + b280 + b281 + b282 + x335 >= 0 e43: - b279 - b280 - b281 - b282 + b283 + b284 + b285 + b286 + x336 >= 0 e44: - b287 - b288 - b289 - b290 + b291 + b292 + b293 + b294 + x337 >= 0 e45: - b291 - b292 - b293 - b294 + b295 + b296 + b297 + b298 + x338 >= 0 e46: b299 + b300 + b301 + b302 + x339 >= 0 e47: - b299 - b300 - b301 - b302 + b303 + b304 + b305 + b306 + x340 >= 0 e48: b307 + b308 + b309 + b310 + x341 >= 0 e49: - b307 - b308 - b309 - b310 + b311 + b312 + b313 + b314 + x342 >= 0 e50: b315 + b316 + b317 + b318 + x343 >= 0 e51: - b315 - b316 - b317 - b318 + b319 + b320 + b321 + b322 + x344 >= 0 e52: b323 + b324 + b325 + b326 + x345 >= 0 e53: - b323 - b324 - b325 - b326 + b327 + b328 + b329 + b330 + x346 >= 0 e54: - b259 - b260 - b261 - b262 + x347 >= 0 e55: - b271 - b272 - b273 - b274 + x348 >= 0 e56: - b283 - b284 - b285 - b286 + x349 >= 0 e57: - b295 - b296 - b297 - b298 + x350 >= 0 e58: - b303 - b304 - b305 - b306 + x351 >= 0 e59: - b311 - b312 - b313 - b314 + x352 >= 0 e60: - b319 - b320 - b321 - b322 + x353 >= 0 e61: - b327 - b328 - b329 - b330 + x354 >= 0 e62: x331 + x332 + x347 = 1 e63: x333 + x334 + x348 = 1 e64: x335 + x336 + x349 = 1 e65: x337 + x338 + x350 = 1 e66: x339 + x340 + x351 = 1 e67: x341 + x342 + x352 = 1 e68: x343 + x344 + x353 = 1 e69: x345 + x346 + x354 = 1 e70: - x355 - 1.25 x356 + 1.25 x357 <= 0 e71: - x358 - 1.25 x359 + 1.25 x360 <= 0 e72: - x361 - 1.25 x362 + 1.25 x363 <= 0 e73: - x364 - 1.25 x365 + 1.25 x366 <= 0 e74: - x367 - 1.25 x368 + 1.25 x369 <= 0 e75: - x370 - 1.25 x371 + 1.25 x372 <= 0 e76: - x373 - 1.25 x374 + 1.25 x375 <= 0 e77: - x376 - 1.25 x377 + 1.25 x378 <= 0 e78: - x379 - 1.25 x380 + 1.25 x381 <= 0 e79: - x382 - 1.25 x383 + 1.25 x384 <= 0 e80: - x385 - 1.25 x386 + 1.25 x387 <= 0 e81: - x388 - 1.25 x389 + 1.25 x390 <= 0 e82: - x391 - 1.25 x392 + 1.25 x393 <= 0 e83: - x394 - 1.25 x395 + 1.25 x396 <= 0 e84: - x397 - 1.25 x398 + 1.25 x399 <= 0 e85: - x400 - 1.25 x401 + 1.25 x402 <= 0 e86: - x403 - 1.25 x404 + 1.25 x405 <= 0 e87: - x406 - 1.25 x407 + 1.25 x408 <= 0 e88: - x409 - 1.25 x410 + 1.25 x411 <= 0 e89: - x412 - 1.25 x413 + 1.25 x414 <= 0 e90: - x415 - 1.25 x416 + 1.25 x417 <= 0 e91: - x418 - 1.25 x419 + 1.25 x420 <= 0 e92: - x421 - 1.25 x422 + 1.25 x423 <= 0 e93: - x424 - 1.25 x425 + 1.25 x426 <= 0 e94: - x427 - 1.25 x428 + 1.25 x429 <= 0 e95: - x430 - 1.25 x431 + 1.25 x432 <= 0 e96: - x433 - 1.25 x434 + 1.25 x435 <= 0 e97: - x436 - 1.25 x437 + 1.25 x438 <= 0 e98: - x439 - 1.25 x440 + 1.25 x441 <= 0 e99: - x442 - 1.25 x443 + 1.25 x444 <= 0 e100: - x445 - 1.25 x446 + 1.25 x447 <= 0 e101: - x448 - 1.25 x449 + 1.25 x450 <= 0 e102: - x451 - 1.25 x452 + 1.25 x453 <= 0 e103: - x454 - 1.25 x455 + 1.25 x456 <= 0 e104: - x457 - 1.25 x458 + 1.25 x459 <= 0 e105: - x460 - 1.25 x461 + 1.25 x462 <= 0 e106: - x463 - 1.25 x464 + 1.25 x465 <= 0 e107: - x466 - 1.25 x467 + 1.25 x468 <= 0 e108: - x469 - 1.25 x470 + 1.25 x471 <= 0 e109: - x472 - 1.25 x473 + 1.25 x474 <= 0 e110: - x475 - 1.25 x476 + 1.25 x477 <= 0 e111: - x478 - 1.25 x479 + 1.25 x480 <= 0 e112: - x481 - 1.25 x482 + 1.25 x483 <= 0 e113: - x484 - 1.25 x485 + 1.25 x486 <= 0 e114: - x487 - 1.25 x488 + 1.25 x489 <= 0 e115: - x490 - 1.25 x491 + 1.25 x492 <= 0 e116: - x493 - 1.25 x494 + 1.25 x495 <= 0 e117: - x496 - 1.25 x497 + 1.25 x498 <= 0 e118: - 1.25 x499 + 1.25 x500 <= 0 e119: - x501 - 1.25 x502 + 1.25 x503 <= 0 e120: - x504 - 1.25 x505 + 1.25 x506 <= 0 e121: - 1.25 x507 + 1.25 x508 <= 0 e122: - x509 - 1.25 x510 + 1.25 x511 <= 0 e123: - x512 - 1.25 x513 + 1.25 x514 <= 0 e124: - 1.25 x515 + 1.25 x516 <= 0 e125: - x517 - 1.25 x518 + 1.25 x519 <= 0 e126: - x520 - 1.25 x521 + 1.25 x522 <= 0 e127: - 1.25 x523 + 1.25 x524 <= 0 e128: - x525 - 1.25 x526 + 1.25 x527 <= 0 e129: - x528 - 1.25 x529 + 1.25 x530 <= 0 e130: - 1.25 x531 + 1.25 x532 <= 0 e131: - x533 - 1.25 x534 + 1.25 x535 <= 0 e132: - x536 - 1.25 x537 + 1.25 x538 <= 0 e133: - 1.25 x539 + 1.25 x540 <= 0 e134: - x541 - 1.25 x542 + 1.25 x543 <= 0 e135: - x544 - 1.25 x545 + 1.25 x546 <= 0 e136: - 1.25 x547 + 1.25 x548 <= 0 e137: - x549 - 1.25 x550 + 1.25 x551 <= 0 e138: - x552 - 1.25 x553 + 1.25 x554 <= 0 e139: - 1.25 x555 + 1.25 x556 <= 0 e140: - x557 - 1.25 x558 + 1.25 x559 <= 0 e141: - x560 - 1.25 x561 + 1.25 x562 <= 0 e142: - 1.25 x563 + 1.25 x564 <= 0 e143: - x565 - 1.25 x566 + 1.25 x567 <= 0 e144: - x568 - 1.25 x569 + 1.25 x570 <= 0 e145: - 1.25 x571 + 1.25 x572 <= 0 e146: - x573 - 1.25 x574 + 1.25 x575 <= 0 e147: - x576 - 1.25 x577 + 1.25 x578 <= 0 e148: - 1.25 x579 + 1.25 x580 <= 0 e149: - x581 - 1.25 x582 + 1.25 x583 <= 0 e150: - x584 - 1.25 x585 + 1.25 x586 <= 0 e151: - 1.25 x587 + 1.25 x588 <= 0 e152: - x589 - 1.25 x590 + 1.25 x591 <= 0 e153: - x592 - 1.25 x593 + 1.25 x594 <= 0 e154: - 1.25 x595 + 1.25 x596 <= 0 e155: - x597 - 1.25 x598 + 1.25 x599 <= 0 e156: - x600 - 1.25 x601 + 1.25 x602 <= 0 e157: - 1.25 x603 + 1.25 x604 <= 0 e158: - x605 - 1.25 x606 + 1.25 x607 <= 0 e159: - x608 - 1.25 x609 + 1.25 x610 <= 0 e160: - 1.25 x611 + 1.25 x612 <= 0 e161: - x613 - 1.25 x614 + 1.25 x615 <= 0 e162: - x616 - 1.25 x617 + 1.25 x618 <= 0 e163: - 1.25 x619 + 1.25 x620 <= 0 e164: - x621 - 1.25 x622 + 1.25 x623 <= 0 e165: - x624 - 1.25 x625 + 1.25 x626 <= 0 e166: x355 + 50 x356 - 50 x357 <= 0 e167: x358 + 50 x359 - 50 x360 <= 0 e168: x361 + 50 x362 - 50 x363 <= 0 e169: x364 + 50 x365 - 50 x366 <= 0 e170: x367 + 50 x368 - 50 x369 <= 0 e171: x370 + 50 x371 - 50 x372 <= 0 e172: x373 + 50 x374 - 50 x375 <= 0 e173: x376 + 50 x377 - 50 x378 <= 0 e174: x379 + 50 x380 - 50 x381 <= 0 e175: x382 + 50 x383 - 50 x384 <= 0 e176: x385 + 50 x386 - 50 x387 <= 0 e177: x388 + 50 x389 - 50 x390 <= 0 e178: x391 + 50 x392 - 50 x393 <= 0 e179: x394 + 50 x395 - 50 x396 <= 0 e180: x397 + 50 x398 - 50 x399 <= 0 e181: x400 + 50 x401 - 50 x402 <= 0 e182: x403 + 50 x404 - 50 x405 <= 0 e183: x406 + 50 x407 - 50 x408 <= 0 e184: x409 + 50 x410 - 50 x411 <= 0 e185: x412 + 50 x413 - 50 x414 <= 0 e186: x415 + 50 x416 - 50 x417 <= 0 e187: x418 + 50 x419 - 50 x420 <= 0 e188: x421 + 50 x422 - 50 x423 <= 0 e189: x424 + 50 x425 - 50 x426 <= 0 e190: x427 + 50 x428 - 50 x429 <= 0 e191: x430 + 50 x431 - 50 x432 <= 0 e192: x433 + 50 x434 - 50 x435 <= 0 e193: x436 + 50 x437 - 50 x438 <= 0 e194: x439 + 50 x440 - 50 x441 <= 0 e195: x442 + 50 x443 - 50 x444 <= 0 e196: x445 + 50 x446 - 50 x447 <= 0 e197: x448 + 50 x449 - 50 x450 <= 0 e198: x451 + 50 x452 - 50 x453 <= 0 e199: x454 + 50 x455 - 50 x456 <= 0 e200: x457 + 50 x458 - 50 x459 <= 0 e201: x460 + 50 x461 - 50 x462 <= 0 e202: x463 + 50 x464 - 50 x465 <= 0 e203: x466 + 50 x467 - 50 x468 <= 0 e204: x469 + 50 x470 - 50 x471 <= 0 e205: x472 + 50 x473 - 50 x474 <= 0 e206: x475 + 50 x476 - 50 x477 <= 0 e207: x478 + 50 x479 - 50 x480 <= 0 e208: x481 + 50 x482 - 50 x483 <= 0 e209: x484 + 50 x485 - 50 x486 <= 0 e210: x487 + 50 x488 - 50 x489 <= 0 e211: x490 + 50 x491 - 50 x492 <= 0 e212: x493 + 50 x494 - 50 x495 <= 0 e213: x496 + 50 x497 - 50 x498 <= 0 e214: 50 x499 - 50 x500 <= 0 e215: x501 + 50 x502 - 50 x503 <= 0 e216: x504 + 50 x505 - 50 x506 <= 0 e217: 50 x507 - 50 x508 <= 0 e218: x509 + 50 x510 - 50 x511 <= 0 e219: x512 + 50 x513 - 50 x514 <= 0 e220: 50 x515 - 50 x516 <= 0 e221: x517 + 50 x518 - 50 x519 <= 0 e222: x520 + 50 x521 - 50 x522 <= 0 e223: 50 x523 - 50 x524 <= 0 e224: x525 + 50 x526 - 50 x527 <= 0 e225: x528 + 50 x529 - 50 x530 <= 0 e226: 50 x531 - 50 x532 <= 0 e227: x533 + 50 x534 - 50 x535 <= 0 e228: x536 + 50 x537 - 50 x538 <= 0 e229: 50 x539 - 50 x540 <= 0 e230: x541 + 50 x542 - 50 x543 <= 0 e231: x544 + 50 x545 - 50 x546 <= 0 e232: 50 x547 - 50 x548 <= 0 e233: x549 + 50 x550 - 50 x551 <= 0 e234: x552 + 50 x553 - 50 x554 <= 0 e235: 50 x555 - 50 x556 <= 0 e236: x557 + 50 x558 - 50 x559 <= 0 e237: x560 + 50 x561 - 50 x562 <= 0 e238: 50 x563 - 50 x564 <= 0 e239: x565 + 50 x566 - 50 x567 <= 0 e240: x568 + 50 x569 - 50 x570 <= 0 e241: 50 x571 - 50 x572 <= 0 e242: x573 + 50 x574 - 50 x575 <= 0 e243: x576 + 50 x577 - 50 x578 <= 0 e244: 50 x579 - 50 x580 <= 0 e245: x581 + 50 x582 - 50 x583 <= 0 e246: x584 + 50 x585 - 50 x586 <= 0 e247: 50 x587 - 50 x588 <= 0 e248: x589 + 50 x590 - 50 x591 <= 0 e249: x592 + 50 x593 - 50 x594 <= 0 e250: 50 x595 - 50 x596 <= 0 e251: x597 + 50 x598 - 50 x599 <= 0 e252: x600 + 50 x601 - 50 x602 <= 0 e253: 50 x603 - 50 x604 <= 0 e254: x605 + 50 x606 - 50 x607 <= 0 e255: x608 + 50 x609 - 50 x610 <= 0 e256: 50 x611 - 50 x612 <= 0 e257: x613 + 50 x614 - 50 x615 <= 0 e258: x616 + 50 x617 - 50 x618 <= 0 e259: 50 x619 - 50 x620 <= 0 e260: x621 + 50 x622 - 50 x623 <= 0 e261: x624 + 50 x625 - 50 x626 <= 0 e262: - 10 b251 + x355 <= 0 e263: - 10 b255 + x358 <= 0 e264: - 10 b259 + x361 <= 0 e265: - 10 b252 + x364 <= 0 e266: - 10 b256 + x367 <= 0 e267: - 10 b260 + x370 <= 0 e268: - 10 b253 + x373 <= 0 e269: - 10 b257 + x376 <= 0 e270: - 10 b261 + x379 <= 0 e271: - 10 b254 + x382 <= 0 e272: - 10 b258 + x385 <= 0 e273: - 10 b262 + x388 <= 0 e274: - 250 b263 + x391 <= 0 e275: - 250 b267 + x394 <= 0 e276: - 250 b271 + x397 <= 0 e277: - 250 b264 + x400 <= 0 e278: - 250 b268 + x403 <= 0 e279: - 250 b272 + x406 <= 0 e280: - 250 b265 + x409 <= 0 e281: - 250 b269 + x412 <= 0 e282: - 250 b273 + x415 <= 0 e283: - 250 b266 + x418 <= 0 e284: - 250 b270 + x421 <= 0 e285: - 250 b274 + x424 <= 0 e286: - 300 b275 + x427 <= 0 e287: - 300 b279 + x430 <= 0 e288: - 300 b283 + x433 <= 0 e289: - 300 b276 + x436 <= 0 e290: - 300 b280 + x439 <= 0 e291: - 300 b284 + x442 <= 0 e292: - 300 b277 + x445 <= 0 e293: - 300 b281 + x448 <= 0 e294: - 300 b285 + x451 <= 0 e295: - 300 b278 + x454 <= 0 e296: - 300 b282 + x457 <= 0 e297: - 300 b286 + x460 <= 0 e298: - 190 b287 + x463 <= 0 e299: - 190 b291 + x466 <= 0 e300: - 190 b295 + x469 <= 0 e301: - 190 b288 + x472 <= 0 e302: - 190 b292 + x475 <= 0 e303: - 190 b296 + x478 <= 0 e304: - 190 b289 + x481 <= 0 e305: - 190 b293 + x484 <= 0 e306: - 190 b297 + x487 <= 0 e307: - 190 b290 + x490 <= 0 e308: - 190 b294 + x493 <= 0 e309: - 190 b298 + x496 <= 0 e310: - 10 b299 + x501 <= 0 e311: - 10 b303 + x504 <= 0 e312: - 10 b300 + x509 <= 0 e313: - 10 b304 + x512 <= 0 e314: - 10 b301 + x517 <= 0 e315: - 10 b305 + x520 <= 0 e316: - 10 b302 + x525 <= 0 e317: - 10 b306 + x528 <= 0 e318: - 250 b307 + x533 <= 0 e319: - 250 b311 + x536 <= 0 e320: - 250 b308 + x541 <= 0 e321: - 250 b312 + x544 <= 0 e322: - 250 b309 + x549 <= 0 e323: - 250 b313 + x552 <= 0 e324: - 250 b310 + x557 <= 0 e325: - 250 b314 + x560 <= 0 e326: - 250 b315 + x565 <= 0 e327: - 250 b319 + x568 <= 0 e328: - 250 b316 + x573 <= 0 e329: - 250 b320 + x576 <= 0 e330: - 250 b317 + x581 <= 0 e331: - 250 b321 + x584 <= 0 e332: - 250 b318 + x589 <= 0 e333: - 250 b322 + x592 <= 0 e334: - 240 b323 + x597 <= 0 e335: - 240 b327 + x600 <= 0 e336: - 240 b324 + x605 <= 0 e337: - 240 b328 + x608 <= 0 e338: - 240 b325 + x613 <= 0 e339: - 240 b329 + x616 <= 0 e340: - 240 b326 + x621 <= 0 e341: - 240 b330 + x624 <= 0 e342: x355 + x358 + x361 + x364 + x367 + x370 + x373 + x376 + x379 + x382 + x385 + x388 = 10 e343: x391 + x394 + x397 + x400 + x403 + x406 + x409 + x412 + x415 + x418 + x421 + x424 = 250 e344: x427 + x430 + x433 + x436 + x439 + x442 + x445 + x448 + x451 + x454 + x457 + x460 = 300 e345: x463 + x466 + x469 + x472 + x475 + x478 + x481 + x484 + x487 + x490 + x493 + x496 = 190 e346: x501 + x504 + x509 + x512 + x517 + x520 + x525 + x528 = 10 e347: x533 + x536 + x541 + x544 + x549 + x552 + x557 + x560 = 250 e348: x565 + x568 + x573 + x576 + x581 + x584 + x589 + x592 = 250 e349: x597 + x600 + x605 + x608 + x613 + x616 + x621 + x624 = 240 e350: 160 b251 - x356 + x627 <= 160 e351: 160 b255 - x359 + x627 <= 160 e352: 160 b259 - x362 + x627 <= 160 e353: 160 b252 - x365 + x627 <= 160 e354: 160 b256 - x368 + x627 <= 160 e355: 160 b260 - x371 + x627 <= 160 e356: 160 b253 - x374 + x627 <= 160 e357: 160 b257 - x377 + x627 <= 160 e358: 160 b261 - x380 + x627 <= 160 e359: 160 b254 - x383 + x627 <= 160 e360: 160 b258 - x386 + x627 <= 160 e361: 160 b262 - x389 + x627 <= 160 e362: 160 b263 - x392 + x628 <= 160 e363: 160 b267 - x395 + x628 <= 160 e364: 160 b271 - x398 + x628 <= 160 e365: 160 b264 - x401 + x628 <= 160 e366: 160 b268 - x404 + x628 <= 160 e367: 160 b272 - x407 + x628 <= 160 e368: 160 b265 - x410 + x628 <= 160 e369: 160 b269 - x413 + x628 <= 160 e370: 160 b273 - x416 + x628 <= 160 e371: 160 b266 - x419 + x628 <= 160 e372: 160 b270 - x422 + x628 <= 160 e373: 160 b274 - x425 + x628 <= 160 e374: 160 b275 - x428 + x629 <= 160 e375: 160 b279 - x431 + x629 <= 160 e376: 160 b283 - x434 + x629 <= 160 e377: 160 b276 - x437 + x629 <= 160 e378: 160 b280 - x440 + x629 <= 160 e379: 160 b284 - x443 + x629 <= 160 e380: 160 b277 - x446 + x629 <= 160 e381: 160 b281 - x449 + x629 <= 160 e382: 160 b285 - x452 + x629 <= 160 e383: 160 b278 - x455 + x629 <= 160 e384: 160 b282 - x458 + x629 <= 160 e385: 160 b286 - x461 + x629 <= 160 e386: 160 b287 - x464 + x630 <= 160 e387: 160 b291 - x467 + x630 <= 160 e388: 160 b295 - x470 + x630 <= 160 e389: 160 b288 - x473 + x630 <= 160 e390: 160 b292 - x476 + x630 <= 160 e391: 160 b296 - x479 + x630 <= 160 e392: 160 b289 - x482 + x630 <= 160 e393: 160 b293 - x485 + x630 <= 160 e394: 160 b297 - x488 + x630 <= 160 e395: 160 b290 - x491 + x630 <= 160 e396: 160 b294 - x494 + x630 <= 160 e397: 160 b298 - x497 + x630 <= 160 e398: - x499 + x631 <= 160 e399: 160 b299 - x502 + x631 <= 160 e400: 160 b303 - x505 + x631 <= 160 e401: - x507 + x631 <= 160 e402: 160 b300 - x510 + x631 <= 160 e403: 160 b304 - x513 + x631 <= 160 e404: - x515 + x631 <= 160 e405: 160 b301 - x518 + x631 <= 160 e406: 160 b305 - x521 + x631 <= 160 e407: - x523 + x631 <= 160 e408: 160 b302 - x526 + x631 <= 160 e409: 160 b306 - x529 + x631 <= 160 e410: - x531 + x632 <= 160 e411: 160 b307 - x534 + x632 <= 160 e412: 160 b311 - x537 + x632 <= 160 e413: - x539 + x632 <= 160 e414: 160 b308 - x542 + x632 <= 160 e415: 160 b312 - x545 + x632 <= 160 e416: - x547 + x632 <= 160 e417: 160 b309 - x550 + x632 <= 160 e418: 160 b313 - x553 + x632 <= 160 e419: - x555 + x632 <= 160 e420: 160 b310 - x558 + x632 <= 160 e421: 160 b314 - x561 + x632 <= 160 e422: - x563 + x633 <= 160 e423: 160 b315 - x566 + x633 <= 160 e424: 160 b319 - x569 + x633 <= 160 e425: - x571 + x633 <= 160 e426: 160 b316 - x574 + x633 <= 160 e427: 160 b320 - x577 + x633 <= 160 e428: - x579 + x633 <= 160 e429: 160 b317 - x582 + x633 <= 160 e430: 160 b321 - x585 + x633 <= 160 e431: - x587 + x633 <= 160 e432: 160 b318 - x590 + x633 <= 160 e433: 160 b322 - x593 + x633 <= 160 e434: - x595 + x634 <= 160 e435: 160 b323 - x598 + x634 <= 160 e436: 160 b327 - x601 + x634 <= 160 e437: - x603 + x634 <= 160 e438: 160 b324 - x606 + x634 <= 160 e439: 160 b328 - x609 + x634 <= 160 e440: - x611 + x634 <= 160 e441: 160 b325 - x614 + x634 <= 160 e442: 160 b329 - x617 + x634 <= 160 e443: - x619 + x634 <= 160 e444: 160 b326 - x622 + x634 <= 160 e445: 160 b330 - x625 + x634 <= 160 e446: - 160 b251 - x357 + x635 >= -160 e447: - 160 b255 - x360 + x635 >= -160 e448: - 160 b259 - x363 + x635 >= -160 e449: - 160 b252 - x366 + x635 >= -160 e450: - 160 b256 - x369 + x635 >= -160 e451: - 160 b260 - x372 + x635 >= -160 e452: - 160 b253 - x375 + x635 >= -160 e453: - 160 b257 - x378 + x635 >= -160 e454: - 160 b261 - x381 + x635 >= -160 e455: - 160 b254 - x384 + x635 >= -160 e456: - 160 b258 - x387 + x635 >= -160 e457: - 160 b262 - x390 + x635 >= -160 e458: - 160 b263 - x393 + x636 >= -160 e459: - 160 b267 - x396 + x636 >= -160 e460: - 160 b271 - x399 + x636 >= -160 e461: - 160 b264 - x402 + x636 >= -160 e462: - 160 b268 - x405 + x636 >= -160 e463: - 160 b272 - x408 + x636 >= -160 e464: - 160 b265 - x411 + x636 >= -160 e465: - 160 b269 - x414 + x636 >= -160 e466: - 160 b273 - x417 + x636 >= -160 e467: - 160 b266 - x420 + x636 >= -160 e468: - 160 b270 - x423 + x636 >= -160 e469: - 160 b274 - x426 + x636 >= -160 e470: - 160 b275 - x429 + x637 >= -160 e471: - 160 b279 - x432 + x637 >= -160 e472: - 160 b283 - x435 + x637 >= -160 e473: - 160 b276 - x438 + x637 >= -160 e474: - 160 b280 - x441 + x637 >= -160 e475: - 160 b284 - x444 + x637 >= -160 e476: - 160 b277 - x447 + x637 >= -160 e477: - 160 b281 - x450 + x637 >= -160 e478: - 160 b285 - x453 + x637 >= -160 e479: - 160 b278 - x456 + x637 >= -160 e480: - 160 b282 - x459 + x637 >= -160 e481: - 160 b286 - x462 + x637 >= -160 e482: - 160 b287 - x465 + x638 >= -160 e483: - 160 b291 - x468 + x638 >= -160 e484: - 160 b295 - x471 + x638 >= -160 e485: - 160 b288 - x474 + x638 >= -160 e486: - 160 b292 - x477 + x638 >= -160 e487: - 160 b296 - x480 + x638 >= -160 e488: - 160 b289 - x483 + x638 >= -160 e489: - 160 b293 - x486 + x638 >= -160 e490: - 160 b297 - x489 + x638 >= -160 e491: - 160 b290 - x492 + x638 >= -160 e492: - 160 b294 - x495 + x638 >= -160 e493: - 160 b298 - x498 + x638 >= -160 e494: - x500 + x639 >= -160 e495: - 160 b299 - x503 + x639 >= -160 e496: - 160 b303 - x506 + x639 >= -160 e497: - x508 + x639 >= -160 e498: - 160 b300 - x511 + x639 >= -160 e499: - 160 b304 - x514 + x639 >= -160 e500: - x516 + x639 >= -160 e501: - 160 b301 - x519 + x639 >= -160 e502: - 160 b305 - x522 + x639 >= -160 e503: - x524 + x639 >= -160 e504: - 160 b302 - x527 + x639 >= -160 e505: - 160 b306 - x530 + x639 >= -160 e506: - x532 + x640 >= -160 e507: - 160 b307 - x535 + x640 >= -160 e508: - 160 b311 - x538 + x640 >= -160 e509: - x540 + x640 >= -160 e510: - 160 b308 - x543 + x640 >= -160 e511: - 160 b312 - x546 + x640 >= -160 e512: - x548 + x640 >= -160 e513: - 160 b309 - x551 + x640 >= -160 e514: - 160 b313 - x554 + x640 >= -160 e515: - x556 + x640 >= -160 e516: - 160 b310 - x559 + x640 >= -160 e517: - 160 b314 - x562 + x640 >= -160 e518: - x564 + x641 >= -160 e519: - 160 b315 - x567 + x641 >= -160 e520: - 160 b319 - x570 + x641 >= -160 e521: - x572 + x641 >= -160 e522: - 160 b316 - x575 + x641 >= -160 e523: - 160 b320 - x578 + x641 >= -160 e524: - x580 + x641 >= -160 e525: - 160 b317 - x583 + x641 >= -160 e526: - 160 b321 - x586 + x641 >= -160 e527: - x588 + x641 >= -160 e528: - 160 b318 - x591 + x641 >= -160 e529: - 160 b322 - x594 + x641 >= -160 e530: - x596 + x642 >= -160 e531: - 160 b323 - x599 + x642 >= -160 e532: - 160 b327 - x602 + x642 >= -160 e533: - x604 + x642 >= -160 e534: - 160 b324 - x607 + x642 >= -160 e535: - 160 b328 - x610 + x642 >= -160 e536: - x612 + x642 >= -160 e537: - 160 b325 - x615 + x642 >= -160 e538: - 160 b329 - x618 + x642 >= -160 e539: - x620 + x642 >= -160 e540: - 160 b326 - x623 + x642 >= -160 e541: - 160 b330 - x626 + x642 >= -160 e542: x628 - x635 >= 0 e543: x629 - x636 >= 0 e544: x630 - x637 >= 0 e545: x631 - x638 >= 0 e546: x632 - x639 >= 0 e547: x633 - x640 >= 0 e548: x634 - x641 >= 0 e549: - x643 + x644 + x645 + x646 + x647 = 0 e550: - x648 + x649 + x650 + x651 + x652 = 0 e551: - x653 + x654 + x655 + x656 + x657 = 0 e552: - x658 + x659 + x660 + x661 + x662 = 0 e553: - x663 + x664 + x665 + x666 + x667 = 0 e554: - x668 + x669 + x670 + x671 + x672 = 0 e555: - x673 + x674 + x675 + x676 + x677 = 0 e556: - x678 + x679 + x680 + x681 + x682 = 0 e557: - x683 + x684 + x685 + x686 + x687 = 0 e558: - x688 + x689 + x690 + x691 + x692 = 0 e559: - x693 + x694 + x695 + x696 + x697 = 0 e560: - x698 + x699 + x700 + x701 + x702 = 0 e561: - x703 + x704 + x705 + x706 + x707 = 0 e562: - x708 + x709 + x710 + x711 + x712 = 0 e563: - x713 + x714 + x715 + x716 + x717 = 0 e564: - x718 + x719 + x720 + x721 + x722 = 0 e565: - x723 + x724 + x725 + x726 + x727 = 0 e566: - x728 + x729 + x730 + x731 + x732 = 0 e567: - x733 + x734 + x735 + x736 + x737 = 0 e568: - x738 + x739 + x740 + x741 + x742 = 0 e569: - x743 + x744 + x745 + x746 + x747 = 0 e570: - x748 + x749 + x750 + x751 + x752 = 0 e571: - x753 + x754 + x755 + x756 + x757 = 0 e572: - x758 + x759 + x760 + x761 + x762 = 0 e573: x2 - 0.1428571429 x763 = 0 e574: x5 - 0.2857142857 x763 = 0 e575: x8 - 0.2857142857 x763 = 0 e576: x11 - 0.2857142857 x763 = 0 e577: x14 - 0.25 x764 = 0 e578: x17 - 0.25 x764 = 0 e579: x20 - 0.25 x764 = 0 e580: x23 - 0.25 x764 = 0 e581: x26 - 0.25 x765 = 0 e582: x29 - 0.25 x765 = 0 e583: x32 - 0.25 x765 = 0 e584: x35 - 0.25 x765 = 0 e585: x38 - 0.2857142857 x766 = 0 e586: x41 - 0.2857142857 x766 = 0 e587: x44 - 0.1428571429 x766 = 0 e588: x47 - 0.2857142857 x766 = 0 e589: x50 - 0.2857142857 x767 = 0 e590: x53 - 0.2857142857 x767 = 0 e591: x56 - 0.1428571429 x767 = 0 e592: x59 - 0.2857142857 x767 = 0 e593: x62 - 0.2105263158 x768 = 0 e594: x65 - 0.2631578947 x768 = 0 e595: x68 - 0.2105263158 x768 = 0 e596: x71 - 0.3157894737 x768 = 0 e597: x74 - 0.2105263158 x769 = 0 e598: x77 - 0.2631578947 x769 = 0 e599: x80 - 0.2105263158 x769 = 0 e600: x83 - 0.3157894737 x769 = 0 e601: x86 - 0.3333333333 x770 = 0 e602: x89 - 0.3333333333 x770 = 0 e603: x92 - 0.1666666667 x770 = 0 e604: x95 - 0.1666666667 x770 = 0 e605: x98 - 0.3333333333 x771 = 0 e606: x101 - 0.3333333333 x771 = 0 e607: x104 - 0.1666666667 x771 = 0 e608: x107 - 0.1666666667 x771 = 0 e609: x110 - 0.25 x772 = 0 e610: x113 - 0.25 x772 = 0 e611: x116 - 0.25 x772 = 0 e612: x119 - 0.25 x772 = 0 e613: x122 - 0.25 x773 = 0 e614: x125 - 0.25 x773 = 0 e615: x128 - 0.25 x773 = 0 e616: x131 - 0.25 x773 = 0 e617: x134 - 0.2222222222 x774 = 0 e618: x137 - 0.2222222222 x774 = 0 e619: x140 - 0.2222222222 x774 = 0 e620: x143 - 0.3333333333 x774 = 0 e621: b251 + b775 <= 1 e622: b255 + b776 <= 1 e623: b259 + b777 <= 1 e624: b252 + b778 <= 1 e625: b256 + b779 <= 1 e626: b260 + b780 <= 1 e627: b253 + b781 <= 1 e628: b257 + b782 <= 1 e629: b261 + b783 <= 1 e630: b254 + b784 <= 1 e631: b258 + b785 <= 1 e632: b262 + b786 <= 1 e633: b263 + b775 <= 1 e634: b267 + b776 <= 1 e635: b271 + b777 <= 1 e636: b264 + b778 <= 1 e637: b268 + b779 <= 1 e638: b272 + b780 <= 1 e639: b265 + b781 <= 1 e640: b269 + b782 <= 1 e641: b273 + b783 <= 1 e642: b266 + b784 <= 1 e643: b270 + b785 <= 1 e644: b274 + b786 <= 1 e645: b275 + b775 <= 1 e646: b279 + b776 <= 1 e647: b283 + b777 <= 1 e648: b276 + b778 <= 1 e649: b280 + b779 <= 1 e650: b284 + b780 <= 1 e651: b277 + b781 <= 1 e652: b281 + b782 <= 1 e653: b285 + b783 <= 1 e654: b278 + b784 <= 1 e655: b282 + b785 <= 1 e656: b286 + b786 <= 1 e657: b287 + b787 <= 1 e658: b291 + b788 <= 1 e659: b295 + b789 <= 1 e660: b287 + b790 <= 1 e661: b291 + b791 <= 1 e662: b295 + b792 <= 1 e663: b288 + b793 <= 1 e664: b292 + b794 <= 1 e665: b296 + b795 <= 1 e666: b288 + b796 <= 1 e667: b292 + b797 <= 1 e668: b296 + b798 <= 1 e669: b289 + b799 <= 1 e670: b293 + b800 <= 1 e671: b297 + b801 <= 1 e672: b289 + b802 <= 1 e673: b293 + b803 <= 1 e674: b297 + b804 <= 1 e675: b290 + b805 <= 1 e676: b294 + b806 <= 1 e677: b298 + b807 <= 1 e678: b290 + b808 <= 1 e679: b294 + b809 <= 1 e680: b298 + b810 <= 1 e681: b299 + b788 <= 1 e682: b303 + b789 <= 1 e683: b299 + b791 <= 1 e684: b303 + b792 <= 1 e685: b300 + b794 <= 1 e686: b304 + b795 <= 1 e687: b300 + b797 <= 1 e688: b304 + b798 <= 1 e689: b301 + b800 <= 1 e690: b305 + b801 <= 1 e691: b301 + b803 <= 1 e692: b305 + b804 <= 1 e693: b302 + b806 <= 1 e694: b306 + b807 <= 1 e695: b302 + b809 <= 1 e696: b306 + b810 <= 1 e697: b307 + b788 <= 1 e698: b311 + b789 <= 1 e699: b307 + b791 <= 1 e700: b311 + b792 <= 1 e701: b308 + b794 <= 1 e702: b312 + b795 <= 1 e703: b308 + b797 <= 1 e704: b312 + b798 <= 1 e705: b309 + b800 <= 1 e706: b313 + b801 <= 1 e707: b309 + b803 <= 1 e708: b313 + b804 <= 1 e709: b310 + b806 <= 1 e710: b314 + b807 <= 1 e711: b310 + b809 <= 1 e712: b314 + b810 <= 1 e713: b315 + b776 <= 1 e714: b319 + b777 <= 1 e715: b316 + b779 <= 1 e716: b320 + b780 <= 1 e717: b317 + b782 <= 1 e718: b321 + b783 <= 1 e719: b318 + b785 <= 1 e720: b322 + b786 <= 1 e721: b323 + b788 <= 1 e722: b327 + b789 <= 1 e723: b323 + b791 <= 1 e724: b327 + b792 <= 1 e725: b324 + b794 <= 1 e726: b328 + b795 <= 1 e727: b324 + b797 <= 1 e728: b328 + b798 <= 1 e729: b325 + b800 <= 1 e730: b329 + b801 <= 1 e731: b325 + b803 <= 1 e732: b329 + b804 <= 1 e733: b326 + b806 <= 1 e734: b330 + b807 <= 1 e735: b326 + b809 <= 1 e736: b330 + b810 <= 1 e737: b787 + b790 <= 2 e738: b788 + b791 <= 2 e739: b789 + b792 <= 2 e740: b793 + b796 <= 2 e741: b794 + b797 <= 2 e742: b795 + b798 <= 2 e743: b799 + b802 <= 2 e744: b800 + b803 <= 2 e745: b801 + b804 <= 2 e746: b805 + b808 <= 2 e747: b806 + b809 <= 2 e748: b807 + b810 <= 2 e749: b787 + b793 + b799 + b805 <= 2 e750: b788 + b794 + b800 + b806 <= 2 e751: b789 + b795 + b801 + b807 <= 2 e752: b790 + b796 + b802 + b808 <= 2 e753: b791 + b797 + b803 + b809 <= 2 e754: b792 + b798 + b804 + b810 <= 2 e755: b775 + b778 + b781 + b784 <= 2 e756: b776 + b779 + b782 + b785 <= 2 e757: b777 + b780 + b783 + b786 <= 2 e758: - x763 - 2.5 x811 + 2.5 x812 <= 0 e759: - x813 - 2.5 x814 + 2.5 x815 <= 0 e760: - x816 - 2.5 x817 + 2.5 x818 <= 0 e761: - x764 - 2.5 x819 + 2.5 x820 <= 0 e762: - x821 - 2.5 x822 + 2.5 x823 <= 0 e763: - x824 - 2.5 x825 + 2.5 x826 <= 0 e764: - x765 - 2.5 x827 + 2.5 x828 <= 0 e765: - x829 - 2.5 x830 + 2.5 x831 <= 0 e766: - x832 - 2.5 x833 + 2.5 x834 <= 0 e767: - x766 - 2.5 x835 + 2.5 x836 <= 0 e768: - x837 - 2.5 x838 + 2.5 x839 <= 0 e769: - x840 - 2.5 x841 + 2.5 x842 <= 0 e770: - x767 - 2.5 x843 + 2.5 x844 <= 0 e771: - x845 - 2.5 x846 + 2.5 x847 <= 0 e772: - x848 - 2.5 x849 + 2.5 x850 <= 0 e773: - x768 - 2.5 x851 + 2.5 x852 <= 0 e774: - x853 - 2.5 x854 + 2.5 x855 <= 0 e775: - x856 - 2.5 x857 + 2.5 x858 <= 0 e776: - x769 - 2.5 x859 + 2.5 x860 <= 0 e777: - x861 - 2.5 x862 + 2.5 x863 <= 0 e778: - x864 - 2.5 x865 + 2.5 x866 <= 0 e779: - x770 - 2.5 x867 + 2.5 x868 <= 0 e780: - x869 - 2.5 x870 + 2.5 x871 <= 0 e781: - x872 - 2.5 x873 + 2.5 x874 <= 0 e782: - x771 - 2.5 x875 + 2.5 x876 <= 0 e783: - x877 - 2.5 x878 + 2.5 x879 <= 0 e784: - x880 - 2.5 x881 + 2.5 x882 <= 0 e785: - x772 - 2.5 x883 + 2.5 x884 <= 0 e786: - x885 - 2.5 x886 + 2.5 x887 <= 0 e787: - x888 - 2.5 x889 + 2.5 x890 <= 0 e788: - x773 - 2.5 x891 + 2.5 x892 <= 0 e789: - x893 - 2.5 x894 + 2.5 x895 <= 0 e790: - x896 - 2.5 x897 + 2.5 x898 <= 0 e791: - x774 - 2.5 x899 + 2.5 x900 <= 0 e792: - x901 - 2.5 x902 + 2.5 x903 <= 0 e793: - x904 - 2.5 x905 + 2.5 x906 <= 0 e794: x763 + 5.625 x811 - 5.625 x812 <= 0 e795: x813 + 5.625 x814 - 5.625 x815 <= 0 e796: x816 + 5.625 x817 - 5.625 x818 <= 0 e797: x764 + 5.625 x819 - 5.625 x820 <= 0 e798: x821 + 5.625 x822 - 5.625 x823 <= 0 e799: x824 + 5.625 x825 - 5.625 x826 <= 0 e800: x765 + 5.625 x827 - 5.625 x828 <= 0 e801: x829 + 5.625 x830 - 5.625 x831 <= 0 e802: x832 + 5.625 x833 - 5.625 x834 <= 0 e803: x766 + 5.625 x835 - 5.625 x836 <= 0 e804: x837 + 5.625 x838 - 5.625 x839 <= 0 e805: x840 + 5.625 x841 - 5.625 x842 <= 0 e806: x767 + 5.625 x843 - 5.625 x844 <= 0 e807: x845 + 5.625 x846 - 5.625 x847 <= 0 e808: x848 + 5.625 x849 - 5.625 x850 <= 0 e809: x768 + 5.625 x851 - 5.625 x852 <= 0 e810: x853 + 5.625 x854 - 5.625 x855 <= 0 e811: x856 + 5.625 x857 - 5.625 x858 <= 0 e812: x769 + 5.625 x859 - 5.625 x860 <= 0 e813: x861 + 5.625 x862 - 5.625 x863 <= 0 e814: x864 + 5.625 x865 - 5.625 x866 <= 0 e815: x770 + 5.625 x867 - 5.625 x868 <= 0 e816: x869 + 5.625 x870 - 5.625 x871 <= 0 e817: x872 + 5.625 x873 - 5.625 x874 <= 0 e818: x771 + 5.625 x875 - 5.625 x876 <= 0 e819: x877 + 5.625 x878 - 5.625 x879 <= 0 e820: x880 + 5.625 x881 - 5.625 x882 <= 0 e821: x772 + 5.625 x883 - 5.625 x884 <= 0 e822: x885 + 5.625 x886 - 5.625 x887 <= 0 e823: x888 + 5.625 x889 - 5.625 x890 <= 0 e824: x773 + 5.625 x891 - 5.625 x892 <= 0 e825: x893 + 5.625 x894 - 5.625 x895 <= 0 e826: x896 + 5.625 x897 - 5.625 x898 <= 0 e827: x774 + 5.625 x899 - 5.625 x900 <= 0 e828: x901 + 5.625 x902 - 5.625 x903 <= 0 e829: x904 + 5.625 x905 - 5.625 x906 <= 0 e830: x763 - 290 b775 <= 0 e831: - 510 b776 + x813 <= 0 e832: - 510 b777 + x816 <= 0 e833: x764 - 340 b787 <= 0 e834: - 510 b788 + x821 <= 0 e835: - 510 b789 + x824 <= 0 e836: x765 - 340 b790 <= 0 e837: - 510 b791 + x829 <= 0 e838: - 510 b792 + x832 <= 0 e839: x766 - 290 b793 <= 0 e840: - 510 b794 + x837 <= 0 e841: - 510 b795 + x840 <= 0 e842: x767 - 290 b796 <= 0 e843: - 510 b797 + x845 <= 0 e844: - 510 b798 + x848 <= 0 e845: x768 - 840 b799 <= 0 e846: - 870 b800 + x853 <= 0 e847: - 870 b801 + x856 <= 0 e848: x769 - 840 b802 <= 0 e849: - 870 b803 + x861 <= 0 e850: - 870 b804 + x864 <= 0 e851: x770 - 190 b805 <= 0 e852: - 870 b806 + x869 <= 0 e853: - 870 b807 + x872 <= 0 e854: x771 - 190 b808 <= 0 e855: - 870 b809 + x877 <= 0 e856: - 870 b810 + x880 <= 0 e857: x772 - 20 b778 <= 0 e858: - 830 b779 + x885 <= 0 e859: - 920 b780 + x888 <= 0 e860: x773 - 20 b781 <= 0 e861: - 510 b782 + x893 <= 0 e862: - 510 b783 + x896 <= 0 e863: x774 - 390 b784 <= 0 e864: - 510 b785 + x901 <= 0 e865: - 510 b786 + x904 <= 0 e866: - x2 - x5 - x8 - x11 + x763 = 0 e867: - x3 - x6 - x9 - x12 + x813 = 0 e868: - x4 - x7 - x10 - x13 + x816 = 0 e869: - x14 - x17 - x20 - x23 + x764 = 0 e870: - x15 - x18 - x21 - x24 + x821 = 0 e871: - x16 - x19 - x22 - x25 + x824 = 0 e872: - x26 - x29 - x32 - x35 + x765 = 0 e873: - x27 - x30 - x33 - x36 + x829 = 0 e874: - x28 - x31 - x34 - x37 + x832 = 0 e875: - x38 - x41 - x44 - x47 + x766 = 0 e876: - x39 - x42 - x45 - x48 + x837 = 0 e877: - x40 - x43 - x46 - x49 + x840 = 0 e878: - x50 - x53 - x56 - x59 + x767 = 0 e879: - x51 - x54 - x57 - x60 + x845 = 0 e880: - x52 - x55 - x58 - x61 + x848 = 0 e881: - x62 - x65 - x68 - x71 + x768 = 0 e882: - x63 - x66 - x69 - x72 + x853 = 0 e883: - x64 - x67 - x70 - x73 + x856 = 0 e884: - x74 - x77 - x80 - x83 + x769 = 0 e885: - x75 - x78 - x81 - x84 + x861 = 0 e886: - x76 - x79 - x82 - x85 + x864 = 0 e887: - x86 - x89 - x92 - x95 + x770 = 0 e888: - x87 - x90 - x93 - x96 + x869 = 0 e889: - x88 - x91 - x94 - x97 + x872 = 0 e890: - x98 - x101 - x104 - x107 + x771 = 0 e891: - x99 - x102 - x105 - x108 + x877 = 0 e892: - x100 - x103 - x106 - x109 + x880 = 0 e893: - x110 - x113 - x116 - x119 + x772 = 0 e894: - x111 - x114 - x117 - x120 + x885 = 0 e895: - x112 - x115 - x118 - x121 + x888 = 0 e896: - x122 - x125 - x128 - x131 + x773 = 0 e897: - x123 - x126 - x129 - x132 + x893 = 0 e898: - x124 - x127 - x130 - x133 + x896 = 0 e899: - x134 - x137 - x140 - x143 + x774 = 0 e900: - x135 - x138 - x141 - x144 + x901 = 0 e901: - x136 - x139 - x142 - x145 + x904 = 0 e902: - x764 - x766 - x768 - x770 + x907 = 0 e903: - x821 - x837 - x853 - x869 + x908 = 0 e904: - x824 - x840 - x856 - x872 + x909 = 0 e905: - x765 - x767 - x769 - x771 + x910 = 0 e906: - x829 - x845 - x861 - x877 + x911 = 0 e907: - x832 - x848 - x864 - x880 + x912 = 0 e908: - x763 - x772 - x773 - x774 + x913 = 0 e909: - x813 - x885 - x893 - x901 + x914 = 0 e910: - x816 - x888 - x896 - x904 + x915 = 0 e911: - x907 - 2.5 x916 + 2.5 x917 <= 0 e912: - x908 - 2.5 x918 + 2.5 x919 <= 0 e913: - x909 - 2.5 x920 + 2.5 x921 <= 0 e914: - x910 - 2.5 x922 + 2.5 x923 <= 0 e915: - x911 - 2.5 x924 + 2.5 x925 <= 0 e916: - x912 - 2.5 x926 + 2.5 x927 <= 0 e917: - x913 - 2.5 x928 + 2.5 x929 <= 0 e918: - x914 - 2.5 x930 + 2.5 x931 <= 0 e919: - x915 - 2.5 x932 + 2.5 x933 <= 0 e920: x907 + 5.625 x916 - 5.625 x917 <= 0 e921: x908 + 5.625 x918 - 5.625 x919 <= 0 e922: x909 + 5.625 x920 - 5.625 x921 <= 0 e923: x910 + 5.625 x922 - 5.625 x923 <= 0 e924: x911 + 5.625 x924 - 5.625 x925 <= 0 e925: x912 + 5.625 x926 - 5.625 x927 <= 0 e926: x913 + 5.625 x928 - 5.625 x929 <= 0 e927: x914 + 5.625 x930 - 5.625 x931 <= 0 e928: x915 + 5.625 x932 - 5.625 x933 <= 0 e929: - x2 - x110 - x122 - x134 + 0.15 x913 <= 0 e930: - x3 - x111 - x123 - x135 + 0.15 x914 <= 0 e931: - x4 - x112 - x124 - x136 + 0.15 x915 <= 0 e932: x2 + x110 + x122 + x134 - 0.85 x913 <= 0 e933: x3 + x111 + x123 + x135 - 0.85 x914 <= 0 e934: x4 + x112 + x124 + x136 - 0.85 x915 <= 0 e935: - 0.012 x14 - 0.013 x17 - 0.009 x20 - 0.015 x23 - 0.012 x38 - 0.013 x41 - 0.009 x44 - 0.015 x47 - 0.012 x62 - 0.013 x65 - 0.009 x68 - 0.015 x71 - 0.012 x86 - 0.013 x89 - 0.009 x92 - 0.015 x95 + 0.001 x764 + 0.001 x766 + 0.001 x768 + 0.001 x770 <= 0 e936: - 0.012 x15 - 0.013 x18 - 0.009 x21 - 0.015 x24 - 0.012 x39 - 0.013 x42 - 0.009 x45 - 0.015 x48 - 0.012 x63 - 0.013 x66 - 0.009 x69 - 0.015 x72 - 0.012 x87 - 0.013 x90 - 0.009 x93 - 0.015 x96 + 0.001 x821 + 0.001 x837 + 0.001 x853 + 0.001 x869 <= 0 e937: - 0.012 x16 - 0.013 x19 - 0.009 x22 - 0.015 x25 - 0.012 x40 - 0.013 x43 - 0.009 x46 - 0.015 x49 - 0.012 x64 - 0.013 x67 - 0.009 x70 - 0.015 x73 - 0.012 x88 - 0.013 x91 - 0.009 x94 - 0.015 x97 + 0.001 x824 + 0.001 x840 + 0.001 x856 + 0.001 x872 <= 0 e938: - 0.012 x26 - 0.013 x29 - 0.009 x32 - 0.015 x35 - 0.012 x50 - 0.013 x53 - 0.009 x56 - 0.015 x59 - 0.012 x74 - 0.013 x77 - 0.009 x80 - 0.015 x83 - 0.012 x98 - 0.013 x101 - 0.009 x104 - 0.015 x107 + 0.001 x765 + 0.001 x767 + 0.001 x769 + 0.001 x771 <= 0 e939: - 0.012 x27 - 0.013 x30 - 0.009 x33 - 0.015 x36 - 0.012 x51 - 0.013 x54 - 0.009 x57 - 0.015 x60 - 0.012 x75 - 0.013 x78 - 0.009 x81 - 0.015 x84 - 0.012 x99 - 0.013 x102 - 0.009 x105 - 0.015 x108 + 0.001 x829 + 0.001 x845 + 0.001 x861 + 0.001 x877 <= 0 e940: - 0.012 x28 - 0.013 x31 - 0.009 x34 - 0.015 x37 - 0.012 x52 - 0.013 x55 - 0.009 x58 - 0.015 x61 - 0.012 x76 - 0.013 x79 - 0.009 x82 - 0.015 x85 - 0.012 x100 - 0.013 x103 - 0.009 x106 - 0.015 x109 + 0.001 x832 + 0.001 x848 + 0.001 x864 + 0.001 x880 <= 0 e941: - 0.002 x2 - 0.0025 x5 - 0.0015 x8 - 0.006 x11 - 0.002 x110 - 0.0025 x113 - 0.0015 x116 - 0.006 x119 - 0.002 x122 - 0.0025 x125 - 0.0015 x128 - 0.006 x131 - 0.002 x134 - 0.0025 x137 - 0.0015 x140 - 0.006 x143 + 0.001 x763 + 0.001 x772 + 0.001 x773 + 0.001 x774 <= 0 e942: - 0.002 x3 - 0.0025 x6 - 0.0015 x9 - 0.006 x12 - 0.002 x111 - 0.0025 x114 - 0.0015 x117 - 0.006 x120 - 0.002 x123 - 0.0025 x126 - 0.0015 x129 - 0.006 x132 - 0.002 x135 - 0.0025 x138 - 0.0015 x141 - 0.006 x144 + 0.001 x813 + 0.001 x885 + 0.001 x893 + 0.001 x901 <= 0 e943: - 0.002 x4 - 0.0025 x7 - 0.0015 x10 - 0.006 x13 - 0.002 x112 - 0.0025 x115 - 0.0015 x118 - 0.006 x121 - 0.002 x124 - 0.0025 x127 - 0.0015 x130 - 0.006 x133 - 0.002 x136 - 0.0025 x139 - 0.0015 x142 - 0.006 x145 + 0.001 x816 + 0.001 x888 + 0.001 x896 + 0.001 x904 <= 0 e944: 0.012 x14 + 0.013 x17 + 0.009 x20 + 0.015 x23 + 0.012 x38 + 0.013 x41 + 0.009 x44 + 0.015 x47 + 0.012 x62 + 0.013 x65 + 0.009 x68 + 0.015 x71 + 0.012 x86 + 0.013 x89 + 0.009 x92 + 0.015 x95 - 0.013 x764 - 0.013 x766 - 0.013 x768 - 0.013 x770 <= 0 e945: 0.012 x15 + 0.013 x18 + 0.009 x21 + 0.015 x24 + 0.012 x39 + 0.013 x42 + 0.009 x45 + 0.015 x48 + 0.012 x63 + 0.013 x66 + 0.009 x69 + 0.015 x72 + 0.012 x87 + 0.013 x90 + 0.009 x93 + 0.015 x96 - 0.013 x821 - 0.013 x837 - 0.013 x853 - 0.013 x869 <= 0 e946: 0.012 x16 + 0.013 x19 + 0.009 x22 + 0.015 x25 + 0.012 x40 + 0.013 x43 + 0.009 x46 + 0.015 x49 + 0.012 x64 + 0.013 x67 + 0.009 x70 + 0.015 x73 + 0.012 x88 + 0.013 x91 + 0.009 x94 + 0.015 x97 - 0.013 x824 - 0.013 x840 - 0.013 x856 - 0.013 x872 <= 0 e947: 0.012 x26 + 0.013 x29 + 0.009 x32 + 0.015 x35 + 0.012 x50 + 0.013 x53 + 0.009 x56 + 0.015 x59 + 0.012 x74 + 0.013 x77 + 0.009 x80 + 0.015 x83 + 0.012 x98 + 0.013 x101 + 0.009 x104 + 0.015 x107 - 0.0125 x765 - 0.0125 x767 - 0.0125 x769 - 0.0125 x771 <= 0 e948: 0.012 x27 + 0.013 x30 + 0.009 x33 + 0.015 x36 + 0.012 x51 + 0.013 x54 + 0.009 x57 + 0.015 x60 + 0.012 x75 + 0.013 x78 + 0.009 x81 + 0.015 x84 + 0.012 x99 + 0.013 x102 + 0.009 x105 + 0.015 x108 - 0.0125 x829 - 0.0125 x845 - 0.0125 x861 - 0.0125 x877 <= 0 e949: 0.012 x28 + 0.013 x31 + 0.009 x34 + 0.015 x37 + 0.012 x52 + 0.013 x55 + 0.009 x58 + 0.015 x61 + 0.012 x76 + 0.013 x79 + 0.009 x82 + 0.015 x85 + 0.012 x100 + 0.013 x103 + 0.009 x106 + 0.015 x109 - 0.0125 x832 - 0.0125 x848 - 0.0125 x864 - 0.0125 x880 <= 0 e950: 0.002 x2 + 0.0025 x5 + 0.0015 x8 + 0.006 x11 + 0.002 x110 + 0.0025 x113 + 0.0015 x116 + 0.006 x119 + 0.002 x122 + 0.0025 x125 + 0.0015 x128 + 0.006 x131 + 0.002 x134 + 0.0025 x137 + 0.0015 x140 + 0.006 x143 - 0.0035 x763 - 0.0035 x772 - 0.0035 x773 - 0.0035 x774 <= 0 e951: 0.002 x3 + 0.0025 x6 + 0.0015 x9 + 0.006 x12 + 0.002 x111 + 0.0025 x114 + 0.0015 x117 + 0.006 x120 + 0.002 x123 + 0.0025 x126 + 0.0015 x129 + 0.006 x132 + 0.002 x135 + 0.0025 x138 + 0.0015 x141 + 0.006 x144 - 0.0035 x813 - 0.0035 x885 - 0.0035 x893 - 0.0035 x901 <= 0 e952: 0.002 x4 + 0.0025 x7 + 0.0015 x10 + 0.006 x13 + 0.002 x112 + 0.0025 x115 + 0.0015 x118 + 0.006 x121 + 0.002 x124 + 0.0025 x127 + 0.0015 x130 + 0.006 x133 + 0.002 x136 + 0.0025 x139 + 0.0015 x142 + 0.006 x145 - 0.0035 x816 - 0.0035 x888 - 0.0035 x896 - 0.0035 x904 <= 0 e953: x907 + x908 + x909 = 750 e954: x910 + x911 + x912 = 750 e955: x913 + x914 + x915 = 750 e956: - x357 + x359 >= 0 e957: - x360 + x362 >= 0 e958: - x366 + x368 >= 0 e959: - x369 + x371 >= 0 e960: - x375 + x377 >= 0 e961: - x378 + x380 >= 0 e962: - x384 + x386 >= 0 e963: - x387 + x389 >= 0 e964: - x393 + x395 >= 0 e965: - x396 + x398 >= 0 e966: - x402 + x404 >= 0 e967: - x405 + x407 >= 0 e968: - x411 + x413 >= 0 e969: - x414 + x416 >= 0 e970: - x420 + x422 >= 0 e971: - x423 + x425 >= 0 e972: - x429 + x431 >= 0 e973: - x432 + x434 >= 0 e974: - x438 + x440 >= 0 e975: - x441 + x443 >= 0 e976: - x447 + x449 >= 0 e977: - x450 + x452 >= 0 e978: - x456 + x458 >= 0 e979: - x459 + x461 >= 0 e980: - x465 + x467 >= 0 e981: - x468 + x470 >= 0 e982: - x474 + x476 >= 0 e983: - x477 + x479 >= 0 e984: - x483 + x485 >= 0 e985: - x486 + x488 >= 0 e986: - x492 + x494 >= 0 e987: - x495 + x497 >= 0 e988: - x500 + x502 >= 0 e989: - x503 + x505 >= 0 e990: - x508 + x510 >= 0 e991: - x511 + x513 >= 0 e992: - x516 + x518 >= 0 e993: - x519 + x521 >= 0 e994: - x524 + x526 >= 0 e995: - x527 + x529 >= 0 e996: - x532 + x534 >= 0 e997: - x535 + x537 >= 0 e998: - x540 + x542 >= 0 e999: - x543 + x545 >= 0 e1000: - x548 + x550 >= 0 e1001: - x551 + x553 >= 0 e1002: - x556 + x558 >= 0 e1003: - x559 + x561 >= 0 e1004: - x564 + x566 >= 0 e1005: - x567 + x569 >= 0 e1006: - x572 + x574 >= 0 e1007: - x575 + x577 >= 0 e1008: - x580 + x582 >= 0 e1009: - x583 + x585 >= 0 e1010: - x588 + x590 >= 0 e1011: - x591 + x593 >= 0 e1012: - x596 + x598 >= 0 e1013: - x599 + x601 >= 0 e1014: - x604 + x606 >= 0 e1015: - x607 + x609 >= 0 e1016: - x612 + x614 >= 0 e1017: - x615 + x617 >= 0 e1018: - x620 + x622 >= 0 e1019: - x623 + x625 >= 0 e1020: - 160 b251 - x357 + x368 >= -160 e1021: - 160 b255 - x360 + x371 >= -160 e1022: - 160 b251 - x357 + x377 >= -160 e1023: - 160 b255 - x360 + x380 >= -160 e1024: - 160 b251 - x357 + x386 >= -160 e1025: - 160 b255 - x360 + x389 >= -160 e1026: - 160 b252 + x359 - x366 >= -160 e1027: - 160 b256 + x362 - x369 >= -160 e1028: - 160 b252 - x366 + x377 >= -160 e1029: - 160 b256 - x369 + x380 >= -160 e1030: - 160 b252 - x366 + x386 >= -160 e1031: - 160 b256 - x369 + x389 >= -160 e1032: - 160 b253 + x359 - x375 >= -160 e1033: - 160 b257 + x362 - x378 >= -160 e1034: - 160 b253 + x368 - x375 >= -160 e1035: - 160 b257 + x371 - x378 >= -160 e1036: - 160 b253 - x375 + x386 >= -160 e1037: - 160 b257 - x378 + x389 >= -160 e1038: - 160 b254 + x359 - x384 >= -160 e1039: - 160 b258 + x362 - x387 >= -160 e1040: - 160 b254 + x368 - x384 >= -160 e1041: - 160 b258 + x371 - x387 >= -160 e1042: - 160 b254 + x377 - x384 >= -160 e1043: - 160 b258 + x380 - x387 >= -160 e1044: - 160 b263 - x393 + x404 >= -160 e1045: - 160 b267 - x396 + x407 >= -160 e1046: - 160 b263 - x393 + x413 >= -160 e1047: - 160 b267 - x396 + x416 >= -160 e1048: - 160 b263 - x393 + x422 >= -160 e1049: - 160 b267 - x396 + x425 >= -160 e1050: - 160 b264 + x395 - x402 >= -160 e1051: - 160 b268 + x398 - x405 >= -160 e1052: - 160 b264 - x402 + x413 >= -160 e1053: - 160 b268 - x405 + x416 >= -160 e1054: - 160 b264 - x402 + x422 >= -160 e1055: - 160 b268 - x405 + x425 >= -160 e1056: - 160 b265 + x395 - x411 >= -160 e1057: - 160 b269 + x398 - x414 >= -160 e1058: - 160 b265 + x404 - x411 >= -160 e1059: - 160 b269 + x407 - x414 >= -160 e1060: - 160 b265 - x411 + x422 >= -160 e1061: - 160 b269 - x414 + x425 >= -160 e1062: - 160 b266 + x395 - x420 >= -160 e1063: - 160 b270 + x398 - x423 >= -160 e1064: - 160 b266 + x404 - x420 >= -160 e1065: - 160 b270 + x407 - x423 >= -160 e1066: - 160 b266 + x413 - x420 >= -160 e1067: - 160 b270 + x416 - x423 >= -160 e1068: - 160 b275 - x429 + x440 >= -160 e1069: - 160 b279 - x432 + x443 >= -160 e1070: - 160 b275 - x429 + x449 >= -160 e1071: - 160 b279 - x432 + x452 >= -160 e1072: - 160 b275 - x429 + x458 >= -160 e1073: - 160 b279 - x432 + x461 >= -160 e1074: - 160 b276 + x431 - x438 >= -160 e1075: - 160 b280 + x434 - x441 >= -160 e1076: - 160 b276 - x438 + x449 >= -160 e1077: - 160 b280 - x441 + x452 >= -160 e1078: - 160 b276 - x438 + x458 >= -160 e1079: - 160 b280 - x441 + x461 >= -160 e1080: - 160 b277 + x431 - x447 >= -160 e1081: - 160 b281 + x434 - x450 >= -160 e1082: - 160 b277 + x440 - x447 >= -160 e1083: - 160 b281 + x443 - x450 >= -160 e1084: - 160 b277 - x447 + x458 >= -160 e1085: - 160 b281 - x450 + x461 >= -160 e1086: - 160 b278 + x431 - x456 >= -160 e1087: - 160 b282 + x434 - x459 >= -160 e1088: - 160 b278 + x440 - x456 >= -160 e1089: - 160 b282 + x443 - x459 >= -160 e1090: - 160 b278 + x449 - x456 >= -160 e1091: - 160 b282 + x452 - x459 >= -160 e1092: - 160 b287 - x465 + x476 >= -160 e1093: - 160 b291 - x468 + x479 >= -160 e1094: - 160 b287 - x465 + x485 >= -160 e1095: - 160 b291 - x468 + x488 >= -160 e1096: - 160 b287 - x465 + x494 >= -160 e1097: - 160 b291 - x468 + x497 >= -160 e1098: - 160 b288 + x467 - x474 >= -160 e1099: - 160 b292 + x470 - x477 >= -160 e1100: - 160 b288 - x474 + x485 >= -160 e1101: - 160 b292 - x477 + x488 >= -160 e1102: - 160 b288 - x474 + x494 >= -160 e1103: - 160 b292 - x477 + x497 >= -160 e1104: - 160 b289 + x467 - x483 >= -160 e1105: - 160 b293 + x470 - x486 >= -160 e1106: - 160 b289 + x476 - x483 >= -160 e1107: - 160 b293 + x479 - x486 >= -160 e1108: - 160 b289 - x483 + x494 >= -160 e1109: - 160 b293 - x486 + x497 >= -160 e1110: - 160 b290 + x467 - x492 >= -160 e1111: - 160 b294 + x470 - x495 >= -160 e1112: - 160 b290 + x476 - x492 >= -160 e1113: - 160 b294 + x479 - x495 >= -160 e1114: - 160 b290 + x485 - x492 >= -160 e1115: - 160 b294 + x488 - x495 >= -160 e1116: - x500 + x510 >= -160 e1117: - 160 b299 - x503 + x513 >= -160 e1118: - x500 + x518 >= -160 e1119: - 160 b299 - x503 + x521 >= -160 e1120: - x500 + x526 >= -160 e1121: - 160 b299 - x503 + x529 >= -160 e1122: x502 - x508 >= -160 e1123: - 160 b300 + x505 - x511 >= -160 e1124: - x508 + x518 >= -160 e1125: - 160 b300 - x511 + x521 >= -160 e1126: - x508 + x526 >= -160 e1127: - 160 b300 - x511 + x529 >= -160 e1128: x502 - x516 >= -160 e1129: - 160 b301 + x505 - x519 >= -160 e1130: x510 - x516 >= -160 e1131: - 160 b301 + x513 - x519 >= -160 e1132: - x516 + x526 >= -160 e1133: - 160 b301 - x519 + x529 >= -160 e1134: x502 - x524 >= -160 e1135: - 160 b302 + x505 - x527 >= -160 e1136: x510 - x524 >= -160 e1137: - 160 b302 + x513 - x527 >= -160 e1138: x518 - x524 >= -160 e1139: - 160 b302 + x521 - x527 >= -160 e1140: - x532 + x542 >= -160 e1141: - 160 b307 - x535 + x545 >= -160 e1142: - x532 + x550 >= -160 e1143: - 160 b307 - x535 + x553 >= -160 e1144: - x532 + x558 >= -160 e1145: - 160 b307 - x535 + x561 >= -160 e1146: x534 - x540 >= -160 e1147: - 160 b308 + x537 - x543 >= -160 e1148: - x540 + x550 >= -160 e1149: - 160 b308 - x543 + x553 >= -160 e1150: - x540 + x558 >= -160 e1151: - 160 b308 - x543 + x561 >= -160 e1152: x534 - x548 >= -160 e1153: - 160 b309 + x537 - x551 >= -160 e1154: x542 - x548 >= -160 e1155: - 160 b309 + x545 - x551 >= -160 e1156: - x548 + x558 >= -160 e1157: - 160 b309 - x551 + x561 >= -160 e1158: x534 - x556 >= -160 e1159: - 160 b310 + x537 - x559 >= -160 e1160: x542 - x556 >= -160 e1161: - 160 b310 + x545 - x559 >= -160 e1162: x550 - x556 >= -160 e1163: - 160 b310 + x553 - x559 >= -160 e1164: - x564 + x574 >= -160 e1165: - 160 b315 - x567 + x577 >= -160 e1166: - x564 + x582 >= -160 e1167: - 160 b315 - x567 + x585 >= -160 e1168: - x564 + x590 >= -160 e1169: - 160 b315 - x567 + x593 >= -160 e1170: x566 - x572 >= -160 e1171: - 160 b316 + x569 - x575 >= -160 e1172: - x572 + x582 >= -160 e1173: - 160 b316 - x575 + x585 >= -160 e1174: - x572 + x590 >= -160 e1175: - 160 b316 - x575 + x593 >= -160 e1176: x566 - x580 >= -160 e1177: - 160 b317 + x569 - x583 >= -160 e1178: x574 - x580 >= -160 e1179: - 160 b317 + x577 - x583 >= -160 e1180: - x580 + x590 >= -160 e1181: - 160 b317 - x583 + x593 >= -160 e1182: x566 - x588 >= -160 e1183: - 160 b318 + x569 - x591 >= -160 e1184: x574 - x588 >= -160 e1185: - 160 b318 + x577 - x591 >= -160 e1186: x582 - x588 >= -160 e1187: - 160 b318 + x585 - x591 >= -160 e1188: - x596 + x606 >= -160 e1189: - 160 b323 - x599 + x609 >= -160 e1190: - x596 + x614 >= -160 e1191: - 160 b323 - x599 + x617 >= -160 e1192: - x596 + x622 >= -160 e1193: - 160 b323 - x599 + x625 >= -160 e1194: x598 - x604 >= -160 e1195: - 160 b324 + x601 - x607 >= -160 e1196: - x604 + x614 >= -160 e1197: - 160 b324 - x607 + x617 >= -160 e1198: - x604 + x622 >= -160 e1199: - 160 b324 - x607 + x625 >= -160 e1200: x598 - x612 >= -160 e1201: - 160 b325 + x601 - x615 >= -160 e1202: x606 - x612 >= -160 e1203: - 160 b325 + x609 - x615 >= -160 e1204: - x612 + x622 >= -160 e1205: - 160 b325 - x615 + x625 >= -160 e1206: x598 - x620 >= -160 e1207: - 160 b326 + x601 - x623 >= -160 e1208: x606 - x620 >= -160 e1209: - 160 b326 + x609 - x623 >= -160 e1210: x614 - x620 >= -160 e1211: - 160 b326 + x617 - x623 >= -160 e1212: - 160 b251 - x357 + x395 >= -160 e1213: - 160 b255 - x360 + x398 >= -160 e1214: - 160 b252 - x366 + x404 >= -160 e1215: - 160 b256 - x369 + x407 >= -160 e1216: - 160 b253 - x375 + x413 >= -160 e1217: - 160 b257 - x378 + x416 >= -160 e1218: - 160 b254 - x384 + x422 >= -160 e1219: - 160 b258 - x387 + x425 >= -160 e1220: - 160 b251 - x357 + x431 >= -160 e1221: - 160 b255 - x360 + x434 >= -160 e1222: - 160 b252 - x366 + x440 >= -160 e1223: - 160 b256 - x369 + x443 >= -160 e1224: - 160 b253 - x375 + x449 >= -160 e1225: - 160 b257 - x378 + x452 >= -160 e1226: - 160 b254 - x384 + x458 >= -160 e1227: - 160 b258 - x387 + x461 >= -160 e1228: - 160 b251 - x357 + x566 >= -160 e1229: - 160 b255 - x360 + x569 >= -160 e1230: - 160 b252 - x366 + x574 >= -160 e1231: - 160 b256 - x369 + x577 >= -160 e1232: - 160 b253 - x375 + x582 >= -160 e1233: - 160 b257 - x378 + x585 >= -160 e1234: - 160 b254 - x384 + x590 >= -160 e1235: - 160 b258 - x387 + x593 >= -160 e1236: - 160 b263 + x359 - x393 >= -160 e1237: - 160 b267 + x362 - x396 >= -160 e1238: - 160 b264 + x368 - x402 >= -160 e1239: - 160 b268 + x371 - x405 >= -160 e1240: - 160 b265 + x377 - x411 >= -160 e1241: - 160 b269 + x380 - x414 >= -160 e1242: - 160 b266 + x386 - x420 >= -160 e1243: - 160 b270 + x389 - x423 >= -160 e1244: - 160 b263 - x393 + x431 >= -160 e1245: - 160 b267 - x396 + x434 >= -160 e1246: - 160 b264 - x402 + x440 >= -160 e1247: - 160 b268 - x405 + x443 >= -160 e1248: - 160 b265 - x411 + x449 >= -160 e1249: - 160 b269 - x414 + x452 >= -160 e1250: - 160 b266 - x420 + x458 >= -160 e1251: - 160 b270 - x423 + x461 >= -160 e1252: - 160 b263 - x393 + x566 >= -160 e1253: - 160 b267 - x396 + x569 >= -160 e1254: - 160 b264 - x402 + x574 >= -160 e1255: - 160 b268 - x405 + x577 >= -160 e1256: - 160 b265 - x411 + x582 >= -160 e1257: - 160 b269 - x414 + x585 >= -160 e1258: - 160 b266 - x420 + x590 >= -160 e1259: - 160 b270 - x423 + x593 >= -160 e1260: - 160 b275 + x359 - x429 >= -160 e1261: - 160 b279 + x362 - x432 >= -160 e1262: - 160 b276 + x368 - x438 >= -160 e1263: - 160 b280 + x371 - x441 >= -160 e1264: - 160 b277 + x377 - x447 >= -160 e1265: - 160 b281 + x380 - x450 >= -160 e1266: - 160 b278 + x386 - x456 >= -160 e1267: - 160 b282 + x389 - x459 >= -160 e1268: - 160 b275 + x395 - x429 >= -160 e1269: - 160 b279 + x398 - x432 >= -160 e1270: - 160 b276 + x404 - x438 >= -160 e1271: - 160 b280 + x407 - x441 >= -160 e1272: - 160 b277 + x413 - x447 >= -160 e1273: - 160 b281 + x416 - x450 >= -160 e1274: - 160 b278 + x422 - x456 >= -160 e1275: - 160 b282 + x425 - x459 >= -160 e1276: - 160 b275 - x429 + x566 >= -160 e1277: - 160 b279 - x432 + x569 >= -160 e1278: - 160 b276 - x438 + x574 >= -160 e1279: - 160 b280 - x441 + x577 >= -160 e1280: - 160 b277 - x447 + x582 >= -160 e1281: - 160 b281 - x450 + x585 >= -160 e1282: - 160 b278 - x456 + x590 >= -160 e1283: - 160 b282 - x459 + x593 >= -160 e1284: - 160 b287 - x465 + x502 >= -160 e1285: - 160 b291 - x468 + x505 >= -160 e1286: - 160 b288 - x474 + x510 >= -160 e1287: - 160 b292 - x477 + x513 >= -160 e1288: - 160 b289 - x483 + x518 >= -160 e1289: - 160 b293 - x486 + x521 >= -160 e1290: - 160 b290 - x492 + x526 >= -160 e1291: - 160 b294 - x495 + x529 >= -160 e1292: - 160 b287 - x465 + x534 >= -160 e1293: - 160 b291 - x468 + x537 >= -160 e1294: - 160 b288 - x474 + x542 >= -160 e1295: - 160 b292 - x477 + x545 >= -160 e1296: - 160 b289 - x483 + x550 >= -160 e1297: - 160 b293 - x486 + x553 >= -160 e1298: - 160 b290 - x492 + x558 >= -160 e1299: - 160 b294 - x495 + x561 >= -160 e1300: - 160 b287 - x465 + x598 >= -160 e1301: - 160 b291 - x468 + x601 >= -160 e1302: - 160 b288 - x474 + x606 >= -160 e1303: - 160 b292 - x477 + x609 >= -160 e1304: - 160 b289 - x483 + x614 >= -160 e1305: - 160 b293 - x486 + x617 >= -160 e1306: - 160 b290 - x492 + x622 >= -160 e1307: - 160 b294 - x495 + x625 >= -160 e1308: x467 - x500 >= -160 e1309: - 160 b299 + x470 - x503 >= -160 e1310: x476 - x508 >= -160 e1311: - 160 b300 + x479 - x511 >= -160 e1312: x485 - x516 >= -160 e1313: - 160 b301 + x488 - x519 >= -160 e1314: x494 - x524 >= -160 e1315: - 160 b302 + x497 - x527 >= -160 e1316: - x500 + x534 >= -160 e1317: - 160 b299 - x503 + x537 >= -160 e1318: - x508 + x542 >= -160 e1319: - 160 b300 - x511 + x545 >= -160 e1320: - x516 + x550 >= -160 e1321: - 160 b301 - x519 + x553 >= -160 e1322: - x524 + x558 >= -160 e1323: - 160 b302 - x527 + x561 >= -160 e1324: - x500 + x598 >= -160 e1325: - 160 b299 - x503 + x601 >= -160 e1326: - x508 + x606 >= -160 e1327: - 160 b300 - x511 + x609 >= -160 e1328: - x516 + x614 >= -160 e1329: - 160 b301 - x519 + x617 >= -160 e1330: - x524 + x622 >= -160 e1331: - 160 b302 - x527 + x625 >= -160 e1332: x467 - x532 >= -160 e1333: - 160 b307 + x470 - x535 >= -160 e1334: x476 - x540 >= -160 e1335: - 160 b308 + x479 - x543 >= -160 e1336: x485 - x548 >= -160 e1337: - 160 b309 + x488 - x551 >= -160 e1338: x494 - x556 >= -160 e1339: - 160 b310 + x497 - x559 >= -160 e1340: x502 - x532 >= -160 e1341: - 160 b307 + x505 - x535 >= -160 e1342: x510 - x540 >= -160 e1343: - 160 b308 + x513 - x543 >= -160 e1344: x518 - x548 >= -160 e1345: - 160 b309 + x521 - x551 >= -160 e1346: x526 - x556 >= -160 e1347: - 160 b310 + x529 - x559 >= -160 e1348: - x532 + x598 >= -160 e1349: - 160 b307 - x535 + x601 >= -160 e1350: - x540 + x606 >= -160 e1351: - 160 b308 - x543 + x609 >= -160 e1352: - x548 + x614 >= -160 e1353: - 160 b309 - x551 + x617 >= -160 e1354: - x556 + x622 >= -160 e1355: - 160 b310 - x559 + x625 >= -160 e1356: x359 - x564 >= -160 e1357: - 160 b315 + x362 - x567 >= -160 e1358: x368 - x572 >= -160 e1359: - 160 b316 + x371 - x575 >= -160 e1360: x377 - x580 >= -160 e1361: - 160 b317 + x380 - x583 >= -160 e1362: x386 - x588 >= -160 e1363: - 160 b318 + x389 - x591 >= -160 e1364: x395 - x564 >= -160 e1365: - 160 b315 + x398 - x567 >= -160 e1366: x404 - x572 >= -160 e1367: - 160 b316 + x407 - x575 >= -160 e1368: x413 - x580 >= -160 e1369: - 160 b317 + x416 - x583 >= -160 e1370: x422 - x588 >= -160 e1371: - 160 b318 + x425 - x591 >= -160 e1372: x431 - x564 >= -160 e1373: - 160 b315 + x434 - x567 >= -160 e1374: x440 - x572 >= -160 e1375: - 160 b316 + x443 - x575 >= -160 e1376: x449 - x580 >= -160 e1377: - 160 b317 + x452 - x583 >= -160 e1378: x458 - x588 >= -160 e1379: - 160 b318 + x461 - x591 >= -160 e1380: x467 - x596 >= -160 e1381: - 160 b323 + x470 - x599 >= -160 e1382: x476 - x604 >= -160 e1383: - 160 b324 + x479 - x607 >= -160 e1384: x485 - x612 >= -160 e1385: - 160 b325 + x488 - x615 >= -160 e1386: x494 - x620 >= -160 e1387: - 160 b326 + x497 - x623 >= -160 e1388: x502 - x596 >= -160 e1389: - 160 b323 + x505 - x599 >= -160 e1390: x510 - x604 >= -160 e1391: - 160 b324 + x513 - x607 >= -160 e1392: x518 - x612 >= -160 e1393: - 160 b325 + x521 - x615 >= -160 e1394: x526 - x620 >= -160 e1395: - 160 b326 + x529 - x623 >= -160 e1396: x534 - x596 >= -160 e1397: - 160 b323 + x537 - x599 >= -160 e1398: x542 - x604 >= -160 e1399: - 160 b324 + x545 - x607 >= -160 e1400: x550 - x612 >= -160 e1401: - 160 b325 + x553 - x615 >= -160 e1402: x558 - x620 >= -160 e1403: - 160 b326 + x561 - x623 >= -160 e1404: 160 b251 + 160 b255 - x357 + x359 <= 320 e1405: 160 b255 + 160 b259 - x360 + x362 <= 320 e1406: 160 b251 + 160 b256 - x357 + x368 <= 320 e1407: 160 b255 + 160 b260 - x360 + x371 <= 320 e1408: 160 b251 + 160 b257 - x357 + x377 <= 320 e1409: 160 b255 + 160 b261 - x360 + x380 <= 320 e1410: 160 b251 + 160 b258 - x357 + x386 <= 320 e1411: 160 b255 + 160 b262 - x360 + x389 <= 320 e1412: 160 b252 + 160 b255 + x359 - x366 <= 320 e1413: 160 b256 + 160 b259 + x362 - x369 <= 320 e1414: 160 b252 + 160 b256 - x366 + x368 <= 320 e1415: 160 b256 + 160 b260 - x369 + x371 <= 320 e1416: 160 b252 + 160 b257 - x366 + x377 <= 320 e1417: 160 b256 + 160 b261 - x369 + x380 <= 320 e1418: 160 b252 + 160 b258 - x366 + x386 <= 320 e1419: 160 b256 + 160 b262 - x369 + x389 <= 320 e1420: 160 b253 + 160 b255 + x359 - x375 <= 320 e1421: 160 b257 + 160 b259 + x362 - x378 <= 320 e1422: 160 b253 + 160 b256 + x368 - x375 <= 320 e1423: 160 b257 + 160 b260 + x371 - x378 <= 320 e1424: 160 b253 + 160 b257 - x375 + x377 <= 320 e1425: 160 b257 + 160 b261 - x378 + x380 <= 320 e1426: 160 b253 + 160 b258 - x375 + x386 <= 320 e1427: 160 b257 + 160 b262 - x378 + x389 <= 320 e1428: 160 b254 + 160 b255 + x359 - x384 <= 320 e1429: 160 b258 + 160 b259 + x362 - x387 <= 320 e1430: 160 b254 + 160 b256 + x368 - x384 <= 320 e1431: 160 b258 + 160 b260 + x371 - x387 <= 320 e1432: 160 b254 + 160 b257 + x377 - x384 <= 320 e1433: 160 b258 + 160 b261 + x380 - x387 <= 320 e1434: 160 b254 + 160 b258 - x384 + x386 <= 320 e1435: 160 b258 + 160 b262 - x387 + x389 <= 320 e1436: 160 b263 + 160 b267 - x393 + x395 <= 320 e1437: 160 b267 + 160 b271 - x396 + x398 <= 320 e1438: 160 b263 + 160 b268 - x393 + x404 <= 320 e1439: 160 b267 + 160 b272 - x396 + x407 <= 320 e1440: 160 b263 + 160 b269 - x393 + x413 <= 320 e1441: 160 b267 + 160 b273 - x396 + x416 <= 320 e1442: 160 b263 + 160 b270 - x393 + x422 <= 320 e1443: 160 b267 + 160 b274 - x396 + x425 <= 320 e1444: 160 b264 + 160 b267 + x395 - x402 <= 320 e1445: 160 b268 + 160 b271 + x398 - x405 <= 320 e1446: 160 b264 + 160 b268 - x402 + x404 <= 320 e1447: 160 b268 + 160 b272 - x405 + x407 <= 320 e1448: 160 b264 + 160 b269 - x402 + x413 <= 320 e1449: 160 b268 + 160 b273 - x405 + x416 <= 320 e1450: 160 b264 + 160 b270 - x402 + x422 <= 320 e1451: 160 b268 + 160 b274 - x405 + x425 <= 320 e1452: 160 b265 + 160 b267 + x395 - x411 <= 320 e1453: 160 b269 + 160 b271 + x398 - x414 <= 320 e1454: 160 b265 + 160 b268 + x404 - x411 <= 320 e1455: 160 b269 + 160 b272 + x407 - x414 <= 320 e1456: 160 b265 + 160 b269 - x411 + x413 <= 320 e1457: 160 b269 + 160 b273 - x414 + x416 <= 320 e1458: 160 b265 + 160 b270 - x411 + x422 <= 320 e1459: 160 b269 + 160 b274 - x414 + x425 <= 320 e1460: 160 b266 + 160 b267 + x395 - x420 <= 320 e1461: 160 b270 + 160 b271 + x398 - x423 <= 320 e1462: 160 b266 + 160 b268 + x404 - x420 <= 320 e1463: 160 b270 + 160 b272 + x407 - x423 <= 320 e1464: 160 b266 + 160 b269 + x413 - x420 <= 320 e1465: 160 b270 + 160 b273 + x416 - x423 <= 320 e1466: 160 b266 + 160 b270 - x420 + x422 <= 320 e1467: 160 b270 + 160 b274 - x423 + x425 <= 320 e1468: 160 b275 + 160 b279 - x429 + x431 <= 320 e1469: 160 b279 + 160 b283 - x432 + x434 <= 320 e1470: 160 b275 + 160 b280 - x429 + x440 <= 320 e1471: 160 b279 + 160 b284 - x432 + x443 <= 320 e1472: 160 b275 + 160 b281 - x429 + x449 <= 320 e1473: 160 b279 + 160 b285 - x432 + x452 <= 320 e1474: 160 b275 + 160 b282 - x429 + x458 <= 320 e1475: 160 b279 + 160 b286 - x432 + x461 <= 320 e1476: 160 b276 + 160 b279 + x431 - x438 <= 320 e1477: 160 b280 + 160 b283 + x434 - x441 <= 320 e1478: 160 b276 + 160 b280 - x438 + x440 <= 320 e1479: 160 b280 + 160 b284 - x441 + x443 <= 320 e1480: 160 b276 + 160 b281 - x438 + x449 <= 320 e1481: 160 b280 + 160 b285 - x441 + x452 <= 320 e1482: 160 b276 + 160 b282 - x438 + x458 <= 320 e1483: 160 b280 + 160 b286 - x441 + x461 <= 320 e1484: 160 b277 + 160 b279 + x431 - x447 <= 320 e1485: 160 b281 + 160 b283 + x434 - x450 <= 320 e1486: 160 b277 + 160 b280 + x440 - x447 <= 320 e1487: 160 b281 + 160 b284 + x443 - x450 <= 320 e1488: 160 b277 + 160 b281 - x447 + x449 <= 320 e1489: 160 b281 + 160 b285 - x450 + x452 <= 320 e1490: 160 b277 + 160 b282 - x447 + x458 <= 320 e1491: 160 b281 + 160 b286 - x450 + x461 <= 320 e1492: 160 b278 + 160 b279 + x431 - x456 <= 320 e1493: 160 b282 + 160 b283 + x434 - x459 <= 320 e1494: 160 b278 + 160 b280 + x440 - x456 <= 320 e1495: 160 b282 + 160 b284 + x443 - x459 <= 320 e1496: 160 b278 + 160 b281 + x449 - x456 <= 320 e1497: 160 b282 + 160 b285 + x452 - x459 <= 320 e1498: 160 b278 + 160 b282 - x456 + x458 <= 320 e1499: 160 b282 + 160 b286 - x459 + x461 <= 320 e1500: 160 b287 + 160 b291 - x465 + x467 <= 320 e1501: 160 b291 + 160 b295 - x468 + x470 <= 320 e1502: 160 b287 + 160 b292 - x465 + x476 <= 320 e1503: 160 b291 + 160 b296 - x468 + x479 <= 320 e1504: 160 b287 + 160 b293 - x465 + x485 <= 320 e1505: 160 b291 + 160 b297 - x468 + x488 <= 320 e1506: 160 b287 + 160 b294 - x465 + x494 <= 320 e1507: 160 b291 + 160 b298 - x468 + x497 <= 320 e1508: 160 b288 + 160 b291 + x467 - x474 <= 320 e1509: 160 b292 + 160 b295 + x470 - x477 <= 320 e1510: 160 b288 + 160 b292 - x474 + x476 <= 320 e1511: 160 b292 + 160 b296 - x477 + x479 <= 320 e1512: 160 b288 + 160 b293 - x474 + x485 <= 320 e1513: 160 b292 + 160 b297 - x477 + x488 <= 320 e1514: 160 b288 + 160 b294 - x474 + x494 <= 320 e1515: 160 b292 + 160 b298 - x477 + x497 <= 320 e1516: 160 b289 + 160 b291 + x467 - x483 <= 320 e1517: 160 b293 + 160 b295 + x470 - x486 <= 320 e1518: 160 b289 + 160 b292 + x476 - x483 <= 320 e1519: 160 b293 + 160 b296 + x479 - x486 <= 320 e1520: 160 b289 + 160 b293 - x483 + x485 <= 320 e1521: 160 b293 + 160 b297 - x486 + x488 <= 320 e1522: 160 b289 + 160 b294 - x483 + x494 <= 320 e1523: 160 b293 + 160 b298 - x486 + x497 <= 320 e1524: 160 b290 + 160 b291 + x467 - x492 <= 320 e1525: 160 b294 + 160 b295 + x470 - x495 <= 320 e1526: 160 b290 + 160 b292 + x476 - x492 <= 320 e1527: 160 b294 + 160 b296 + x479 - x495 <= 320 e1528: 160 b290 + 160 b293 + x485 - x492 <= 320 e1529: 160 b294 + 160 b297 + x488 - x495 <= 320 e1530: 160 b290 + 160 b294 - x492 + x494 <= 320 e1531: 160 b294 + 160 b298 - x495 + x497 <= 320 e1532: 160 b299 - x500 + x502 <= 320 e1533: 160 b299 + 160 b303 - x503 + x505 <= 320 e1534: 160 b300 - x500 + x510 <= 320 e1535: 160 b299 + 160 b304 - x503 + x513 <= 320 e1536: 160 b301 - x500 + x518 <= 320 e1537: 160 b299 + 160 b305 - x503 + x521 <= 320 e1538: 160 b302 - x500 + x526 <= 320 e1539: 160 b299 + 160 b306 - x503 + x529 <= 320 e1540: 160 b299 + x502 - x508 <= 320 e1541: 160 b300 + 160 b303 + x505 - x511 <= 320 e1542: 160 b300 - x508 + x510 <= 320 e1543: 160 b300 + 160 b304 - x511 + x513 <= 320 e1544: 160 b301 - x508 + x518 <= 320 e1545: 160 b300 + 160 b305 - x511 + x521 <= 320 e1546: 160 b302 - x508 + x526 <= 320 e1547: 160 b300 + 160 b306 - x511 + x529 <= 320 e1548: 160 b299 + x502 - x516 <= 320 e1549: 160 b301 + 160 b303 + x505 - x519 <= 320 e1550: 160 b300 + x510 - x516 <= 320 e1551: 160 b301 + 160 b304 + x513 - x519 <= 320 e1552: 160 b301 - x516 + x518 <= 320 e1553: 160 b301 + 160 b305 - x519 + x521 <= 320 e1554: 160 b302 - x516 + x526 <= 320 e1555: 160 b301 + 160 b306 - x519 + x529 <= 320 e1556: 160 b299 + x502 - x524 <= 320 e1557: 160 b302 + 160 b303 + x505 - x527 <= 320 e1558: 160 b300 + x510 - x524 <= 320 e1559: 160 b302 + 160 b304 + x513 - x527 <= 320 e1560: 160 b301 + x518 - x524 <= 320 e1561: 160 b302 + 160 b305 + x521 - x527 <= 320 e1562: 160 b302 - x524 + x526 <= 320 e1563: 160 b302 + 160 b306 - x527 + x529 <= 320 e1564: 160 b307 - x532 + x534 <= 320 e1565: 160 b307 + 160 b311 - x535 + x537 <= 320 e1566: 160 b308 - x532 + x542 <= 320 e1567: 160 b307 + 160 b312 - x535 + x545 <= 320 e1568: 160 b309 - x532 + x550 <= 320 e1569: 160 b307 + 160 b313 - x535 + x553 <= 320 e1570: 160 b310 - x532 + x558 <= 320 e1571: 160 b307 + 160 b314 - x535 + x561 <= 320 e1572: 160 b307 + x534 - x540 <= 320 e1573: 160 b308 + 160 b311 + x537 - x543 <= 320 e1574: 160 b308 - x540 + x542 <= 320 e1575: 160 b308 + 160 b312 - x543 + x545 <= 320 e1576: 160 b309 - x540 + x550 <= 320 e1577: 160 b308 + 160 b313 - x543 + x553 <= 320 e1578: 160 b310 - x540 + x558 <= 320 e1579: 160 b308 + 160 b314 - x543 + x561 <= 320 e1580: 160 b307 + x534 - x548 <= 320 e1581: 160 b309 + 160 b311 + x537 - x551 <= 320 e1582: 160 b308 + x542 - x548 <= 320 e1583: 160 b309 + 160 b312 + x545 - x551 <= 320 e1584: 160 b309 - x548 + x550 <= 320 e1585: 160 b309 + 160 b313 - x551 + x553 <= 320 e1586: 160 b310 - x548 + x558 <= 320 e1587: 160 b309 + 160 b314 - x551 + x561 <= 320 e1588: 160 b307 + x534 - x556 <= 320 e1589: 160 b310 + 160 b311 + x537 - x559 <= 320 e1590: 160 b308 + x542 - x556 <= 320 e1591: 160 b310 + 160 b312 + x545 - x559 <= 320 e1592: 160 b309 + x550 - x556 <= 320 e1593: 160 b310 + 160 b313 + x553 - x559 <= 320 e1594: 160 b310 - x556 + x558 <= 320 e1595: 160 b310 + 160 b314 - x559 + x561 <= 320 e1596: 160 b315 - x564 + x566 <= 320 e1597: 160 b315 + 160 b319 - x567 + x569 <= 320 e1598: 160 b316 - x564 + x574 <= 320 e1599: 160 b315 + 160 b320 - x567 + x577 <= 320 e1600: 160 b317 - x564 + x582 <= 320 e1601: 160 b315 + 160 b321 - x567 + x585 <= 320 e1602: 160 b318 - x564 + x590 <= 320 e1603: 160 b315 + 160 b322 - x567 + x593 <= 320 e1604: 160 b315 + x566 - x572 <= 320 e1605: 160 b316 + 160 b319 + x569 - x575 <= 320 e1606: 160 b316 - x572 + x574 <= 320 e1607: 160 b316 + 160 b320 - x575 + x577 <= 320 e1608: 160 b317 - x572 + x582 <= 320 e1609: 160 b316 + 160 b321 - x575 + x585 <= 320 e1610: 160 b318 - x572 + x590 <= 320 e1611: 160 b316 + 160 b322 - x575 + x593 <= 320 e1612: 160 b315 + x566 - x580 <= 320 e1613: 160 b317 + 160 b319 + x569 - x583 <= 320 e1614: 160 b316 + x574 - x580 <= 320 e1615: 160 b317 + 160 b320 + x577 - x583 <= 320 e1616: 160 b317 - x580 + x582 <= 320 e1617: 160 b317 + 160 b321 - x583 + x585 <= 320 e1618: 160 b318 - x580 + x590 <= 320 e1619: 160 b317 + 160 b322 - x583 + x593 <= 320 e1620: 160 b315 + x566 - x588 <= 320 e1621: 160 b318 + 160 b319 + x569 - x591 <= 320 e1622: 160 b316 + x574 - x588 <= 320 e1623: 160 b318 + 160 b320 + x577 - x591 <= 320 e1624: 160 b317 + x582 - x588 <= 320 e1625: 160 b318 + 160 b321 + x585 - x591 <= 320 e1626: 160 b318 - x588 + x590 <= 320 e1627: 160 b318 + 160 b322 - x591 + x593 <= 320 e1628: 160 b323 - x596 + x598 <= 320 e1629: 160 b323 + 160 b327 - x599 + x601 <= 320 e1630: 160 b324 - x596 + x606 <= 320 e1631: 160 b323 + 160 b328 - x599 + x609 <= 320 e1632: 160 b325 - x596 + x614 <= 320 e1633: 160 b323 + 160 b329 - x599 + x617 <= 320 e1634: 160 b326 - x596 + x622 <= 320 e1635: 160 b323 + 160 b330 - x599 + x625 <= 320 e1636: 160 b323 + x598 - x604 <= 320 e1637: 160 b324 + 160 b327 + x601 - x607 <= 320 e1638: 160 b324 - x604 + x606 <= 320 e1639: 160 b324 + 160 b328 - x607 + x609 <= 320 e1640: 160 b325 - x604 + x614 <= 320 e1641: 160 b324 + 160 b329 - x607 + x617 <= 320 e1642: 160 b326 - x604 + x622 <= 320 e1643: 160 b324 + 160 b330 - x607 + x625 <= 320 e1644: 160 b323 + x598 - x612 <= 320 e1645: 160 b325 + 160 b327 + x601 - x615 <= 320 e1646: 160 b324 + x606 - x612 <= 320 e1647: 160 b325 + 160 b328 + x609 - x615 <= 320 e1648: 160 b325 - x612 + x614 <= 320 e1649: 160 b325 + 160 b329 - x615 + x617 <= 320 e1650: 160 b326 - x612 + x622 <= 320 e1651: 160 b325 + 160 b330 - x615 + x625 <= 320 e1652: 160 b323 + x598 - x620 <= 320 e1653: 160 b326 + 160 b327 + x601 - x623 <= 320 e1654: 160 b324 + x606 - x620 <= 320 e1655: 160 b326 + 160 b328 + x609 - x623 <= 320 e1656: 160 b325 + x614 - x620 <= 320 e1657: 160 b326 + 160 b329 + x617 - x623 <= 320 e1658: 160 b326 - x620 + x622 <= 320 e1659: 160 b326 + 160 b330 - x623 + x625 <= 320 e1660: - x812 + x814 >= 0 e1661: - x815 + x817 >= 0 e1662: - x820 + x822 >= 0 e1663: - x823 + x825 >= 0 e1664: - x828 + x830 >= 0 e1665: - x831 + x833 >= 0 e1666: - x836 + x838 >= 0 e1667: - x839 + x841 >= 0 e1668: - x844 + x846 >= 0 e1669: - x847 + x849 >= 0 e1670: - x852 + x854 >= 0 e1671: - x855 + x857 >= 0 e1672: - x860 + x862 >= 0 e1673: - x863 + x865 >= 0 e1674: - x868 + x870 >= 0 e1675: - x871 + x873 >= 0 e1676: - x876 + x878 >= 0 e1677: - x879 + x881 >= 0 e1678: - x884 + x886 >= 0 e1679: - x887 + x889 >= 0 e1680: - x892 + x894 >= 0 e1681: - x895 + x897 >= 0 e1682: - x900 + x902 >= 0 e1683: - x903 + x905 >= 0 e1684: x359 - 160 b775 - x812 >= -160 e1685: x362 - 160 b776 - x815 >= -160 e1686: x368 - 160 b778 - x884 >= -160 e1687: x371 - 160 b779 - x887 >= -160 e1688: x377 - 160 b781 - x892 >= -160 e1689: x380 - 160 b782 - x895 >= -160 e1690: x386 - 160 b784 - x900 >= -160 e1691: x389 - 160 b785 - x903 >= -160 e1692: x395 - 160 b775 - x812 >= -160 e1693: x398 - 160 b776 - x815 >= -160 e1694: x404 - 160 b778 - x884 >= -160 e1695: x407 - 160 b779 - x887 >= -160 e1696: x413 - 160 b781 - x892 >= -160 e1697: x416 - 160 b782 - x895 >= -160 e1698: x422 - 160 b784 - x900 >= -160 e1699: x425 - 160 b785 - x903 >= -160 e1700: x431 - 160 b775 - x812 >= -160 e1701: x434 - 160 b776 - x815 >= -160 e1702: x440 - 160 b778 - x884 >= -160 e1703: x443 - 160 b779 - x887 >= -160 e1704: x449 - 160 b781 - x892 >= -160 e1705: x452 - 160 b782 - x895 >= -160 e1706: x458 - 160 b784 - x900 >= -160 e1707: x461 - 160 b785 - x903 >= -160 e1708: x467 - 160 b787 - x820 >= -160 e1709: x470 - 160 b788 - x823 >= -160 e1710: x467 - 160 b790 - x828 >= -160 e1711: x470 - 160 b791 - x831 >= -160 e1712: x476 - 160 b793 - x836 >= -160 e1713: x479 - 160 b794 - x839 >= -160 e1714: x476 - 160 b796 - x844 >= -160 e1715: x479 - 160 b797 - x847 >= -160 e1716: x485 - 160 b799 - x852 >= -160 e1717: x488 - 160 b800 - x855 >= -160 e1718: x485 - 160 b802 - x860 >= -160 e1719: x488 - 160 b803 - x863 >= -160 e1720: x494 - 160 b805 - x868 >= -160 e1721: x497 - 160 b806 - x871 >= -160 e1722: x494 - 160 b808 - x876 >= -160 e1723: x497 - 160 b809 - x879 >= -160 e1724: x502 - 160 b787 - x820 >= -160 e1725: x505 - 160 b788 - x823 >= -160 e1726: x502 - 160 b790 - x828 >= -160 e1727: x505 - 160 b791 - x831 >= -160 e1728: x510 - 160 b793 - x836 >= -160 e1729: x513 - 160 b794 - x839 >= -160 e1730: x510 - 160 b796 - x844 >= -160 e1731: x513 - 160 b797 - x847 >= -160 e1732: x518 - 160 b799 - x852 >= -160 e1733: x521 - 160 b800 - x855 >= -160 e1734: x518 - 160 b802 - x860 >= -160 e1735: x521 - 160 b803 - x863 >= -160 e1736: x526 - 160 b805 - x868 >= -160 e1737: x529 - 160 b806 - x871 >= -160 e1738: x526 - 160 b808 - x876 >= -160 e1739: x529 - 160 b809 - x879 >= -160 e1740: x534 - 160 b787 - x820 >= -160 e1741: x537 - 160 b788 - x823 >= -160 e1742: x534 - 160 b790 - x828 >= -160 e1743: x537 - 160 b791 - x831 >= -160 e1744: x542 - 160 b793 - x836 >= -160 e1745: x545 - 160 b794 - x839 >= -160 e1746: x542 - 160 b796 - x844 >= -160 e1747: x545 - 160 b797 - x847 >= -160 e1748: x550 - 160 b799 - x852 >= -160 e1749: x553 - 160 b800 - x855 >= -160 e1750: x550 - 160 b802 - x860 >= -160 e1751: x553 - 160 b803 - x863 >= -160 e1752: x558 - 160 b805 - x868 >= -160 e1753: x561 - 160 b806 - x871 >= -160 e1754: x558 - 160 b808 - x876 >= -160 e1755: x561 - 160 b809 - x879 >= -160 e1756: x566 - 160 b775 - x812 >= -160 e1757: x569 - 160 b776 - x815 >= -160 e1758: x574 - 160 b778 - x884 >= -160 e1759: x577 - 160 b779 - x887 >= -160 e1760: x582 - 160 b781 - x892 >= -160 e1761: x585 - 160 b782 - x895 >= -160 e1762: x590 - 160 b784 - x900 >= -160 e1763: x593 - 160 b785 - x903 >= -160 e1764: x598 - 160 b787 - x820 >= -160 e1765: x601 - 160 b788 - x823 >= -160 e1766: x598 - 160 b790 - x828 >= -160 e1767: x601 - 160 b791 - x831 >= -160 e1768: x606 - 160 b793 - x836 >= -160 e1769: x609 - 160 b794 - x839 >= -160 e1770: x606 - 160 b796 - x844 >= -160 e1771: x609 - 160 b797 - x847 >= -160 e1772: x614 - 160 b799 - x852 >= -160 e1773: x617 - 160 b800 - x855 >= -160 e1774: x614 - 160 b802 - x860 >= -160 e1775: x617 - 160 b803 - x863 >= -160 e1776: x622 - 160 b805 - x868 >= -160 e1777: x625 - 160 b806 - x871 >= -160 e1778: x622 - 160 b808 - x876 >= -160 e1779: x625 - 160 b809 - x879 >= -160 e1780: - 168 b251 - x357 + x814 >= -160 e1781: - 168 b255 - x360 + x817 >= -160 e1782: - 168 b252 - x366 + x886 >= -160 e1783: - 168 b256 - x369 + x889 >= -160 e1784: - 168 b253 - x375 + x894 >= -160 e1785: - 168 b257 - x378 + x897 >= -160 e1786: - 168 b254 - x384 + x902 >= -160 e1787: - 168 b258 - x387 + x905 >= -160 e1788: - 168 b263 - x393 + x814 >= -160 e1789: - 168 b267 - x396 + x817 >= -160 e1790: - 168 b264 - x402 + x886 >= -160 e1791: - 168 b268 - x405 + x889 >= -160 e1792: - 168 b265 - x411 + x894 >= -160 e1793: - 168 b269 - x414 + x897 >= -160 e1794: - 168 b266 - x420 + x902 >= -160 e1795: - 168 b270 - x423 + x905 >= -160 e1796: - 168 b275 - x429 + x814 >= -160 e1797: - 168 b279 - x432 + x817 >= -160 e1798: - 168 b276 - x438 + x886 >= -160 e1799: - 168 b280 - x441 + x889 >= -160 e1800: - 168 b277 - x447 + x894 >= -160 e1801: - 168 b281 - x450 + x897 >= -160 e1802: - 168 b278 - x456 + x902 >= -160 e1803: - 168 b282 - x459 + x905 >= -160 e1804: - 168 b287 - x465 + x822 >= -160 e1805: - 168 b291 - x468 + x825 >= -160 e1806: - 168 b287 - x465 + x830 >= -160 e1807: - 168 b291 - x468 + x833 >= -160 e1808: - 168 b288 - x474 + x838 >= -160 e1809: - 168 b292 - x477 + x841 >= -160 e1810: - 168 b288 - x474 + x846 >= -160 e1811: - 168 b292 - x477 + x849 >= -160 e1812: - 168 b289 - x483 + x854 >= -160 e1813: - 168 b293 - x486 + x857 >= -160 e1814: - 168 b289 - x483 + x862 >= -160 e1815: - 168 b293 - x486 + x865 >= -160 e1816: - 168 b290 - x492 + x870 >= -160 e1817: - 168 b294 - x495 + x873 >= -160 e1818: - 168 b290 - x492 + x878 >= -160 e1819: - 168 b294 - x495 + x881 >= -160 e1820: - x500 + x822 >= -160 e1821: - 168 b299 - x503 + x825 >= -160 e1822: - x500 + x830 >= -160 e1823: - 168 b299 - x503 + x833 >= -160 e1824: - x508 + x838 >= -160 e1825: - 168 b300 - x511 + x841 >= -160 e1826: - x508 + x846 >= -160 e1827: - 168 b300 - x511 + x849 >= -160 e1828: - x516 + x854 >= -160 e1829: - 168 b301 - x519 + x857 >= -160 e1830: - x516 + x862 >= -160 e1831: - 168 b301 - x519 + x865 >= -160 e1832: - x524 + x870 >= -160 e1833: - 168 b302 - x527 + x873 >= -160 e1834: - x524 + x878 >= -160 e1835: - 168 b302 - x527 + x881 >= -160 e1836: - x532 + x822 >= -160 e1837: - 168 b307 - x535 + x825 >= -160 e1838: - x532 + x830 >= -160 e1839: - 168 b307 - x535 + x833 >= -160 e1840: - x540 + x838 >= -160 e1841: - 168 b308 - x543 + x841 >= -160 e1842: - x540 + x846 >= -160 e1843: - 168 b308 - x543 + x849 >= -160 e1844: - x548 + x854 >= -160 e1845: - 168 b309 - x551 + x857 >= -160 e1846: - x548 + x862 >= -160 e1847: - 168 b309 - x551 + x865 >= -160 e1848: - x556 + x870 >= -160 e1849: - 168 b310 - x559 + x873 >= -160 e1850: - x556 + x878 >= -160 e1851: - 168 b310 - x559 + x881 >= -160 e1852: - x564 + x814 >= -160 e1853: - 168 b315 - x567 + x817 >= -160 e1854: - x572 + x886 >= -160 e1855: - 168 b316 - x575 + x889 >= -160 e1856: - x580 + x894 >= -160 e1857: - 168 b317 - x583 + x897 >= -160 e1858: - x588 + x902 >= -160 e1859: - 168 b318 - x591 + x905 >= -160 e1860: - x596 + x822 >= -160 e1861: - 168 b323 - x599 + x825 >= -160 e1862: - x596 + x830 >= -160 e1863: - 168 b323 - x599 + x833 >= -160 e1864: - x604 + x838 >= -160 e1865: - 168 b324 - x607 + x841 >= -160 e1866: - x604 + x846 >= -160 e1867: - 168 b324 - x607 + x849 >= -160 e1868: - x612 + x854 >= -160 e1869: - 168 b325 - x615 + x857 >= -160 e1870: - x612 + x862 >= -160 e1871: - 168 b325 - x615 + x865 >= -160 e1872: - x620 + x870 >= -160 e1873: - 168 b326 - x623 + x873 >= -160 e1874: - x620 + x878 >= -160 e1875: - 168 b326 - x623 + x881 >= -160 e1876: - 160 b790 + x822 - x828 >= -160 e1877: - 160 b791 + x825 - x831 >= -160 e1878: - 160 b787 - x820 + x830 >= -160 e1879: - 160 b788 - x823 + x833 >= -160 e1880: - 160 b796 + x838 - x844 >= -160 e1881: - 160 b797 + x841 - x847 >= -160 e1882: - 160 b793 - x836 + x846 >= -160 e1883: - 160 b794 - x839 + x849 >= -160 e1884: - 160 b802 + x854 - x860 >= -160 e1885: - 160 b803 + x857 - x863 >= -160 e1886: - 160 b799 - x852 + x862 >= -160 e1887: - 160 b800 - x855 + x865 >= -160 e1888: - 160 b808 + x870 - x876 >= -160 e1889: - 160 b809 + x873 - x879 >= -160 e1890: - 160 b805 - x868 + x878 >= -160 e1891: - 160 b806 - x871 + x881 >= -160 e1892: - x917 + x918 >= 0 e1893: - x919 + x920 >= 0 e1894: - x923 + x924 >= 0 e1895: - x925 + x926 >= 0 e1896: - x929 + x930 >= 0 e1897: - x931 + x932 >= 0 e1898: - 160 b775 - x811 + x928 >= -160 e1899: - 160 b776 - x814 + x930 >= -160 e1900: - 160 b777 - x817 + x932 >= -160 e1901: - 160 b787 - x819 + x916 >= -160 e1902: - 160 b788 - x822 + x918 >= -160 e1903: - 160 b789 - x825 + x920 >= -160 e1904: - 160 b790 - x827 + x922 >= -160 e1905: - 160 b791 - x830 + x924 >= -160 e1906: - 160 b792 - x833 + x926 >= -160 e1907: - 160 b793 - x835 + x916 >= -160 e1908: - 160 b794 - x838 + x918 >= -160 e1909: - 160 b795 - x841 + x920 >= -160 e1910: - 160 b796 - x843 + x922 >= -160 e1911: - 160 b797 - x846 + x924 >= -160 e1912: - 160 b798 - x849 + x926 >= -160 e1913: - 160 b799 - x851 + x916 >= -160 e1914: - 160 b800 - x854 + x918 >= -160 e1915: - 160 b801 - x857 + x920 >= -160 e1916: - 160 b802 - x859 + x922 >= -160 e1917: - 160 b803 - x862 + x924 >= -160 e1918: - 160 b804 - x865 + x926 >= -160 e1919: - 160 b805 - x867 + x916 >= -160 e1920: - 160 b806 - x870 + x918 >= -160 e1921: - 160 b807 - x873 + x920 >= -160 e1922: - 160 b808 - x875 + x922 >= -160 e1923: - 160 b809 - x878 + x924 >= -160 e1924: - 160 b810 - x881 + x926 >= -160 e1925: - 160 b778 - x883 + x928 >= -160 e1926: - 160 b779 - x886 + x930 >= -160 e1927: - 160 b780 - x889 + x932 >= -160 e1928: - 160 b781 - x891 + x928 >= -160 e1929: - 160 b782 - x894 + x930 >= -160 e1930: - 160 b783 - x897 + x932 >= -160 e1931: - 160 b784 - x899 + x928 >= -160 e1932: - 160 b785 - x902 + x930 >= -160 e1933: - 160 b786 - x905 + x932 >= -160 e1934: 160 b775 - x811 + x928 <= 160 e1935: 160 b776 - x814 + x930 <= 160 e1936: 160 b777 - x817 + x932 <= 160 e1937: 160 b787 - x819 + x916 <= 160 e1938: 160 b788 - x822 + x918 <= 160 e1939: 160 b789 - x825 + x920 <= 160 e1940: 160 b790 - x827 + x922 <= 160 e1941: 160 b791 - x830 + x924 <= 160 e1942: 160 b792 - x833 + x926 <= 160 e1943: 160 b793 - x835 + x916 <= 160 e1944: 160 b794 - x838 + x918 <= 160 e1945: 160 b795 - x841 + x920 <= 160 e1946: 160 b796 - x843 + x922 <= 160 e1947: 160 b797 - x846 + x924 <= 160 e1948: 160 b798 - x849 + x926 <= 160 e1949: 160 b799 - x851 + x916 <= 160 e1950: 160 b800 - x854 + x918 <= 160 e1951: 160 b801 - x857 + x920 <= 160 e1952: 160 b802 - x859 + x922 <= 160 e1953: 160 b803 - x862 + x924 <= 160 e1954: 160 b804 - x865 + x926 <= 160 e1955: 160 b805 - x867 + x916 <= 160 e1956: 160 b806 - x870 + x918 <= 160 e1957: 160 b807 - x873 + x920 <= 160 e1958: 160 b808 - x875 + x922 <= 160 e1959: 160 b809 - x878 + x924 <= 160 e1960: 160 b810 - x881 + x926 <= 160 e1961: 160 b778 - x883 + x928 <= 160 e1962: 160 b779 - x886 + x930 <= 160 e1963: 160 b780 - x889 + x932 <= 160 e1964: 160 b781 - x891 + x928 <= 160 e1965: 160 b782 - x894 + x930 <= 160 e1966: 160 b783 - x897 + x932 <= 160 e1967: 160 b784 - x899 + x928 <= 160 e1968: 160 b785 - x902 + x930 <= 160 e1969: 160 b786 - x905 + x932 <= 160 e1970: - 160 b775 - x812 + x929 >= -160 e1971: - 160 b776 - x815 + x931 >= -160 e1972: - 160 b777 - x818 + x933 >= -160 e1973: - 160 b787 - x820 + x917 >= -160 e1974: - 160 b788 - x823 + x919 >= -160 e1975: - 160 b789 - x826 + x921 >= -160 e1976: - 160 b790 - x828 + x923 >= -160 e1977: - 160 b791 - x831 + x925 >= -160 e1978: - 160 b792 - x834 + x927 >= -160 e1979: - 160 b793 - x836 + x917 >= -160 e1980: - 160 b794 - x839 + x919 >= -160 e1981: - 160 b795 - x842 + x921 >= -160 e1982: - 160 b796 - x844 + x923 >= -160 e1983: - 160 b797 - x847 + x925 >= -160 e1984: - 160 b798 - x850 + x927 >= -160 e1985: - 160 b799 - x852 + x917 >= -160 e1986: - 160 b800 - x855 + x919 >= -160 e1987: - 160 b801 - x858 + x921 >= -160 e1988: - 160 b802 - x860 + x923 >= -160 e1989: - 160 b803 - x863 + x925 >= -160 e1990: - 160 b804 - x866 + x927 >= -160 e1991: - 160 b805 - x868 + x917 >= -160 e1992: - 160 b806 - x871 + x919 >= -160 e1993: - 160 b807 - x874 + x921 >= -160 e1994: - 160 b808 - x876 + x923 >= -160 e1995: - 160 b809 - x879 + x925 >= -160 e1996: - 160 b810 - x882 + x927 >= -160 e1997: - 160 b778 - x884 + x929 >= -160 e1998: - 160 b779 - x887 + x931 >= -160 e1999: - 160 b780 - x890 + x933 >= -160 e2000: - 160 b781 - x892 + x929 >= -160 e2001: - 160 b782 - x895 + x931 >= -160 e2002: - 160 b783 - x898 + x933 >= -160 e2003: - 160 b784 - x900 + x929 >= -160 e2004: - 160 b785 - x903 + x931 >= -160 e2005: - 160 b786 - x906 + x933 >= -160 e2006: 160 b775 - x812 + x929 <= 160 e2007: 160 b776 - x815 + x931 <= 160 e2008: 160 b777 - x818 + x933 <= 160 e2009: 160 b787 - x820 + x917 <= 160 e2010: 160 b788 - x823 + x919 <= 160 e2011: 160 b789 - x826 + x921 <= 160 e2012: 160 b790 - x828 + x923 <= 160 e2013: 160 b791 - x831 + x925 <= 160 e2014: 160 b792 - x834 + x927 <= 160 e2015: 160 b793 - x836 + x917 <= 160 e2016: 160 b794 - x839 + x919 <= 160 e2017: 160 b795 - x842 + x921 <= 160 e2018: 160 b796 - x844 + x923 <= 160 e2019: 160 b797 - x847 + x925 <= 160 e2020: 160 b798 - x850 + x927 <= 160 e2021: 160 b799 - x852 + x917 <= 160 e2022: 160 b800 - x855 + x919 <= 160 e2023: 160 b801 - x858 + x921 <= 160 e2024: 160 b802 - x860 + x923 <= 160 e2025: 160 b803 - x863 + x925 <= 160 e2026: 160 b804 - x866 + x927 <= 160 e2027: 160 b805 - x868 + x917 <= 160 e2028: 160 b806 - x871 + x919 <= 160 e2029: 160 b807 - x874 + x921 <= 160 e2030: 160 b808 - x876 + x923 <= 160 e2031: 160 b809 - x879 + x925 <= 160 e2032: 160 b810 - x882 + x927 <= 160 e2033: 160 b778 - x884 + x929 <= 160 e2034: 160 b779 - x887 + x931 <= 160 e2035: 160 b780 - x890 + x933 <= 160 e2036: 160 b781 - x892 + x929 <= 160 e2037: 160 b782 - x895 + x931 <= 160 e2038: 160 b783 - x898 + x933 <= 160 e2039: 160 b784 - x900 + x929 <= 160 e2040: 160 b785 - x903 + x931 <= 160 e2041: 160 b786 - x906 + x933 <= 160 e2042: x3 - x644 + x649 = 0 e2043: x4 - x649 + x654 = 0 e2044: x6 - x358 - x645 + x650 = 0 e2045: x7 - x361 - x650 + x655 = 0 e2046: x9 - x394 - x565 - x646 + x651 = 0 e2047: x10 - x397 - x568 - x651 + x656 = 0 e2048: x12 - x430 - x647 + x652 = 0 e2049: x13 - x433 - x652 + x657 = 0 e2050: x15 + x27 - x466 - x501 - x659 + x664 = 0 e2051: x16 + x28 - x469 - x504 - x664 + x669 = 0 e2052: x18 + x30 - x533 - x660 + x665 = 0 e2053: x19 + x31 - x536 - x665 + x670 = 0 e2054: x21 + x33 - x661 + x666 = 0 e2055: x22 + x34 - x666 + x671 = 0 e2056: x24 + x36 - x597 - x662 + x667 = 0 e2057: x25 + x37 - x600 - x667 + x672 = 0 e2058: x39 + x51 - x475 - x509 - x674 + x679 = 0 e2059: x40 + x52 - x478 - x512 - x679 + x684 = 0 e2060: x42 + x54 - x541 - x675 + x680 = 0 e2061: x43 + x55 - x544 - x680 + x685 = 0 e2062: x45 + x57 - x676 + x681 = 0 e2063: x46 + x58 - x681 + x686 = 0 e2064: x48 + x60 - x605 - x677 + x682 = 0 e2065: x49 + x61 - x608 - x682 + x687 = 0 e2066: x63 + x75 - x484 - x517 - x689 + x694 = 0 e2067: x64 + x76 - x487 - x520 - x694 + x699 = 0 e2068: x66 + x78 - x549 - x690 + x695 = 0 e2069: x67 + x79 - x552 - x695 + x700 = 0 e2070: x69 + x81 - x691 + x696 = 0 e2071: x70 + x82 - x696 + x701 = 0 e2072: x72 + x84 - x613 - x692 + x697 = 0 e2073: x73 + x85 - x616 - x697 + x702 = 0 e2074: x87 + x99 - x493 - x525 - x704 + x709 = 0 e2075: x88 + x100 - x496 - x528 - x709 + x714 = 0 e2076: x90 + x102 - x557 - x705 + x710 = 0 e2077: x91 + x103 - x560 - x710 + x715 = 0 e2078: x93 + x105 - x706 + x711 = 0 e2079: x94 + x106 - x711 + x716 = 0 e2080: x96 + x108 - x621 - x707 + x712 = 0 e2081: x97 + x109 - x624 - x712 + x717 = 0 e2082: x111 - x719 + x724 = 0 e2083: x112 - x724 + x729 = 0 e2084: x114 - x367 - x720 + x725 = 0 e2085: x115 - x370 - x725 + x730 = 0 e2086: x117 - x403 - x573 - x721 + x726 = 0 e2087: x118 - x406 - x576 - x726 + x731 = 0 e2088: x120 - x439 - x722 + x727 = 0 e2089: x121 - x442 - x727 + x732 = 0 e2090: x123 - x734 + x739 = 0 e2091: x124 - x739 + x744 = 0 e2092: x126 - x376 - x735 + x740 = 0 e2093: x127 - x379 - x740 + x745 = 0 e2094: x129 - x412 - x581 - x736 + x741 = 0 e2095: x130 - x415 - x584 - x741 + x746 = 0 e2096: x132 - x448 - x737 + x742 = 0 e2097: x133 - x451 - x742 + x747 = 0 e2098: x135 - x749 + x754 = 0 e2099: x136 - x754 + x759 = 0 e2100: x138 - x385 - x750 + x755 = 0 e2101: x139 - x388 - x755 + x760 = 0 e2102: x141 - x421 - x589 - x751 + x756 = 0 e2103: x142 - x424 - x592 - x756 + x761 = 0 e2104: x144 - x457 - x752 + x757 = 0 e2105: x145 - x460 - x757 + x762 = 0 e2106: x2 + x644 = 50 e2107: x5 - x355 + x645 = 100 e2108: x8 - x391 + x646 = 100 e2109: x11 - x427 + x647 = 100 e2110: x14 + x26 - x463 + x659 = 100 e2111: x17 + x29 + x660 = 100 e2112: x20 + x32 + x661 = 100 e2113: x23 + x35 + x662 = 100 e2114: x38 + x50 - x472 + x674 = 100 e2115: x41 + x53 + x675 = 100 e2116: x44 + x56 + x676 = 50 e2117: x47 + x59 + x677 = 100 e2118: x62 + x74 - x481 + x689 = 200 e2119: x65 + x77 + x690 = 250 e2120: x68 + x80 + x691 = 200 e2121: x71 + x83 + x692 = 300 e2122: x86 + x98 - x490 + x704 = 100 e2123: x89 + x101 + x705 = 100 e2124: x92 + x104 + x706 = 50 e2125: x95 + x107 + x707 = 50 e2126: x110 + x719 = 20 e2127: x113 - x364 + x720 = 20 e2128: x116 - x400 + x721 = 20 e2129: x119 - x436 + x722 = 20 e2130: x122 + x734 = 20 e2131: x125 - x373 + x735 = 20 e2132: x128 - x409 + x736 = 20 e2133: x131 - x445 + x737 = 20 e2134: x134 + x749 = 100 e2135: x137 - x382 + x750 = 100 e2136: x140 - x418 + x751 = 100 e2137: x143 - x454 + x752 = 150 e2138: - x916 + x917 - x918 + x919 - x920 + x921 = 160 e2139: - x922 + x923 - x924 + x925 - x926 + x927 = 160 e2140: - x928 + x929 - x930 + x931 - x932 + x933 = 160 e2141: x150 - b775 + b776 >= 0 e2142: x151 - b776 + b777 >= 0 e2143: x146 - b787 + b788 >= 0 e2144: x147 - b788 + b789 >= 0 e2145: x148 - b790 + b791 >= 0 e2146: x149 - b791 + b792 >= 0 e2147: x146 - b793 + b794 >= 0 e2148: x147 - b794 + b795 >= 0 e2149: x148 - b796 + b797 >= 0 e2150: x149 - b797 + b798 >= 0 e2151: x146 - b799 + b800 >= 0 e2152: x147 - b800 + b801 >= 0 e2153: x148 - b802 + b803 >= 0 e2154: x149 - b803 + b804 >= 0 e2155: x146 - b805 + b806 >= 0 e2156: x147 - b806 + b807 >= 0 e2157: x148 - b808 + b809 >= 0 e2158: x149 - b809 + b810 >= 0 e2159: x150 - b778 + b779 >= 0 e2160: x151 - b779 + b780 >= 0 e2161: x150 - b781 + b782 >= 0 e2162: x151 - b782 + b783 >= 0 e2163: x150 - b784 + b785 >= 0 e2164: x151 - b785 + b786 >= 0 e2165: x150 + b775 - b776 >= 0 e2166: x151 + b776 - b777 >= 0 e2167: x146 + b787 - b788 >= 0 e2168: x147 + b788 - b789 >= 0 e2169: x148 + b790 - b791 >= 0 e2170: x149 + b791 - b792 >= 0 e2171: x146 + b793 - b794 >= 0 e2172: x147 + b794 - b795 >= 0 e2173: x148 + b796 - b797 >= 0 e2174: x149 + b797 - b798 >= 0 e2175: x146 + b799 - b800 >= 0 e2176: x147 + b800 - b801 >= 0 e2177: x148 + b802 - b803 >= 0 e2178: x149 + b803 - b804 >= 0 e2179: x146 + b805 - b806 >= 0 e2180: x147 + b806 - b807 >= 0 e2181: x148 + b808 - b809 >= 0 e2182: x149 + b809 - b810 >= 0 e2183: x150 + b778 - b779 >= 0 e2184: x151 + b779 - b780 >= 0 e2185: x150 + b781 - b782 >= 0 e2186: x151 + b782 - b783 >= 0 e2187: x150 + b784 - b785 >= 0 e2188: x151 + b785 - b786 >= 0 e2189: x248 + 0.25 x643 + 0.25 x648 + 0.25 x653 + 0.25 x658 + 0.25 x663 + 0.25 x668 + 0.25 x673 + 0.25 x678 + 0.25 x683 + 0.25 x688 + 0.25 x693 + 0.25 x698 + 0.25 x703 + 0.25 x708 + 0.25 x713 + 0.25 x718 + 0.25 x723 + 0.25 x728 + 0.25 x733 + 0.25 x738 + 0.25 x743 + 0.25 x748 + 0.25 x753 + 0.25 x758 >= 760 e2190: x249 - 3.125 x638 >= -75 e2191: x250 - 3.125 x642 >= -400 e2192: x3 + [ - x152 * x813 ] = 0 e2193: x4 + [ - x153 * x816 ] = 0 e2194: x6 + [ - x155 * x813 ] = 0 e2195: x7 + [ - x156 * x816 ] = 0 e2196: x9 + [ - x158 * x813 ] = 0 e2197: x10 + [ - x159 * x816 ] = 0 e2198: x12 + [ - x161 * x813 ] = 0 e2199: x13 + [ - x162 * x816 ] = 0 e2200: x15 + [ - x164 * x821 ] = 0 e2201: x16 + [ - x165 * x824 ] = 0 e2202: x18 + [ - x167 * x821 ] = 0 e2203: x19 + [ - x168 * x824 ] = 0 e2204: x21 + [ - x170 * x821 ] = 0 e2205: x22 + [ - x171 * x824 ] = 0 e2206: x24 + [ - x173 * x821 ] = 0 e2207: x25 + [ - x174 * x824 ] = 0 e2208: x27 + [ - x164 * x829 ] = 0 e2209: x28 + [ - x165 * x832 ] = 0 e2210: x30 + [ - x167 * x829 ] = 0 e2211: x31 + [ - x168 * x832 ] = 0 e2212: x33 + [ - x170 * x829 ] = 0 e2213: x34 + [ - x171 * x832 ] = 0 e2214: x36 + [ - x173 * x829 ] = 0 e2215: x37 + [ - x174 * x832 ] = 0 e2216: x39 + [ - x176 * x837 ] = 0 e2217: x40 + [ - x177 * x840 ] = 0 e2218: x42 + [ - x179 * x837 ] = 0 e2219: x43 + [ - x180 * x840 ] = 0 e2220: x45 + [ - x182 * x837 ] = 0 e2221: x46 + [ - x183 * x840 ] = 0 e2222: x48 + [ - x185 * x837 ] = 0 e2223: x49 + [ - x186 * x840 ] = 0 e2224: x51 + [ - x176 * x845 ] = 0 e2225: x52 + [ - x177 * x848 ] = 0 e2226: x54 + [ - x179 * x845 ] = 0 e2227: x55 + [ - x180 * x848 ] = 0 e2228: x57 + [ - x182 * x845 ] = 0 e2229: x58 + [ - x183 * x848 ] = 0 e2230: x60 + [ - x185 * x845 ] = 0 e2231: x61 + [ - x186 * x848 ] = 0 e2232: x63 + [ - x188 * x853 ] = 0 e2233: x64 + [ - x189 * x856 ] = 0 e2234: x66 + [ - x191 * x853 ] = 0 e2235: x67 + [ - x192 * x856 ] = 0 e2236: x69 + [ - x194 * x853 ] = 0 e2237: x70 + [ - x195 * x856 ] = 0 e2238: x72 + [ - x197 * x853 ] = 0 e2239: x73 + [ - x198 * x856 ] = 0 e2240: x75 + [ - x188 * x861 ] = 0 e2241: x76 + [ - x189 * x864 ] = 0 e2242: x78 + [ - x191 * x861 ] = 0 e2243: x79 + [ - x192 * x864 ] = 0 e2244: x81 + [ - x194 * x861 ] = 0 e2245: x82 + [ - x195 * x864 ] = 0 e2246: x84 + [ - x197 * x861 ] = 0 e2247: x85 + [ - x198 * x864 ] = 0 e2248: x87 + [ - x200 * x869 ] = 0 e2249: x88 + [ - x201 * x872 ] = 0 e2250: x90 + [ - x203 * x869 ] = 0 e2251: x91 + [ - x204 * x872 ] = 0 e2252: x93 + [ - x206 * x869 ] = 0 e2253: x94 + [ - x207 * x872 ] = 0 e2254: x96 + [ - x209 * x869 ] = 0 e2255: x97 + [ - x210 * x872 ] = 0 e2256: x99 + [ - x200 * x877 ] = 0 e2257: x100 + [ - x201 * x880 ] = 0 e2258: x102 + [ - x203 * x877 ] = 0 e2259: x103 + [ - x204 * x880 ] = 0 e2260: x105 + [ - x206 * x877 ] = 0 e2261: x106 + [ - x207 * x880 ] = 0 e2262: x108 + [ - x209 * x877 ] = 0 e2263: x109 + [ - x210 * x880 ] = 0 e2264: x111 + [ - x212 * x885 ] = 0 e2265: x112 + [ - x213 * x888 ] = 0 e2266: x114 + [ - x215 * x885 ] = 0 e2267: x115 + [ - x216 * x888 ] = 0 e2268: x117 + [ - x218 * x885 ] = 0 e2269: x118 + [ - x219 * x888 ] = 0 e2270: x120 + [ - x221 * x885 ] = 0 e2271: x121 + [ - x222 * x888 ] = 0 e2272: x123 + [ - x224 * x893 ] = 0 e2273: x124 + [ - x225 * x896 ] = 0 e2274: x126 + [ - x227 * x893 ] = 0 e2275: x127 + [ - x228 * x896 ] = 0 e2276: x129 + [ - x230 * x893 ] = 0 e2277: x130 + [ - x231 * x896 ] = 0 e2278: x132 + [ - x233 * x893 ] = 0 e2279: x133 + [ - x234 * x896 ] = 0 e2280: x135 + [ - x236 * x901 ] = 0 e2281: x136 + [ - x237 * x904 ] = 0 e2282: x138 + [ - x239 * x901 ] = 0 e2283: x139 + [ - x240 * x904 ] = 0 e2284: x141 + [ - x242 * x901 ] = 0 e2285: x142 + [ - x243 * x904 ] = 0 e2286: x144 + [ - x245 * x901 ] = 0 e2287: x145 + [ - x246 * x904 ] = 0 e2288: x644 + [ - x152 * x643 ] = 0 e2289: x649 + [ - x153 * x648 ] = 0 e2290: x654 + [ - x154 * x653 ] = 0 e2291: x645 + [ - x155 * x643 ] = 0 e2292: x650 + [ - x156 * x648 ] = 0 e2293: x655 + [ - x157 * x653 ] = 0 e2294: x646 + [ - x158 * x643 ] = 0 e2295: x651 + [ - x159 * x648 ] = 0 e2296: x656 + [ - x160 * x653 ] = 0 e2297: x647 + [ - x161 * x643 ] = 0 e2298: x652 + [ - x162 * x648 ] = 0 e2299: x657 + [ - x163 * x653 ] = 0 e2300: x659 + [ - x164 * x658 ] = 0 e2301: x664 + [ - x165 * x663 ] = 0 e2302: x669 + [ - x166 * x668 ] = 0 e2303: x660 + [ - x167 * x658 ] = 0 e2304: x665 + [ - x168 * x663 ] = 0 e2305: x670 + [ - x169 * x668 ] = 0 e2306: x661 + [ - x170 * x658 ] = 0 e2307: x666 + [ - x171 * x663 ] = 0 e2308: x671 + [ - x172 * x668 ] = 0 e2309: x662 + [ - x173 * x658 ] = 0 e2310: x667 + [ - x174 * x663 ] = 0 e2311: x672 + [ - x175 * x668 ] = 0 e2312: x674 + [ - x176 * x673 ] = 0 e2313: x679 + [ - x177 * x678 ] = 0 e2314: x684 + [ - x178 * x683 ] = 0 e2315: x675 + [ - x179 * x673 ] = 0 e2316: x680 + [ - x180 * x678 ] = 0 e2317: x685 + [ - x181 * x683 ] = 0 e2318: x676 + [ - x182 * x673 ] = 0 e2319: x681 + [ - x183 * x678 ] = 0 e2320: x686 + [ - x184 * x683 ] = 0 e2321: x677 + [ - x185 * x673 ] = 0 e2322: x682 + [ - x186 * x678 ] = 0 e2323: x687 + [ - x187 * x683 ] = 0 e2324: x689 + [ - x188 * x688 ] = 0 e2325: x694 + [ - x189 * x693 ] = 0 e2326: x699 + [ - x190 * x698 ] = 0 e2327: x690 + [ - x191 * x688 ] = 0 e2328: x695 + [ - x192 * x693 ] = 0 e2329: x700 + [ - x193 * x698 ] = 0 e2330: x691 + [ - x194 * x688 ] = 0 e2331: x696 + [ - x195 * x693 ] = 0 e2332: x701 + [ - x196 * x698 ] = 0 e2333: x692 + [ - x197 * x688 ] = 0 e2334: x697 + [ - x198 * x693 ] = 0 e2335: x702 + [ - x199 * x698 ] = 0 e2336: x704 + [ - x200 * x703 ] = 0 e2337: x709 + [ - x201 * x708 ] = 0 e2338: x714 + [ - x202 * x713 ] = 0 e2339: x705 + [ - x203 * x703 ] = 0 e2340: x710 + [ - x204 * x708 ] = 0 e2341: x715 + [ - x205 * x713 ] = 0 e2342: x706 + [ - x206 * x703 ] = 0 e2343: x711 + [ - x207 * x708 ] = 0 e2344: x716 + [ - x208 * x713 ] = 0 e2345: x707 + [ - x209 * x703 ] = 0 e2346: x712 + [ - x210 * x708 ] = 0 e2347: x717 + [ - x211 * x713 ] = 0 e2348: x719 + [ - x212 * x718 ] = 0 e2349: x724 + [ - x213 * x723 ] = 0 e2350: x729 + [ - x214 * x728 ] = 0 e2351: x720 + [ - x215 * x718 ] = 0 e2352: x725 + [ - x216 * x723 ] = 0 e2353: x730 + [ - x217 * x728 ] = 0 e2354: x721 + [ - x218 * x718 ] = 0 e2355: x726 + [ - x219 * x723 ] = 0 e2356: x731 + [ - x220 * x728 ] = 0 e2357: x722 + [ - x221 * x718 ] = 0 e2358: x727 + [ - x222 * x723 ] = 0 e2359: x732 + [ - x223 * x728 ] = 0 e2360: x734 + [ - x224 * x733 ] = 0 e2361: x739 + [ - x225 * x738 ] = 0 e2362: x744 + [ - x226 * x743 ] = 0 e2363: x735 + [ - x227 * x733 ] = 0 e2364: x740 + [ - x228 * x738 ] = 0 e2365: x745 + [ - x229 * x743 ] = 0 e2366: x736 + [ - x230 * x733 ] = 0 e2367: x741 + [ - x231 * x738 ] = 0 e2368: x746 + [ - x232 * x743 ] = 0 e2369: x737 + [ - x233 * x733 ] = 0 e2370: x742 + [ - x234 * x738 ] = 0 e2371: x747 + [ - x235 * x743 ] = 0 e2372: x749 + [ - x236 * x748 ] = 0 e2373: x754 + [ - x237 * x753 ] = 0 e2374: x759 + [ - x238 * x758 ] = 0 e2375: x750 + [ - x239 * x748 ] = 0 e2376: x755 + [ - x240 * x753 ] = 0 e2377: x760 + [ - x241 * x758 ] = 0 e2378: x751 + [ - x242 * x748 ] = 0 e2379: x756 + [ - x243 * x753 ] = 0 e2380: x761 + [ - x244 * x758 ] = 0 e2381: x752 + [ - x245 * x748 ] = 0 e2382: x757 + [ - x246 * x753 ] = 0 e2383: x762 + [ - x247 * x758 ] = 0 Bounds x146 <= 1 x147 <= 1 x148 <= 1 x149 <= 1 x150 <= 1 x151 <= 1 0.08771929825 <= x152 <= 0.1428571429 0.009233610342 <= x153 <= 0.1428571429 0.0009719589833 <= x154 <= 0.1428571429 0.1754385965 <= x155 <= 0.3055555556 0.01846722068 <= x156 <= 0.387755102 0.001943917967 <= x157 <= 0.387755102 0.1754385965 <= x158 <= 0.5614035088 0.01846722068 <= x159 <= 0.9530075188 0.001943917967 <= x160 <= 0.9732421585 0.1754385965 <= x161 <= 0.5614035088 0.01846722068 <= x162 <= 0.880952381 0.001943917967 <= x163 <= 0.880952381 0.1754385965 <= x164 <= 0.4736842105 0.01846722068 <= x165 <= 0.8457142857 0.001943917967 <= x166 <= 0.8457142857 0.1754385965 <= x167 <= 0.4736842105 0.01846722068 <= x168 <= 0.8548387097 0.001943917967 <= x169 <= 0.8548387097 0.1754385965 <= x170 <= 0.25 0.01846722068 <= x171 <= 0.25 0.001943917967 <= x172 <= 0.25 0.1754385965 <= x173 <= 0.4736842105 0.01846722068 <= x174 <= 0.85 0.001943917967 <= x175 <= 0.85 0.1754385965 <= x176 <= 0.5454545455 0.01846722068 <= x177 <= 0.8530612245 0.001943917967 <= x178 <= 0.8530612245 0.1754385965 <= x179 <= 0.5614035088 0.01846722068 <= x180 <= 0.8617511521 0.001943917967 <= x181 <= 0.8617511521 0.08771929825 <= x182 <= 0.1428571429 0.009233610342 <= x183 <= 0.1428571429 0.0009719589833 <= x184 <= 0.1428571429 0.1754385965 <= x185 <= 0.5614035088 0.01846722068 <= x186 <= 0.8571428571 0.001943917967 <= x187 <= 0.8571428571 0.2040816327 <= x188 <= 0.2346938776 0.02290712203 <= x189 <= 0.728439763 0.002571207575 <= x190 <= 0.7346491228 0.2551020408 <= x191 <= 0.2857142857 0.02863390254 <= x192 <= 0.7748538012 0.003214009469 <= x193 <= 0.7748538012 0.2040816327 <= x194 <= 0.2105263158 0.02290712203 <= x195 <= 0.2105263158 0.002571207575 <= x196 <= 0.2105263158 0.306122449 <= x197 <= 0.3367346939 0.03436068305 <= x198 <= 0.784962406 0.003856811363 <= x199 <= 0.784962406 0.1265822785 <= x200 <= 0.6 0.01420821493 <= x201 <= 0.7759259259 0.001594799635 <= x202 <= 0.7759259259 0.1351351351 <= x203 <= 0.6363636364 0.01516822945 <= x204 <= 0.7962962963 0.001702556367 <= x205 <= 0.7962962963 0.05102040816 <= x206 <= 0.1666666667 0.005726780508 <= x207 <= 0.1666666667 0.0006428018938 <= x208 <= 0.1666666667 0.06666666667 <= x209 <= 0.537037037 0.007482993197 <= x210 <= 0.7380952381 0.0008399278079 <= x211 <= 0.7380952381 0.02247191011 <= x212 <= 0.25 0.001375831231 <= x213 <= 0.25 8.423456519e-05 <= x214 <= 0.25 0.02272727273 <= x215 <= 0.3333333333 0.001391465677 <= x216 <= 0.3571428571 8.519177615e-05 <= x217 <= 0.3571428571 0.05128205128 <= x218 <= 0.8965517241 0.003139717425 <= x219 <= 0.9719042664 0.0001922275975 <= x220 <= 0.9719042664 0.03389830508 <= x221 <= 0.8421052632 0.002075406434 <= x222 <= 0.875 0.0001270657 <= x223 <= 0.875 0.0350877193 <= x224 <= 0.25 0.003693444137 <= x225 <= 0.25 0.0003887835933 <= x226 <= 0.25 0.0350877193 <= x227 <= 0.3333333333 0.003693444137 <= x228 <= 0.3571428571 0.0003887835933 <= x229 <= 0.3571428571 0.05128205128 <= x230 <= 0.8947368421 0.005398110661 <= x231 <= 0.9719042664 0.0005682221749 <= x232 <= 0.9719042664 0.0350877193 <= x233 <= 0.8421052632 0.003693444137 <= x234 <= 0.875 0.0003887835933 <= x235 <= 0.875 0.1754385965 <= x236 <= 0.2222222222 0.01846722068 <= x237 <= 0.2222222222 0.001943917967 <= x238 <= 0.2222222222 0.1754385965 <= x239 <= 0.2391304348 0.01846722068 <= x240 <= 0.3333333333 0.001943917967 <= x241 <= 0.3333333333 0.1754385965 <= x242 <= 0.3859649123 0.01846722068 <= x243 <= 0.9342105263 0.001943917967 <= x244 <= 0.9708636837 0.2631578947 <= x245 <= 0.4736842105 0.02770083102 <= x246 <= 0.8888888889 0.00291587695 <= x247 <= 0.8888888889 x248 <= 1500 x331 <= 1 x332 <= 1 x333 <= 1 x334 <= 1 x335 <= 1 x336 <= 1 x337 <= 1 x338 <= 1 x339 <= 1 x340 <= 1 x341 <= 1 x342 <= 1 x343 <= 1 x344 <= 1 x345 <= 1 x346 <= 1 x347 <= 1 x348 <= 1 x349 <= 1 x350 <= 1 x351 <= 1 x352 <= 1 x353 <= 1 x354 <= 1 x355 <= 10 x356 <= 160 x357 <= 160 x358 <= 10 x359 <= 160 x360 <= 160 x361 <= 10 x362 <= 160 x363 <= 160 x364 <= 10 x365 <= 160 x366 <= 160 x367 <= 10 x368 <= 160 x369 <= 160 x370 <= 10 x371 <= 160 x372 <= 160 x373 <= 10 x374 <= 160 x375 <= 160 x376 <= 10 x377 <= 160 x378 <= 160 x379 <= 10 x380 <= 160 x381 <= 160 x382 <= 10 x383 <= 160 x384 <= 160 x385 <= 10 x386 <= 160 x387 <= 160 x388 <= 10 x389 <= 160 x390 <= 160 x391 <= 250 x392 <= 160 x393 <= 160 x394 <= 250 x395 <= 160 x396 <= 160 x397 <= 250 x398 <= 160 x399 <= 160 x400 <= 250 x401 <= 160 x402 <= 160 x403 <= 250 x404 <= 160 x405 <= 160 x406 <= 250 x407 <= 160 x408 <= 160 x409 <= 250 x410 <= 160 x411 <= 160 x412 <= 250 x413 <= 160 x414 <= 160 x415 <= 250 x416 <= 160 x417 <= 160 x418 <= 250 x419 <= 160 x420 <= 160 x421 <= 250 x422 <= 160 x423 <= 160 x424 <= 250 x425 <= 160 x426 <= 160 x427 <= 300 x428 <= 160 x429 <= 160 x430 <= 300 x431 <= 160 x432 <= 160 x433 <= 300 x434 <= 160 x435 <= 160 x436 <= 300 x437 <= 160 x438 <= 160 x439 <= 300 x440 <= 160 x441 <= 160 x442 <= 300 x443 <= 160 x444 <= 160 x445 <= 300 x446 <= 160 x447 <= 160 x448 <= 300 x449 <= 160 x450 <= 160 x451 <= 300 x452 <= 160 x453 <= 160 x454 <= 300 x455 <= 160 x456 <= 160 x457 <= 300 x458 <= 160 x459 <= 160 x460 <= 300 x461 <= 160 x462 <= 160 x463 <= 190 x464 <= 160 x465 <= 160 x466 <= 190 x467 <= 160 x468 <= 160 x469 <= 190 x470 <= 160 x471 <= 160 x472 <= 190 x473 <= 160 x474 <= 160 x475 <= 190 x476 <= 160 x477 <= 160 x478 <= 190 x479 <= 160 x480 <= 160 x481 <= 190 x482 <= 160 x483 <= 160 x484 <= 190 x485 <= 160 x486 <= 160 x487 <= 190 x488 <= 160 x489 <= 160 x490 <= 190 x491 <= 160 x492 <= 160 x493 <= 190 x494 <= 160 x495 <= 160 x496 <= 190 x497 <= 160 x498 <= 160 x499 <= 160 x500 <= 160 x501 <= 10 x502 <= 160 x503 <= 160 x504 <= 10 x505 <= 160 x506 <= 160 x507 <= 160 x508 <= 160 x509 <= 10 x510 <= 160 x511 <= 160 x512 <= 10 x513 <= 160 x514 <= 160 x515 <= 160 x516 <= 160 x517 <= 10 x518 <= 160 x519 <= 160 x520 <= 10 x521 <= 160 x522 <= 160 x523 <= 160 x524 <= 160 x525 <= 10 x526 <= 160 x527 <= 160 x528 <= 10 x529 <= 160 x530 <= 160 x531 <= 160 x532 <= 160 x533 <= 250 x534 <= 160 x535 <= 160 x536 <= 250 x537 <= 160 x538 <= 160 x539 <= 160 x540 <= 160 x541 <= 250 x542 <= 160 x543 <= 160 x544 <= 250 x545 <= 160 x546 <= 160 x547 <= 160 x548 <= 160 x549 <= 250 x550 <= 160 x551 <= 160 x552 <= 250 x553 <= 160 x554 <= 160 x555 <= 160 x556 <= 160 x557 <= 250 x558 <= 160 x559 <= 160 x560 <= 250 x561 <= 160 x562 <= 160 x563 <= 160 x564 <= 160 x565 <= 250 x566 <= 160 x567 <= 160 x568 <= 250 x569 <= 160 x570 <= 160 x571 <= 160 x572 <= 160 x573 <= 250 x574 <= 160 x575 <= 160 x576 <= 250 x577 <= 160 x578 <= 160 x579 <= 160 x580 <= 160 x581 <= 250 x582 <= 160 x583 <= 160 x584 <= 250 x585 <= 160 x586 <= 160 x587 <= 160 x588 <= 160 x589 <= 250 x590 <= 160 x591 <= 160 x592 <= 250 x593 <= 160 x594 <= 160 x595 <= 160 x596 <= 160 x597 <= 240 x598 <= 160 x599 <= 160 x600 <= 240 x601 <= 160 x602 <= 160 x603 <= 160 x604 <= 160 x605 <= 240 x606 <= 160 x607 <= 160 x608 <= 240 x609 <= 160 x610 <= 160 x611 <= 160 x612 <= 160 x613 <= 240 x614 <= 160 x615 <= 160 x616 <= 240 x617 <= 160 x618 <= 160 x619 <= 160 x620 <= 160 x621 <= 240 x622 <= 160 x623 <= 160 x624 <= 240 x625 <= 160 x626 <= 160 x627 <= 160 x628 <= 160 x629 <= 160 x630 <= 160 104 <= x631 <= 160 104 <= x632 <= 160 104 <= x633 <= 160 104 <= x634 <= 160 x635 <= 160 x636 <= 160 x637 <= 160 x638 <= 160 104 <= x639 <= 160 104 <= x640 <= 160 104 <= x641 <= 160 104 <= x642 <= 160 60 <= x643 <= 570 60 <= x648 <= 570 60 <= x653 <= 570 60 <= x658 <= 570 60 <= x663 <= 570 60 <= x668 <= 570 60 <= x673 <= 570 60 <= x678 <= 570 60 <= x683 <= 570 110 <= x688 <= 980 110 <= x693 <= 980 110 <= x698 <= 980 110 <= x703 <= 980 110 <= x708 <= 980 110 <= x713 <= 980 60 <= x718 <= 890 60 <= x723 <= 980 60 <= x728 <= 980 60 <= x733 <= 570 60 <= x738 <= 570 60 <= x743 <= 570 60 <= x748 <= 570 60 <= x753 <= 570 60 <= x758 <= 570 x763 <= 290 x764 <= 340 x765 <= 340 x766 <= 290 x767 <= 290 x768 <= 840 x769 <= 840 x770 <= 190 x771 <= 190 x772 <= 20 x773 <= 20 x774 <= 390 x811 <= 160 x812 <= 160 x813 <= 510 x814 <= 160 x815 <= 160 x816 <= 510 x817 <= 160 x818 <= 160 x819 <= 160 x820 <= 160 x821 <= 510 x822 <= 160 x823 <= 160 x824 <= 510 x825 <= 160 x826 <= 160 x827 <= 160 x828 <= 160 x829 <= 510 x830 <= 160 x831 <= 160 x832 <= 510 x833 <= 160 x834 <= 160 x835 <= 160 x836 <= 160 x837 <= 510 x838 <= 160 x839 <= 160 x840 <= 510 x841 <= 160 x842 <= 160 x843 <= 160 x844 <= 160 x845 <= 510 x846 <= 160 x847 <= 160 x848 <= 510 x849 <= 160 x850 <= 160 x851 <= 160 x852 <= 160 x853 <= 870 x854 <= 160 x855 <= 160 x856 <= 870 x857 <= 160 x858 <= 160 x859 <= 160 x860 <= 160 x861 <= 870 x862 <= 160 x863 <= 160 x864 <= 870 x865 <= 160 x866 <= 160 x867 <= 160 x868 <= 160 x869 <= 870 x870 <= 160 x871 <= 160 x872 <= 870 x873 <= 160 x874 <= 160 x875 <= 160 x876 <= 160 x877 <= 870 x878 <= 160 x879 <= 160 x880 <= 870 x881 <= 160 x882 <= 160 x883 <= 160 x884 <= 160 x885 <= 830 x886 <= 160 x887 <= 160 x888 <= 920 x889 <= 160 x890 <= 160 x891 <= 160 x892 <= 160 x893 <= 510 x894 <= 160 x895 <= 160 x896 <= 510 x897 <= 160 x898 <= 160 x899 <= 160 x900 <= 160 x901 <= 510 x902 <= 160 x903 <= 160 x904 <= 510 x905 <= 160 x906 <= 160 x916 <= 160 x917 <= 160 x918 <= 160 x919 <= 160 x920 <= 160 x921 <= 160 x922 <= 160 x923 <= 160 x924 <= 160 x925 <= 160 x926 <= 160 x927 <= 160 x928 <= 160 x929 <= 160 x930 <= 160 x931 <= 160 x932 <= 160 x933 <= 160 Binary b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 b326 b327 b328 b329 b330 b775 b776 b777 b778 b779 b780 b781 b782 b783 b784 b785 b786 b787 b788 b789 b790 b791 b792 b793 b794 b795 b796 b797 b798 b799 b800 b801 b802 b803 b804 b805 b806 b807 b808 b809 b810 End