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