\ Equation counts \ Total E G L N X C B \ 1044 180 144 720 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 810 666 144 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2970 2952 18 0 \ Minimize obj: 1031095 - 1.2e3 x1 - 7.8e3 x2 - 3.36e3 x3 - 4.2e2 x4 - 6.6e3 x5 - 3.6e3 x6 - 1.2e4 x7 - 1.92e4 x8 - 1.452e4 x9 - 3e3 x10 - 1.17e4 x11 - 4.32e3 x12 - 4.2e2 x13 - 5.61e3 x14 - 1.6e3 x15 - 8e3 x16 - 8e3 x17 - 3.96e3 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 b595 + 0 b596 + 0 b597 + 0 b598 + 0 b599 + 0 b600 + 0 b601 + 0 b602 + 0 b603 + 0 b604 + 0 b605 + 0 b606 + 0 b607 + 0 b608 + 0 b609 + 0 b610 + 0 b611 + 0 b612 + 0 b613 + 0 b614 + 0 b615 + 0 b616 + 0 b617 + 0 b618 + 0 b619 + 0 b620 + 0 b621 + 0 b622 + 0 b623 + 0 b624 + 0 b625 + 0 b626 + 0 b627 + 0 b628 + 0 b629 + 0 b630 + 0 b631 + 0 b632 + 0 b633 + 0 b634 + 0 b635 + 0 b636 + 0 b637 + 0 b638 + 0 b639 + 0 b640 + 0 b641 + 0 b642 + 0 b643 + 0 b644 + 0 b645 + 0 b646 + 0 b647 + 0 b648 + 0 b649 + 0 b650 + 0 b651 + 0 b652 + 0 b653 + 0 b654 + 0 b655 + 0 b656 + 0 b657 + 0 b658 + 0 b659 + 0 b660 + 0 b661 + 0 b662 + 0 b663 + 0 b664 + 0 b665 + 0 b666 + 0 b667 + 0 b668 + 0 b669 + 0 b670 + 0 b671 + 0 b672 + 0 b673 + 0 b674 + 0 b675 + 0 b676 + 0 b677 + 0 b678 + 0 b679 + 0 b680 + 0 b681 + 0 b682 + 0 b683 + 0 b684 + 0 b685 + 0 b686 + 0 b687 + 0 b688 + 0 b689 + 0 b690 + 0 b691 + 0 b692 + 0 b693 + 0 b694 + 0 b695 + 0 b696 + 0 b697 + 0 b698 + 0 b699 + 0 b700 + 0 b701 + 0 b702 + 0 b703 + 0 b704 + 0 b705 + 0 b706 + 0 b707 + 0 b708 + 0 b709 + 0 b710 + 0 b711 + 0 b712 + 0 b713 + 0 b714 + 0 b715 + 0 b716 + 0 b717 + 0 b718 + 0 b719 + 0 b720 + 0 b721 + 0 b722 + 0 b723 + 0 b724 + 0 b725 + 0 b726 + 0 b727 + 0 b728 + 0 b729 + 0 b730 + 0 b731 + 0 b732 + 0 b733 + 0 b734 + 0 b735 + 0 b736 + 0 b737 + 0 b738 + 300 x739 + 2.4e2 x740 + 2.1e2 x741 + 1.4e2 x742 + 300 x743 + 2.5e2 x744 + 300 x745 + 2.1e2 x746 + 100 x747 + 1.5e2 x748 + 2.2e2 x749 + 200 x750 + 300 x751 + 2.9e2 x752 + 400 x753 + 1.2e2 x754 + 300 x755 + 1.5e2 x756 + 1.5e2 x757 + 100 x758 + 2.9e2 x759 + 100 x760 + 1.2e2 x761 + 1.8e2 x762 + 2.2e2 x763 + 1.1e2 x764 + 1.3e2 x765 + 1.9e2 x766 + 1.1e2 x767 + 1.6e2 x768 + 2.2e2 x769 + 1.4e2 x770 + 1.2e2 x771 + 2.6e2 x772 + 2.2e2 x773 + 1.4e2 x774 + 300 x775 + 2.4e2 x776 + 2.1e2 x777 + 1.4e2 x778 + 300 x779 + 2.5e2 x780 + 300 x781 + 2.1e2 x782 + 100 x783 + 1.5e2 x784 + 2.2e2 x785 + 200 x786 + 300 x787 + 2.9e2 x788 + 400 x789 + 1.2e2 x790 + 300 x791 + 1.5e2 x792 + 1.5e2 x793 + 100 x794 + 2.9e2 x795 + 100 x796 + 1.2e2 x797 + 1.8e2 x798 + 2.2e2 x799 + 1.1e2 x800 + 1.3e2 x801 + 1.9e2 x802 + 1.1e2 x803 + 1.6e2 x804 + 2.2e2 x805 + 1.4e2 x806 + 1.2e2 x807 + 2.6e2 x808 + 2.2e2 x809 + 1.4e2 x810 + 1.5e2 x1^2 + 3.9e2 x2^2 + 2.4e2 x3^2 + 70 x4^2 + 165 x5^2 + 100 x6^2 + 200 x7^2 + 400 x8^2 + 3.3e2 x9^2 + 1.5e2 x10^2 + 3.9e2 x11^2 + 2.4e2 x12^2 + 70 x13^2 + 165 x14^2 + 100 x15^2 + 200 x16^2 + 400 x17^2 + 3.3e2 x18^2 Subject To e2: - x1 + x2 + x739 >= 0 e3: - x1 + x3 + x740 >= 0 e4: - x1 + x4 + x741 >= 0 e5: - x1 + x5 + x742 >= 0 e6: - x1 + x6 + x743 >= 0 e7: - x1 + x7 + x744 >= 0 e8: - x1 + x8 + x745 >= 0 e9: - x1 + x9 + x746 >= 0 e10: - x2 + x3 + x747 >= 0 e11: - x2 + x4 + x748 >= 0 e12: - x2 + x5 + x749 >= 0 e13: - x2 + x6 + x750 >= 0 e14: - x2 + x7 + x751 >= 0 e15: - x2 + x8 + x752 >= 0 e16: - x2 + x9 + x753 >= 0 e17: - x3 + x4 + x754 >= 0 e18: - x3 + x5 + x755 >= 0 e19: - x3 + x6 + x756 >= 0 e20: - x3 + x7 + x757 >= 0 e21: - x3 + x8 + x758 >= 0 e22: - x3 + x9 + x759 >= 0 e23: - x4 + x5 + x760 >= 0 e24: - x4 + x6 + x761 >= 0 e25: - x4 + x7 + x762 >= 0 e26: - x4 + x8 + x763 >= 0 e27: - x4 + x9 + x764 >= 0 e28: - x5 + x6 + x765 >= 0 e29: - x5 + x7 + x766 >= 0 e30: - x5 + x8 + x767 >= 0 e31: - x5 + x9 + x768 >= 0 e32: - x6 + x7 + x769 >= 0 e33: - x6 + x8 + x770 >= 0 e34: - x6 + x9 + x771 >= 0 e35: - x7 + x8 + x772 >= 0 e36: - x7 + x9 + x773 >= 0 e37: - x8 + x9 + x774 >= 0 e38: x1 - x2 + x739 >= 0 e39: x1 - x3 + x740 >= 0 e40: x1 - x4 + x741 >= 0 e41: x1 - x5 + x742 >= 0 e42: x1 - x6 + x743 >= 0 e43: x1 - x7 + x744 >= 0 e44: x1 - x8 + x745 >= 0 e45: x1 - x9 + x746 >= 0 e46: x2 - x3 + x747 >= 0 e47: x2 - x4 + x748 >= 0 e48: x2 - x5 + x749 >= 0 e49: x2 - x6 + x750 >= 0 e50: x2 - x7 + x751 >= 0 e51: x2 - x8 + x752 >= 0 e52: x2 - x9 + x753 >= 0 e53: x3 - x4 + x754 >= 0 e54: x3 - x5 + x755 >= 0 e55: x3 - x6 + x756 >= 0 e56: x3 - x7 + x757 >= 0 e57: x3 - x8 + x758 >= 0 e58: x3 - x9 + x759 >= 0 e59: x4 - x5 + x760 >= 0 e60: x4 - x6 + x761 >= 0 e61: x4 - x7 + x762 >= 0 e62: x4 - x8 + x763 >= 0 e63: x4 - x9 + x764 >= 0 e64: x5 - x6 + x765 >= 0 e65: x5 - x7 + x766 >= 0 e66: x5 - x8 + x767 >= 0 e67: x5 - x9 + x768 >= 0 e68: x6 - x7 + x769 >= 0 e69: x6 - x8 + x770 >= 0 e70: x6 - x9 + x771 >= 0 e71: x7 - x8 + x772 >= 0 e72: x7 - x9 + x773 >= 0 e73: x8 - x9 + x774 >= 0 e74: - x10 + x11 + x775 >= 0 e75: - x10 + x12 + x776 >= 0 e76: - x10 + x13 + x777 >= 0 e77: - x10 + x14 + x778 >= 0 e78: - x10 + x15 + x779 >= 0 e79: - x10 + x16 + x780 >= 0 e80: - x10 + x17 + x781 >= 0 e81: - x10 + x18 + x782 >= 0 e82: - x11 + x12 + x783 >= 0 e83: - x11 + x13 + x784 >= 0 e84: - x11 + x14 + x785 >= 0 e85: - x11 + x15 + x786 >= 0 e86: - x11 + x16 + x787 >= 0 e87: - x11 + x17 + x788 >= 0 e88: - x11 + x18 + x789 >= 0 e89: - x12 + x13 + x790 >= 0 e90: - x12 + x14 + x791 >= 0 e91: - x12 + x15 + x792 >= 0 e92: - x12 + x16 + x793 >= 0 e93: - x12 + x17 + x794 >= 0 e94: - x12 + x18 + x795 >= 0 e95: - x13 + x14 + x796 >= 0 e96: - x13 + x15 + x797 >= 0 e97: - x13 + x16 + x798 >= 0 e98: - x13 + x17 + x799 >= 0 e99: - x13 + x18 + x800 >= 0 e100: - x14 + x15 + x801 >= 0 e101: - x14 + x16 + x802 >= 0 e102: - x14 + x17 + x803 >= 0 e103: - x14 + x18 + x804 >= 0 e104: - x15 + x16 + x805 >= 0 e105: - x15 + x17 + x806 >= 0 e106: - x15 + x18 + x807 >= 0 e107: - x16 + x17 + x808 >= 0 e108: - x16 + x18 + x809 >= 0 e109: - x17 + x18 + x810 >= 0 e110: x10 - x11 + x775 >= 0 e111: x10 - x12 + x776 >= 0 e112: x10 - x13 + x777 >= 0 e113: x10 - x14 + x778 >= 0 e114: x10 - x15 + x779 >= 0 e115: x10 - x16 + x780 >= 0 e116: x10 - x17 + x781 >= 0 e117: x10 - x18 + x782 >= 0 e118: x11 - x12 + x783 >= 0 e119: x11 - x13 + x784 >= 0 e120: x11 - x14 + x785 >= 0 e121: x11 - x15 + x786 >= 0 e122: x11 - x16 + x787 >= 0 e123: x11 - x17 + x788 >= 0 e124: x11 - x18 + x789 >= 0 e125: x12 - x13 + x790 >= 0 e126: x12 - x14 + x791 >= 0 e127: x12 - x15 + x792 >= 0 e128: x12 - x16 + x793 >= 0 e129: x12 - x17 + x794 >= 0 e130: x12 - x18 + x795 >= 0 e131: x13 - x14 + x796 >= 0 e132: x13 - x15 + x797 >= 0 e133: x13 - x16 + x798 >= 0 e134: x13 - x17 + x799 >= 0 e135: x13 - x18 + x800 >= 0 e136: x14 - x15 + x801 >= 0 e137: x14 - x16 + x802 >= 0 e138: x14 - x17 + x803 >= 0 e139: x14 - x18 + x804 >= 0 e140: x15 - x16 + x805 >= 0 e141: x15 - x17 + x806 >= 0 e142: x15 - x18 + x807 >= 0 e143: x16 - x17 + x808 >= 0 e144: x16 - x18 + x809 >= 0 e145: x17 - x18 + x810 >= 0 e146: x1 - x19 - x27 - x35 - x43 = 0 e147: x1 - x20 - x28 - x36 - x44 = 0 e148: x1 - x21 - x29 - x37 - x45 = 0 e149: x1 - x22 - x30 - x38 - x46 = 0 e150: x1 - x23 - x31 - x39 - x47 = 0 e151: x1 - x24 - x32 - x40 - x48 = 0 e152: x1 - x25 - x33 - x41 - x49 = 0 e153: x1 - x26 - x34 - x42 - x50 = 0 e154: x2 - x51 - x59 - x67 - x75 = 0 e155: x2 - x52 - x60 - x68 - x76 = 0 e156: x2 - x53 - x61 - x69 - x77 = 0 e157: x2 - x54 - x62 - x70 - x78 = 0 e158: x2 - x55 - x63 - x71 - x79 = 0 e159: x2 - x56 - x64 - x72 - x80 = 0 e160: x2 - x57 - x65 - x73 - x81 = 0 e161: x2 - x58 - x66 - x74 - x82 = 0 e162: x3 - x83 - x91 - x99 - x107 = 0 e163: x3 - x84 - x92 - x100 - x108 = 0 e164: x3 - x85 - x93 - x101 - x109 = 0 e165: x3 - x86 - x94 - x102 - x110 = 0 e166: x3 - x87 - x95 - x103 - x111 = 0 e167: x3 - x88 - x96 - x104 - x112 = 0 e168: x3 - x89 - x97 - x105 - x113 = 0 e169: x3 - x90 - x98 - x106 - x114 = 0 e170: x4 - x115 - x123 - x131 - x139 = 0 e171: x4 - x116 - x124 - x132 - x140 = 0 e172: x4 - x117 - x125 - x133 - x141 = 0 e173: x4 - x118 - x126 - x134 - x142 = 0 e174: x4 - x119 - x127 - x135 - x143 = 0 e175: x4 - x120 - x128 - x136 - x144 = 0 e176: x4 - x121 - x129 - x137 - x145 = 0 e177: x4 - x122 - x130 - x138 - x146 = 0 e178: x5 - x147 - x155 - x163 - x171 = 0 e179: x5 - x148 - x156 - x164 - x172 = 0 e180: x5 - x149 - x157 - x165 - x173 = 0 e181: x5 - x150 - x158 - x166 - x174 = 0 e182: x5 - x151 - x159 - x167 - x175 = 0 e183: x5 - x152 - x160 - x168 - x176 = 0 e184: x5 - x153 - x161 - x169 - x177 = 0 e185: x5 - x154 - x162 - x170 - x178 = 0 e186: x6 - x179 - x187 - x195 - x203 = 0 e187: x6 - x180 - x188 - x196 - x204 = 0 e188: x6 - x181 - x189 - x197 - x205 = 0 e189: x6 - x182 - x190 - x198 - x206 = 0 e190: x6 - x183 - x191 - x199 - x207 = 0 e191: x6 - x184 - x192 - x200 - x208 = 0 e192: x6 - x185 - x193 - x201 - x209 = 0 e193: x6 - x186 - x194 - x202 - x210 = 0 e194: x7 - x211 - x219 - x227 - x235 = 0 e195: x7 - x212 - x220 - x228 - x236 = 0 e196: x7 - x213 - x221 - x229 - x237 = 0 e197: x7 - x214 - x222 - x230 - x238 = 0 e198: x7 - x215 - x223 - x231 - x239 = 0 e199: x7 - x216 - x224 - x232 - x240 = 0 e200: x7 - x217 - x225 - x233 - x241 = 0 e201: x7 - x218 - x226 - x234 - x242 = 0 e202: x8 - x243 - x251 - x259 - x267 = 0 e203: x8 - x244 - x252 - x260 - x268 = 0 e204: x8 - x245 - x253 - x261 - x269 = 0 e205: x8 - x246 - x254 - x262 - x270 = 0 e206: x8 - x247 - x255 - x263 - x271 = 0 e207: x8 - x248 - x256 - x264 - x272 = 0 e208: x8 - x249 - x257 - x265 - x273 = 0 e209: x8 - x250 - x258 - x266 - x274 = 0 e210: x9 - x275 - x283 - x291 - x299 = 0 e211: x9 - x276 - x284 - x292 - x300 = 0 e212: x9 - x277 - x285 - x293 - x301 = 0 e213: x9 - x278 - x286 - x294 - x302 = 0 e214: x9 - x279 - x287 - x295 - x303 = 0 e215: x9 - x280 - x288 - x296 - x304 = 0 e216: x9 - x281 - x289 - x297 - x305 = 0 e217: x9 - x282 - x290 - x298 - x306 = 0 e218: x10 - x307 - x315 - x323 - x331 = 0 e219: x10 - x308 - x316 - x324 - x332 = 0 e220: x10 - x309 - x317 - x325 - x333 = 0 e221: x10 - x310 - x318 - x326 - x334 = 0 e222: x10 - x311 - x319 - x327 - x335 = 0 e223: x10 - x312 - x320 - x328 - x336 = 0 e224: x10 - x313 - x321 - x329 - x337 = 0 e225: x10 - x314 - x322 - x330 - x338 = 0 e226: x11 - x339 - x347 - x355 - x363 = 0 e227: x11 - x340 - x348 - x356 - x364 = 0 e228: x11 - x341 - x349 - x357 - x365 = 0 e229: x11 - x342 - x350 - x358 - x366 = 0 e230: x11 - x343 - x351 - x359 - x367 = 0 e231: x11 - x344 - x352 - x360 - x368 = 0 e232: x11 - x345 - x353 - x361 - x369 = 0 e233: x11 - x346 - x354 - x362 - x370 = 0 e234: x12 - x371 - x379 - x387 - x395 = 0 e235: x12 - x372 - x380 - x388 - x396 = 0 e236: x12 - x373 - x381 - x389 - x397 = 0 e237: x12 - x374 - x382 - x390 - x398 = 0 e238: x12 - x375 - x383 - x391 - x399 = 0 e239: x12 - x376 - x384 - x392 - x400 = 0 e240: x12 - x377 - x385 - x393 - x401 = 0 e241: x12 - x378 - x386 - x394 - x402 = 0 e242: x13 - x403 - x411 - x419 - x427 = 0 e243: x13 - x404 - x412 - x420 - x428 = 0 e244: x13 - x405 - x413 - x421 - x429 = 0 e245: x13 - x406 - x414 - x422 - x430 = 0 e246: x13 - x407 - x415 - x423 - x431 = 0 e247: x13 - x408 - x416 - x424 - x432 = 0 e248: x13 - x409 - x417 - x425 - x433 = 0 e249: x13 - x410 - x418 - x426 - x434 = 0 e250: x14 - x435 - x443 - x451 - x459 = 0 e251: x14 - x436 - x444 - x452 - x460 = 0 e252: x14 - x437 - x445 - x453 - x461 = 0 e253: x14 - x438 - x446 - x454 - x462 = 0 e254: x14 - x439 - x447 - x455 - x463 = 0 e255: x14 - x440 - x448 - x456 - x464 = 0 e256: x14 - x441 - x449 - x457 - x465 = 0 e257: x14 - x442 - x450 - x458 - x466 = 0 e258: x15 - x467 - x475 - x483 - x491 = 0 e259: x15 - x468 - x476 - x484 - x492 = 0 e260: x15 - x469 - x477 - x485 - x493 = 0 e261: x15 - x470 - x478 - x486 - x494 = 0 e262: x15 - x471 - x479 - x487 - x495 = 0 e263: x15 - x472 - x480 - x488 - x496 = 0 e264: x15 - x473 - x481 - x489 - x497 = 0 e265: x15 - x474 - x482 - x490 - x498 = 0 e266: x16 - x499 - x507 - x515 - x523 = 0 e267: x16 - x500 - x508 - x516 - x524 = 0 e268: x16 - x501 - x509 - x517 - x525 = 0 e269: x16 - x502 - x510 - x518 - x526 = 0 e270: x16 - x503 - x511 - x519 - x527 = 0 e271: x16 - x504 - x512 - x520 - x528 = 0 e272: x16 - x505 - x513 - x521 - x529 = 0 e273: x16 - x506 - x514 - x522 - x530 = 0 e274: x17 - x531 - x539 - x547 - x555 = 0 e275: x17 - x532 - x540 - x548 - x556 = 0 e276: x17 - x533 - x541 - x549 - x557 = 0 e277: x17 - x534 - x542 - x550 - x558 = 0 e278: x17 - x535 - x543 - x551 - x559 = 0 e279: x17 - x536 - x544 - x552 - x560 = 0 e280: x17 - x537 - x545 - x553 - x561 = 0 e281: x17 - x538 - x546 - x554 - x562 = 0 e282: x18 - x563 - x571 - x579 - x587 = 0 e283: x18 - x564 - x572 - x580 - x588 = 0 e284: x18 - x565 - x573 - x581 - x589 = 0 e285: x18 - x566 - x574 - x582 - x590 = 0 e286: x18 - x567 - x575 - x583 - x591 = 0 e287: x18 - x568 - x576 - x584 - x592 = 0 e288: x18 - x569 - x577 - x585 - x593 = 0 e289: x18 - x570 - x578 - x586 - x594 = 0 e290: x19 - 37.5 b595 <= 0 e291: x20 - 37.5 b596 <= 0 e292: x21 - 37.5 b597 <= 0 e293: x22 - 37.5 b598 <= 0 e294: x23 - 37.5 b599 <= 0 e295: x24 - 37.5 b600 <= 0 e296: x25 - 37.5 b601 <= 0 e297: x26 - 37.5 b602 <= 0 e298: x27 - 37.5 b631 <= 0 e299: x28 - 37.5 b632 <= 0 e300: x29 - 37.5 b633 <= 0 e301: x30 - 37.5 b634 <= 0 e302: x31 - 37.5 b635 <= 0 e303: x32 - 37.5 b636 <= 0 e304: x33 - 37.5 b637 <= 0 e305: x34 - 37.5 b638 <= 0 e306: x35 - 37.5 b667 <= 0 e307: x36 - 37.5 b668 <= 0 e308: x37 - 37.5 b669 <= 0 e309: x38 - 37.5 b670 <= 0 e310: x39 - 37.5 b671 <= 0 e311: x40 - 37.5 b672 <= 0 e312: x41 - 37.5 b673 <= 0 e313: x42 - 37.5 b674 <= 0 e314: x43 - 37.5 b703 <= 0 e315: x44 - 37.5 b704 <= 0 e316: x45 - 37.5 b705 <= 0 e317: x46 - 37.5 b706 <= 0 e318: x47 - 37.5 b707 <= 0 e319: x48 - 37.5 b708 <= 0 e320: x49 - 37.5 b709 <= 0 e321: x50 - 37.5 b710 <= 0 e322: x51 - 37.5 b595 <= 0 e323: x52 - 36.5 b603 <= 0 e324: x53 - 36.5 b604 <= 0 e325: x54 - 36.5 b605 <= 0 e326: x55 - 36.5 b606 <= 0 e327: x56 - 36.5 b607 <= 0 e328: x57 - 36.5 b608 <= 0 e329: x58 - 36.5 b609 <= 0 e330: x59 - 37.5 b631 <= 0 e331: x60 - 36.5 b639 <= 0 e332: x61 - 36.5 b640 <= 0 e333: x62 - 36.5 b641 <= 0 e334: x63 - 36.5 b642 <= 0 e335: x64 - 36.5 b643 <= 0 e336: x65 - 36.5 b644 <= 0 e337: x66 - 36.5 b645 <= 0 e338: x67 - 37.5 b667 <= 0 e339: x68 - 36.5 b675 <= 0 e340: x69 - 36.5 b676 <= 0 e341: x70 - 36.5 b677 <= 0 e342: x71 - 36.5 b678 <= 0 e343: x72 - 36.5 b679 <= 0 e344: x73 - 36.5 b680 <= 0 e345: x74 - 36.5 b681 <= 0 e346: x75 - 37.5 b703 <= 0 e347: x76 - 36.5 b711 <= 0 e348: x77 - 36.5 b712 <= 0 e349: x78 - 36.5 b713 <= 0 e350: x79 - 36.5 b714 <= 0 e351: x80 - 36.5 b715 <= 0 e352: x81 - 36.5 b716 <= 0 e353: x82 - 36.5 b717 <= 0 e354: x83 - 37.5 b596 <= 0 e355: x84 - 36.5 b603 <= 0 e356: x85 - 38.5 b610 <= 0 e357: x86 - 38.5 b611 <= 0 e358: x87 - 38.5 b612 <= 0 e359: x88 - 38.5 b613 <= 0 e360: x89 - 38.5 b614 <= 0 e361: x90 - 38.5 b615 <= 0 e362: x91 - 37.5 b632 <= 0 e363: x92 - 36.5 b639 <= 0 e364: x93 - 38.5 b646 <= 0 e365: x94 - 38.5 b647 <= 0 e366: x95 - 38.5 b648 <= 0 e367: x96 - 38.5 b649 <= 0 e368: x97 - 38.5 b650 <= 0 e369: x98 - 38.5 b651 <= 0 e370: x99 - 37.5 b668 <= 0 e371: x100 - 36.5 b675 <= 0 e372: x101 - 38.5 b682 <= 0 e373: x102 - 38.5 b683 <= 0 e374: x103 - 38.5 b684 <= 0 e375: x104 - 38.5 b685 <= 0 e376: x105 - 38.5 b686 <= 0 e377: x106 - 38.5 b687 <= 0 e378: x107 - 37.5 b704 <= 0 e379: x108 - 36.5 b711 <= 0 e380: x109 - 38.5 b718 <= 0 e381: x110 - 38.5 b719 <= 0 e382: x111 - 38.5 b720 <= 0 e383: x112 - 38.5 b721 <= 0 e384: x113 - 38.5 b722 <= 0 e385: x114 - 38.5 b723 <= 0 e386: x115 - 37.5 b597 <= 0 e387: x116 - 36.5 b604 <= 0 e388: x117 - 38.5 b610 <= 0 e389: x118 - 39 b616 <= 0 e390: x119 - 39 b617 <= 0 e391: x120 - 39 b618 <= 0 e392: x121 - 39 b619 <= 0 e393: x122 - 39 b620 <= 0 e394: x123 - 37.5 b633 <= 0 e395: x124 - 36.5 b640 <= 0 e396: x125 - 38.5 b646 <= 0 e397: x126 - 39 b652 <= 0 e398: x127 - 39 b653 <= 0 e399: x128 - 39 b654 <= 0 e400: x129 - 39 b655 <= 0 e401: x130 - 39 b656 <= 0 e402: x131 - 37.5 b669 <= 0 e403: x132 - 36.5 b676 <= 0 e404: x133 - 38.5 b682 <= 0 e405: x134 - 39 b688 <= 0 e406: x135 - 39 b689 <= 0 e407: x136 - 39 b690 <= 0 e408: x137 - 39 b691 <= 0 e409: x138 - 39 b692 <= 0 e410: x139 - 37.5 b705 <= 0 e411: x140 - 36.5 b712 <= 0 e412: x141 - 38.5 b718 <= 0 e413: x142 - 39 b724 <= 0 e414: x143 - 39 b725 <= 0 e415: x144 - 39 b726 <= 0 e416: x145 - 39 b727 <= 0 e417: x146 - 39 b728 <= 0 e418: x147 - 37.5 b598 <= 0 e419: x148 - 36.5 b605 <= 0 e420: x149 - 38.5 b611 <= 0 e421: x150 - 39 b616 <= 0 e422: x151 - 38 b621 <= 0 e423: x152 - 38 b622 <= 0 e424: x153 - 38 b623 <= 0 e425: x154 - 38 b624 <= 0 e426: x155 - 37.5 b634 <= 0 e427: x156 - 36.5 b641 <= 0 e428: x157 - 38.5 b647 <= 0 e429: x158 - 39 b652 <= 0 e430: x159 - 38 b657 <= 0 e431: x160 - 38 b658 <= 0 e432: x161 - 38 b659 <= 0 e433: x162 - 38 b660 <= 0 e434: x163 - 37.5 b670 <= 0 e435: x164 - 36.5 b677 <= 0 e436: x165 - 38.5 b683 <= 0 e437: x166 - 39 b688 <= 0 e438: x167 - 38 b693 <= 0 e439: x168 - 38 b694 <= 0 e440: x169 - 38 b695 <= 0 e441: x170 - 38 b696 <= 0 e442: x171 - 37.5 b706 <= 0 e443: x172 - 36.5 b713 <= 0 e444: x173 - 38.5 b719 <= 0 e445: x174 - 39 b724 <= 0 e446: x175 - 38 b729 <= 0 e447: x176 - 38 b730 <= 0 e448: x177 - 38 b731 <= 0 e449: x178 - 38 b732 <= 0 e450: x179 - 37.5 b599 <= 0 e451: x180 - 36.5 b606 <= 0 e452: x181 - 38.5 b612 <= 0 e453: x182 - 39 b617 <= 0 e454: x183 - 38 b621 <= 0 e455: x184 - 37.5 b625 <= 0 e456: x185 - 37.5 b626 <= 0 e457: x186 - 37.5 b627 <= 0 e458: x187 - 37.5 b635 <= 0 e459: x188 - 36.5 b642 <= 0 e460: x189 - 38.5 b648 <= 0 e461: x190 - 39 b653 <= 0 e462: x191 - 38 b657 <= 0 e463: x192 - 37.5 b661 <= 0 e464: x193 - 37.5 b662 <= 0 e465: x194 - 37.5 b663 <= 0 e466: x195 - 37.5 b671 <= 0 e467: x196 - 36.5 b678 <= 0 e468: x197 - 38.5 b684 <= 0 e469: x198 - 39 b689 <= 0 e470: x199 - 38 b693 <= 0 e471: x200 - 37.5 b697 <= 0 e472: x201 - 37.5 b698 <= 0 e473: x202 - 37.5 b699 <= 0 e474: x203 - 37.5 b707 <= 0 e475: x204 - 36.5 b714 <= 0 e476: x205 - 38.5 b720 <= 0 e477: x206 - 39 b725 <= 0 e478: x207 - 38 b729 <= 0 e479: x208 - 37.5 b733 <= 0 e480: x209 - 37.5 b734 <= 0 e481: x210 - 37.5 b735 <= 0 e482: x211 - 37.5 b600 <= 0 e483: x212 - 36.5 b607 <= 0 e484: x213 - 38.5 b613 <= 0 e485: x214 - 39 b618 <= 0 e486: x215 - 38 b622 <= 0 e487: x216 - 37.5 b625 <= 0 e488: x217 - 36 b628 <= 0 e489: x218 - 36 b629 <= 0 e490: x219 - 37.5 b636 <= 0 e491: x220 - 36.5 b643 <= 0 e492: x221 - 38.5 b649 <= 0 e493: x222 - 39 b654 <= 0 e494: x223 - 38 b658 <= 0 e495: x224 - 37.5 b661 <= 0 e496: x225 - 36 b664 <= 0 e497: x226 - 36 b665 <= 0 e498: x227 - 37.5 b672 <= 0 e499: x228 - 36.5 b679 <= 0 e500: x229 - 38.5 b685 <= 0 e501: x230 - 39 b690 <= 0 e502: x231 - 38 b694 <= 0 e503: x232 - 37.5 b697 <= 0 e504: x233 - 36 b700 <= 0 e505: x234 - 36 b701 <= 0 e506: x235 - 37.5 b708 <= 0 e507: x236 - 36.5 b715 <= 0 e508: x237 - 38.5 b721 <= 0 e509: x238 - 39 b726 <= 0 e510: x239 - 38 b730 <= 0 e511: x240 - 37.5 b733 <= 0 e512: x241 - 36 b736 <= 0 e513: x242 - 36 b737 <= 0 e514: x243 - 37.5 b601 <= 0 e515: x244 - 36.5 b608 <= 0 e516: x245 - 38.5 b614 <= 0 e517: x246 - 39 b619 <= 0 e518: x247 - 38 b623 <= 0 e519: x248 - 37.5 b626 <= 0 e520: x249 - 36 b628 <= 0 e521: x250 - 38 b630 <= 0 e522: x251 - 37.5 b637 <= 0 e523: x252 - 36.5 b644 <= 0 e524: x253 - 38.5 b650 <= 0 e525: x254 - 39 b655 <= 0 e526: x255 - 38 b659 <= 0 e527: x256 - 37.5 b662 <= 0 e528: x257 - 36 b664 <= 0 e529: x258 - 38 b666 <= 0 e530: x259 - 37.5 b673 <= 0 e531: x260 - 36.5 b680 <= 0 e532: x261 - 38.5 b686 <= 0 e533: x262 - 39 b691 <= 0 e534: x263 - 38 b695 <= 0 e535: x264 - 37.5 b698 <= 0 e536: x265 - 36 b700 <= 0 e537: x266 - 38 b702 <= 0 e538: x267 - 37.5 b709 <= 0 e539: x268 - 36.5 b716 <= 0 e540: x269 - 38.5 b722 <= 0 e541: x270 - 39 b727 <= 0 e542: x271 - 38 b731 <= 0 e543: x272 - 37.5 b734 <= 0 e544: x273 - 36 b736 <= 0 e545: x274 - 38 b738 <= 0 e546: x275 - 37.5 b602 <= 0 e547: x276 - 36.5 b609 <= 0 e548: x277 - 38.5 b615 <= 0 e549: x278 - 39 b620 <= 0 e550: x279 - 38 b624 <= 0 e551: x280 - 37.5 b627 <= 0 e552: x281 - 36 b629 <= 0 e553: x282 - 38 b630 <= 0 e554: x283 - 37.5 b638 <= 0 e555: x284 - 36.5 b645 <= 0 e556: x285 - 38.5 b651 <= 0 e557: x286 - 39 b656 <= 0 e558: x287 - 38 b660 <= 0 e559: x288 - 37.5 b663 <= 0 e560: x289 - 36 b665 <= 0 e561: x290 - 38 b666 <= 0 e562: x291 - 37.5 b674 <= 0 e563: x292 - 36.5 b681 <= 0 e564: x293 - 38.5 b687 <= 0 e565: x294 - 39 b692 <= 0 e566: x295 - 38 b696 <= 0 e567: x296 - 37.5 b699 <= 0 e568: x297 - 36 b701 <= 0 e569: x298 - 38 b702 <= 0 e570: x299 - 37.5 b710 <= 0 e571: x300 - 36.5 b717 <= 0 e572: x301 - 38.5 b723 <= 0 e573: x302 - 39 b728 <= 0 e574: x303 - 38 b732 <= 0 e575: x304 - 37.5 b735 <= 0 e576: x305 - 36 b737 <= 0 e577: x306 - 38 b738 <= 0 e578: x307 - 37 b595 <= 0 e579: x308 - 37 b596 <= 0 e580: x309 - 37 b597 <= 0 e581: x310 - 37 b598 <= 0 e582: x311 - 37 b599 <= 0 e583: x312 - 37 b600 <= 0 e584: x313 - 37 b601 <= 0 e585: x314 - 37 b602 <= 0 e586: x315 - 37 b631 <= 0 e587: x316 - 37 b632 <= 0 e588: x317 - 37 b633 <= 0 e589: x318 - 37 b634 <= 0 e590: x319 - 37 b635 <= 0 e591: x320 - 37 b636 <= 0 e592: x321 - 37 b637 <= 0 e593: x322 - 37 b638 <= 0 e594: x323 - 37 b667 <= 0 e595: x324 - 37 b668 <= 0 e596: x325 - 37 b669 <= 0 e597: x326 - 37 b670 <= 0 e598: x327 - 37 b671 <= 0 e599: x328 - 37 b672 <= 0 e600: x329 - 37 b673 <= 0 e601: x330 - 37 b674 <= 0 e602: x331 - 37 b703 <= 0 e603: x332 - 37 b704 <= 0 e604: x333 - 37 b705 <= 0 e605: x334 - 37 b706 <= 0 e606: x335 - 37 b707 <= 0 e607: x336 - 37 b708 <= 0 e608: x337 - 37 b709 <= 0 e609: x338 - 37 b710 <= 0 e610: x339 - 37 b595 <= 0 e611: x340 - 37.5 b603 <= 0 e612: x341 - 37.5 b604 <= 0 e613: x342 - 37.5 b605 <= 0 e614: x343 - 37.5 b606 <= 0 e615: x344 - 37.5 b607 <= 0 e616: x345 - 37.5 b608 <= 0 e617: x346 - 37.5 b609 <= 0 e618: x347 - 37 b631 <= 0 e619: x348 - 37.5 b639 <= 0 e620: x349 - 37.5 b640 <= 0 e621: x350 - 37.5 b641 <= 0 e622: x351 - 37.5 b642 <= 0 e623: x352 - 37.5 b643 <= 0 e624: x353 - 37.5 b644 <= 0 e625: x354 - 37.5 b645 <= 0 e626: x355 - 37 b667 <= 0 e627: x356 - 37.5 b675 <= 0 e628: x357 - 37.5 b676 <= 0 e629: x358 - 37.5 b677 <= 0 e630: x359 - 37.5 b678 <= 0 e631: x360 - 37.5 b679 <= 0 e632: x361 - 37.5 b680 <= 0 e633: x362 - 37.5 b681 <= 0 e634: x363 - 37 b703 <= 0 e635: x364 - 37.5 b711 <= 0 e636: x365 - 37.5 b712 <= 0 e637: x366 - 37.5 b713 <= 0 e638: x367 - 37.5 b714 <= 0 e639: x368 - 37.5 b715 <= 0 e640: x369 - 37.5 b716 <= 0 e641: x370 - 37.5 b717 <= 0 e642: x371 - 37 b596 <= 0 e643: x372 - 37.5 b603 <= 0 e644: x373 - 38.5 b610 <= 0 e645: x374 - 38.5 b611 <= 0 e646: x375 - 38.5 b612 <= 0 e647: x376 - 38.5 b613 <= 0 e648: x377 - 38.5 b614 <= 0 e649: x378 - 38.5 b615 <= 0 e650: x379 - 37 b632 <= 0 e651: x380 - 37.5 b639 <= 0 e652: x381 - 38.5 b646 <= 0 e653: x382 - 38.5 b647 <= 0 e654: x383 - 38.5 b648 <= 0 e655: x384 - 38.5 b649 <= 0 e656: x385 - 38.5 b650 <= 0 e657: x386 - 38.5 b651 <= 0 e658: x387 - 37 b668 <= 0 e659: x388 - 37.5 b675 <= 0 e660: x389 - 38.5 b682 <= 0 e661: x390 - 38.5 b683 <= 0 e662: x391 - 38.5 b684 <= 0 e663: x392 - 38.5 b685 <= 0 e664: x393 - 38.5 b686 <= 0 e665: x394 - 38.5 b687 <= 0 e666: x395 - 37 b704 <= 0 e667: x396 - 37.5 b711 <= 0 e668: x397 - 38.5 b718 <= 0 e669: x398 - 38.5 b719 <= 0 e670: x399 - 38.5 b720 <= 0 e671: x400 - 38.5 b721 <= 0 e672: x401 - 38.5 b722 <= 0 e673: x402 - 38.5 b723 <= 0 e674: x403 - 37 b597 <= 0 e675: x404 - 37.5 b604 <= 0 e676: x405 - 38.5 b610 <= 0 e677: x406 - 38.5 b616 <= 0 e678: x407 - 38.5 b617 <= 0 e679: x408 - 38.5 b618 <= 0 e680: x409 - 38.5 b619 <= 0 e681: x410 - 38.5 b620 <= 0 e682: x411 - 37 b633 <= 0 e683: x412 - 37.5 b640 <= 0 e684: x413 - 38.5 b646 <= 0 e685: x414 - 38.5 b652 <= 0 e686: x415 - 38.5 b653 <= 0 e687: x416 - 38.5 b654 <= 0 e688: x417 - 38.5 b655 <= 0 e689: x418 - 38.5 b656 <= 0 e690: x419 - 37 b669 <= 0 e691: x420 - 37.5 b676 <= 0 e692: x421 - 38.5 b682 <= 0 e693: x422 - 38.5 b688 <= 0 e694: x423 - 38.5 b689 <= 0 e695: x424 - 38.5 b690 <= 0 e696: x425 - 38.5 b691 <= 0 e697: x426 - 38.5 b692 <= 0 e698: x427 - 37 b705 <= 0 e699: x428 - 37.5 b712 <= 0 e700: x429 - 38.5 b718 <= 0 e701: x430 - 38.5 b724 <= 0 e702: x431 - 38.5 b725 <= 0 e703: x432 - 38.5 b726 <= 0 e704: x433 - 38.5 b727 <= 0 e705: x434 - 38.5 b728 <= 0 e706: x435 - 37 b598 <= 0 e707: x436 - 37.5 b605 <= 0 e708: x437 - 38.5 b611 <= 0 e709: x438 - 38.5 b616 <= 0 e710: x439 - 38 b621 <= 0 e711: x440 - 38 b622 <= 0 e712: x441 - 38 b623 <= 0 e713: x442 - 38 b624 <= 0 e714: x443 - 37 b634 <= 0 e715: x444 - 37.5 b641 <= 0 e716: x445 - 38.5 b647 <= 0 e717: x446 - 38.5 b652 <= 0 e718: x447 - 38 b657 <= 0 e719: x448 - 38 b658 <= 0 e720: x449 - 38 b659 <= 0 e721: x450 - 38 b660 <= 0 e722: x451 - 37 b670 <= 0 e723: x452 - 37.5 b677 <= 0 e724: x453 - 38.5 b683 <= 0 e725: x454 - 38.5 b688 <= 0 e726: x455 - 38 b693 <= 0 e727: x456 - 38 b694 <= 0 e728: x457 - 38 b695 <= 0 e729: x458 - 38 b696 <= 0 e730: x459 - 37 b706 <= 0 e731: x460 - 37.5 b713 <= 0 e732: x461 - 38.5 b719 <= 0 e733: x462 - 38.5 b724 <= 0 e734: x463 - 38 b729 <= 0 e735: x464 - 38 b730 <= 0 e736: x465 - 38 b731 <= 0 e737: x466 - 38 b732 <= 0 e738: x467 - 37 b599 <= 0 e739: x468 - 37.5 b606 <= 0 e740: x469 - 38.5 b612 <= 0 e741: x470 - 38.5 b617 <= 0 e742: x471 - 38 b621 <= 0 e743: x472 - 39 b625 <= 0 e744: x473 - 39 b626 <= 0 e745: x474 - 39 b627 <= 0 e746: x475 - 37 b635 <= 0 e747: x476 - 37.5 b642 <= 0 e748: x477 - 38.5 b648 <= 0 e749: x478 - 38.5 b653 <= 0 e750: x479 - 38 b657 <= 0 e751: x480 - 39 b661 <= 0 e752: x481 - 39 b662 <= 0 e753: x482 - 39 b663 <= 0 e754: x483 - 37 b671 <= 0 e755: x484 - 37.5 b678 <= 0 e756: x485 - 38.5 b684 <= 0 e757: x486 - 38.5 b689 <= 0 e758: x487 - 38 b693 <= 0 e759: x488 - 39 b697 <= 0 e760: x489 - 39 b698 <= 0 e761: x490 - 39 b699 <= 0 e762: x491 - 37 b707 <= 0 e763: x492 - 37.5 b714 <= 0 e764: x493 - 38.5 b720 <= 0 e765: x494 - 38.5 b725 <= 0 e766: x495 - 38 b729 <= 0 e767: x496 - 39 b733 <= 0 e768: x497 - 39 b734 <= 0 e769: x498 - 39 b735 <= 0 e770: x499 - 37 b600 <= 0 e771: x500 - 37.5 b607 <= 0 e772: x501 - 38.5 b613 <= 0 e773: x502 - 38.5 b618 <= 0 e774: x503 - 38 b622 <= 0 e775: x504 - 39 b625 <= 0 e776: x505 - 37 b628 <= 0 e777: x506 - 37 b629 <= 0 e778: x507 - 37 b636 <= 0 e779: x508 - 37.5 b643 <= 0 e780: x509 - 38.5 b649 <= 0 e781: x510 - 38.5 b654 <= 0 e782: x511 - 38 b658 <= 0 e783: x512 - 39 b661 <= 0 e784: x513 - 37 b664 <= 0 e785: x514 - 37 b665 <= 0 e786: x515 - 37 b672 <= 0 e787: x516 - 37.5 b679 <= 0 e788: x517 - 38.5 b685 <= 0 e789: x518 - 38.5 b690 <= 0 e790: x519 - 38 b694 <= 0 e791: x520 - 39 b697 <= 0 e792: x521 - 37 b700 <= 0 e793: x522 - 37 b701 <= 0 e794: x523 - 37 b708 <= 0 e795: x524 - 37.5 b715 <= 0 e796: x525 - 38.5 b721 <= 0 e797: x526 - 38.5 b726 <= 0 e798: x527 - 38 b730 <= 0 e799: x528 - 39 b733 <= 0 e800: x529 - 37 b736 <= 0 e801: x530 - 37 b737 <= 0 e802: x531 - 37 b601 <= 0 e803: x532 - 37.5 b608 <= 0 e804: x533 - 38.5 b614 <= 0 e805: x534 - 38.5 b619 <= 0 e806: x535 - 38 b623 <= 0 e807: x536 - 39 b626 <= 0 e808: x537 - 37 b628 <= 0 e809: x538 - 37 b630 <= 0 e810: x539 - 37 b637 <= 0 e811: x540 - 37.5 b644 <= 0 e812: x541 - 38.5 b650 <= 0 e813: x542 - 38.5 b655 <= 0 e814: x543 - 38 b659 <= 0 e815: x544 - 39 b662 <= 0 e816: x545 - 37 b664 <= 0 e817: x546 - 37 b666 <= 0 e818: x547 - 37 b673 <= 0 e819: x548 - 37.5 b680 <= 0 e820: x549 - 38.5 b686 <= 0 e821: x550 - 38.5 b691 <= 0 e822: x551 - 38 b695 <= 0 e823: x552 - 39 b698 <= 0 e824: x553 - 37 b700 <= 0 e825: x554 - 37 b702 <= 0 e826: x555 - 37 b709 <= 0 e827: x556 - 37.5 b716 <= 0 e828: x557 - 38.5 b722 <= 0 e829: x558 - 38.5 b727 <= 0 e830: x559 - 38 b731 <= 0 e831: x560 - 39 b734 <= 0 e832: x561 - 37 b736 <= 0 e833: x562 - 37 b738 <= 0 e834: x563 - 37 b602 <= 0 e835: x564 - 37.5 b609 <= 0 e836: x565 - 38.5 b615 <= 0 e837: x566 - 38.5 b620 <= 0 e838: x567 - 38 b624 <= 0 e839: x568 - 39 b627 <= 0 e840: x569 - 37 b629 <= 0 e841: x570 - 37 b630 <= 0 e842: x571 - 37 b638 <= 0 e843: x572 - 37.5 b645 <= 0 e844: x573 - 38.5 b651 <= 0 e845: x574 - 38.5 b656 <= 0 e846: x575 - 38 b660 <= 0 e847: x576 - 39 b663 <= 0 e848: x577 - 37 b665 <= 0 e849: x578 - 37 b666 <= 0 e850: x579 - 37 b674 <= 0 e851: x580 - 37.5 b681 <= 0 e852: x581 - 38.5 b687 <= 0 e853: x582 - 38.5 b692 <= 0 e854: x583 - 38 b696 <= 0 e855: x584 - 39 b699 <= 0 e856: x585 - 37 b701 <= 0 e857: x586 - 37 b702 <= 0 e858: x587 - 37 b710 <= 0 e859: x588 - 37.5 b717 <= 0 e860: x589 - 38.5 b723 <= 0 e861: x590 - 38.5 b728 <= 0 e862: x591 - 38 b732 <= 0 e863: x592 - 39 b735 <= 0 e864: x593 - 37 b737 <= 0 e865: x594 - 37 b738 <= 0 e866: x19 - x51 + 6 b595 <= 0 e867: x20 - x83 + 4 b596 <= 0 e868: x21 - x115 + 3.5 b597 <= 0 e869: x22 - x147 + 4.5 b598 <= 0 e870: x23 - x179 + 5 b599 <= 0 e871: x24 - x211 + 6.5 b600 <= 0 e872: x25 - x243 + 4.5 b601 <= 0 e873: x26 - x275 + 3.5 b602 <= 0 e874: x52 - x84 + 5 b603 <= 0 e875: x53 - x116 + 4.5 b604 <= 0 e876: x54 - x148 + 5.5 b605 <= 0 e877: x55 - x180 + 6 b606 <= 0 e878: x56 - x212 + 7.5 b607 <= 0 e879: x57 - x244 + 5.5 b608 <= 0 e880: x58 - x276 + 4.5 b609 <= 0 e881: x85 - x117 + 2.5 b610 <= 0 e882: x86 - x149 + 3.5 b611 <= 0 e883: x87 - x181 + 4 b612 <= 0 e884: x88 - x213 + 5.5 b613 <= 0 e885: x89 - x245 + 3.5 b614 <= 0 e886: x90 - x277 + 2.5 b615 <= 0 e887: x118 - x150 + 3 b616 <= 0 e888: x119 - x182 + 3.5 b617 <= 0 e889: x120 - x214 + 5 b618 <= 0 e890: x121 - x246 + 3 b619 <= 0 e891: x122 - x278 + 2 b620 <= 0 e892: x151 - x183 + 4.5 b621 <= 0 e893: x152 - x215 + 6 b622 <= 0 e894: x153 - x247 + 4 b623 <= 0 e895: x154 - x279 + 3 b624 <= 0 e896: x184 - x216 + 6.5 b625 <= 0 e897: x185 - x248 + 4.5 b626 <= 0 e898: x186 - x280 + 3.5 b627 <= 0 e899: x217 - x249 + 6 b628 <= 0 e900: x218 - x281 + 5 b629 <= 0 e901: x250 - x282 + 3 b630 <= 0 e902: - x27 + x59 + 6 b631 <= 0 e903: - x28 + x91 + 4 b632 <= 0 e904: - x29 + x123 + 3.5 b633 <= 0 e905: - x30 + x155 + 4.5 b634 <= 0 e906: - x31 + x187 + 5 b635 <= 0 e907: - x32 + x219 + 6.5 b636 <= 0 e908: - x33 + x251 + 4.5 b637 <= 0 e909: - x34 + x283 + 3.5 b638 <= 0 e910: - x60 + x92 + 5 b639 <= 0 e911: - x61 + x124 + 4.5 b640 <= 0 e912: - x62 + x156 + 5.5 b641 <= 0 e913: - x63 + x188 + 6 b642 <= 0 e914: - x64 + x220 + 7.5 b643 <= 0 e915: - x65 + x252 + 5.5 b644 <= 0 e916: - x66 + x284 + 4.5 b645 <= 0 e917: - x93 + x125 + 2.5 b646 <= 0 e918: - x94 + x157 + 3.5 b647 <= 0 e919: - x95 + x189 + 4 b648 <= 0 e920: - x96 + x221 + 5.5 b649 <= 0 e921: - x97 + x253 + 3.5 b650 <= 0 e922: - x98 + x285 + 2.5 b651 <= 0 e923: - x126 + x158 + 3 b652 <= 0 e924: - x127 + x190 + 3.5 b653 <= 0 e925: - x128 + x222 + 5 b654 <= 0 e926: - x129 + x254 + 3 b655 <= 0 e927: - x130 + x286 + 2 b656 <= 0 e928: - x159 + x191 + 4.5 b657 <= 0 e929: - x160 + x223 + 6 b658 <= 0 e930: - x161 + x255 + 4 b659 <= 0 e931: - x162 + x287 + 3 b660 <= 0 e932: - x192 + x224 + 6.5 b661 <= 0 e933: - x193 + x256 + 4.5 b662 <= 0 e934: - x194 + x288 + 3.5 b663 <= 0 e935: - x225 + x257 + 6 b664 <= 0 e936: - x226 + x289 + 5 b665 <= 0 e937: - x258 + x290 + 3 b666 <= 0 e938: x323 - x355 + 5.5 b667 <= 0 e939: x324 - x387 + 4.5 b668 <= 0 e940: x325 - x419 + 4.5 b669 <= 0 e941: x326 - x451 + 5 b670 <= 0 e942: x327 - x483 + 4 b671 <= 0 e943: x328 - x515 + 6 b672 <= 0 e944: x329 - x547 + 6 b673 <= 0 e945: x330 - x579 + 5.5 b674 <= 0 e946: x356 - x388 + 4 b675 <= 0 e947: x357 - x420 + 4 b676 <= 0 e948: x358 - x452 + 4.5 b677 <= 0 e949: x359 - x484 + 3.5 b678 <= 0 e950: x360 - x516 + 5.5 b679 <= 0 e951: x361 - x548 + 5.5 b680 <= 0 e952: x362 - x580 + 5 b681 <= 0 e953: x389 - x421 + 3 b682 <= 0 e954: x390 - x453 + 3.5 b683 <= 0 e955: x391 - x485 + 2.5 b684 <= 0 e956: x392 - x517 + 4.5 b685 <= 0 e957: x393 - x549 + 4.5 b686 <= 0 e958: x394 - x581 + 4 b687 <= 0 e959: x422 - x454 + 3.5 b688 <= 0 e960: x423 - x486 + 2.5 b689 <= 0 e961: x424 - x518 + 4.5 b690 <= 0 e962: x425 - x550 + 4.5 b691 <= 0 e963: x426 - x582 + 4 b692 <= 0 e964: x455 - x487 + 3 b693 <= 0 e965: x456 - x519 + 5 b694 <= 0 e966: x457 - x551 + 5 b695 <= 0 e967: x458 - x583 + 4.5 b696 <= 0 e968: x488 - x520 + 4 b697 <= 0 e969: x489 - x552 + 4 b698 <= 0 e970: x490 - x584 + 3.5 b699 <= 0 e971: x521 - x553 + 6 b700 <= 0 e972: x522 - x585 + 5.5 b701 <= 0 e973: x554 - x586 + 5.5 b702 <= 0 e974: - x331 + x363 + 5.5 b703 <= 0 e975: - x332 + x395 + 4.5 b704 <= 0 e976: - x333 + x427 + 4.5 b705 <= 0 e977: - x334 + x459 + 5 b706 <= 0 e978: - x335 + x491 + 4 b707 <= 0 e979: - x336 + x523 + 6 b708 <= 0 e980: - x337 + x555 + 6 b709 <= 0 e981: - x338 + x587 + 5.5 b710 <= 0 e982: - x364 + x396 + 4 b711 <= 0 e983: - x365 + x428 + 4 b712 <= 0 e984: - x366 + x460 + 4.5 b713 <= 0 e985: - x367 + x492 + 3.5 b714 <= 0 e986: - x368 + x524 + 5.5 b715 <= 0 e987: - x369 + x556 + 5.5 b716 <= 0 e988: - x370 + x588 + 5 b717 <= 0 e989: - x397 + x429 + 3 b718 <= 0 e990: - x398 + x461 + 3.5 b719 <= 0 e991: - x399 + x493 + 2.5 b720 <= 0 e992: - x400 + x525 + 4.5 b721 <= 0 e993: - x401 + x557 + 4.5 b722 <= 0 e994: - x402 + x589 + 4 b723 <= 0 e995: - x430 + x462 + 3.5 b724 <= 0 e996: - x431 + x494 + 2.5 b725 <= 0 e997: - x432 + x526 + 4.5 b726 <= 0 e998: - x433 + x558 + 4.5 b727 <= 0 e999: - x434 + x590 + 4 b728 <= 0 e1000: - x463 + x495 + 3 b729 <= 0 e1001: - x464 + x527 + 5 b730 <= 0 e1002: - x465 + x559 + 5 b731 <= 0 e1003: - x466 + x591 + 4.5 b732 <= 0 e1004: - x496 + x528 + 4 b733 <= 0 e1005: - x497 + x560 + 4 b734 <= 0 e1006: - x498 + x592 + 3.5 b735 <= 0 e1007: - x529 + x561 + 6 b736 <= 0 e1008: - x530 + x593 + 5.5 b737 <= 0 e1009: - x562 + x594 + 5.5 b738 <= 0 e1010: b595 + b631 + b667 + b703 = 1 e1011: b596 + b632 + b668 + b704 = 1 e1012: b597 + b633 + b669 + b705 = 1 e1013: b598 + b634 + b670 + b706 = 1 e1014: b599 + b635 + b671 + b707 = 1 e1015: b600 + b636 + b672 + b708 = 1 e1016: b601 + b637 + b673 + b709 = 1 e1017: b602 + b638 + b674 + b710 = 1 e1018: b603 + b639 + b675 + b711 = 1 e1019: b604 + b640 + b676 + b712 = 1 e1020: b605 + b641 + b677 + b713 = 1 e1021: b606 + b642 + b678 + b714 = 1 e1022: b607 + b643 + b679 + b715 = 1 e1023: b608 + b644 + b680 + b716 = 1 e1024: b609 + b645 + b681 + b717 = 1 e1025: b610 + b646 + b682 + b718 = 1 e1026: b611 + b647 + b683 + b719 = 1 e1027: b612 + b648 + b684 + b720 = 1 e1028: b613 + b649 + b685 + b721 = 1 e1029: b614 + b650 + b686 + b722 = 1 e1030: b615 + b651 + b687 + b723 = 1 e1031: b616 + b652 + b688 + b724 = 1 e1032: b617 + b653 + b689 + b725 = 1 e1033: b618 + b654 + b690 + b726 = 1 e1034: b619 + b655 + b691 + b727 = 1 e1035: b620 + b656 + b692 + b728 = 1 e1036: b621 + b657 + b693 + b729 = 1 e1037: b622 + b658 + b694 + b730 = 1 e1038: b623 + b659 + b695 + b731 = 1 e1039: b624 + b660 + b696 + b732 = 1 e1040: b625 + b661 + b697 + b733 = 1 e1041: b626 + b662 + b698 + b734 = 1 e1042: b627 + b663 + b699 + b735 = 1 e1043: b628 + b664 + b700 + b736 = 1 e1044: b629 + b665 + b701 + b737 = 1 e1045: b630 + b666 + b702 + b738 = 1 Bounds 2.5 <= x1 <= 37.5 3.5 <= x2 <= 36.5 1.5 <= x3 <= 38.5 1 <= x4 <= 39 2 <= x5 <= 38 2.5 <= x6 <= 37.5 4 <= x7 <= 36 2 <= x8 <= 38 1 <= x9 <= 39 3 <= x10 <= 37 2.5 <= x11 <= 37.5 1.5 <= x12 <= 38.5 1.5 <= x13 <= 38.5 2 <= x14 <= 38 1 <= x15 <= 39 3 <= x16 <= 37 3 <= x17 <= 37 2.5 <= x18 <= 37.5 Binary b595 b596 b597 b598 b599 b600 b601 b602 b603 b604 b605 b606 b607 b608 b609 b610 b611 b612 b613 b614 b615 b616 b617 b618 b619 b620 b621 b622 b623 b624 b625 b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 b641 b642 b643 b644 b645 b646 b647 b648 b649 b650 b651 b652 b653 b654 b655 b656 b657 b658 b659 b660 b661 b662 b663 b664 b665 b666 b667 b668 b669 b670 b671 b672 b673 b674 b675 b676 b677 b678 b679 b680 b681 b682 b683 b684 b685 b686 b687 b688 b689 b690 b691 b692 b693 b694 b695 b696 b697 b698 b699 b700 b701 b702 b703 b704 b705 b706 b707 b708 b709 b710 b711 b712 b713 b714 b715 b716 b717 b718 b719 b720 b721 b722 b723 b724 b725 b726 b727 b728 b729 b730 b731 b732 b733 b734 b735 b736 b737 b738 End