\ Equation counts \ Total E G L N X C B \ 305 196 54 55 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 864 810 54 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 3240 2430 810 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 1.247902153 b757 + 3.853248292 b758 + 2.753881396 b759 + 1.247902153 b760 + 2.115303802 b761 + 2.073122818 b762 + 3.87564082 b763 + 2.537458771 b764 + 3.897053494 b765 + 3.223097071 b766 + 3.077538217 b767 + 3.222690685 b768 + 3.045368992 b769 + 1.256398027 b770 + 1.321513474 b771 + 2.115303802 b772 + 3.077538217 b773 + 3.213749761 b774 + 1.140696436 b775 + 3.853248292 b776 + 3.87564082 b777 + 1.796801476 b778 + 1.930844545 b779 + 2.073122818 b780 + 2.537458771 b781 + 1.796801476 b782 + 2.930918827 b783 + 2.753881396 b784 + 3.897053494 b785 + 3.572642632 b786 + 2.15701522 b787 + 1.061422612 b788 + 3.222690685 b789 + 3.213749761 b790 + 3.867132154 b791 + 3.572642632 b792 + 3.838723369 b793 + 3.223097071 b794 + 3.045368992 b795 + 2.15701522 b796 + 3.867132154 b797 + 3.838723369 b798 + 3.613241704 b799 + 1.140696436 b800 + 2.930918827 b801 + 3.293067286 b802 + 1.256398027 b803 + 1.737076687 b804 + 1.321513474 b805 + 1.930844545 b806 + 1.061422612 b807 + 3.613241704 b808 + 3.293067286 b809 + 1.737076687 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 Subject To e2: - x1 - x15 - x29 + x43 + x267 + x379 = -207 e3: - x2 - x16 - x30 + x44 + x268 + x380 = 8 e4: - x3 - x17 - x31 + x45 + x269 + x381 = 25 e5: - x4 - x18 - x32 + x46 + x270 + x382 = 16 e6: - x5 - x19 - x33 + x47 + x271 + x383 = 17 e7: - x6 - x20 - x34 + x48 + x272 + x384 = 6 e8: - x7 - x21 - x35 + x49 + x273 + x385 = 14 e9: - x8 - x22 - x36 + x50 + x274 + x386 = 19 e10: - x9 - x23 - x37 + x51 + x275 + x387 = 8 e11: - x10 - x24 - x38 + x52 + x276 + x388 = 17 e12: - x11 - x25 - x39 + x53 + x277 + x389 = 15 e13: - x12 - x26 - x40 + x54 + x278 + x390 = 19 e14: - x13 - x27 - x41 + x55 + x279 + x391 = 13 e15: - x14 - x28 - x42 + x56 + x280 + x392 = 21 e16: x1 - x43 - x57 - x71 + x211 + x323 = 11 e17: x2 - x44 - x58 - x72 + x212 + x324 = -165 e18: x3 - x45 - x59 - x73 + x213 + x325 = 11 e19: x4 - x46 - x60 - x74 + x214 + x326 = 11 e20: x5 - x47 - x61 - x75 + x215 + x327 = 23 e21: x6 - x48 - x62 - x76 + x216 + x328 = 16 e22: x7 - x49 - x63 - x77 + x217 + x329 = 23 e23: x8 - x50 - x64 - x78 + x218 + x330 = 15 e24: x9 - x51 - x65 - x79 + x219 + x331 = 14 e25: x10 - x52 - x66 - x80 + x220 + x332 = 13 e26: x11 - x53 - x67 - x81 + x221 + x333 = 10 e27: x12 - x54 - x68 - x82 + x222 + x334 = 16 e28: x13 - x55 - x69 - x83 + x223 + x335 = 21 e29: x14 - x56 - x70 - x84 + x224 + x336 = 13 e30: - x85 - x99 - x113 - x127 + x281 + x337 + x393 + x519 = 24 e31: - x86 - x100 - x114 - x128 + x282 + x338 + x394 + x520 = 14 e32: - x87 - x101 - x115 - x129 + x283 + x339 + x395 + x521 = -171 e33: - x88 - x102 - x116 - x130 + x284 + x340 + x396 + x522 = 19 e34: - x89 - x103 - x117 - x131 + x285 + x341 + x397 + x523 = 11 e35: - x90 - x104 - x118 - x132 + x286 + x342 + x398 + x524 = 15 e36: - x91 - x105 - x119 - x133 + x287 + x343 + x399 + x525 = 17 e37: - x92 - x106 - x120 - x134 + x288 + x344 + x400 + x526 = 5 e38: - x93 - x107 - x121 - x135 + x289 + x345 + x401 + x527 = 21 e39: - x94 - x108 - x122 - x136 + x290 + x346 + x402 + x528 = 23 e40: - x95 - x109 - x123 - x137 + x291 + x347 + x403 + x529 = 6 e41: - x96 - x110 - x124 - x138 + x292 + x348 + x404 + x530 = 22 e42: - x97 - x111 - x125 - x139 + x293 + x349 + x405 + x531 = 7 e43: - x98 - x112 - x126 - x140 + x294 + x350 + x406 + x532 = 6 e44: - x141 - x155 - x169 - x183 - x197 + x225 + x449 + x533 + x645 + x673 = 23 e45: - x142 - x156 - x170 - x184 - x198 + x226 + x450 + x534 + x646 + x674 = 17 e46: - x143 - x157 - x171 - x185 - x199 + x227 + x451 + x535 + x647 + x675 = 7 e47: - x144 - x158 - x172 - x186 - x200 + x228 + x452 + x536 + x648 + x676 = -199 e48: - x145 - x159 - x173 - x187 - x201 + x229 + x453 + x537 + x649 + x677 = 12 e49: - x146 - x160 - x174 - x188 - x202 + x230 + x454 + x538 + x650 + x678 = 22 e50: - x147 - x161 - x175 - x189 - x203 + x231 + x455 + x539 + x651 + x679 = 18 e51: - x148 - x162 - x176 - x190 - x204 + x232 + x456 + x540 + x652 + x680 = 7 e52: - x149 - x163 - x177 - x191 - x205 + x233 + x457 + x541 + x653 + x681 = 9 e53: - x150 - x164 - x178 - x192 - x206 + x234 + x458 + x542 + x654 + x682 = 10 e54: - x151 - x165 - x179 - x193 - x207 + x235 + x459 + x543 + x655 + x683 = 17 e55: - x152 - x166 - x180 - x194 - x208 + x236 + x460 + x544 + x656 + x684 = 11 e56: - x153 - x167 - x181 - x195 - x209 + x237 + x461 + x545 + x657 + x685 = 23 e57: - x154 - x168 - x182 - x196 - x210 + x238 + x462 + x546 + x658 + x686 = 15 e58: x57 + x141 - x211 - x225 - x239 - x253 + x463 + x603 = 15 e59: x58 + x142 - x212 - x226 - x240 - x254 + x464 + x604 = 25 e60: x59 + x143 - x213 - x227 - x241 - x255 + x465 + x605 = 23 e61: x60 + x144 - x214 - x228 - x242 - x256 + x466 + x606 = 5 e62: x61 + x145 - x215 - x229 - x243 - x257 + x467 + x607 = -218 e63: x62 + x146 - x216 - x230 - x244 - x258 + x468 + x608 = 25 e64: x63 + x147 - x217 - x231 - x245 - x259 + x469 + x609 = 16 e65: x64 + x148 - x218 - x232 - x246 - x260 + x470 + x610 = 12 e66: x65 + x149 - x219 - x233 - x247 - x261 + x471 + x611 = 7 e67: x66 + x150 - x220 - x234 - x248 - x262 + x472 + x612 = 5 e68: x67 + x151 - x221 - x235 - x249 - x263 + x473 + x613 = 19 e69: x68 + x152 - x222 - x236 - x250 - x264 + x474 + x614 = 12 e70: x69 + x153 - x223 - x237 - x251 - x265 + x475 + x615 = 23 e71: x70 + x154 - x224 - x238 - x252 - x266 + x476 + x616 = 19 e72: x15 + x85 - x267 - x281 - x295 - x309 + x351 + x687 = 12 e73: x16 + x86 - x268 - x282 - x296 - x310 + x352 + x688 = 6 e74: x17 + x87 - x269 - x283 - x297 - x311 + x353 + x689 = 10 e75: x18 + x88 - x270 - x284 - x298 - x312 + x354 + x690 = 11 e76: x19 + x89 - x271 - x285 - x299 - x313 + x355 + x691 = 14 e77: x20 + x90 - x272 - x286 - x300 - x314 + x356 + x692 = -2.1e2 e78: x21 + x91 - x273 - x287 - x301 - x315 + x357 + x693 = 12 e79: x22 + x92 - x274 - x288 - x302 - x316 + x358 + x694 = 17 e80: x23 + x93 - x275 - x289 - x303 - x317 + x359 + x695 = 15 e81: x24 + x94 - x276 - x290 - x304 - x318 + x360 + x696 = 21 e82: x25 + x95 - x277 - x291 - x305 - x319 + x361 + x697 = 22 e83: x26 + x96 - x278 - x292 - x306 - x320 + x362 + x698 = 7 e84: x27 + x97 - x279 - x293 - x307 - x321 + x363 + x699 = 6 e85: x28 + x98 - x280 - x294 - x308 - x322 + x364 + x700 = 22 e86: x71 + x99 + x295 - x323 - x337 - x351 - x365 + x617 = 17 e87: x72 + x100 + x296 - x324 - x338 - x352 - x366 + x618 = 25 e88: x73 + x101 + x297 - x325 - x339 - x353 - x367 + x619 = 14 e89: x74 + x102 + x298 - x326 - x340 - x354 - x368 + x620 = 13 e90: x75 + x103 + x299 - x327 - x341 - x355 - x369 + x621 = 12 e91: x76 + x104 + x300 - x328 - x342 - x356 - x370 + x622 = 8 e92: x77 + x105 + x301 - x329 - x343 - x357 - x371 + x623 = -196 e93: x78 + x106 + x302 - x330 - x344 - x358 - x372 + x624 = 5 e94: x79 + x107 + x303 - x331 - x345 - x359 - x373 + x625 = 13 e95: x80 + x108 + x304 - x332 - x346 - x360 - x374 + x626 = 8 e96: x81 + x109 + x305 - x333 - x347 - x361 - x375 + x627 = 20 e97: x82 + x110 + x306 - x334 - x348 - x362 - x376 + x628 = 16 e98: x83 + x111 + x307 - x335 - x349 - x363 - x377 + x629 = 18 e99: x84 + x112 + x308 - x336 - x350 - x364 - x378 + x630 = 9 e100: x29 + x113 - x379 - x393 - x407 - x421 - x435 + x491 + x547 + x701 = 7 e101: x30 + x114 - x380 - x394 - x408 - x422 - x436 + x492 + x548 + x702 = 6 e102: x31 + x115 - x381 - x395 - x409 - x423 - x437 + x493 + x549 + x703 = 8 e103: x32 + x116 - x382 - x396 - x410 - x424 - x438 + x494 + x550 + x704 = 22 e104: x33 + x117 - x383 - x397 - x411 - x425 - x439 + x495 + x551 + x705 = 23 e105: x34 + x118 - x384 - x398 - x412 - x426 - x440 + x496 + x552 + x706 = 14 e106: x35 + x119 - x385 - x399 - x413 - x427 - x441 + x497 + x553 + x707 = 19 e107: x36 + x120 - x386 - x400 - x414 - x428 - x442 + x498 + x554 + x708 = -174 e108: x37 + x121 - x387 - x401 - x415 - x429 - x443 + x499 + x555 + x709 = 12 e109: x38 + x122 - x388 - x402 - x416 - x430 - x444 + x500 + x556 + x710 = 7 e110: x39 + x123 - x389 - x403 - x417 - x431 - x445 + x501 + x557 + x711 = 23 e111: x40 + x124 - x390 - x404 - x418 - x432 - x446 + x502 + x558 + x712 = 16 e112: x41 + x125 - x391 - x405 - x419 - x433 - x447 + x503 + x559 + x713 = 10 e113: x42 + x126 - x392 - x406 - x420 - x434 - x448 + x504 + x560 + x714 = 23 e114: x155 + x239 - x449 - x463 - x477 + x561 = 9 e115: x156 + x240 - x450 - x464 - x478 + x562 = 14 e116: x157 + x241 - x451 - x465 - x479 + x563 = 6 e117: x158 + x242 - x452 - x466 - x480 + x564 = 21 e118: x159 + x243 - x453 - x467 - x481 + x565 = 14 e119: x160 + x244 - x454 - x468 - x482 + x566 = 22 e120: x161 + x245 - x455 - x469 - x483 + x567 = 6 e121: x162 + x246 - x456 - x470 - x484 + x568 = 17 e122: x163 + x247 - x457 - x471 - x485 + x569 = -198 e123: x164 + x248 - x458 - x472 - x486 + x570 = 19 e124: x165 + x249 - x459 - x473 - x487 + x571 = 15 e125: x166 + x250 - x460 - x474 - x488 + x572 = 6 e126: x167 + x251 - x461 - x475 - x489 + x573 = 19 e127: x168 + x252 - x462 - x476 - x490 + x574 = 15 e128: x407 - x491 - x505 + x575 = 24 e129: x408 - x492 - x506 + x576 = 9 e130: x409 - x493 - x507 + x577 = 13 e131: x410 - x494 - x508 + x578 = 22 e132: x411 - x495 - x509 + x579 = 13 e133: x412 - x496 - x510 + x580 = 20 e134: x413 - x497 - x511 + x581 = 15 e135: x414 - x498 - x512 + x582 = 24 e136: x415 - x499 - x513 + x583 = 22 e137: x416 - x500 - x514 + x584 = -168 e138: x417 - x501 - x515 + x585 = 22 e139: x418 - x502 - x516 + x586 = 16 e140: x419 - x503 - x517 + x587 = 7 e141: x420 - x504 - x518 + x588 = 11 e142: x127 + x169 + x421 + x477 + x505 - x519 - x533 - x547 - x561 - x575 - x589 + x715 = 23 e143: x128 + x170 + x422 + x478 + x506 - x520 - x534 - x548 - x562 - x576 - x590 + x716 = 6 e144: x129 + x171 + x423 + x479 + x507 - x521 - x535 - x549 - x563 - x577 - x591 + x717 = 12 e145: x130 + x172 + x424 + x480 + x508 - x522 - x536 - x550 - x564 - x578 - x592 + x718 = 11 e146: x131 + x173 + x425 + x481 + x509 - x523 - x537 - x551 - x565 - x579 - x593 + x719 = 20 e147: x132 + x174 + x426 + x482 + x510 - x524 - x538 - x552 - x566 - x580 - x594 + x720 = 21 e148: x133 + x175 + x427 + x483 + x511 - x525 - x539 - x553 - x567 - x581 - x595 + x721 = 20 e149: x134 + x176 + x428 + x484 + x512 - x526 - x540 - x554 - x568 - x582 - x596 + x722 = 23 e150: x135 + x177 + x429 + x485 + x513 - x527 - x541 - x555 - x569 - x583 - x597 + x723 = 21 e151: x136 + x178 + x430 + x486 + x514 - x528 - x542 - x556 - x570 - x584 - x598 + x724 = 6 e152: x137 + x179 + x431 + x487 + x515 - x529 - x543 - x557 - x571 - x585 - x599 + x725 = -205 e153: x138 + x180 + x432 + x488 + x516 - x530 - x544 - x558 - x572 - x586 - x600 + x726 = 13 e154: x139 + x181 + x433 + x489 + x517 - x531 - x545 - x559 - x573 - x587 - x601 + x727 = 14 e155: x140 + x182 + x434 + x490 + x518 - x532 - x546 - x560 - x574 - x588 - x602 + x728 = 17 e156: x253 + x365 - x603 - x617 - x631 + x729 = 14 e157: x254 + x366 - x604 - x618 - x632 + x730 = 17 e158: x255 + x367 - x605 - x619 - x633 + x731 = 7 e159: x256 + x368 - x606 - x620 - x634 + x732 = 15 e160: x257 + x369 - x607 - x621 - x635 + x733 = 24 e161: x258 + x370 - x608 - x622 - x636 + x734 = 15 e162: x259 + x371 - x609 - x623 - x637 + x735 = 10 e163: x260 + x372 - x610 - x624 - x638 + x736 = 15 e164: x261 + x373 - x611 - x625 - x639 + x737 = 20 e165: x262 + x374 - x612 - x626 - x640 + x738 = 11 e166: x263 + x375 - x613 - x627 - x641 + x739 = 6 e167: x264 + x376 - x614 - x628 - x642 + x740 = -175 e168: x265 + x377 - x615 - x629 - x643 + x741 = 6 e169: x266 + x378 - x616 - x630 - x644 + x742 = 6 e170: x183 - x645 - x659 + x743 = 13 e171: x184 - x646 - x660 + x744 = 9 e172: x185 - x647 - x661 + x745 = 10 e173: x186 - x648 - x662 + x746 = 15 e174: x187 - x649 - x663 + x747 = 13 e175: x188 - x650 - x664 + x748 = 19 e176: x189 - x651 - x665 + x749 = 10 e177: x190 - x652 - x666 + x750 = 10 e178: x191 - x653 - x667 + x751 = 20 e179: x192 - x654 - x668 + x752 = 15 e180: x193 - x655 - x669 + x753 = 17 e181: x194 - x656 - x670 + x754 = 15 e182: x195 - x657 - x671 + x755 = -182 e183: x196 - x658 - x672 + x756 = 13 e184: x197 + x309 + x435 + x589 + x631 + x659 - x673 - x687 - x701 - x715 - x729 - x743 = 15 e185: x198 + x310 + x436 + x590 + x632 + x660 - x674 - x688 - x702 - x716 - x730 - x744 = 9 e186: x199 + x311 + x437 + x591 + x633 + x661 - x675 - x689 - x703 - x717 - x731 - x745 = 25 e187: x200 + x312 + x438 + x592 + x634 + x662 - x676 - x690 - x704 - x718 - x732 - x746 = 18 e188: x201 + x313 + x439 + x593 + x635 + x663 - x677 - x691 - x705 - x719 - x733 - x747 = 22 e189: x202 + x314 + x440 + x594 + x636 + x664 - x678 - x692 - x706 - x720 - x734 - x748 = 7 e190: x203 + x315 + x441 + x595 + x637 + x665 - x679 - x693 - x707 - x721 - x735 - x749 = 16 e191: x204 + x316 + x442 + x596 + x638 + x666 - x680 - x694 - x708 - x722 - x736 - x750 = 5 e192: x205 + x317 + x443 + x597 + x639 + x667 - x681 - x695 - x709 - x723 - x737 - x751 = 16 e193: x206 + x318 + x444 + x598 + x640 + x668 - x682 - x696 - x710 - x724 - x738 - x752 = 13 e194: x207 + x319 + x445 + x599 + x641 + x669 - x683 - x697 - x711 - x725 - x739 - x753 = 13 e195: x208 + x320 + x446 + x600 + x642 + x670 - x684 - x698 - x712 - x726 - x740 - x754 = 6 e196: x209 + x321 + x447 + x601 + x643 + x671 - x685 - x699 - x713 - x727 - x741 - x755 = 15 e197: x210 + x322 + x448 + x602 + x644 + x672 - x686 - x700 - x714 - x728 - x742 - x756 = -1.9e2 e198: - 266 x1 - 266 x2 - 266 x3 - 266 x4 - 266 x5 - 266 x6 - 266 x7 - 266 x8 - 266 x9 - 266 x10 - 266 x11 - 266 x12 - 266 x13 - 266 x14 + 266 x811 + [ - x1 * x811 - x2 * x811 - x3 * x811 - x4 * x811 - x5 * x811 - x6 * x811 - x7 * x811 - x8 * x811 - x9 * x811 - x10 * x811 - x11 * x811 - x12 * x811 - x13 * x811 - x14 * x811 ] >= 0 e199: - 3.3e2 x15 - 3.3e2 x16 - 3.3e2 x17 - 3.3e2 x18 - 3.3e2 x19 - 3.3e2 x20 - 3.3e2 x21 - 3.3e2 x22 - 3.3e2 x23 - 3.3e2 x24 - 3.3e2 x25 - 3.3e2 x26 - 3.3e2 x27 - 3.3e2 x28 + 3.3e2 x812 + [ - x15 * x812 - x16 * x812 - x17 * x812 - x18 * x812 - x19 * x812 - x20 * x812 - x21 * x812 - x22 * x812 - x23 * x812 - x24 * x812 - x25 * x812 - x26 * x812 - x27 * x812 - x28 * x812 ] >= 0 e200: - 116 x29 - 116 x30 - 116 x31 - 116 x32 - 116 x33 - 116 x34 - 116 x35 - 116 x36 - 116 x37 - 116 x38 - 116 x39 - 116 x40 - 116 x41 - 116 x42 + 116 x813 + [ - x29 * x813 - x30 * x813 - x31 * x813 - x32 * x813 - x33 * x813 - x34 * x813 - x35 * x813 - x36 * x813 - x37 * x813 - x38 * x813 - x39 * x813 - x40 * x813 - x41 * x813 - x42 * x813 ] >= 0 e201: - 266 x43 - 266 x44 - 266 x45 - 266 x46 - 266 x47 - 266 x48 - 266 x49 - 266 x50 - 266 x51 - 266 x52 - 266 x53 - 266 x54 - 266 x55 - 266 x56 + 266 x814 + [ - x43 * x814 - x44 * x814 - x45 * x814 - x46 * x814 - x47 * x814 - x48 * x814 - x49 * x814 - x50 * x814 - x51 * x814 - x52 * x814 - x53 * x814 - x54 * x814 - x55 * x814 - x56 * x814 ] >= 0 e202: - 425 x57 - 425 x58 - 425 x59 - 425 x60 - 425 x61 - 425 x62 - 425 x63 - 425 x64 - 425 x65 - 425 x66 - 425 x67 - 425 x68 - 425 x69 - 425 x70 + 425 x815 + [ - x57 * x815 - x58 * x815 - x59 * x815 - x60 * x815 - x61 * x815 - x62 * x815 - x63 * x815 - x64 * x815 - x65 * x815 - x66 * x815 - x67 * x815 - x68 * x815 - x69 * x815 - x70 * x815 ] >= 0 e203: - 359 x71 - 359 x72 - 359 x73 - 359 x74 - 359 x75 - 359 x76 - 359 x77 - 359 x78 - 359 x79 - 359 x80 - 359 x81 - 359 x82 - 359 x83 - 359 x84 + 359 x816 + [ - x71 * x816 - x72 * x816 - x73 * x816 - x74 * x816 - x75 * x816 - x76 * x816 - x77 * x816 - x78 * x816 - x79 * x816 - x80 * x816 - x81 * x816 - x82 * x816 - x83 * x816 - x84 * x816 ] >= 0 e204: - 406 x85 - 406 x86 - 406 x87 - 406 x88 - 406 x89 - 406 x90 - 406 x91 - 406 x92 - 406 x93 - 406 x94 - 406 x95 - 406 x96 - 406 x97 - 406 x98 + 406 x817 + [ - x85 * x817 - x86 * x817 - x87 * x817 - x88 * x817 - x89 * x817 - x90 * x817 - x91 * x817 - x92 * x817 - x93 * x817 - x94 * x817 - x95 * x817 - x96 * x817 - x97 * x817 - x98 * x817 ] >= 0 e205: - 223 x99 - 223 x100 - 223 x101 - 223 x102 - 223 x103 - 223 x104 - 223 x105 - 223 x106 - 223 x107 - 223 x108 - 223 x109 - 223 x110 - 223 x111 - 223 x112 + 223 x818 + [ - x99 * x818 - x100 * x818 - x101 * x818 - x102 * x818 - x103 * x818 - x104 * x818 - x105 * x818 - x106 * x818 - x107 * x818 - x108 * x818 - x109 * x818 - x110 * x818 - x111 * x818 - x112 * x818 ] >= 0 e206: - 248 x113 - 248 x114 - 248 x115 - 248 x116 - 248 x117 - 248 x118 - 248 x119 - 248 x120 - 248 x121 - 248 x122 - 248 x123 - 248 x124 - 248 x125 - 248 x126 + 248 x819 + [ - x113 * x819 - x114 * x819 - x115 * x819 - x116 * x819 - x117 * x819 - x118 * x819 - x119 * x819 - x120 * x819 - x121 * x819 - x122 * x819 - x123 * x819 - x124 * x819 - x125 * x819 - x126 * x819 ] >= 0 e207: - 363 x127 - 363 x128 - 363 x129 - 363 x130 - 363 x131 - 363 x132 - 363 x133 - 363 x134 - 363 x135 - 363 x136 - 363 x137 - 363 x138 - 363 x139 - 363 x140 + 363 x820 + [ - x127 * x820 - x128 * x820 - x129 * x820 - x130 * x820 - x131 * x820 - x132 * x820 - x133 * x820 - x134 * x820 - x135 * x820 - x136 * x820 - x137 * x820 - x138 * x820 - x139 * x820 - x140 * x820 ] >= 0 e208: - 227 x141 - 227 x142 - 227 x143 - 227 x144 - 227 x145 - 227 x146 - 227 x147 - 227 x148 - 227 x149 - 227 x150 - 227 x151 - 227 x152 - 227 x153 - 227 x154 + 227 x821 + [ - x141 * x821 - x142 * x821 - x143 * x821 - x144 * x821 - x145 * x821 - x146 * x821 - x147 * x821 - x148 * x821 - x149 * x821 - x150 * x821 - x151 * x821 - x152 * x821 - x153 * x821 - x154 * x821 ] >= 0 e209: - 437 x155 - 437 x156 - 437 x157 - 437 x158 - 437 x159 - 437 x160 - 437 x161 - 437 x162 - 437 x163 - 437 x164 - 437 x165 - 437 x166 - 437 x167 - 437 x168 + 437 x822 + [ - x155 * x822 - x156 * x822 - x157 * x822 - x158 * x822 - x159 * x822 - x160 * x822 - x161 * x822 - x162 * x822 - x163 * x822 - x164 * x822 - x165 * x822 - x166 * x822 - x167 * x822 - x168 * x822 ] >= 0 e210: - 283 x169 - 283 x170 - 283 x171 - 283 x172 - 283 x173 - 283 x174 - 283 x175 - 283 x176 - 283 x177 - 283 x178 - 283 x179 - 283 x180 - 283 x181 - 283 x182 + 283 x823 + [ - x169 * x823 - x170 * x823 - x171 * x823 - x172 * x823 - x173 * x823 - x174 * x823 - x175 * x823 - x176 * x823 - x177 * x823 - x178 * x823 - x179 * x823 - x180 * x823 - x181 * x823 - x182 * x823 ] >= 0 e211: - 419 x183 - 419 x184 - 419 x185 - 419 x186 - 419 x187 - 419 x188 - 419 x189 - 419 x190 - 419 x191 - 419 x192 - 419 x193 - 419 x194 - 419 x195 - 419 x196 + 419 x824 + [ - x183 * x824 - x184 * x824 - x185 * x824 - x186 * x824 - x187 * x824 - x188 * x824 - x189 * x824 - x190 * x824 - x191 * x824 - x192 * x824 - x193 * x824 - x194 * x824 - x195 * x824 - x196 * x824 ] >= 0 e212: - 377 x197 - 377 x198 - 377 x199 - 377 x200 - 377 x201 - 377 x202 - 377 x203 - 377 x204 - 377 x205 - 377 x206 - 377 x207 - 377 x208 - 377 x209 - 377 x210 + 377 x825 + [ - x197 * x825 - x198 * x825 - x199 * x825 - x200 * x825 - x201 * x825 - x202 * x825 - x203 * x825 - x204 * x825 - x205 * x825 - x206 * x825 - x207 * x825 - x208 * x825 - x209 * x825 - x210 * x825 ] >= 0 e213: - 425 x211 - 425 x212 - 425 x213 - 425 x214 - 425 x215 - 425 x216 - 425 x217 - 425 x218 - 425 x219 - 425 x220 - 425 x221 - 425 x222 - 425 x223 - 425 x224 + 425 x826 + [ - x211 * x826 - x212 * x826 - x213 * x826 - x214 * x826 - x215 * x826 - x216 * x826 - x217 * x826 - x218 * x826 - x219 * x826 - x220 * x826 - x221 * x826 - x222 * x826 - x223 * x826 - x224 * x826 ] >= 0 e214: - 227 x225 - 227 x226 - 227 x227 - 227 x228 - 227 x229 - 227 x230 - 227 x231 - 227 x232 - 227 x233 - 227 x234 - 227 x235 - 227 x236 - 227 x237 - 227 x238 + 227 x827 + [ - x225 * x827 - x226 * x827 - x227 * x827 - x228 * x827 - x229 * x827 - x230 * x827 - x231 * x827 - x232 * x827 - x233 * x827 - x234 * x827 - x235 * x827 - x236 * x827 - x237 * x827 - x238 * x827 ] >= 0 e215: - 428 x239 - 428 x240 - 428 x241 - 428 x242 - 428 x243 - 428 x244 - 428 x245 - 428 x246 - 428 x247 - 428 x248 - 428 x249 - 428 x250 - 428 x251 - 428 x252 + 428 x828 + [ - x239 * x828 - x240 * x828 - x241 * x828 - x242 * x828 - x243 * x828 - x244 * x828 - x245 * x828 - x246 * x828 - x247 * x828 - x248 * x828 - x249 * x828 - x250 * x828 - x251 * x828 - x252 * x828 ] >= 0 e216: - 252 x253 - 252 x254 - 252 x255 - 252 x256 - 252 x257 - 252 x258 - 252 x259 - 252 x260 - 252 x261 - 252 x262 - 252 x263 - 252 x264 - 252 x265 - 252 x266 + 252 x829 + [ - x253 * x829 - x254 * x829 - x255 * x829 - x256 * x829 - x257 * x829 - x258 * x829 - x259 * x829 - x260 * x829 - x261 * x829 - x262 * x829 - x263 * x829 - x264 * x829 - x265 * x829 - x266 * x829 ] >= 0 e217: - 3.3e2 x267 - 3.3e2 x268 - 3.3e2 x269 - 3.3e2 x270 - 3.3e2 x271 - 3.3e2 x272 - 3.3e2 x273 - 3.3e2 x274 - 3.3e2 x275 - 3.3e2 x276 - 3.3e2 x277 - 3.3e2 x278 - 3.3e2 x279 - 3.3e2 x280 + 3.3e2 x830 + [ - x267 * x830 - x268 * x830 - x269 * x830 - x270 * x830 - x271 * x830 - x272 * x830 - x273 * x830 - x274 * x830 - x275 * x830 - x276 * x830 - x277 * x830 - x278 * x830 - x279 * x830 - x280 * x830 ] >= 0 e218: - 406 x281 - 406 x282 - 406 x283 - 406 x284 - 406 x285 - 406 x286 - 406 x287 - 406 x288 - 406 x289 - 406 x290 - 406 x291 - 406 x292 - 406 x293 - 406 x294 + 406 x831 + [ - x281 * x831 - x282 * x831 - x283 * x831 - x284 * x831 - x285 * x831 - x286 * x831 - x287 * x831 - x288 * x831 - x289 * x831 - x290 * x831 - x291 * x831 - x292 * x831 - x293 * x831 - x294 * x831 ] >= 0 e219: - 256 x295 - 256 x296 - 256 x297 - 256 x298 - 256 x299 - 256 x300 - 256 x301 - 256 x302 - 256 x303 - 256 x304 - 256 x305 - 256 x306 - 256 x307 - 256 x308 + 256 x832 + [ - x295 * x832 - x296 * x832 - x297 * x832 - x298 * x832 - x299 * x832 - x300 * x832 - x301 * x832 - x302 * x832 - x303 * x832 - x304 * x832 - x305 * x832 - x306 * x832 - x307 * x832 - x308 * x832 ] >= 0 e220: - 413 x309 - 413 x310 - 413 x311 - 413 x312 - 413 x313 - 413 x314 - 413 x315 - 413 x316 - 413 x317 - 413 x318 - 413 x319 - 413 x320 - 413 x321 - 413 x322 + 413 x833 + [ - x309 * x833 - x310 * x833 - x311 * x833 - x312 * x833 - x313 * x833 - x314 * x833 - x315 * x833 - x316 * x833 - x317 * x833 - x318 * x833 - x319 * x833 - x320 * x833 - x321 * x833 - x322 * x833 ] >= 0 e221: - 359 x323 - 359 x324 - 359 x325 - 359 x326 - 359 x327 - 359 x328 - 359 x329 - 359 x330 - 359 x331 - 359 x332 - 359 x333 - 359 x334 - 359 x335 - 359 x336 + 359 x834 + [ - x323 * x834 - x324 * x834 - x325 * x834 - x326 * x834 - x327 * x834 - x328 * x834 - x329 * x834 - x330 * x834 - x331 * x834 - x332 * x834 - x333 * x834 - x334 * x834 - x335 * x834 - x336 * x834 ] >= 0 e222: - 223 x337 - 223 x338 - 223 x339 - 223 x340 - 223 x341 - 223 x342 - 223 x343 - 223 x344 - 223 x345 - 223 x346 - 223 x347 - 223 x348 - 223 x349 - 223 x350 + 223 x835 + [ - x337 * x835 - x338 * x835 - x339 * x835 - x340 * x835 - x341 * x835 - x342 * x835 - x343 * x835 - x344 * x835 - x345 * x835 - x346 * x835 - x347 * x835 - x348 * x835 - x349 * x835 - x350 * x835 ] >= 0 e223: - 256 x351 - 256 x352 - 256 x353 - 256 x354 - 256 x355 - 256 x356 - 256 x357 - 256 x358 - 256 x359 - 256 x360 - 256 x361 - 256 x362 - 256 x363 - 256 x364 + 256 x836 + [ - x351 * x836 - x352 * x836 - x353 * x836 - x354 * x836 - x355 * x836 - x356 * x836 - x357 * x836 - x358 * x836 - x359 * x836 - x360 * x836 - x361 * x836 - x362 * x836 - x363 * x836 - x364 * x836 ] >= 0 e224: - 391 x365 - 391 x366 - 391 x367 - 391 x368 - 391 x369 - 391 x370 - 391 x371 - 391 x372 - 391 x373 - 391 x374 - 391 x375 - 391 x376 - 391 x377 - 391 x378 + 391 x837 + [ - x365 * x837 - x366 * x837 - x367 * x837 - x368 * x837 - x369 * x837 - x370 * x837 - x371 * x837 - x372 * x837 - x373 * x837 - x374 * x837 - x375 * x837 - x376 * x837 - x377 * x837 - x378 * x837 ] >= 0 e225: - 116 x379 - 116 x380 - 116 x381 - 116 x382 - 116 x383 - 116 x384 - 116 x385 - 116 x386 - 116 x387 - 116 x388 - 116 x389 - 116 x390 - 116 x391 - 116 x392 + 116 x838 + [ - x379 * x838 - x380 * x838 - x381 * x838 - x382 * x838 - x383 * x838 - x384 * x838 - x385 * x838 - x386 * x838 - x387 * x838 - x388 * x838 - x389 * x838 - x390 * x838 - x391 * x838 - x392 * x838 ] >= 0 e226: - 248 x393 - 248 x394 - 248 x395 - 248 x396 - 248 x397 - 248 x398 - 248 x399 - 248 x400 - 248 x401 - 248 x402 - 248 x403 - 248 x404 - 248 x405 - 248 x406 + 248 x839 + [ - x393 * x839 - x394 * x839 - x395 * x839 - x396 * x839 - x397 * x839 - x398 * x839 - x399 * x839 - x400 * x839 - x401 * x839 - x402 * x839 - x403 * x839 - x404 * x839 - x405 * x839 - x406 * x839 ] >= 0 e227: - 2.6e2 x407 - 2.6e2 x408 - 2.6e2 x409 - 2.6e2 x410 - 2.6e2 x411 - 2.6e2 x412 - 2.6e2 x413 - 2.6e2 x414 - 2.6e2 x415 - 2.6e2 x416 - 2.6e2 x417 - 2.6e2 x418 - 2.6e2 x419 - 2.6e2 x420 + 2.6e2 x840 + [ - x407 * x840 - x408 * x840 - x409 * x840 - x410 * x840 - x411 * x840 - x412 * x840 - x413 * x840 - x414 * x840 - x415 * x840 - x416 * x840 - x417 * x840 - x418 * x840 - x419 * x840 - x420 * x840 ] >= 0 e228: - 143 x421 - 143 x422 - 143 x423 - 143 x424 - 143 x425 - 143 x426 - 143 x427 - 143 x428 - 143 x429 - 143 x430 - 143 x431 - 143 x432 - 143 x433 - 143 x434 + 143 x841 + [ - x421 * x841 - x422 * x841 - x423 * x841 - x424 * x841 - x425 * x841 - x426 * x841 - x427 * x841 - x428 * x841 - x429 * x841 - x430 * x841 - x431 * x841 - x432 * x841 - x433 * x841 - x434 * x841 ] >= 0 e229: - 109 x435 - 109 x436 - 109 x437 - 109 x438 - 109 x439 - 109 x440 - 109 x441 - 109 x442 - 109 x443 - 109 x444 - 109 x445 - 109 x446 - 109 x447 - 109 x448 + 109 x842 + [ - x435 * x842 - x436 * x842 - x437 * x842 - x438 * x842 - x439 * x842 - x440 * x842 - x441 * x842 - x442 * x842 - x443 * x842 - x444 * x842 - x445 * x842 - x446 * x842 - x447 * x842 - x448 * x842 ] >= 0 e230: - 437 x449 - 437 x450 - 437 x451 - 437 x452 - 437 x453 - 437 x454 - 437 x455 - 437 x456 - 437 x457 - 437 x458 - 437 x459 - 437 x460 - 437 x461 - 437 x462 + 437 x843 + [ - x449 * x843 - x450 * x843 - x451 * x843 - x452 * x843 - x453 * x843 - x454 * x843 - x455 * x843 - x456 * x843 - x457 * x843 - x458 * x843 - x459 * x843 - x460 * x843 - x461 * x843 - x462 * x843 ] >= 0 e231: - 428 x463 - 428 x464 - 428 x465 - 428 x466 - 428 x467 - 428 x468 - 428 x469 - 428 x470 - 428 x471 - 428 x472 - 428 x473 - 428 x474 - 428 x475 - 428 x476 + 428 x844 + [ - x463 * x844 - x464 * x844 - x465 * x844 - x466 * x844 - x467 * x844 - x468 * x844 - x469 * x844 - x470 * x844 - x471 * x844 - x472 * x844 - x473 * x844 - x474 * x844 - x475 * x844 - x476 * x844 ] >= 0 e232: - 398 x477 - 398 x478 - 398 x479 - 398 x480 - 398 x481 - 398 x482 - 398 x483 - 398 x484 - 398 x485 - 398 x486 - 398 x487 - 398 x488 - 398 x489 - 398 x490 + 398 x845 + [ - x477 * x845 - x478 * x845 - x479 * x845 - x480 * x845 - x481 * x845 - x482 * x845 - x483 * x845 - x484 * x845 - x485 * x845 - x486 * x845 - x487 * x845 - x488 * x845 - x489 * x845 - x490 * x845 ] >= 0 e233: - 2.6e2 x491 - 2.6e2 x492 - 2.6e2 x493 - 2.6e2 x494 - 2.6e2 x495 - 2.6e2 x496 - 2.6e2 x497 - 2.6e2 x498 - 2.6e2 x499 - 2.6e2 x500 - 2.6e2 x501 - 2.6e2 x502 - 2.6e2 x503 - 2.6e2 x504 + 2.6e2 x846 + [ - x491 * x846 - x492 * x846 - x493 * x846 - x494 * x846 - x495 * x846 - x496 * x846 - x497 * x846 - x498 * x846 - x499 * x846 - x500 * x846 - x501 * x846 - x502 * x846 - x503 * x846 - x504 * x846 ] >= 0 e234: - 134 x505 - 134 x506 - 134 x507 - 134 x508 - 134 x509 - 134 x510 - 134 x511 - 134 x512 - 134 x513 - 134 x514 - 134 x515 - 134 x516 - 134 x517 - 134 x518 + 134 x847 + [ - x505 * x847 - x506 * x847 - x507 * x847 - x508 * x847 - x509 * x847 - x510 * x847 - x511 * x847 - x512 * x847 - x513 * x847 - x514 * x847 - x515 * x847 - x516 * x847 - x517 * x847 - x518 * x847 ] >= 0 e235: - 363 x519 - 363 x520 - 363 x521 - 363 x522 - 363 x523 - 363 x524 - 363 x525 - 363 x526 - 363 x527 - 363 x528 - 363 x529 - 363 x530 - 363 x531 - 363 x532 + 363 x848 + [ - x519 * x848 - x520 * x848 - x521 * x848 - x522 * x848 - x523 * x848 - x524 * x848 - x525 * x848 - x526 * x848 - x527 * x848 - x528 * x848 - x529 * x848 - x530 * x848 - x531 * x848 - x532 * x848 ] >= 0 e236: - 283 x533 - 283 x534 - 283 x535 - 283 x536 - 283 x537 - 283 x538 - 283 x539 - 283 x540 - 283 x541 - 283 x542 - 283 x543 - 283 x544 - 283 x545 - 283 x546 + 283 x849 + [ - x533 * x849 - x534 * x849 - x535 * x849 - x536 * x849 - x537 * x849 - x538 * x849 - x539 * x849 - x540 * x849 - x541 * x849 - x542 * x849 - x543 * x849 - x544 * x849 - x545 * x849 - x546 * x849 ] >= 0 e237: - 143 x547 - 143 x548 - 143 x549 - 143 x550 - 143 x551 - 143 x552 - 143 x553 - 143 x554 - 143 x555 - 143 x556 - 143 x557 - 143 x558 - 143 x559 - 143 x560 + 143 x850 + [ - x547 * x850 - x548 * x850 - x549 * x850 - x550 * x850 - x551 * x850 - x552 * x850 - x553 * x850 - x554 * x850 - x555 * x850 - x556 * x850 - x557 * x850 - x558 * x850 - x559 * x850 - x560 * x850 ] >= 0 e238: - 398 x561 - 398 x562 - 398 x563 - 398 x564 - 398 x565 - 398 x566 - 398 x567 - 398 x568 - 398 x569 - 398 x570 - 398 x571 - 398 x572 - 398 x573 - 398 x574 + 398 x851 + [ - x561 * x851 - x562 * x851 - x563 * x851 - x564 * x851 - x565 * x851 - x566 * x851 - x567 * x851 - x568 * x851 - x569 * x851 - x570 * x851 - x571 * x851 - x572 * x851 - x573 * x851 - x574 * x851 ] >= 0 e239: - 134 x575 - 134 x576 - 134 x577 - 134 x578 - 134 x579 - 134 x580 - 134 x581 - 134 x582 - 134 x583 - 134 x584 - 134 x585 - 134 x586 - 134 x587 - 134 x588 + 134 x852 + [ - x575 * x852 - x576 * x852 - x577 * x852 - x578 * x852 - x579 * x852 - x580 * x852 - x581 * x852 - x582 * x852 - x583 * x852 - x584 * x852 - x585 * x852 - x586 * x852 - x587 * x852 - x588 * x852 ] >= 0 e240: - 314 x589 - 314 x590 - 314 x591 - 314 x592 - 314 x593 - 314 x594 - 314 x595 - 314 x596 - 314 x597 - 314 x598 - 314 x599 - 314 x600 - 314 x601 - 314 x602 + 314 x853 + [ - x589 * x853 - x590 * x853 - x591 * x853 - x592 * x853 - x593 * x853 - x594 * x853 - x595 * x853 - x596 * x853 - x597 * x853 - x598 * x853 - x599 * x853 - x600 * x853 - x601 * x853 - x602 * x853 ] >= 0 e241: - 252 x603 - 252 x604 - 252 x605 - 252 x606 - 252 x607 - 252 x608 - 252 x609 - 252 x610 - 252 x611 - 252 x612 - 252 x613 - 252 x614 - 252 x615 - 252 x616 + 252 x854 + [ - x603 * x854 - x604 * x854 - x605 * x854 - x606 * x854 - x607 * x854 - x608 * x854 - x609 * x854 - x610 * x854 - x611 * x854 - x612 * x854 - x613 * x854 - x614 * x854 - x615 * x854 - x616 * x854 ] >= 0 e242: - 391 x617 - 391 x618 - 391 x619 - 391 x620 - 391 x621 - 391 x622 - 391 x623 - 391 x624 - 391 x625 - 391 x626 - 391 x627 - 391 x628 - 391 x629 - 391 x630 + 391 x855 + [ - x617 * x855 - x618 * x855 - x619 * x855 - x620 * x855 - x621 * x855 - x622 * x855 - x623 * x855 - x624 * x855 - x625 * x855 - x626 * x855 - x627 * x855 - x628 * x855 - x629 * x855 - x630 * x855 ] >= 0 e243: - 366 x631 - 366 x632 - 366 x633 - 366 x634 - 366 x635 - 366 x636 - 366 x637 - 366 x638 - 366 x639 - 366 x640 - 366 x641 - 366 x642 - 366 x643 - 366 x644 + 366 x856 + [ - x631 * x856 - x632 * x856 - x633 * x856 - x634 * x856 - x635 * x856 - x636 * x856 - x637 * x856 - x638 * x856 - x639 * x856 - x640 * x856 - x641 * x856 - x642 * x856 - x643 * x856 - x644 * x856 ] >= 0 e244: - 419 x645 - 419 x646 - 419 x647 - 419 x648 - 419 x649 - 419 x650 - 419 x651 - 419 x652 - 419 x653 - 419 x654 - 419 x655 - 419 x656 - 419 x657 - 419 x658 + 419 x857 + [ - x645 * x857 - x646 * x857 - x647 * x857 - x648 * x857 - x649 * x857 - x650 * x857 - x651 * x857 - x652 * x857 - x653 * x857 - x654 * x857 - x655 * x857 - x656 * x857 - x657 * x857 - x658 * x857 ] >= 0 e245: - 179 x659 - 179 x660 - 179 x661 - 179 x662 - 179 x663 - 179 x664 - 179 x665 - 179 x666 - 179 x667 - 179 x668 - 179 x669 - 179 x670 - 179 x671 - 179 x672 + 179 x858 + [ - x659 * x858 - x660 * x858 - x661 * x858 - x662 * x858 - x663 * x858 - x664 * x858 - x665 * x858 - x666 * x858 - x667 * x858 - x668 * x858 - x669 * x858 - x670 * x858 - x671 * x858 - x672 * x858 ] >= 0 e246: - 377 x673 - 377 x674 - 377 x675 - 377 x676 - 377 x677 - 377 x678 - 377 x679 - 377 x680 - 377 x681 - 377 x682 - 377 x683 - 377 x684 - 377 x685 - 377 x686 + 377 x859 + [ - x673 * x859 - x674 * x859 - x675 * x859 - x676 * x859 - x677 * x859 - x678 * x859 - x679 * x859 - x680 * x859 - x681 * x859 - x682 * x859 - x683 * x859 - x684 * x859 - x685 * x859 - x686 * x859 ] >= 0 e247: - 413 x687 - 413 x688 - 413 x689 - 413 x690 - 413 x691 - 413 x692 - 413 x693 - 413 x694 - 413 x695 - 413 x696 - 413 x697 - 413 x698 - 413 x699 - 413 x700 + 413 x860 + [ - x687 * x860 - x688 * x860 - x689 * x860 - x690 * x860 - x691 * x860 - x692 * x860 - x693 * x860 - x694 * x860 - x695 * x860 - x696 * x860 - x697 * x860 - x698 * x860 - x699 * x860 - x700 * x860 ] >= 0 e248: - 109 x701 - 109 x702 - 109 x703 - 109 x704 - 109 x705 - 109 x706 - 109 x707 - 109 x708 - 109 x709 - 109 x710 - 109 x711 - 109 x712 - 109 x713 - 109 x714 + 109 x861 + [ - x701 * x861 - x702 * x861 - x703 * x861 - x704 * x861 - x705 * x861 - x706 * x861 - x707 * x861 - x708 * x861 - x709 * x861 - x710 * x861 - x711 * x861 - x712 * x861 - x713 * x861 - x714 * x861 ] >= 0 e249: - 314 x715 - 314 x716 - 314 x717 - 314 x718 - 314 x719 - 314 x720 - 314 x721 - 314 x722 - 314 x723 - 314 x724 - 314 x725 - 314 x726 - 314 x727 - 314 x728 + 314 x862 + [ - x715 * x862 - x716 * x862 - x717 * x862 - x718 * x862 - x719 * x862 - x720 * x862 - x721 * x862 - x722 * x862 - x723 * x862 - x724 * x862 - x725 * x862 - x726 * x862 - x727 * x862 - x728 * x862 ] >= 0 e250: - 366 x729 - 366 x730 - 366 x731 - 366 x732 - 366 x733 - 366 x734 - 366 x735 - 366 x736 - 366 x737 - 366 x738 - 366 x739 - 366 x740 - 366 x741 - 366 x742 + 366 x863 + [ - x729 * x863 - x730 * x863 - x731 * x863 - x732 * x863 - x733 * x863 - x734 * x863 - x735 * x863 - x736 * x863 - x737 * x863 - x738 * x863 - x739 * x863 - x740 * x863 - x741 * x863 - x742 * x863 ] >= 0 e251: - 179 x743 - 179 x744 - 179 x745 - 179 x746 - 179 x747 - 179 x748 - 179 x749 - 179 x750 - 179 x751 - 179 x752 - 179 x753 - 179 x754 - 179 x755 - 179 x756 + 179 x864 + [ - x743 * x864 - x744 * x864 - x745 * x864 - x746 * x864 - x747 * x864 - x748 * x864 - x749 * x864 - x750 * x864 - x751 * x864 - x752 * x864 - x753 * x864 - x754 * x864 - x755 * x864 - x756 * x864 ] >= 0 e252: x811 + x812 + x813 + x814 + x815 + x816 + x817 + x818 + x819 + x820 + x821 + x822 + x823 + x824 + x825 + x826 + x827 + x828 + x829 + x830 + x831 + x832 + x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841 + x842 + x843 + x844 + x845 + x846 + x847 + x848 + x849 + x850 + x851 + x852 + x853 + x854 + x855 + x856 + x857 + x858 + x859 + x860 + x861 + x862 + x863 + x864 <= 10632 e253: x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 - 266 b757 <= 0 e254: x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 - 3.3e2 b758 <= 0 e255: x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 - 116 b759 <= 0 e256: x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 - 266 b760 <= 0 e257: x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 - 425 b761 <= 0 e258: x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 - 359 b762 <= 0 e259: x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 - 406 b763 <= 0 e260: x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 - 223 b764 <= 0 e261: x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 - 248 b765 <= 0 e262: x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 - 363 b766 <= 0 e263: x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 - 227 b767 <= 0 e264: x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 - 437 b768 <= 0 e265: x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 + x182 - 283 b769 <= 0 e266: x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 + x193 + x194 + x195 + x196 - 419 b770 <= 0 e267: x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 - 377 b771 <= 0 e268: x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 - 425 b772 <= 0 e269: x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 - 227 b773 <= 0 e270: x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 - 428 b774 <= 0 e271: x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 - 252 b775 <= 0 e272: x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 - 3.3e2 b776 <= 0 e273: x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 - 406 b777 <= 0 e274: x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 - 256 b778 <= 0 e275: x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 - 413 b779 <= 0 e276: x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 - 359 b780 <= 0 e277: x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 - 223 b781 <= 0 e278: x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 - 256 b782 <= 0 e279: x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 - 391 b783 <= 0 e280: x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 - 116 b784 <= 0 e281: x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 - 248 b785 <= 0 e282: x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 - 2.6e2 b786 <= 0 e283: x421 + x422 + x423 + x424 + x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 - 143 b787 <= 0 e284: x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 - 109 b788 <= 0 e285: x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 - 437 b789 <= 0 e286: x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 - 428 b790 <= 0 e287: x477 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 - 398 b791 <= 0 e288: x491 + x492 + x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 - 2.6e2 b792 <= 0 e289: x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 - 134 b793 <= 0 e290: x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x530 + x531 + x532 - 363 b794 <= 0 e291: x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x546 - 283 b795 <= 0 e292: x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 - 143 b796 <= 0 e293: x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 - 398 b797 <= 0 e294: x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 - 134 b798 <= 0 e295: x589 + x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 - 314 b799 <= 0 e296: x603 + x604 + x605 + x606 + x607 + x608 + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 - 252 b800 <= 0 e297: x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 + x628 + x629 + x630 - 391 b801 <= 0 e298: x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 - 366 b802 <= 0 e299: x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 + x657 + x658 - 419 b803 <= 0 e300: x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 - 179 b804 <= 0 e301: x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 - 377 b805 <= 0 e302: x687 + x688 + x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 + x697 + x698 + x699 + x700 - 413 b806 <= 0 e303: x701 + x702 + x703 + x704 + x705 + x706 + x707 + x708 + x709 + x710 + x711 + x712 + x713 + x714 - 109 b807 <= 0 e304: x715 + x716 + x717 + x718 + x719 + x720 + x721 + x722 + x723 + x724 + x725 + x726 + x727 + x728 - 314 b808 <= 0 e305: x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 + x737 + x738 + x739 + x740 + x741 + x742 - 366 b809 <= 0 e306: x743 + x744 + x745 + x746 + x747 + x748 + x749 + x750 + x751 + x752 + x753 + x754 + x755 + x756 - 179 b810 <= 0 Binary b757 b758 b759 b760 b761 b762 b763 b764 b765 b766 b767 b768 b769 b770 b771 b772 b773 b774 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