\ Equation counts \ Total E G L N X C B \ 1795 263 280 1252 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 775 519 256 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 7475 4907 2568 0 \ Maximize obj: - .5 x2 - .5 x3 - .5 x4 - .5 x5 - .5 x6 - .5 x7 - .5 x8 - .5 x9 - .7 x10 - .7 x11 - .7 x12 - .7 x13 - .7 x14 - .7 x15 - .7 x16 - .7 x17 - .6 x18 - .6 x19 - .6 x20 - .6 x21 - .6 x22 - .6 x23 - .6 x24 - .6 x25 - .8 x26 - .8 x27 - .8 x28 - .8 x29 - .8 x30 - .8 x31 - .8 x32 - .8 x33 - .9 x34 - .9 x35 - .9 x36 - .9 x37 - .9 x38 - .9 x39 - .9 x40 - .9 x41 - .9 x42 - .9 x43 - .9 x44 - .9 x45 - .9 x46 - .9 x47 - .9 x48 - .9 x49 - .6 x50 - .6 x51 - .6 x52 - .6 x53 - .6 x54 - .6 x55 - .6 x56 - .6 x57 - .9 x58 - .9 x59 - .9 x60 - .9 x61 - .9 x62 - .9 x63 - .9 x64 - .9 x65 - 1.1 x66 - 1.1 x67 - 1.1 x68 - 1.1 x69 - 1.1 x70 - 1.1 x71 - 1.1 x72 - 1.1 x73 - 1.1 x74 - 1.1 x75 - 1.1 x76 - 1.1 x77 - 1.1 x78 - 1.1 x79 - 1.1 x80 - 1.1 x81 - .8 x82 - .8 x83 - .8 x84 - .8 x85 - .8 x86 - .8 x87 - .8 x88 - .8 x89 - .8 x90 - .8 x91 - .8 x92 - .8 x93 - .8 x94 - .8 x95 - .8 x96 - .8 x97 + 10.1 x98 + 10.1 x99 + 10.1 x100 + 10.1 x101 + 10.1 x102 + 10.1 x103 + 10.1 x104 + 10.1 x105 - .1 x106 - .1 x107 - .1 x108 - .1 x109 - .1 x110 - .1 x111 - .1 x112 - .1 x113 - .4 x114 - .4 x115 - .4 x116 - .4 x117 - .4 x118 - .4 x119 - .4 x120 - .4 x121 - .1 x122 - .1 x123 - .1 x124 - .1 x125 - .1 x126 - .1 x127 - .1 x128 - .1 x129 + 13.5 x130 + 13.5 x131 + 13.5 x132 + 13.5 x133 + 13.5 x134 + 13.5 x135 + 13.5 x136 + 10.5 x137 + 10.5 x138 + 10.5 x139 + 10.5 x140 + 10.5 x141 + 10.5 x142 + 10.5 x143 - .2 x144 - .2 x145 - .2 x146 - .2 x147 - .2 x148 - .2 x149 - .2 x150 - .2 x151 - .1 x152 - .1 x153 - .1 x154 - .1 x155 - .1 x156 - .1 x157 - .1 x158 - .1 x159 - .5 x160 - .5 x161 - .5 x162 - .5 x163 - .5 x164 - .5 x165 - .5 x166 - .5 x167 + 13.5 x168 + 13.5 x169 + 13.5 x170 + 13.5 x171 + 13.5 x172 + 13.5 x173 + 13.5 x174 + 10.5 x175 + 10.5 x176 + 10.5 x177 + 10.5 x178 + 10.5 x179 + 10.5 x180 + 10.5 x181 - .3 x182 - .3 x183 - .3 x184 - .3 x185 - .3 x186 - .3 x187 - .3 x188 - .3 x189 - .4 x190 - .4 x191 - .4 x192 - .4 x193 - .4 x194 - .4 x195 - .4 x196 - .4 x197 - .5 x198 - .5 x199 - .5 x200 - .5 x201 - .5 x202 - .5 x203 - .5 x204 - .5 x205 + 13.4 x206 + 13.4 x207 + 13.4 x208 + 13.4 x209 + 13.4 x210 + 13.4 x211 + 13.4 x212 + 10.6 x213 + 10.6 x214 + 10.6 x215 + 10.6 x216 + 10.6 x217 + 10.6 x218 + 10.6 x219 - .1 x220 - .1 x221 - .1 x222 - .1 x223 - .1 x224 - .1 x225 - .1 x226 - .1 x227 - .2 x228 - .2 x229 - .2 x230 - .2 x231 - .2 x232 - .2 x233 - .2 x234 - .2 x235 - .3 x236 - .3 x237 - .3 x238 - .3 x239 - .3 x240 - .3 x241 - .3 x242 - .3 x243 + 13.7 x244 + 13.7 x245 + 13.7 x246 + 13.7 x247 + 13.7 x248 + 13.7 x249 + 13.7 x250 + 10.8 x251 + 10.8 x252 + 10.8 x253 + 10.8 x254 + 10.8 x255 + 10.8 x256 + 10.8 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 - .4 b282 - .4 b283 - .4 b284 - .4 b285 - .4 b286 - .4 b287 - .4 b288 - .4 b289 - .2 b290 - .2 b291 - .2 b292 - .2 b293 - .2 b294 - .2 b295 - .2 b296 - .2 b297 - .2 b298 - .2 b299 - .2 b300 - .2 b301 - .2 b302 - .2 b303 - .2 b304 - .2 b305 - .1 b306 - .1 b307 - .1 b308 - .1 b309 - .1 b310 - .1 b311 - .1 b312 - .1 b313 - .5 b314 - .5 b315 - .5 b316 - .5 b317 - .5 b318 - .5 b319 - .5 b320 - .5 b321 - .2 b322 - .2 b323 - .2 b324 - .2 b325 - .2 b326 - .2 b327 - .2 b328 - .2 b329 - .4 b330 - .4 b331 - .4 b332 - .4 b333 - .4 b334 - .4 b335 - .4 b336 - .4 b337 - .4 b338 - .4 b339 - .4 b340 - .4 b341 - .4 b342 - .4 b343 - .4 b344 - .4 b345 - .4 b346 - .4 b347 - .4 b348 - .4 b349 - .4 b350 - .4 b351 - .4 b352 - .4 b353 - .4 b354 - .4 b355 - .4 b356 - .4 b357 - .4 b358 - .4 b359 - .4 b360 - .4 b361 - .3 b362 - .3 b363 - .3 b364 - .3 b365 - .3 b366 - .3 b367 - .3 b368 - .3 b369 - .3 b370 - .3 b371 - .3 b372 - .3 b373 - .3 b374 - .3 b375 - .3 b376 - .3 b377 - .1 b378 - .1 b379 - .1 b380 - .1 b381 - .1 b382 - .1 b383 - .1 b384 - .1 b385 - .1 b386 - .1 b387 - .1 b388 - .1 b389 - .1 b390 - .1 b391 - .1 b392 - .1 b393 - .3 b394 - .3 b395 - .3 b396 - .3 b397 - .3 b398 - .3 b399 - .3 b400 - .3 b401 - .1 b402 - .1 b403 - .1 b404 - .1 b405 - .1 b406 - .1 b407 - .1 b408 - .2 b409 - .2 b410 - .2 b411 - .2 b412 - .2 b413 - .2 b414 - .2 b415 - .3 b416 - .3 b417 - .3 b418 - .3 b419 - .3 b420 - .3 b421 - .3 b422 - .3 b423 - .1 b424 - .1 b425 - .1 b426 - .1 b427 - .1 b428 - .1 b429 - .1 b430 - .1 b431 - .2 b432 - .2 b433 - .2 b434 - .2 b435 - .2 b436 - .2 b437 - .2 b438 - .4 b439 - .4 b440 - .4 b441 - .4 b442 - .4 b443 - .4 b444 - .4 b445 - .4 b446 - .4 b447 - .4 b448 - .4 b449 - .4 b450 - .4 b451 - .4 b452 - .4 b453 - .4 b454 - .4 b455 - .4 b456 - .4 b457 - .4 b458 - .4 b459 - .4 b460 - .4 b461 - .2 b462 - .2 b463 - .2 b464 - .2 b465 - .2 b466 - .2 b467 - .2 b468 - .2 b469 - .3 b470 - .3 b471 - .3 b472 - .3 b473 - .3 b474 - .3 b475 - .3 b476 - .2 b477 - .2 b478 - .2 b479 - .2 b480 - .2 b481 - .2 b482 - .2 b483 - .1 b484 - .1 b485 - .1 b486 - .1 b487 - .1 b488 - .1 b489 - .1 b490 - .1 b491 - .3 b492 - .3 b493 - .3 b494 - .3 b495 - .3 b496 - .3 b497 - .3 b498 - .3 b499 - .1 b500 - .1 b501 - .1 b502 - .1 b503 - .1 b504 - .1 b505 - .1 b506 - .1 b507 - .2 b508 - .2 b509 - .2 b510 - .2 b511 - .2 b512 - .2 b513 - .2 b514 - .3 b515 - .3 b516 - .3 b517 - .3 b518 - .3 b519 - .3 b520 - .3 b521 + 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 b593 + 0 b594 + 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 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 Subject To e2: x2 + x10 + x18 + x26 + x522 = 1.9 e3: x34 + x42 + x50 + x58 + x523 = 1.2 e4: x66 + x74 + x82 + x90 + x98 + x524 = 2.1 e5: - x2 - x34 - x66 + x106 + x114 + x122 - x144 - x182 - x220 + x525 = .2 e6: - x10 - x42 - x74 - x106 + x144 + x152 + x160 - x190 - x228 + x526 = .1 e7: - x18 - x50 - x82 - x114 - x152 + x182 + x190 + x198 - x236 + x527 = .6 e8: - x26 - x58 - x90 - x122 - x160 - x198 + x220 + x228 + x236 + x528 = 1.2 e9: - x98 + x529 = 1.6 e10: x3 + x11 + x19 + x27 - x522 + x530 = .7 e11: x4 + x12 + x20 + x28 - x530 + x531 = .4 e12: x5 + x13 + x21 + x29 - x531 + x532 = .8 e13: x6 + x14 + x22 + x30 - x532 + x533 = .4 e14: x7 + x15 + x23 + x31 - x533 + x534 = .4 e15: x8 + x16 + x24 + x32 - x534 + x535 = 0 e16: x9 + x17 + x25 + x33 - x535 + x536 = 0 e17: x35 + x43 + x51 + x59 - x523 + x537 = .6 e18: x36 + x44 + x52 + x60 - x537 + x538 = .2 e19: x37 + x45 + x53 + x61 - x538 + x539 = .8 e20: x38 + x46 + x54 + x62 - x539 + x540 = .9 e21: x39 + x47 + x55 + x63 - x540 + x541 = 1 e22: x40 + x48 + x56 + x64 - x541 + x542 = .5 e23: x41 + x49 + x57 + x65 - x542 + x543 = .2 e24: x67 + x75 + x83 + x91 + x99 - x524 + x544 = .5 e25: x68 + x76 + x84 + x92 + x100 - x544 + x545 = .8 e26: x69 + x77 + x85 + x93 + x101 - x545 + x546 = .3 e27: x70 + x78 + x86 + x94 + x102 - x546 + x547 = .5 e28: x71 + x79 + x87 + x95 + x103 - x547 + x548 = .6 e29: x72 + x80 + x88 + x96 + x104 - x548 + x549 = .9 e30: x73 + x81 + x89 + x97 + x105 - x549 + x550 = .2 e31: - x3 - x35 - x67 + x107 + x115 + x123 + x130 + x137 - x145 - x183 - x221 - x525 + x551 = 0 e32: - x4 - x36 - x68 + x108 + x116 + x124 + x131 + x138 - x146 - x184 - x222 - x551 + x552 = 0 e33: - x5 - x37 - x69 + x109 + x117 + x125 + x132 + x139 - x147 - x185 - x223 - x552 + x553 = 0 e34: - x6 - x38 - x70 + x110 + x118 + x126 + x133 + x140 - x148 - x186 - x224 - x553 + x554 = 0 e35: - x7 - x39 - x71 + x111 + x119 + x127 + x134 + x141 - x149 - x187 - x225 - x554 + x555 = 0 e36: - x8 - x40 - x72 + x112 + x120 + x128 + x135 + x142 - x150 - x188 - x226 - x555 + x556 = 0 e37: - x9 - x41 - x73 + x113 + x121 + x129 + x136 + x143 - x151 - x189 - x227 - x556 + x557 = 0 e38: - x11 - x43 - x75 - x107 + x145 + x153 + x161 + x168 + x175 - x191 - x229 - x526 + x558 = 0 e39: - x12 - x44 - x76 - x108 + x146 + x154 + x162 + x169 + x176 - x192 - x230 - x558 + x559 = 0 e40: - x13 - x45 - x77 - x109 + x147 + x155 + x163 + x170 + x177 - x193 - x231 - x559 + x560 = 0 e41: - x14 - x46 - x78 - x110 + x148 + x156 + x164 + x171 + x178 - x194 - x232 - x560 + x561 = 0 e42: - x15 - x47 - x79 - x111 + x149 + x157 + x165 + x172 + x179 - x195 - x233 - x561 + x562 = 0 e43: - x16 - x48 - x80 - x112 + x150 + x158 + x166 + x173 + x180 - x196 - x234 - x562 + x563 = 0 e44: - x17 - x49 - x81 - x113 + x151 + x159 + x167 + x174 + x181 - x197 - x235 - x563 + x564 = 0 e45: - x19 - x51 - x83 - x115 - x153 + x183 + x191 + x199 + x206 + x213 - x237 - x527 + x565 = 0 e46: - x20 - x52 - x84 - x116 - x154 + x184 + x192 + x200 + x207 + x214 - x238 - x565 + x566 = 0 e47: - x21 - x53 - x85 - x117 - x155 + x185 + x193 + x201 + x208 + x215 - x239 - x566 + x567 = 0 e48: - x22 - x54 - x86 - x118 - x156 + x186 + x194 + x202 + x209 + x216 - x240 - x567 + x568 = 0 e49: - x23 - x55 - x87 - x119 - x157 + x187 + x195 + x203 + x210 + x217 - x241 - x568 + x569 = 0 e50: - x24 - x56 - x88 - x120 - x158 + x188 + x196 + x204 + x211 + x218 - x242 - x569 + x570 = 0 e51: - x25 - x57 - x89 - x121 - x159 + x189 + x197 + x205 + x212 + x219 - x243 - x570 + x571 = 0 e52: - x27 - x59 - x91 - x123 - x161 - x199 + x221 + x229 + x237 + x244 + x251 - x528 + x572 = 0 e53: - x28 - x60 - x92 - x124 - x162 - x200 + x222 + x230 + x238 + x245 + x252 - x572 + x573 = 0 e54: - x29 - x61 - x93 - x125 - x163 - x201 + x223 + x231 + x239 + x246 + x253 - x573 + x574 = 0 e55: - x30 - x62 - x94 - x126 - x164 - x202 + x224 + x232 + x240 + x247 + x254 - x574 + x575 = 0 e56: - x31 - x63 - x95 - x127 - x165 - x203 + x225 + x233 + x241 + x248 + x255 - x575 + x576 = 0 e57: - x32 - x64 - x96 - x128 - x166 - x204 + x226 + x234 + x242 + x249 + x256 - x576 + x577 = 0 e58: - x33 - x65 - x97 - x129 - x167 - x205 + x227 + x235 + x243 + x250 + x257 - x577 + x578 = 0 e59: - x130 - x168 - x206 - x244 + x579 = .8 e60: - x131 - x169 - x207 - x245 - x579 + x580 = -.2 e61: - x132 - x170 - x208 - x246 - x580 + x581 = -.4 e62: - x133 - x171 - x209 - x247 - x581 + x582 = -.2 e63: - x134 - x172 - x210 - x248 - x582 + x583 = -.1 e64: - x135 - x173 - x211 - x249 - x583 + x584 = -.3 e65: - x136 - x174 - x212 - x250 - x584 + x585 = -.3 e66: - x99 - x137 - x175 - x213 - x251 - x529 + x586 = -.4 e67: - x100 - x138 - x176 - x214 - x252 - x586 + x587 = -.5 e68: - x101 - x139 - x177 - x215 - x253 - x587 + x588 = -.5 e69: - x102 - x140 - x178 - x216 - x254 - x588 + x589 = -.1 e70: - x103 - x141 - x179 - x217 - x255 - x589 + x590 = -.1 e71: - x104 - x142 - x180 - x218 - x256 - x590 + x591 = 0 e72: - x105 - x143 - x181 - x219 - x257 - x591 + x592 = -.3 e73: x2 - b282 <= 0 e74: x3 - b283 <= 0 e75: x4 - b284 <= 0 e76: x5 - b285 <= 0 e77: x6 - b286 <= 0 e78: x7 - b287 <= 0 e79: x8 - b288 <= 0 e80: x9 - b289 <= 0 e81: x10 - b290 <= 0 e82: x11 - b291 <= 0 e83: x12 - b292 <= 0 e84: x13 - b293 <= 0 e85: x14 - b294 <= 0 e86: x15 - b295 <= 0 e87: x16 - b296 <= 0 e88: x17 - b297 <= 0 e89: x18 - b298 <= 0 e90: x19 - b299 <= 0 e91: x20 - b300 <= 0 e92: x21 - b301 <= 0 e93: x22 - b302 <= 0 e94: x23 - b303 <= 0 e95: x24 - b304 <= 0 e96: x25 - b305 <= 0 e97: x26 - b306 <= 0 e98: x27 - b307 <= 0 e99: x28 - b308 <= 0 e100: x29 - b309 <= 0 e101: x30 - b310 <= 0 e102: x31 - b311 <= 0 e103: x32 - b312 <= 0 e104: x33 - b313 <= 0 e105: x34 - b314 <= 0 e106: x35 - b315 <= 0 e107: x36 - b316 <= 0 e108: x37 - b317 <= 0 e109: x38 - b318 <= 0 e110: x39 - b319 <= 0 e111: x40 - b320 <= 0 e112: x41 - b321 <= 0 e113: x42 - b322 <= 0 e114: x43 - b323 <= 0 e115: x44 - b324 <= 0 e116: x45 - b325 <= 0 e117: x46 - b326 <= 0 e118: x47 - b327 <= 0 e119: x48 - b328 <= 0 e120: x49 - b329 <= 0 e121: x50 - b330 <= 0 e122: x51 - b331 <= 0 e123: x52 - b332 <= 0 e124: x53 - b333 <= 0 e125: x54 - b334 <= 0 e126: x55 - b335 <= 0 e127: x56 - b336 <= 0 e128: x57 - b337 <= 0 e129: x58 - b338 <= 0 e130: x59 - b339 <= 0 e131: x60 - b340 <= 0 e132: x61 - b341 <= 0 e133: x62 - b342 <= 0 e134: x63 - b343 <= 0 e135: x64 - b344 <= 0 e136: x65 - b345 <= 0 e137: x66 - b346 <= 0 e138: x67 - b347 <= 0 e139: x68 - b348 <= 0 e140: x69 - b349 <= 0 e141: x70 - b350 <= 0 e142: x71 - b351 <= 0 e143: x72 - b352 <= 0 e144: x73 - b353 <= 0 e145: x74 - b354 <= 0 e146: x75 - b355 <= 0 e147: x76 - b356 <= 0 e148: x77 - b357 <= 0 e149: x78 - b358 <= 0 e150: x79 - b359 <= 0 e151: x80 - b360 <= 0 e152: x81 - b361 <= 0 e153: x82 - b362 <= 0 e154: x83 - b363 <= 0 e155: x84 - b364 <= 0 e156: x85 - b365 <= 0 e157: x86 - b366 <= 0 e158: x87 - b367 <= 0 e159: x88 - b368 <= 0 e160: x89 - b369 <= 0 e161: x90 - b370 <= 0 e162: x91 - b371 <= 0 e163: x92 - b372 <= 0 e164: x93 - b373 <= 0 e165: x94 - b374 <= 0 e166: x95 - b375 <= 0 e167: x96 - b376 <= 0 e168: x97 - b377 <= 0 e169: x98 - b593 <= 0 e170: x99 - b594 <= 0 e171: x100 - b595 <= 0 e172: x101 - b596 <= 0 e173: x102 - b597 <= 0 e174: x103 - b598 <= 0 e175: x104 - b599 <= 0 e176: x105 - b600 <= 0 e177: x106 - b378 <= 0 e178: x107 - b379 <= 0 e179: x108 - b380 <= 0 e180: x109 - b381 <= 0 e181: x110 - b382 <= 0 e182: x111 - b383 <= 0 e183: x112 - b384 <= 0 e184: x113 - b385 <= 0 e185: x114 - b386 <= 0 e186: x115 - b387 <= 0 e187: x116 - b388 <= 0 e188: x117 - b389 <= 0 e189: x118 - b390 <= 0 e190: x119 - b391 <= 0 e191: x120 - b392 <= 0 e192: x121 - b393 <= 0 e193: x122 - b394 <= 0 e194: x123 - b395 <= 0 e195: x124 - b396 <= 0 e196: x125 - b397 <= 0 e197: x126 - b398 <= 0 e198: x127 - b399 <= 0 e199: x128 - b400 <= 0 e200: x129 - b401 <= 0 e201: x130 - b402 <= 0 e202: x131 - b403 <= 0 e203: x132 - b404 <= 0 e204: x133 - b405 <= 0 e205: x134 - b406 <= 0 e206: x135 - b407 <= 0 e207: x136 - b408 <= 0 e208: x137 - b409 <= 0 e209: x138 - b410 <= 0 e210: x139 - b411 <= 0 e211: x140 - b412 <= 0 e212: x141 - b413 <= 0 e213: x142 - b414 <= 0 e214: x143 - b415 <= 0 e215: x144 - b416 <= 0 e216: x145 - b417 <= 0 e217: x146 - b418 <= 0 e218: x147 - b419 <= 0 e219: x148 - b420 <= 0 e220: x149 - b421 <= 0 e221: x150 - b422 <= 0 e222: x151 - b423 <= 0 e223: x152 - b424 <= 0 e224: x153 - b425 <= 0 e225: x154 - b426 <= 0 e226: x155 - b427 <= 0 e227: x156 - b428 <= 0 e228: x157 - b429 <= 0 e229: x158 - b430 <= 0 e230: x159 - b431 <= 0 e231: x160 - b601 <= 0 e232: x161 - b602 <= 0 e233: x162 - b603 <= 0 e234: x163 - b604 <= 0 e235: x164 - b605 <= 0 e236: x165 - b606 <= 0 e237: x166 - b607 <= 0 e238: x167 - b608 <= 0 e239: x168 - b432 <= 0 e240: x169 - b433 <= 0 e241: x170 - b434 <= 0 e242: x171 - b435 <= 0 e243: x172 - b436 <= 0 e244: x173 - b437 <= 0 e245: x174 - b438 <= 0 e246: x175 - b439 <= 0 e247: x176 - b440 <= 0 e248: x177 - b441 <= 0 e249: x178 - b442 <= 0 e250: x179 - b443 <= 0 e251: x180 - b444 <= 0 e252: x181 - b445 <= 0 e253: x182 - b446 <= 0 e254: x183 - b447 <= 0 e255: x184 - b448 <= 0 e256: x185 - b449 <= 0 e257: x186 - b450 <= 0 e258: x187 - b451 <= 0 e259: x188 - b452 <= 0 e260: x189 - b453 <= 0 e261: x190 - b454 <= 0 e262: x191 - b455 <= 0 e263: x192 - b456 <= 0 e264: x193 - b457 <= 0 e265: x194 - b458 <= 0 e266: x195 - b459 <= 0 e267: x196 - b460 <= 0 e268: x197 - b461 <= 0 e269: x198 - b462 <= 0 e270: x199 - b463 <= 0 e271: x200 - b464 <= 0 e272: x201 - b465 <= 0 e273: x202 - b466 <= 0 e274: x203 - b467 <= 0 e275: x204 - b468 <= 0 e276: x205 - b469 <= 0 e277: x206 - b470 <= 0 e278: x207 - b471 <= 0 e279: x208 - b472 <= 0 e280: x209 - b473 <= 0 e281: x210 - b474 <= 0 e282: x211 - b475 <= 0 e283: x212 - b476 <= 0 e284: x213 - b477 <= 0 e285: x214 - b478 <= 0 e286: x215 - b479 <= 0 e287: x216 - b480 <= 0 e288: x217 - b481 <= 0 e289: x218 - b482 <= 0 e290: x219 - b483 <= 0 e291: x220 - b484 <= 0 e292: x221 - b485 <= 0 e293: x222 - b486 <= 0 e294: x223 - b487 <= 0 e295: x224 - b488 <= 0 e296: x225 - b489 <= 0 e297: x226 - b490 <= 0 e298: x227 - b491 <= 0 e299: x228 - b492 <= 0 e300: x229 - b493 <= 0 e301: x230 - b494 <= 0 e302: x231 - b495 <= 0 e303: x232 - b496 <= 0 e304: x233 - b497 <= 0 e305: x234 - b498 <= 0 e306: x235 - b499 <= 0 e307: x236 - b500 <= 0 e308: x237 - b501 <= 0 e309: x238 - b502 <= 0 e310: x239 - b503 <= 0 e311: x240 - b504 <= 0 e312: x241 - b505 <= 0 e313: x242 - b506 <= 0 e314: x243 - b507 <= 0 e315: x244 - b508 <= 0 e316: x245 - b509 <= 0 e317: x246 - b510 <= 0 e318: x247 - b511 <= 0 e319: x248 - b512 <= 0 e320: x249 - b513 <= 0 e321: x250 - b514 <= 0 e322: x251 - b515 <= 0 e323: x252 - b516 <= 0 e324: x253 - b517 <= 0 e325: x254 - b518 <= 0 e326: x255 - b519 <= 0 e327: x256 - b520 <= 0 e328: x257 - b521 <= 0 e329: .1 b402 - x609 <= 0 e330: .1 b403 - x610 <= 0 e331: .1 b404 - x611 <= 0 e332: .1 b405 - x612 <= 0 e333: .1 b406 - x613 <= 0 e334: .1 b407 - x614 <= 0 e335: .1 b408 - x615 <= 0 e336: .1 b432 - x616 <= 0 e337: .1 b433 - x617 <= 0 e338: .1 b434 - x618 <= 0 e339: .1 b435 - x619 <= 0 e340: .1 b436 - x620 <= 0 e341: .1 b437 - x621 <= 0 e342: .1 b438 - x622 <= 0 e343: .1 b470 - x623 <= 0 e344: .1 b471 - x624 <= 0 e345: .1 b472 - x625 <= 0 e346: .1 b473 - x626 <= 0 e347: .1 b474 - x627 <= 0 e348: .1 b475 - x628 <= 0 e349: .1 b476 - x629 <= 0 e350: .1 b508 - x630 <= 0 e351: .1 b509 - x631 <= 0 e352: .1 b510 - x632 <= 0 e353: .1 b511 - x633 <= 0 e354: .1 b512 - x634 <= 0 e355: .1 b513 - x635 <= 0 e356: .1 b514 - x636 <= 0 e357: .1 b409 - x637 <= 0 e358: .1 b410 - x638 <= 0 e359: .1 b411 - x639 <= 0 e360: .1 b412 - x640 <= 0 e361: .1 b413 - x641 <= 0 e362: .1 b414 - x642 <= 0 e363: .1 b415 - x643 <= 0 e364: .1 b439 - x644 <= 0 e365: .1 b440 - x645 <= 0 e366: .1 b441 - x646 <= 0 e367: .1 b442 - x647 <= 0 e368: .1 b443 - x648 <= 0 e369: .1 b444 - x649 <= 0 e370: .1 b445 - x650 <= 0 e371: .1 b477 - x651 <= 0 e372: .1 b478 - x652 <= 0 e373: .1 b479 - x653 <= 0 e374: .1 b480 - x654 <= 0 e375: .1 b481 - x655 <= 0 e376: .1 b482 - x656 <= 0 e377: .1 b483 - x657 <= 0 e378: .1 b515 - x658 <= 0 e379: .1 b516 - x659 <= 0 e380: .1 b517 - x660 <= 0 e381: .1 b518 - x661 <= 0 e382: .1 b519 - x662 <= 0 e383: .1 b520 - x663 <= 0 e384: .1 b521 - x664 <= 0 e385: .1 b409 - x665 <= 0 e386: .1 b410 - x666 <= 0 e387: .1 b411 - x667 <= 0 e388: .1 b412 - x668 <= 0 e389: .1 b413 - x669 <= 0 e390: .1 b414 - x670 <= 0 e391: .1 b415 - x671 <= 0 e392: .1 b439 - x672 <= 0 e393: .1 b440 - x673 <= 0 e394: .1 b441 - x674 <= 0 e395: .1 b442 - x675 <= 0 e396: .1 b443 - x676 <= 0 e397: .1 b444 - x677 <= 0 e398: .1 b445 - x678 <= 0 e399: .1 b477 - x679 <= 0 e400: .1 b478 - x680 <= 0 e401: .1 b479 - x681 <= 0 e402: .1 b480 - x682 <= 0 e403: .1 b481 - x683 <= 0 e404: .1 b482 - x684 <= 0 e405: .1 b483 - x685 <= 0 e406: .1 b515 - x686 <= 0 e407: .1 b516 - x687 <= 0 e408: .1 b517 - x688 <= 0 e409: .1 b518 - x689 <= 0 e410: .1 b519 - x690 <= 0 e411: .1 b520 - x691 <= 0 e412: .1 b521 - x692 <= 0 e413: - .7 b402 - x609 >= -.9 e414: - .7 b403 - x610 >= -.9 e415: - .7 b404 - x611 >= -.9 e416: - .7 b405 - x612 >= -.9 e417: - .7 b406 - x613 >= -.9 e418: - .7 b407 - x614 >= -.9 e419: - .7 b408 - x615 >= -.9 e420: - .2 b409 - x609 >= -.9 e421: - .2 b410 - x610 >= -.9 e422: - .2 b411 - x611 >= -.9 e423: - .2 b412 - x612 >= -.9 e424: - .2 b413 - x613 >= -.9 e425: - .2 b414 - x614 >= -.9 e426: - .2 b415 - x615 >= -.9 e427: - .7 b432 - x616 >= -.9 e428: - .7 b433 - x617 >= -.9 e429: - .7 b434 - x618 >= -.9 e430: - .7 b435 - x619 >= -.9 e431: - .7 b436 - x620 >= -.9 e432: - .7 b437 - x621 >= -.9 e433: - .7 b438 - x622 >= -.9 e434: - .2 b439 - x616 >= -.9 e435: - .2 b440 - x617 >= -.9 e436: - .2 b441 - x618 >= -.9 e437: - .2 b442 - x619 >= -.9 e438: - .2 b443 - x620 >= -.9 e439: - .2 b444 - x621 >= -.9 e440: - .2 b445 - x622 >= -.9 e441: - .7 b470 - x623 >= -.9 e442: - .7 b471 - x624 >= -.9 e443: - .7 b472 - x625 >= -.9 e444: - .7 b473 - x626 >= -.9 e445: - .7 b474 - x627 >= -.9 e446: - .7 b475 - x628 >= -.9 e447: - .7 b476 - x629 >= -.9 e448: - .2 b477 - x623 >= -.9 e449: - .2 b478 - x624 >= -.9 e450: - .2 b479 - x625 >= -.9 e451: - .2 b480 - x626 >= -.9 e452: - .2 b481 - x627 >= -.9 e453: - .2 b482 - x628 >= -.9 e454: - .2 b483 - x629 >= -.9 e455: - .7 b508 - x630 >= -.9 e456: - .7 b509 - x631 >= -.9 e457: - .7 b510 - x632 >= -.9 e458: - .7 b511 - x633 >= -.9 e459: - .7 b512 - x634 >= -.9 e460: - .7 b513 - x635 >= -.9 e461: - .7 b514 - x636 >= -.9 e462: - .2 b515 - x630 >= -.9 e463: - .2 b516 - x631 >= -.9 e464: - .2 b517 - x632 >= -.9 e465: - .2 b518 - x633 >= -.9 e466: - .2 b519 - x634 >= -.9 e467: - .2 b520 - x635 >= -.9 e468: - .2 b521 - x636 >= -.9 e469: - .4 b402 - x693 >= -.9 e470: - .4 b403 - x694 >= -.9 e471: - .4 b404 - x695 >= -.9 e472: - .4 b405 - x696 >= -.9 e473: - .4 b406 - x697 >= -.9 e474: - .4 b407 - x698 >= -.9 e475: - .4 b408 - x699 >= -.9 e476: - .5 b409 - x693 >= -.9 e477: - .5 b410 - x694 >= -.9 e478: - .5 b411 - x695 >= -.9 e479: - .5 b412 - x696 >= -.9 e480: - .5 b413 - x697 >= -.9 e481: - .5 b414 - x698 >= -.9 e482: - .5 b415 - x699 >= -.9 e483: - .4 b432 - x700 >= -.9 e484: - .4 b433 - x701 >= -.9 e485: - .4 b434 - x702 >= -.9 e486: - .4 b435 - x703 >= -.9 e487: - .4 b436 - x704 >= -.9 e488: - .4 b437 - x705 >= -.9 e489: - .4 b438 - x706 >= -.9 e490: - .5 b439 - x700 >= -.9 e491: - .5 b440 - x701 >= -.9 e492: - .5 b441 - x702 >= -.9 e493: - .5 b442 - x703 >= -.9 e494: - .5 b443 - x704 >= -.9 e495: - .5 b444 - x705 >= -.9 e496: - .5 b445 - x706 >= -.9 e497: - .4 b470 - x707 >= -.9 e498: - .4 b471 - x708 >= -.9 e499: - .4 b472 - x709 >= -.9 e500: - .4 b473 - x710 >= -.9 e501: - .4 b474 - x711 >= -.9 e502: - .4 b475 - x712 >= -.9 e503: - .4 b476 - x713 >= -.9 e504: - .5 b477 - x707 >= -.9 e505: - .5 b478 - x708 >= -.9 e506: - .5 b479 - x709 >= -.9 e507: - .5 b480 - x710 >= -.9 e508: - .5 b481 - x711 >= -.9 e509: - .5 b482 - x712 >= -.9 e510: - .5 b483 - x713 >= -.9 e511: - .4 b508 - x714 >= -.9 e512: - .4 b509 - x715 >= -.9 e513: - .4 b510 - x716 >= -.9 e514: - .4 b511 - x717 >= -.9 e515: - .4 b512 - x718 >= -.9 e516: - .4 b513 - x719 >= -.9 e517: - .4 b514 - x720 >= -.9 e518: - .5 b515 - x714 >= -.9 e519: - .5 b516 - x715 >= -.9 e520: - .5 b517 - x716 >= -.9 e521: - .5 b518 - x717 >= -.9 e522: - .5 b519 - x718 >= -.9 e523: - .5 b520 - x719 >= -.9 e524: - .5 b521 - x720 >= -.9 e525: - .4 b402 - x637 >= -1 e526: - .4 b403 - x638 >= -1 e527: - .4 b404 - x639 >= -1 e528: - .4 b405 - x640 >= -1 e529: - .4 b406 - x641 >= -1 e530: - .4 b407 - x642 >= -1 e531: - .4 b408 - x643 >= -1 e532: - .6 b409 - x637 >= -1 e533: - .6 b410 - x638 >= -1 e534: - .6 b411 - x639 >= -1 e535: - .6 b412 - x640 >= -1 e536: - .6 b413 - x641 >= -1 e537: - .6 b414 - x642 >= -1 e538: - .6 b415 - x643 >= -1 e539: - .4 b432 - x644 >= -1 e540: - .4 b433 - x645 >= -1 e541: - .4 b434 - x646 >= -1 e542: - .4 b435 - x647 >= -1 e543: - .4 b436 - x648 >= -1 e544: - .4 b437 - x649 >= -1 e545: - .4 b438 - x650 >= -1 e546: - .6 b439 - x644 >= -1 e547: - .6 b440 - x645 >= -1 e548: - .6 b441 - x646 >= -1 e549: - .6 b442 - x647 >= -1 e550: - .6 b443 - x648 >= -1 e551: - .6 b444 - x649 >= -1 e552: - .6 b445 - x650 >= -1 e553: - .4 b470 - x651 >= -1 e554: - .4 b471 - x652 >= -1 e555: - .4 b472 - x653 >= -1 e556: - .4 b473 - x654 >= -1 e557: - .4 b474 - x655 >= -1 e558: - .4 b475 - x656 >= -1 e559: - .4 b476 - x657 >= -1 e560: - .6 b477 - x651 >= -1 e561: - .6 b478 - x652 >= -1 e562: - .6 b479 - x653 >= -1 e563: - .6 b480 - x654 >= -1 e564: - .6 b481 - x655 >= -1 e565: - .6 b482 - x656 >= -1 e566: - .6 b483 - x657 >= -1 e567: - .4 b508 - x658 >= -1 e568: - .4 b509 - x659 >= -1 e569: - .4 b510 - x660 >= -1 e570: - .4 b511 - x661 >= -1 e571: - .4 b512 - x662 >= -1 e572: - .4 b513 - x663 >= -1 e573: - .4 b514 - x664 >= -1 e574: - .6 b515 - x658 >= -1 e575: - .6 b516 - x659 >= -1 e576: - .6 b517 - x660 >= -1 e577: - .6 b518 - x661 >= -1 e578: - .6 b519 - x662 >= -1 e579: - .6 b520 - x663 >= -1 e580: - .6 b521 - x664 >= -1 e581: - .3 b409 - x721 >= -.6 e582: - .3 b410 - x722 >= -.6 e583: - .3 b411 - x723 >= -.6 e584: - .3 b412 - x724 >= -.6 e585: - .3 b413 - x725 >= -.6 e586: - .3 b414 - x726 >= -.6 e587: - .3 b415 - x727 >= -.6 e588: - .3 b439 - x728 >= -.6 e589: - .3 b440 - x729 >= -.6 e590: - .3 b441 - x730 >= -.6 e591: - .3 b442 - x731 >= -.6 e592: - .3 b443 - x732 >= -.6 e593: - .3 b444 - x733 >= -.6 e594: - .3 b445 - x734 >= -.6 e595: - .3 b477 - x735 >= -.6 e596: - .3 b478 - x736 >= -.6 e597: - .3 b479 - x737 >= -.6 e598: - .3 b480 - x738 >= -.6 e599: - .3 b481 - x739 >= -.6 e600: - .3 b482 - x740 >= -.6 e601: - .3 b483 - x741 >= -.6 e602: - .3 b515 - x742 >= -.6 e603: - .3 b516 - x743 >= -.6 e604: - .3 b517 - x744 >= -.6 e605: - .3 b518 - x745 >= -.6 e606: - .3 b519 - x746 >= -.6 e607: - .3 b520 - x747 >= -.6 e608: - .3 b521 - x748 >= -.6 e609: - .2 b402 - x749 >= -.9 e610: - .2 b403 - x750 >= -.9 e611: - .2 b404 - x751 >= -.9 e612: - .2 b405 - x752 >= -.9 e613: - .2 b406 - x753 >= -.9 e614: - .2 b407 - x754 >= -.9 e615: - .2 b408 - x755 >= -.9 e616: - .5 b409 - x749 >= -.9 e617: - .5 b410 - x750 >= -.9 e618: - .5 b411 - x751 >= -.9 e619: - .5 b412 - x752 >= -.9 e620: - .5 b413 - x753 >= -.9 e621: - .5 b414 - x754 >= -.9 e622: - .5 b415 - x755 >= -.9 e623: - .2 b432 - x756 >= -.9 e624: - .2 b433 - x757 >= -.9 e625: - .2 b434 - x758 >= -.9 e626: - .2 b435 - x759 >= -.9 e627: - .2 b436 - x760 >= -.9 e628: - .2 b437 - x761 >= -.9 e629: - .2 b438 - x762 >= -.9 e630: - .5 b439 - x756 >= -.9 e631: - .5 b440 - x757 >= -.9 e632: - .5 b441 - x758 >= -.9 e633: - .5 b442 - x759 >= -.9 e634: - .5 b443 - x760 >= -.9 e635: - .5 b444 - x761 >= -.9 e636: - .5 b445 - x762 >= -.9 e637: - .2 b470 - x763 >= -.9 e638: - .2 b471 - x764 >= -.9 e639: - .2 b472 - x765 >= -.9 e640: - .2 b473 - x766 >= -.9 e641: - .2 b474 - x767 >= -.9 e642: - .2 b475 - x768 >= -.9 e643: - .2 b476 - x769 >= -.9 e644: - .5 b477 - x763 >= -.9 e645: - .5 b478 - x764 >= -.9 e646: - .5 b479 - x765 >= -.9 e647: - .5 b480 - x766 >= -.9 e648: - .5 b481 - x767 >= -.9 e649: - .5 b482 - x768 >= -.9 e650: - .5 b483 - x769 >= -.9 e651: - .2 b508 - x770 >= -.9 e652: - .2 b509 - x771 >= -.9 e653: - .2 b510 - x772 >= -.9 e654: - .2 b511 - x773 >= -.9 e655: - .2 b512 - x774 >= -.9 e656: - .2 b513 - x775 >= -.9 e657: - .2 b514 - x776 >= -.9 e658: - .5 b515 - x770 >= -.9 e659: - .5 b516 - x771 >= -.9 e660: - .5 b517 - x772 >= -.9 e661: - .5 b518 - x773 >= -.9 e662: - .5 b519 - x774 >= -.9 e663: - .5 b520 - x775 >= -.9 e664: - .5 b521 - x776 >= -.9 e665: - .3 b402 - x665 >= -.5 e666: - .3 b403 - x666 >= -.5 e667: - .3 b404 - x667 >= -.5 e668: - .3 b405 - x668 >= -.5 e669: - .3 b406 - x669 >= -.5 e670: - .3 b407 - x670 >= -.5 e671: - .3 b408 - x671 >= -.5 e672: - .3 b432 - x672 >= -.5 e673: - .3 b433 - x673 >= -.5 e674: - .3 b434 - x674 >= -.5 e675: - .3 b435 - x675 >= -.5 e676: - .3 b436 - x676 >= -.5 e677: - .3 b437 - x677 >= -.5 e678: - .3 b438 - x678 >= -.5 e679: - .3 b470 - x679 >= -.5 e680: - .3 b471 - x680 >= -.5 e681: - .3 b472 - x681 >= -.5 e682: - .3 b473 - x682 >= -.5 e683: - .3 b474 - x683 >= -.5 e684: - .3 b475 - x684 >= -.5 e685: - .3 b476 - x685 >= -.5 e686: - .3 b508 - x686 >= -.5 e687: - .3 b509 - x687 >= -.5 e688: - .3 b510 - x688 >= -.5 e689: - .3 b511 - x689 >= -.5 e690: - .3 b512 - x690 >= -.5 e691: - .3 b513 - x691 >= -.5 e692: - .3 b514 - x692 >= -.5 e693: b282 + b378 <= 1 e694: b283 + b379 <= 1 e695: b284 + b380 <= 1 e696: b285 + b381 <= 1 e697: b286 + b382 <= 1 e698: b287 + b383 <= 1 e699: b288 + b384 <= 1 e700: b289 + b385 <= 1 e701: b282 + b386 <= 1 e702: b283 + b387 <= 1 e703: b284 + b388 <= 1 e704: b285 + b389 <= 1 e705: b286 + b390 <= 1 e706: b287 + b391 <= 1 e707: b288 + b392 <= 1 e708: b289 + b393 <= 1 e709: b282 + b394 <= 1 e710: b283 + b395 <= 1 e711: b284 + b396 <= 1 e712: b285 + b397 <= 1 e713: b286 + b398 <= 1 e714: b287 + b399 <= 1 e715: b288 + b400 <= 1 e716: b289 + b401 <= 1 e717: b283 + b402 <= 1 e718: b284 + b403 <= 1 e719: b285 + b404 <= 1 e720: b286 + b405 <= 1 e721: b287 + b406 <= 1 e722: b288 + b407 <= 1 e723: b289 + b408 <= 1 e724: b283 + b409 <= 1 e725: b284 + b410 <= 1 e726: b285 + b411 <= 1 e727: b286 + b412 <= 1 e728: b287 + b413 <= 1 e729: b288 + b414 <= 1 e730: b289 + b415 <= 1 e731: b314 + b378 <= 1 e732: b315 + b379 <= 1 e733: b316 + b380 <= 1 e734: b317 + b381 <= 1 e735: b318 + b382 <= 1 e736: b319 + b383 <= 1 e737: b320 + b384 <= 1 e738: b321 + b385 <= 1 e739: b314 + b386 <= 1 e740: b315 + b387 <= 1 e741: b316 + b388 <= 1 e742: b317 + b389 <= 1 e743: b318 + b390 <= 1 e744: b319 + b391 <= 1 e745: b320 + b392 <= 1 e746: b321 + b393 <= 1 e747: b314 + b394 <= 1 e748: b315 + b395 <= 1 e749: b316 + b396 <= 1 e750: b317 + b397 <= 1 e751: b318 + b398 <= 1 e752: b319 + b399 <= 1 e753: b320 + b400 <= 1 e754: b321 + b401 <= 1 e755: b315 + b402 <= 1 e756: b316 + b403 <= 1 e757: b317 + b404 <= 1 e758: b318 + b405 <= 1 e759: b319 + b406 <= 1 e760: b320 + b407 <= 1 e761: b321 + b408 <= 1 e762: b315 + b409 <= 1 e763: b316 + b410 <= 1 e764: b317 + b411 <= 1 e765: b318 + b412 <= 1 e766: b319 + b413 <= 1 e767: b320 + b414 <= 1 e768: b321 + b415 <= 1 e769: b346 + b378 <= 1 e770: b347 + b379 <= 1 e771: b348 + b380 <= 1 e772: b349 + b381 <= 1 e773: b350 + b382 <= 1 e774: b351 + b383 <= 1 e775: b352 + b384 <= 1 e776: b353 + b385 <= 1 e777: b346 + b386 <= 1 e778: b347 + b387 <= 1 e779: b348 + b388 <= 1 e780: b349 + b389 <= 1 e781: b350 + b390 <= 1 e782: b351 + b391 <= 1 e783: b352 + b392 <= 1 e784: b353 + b393 <= 1 e785: b346 + b394 <= 1 e786: b347 + b395 <= 1 e787: b348 + b396 <= 1 e788: b349 + b397 <= 1 e789: b350 + b398 <= 1 e790: b351 + b399 <= 1 e791: b352 + b400 <= 1 e792: b353 + b401 <= 1 e793: b347 + b402 <= 1 e794: b348 + b403 <= 1 e795: b349 + b404 <= 1 e796: b350 + b405 <= 1 e797: b351 + b406 <= 1 e798: b352 + b407 <= 1 e799: b353 + b408 <= 1 e800: b347 + b409 <= 1 e801: b348 + b410 <= 1 e802: b349 + b411 <= 1 e803: b350 + b412 <= 1 e804: b351 + b413 <= 1 e805: b352 + b414 <= 1 e806: b353 + b415 <= 1 e807: b378 + b416 <= 1 e808: b379 + b417 <= 1 e809: b380 + b418 <= 1 e810: b381 + b419 <= 1 e811: b382 + b420 <= 1 e812: b383 + b421 <= 1 e813: b384 + b422 <= 1 e814: b385 + b423 <= 1 e815: b386 + b416 <= 1 e816: b387 + b417 <= 1 e817: b388 + b418 <= 1 e818: b389 + b419 <= 1 e819: b390 + b420 <= 1 e820: b391 + b421 <= 1 e821: b392 + b422 <= 1 e822: b393 + b423 <= 1 e823: b394 + b416 <= 1 e824: b395 + b417 <= 1 e825: b396 + b418 <= 1 e826: b397 + b419 <= 1 e827: b398 + b420 <= 1 e828: b399 + b421 <= 1 e829: b400 + b422 <= 1 e830: b401 + b423 <= 1 e831: b402 + b417 <= 1 e832: b403 + b418 <= 1 e833: b404 + b419 <= 1 e834: b405 + b420 <= 1 e835: b406 + b421 <= 1 e836: b407 + b422 <= 1 e837: b408 + b423 <= 1 e838: b409 + b417 <= 1 e839: b410 + b418 <= 1 e840: b411 + b419 <= 1 e841: b412 + b420 <= 1 e842: b413 + b421 <= 1 e843: b414 + b422 <= 1 e844: b415 + b423 <= 1 e845: b378 + b446 <= 1 e846: b379 + b447 <= 1 e847: b380 + b448 <= 1 e848: b381 + b449 <= 1 e849: b382 + b450 <= 1 e850: b383 + b451 <= 1 e851: b384 + b452 <= 1 e852: b385 + b453 <= 1 e853: b386 + b446 <= 1 e854: b387 + b447 <= 1 e855: b388 + b448 <= 1 e856: b389 + b449 <= 1 e857: b390 + b450 <= 1 e858: b391 + b451 <= 1 e859: b392 + b452 <= 1 e860: b393 + b453 <= 1 e861: b394 + b446 <= 1 e862: b395 + b447 <= 1 e863: b396 + b448 <= 1 e864: b397 + b449 <= 1 e865: b398 + b450 <= 1 e866: b399 + b451 <= 1 e867: b400 + b452 <= 1 e868: b401 + b453 <= 1 e869: b402 + b447 <= 1 e870: b403 + b448 <= 1 e871: b404 + b449 <= 1 e872: b405 + b450 <= 1 e873: b406 + b451 <= 1 e874: b407 + b452 <= 1 e875: b408 + b453 <= 1 e876: b409 + b447 <= 1 e877: b410 + b448 <= 1 e878: b411 + b449 <= 1 e879: b412 + b450 <= 1 e880: b413 + b451 <= 1 e881: b414 + b452 <= 1 e882: b415 + b453 <= 1 e883: b378 + b484 <= 1 e884: b379 + b485 <= 1 e885: b380 + b486 <= 1 e886: b381 + b487 <= 1 e887: b382 + b488 <= 1 e888: b383 + b489 <= 1 e889: b384 + b490 <= 1 e890: b385 + b491 <= 1 e891: b386 + b484 <= 1 e892: b387 + b485 <= 1 e893: b388 + b486 <= 1 e894: b389 + b487 <= 1 e895: b390 + b488 <= 1 e896: b391 + b489 <= 1 e897: b392 + b490 <= 1 e898: b393 + b491 <= 1 e899: b394 + b484 <= 1 e900: b395 + b485 <= 1 e901: b396 + b486 <= 1 e902: b397 + b487 <= 1 e903: b398 + b488 <= 1 e904: b399 + b489 <= 1 e905: b400 + b490 <= 1 e906: b401 + b491 <= 1 e907: b402 + b485 <= 1 e908: b403 + b486 <= 1 e909: b404 + b487 <= 1 e910: b405 + b488 <= 1 e911: b406 + b489 <= 1 e912: b407 + b490 <= 1 e913: b408 + b491 <= 1 e914: b409 + b485 <= 1 e915: b410 + b486 <= 1 e916: b411 + b487 <= 1 e917: b412 + b488 <= 1 e918: b413 + b489 <= 1 e919: b414 + b490 <= 1 e920: b415 + b491 <= 1 e921: b290 + b416 <= 1 e922: b291 + b417 <= 1 e923: b292 + b418 <= 1 e924: b293 + b419 <= 1 e925: b294 + b420 <= 1 e926: b295 + b421 <= 1 e927: b296 + b422 <= 1 e928: b297 + b423 <= 1 e929: b290 + b424 <= 1 e930: b291 + b425 <= 1 e931: b292 + b426 <= 1 e932: b293 + b427 <= 1 e933: b294 + b428 <= 1 e934: b295 + b429 <= 1 e935: b296 + b430 <= 1 e936: b297 + b431 <= 1 e937: b290 + b601 <= 1 e938: b291 + b602 <= 1 e939: b292 + b603 <= 1 e940: b293 + b604 <= 1 e941: b294 + b605 <= 1 e942: b295 + b606 <= 1 e943: b296 + b607 <= 1 e944: b297 + b608 <= 1 e945: b291 + b432 <= 1 e946: b292 + b433 <= 1 e947: b293 + b434 <= 1 e948: b294 + b435 <= 1 e949: b295 + b436 <= 1 e950: b296 + b437 <= 1 e951: b297 + b438 <= 1 e952: b291 + b439 <= 1 e953: b292 + b440 <= 1 e954: b293 + b441 <= 1 e955: b294 + b442 <= 1 e956: b295 + b443 <= 1 e957: b296 + b444 <= 1 e958: b297 + b445 <= 1 e959: b322 + b416 <= 1 e960: b323 + b417 <= 1 e961: b324 + b418 <= 1 e962: b325 + b419 <= 1 e963: b326 + b420 <= 1 e964: b327 + b421 <= 1 e965: b328 + b422 <= 1 e966: b329 + b423 <= 1 e967: b322 + b424 <= 1 e968: b323 + b425 <= 1 e969: b324 + b426 <= 1 e970: b325 + b427 <= 1 e971: b326 + b428 <= 1 e972: b327 + b429 <= 1 e973: b328 + b430 <= 1 e974: b329 + b431 <= 1 e975: b322 + b601 <= 1 e976: b323 + b602 <= 1 e977: b324 + b603 <= 1 e978: b325 + b604 <= 1 e979: b326 + b605 <= 1 e980: b327 + b606 <= 1 e981: b328 + b607 <= 1 e982: b329 + b608 <= 1 e983: b323 + b432 <= 1 e984: b324 + b433 <= 1 e985: b325 + b434 <= 1 e986: b326 + b435 <= 1 e987: b327 + b436 <= 1 e988: b328 + b437 <= 1 e989: b329 + b438 <= 1 e990: b323 + b439 <= 1 e991: b324 + b440 <= 1 e992: b325 + b441 <= 1 e993: b326 + b442 <= 1 e994: b327 + b443 <= 1 e995: b328 + b444 <= 1 e996: b329 + b445 <= 1 e997: b354 + b416 <= 1 e998: b355 + b417 <= 1 e999: b356 + b418 <= 1 e1000: b357 + b419 <= 1 e1001: b358 + b420 <= 1 e1002: b359 + b421 <= 1 e1003: b360 + b422 <= 1 e1004: b361 + b423 <= 1 e1005: b354 + b424 <= 1 e1006: b355 + b425 <= 1 e1007: b356 + b426 <= 1 e1008: b357 + b427 <= 1 e1009: b358 + b428 <= 1 e1010: b359 + b429 <= 1 e1011: b360 + b430 <= 1 e1012: b361 + b431 <= 1 e1013: b354 + b601 <= 1 e1014: b355 + b602 <= 1 e1015: b356 + b603 <= 1 e1016: b357 + b604 <= 1 e1017: b358 + b605 <= 1 e1018: b359 + b606 <= 1 e1019: b360 + b607 <= 1 e1020: b361 + b608 <= 1 e1021: b355 + b432 <= 1 e1022: b356 + b433 <= 1 e1023: b357 + b434 <= 1 e1024: b358 + b435 <= 1 e1025: b359 + b436 <= 1 e1026: b360 + b437 <= 1 e1027: b361 + b438 <= 1 e1028: b355 + b439 <= 1 e1029: b356 + b440 <= 1 e1030: b357 + b441 <= 1 e1031: b358 + b442 <= 1 e1032: b359 + b443 <= 1 e1033: b360 + b444 <= 1 e1034: b361 + b445 <= 1 e1035: b378 + b416 <= 1 e1036: b379 + b417 <= 1 e1037: b380 + b418 <= 1 e1038: b381 + b419 <= 1 e1039: b382 + b420 <= 1 e1040: b383 + b421 <= 1 e1041: b384 + b422 <= 1 e1042: b385 + b423 <= 1 e1043: b378 + b424 <= 1 e1044: b379 + b425 <= 1 e1045: b380 + b426 <= 1 e1046: b381 + b427 <= 1 e1047: b382 + b428 <= 1 e1048: b383 + b429 <= 1 e1049: b384 + b430 <= 1 e1050: b385 + b431 <= 1 e1051: b378 + b601 <= 1 e1052: b379 + b602 <= 1 e1053: b380 + b603 <= 1 e1054: b381 + b604 <= 1 e1055: b382 + b605 <= 1 e1056: b383 + b606 <= 1 e1057: b384 + b607 <= 1 e1058: b385 + b608 <= 1 e1059: b379 + b432 <= 1 e1060: b380 + b433 <= 1 e1061: b381 + b434 <= 1 e1062: b382 + b435 <= 1 e1063: b383 + b436 <= 1 e1064: b384 + b437 <= 1 e1065: b385 + b438 <= 1 e1066: b379 + b439 <= 1 e1067: b380 + b440 <= 1 e1068: b381 + b441 <= 1 e1069: b382 + b442 <= 1 e1070: b383 + b443 <= 1 e1071: b384 + b444 <= 1 e1072: b385 + b445 <= 1 e1073: b416 + b454 <= 1 e1074: b417 + b455 <= 1 e1075: b418 + b456 <= 1 e1076: b419 + b457 <= 1 e1077: b420 + b458 <= 1 e1078: b421 + b459 <= 1 e1079: b422 + b460 <= 1 e1080: b423 + b461 <= 1 e1081: b424 + b454 <= 1 e1082: b425 + b455 <= 1 e1083: b426 + b456 <= 1 e1084: b427 + b457 <= 1 e1085: b428 + b458 <= 1 e1086: b429 + b459 <= 1 e1087: b430 + b460 <= 1 e1088: b431 + b461 <= 1 e1089: b454 + b601 <= 1 e1090: b455 + b602 <= 1 e1091: b456 + b603 <= 1 e1092: b457 + b604 <= 1 e1093: b458 + b605 <= 1 e1094: b459 + b606 <= 1 e1095: b460 + b607 <= 1 e1096: b461 + b608 <= 1 e1097: b432 + b455 <= 1 e1098: b433 + b456 <= 1 e1099: b434 + b457 <= 1 e1100: b435 + b458 <= 1 e1101: b436 + b459 <= 1 e1102: b437 + b460 <= 1 e1103: b438 + b461 <= 1 e1104: b439 + b455 <= 1 e1105: b440 + b456 <= 1 e1106: b441 + b457 <= 1 e1107: b442 + b458 <= 1 e1108: b443 + b459 <= 1 e1109: b444 + b460 <= 1 e1110: b445 + b461 <= 1 e1111: b416 + b492 <= 1 e1112: b417 + b493 <= 1 e1113: b418 + b494 <= 1 e1114: b419 + b495 <= 1 e1115: b420 + b496 <= 1 e1116: b421 + b497 <= 1 e1117: b422 + b498 <= 1 e1118: b423 + b499 <= 1 e1119: b424 + b492 <= 1 e1120: b425 + b493 <= 1 e1121: b426 + b494 <= 1 e1122: b427 + b495 <= 1 e1123: b428 + b496 <= 1 e1124: b429 + b497 <= 1 e1125: b430 + b498 <= 1 e1126: b431 + b499 <= 1 e1127: b492 + b601 <= 1 e1128: b493 + b602 <= 1 e1129: b494 + b603 <= 1 e1130: b495 + b604 <= 1 e1131: b496 + b605 <= 1 e1132: b497 + b606 <= 1 e1133: b498 + b607 <= 1 e1134: b499 + b608 <= 1 e1135: b432 + b493 <= 1 e1136: b433 + b494 <= 1 e1137: b434 + b495 <= 1 e1138: b435 + b496 <= 1 e1139: b436 + b497 <= 1 e1140: b437 + b498 <= 1 e1141: b438 + b499 <= 1 e1142: b439 + b493 <= 1 e1143: b440 + b494 <= 1 e1144: b441 + b495 <= 1 e1145: b442 + b496 <= 1 e1146: b443 + b497 <= 1 e1147: b444 + b498 <= 1 e1148: b445 + b499 <= 1 e1149: b298 + b446 <= 1 e1150: b299 + b447 <= 1 e1151: b300 + b448 <= 1 e1152: b301 + b449 <= 1 e1153: b302 + b450 <= 1 e1154: b303 + b451 <= 1 e1155: b304 + b452 <= 1 e1156: b305 + b453 <= 1 e1157: b298 + b454 <= 1 e1158: b299 + b455 <= 1 e1159: b300 + b456 <= 1 e1160: b301 + b457 <= 1 e1161: b302 + b458 <= 1 e1162: b303 + b459 <= 1 e1163: b304 + b460 <= 1 e1164: b305 + b461 <= 1 e1165: b298 + b462 <= 1 e1166: b299 + b463 <= 1 e1167: b300 + b464 <= 1 e1168: b301 + b465 <= 1 e1169: b302 + b466 <= 1 e1170: b303 + b467 <= 1 e1171: b304 + b468 <= 1 e1172: b305 + b469 <= 1 e1173: b299 + b470 <= 1 e1174: b300 + b471 <= 1 e1175: b301 + b472 <= 1 e1176: b302 + b473 <= 1 e1177: b303 + b474 <= 1 e1178: b304 + b475 <= 1 e1179: b305 + b476 <= 1 e1180: b299 + b477 <= 1 e1181: b300 + b478 <= 1 e1182: b301 + b479 <= 1 e1183: b302 + b480 <= 1 e1184: b303 + b481 <= 1 e1185: b304 + b482 <= 1 e1186: b305 + b483 <= 1 e1187: b330 + b446 <= 1 e1188: b331 + b447 <= 1 e1189: b332 + b448 <= 1 e1190: b333 + b449 <= 1 e1191: b334 + b450 <= 1 e1192: b335 + b451 <= 1 e1193: b336 + b452 <= 1 e1194: b337 + b453 <= 1 e1195: b330 + b454 <= 1 e1196: b331 + b455 <= 1 e1197: b332 + b456 <= 1 e1198: b333 + b457 <= 1 e1199: b334 + b458 <= 1 e1200: b335 + b459 <= 1 e1201: b336 + b460 <= 1 e1202: b337 + b461 <= 1 e1203: b330 + b462 <= 1 e1204: b331 + b463 <= 1 e1205: b332 + b464 <= 1 e1206: b333 + b465 <= 1 e1207: b334 + b466 <= 1 e1208: b335 + b467 <= 1 e1209: b336 + b468 <= 1 e1210: b337 + b469 <= 1 e1211: b331 + b470 <= 1 e1212: b332 + b471 <= 1 e1213: b333 + b472 <= 1 e1214: b334 + b473 <= 1 e1215: b335 + b474 <= 1 e1216: b336 + b475 <= 1 e1217: b337 + b476 <= 1 e1218: b331 + b477 <= 1 e1219: b332 + b478 <= 1 e1220: b333 + b479 <= 1 e1221: b334 + b480 <= 1 e1222: b335 + b481 <= 1 e1223: b336 + b482 <= 1 e1224: b337 + b483 <= 1 e1225: b362 + b446 <= 1 e1226: b363 + b447 <= 1 e1227: b364 + b448 <= 1 e1228: b365 + b449 <= 1 e1229: b366 + b450 <= 1 e1230: b367 + b451 <= 1 e1231: b368 + b452 <= 1 e1232: b369 + b453 <= 1 e1233: b362 + b454 <= 1 e1234: b363 + b455 <= 1 e1235: b364 + b456 <= 1 e1236: b365 + b457 <= 1 e1237: b366 + b458 <= 1 e1238: b367 + b459 <= 1 e1239: b368 + b460 <= 1 e1240: b369 + b461 <= 1 e1241: b362 + b462 <= 1 e1242: b363 + b463 <= 1 e1243: b364 + b464 <= 1 e1244: b365 + b465 <= 1 e1245: b366 + b466 <= 1 e1246: b367 + b467 <= 1 e1247: b368 + b468 <= 1 e1248: b369 + b469 <= 1 e1249: b363 + b470 <= 1 e1250: b364 + b471 <= 1 e1251: b365 + b472 <= 1 e1252: b366 + b473 <= 1 e1253: b367 + b474 <= 1 e1254: b368 + b475 <= 1 e1255: b369 + b476 <= 1 e1256: b363 + b477 <= 1 e1257: b364 + b478 <= 1 e1258: b365 + b479 <= 1 e1259: b366 + b480 <= 1 e1260: b367 + b481 <= 1 e1261: b368 + b482 <= 1 e1262: b369 + b483 <= 1 e1263: b386 + b446 <= 1 e1264: b387 + b447 <= 1 e1265: b388 + b448 <= 1 e1266: b389 + b449 <= 1 e1267: b390 + b450 <= 1 e1268: b391 + b451 <= 1 e1269: b392 + b452 <= 1 e1270: b393 + b453 <= 1 e1271: b386 + b454 <= 1 e1272: b387 + b455 <= 1 e1273: b388 + b456 <= 1 e1274: b389 + b457 <= 1 e1275: b390 + b458 <= 1 e1276: b391 + b459 <= 1 e1277: b392 + b460 <= 1 e1278: b393 + b461 <= 1 e1279: b386 + b462 <= 1 e1280: b387 + b463 <= 1 e1281: b388 + b464 <= 1 e1282: b389 + b465 <= 1 e1283: b390 + b466 <= 1 e1284: b391 + b467 <= 1 e1285: b392 + b468 <= 1 e1286: b393 + b469 <= 1 e1287: b387 + b470 <= 1 e1288: b388 + b471 <= 1 e1289: b389 + b472 <= 1 e1290: b390 + b473 <= 1 e1291: b391 + b474 <= 1 e1292: b392 + b475 <= 1 e1293: b393 + b476 <= 1 e1294: b387 + b477 <= 1 e1295: b388 + b478 <= 1 e1296: b389 + b479 <= 1 e1297: b390 + b480 <= 1 e1298: b391 + b481 <= 1 e1299: b392 + b482 <= 1 e1300: b393 + b483 <= 1 e1301: b424 + b446 <= 1 e1302: b425 + b447 <= 1 e1303: b426 + b448 <= 1 e1304: b427 + b449 <= 1 e1305: b428 + b450 <= 1 e1306: b429 + b451 <= 1 e1307: b430 + b452 <= 1 e1308: b431 + b453 <= 1 e1309: b424 + b454 <= 1 e1310: b425 + b455 <= 1 e1311: b426 + b456 <= 1 e1312: b427 + b457 <= 1 e1313: b428 + b458 <= 1 e1314: b429 + b459 <= 1 e1315: b430 + b460 <= 1 e1316: b431 + b461 <= 1 e1317: b424 + b462 <= 1 e1318: b425 + b463 <= 1 e1319: b426 + b464 <= 1 e1320: b427 + b465 <= 1 e1321: b428 + b466 <= 1 e1322: b429 + b467 <= 1 e1323: b430 + b468 <= 1 e1324: b431 + b469 <= 1 e1325: b425 + b470 <= 1 e1326: b426 + b471 <= 1 e1327: b427 + b472 <= 1 e1328: b428 + b473 <= 1 e1329: b429 + b474 <= 1 e1330: b430 + b475 <= 1 e1331: b431 + b476 <= 1 e1332: b425 + b477 <= 1 e1333: b426 + b478 <= 1 e1334: b427 + b479 <= 1 e1335: b428 + b480 <= 1 e1336: b429 + b481 <= 1 e1337: b430 + b482 <= 1 e1338: b431 + b483 <= 1 e1339: b446 + b500 <= 1 e1340: b447 + b501 <= 1 e1341: b448 + b502 <= 1 e1342: b449 + b503 <= 1 e1343: b450 + b504 <= 1 e1344: b451 + b505 <= 1 e1345: b452 + b506 <= 1 e1346: b453 + b507 <= 1 e1347: b454 + b500 <= 1 e1348: b455 + b501 <= 1 e1349: b456 + b502 <= 1 e1350: b457 + b503 <= 1 e1351: b458 + b504 <= 1 e1352: b459 + b505 <= 1 e1353: b460 + b506 <= 1 e1354: b461 + b507 <= 1 e1355: b462 + b500 <= 1 e1356: b463 + b501 <= 1 e1357: b464 + b502 <= 1 e1358: b465 + b503 <= 1 e1359: b466 + b504 <= 1 e1360: b467 + b505 <= 1 e1361: b468 + b506 <= 1 e1362: b469 + b507 <= 1 e1363: b470 + b501 <= 1 e1364: b471 + b502 <= 1 e1365: b472 + b503 <= 1 e1366: b473 + b504 <= 1 e1367: b474 + b505 <= 1 e1368: b475 + b506 <= 1 e1369: b476 + b507 <= 1 e1370: b477 + b501 <= 1 e1371: b478 + b502 <= 1 e1372: b479 + b503 <= 1 e1373: b480 + b504 <= 1 e1374: b481 + b505 <= 1 e1375: b482 + b506 <= 1 e1376: b483 + b507 <= 1 e1377: b306 + b484 <= 1 e1378: b307 + b485 <= 1 e1379: b308 + b486 <= 1 e1380: b309 + b487 <= 1 e1381: b310 + b488 <= 1 e1382: b311 + b489 <= 1 e1383: b312 + b490 <= 1 e1384: b313 + b491 <= 1 e1385: b306 + b492 <= 1 e1386: b307 + b493 <= 1 e1387: b308 + b494 <= 1 e1388: b309 + b495 <= 1 e1389: b310 + b496 <= 1 e1390: b311 + b497 <= 1 e1391: b312 + b498 <= 1 e1392: b313 + b499 <= 1 e1393: b306 + b500 <= 1 e1394: b307 + b501 <= 1 e1395: b308 + b502 <= 1 e1396: b309 + b503 <= 1 e1397: b310 + b504 <= 1 e1398: b311 + b505 <= 1 e1399: b312 + b506 <= 1 e1400: b313 + b507 <= 1 e1401: b307 + b508 <= 1 e1402: b308 + b509 <= 1 e1403: b309 + b510 <= 1 e1404: b310 + b511 <= 1 e1405: b311 + b512 <= 1 e1406: b312 + b513 <= 1 e1407: b313 + b514 <= 1 e1408: b307 + b515 <= 1 e1409: b308 + b516 <= 1 e1410: b309 + b517 <= 1 e1411: b310 + b518 <= 1 e1412: b311 + b519 <= 1 e1413: b312 + b520 <= 1 e1414: b313 + b521 <= 1 e1415: b338 + b484 <= 1 e1416: b339 + b485 <= 1 e1417: b340 + b486 <= 1 e1418: b341 + b487 <= 1 e1419: b342 + b488 <= 1 e1420: b343 + b489 <= 1 e1421: b344 + b490 <= 1 e1422: b345 + b491 <= 1 e1423: b338 + b492 <= 1 e1424: b339 + b493 <= 1 e1425: b340 + b494 <= 1 e1426: b341 + b495 <= 1 e1427: b342 + b496 <= 1 e1428: b343 + b497 <= 1 e1429: b344 + b498 <= 1 e1430: b345 + b499 <= 1 e1431: b338 + b500 <= 1 e1432: b339 + b501 <= 1 e1433: b340 + b502 <= 1 e1434: b341 + b503 <= 1 e1435: b342 + b504 <= 1 e1436: b343 + b505 <= 1 e1437: b344 + b506 <= 1 e1438: b345 + b507 <= 1 e1439: b339 + b508 <= 1 e1440: b340 + b509 <= 1 e1441: b341 + b510 <= 1 e1442: b342 + b511 <= 1 e1443: b343 + b512 <= 1 e1444: b344 + b513 <= 1 e1445: b345 + b514 <= 1 e1446: b339 + b515 <= 1 e1447: b340 + b516 <= 1 e1448: b341 + b517 <= 1 e1449: b342 + b518 <= 1 e1450: b343 + b519 <= 1 e1451: b344 + b520 <= 1 e1452: b345 + b521 <= 1 e1453: b370 + b484 <= 1 e1454: b371 + b485 <= 1 e1455: b372 + b486 <= 1 e1456: b373 + b487 <= 1 e1457: b374 + b488 <= 1 e1458: b375 + b489 <= 1 e1459: b376 + b490 <= 1 e1460: b377 + b491 <= 1 e1461: b370 + b492 <= 1 e1462: b371 + b493 <= 1 e1463: b372 + b494 <= 1 e1464: b373 + b495 <= 1 e1465: b374 + b496 <= 1 e1466: b375 + b497 <= 1 e1467: b376 + b498 <= 1 e1468: b377 + b499 <= 1 e1469: b370 + b500 <= 1 e1470: b371 + b501 <= 1 e1471: b372 + b502 <= 1 e1472: b373 + b503 <= 1 e1473: b374 + b504 <= 1 e1474: b375 + b505 <= 1 e1475: b376 + b506 <= 1 e1476: b377 + b507 <= 1 e1477: b371 + b508 <= 1 e1478: b372 + b509 <= 1 e1479: b373 + b510 <= 1 e1480: b374 + b511 <= 1 e1481: b375 + b512 <= 1 e1482: b376 + b513 <= 1 e1483: b377 + b514 <= 1 e1484: b371 + b515 <= 1 e1485: b372 + b516 <= 1 e1486: b373 + b517 <= 1 e1487: b374 + b518 <= 1 e1488: b375 + b519 <= 1 e1489: b376 + b520 <= 1 e1490: b377 + b521 <= 1 e1491: b394 + b484 <= 1 e1492: b395 + b485 <= 1 e1493: b396 + b486 <= 1 e1494: b397 + b487 <= 1 e1495: b398 + b488 <= 1 e1496: b399 + b489 <= 1 e1497: b400 + b490 <= 1 e1498: b401 + b491 <= 1 e1499: b394 + b492 <= 1 e1500: b395 + b493 <= 1 e1501: b396 + b494 <= 1 e1502: b397 + b495 <= 1 e1503: b398 + b496 <= 1 e1504: b399 + b497 <= 1 e1505: b400 + b498 <= 1 e1506: b401 + b499 <= 1 e1507: b394 + b500 <= 1 e1508: b395 + b501 <= 1 e1509: b396 + b502 <= 1 e1510: b397 + b503 <= 1 e1511: b398 + b504 <= 1 e1512: b399 + b505 <= 1 e1513: b400 + b506 <= 1 e1514: b401 + b507 <= 1 e1515: b395 + b508 <= 1 e1516: b396 + b509 <= 1 e1517: b397 + b510 <= 1 e1518: b398 + b511 <= 1 e1519: b399 + b512 <= 1 e1520: b400 + b513 <= 1 e1521: b401 + b514 <= 1 e1522: b395 + b515 <= 1 e1523: b396 + b516 <= 1 e1524: b397 + b517 <= 1 e1525: b398 + b518 <= 1 e1526: b399 + b519 <= 1 e1527: b400 + b520 <= 1 e1528: b401 + b521 <= 1 e1529: b484 + b601 <= 1 e1530: b485 + b602 <= 1 e1531: b486 + b603 <= 1 e1532: b487 + b604 <= 1 e1533: b488 + b605 <= 1 e1534: b489 + b606 <= 1 e1535: b490 + b607 <= 1 e1536: b491 + b608 <= 1 e1537: b492 + b601 <= 1 e1538: b493 + b602 <= 1 e1539: b494 + b603 <= 1 e1540: b495 + b604 <= 1 e1541: b496 + b605 <= 1 e1542: b497 + b606 <= 1 e1543: b498 + b607 <= 1 e1544: b499 + b608 <= 1 e1545: b500 + b601 <= 1 e1546: b501 + b602 <= 1 e1547: b502 + b603 <= 1 e1548: b503 + b604 <= 1 e1549: b504 + b605 <= 1 e1550: b505 + b606 <= 1 e1551: b506 + b607 <= 1 e1552: b507 + b608 <= 1 e1553: b508 + b602 <= 1 e1554: b509 + b603 <= 1 e1555: b510 + b604 <= 1 e1556: b511 + b605 <= 1 e1557: b512 + b606 <= 1 e1558: b513 + b607 <= 1 e1559: b514 + b608 <= 1 e1560: b515 + b602 <= 1 e1561: b516 + b603 <= 1 e1562: b517 + b604 <= 1 e1563: b518 + b605 <= 1 e1564: b519 + b606 <= 1 e1565: b520 + b607 <= 1 e1566: b521 + b608 <= 1 e1567: b462 + b484 <= 1 e1568: b463 + b485 <= 1 e1569: b464 + b486 <= 1 e1570: b465 + b487 <= 1 e1571: b466 + b488 <= 1 e1572: b467 + b489 <= 1 e1573: b468 + b490 <= 1 e1574: b469 + b491 <= 1 e1575: b462 + b492 <= 1 e1576: b463 + b493 <= 1 e1577: b464 + b494 <= 1 e1578: b465 + b495 <= 1 e1579: b466 + b496 <= 1 e1580: b467 + b497 <= 1 e1581: b468 + b498 <= 1 e1582: b469 + b499 <= 1 e1583: b462 + b500 <= 1 e1584: b463 + b501 <= 1 e1585: b464 + b502 <= 1 e1586: b465 + b503 <= 1 e1587: b466 + b504 <= 1 e1588: b467 + b505 <= 1 e1589: b468 + b506 <= 1 e1590: b469 + b507 <= 1 e1591: b463 + b508 <= 1 e1592: b464 + b509 <= 1 e1593: b465 + b510 <= 1 e1594: b466 + b511 <= 1 e1595: b467 + b512 <= 1 e1596: b468 + b513 <= 1 e1597: b469 + b514 <= 1 e1598: b463 + b515 <= 1 e1599: b464 + b516 <= 1 e1600: b465 + b517 <= 1 e1601: b466 + b518 <= 1 e1602: b467 + b519 <= 1 e1603: b468 + b520 <= 1 e1604: b469 + b521 <= 1 e1605: - .5 x2 - .4 x34 - .3 x66 + .9 x106 + .9 x114 + .9 x122 - .4 x144 - .3 x182 - .6 x220 + x525 x609 = .18 e1606: - .5 x10 - .4 x42 - .3 x74 - .9 x106 + .4 x144 + .4 x152 + .4 x160 - .3 x190 - .6 x228 + x526 x616 = 4e-2 e1607: - .5 x18 - .4 x50 - .3 x82 - .9 x114 - .4 x152 + .3 x182 + .3 x190 + .3 x198 - .6 x236 + x527 x623 = .18 e1608: - .5 x26 - .4 x58 - .3 x90 - .9 x122 - .4 x160 - .3 x198 + .6 x220 + .6 x228 + .6 x236 + x528 x630 = .72 e1609: - .6 x2 - .4 x34 - .1 x66 + .9 x106 + .9 x114 + .9 x122 - .7 x144 - .4 x182 - .7 x220 + x525 x693 = .18 e1610: - .6 x10 - .4 x42 - .1 x74 - .9 x106 + .7 x144 + .7 x152 + .7 x160 - .4 x190 - .7 x228 + x526 x700 = 7e-2 e1611: - .6 x18 - .4 x50 - .1 x82 - .9 x114 - .7 x152 + .4 x182 + .4 x190 + .4 x198 - .7 x236 + x527 x707 = .24 e1612: - .6 x26 - .4 x58 - .1 x90 - .9 x122 - .7 x160 - .4 x198 + .7 x220 + .7 x228 + .7 x236 + x528 x714 = .84 e1613: - .6 x2 - .5 x34 - .1 x66 + x106 + x114 + x122 - .5 x144 - .5 x182 - .3 x220 + x525 x637 = .2 e1614: - .6 x10 - .5 x42 - .1 x74 - x106 + .5 x144 + .5 x152 + .5 x160 - .5 x190 - .3 x228 + x526 x644 = 5e-2 e1615: - .6 x18 - .5 x50 - .1 x82 - x114 - .5 x152 + .5 x182 + .5 x190 + .5 x198 - .3 x236 + x527 x651 = .3 e1616: - .6 x26 - .5 x58 - .1 x90 - x122 - .5 x160 - .5 x198 + .3 x220 + .3 x228 + .3 x236 + x528 x658 = .36 e1617: - .6 x2 - .5 x34 - .1 x66 + .1 x106 + .1 x114 + .1 x122 - .2 x144 - .1 x182 - .5 x220 + x525 x721 = 2e-2 e1618: - .6 x10 - .5 x42 - .1 x74 - .1 x106 + .2 x144 + .2 x152 + .2 x160 - .1 x190 - .5 x228 + x526 x728 = 2e-2 e1619: - .6 x18 - .5 x50 - .1 x82 - .1 x114 - .2 x152 + .1 x182 + .1 x190 + .1 x198 - .5 x236 + x527 x735 = 6e-2 e1620: - .6 x26 - .5 x58 - .1 x90 - .1 x122 - .2 x160 - .1 x198 + .5 x220 + .5 x228 + .5 x236 + x528 x742 = .6 e1621: - .6 x2 - .5 x34 - .2 x66 - .9 x144 - .6 x182 + x525 x749 = 0 e1622: - .6 x10 - .5 x42 - .2 x74 + .9 x144 + .9 x152 + .9 x160 - .6 x190 + x526 x756 = 9e-2 e1623: - .6 x18 - .5 x50 - .2 x82 - .9 x152 + .6 x182 + .6 x190 + .6 x198 + x527 x763 = .36 e1624: - .6 x26 - .5 x58 - .2 x90 - .9 x160 - .6 x198 + x528 x770 = 0 e1625: - .5 x2 - .4 x34 - .3 x66 - .2 x144 - .5 x182 - .1 x220 + x525 x665 = 0 e1626: - .5 x10 - .4 x42 - .3 x74 + .2 x144 + .2 x152 + .2 x160 - .5 x190 - .1 x228 + x526 x672 = 2e-2 e1627: - .5 x18 - .4 x50 - .3 x82 - .2 x152 + .5 x182 + .5 x190 + .5 x198 - .1 x236 + x527 x679 = .3 e1628: - .5 x26 - .4 x58 - .3 x90 - .2 x160 - .5 x198 + .1 x220 + .1 x228 + .1 x236 + x528 x686 = .12 e1629: - .5 x3 - .4 x35 - .3 x67 + x107 x609 + x115 x609 + x123 x609 + x130 x609 + x137 x609 - x145 x616 - x183 x623 - x221 x630 - x525 x609 + x551 x610 = 0 e1630: - .5 x4 - .4 x36 - .3 x68 + x108 x610 + x116 x610 + x124 x610 + x131 x610 + x138 x610 - x146 x617 - x184 x624 - x222 x631 - x551 x610 + x552 x611 = 0 e1631: - .5 x5 - .4 x37 - .3 x69 + x109 x611 + x117 x611 + x125 x611 + x132 x611 + x139 x611 - x147 x618 - x185 x625 - x223 x632 - x552 x611 + x553 x612 = 0 e1632: - .5 x6 - .4 x38 - .3 x70 + x110 x612 + x118 x612 + x126 x612 + x133 x612 + x140 x612 - x148 x619 - x186 x626 - x224 x633 - x553 x612 + x554 x613 = 0 e1633: - .5 x7 - .4 x39 - .3 x71 + x111 x613 + x119 x613 + x127 x613 + x134 x613 + x141 x613 - x149 x620 - x187 x627 - x225 x634 - x554 x613 + x555 x614 = 0 e1634: - .5 x8 - .4 x40 - .3 x72 + x112 x614 + x120 x614 + x128 x614 + x135 x614 + x142 x614 - x150 x621 - x188 x628 - x226 x635 - x555 x614 + x556 x615 = 0 e1635: - .5 x9 - .4 x41 - .3 x73 + x113 x615 + x121 x615 + x129 x615 + x136 x615 + x143 x615 - x151 x622 - x189 x629 - x227 x636 + x258 x557 - x556 x615 = 0 e1636: - .5 x11 - .4 x43 - .3 x75 - x107 x609 + x145 x616 + x153 x616 + x161 x616 + x168 x616 + x175 x616 - x191 x623 - x229 x630 - x526 x616 + x558 x617 = 0 e1637: - .5 x12 - .4 x44 - .3 x76 - x108 x610 + x146 x617 + x154 x617 + x162 x617 + x169 x617 + x176 x617 - x192 x624 - x230 x631 - x558 x617 + x559 x618 = 0 e1638: - .5 x13 - .4 x45 - .3 x77 - x109 x611 + x147 x618 + x155 x618 + x163 x618 + x170 x618 + x177 x618 - x193 x625 - x231 x632 - x559 x618 + x560 x619 = 0 e1639: - .5 x14 - .4 x46 - .3 x78 - x110 x612 + x148 x619 + x156 x619 + x164 x619 + x171 x619 + x178 x619 - x194 x626 - x232 x633 - x560 x619 + x561 x620 = 0 e1640: - .5 x15 - .4 x47 - .3 x79 - x111 x613 + x149 x620 + x157 x620 + x165 x620 + x172 x620 + x179 x620 - x195 x627 - x233 x634 - x561 x620 + x562 x621 = 0 e1641: - .5 x16 - .4 x48 - .3 x80 - x112 x614 + x150 x621 + x158 x621 + x166 x621 + x173 x621 + x180 x621 - x196 x628 - x234 x635 - x562 x621 + x563 x622 = 0 e1642: - .5 x17 - .4 x49 - .3 x81 - x113 x615 + x151 x622 + x159 x622 + x167 x622 + x174 x622 + x181 x622 - x197 x629 - x235 x636 + x259 x564 - x563 x622 = 0 e1643: - .5 x19 - .4 x51 - .3 x83 - x115 x609 - x153 x616 + x183 x623 + x191 x623 + x199 x623 + x206 x623 + x213 x623 - x237 x630 - x527 x623 + x565 x624 = 0 e1644: - .5 x20 - .4 x52 - .3 x84 - x116 x610 - x154 x617 + x184 x624 + x192 x624 + x200 x624 + x207 x624 + x214 x624 - x238 x631 - x565 x624 + x566 x625 = 0 e1645: - .5 x21 - .4 x53 - .3 x85 - x117 x611 - x155 x618 + x185 x625 + x193 x625 + x201 x625 + x208 x625 + x215 x625 - x239 x632 - x566 x625 + x567 x626 = 0 e1646: - .5 x22 - .4 x54 - .3 x86 - x118 x612 - x156 x619 + x186 x626 + x194 x626 + x202 x626 + x209 x626 + x216 x626 - x240 x633 - x567 x626 + x568 x627 = 0 e1647: - .5 x23 - .4 x55 - .3 x87 - x119 x613 - x157 x620 + x187 x627 + x195 x627 + x203 x627 + x210 x627 + x217 x627 - x241 x634 - x568 x627 + x569 x628 = 0 e1648: - .5 x24 - .4 x56 - .3 x88 - x120 x614 - x158 x621 + x188 x628 + x196 x628 + x204 x628 + x211 x628 + x218 x628 - x242 x635 - x569 x628 + x570 x629 = 0 e1649: - .5 x25 - .4 x57 - .3 x89 - x121 x615 - x159 x622 + x189 x629 + x197 x629 + x205 x629 + x212 x629 + x219 x629 - x243 x636 + x260 x571 - x570 x629 = 0 e1650: - .5 x27 - .4 x59 - .3 x91 - x123 x609 - x161 x616 - x199 x623 + x221 x630 + x229 x630 + x237 x630 + x244 x630 + x251 x630 - x528 x630 + x572 x631 = 0 e1651: - .5 x28 - .4 x60 - .3 x92 - x124 x610 - x162 x617 - x200 x624 + x222 x631 + x230 x631 + x238 x631 + x245 x631 + x252 x631 - x572 x631 + x573 x632 = 0 e1652: - .5 x29 - .4 x61 - .3 x93 - x125 x611 - x163 x618 - x201 x625 + x223 x632 + x231 x632 + x239 x632 + x246 x632 + x253 x632 - x573 x632 + x574 x633 = 0 e1653: - .5 x30 - .4 x62 - .3 x94 - x126 x612 - x164 x619 - x202 x626 + x224 x633 + x232 x633 + x240 x633 + x247 x633 + x254 x633 - x574 x633 + x575 x634 = 0 e1654: - .5 x31 - .4 x63 - .3 x95 - x127 x613 - x165 x620 - x203 x627 + x225 x634 + x233 x634 + x241 x634 + x248 x634 + x255 x634 - x575 x634 + x576 x635 = 0 e1655: - .5 x32 - .4 x64 - .3 x96 - x128 x614 - x166 x621 - x204 x628 + x226 x635 + x234 x635 + x242 x635 + x249 x635 + x256 x635 - x576 x635 + x577 x636 = 0 e1656: - .5 x33 - .4 x65 - .3 x97 - x129 x615 - x167 x622 - x205 x629 + x227 x636 + x235 x636 + x243 x636 + x250 x636 + x257 x636 + x261 x578 - x577 x636 = 0 e1657: - .6 x3 - .4 x35 - .1 x67 + x107 x693 + x115 x693 + x123 x693 + x130 x693 + x137 x693 - x145 x700 - x183 x707 - x221 x714 - x525 x693 + x551 x694 = 0 e1658: - .6 x4 - .4 x36 - .1 x68 + x108 x694 + x116 x694 + x124 x694 + x131 x694 + x138 x694 - x146 x701 - x184 x708 - x222 x715 - x551 x694 + x552 x695 = 0 e1659: - .6 x5 - .4 x37 - .1 x69 + x109 x695 + x117 x695 + x125 x695 + x132 x695 + x139 x695 - x147 x702 - x185 x709 - x223 x716 - x552 x695 + x553 x696 = 0 e1660: - .6 x6 - .4 x38 - .1 x70 + x110 x696 + x118 x696 + x126 x696 + x133 x696 + x140 x696 - x148 x703 - x186 x710 - x224 x717 - x553 x696 + x554 x697 = 0 e1661: - .6 x7 - .4 x39 - .1 x71 + x111 x697 + x119 x697 + x127 x697 + x134 x697 + x141 x697 - x149 x704 - x187 x711 - x225 x718 - x554 x697 + x555 x698 = 0 e1662: - .6 x8 - .4 x40 - .1 x72 + x112 x698 + x120 x698 + x128 x698 + x135 x698 + x142 x698 - x150 x705 - x188 x712 - x226 x719 - x555 x698 + x556 x699 = 0 e1663: - .6 x9 - .4 x41 - .1 x73 + x113 x699 + x121 x699 + x129 x699 + x136 x699 + x143 x699 - x151 x706 - x189 x713 - x227 x720 + x262 x557 - x556 x699 = 0 e1664: - .6 x11 - .4 x43 - .1 x75 - x107 x693 + x145 x700 + x153 x700 + x161 x700 + x168 x700 + x175 x700 - x191 x707 - x229 x714 - x526 x700 + x558 x701 = 0 e1665: - .6 x12 - .4 x44 - .1 x76 - x108 x694 + x146 x701 + x154 x701 + x162 x701 + x169 x701 + x176 x701 - x192 x708 - x230 x715 - x558 x701 + x559 x702 = 0 e1666: - .6 x13 - .4 x45 - .1 x77 - x109 x695 + x147 x702 + x155 x702 + x163 x702 + x170 x702 + x177 x702 - x193 x709 - x231 x716 - x559 x702 + x560 x703 = 0 e1667: - .6 x14 - .4 x46 - .1 x78 - x110 x696 + x148 x703 + x156 x703 + x164 x703 + x171 x703 + x178 x703 - x194 x710 - x232 x717 - x560 x703 + x561 x704 = 0 e1668: - .6 x15 - .4 x47 - .1 x79 - x111 x697 + x149 x704 + x157 x704 + x165 x704 + x172 x704 + x179 x704 - x195 x711 - x233 x718 - x561 x704 + x562 x705 = 0 e1669: - .6 x16 - .4 x48 - .1 x80 - x112 x698 + x150 x705 + x158 x705 + x166 x705 + x173 x705 + x180 x705 - x196 x712 - x234 x719 - x562 x705 + x563 x706 = 0 e1670: - .6 x17 - .4 x49 - .1 x81 - x113 x699 + x151 x706 + x159 x706 + x167 x706 + x174 x706 + x181 x706 - x197 x713 - x235 x720 + x263 x564 - x563 x706 = 0 e1671: - .6 x19 - .4 x51 - .1 x83 - x115 x693 - x153 x700 + x183 x707 + x191 x707 + x199 x707 + x206 x707 + x213 x707 - x237 x714 - x527 x707 + x565 x708 = 0 e1672: - .6 x20 - .4 x52 - .1 x84 - x116 x694 - x154 x701 + x184 x708 + x192 x708 + x200 x708 + x207 x708 + x214 x708 - x238 x715 - x565 x708 + x566 x709 = 0 e1673: - .6 x21 - .4 x53 - .1 x85 - x117 x695 - x155 x702 + x185 x709 + x193 x709 + x201 x709 + x208 x709 + x215 x709 - x239 x716 - x566 x709 + x567 x710 = 0 e1674: - .6 x22 - .4 x54 - .1 x86 - x118 x696 - x156 x703 + x186 x710 + x194 x710 + x202 x710 + x209 x710 + x216 x710 - x240 x717 - x567 x710 + x568 x711 = 0 e1675: - .6 x23 - .4 x55 - .1 x87 - x119 x697 - x157 x704 + x187 x711 + x195 x711 + x203 x711 + x210 x711 + x217 x711 - x241 x718 - x568 x711 + x569 x712 = 0 e1676: - .6 x24 - .4 x56 - .1 x88 - x120 x698 - x158 x705 + x188 x712 + x196 x712 + x204 x712 + x211 x712 + x218 x712 - x242 x719 - x569 x712 + x570 x713 = 0 e1677: - .6 x25 - .4 x57 - .1 x89 - x121 x699 - x159 x706 + x189 x713 + x197 x713 + x205 x713 + x212 x713 + x219 x713 - x243 x720 + x264 x571 - x570 x713 = 0 e1678: - .6 x27 - .4 x59 - .1 x91 - x123 x693 - x161 x700 - x199 x707 + x221 x714 + x229 x714 + x237 x714 + x244 x714 + x251 x714 - x528 x714 + x572 x715 = 0 e1679: - .6 x28 - .4 x60 - .1 x92 - x124 x694 - x162 x701 - x200 x708 + x222 x715 + x230 x715 + x238 x715 + x245 x715 + x252 x715 - x572 x715 + x573 x716 = 0 e1680: - .6 x29 - .4 x61 - .1 x93 - x125 x695 - x163 x702 - x201 x709 + x223 x716 + x231 x716 + x239 x716 + x246 x716 + x253 x716 - x573 x716 + x574 x717 = 0 e1681: - .6 x30 - .4 x62 - .1 x94 - x126 x696 - x164 x703 - x202 x710 + x224 x717 + x232 x717 + x240 x717 + x247 x717 + x254 x717 - x574 x717 + x575 x718 = 0 e1682: - .6 x31 - .4 x63 - .1 x95 - x127 x697 - x165 x704 - x203 x711 + x225 x718 + x233 x718 + x241 x718 + x248 x718 + x255 x718 - x575 x718 + x576 x719 = 0 e1683: - .6 x32 - .4 x64 - .1 x96 - x128 x698 - x166 x705 - x204 x712 + x226 x719 + x234 x719 + x242 x719 + x249 x719 + x256 x719 - x576 x719 + x577 x720 = 0 e1684: - .6 x33 - .4 x65 - .1 x97 - x129 x699 - x167 x706 - x205 x713 + x227 x720 + x235 x720 + x243 x720 + x250 x720 + x257 x720 + x265 x578 - x577 x720 = 0 e1685: - .6 x3 - .5 x35 - .1 x67 + x107 x637 + x115 x637 + x123 x637 + x130 x637 + x137 x637 - x145 x644 - x183 x651 - x221 x658 - x525 x637 + x551 x638 = 0 e1686: - .6 x4 - .5 x36 - .1 x68 + x108 x638 + x116 x638 + x124 x638 + x131 x638 + x138 x638 - x146 x645 - x184 x652 - x222 x659 - x551 x638 + x552 x639 = 0 e1687: - .6 x5 - .5 x37 - .1 x69 + x109 x639 + x117 x639 + x125 x639 + x132 x639 + x139 x639 - x147 x646 - x185 x653 - x223 x660 - x552 x639 + x553 x640 = 0 e1688: - .6 x6 - .5 x38 - .1 x70 + x110 x640 + x118 x640 + x126 x640 + x133 x640 + x140 x640 - x148 x647 - x186 x654 - x224 x661 - x553 x640 + x554 x641 = 0 e1689: - .6 x7 - .5 x39 - .1 x71 + x111 x641 + x119 x641 + x127 x641 + x134 x641 + x141 x641 - x149 x648 - x187 x655 - x225 x662 - x554 x641 + x555 x642 = 0 e1690: - .6 x8 - .5 x40 - .1 x72 + x112 x642 + x120 x642 + x128 x642 + x135 x642 + x142 x642 - x150 x649 - x188 x656 - x226 x663 - x555 x642 + x556 x643 = 0 e1691: - .6 x9 - .5 x41 - .1 x73 + x113 x643 + x121 x643 + x129 x643 + x136 x643 + x143 x643 - x151 x650 - x189 x657 - x227 x664 + x266 x557 - x556 x643 = 0 e1692: - .6 x11 - .5 x43 - .1 x75 - x107 x637 + x145 x644 + x153 x644 + x161 x644 + x168 x644 + x175 x644 - x191 x651 - x229 x658 - x526 x644 + x558 x645 = 0 e1693: - .6 x12 - .5 x44 - .1 x76 - x108 x638 + x146 x645 + x154 x645 + x162 x645 + x169 x645 + x176 x645 - x192 x652 - x230 x659 - x558 x645 + x559 x646 = 0 e1694: - .6 x13 - .5 x45 - .1 x77 - x109 x639 + x147 x646 + x155 x646 + x163 x646 + x170 x646 + x177 x646 - x193 x653 - x231 x660 - x559 x646 + x560 x647 = 0 e1695: - .6 x14 - .5 x46 - .1 x78 - x110 x640 + x148 x647 + x156 x647 + x164 x647 + x171 x647 + x178 x647 - x194 x654 - x232 x661 - x560 x647 + x561 x648 = 0 e1696: - .6 x15 - .5 x47 - .1 x79 - x111 x641 + x149 x648 + x157 x648 + x165 x648 + x172 x648 + x179 x648 - x195 x655 - x233 x662 - x561 x648 + x562 x649 = 0 e1697: - .6 x16 - .5 x48 - .1 x80 - x112 x642 + x150 x649 + x158 x649 + x166 x649 + x173 x649 + x180 x649 - x196 x656 - x234 x663 - x562 x649 + x563 x650 = 0 e1698: - .6 x17 - .5 x49 - .1 x81 - x113 x643 + x151 x650 + x159 x650 + x167 x650 + x174 x650 + x181 x650 - x197 x657 - x235 x664 + x267 x564 - x563 x650 = 0 e1699: - .6 x19 - .5 x51 - .1 x83 - x115 x637 - x153 x644 + x183 x651 + x191 x651 + x199 x651 + x206 x651 + x213 x651 - x237 x658 - x527 x651 + x565 x652 = 0 e1700: - .6 x20 - .5 x52 - .1 x84 - x116 x638 - x154 x645 + x184 x652 + x192 x652 + x200 x652 + x207 x652 + x214 x652 - x238 x659 - x565 x652 + x566 x653 = 0 e1701: - .6 x21 - .5 x53 - .1 x85 - x117 x639 - x155 x646 + x185 x653 + x193 x653 + x201 x653 + x208 x653 + x215 x653 - x239 x660 - x566 x653 + x567 x654 = 0 e1702: - .6 x22 - .5 x54 - .1 x86 - x118 x640 - x156 x647 + x186 x654 + x194 x654 + x202 x654 + x209 x654 + x216 x654 - x240 x661 - x567 x654 + x568 x655 = 0 e1703: - .6 x23 - .5 x55 - .1 x87 - x119 x641 - x157 x648 + x187 x655 + x195 x655 + x203 x655 + x210 x655 + x217 x655 - x241 x662 - x568 x655 + x569 x656 = 0 e1704: - .6 x24 - .5 x56 - .1 x88 - x120 x642 - x158 x649 + x188 x656 + x196 x656 + x204 x656 + x211 x656 + x218 x656 - x242 x663 - x569 x656 + x570 x657 = 0 e1705: - .6 x25 - .5 x57 - .1 x89 - x121 x643 - x159 x650 + x189 x657 + x197 x657 + x205 x657 + x212 x657 + x219 x657 - x243 x664 + x268 x571 - x570 x657 = 0 e1706: - .6 x27 - .5 x59 - .1 x91 - x123 x637 - x161 x644 - x199 x651 + x221 x658 + x229 x658 + x237 x658 + x244 x658 + x251 x658 - x528 x658 + x572 x659 = 0 e1707: - .6 x28 - .5 x60 - .1 x92 - x124 x638 - x162 x645 - x200 x652 + x222 x659 + x230 x659 + x238 x659 + x245 x659 + x252 x659 - x572 x659 + x573 x660 = 0 e1708: - .6 x29 - .5 x61 - .1 x93 - x125 x639 - x163 x646 - x201 x653 + x223 x660 + x231 x660 + x239 x660 + x246 x660 + x253 x660 - x573 x660 + x574 x661 = 0 e1709: - .6 x30 - .5 x62 - .1 x94 - x126 x640 - x164 x647 - x202 x654 + x224 x661 + x232 x661 + x240 x661 + x247 x661 + x254 x661 - x574 x661 + x575 x662 = 0 e1710: - .6 x31 - .5 x63 - .1 x95 - x127 x641 - x165 x648 - x203 x655 + x225 x662 + x233 x662 + x241 x662 + x248 x662 + x255 x662 - x575 x662 + x576 x663 = 0 e1711: - .6 x32 - .5 x64 - .1 x96 - x128 x642 - x166 x649 - x204 x656 + x226 x663 + x234 x663 + x242 x663 + x249 x663 + x256 x663 - x576 x663 + x577 x664 = 0 e1712: - .6 x33 - .5 x65 - .1 x97 - x129 x643 - x167 x650 - x205 x657 + x227 x664 + x235 x664 + x243 x664 + x250 x664 + x257 x664 + x269 x578 - x577 x664 = 0 e1713: - .6 x3 - .5 x35 - .1 x67 + x107 x721 + x115 x721 + x123 x721 + x130 x721 + x137 x721 - x145 x728 - x183 x735 - x221 x742 - x525 x721 + x551 x722 = 0 e1714: - .6 x4 - .5 x36 - .1 x68 + x108 x722 + x116 x722 + x124 x722 + x131 x722 + x138 x722 - x146 x729 - x184 x736 - x222 x743 - x551 x722 + x552 x723 = 0 e1715: - .6 x5 - .5 x37 - .1 x69 + x109 x723 + x117 x723 + x125 x723 + x132 x723 + x139 x723 - x147 x730 - x185 x737 - x223 x744 - x552 x723 + x553 x724 = 0 e1716: - .6 x6 - .5 x38 - .1 x70 + x110 x724 + x118 x724 + x126 x724 + x133 x724 + x140 x724 - x148 x731 - x186 x738 - x224 x745 - x553 x724 + x554 x725 = 0 e1717: - .6 x7 - .5 x39 - .1 x71 + x111 x725 + x119 x725 + x127 x725 + x134 x725 + x141 x725 - x149 x732 - x187 x739 - x225 x746 - x554 x725 + x555 x726 = 0 e1718: - .6 x8 - .5 x40 - .1 x72 + x112 x726 + x120 x726 + x128 x726 + x135 x726 + x142 x726 - x150 x733 - x188 x740 - x226 x747 - x555 x726 + x556 x727 = 0 e1719: - .6 x9 - .5 x41 - .1 x73 + x113 x727 + x121 x727 + x129 x727 + x136 x727 + x143 x727 - x151 x734 - x189 x741 - x227 x748 + x270 x557 - x556 x727 = 0 e1720: - .6 x11 - .5 x43 - .1 x75 - x107 x721 + x145 x728 + x153 x728 + x161 x728 + x168 x728 + x175 x728 - x191 x735 - x229 x742 - x526 x728 + x558 x729 = 0 e1721: - .6 x12 - .5 x44 - .1 x76 - x108 x722 + x146 x729 + x154 x729 + x162 x729 + x169 x729 + x176 x729 - x192 x736 - x230 x743 - x558 x729 + x559 x730 = 0 e1722: - .6 x13 - .5 x45 - .1 x77 - x109 x723 + x147 x730 + x155 x730 + x163 x730 + x170 x730 + x177 x730 - x193 x737 - x231 x744 - x559 x730 + x560 x731 = 0 e1723: - .6 x14 - .5 x46 - .1 x78 - x110 x724 + x148 x731 + x156 x731 + x164 x731 + x171 x731 + x178 x731 - x194 x738 - x232 x745 - x560 x731 + x561 x732 = 0 e1724: - .6 x15 - .5 x47 - .1 x79 - x111 x725 + x149 x732 + x157 x732 + x165 x732 + x172 x732 + x179 x732 - x195 x739 - x233 x746 - x561 x732 + x562 x733 = 0 e1725: - .6 x16 - .5 x48 - .1 x80 - x112 x726 + x150 x733 + x158 x733 + x166 x733 + x173 x733 + x180 x733 - x196 x740 - x234 x747 - x562 x733 + x563 x734 = 0 e1726: - .6 x17 - .5 x49 - .1 x81 - x113 x727 + x151 x734 + x159 x734 + x167 x734 + x174 x734 + x181 x734 - x197 x741 - x235 x748 + x271 x564 - x563 x734 = 0 e1727: - .6 x19 - .5 x51 - .1 x83 - x115 x721 - x153 x728 + x183 x735 + x191 x735 + x199 x735 + x206 x735 + x213 x735 - x237 x742 - x527 x735 + x565 x736 = 0 e1728: - .6 x20 - .5 x52 - .1 x84 - x116 x722 - x154 x729 + x184 x736 + x192 x736 + x200 x736 + x207 x736 + x214 x736 - x238 x743 - x565 x736 + x566 x737 = 0 e1729: - .6 x21 - .5 x53 - .1 x85 - x117 x723 - x155 x730 + x185 x737 + x193 x737 + x201 x737 + x208 x737 + x215 x737 - x239 x744 - x566 x737 + x567 x738 = 0 e1730: - .6 x22 - .5 x54 - .1 x86 - x118 x724 - x156 x731 + x186 x738 + x194 x738 + x202 x738 + x209 x738 + x216 x738 - x240 x745 - x567 x738 + x568 x739 = 0 e1731: - .6 x23 - .5 x55 - .1 x87 - x119 x725 - x157 x732 + x187 x739 + x195 x739 + x203 x739 + x210 x739 + x217 x739 - x241 x746 - x568 x739 + x569 x740 = 0 e1732: - .6 x24 - .5 x56 - .1 x88 - x120 x726 - x158 x733 + x188 x740 + x196 x740 + x204 x740 + x211 x740 + x218 x740 - x242 x747 - x569 x740 + x570 x741 = 0 e1733: - .6 x25 - .5 x57 - .1 x89 - x121 x727 - x159 x734 + x189 x741 + x197 x741 + x205 x741 + x212 x741 + x219 x741 - x243 x748 + x272 x571 - x570 x741 = 0 e1734: - .6 x27 - .5 x59 - .1 x91 - x123 x721 - x161 x728 - x199 x735 + x221 x742 + x229 x742 + x237 x742 + x244 x742 + x251 x742 - x528 x742 + x572 x743 = 0 e1735: - .6 x28 - .5 x60 - .1 x92 - x124 x722 - x162 x729 - x200 x736 + x222 x743 + x230 x743 + x238 x743 + x245 x743 + x252 x743 - x572 x743 + x573 x744 = 0 e1736: - .6 x29 - .5 x61 - .1 x93 - x125 x723 - x163 x730 - x201 x737 + x223 x744 + x231 x744 + x239 x744 + x246 x744 + x253 x744 - x573 x744 + x574 x745 = 0 e1737: - .6 x30 - .5 x62 - .1 x94 - x126 x724 - x164 x731 - x202 x738 + x224 x745 + x232 x745 + x240 x745 + x247 x745 + x254 x745 - x574 x745 + x575 x746 = 0 e1738: - .6 x31 - .5 x63 - .1 x95 - x127 x725 - x165 x732 - x203 x739 + x225 x746 + x233 x746 + x241 x746 + x248 x746 + x255 x746 - x575 x746 + x576 x747 = 0 e1739: - .6 x32 - .5 x64 - .1 x96 - x128 x726 - x166 x733 - x204 x740 + x226 x747 + x234 x747 + x242 x747 + x249 x747 + x256 x747 - x576 x747 + x577 x748 = 0 e1740: - .6 x33 - .5 x65 - .1 x97 - x129 x727 - x167 x734 - x205 x741 + x227 x748 + x235 x748 + x243 x748 + x250 x748 + x257 x748 + x273 x578 - x577 x748 = 0 e1741: - .6 x3 - .5 x35 - .2 x67 + x107 x749 + x115 x749 + x123 x749 + x130 x749 + x137 x749 - x145 x756 - x183 x763 - x221 x770 - x525 x749 + x551 x750 = 0 e1742: - .6 x4 - .5 x36 - .2 x68 + x108 x750 + x116 x750 + x124 x750 + x131 x750 + x138 x750 - x146 x757 - x184 x764 - x222 x771 - x551 x750 + x552 x751 = 0 e1743: - .6 x5 - .5 x37 - .2 x69 + x109 x751 + x117 x751 + x125 x751 + x132 x751 + x139 x751 - x147 x758 - x185 x765 - x223 x772 - x552 x751 + x553 x752 = 0 e1744: - .6 x6 - .5 x38 - .2 x70 + x110 x752 + x118 x752 + x126 x752 + x133 x752 + x140 x752 - x148 x759 - x186 x766 - x224 x773 - x553 x752 + x554 x753 = 0 e1745: - .6 x7 - .5 x39 - .2 x71 + x111 x753 + x119 x753 + x127 x753 + x134 x753 + x141 x753 - x149 x760 - x187 x767 - x225 x774 - x554 x753 + x555 x754 = 0 e1746: - .6 x8 - .5 x40 - .2 x72 + x112 x754 + x120 x754 + x128 x754 + x135 x754 + x142 x754 - x150 x761 - x188 x768 - x226 x775 - x555 x754 + x556 x755 = 0 e1747: - .6 x9 - .5 x41 - .2 x73 + x113 x755 + x121 x755 + x129 x755 + x136 x755 + x143 x755 - x151 x762 - x189 x769 - x227 x776 + x274 x557 - x556 x755 = 0 e1748: - .6 x11 - .5 x43 - .2 x75 - x107 x749 + x145 x756 + x153 x756 + x161 x756 + x168 x756 + x175 x756 - x191 x763 - x229 x770 - x526 x756 + x558 x757 = 0 e1749: - .6 x12 - .5 x44 - .2 x76 - x108 x750 + x146 x757 + x154 x757 + x162 x757 + x169 x757 + x176 x757 - x192 x764 - x230 x771 - x558 x757 + x559 x758 = 0 e1750: - .6 x13 - .5 x45 - .2 x77 - x109 x751 + x147 x758 + x155 x758 + x163 x758 + x170 x758 + x177 x758 - x193 x765 - x231 x772 - x559 x758 + x560 x759 = 0 e1751: - .6 x14 - .5 x46 - .2 x78 - x110 x752 + x148 x759 + x156 x759 + x164 x759 + x171 x759 + x178 x759 - x194 x766 - x232 x773 - x560 x759 + x561 x760 = 0 e1752: - .6 x15 - .5 x47 - .2 x79 - x111 x753 + x149 x760 + x157 x760 + x165 x760 + x172 x760 + x179 x760 - x195 x767 - x233 x774 - x561 x760 + x562 x761 = 0 e1753: - .6 x16 - .5 x48 - .2 x80 - x112 x754 + x150 x761 + x158 x761 + x166 x761 + x173 x761 + x180 x761 - x196 x768 - x234 x775 - x562 x761 + x563 x762 = 0 e1754: - .6 x17 - .5 x49 - .2 x81 - x113 x755 + x151 x762 + x159 x762 + x167 x762 + x174 x762 + x181 x762 - x197 x769 - x235 x776 + x275 x564 - x563 x762 = 0 e1755: - .6 x19 - .5 x51 - .2 x83 - x115 x749 - x153 x756 + x183 x763 + x191 x763 + x199 x763 + x206 x763 + x213 x763 - x237 x770 - x527 x763 + x565 x764 = 0 e1756: - .6 x20 - .5 x52 - .2 x84 - x116 x750 - x154 x757 + x184 x764 + x192 x764 + x200 x764 + x207 x764 + x214 x764 - x238 x771 - x565 x764 + x566 x765 = 0 e1757: - .6 x21 - .5 x53 - .2 x85 - x117 x751 - x155 x758 + x185 x765 + x193 x765 + x201 x765 + x208 x765 + x215 x765 - x239 x772 - x566 x765 + x567 x766 = 0 e1758: - .6 x22 - .5 x54 - .2 x86 - x118 x752 - x156 x759 + x186 x766 + x194 x766 + x202 x766 + x209 x766 + x216 x766 - x240 x773 - x567 x766 + x568 x767 = 0 e1759: - .6 x23 - .5 x55 - .2 x87 - x119 x753 - x157 x760 + x187 x767 + x195 x767 + x203 x767 + x210 x767 + x217 x767 - x241 x774 - x568 x767 + x569 x768 = 0 e1760: - .6 x24 - .5 x56 - .2 x88 - x120 x754 - x158 x761 + x188 x768 + x196 x768 + x204 x768 + x211 x768 + x218 x768 - x242 x775 - x569 x768 + x570 x769 = 0 e1761: - .6 x25 - .5 x57 - .2 x89 - x121 x755 - x159 x762 + x189 x769 + x197 x769 + x205 x769 + x212 x769 + x219 x769 - x243 x776 + x276 x571 - x570 x769 = 0 e1762: - .6 x27 - .5 x59 - .2 x91 - x123 x749 - x161 x756 - x199 x763 + x221 x770 + x229 x770 + x237 x770 + x244 x770 + x251 x770 - x528 x770 + x572 x771 = 0 e1763: - .6 x28 - .5 x60 - .2 x92 - x124 x750 - x162 x757 - x200 x764 + x222 x771 + x230 x771 + x238 x771 + x245 x771 + x252 x771 - x572 x771 + x573 x772 = 0 e1764: - .6 x29 - .5 x61 - .2 x93 - x125 x751 - x163 x758 - x201 x765 + x223 x772 + x231 x772 + x239 x772 + x246 x772 + x253 x772 - x573 x772 + x574 x773 = 0 e1765: - .6 x30 - .5 x62 - .2 x94 - x126 x752 - x164 x759 - x202 x766 + x224 x773 + x232 x773 + x240 x773 + x247 x773 + x254 x773 - x574 x773 + x575 x774 = 0 e1766: - .6 x31 - .5 x63 - .2 x95 - x127 x753 - x165 x760 - x203 x767 + x225 x774 + x233 x774 + x241 x774 + x248 x774 + x255 x774 - x575 x774 + x576 x775 = 0 e1767: - .6 x32 - .5 x64 - .2 x96 - x128 x754 - x166 x761 - x204 x768 + x226 x775 + x234 x775 + x242 x775 + x249 x775 + x256 x775 - x576 x775 + x577 x776 = 0 e1768: - .6 x33 - .5 x65 - .2 x97 - x129 x755 - x167 x762 - x205 x769 + x227 x776 + x235 x776 + x243 x776 + x250 x776 + x257 x776 + x277 x578 - x577 x776 = 0 e1769: - .5 x3 - .4 x35 - .3 x67 + x107 x665 + x115 x665 + x123 x665 + x130 x665 + x137 x665 - x145 x672 - x183 x679 - x221 x686 - x525 x665 + x551 x666 = 0 e1770: - .5 x4 - .4 x36 - .3 x68 + x108 x666 + x116 x666 + x124 x666 + x131 x666 + x138 x666 - x146 x673 - x184 x680 - x222 x687 - x551 x666 + x552 x667 = 0 e1771: - .5 x5 - .4 x37 - .3 x69 + x109 x667 + x117 x667 + x125 x667 + x132 x667 + x139 x667 - x147 x674 - x185 x681 - x223 x688 - x552 x667 + x553 x668 = 0 e1772: - .5 x6 - .4 x38 - .3 x70 + x110 x668 + x118 x668 + x126 x668 + x133 x668 + x140 x668 - x148 x675 - x186 x682 - x224 x689 - x553 x668 + x554 x669 = 0 e1773: - .5 x7 - .4 x39 - .3 x71 + x111 x669 + x119 x669 + x127 x669 + x134 x669 + x141 x669 - x149 x676 - x187 x683 - x225 x690 - x554 x669 + x555 x670 = 0 e1774: - .5 x8 - .4 x40 - .3 x72 + x112 x670 + x120 x670 + x128 x670 + x135 x670 + x142 x670 - x150 x677 - x188 x684 - x226 x691 - x555 x670 + x556 x671 = 0 e1775: - .5 x9 - .4 x41 - .3 x73 + x113 x671 + x121 x671 + x129 x671 + x136 x671 + x143 x671 - x151 x678 - x189 x685 - x227 x692 + x278 x557 - x556 x671 = 0 e1776: - .5 x11 - .4 x43 - .3 x75 - x107 x665 + x145 x672 + x153 x672 + x161 x672 + x168 x672 + x175 x672 - x191 x679 - x229 x686 - x526 x672 + x558 x673 = 0 e1777: - .5 x12 - .4 x44 - .3 x76 - x108 x666 + x146 x673 + x154 x673 + x162 x673 + x169 x673 + x176 x673 - x192 x680 - x230 x687 - x558 x673 + x559 x674 = 0 e1778: - .5 x13 - .4 x45 - .3 x77 - x109 x667 + x147 x674 + x155 x674 + x163 x674 + x170 x674 + x177 x674 - x193 x681 - x231 x688 - x559 x674 + x560 x675 = 0 e1779: - .5 x14 - .4 x46 - .3 x78 - x110 x668 + x148 x675 + x156 x675 + x164 x675 + x171 x675 + x178 x675 - x194 x682 - x232 x689 - x560 x675 + x561 x676 = 0 e1780: - .5 x15 - .4 x47 - .3 x79 - x111 x669 + x149 x676 + x157 x676 + x165 x676 + x172 x676 + x179 x676 - x195 x683 - x233 x690 - x561 x676 + x562 x677 = 0 e1781: - .5 x16 - .4 x48 - .3 x80 - x112 x670 + x150 x677 + x158 x677 + x166 x677 + x173 x677 + x180 x677 - x196 x684 - x234 x691 - x562 x677 + x563 x678 = 0 e1782: - .5 x17 - .4 x49 - .3 x81 - x113 x671 + x151 x678 + x159 x678 + x167 x678 + x174 x678 + x181 x678 - x197 x685 - x235 x692 + x279 x564 - x563 x678 = 0 e1783: - .5 x19 - .4 x51 - .3 x83 - x115 x665 - x153 x672 + x183 x679 + x191 x679 + x199 x679 + x206 x679 + x213 x679 - x237 x686 - x527 x679 + x565 x680 = 0 e1784: - .5 x20 - .4 x52 - .3 x84 - x116 x666 - x154 x673 + x184 x680 + x192 x680 + x200 x680 + x207 x680 + x214 x680 - x238 x687 - x565 x680 + x566 x681 = 0 e1785: - .5 x21 - .4 x53 - .3 x85 - x117 x667 - x155 x674 + x185 x681 + x193 x681 + x201 x681 + x208 x681 + x215 x681 - x239 x688 - x566 x681 + x567 x682 = 0 e1786: - .5 x22 - .4 x54 - .3 x86 - x118 x668 - x156 x675 + x186 x682 + x194 x682 + x202 x682 + x209 x682 + x216 x682 - x240 x689 - x567 x682 + x568 x683 = 0 e1787: - .5 x23 - .4 x55 - .3 x87 - x119 x669 - x157 x676 + x187 x683 + x195 x683 + x203 x683 + x210 x683 + x217 x683 - x241 x690 - x568 x683 + x569 x684 = 0 e1788: - .5 x24 - .4 x56 - .3 x88 - x120 x670 - x158 x677 + x188 x684 + x196 x684 + x204 x684 + x211 x684 + x218 x684 - x242 x691 - x569 x684 + x570 x685 = 0 e1789: - .5 x25 - .4 x57 - .3 x89 - x121 x671 - x159 x678 + x189 x685 + x197 x685 + x205 x685 + x212 x685 + x219 x685 - x243 x692 + x280 x571 - x570 x685 = 0 e1790: - .5 x27 - .4 x59 - .3 x91 - x123 x665 - x161 x672 - x199 x679 + x221 x686 + x229 x686 + x237 x686 + x244 x686 + x251 x686 - x528 x686 + x572 x687 = 0 e1791: - .5 x28 - .4 x60 - .3 x92 - x124 x666 - x162 x673 - x200 x680 + x222 x687 + x230 x687 + x238 x687 + x245 x687 + x252 x687 - x572 x687 + x573 x688 = 0 e1792: - .5 x29 - .4 x61 - .3 x93 - x125 x667 - x163 x674 - x201 x681 + x223 x688 + x231 x688 + x239 x688 + x246 x688 + x253 x688 - x573 x688 + x574 x689 = 0 e1793: - .5 x30 - .4 x62 - .3 x94 - x126 x668 - x164 x675 - x202 x682 + x224 x689 + x232 x689 + x240 x689 + x247 x689 + x254 x689 - x574 x689 + x575 x690 = 0 e1794: - .5 x31 - .4 x63 - .3 x95 - x127 x669 - x165 x676 - x203 x683 + x225 x690 + x233 x690 + x241 x690 + x248 x690 + x255 x690 - x575 x690 + x576 x691 = 0 e1795: - .5 x32 - .4 x64 - .3 x96 - x128 x670 - x166 x677 - x204 x684 + x226 x691 + x234 x691 + x242 x691 + x249 x691 + x256 x691 - x576 x691 + x577 x692 = 0 e1796: - .5 x33 - .4 x65 - .3 x97 - x129 x671 - x167 x678 - x205 x685 + x227 x692 + x235 x692 + x243 x692 + x250 x692 + x257 x692 + x281 x578 - x577 x692 = 0 Bounds x2 <= 1 x3 <= 1 x4 <= 1 x5 <= 1 x6 <= 1 x7 <= 1 x8 <= 1 x9 <= 1 x10 <= 1 x11 <= 1 x12 <= 1 x13 <= 1 x14 <= 1 x15 <= 1 x16 <= 1 x17 <= 1 x18 <= 1 x19 <= 1 x20 <= 1 x21 <= 1 x22 <= 1 x23 <= 1 x24 <= 1 x25 <= 1 x26 <= 1 x27 <= 1 x28 <= 1 x29 <= 1 x30 <= 1 x31 <= 1 x32 <= 1 x33 <= 1 x34 <= 1 x35 <= 1 x36 <= 1 x37 <= 1 x38 <= 1 x39 <= 1 x40 <= 1 x41 <= 1 x42 <= 1 x43 <= 1 x44 <= 1 x45 <= 1 x46 <= 1 x47 <= 1 x48 <= 1 x49 <= 1 x50 <= 1 x51 <= 1 x52 <= 1 x53 <= 1 x54 <= 1 x55 <= 1 x56 <= 1 x57 <= 1 x58 <= 1 x59 <= 1 x60 <= 1 x61 <= 1 x62 <= 1 x63 <= 1 x64 <= 1 x65 <= 1 x66 <= 1 x67 <= 1 x68 <= 1 x69 <= 1 x70 <= 1 x71 <= 1 x72 <= 1 x73 <= 1 x74 <= 1 x75 <= 1 x76 <= 1 x77 <= 1 x78 <= 1 x79 <= 1 x80 <= 1 x81 <= 1 x82 <= 1 x83 <= 1 x84 <= 1 x85 <= 1 x86 <= 1 x87 <= 1 x88 <= 1 x89 <= 1 x90 <= 1 x91 <= 1 x92 <= 1 x93 <= 1 x94 <= 1 x95 <= 1 x96 <= 1 x97 <= 1 x98 <= 1 x99 <= 1 x100 <= 1 x101 <= 1 x102 <= 1 x103 <= 1 x104 <= 1 x105 <= 1 x106 <= 1 x107 <= 1 x108 <= 1 x109 <= 1 x110 <= 1 x111 <= 1 x112 <= 1 x113 <= 1 x114 <= 1 x115 <= 1 x116 <= 1 x117 <= 1 x118 <= 1 x119 <= 1 x120 <= 1 x121 <= 1 x122 <= 1 x123 <= 1 x124 <= 1 x125 <= 1 x126 <= 1 x127 <= 1 x128 <= 1 x129 <= 1 x130 <= 1 x131 <= 1 x132 <= 1 x133 <= 1 x134 <= 1 x135 <= 1 x136 <= 1 x137 <= 1 x138 <= 1 x139 <= 1 x140 <= 1 x141 <= 1 x142 <= 1 x143 <= 1 x144 <= 1 x145 <= 1 x146 <= 1 x147 <= 1 x148 <= 1 x149 <= 1 x150 <= 1 x151 <= 1 x152 <= 1 x153 <= 1 x154 <= 1 x155 <= 1 x156 <= 1 x157 <= 1 x158 <= 1 x159 <= 1 x160 <= 1 x161 <= 1 x162 <= 1 x163 <= 1 x164 <= 1 x165 <= 1 x166 <= 1 x167 <= 1 x168 <= 1 x169 <= 1 x170 <= 1 x171 <= 1 x172 <= 1 x173 <= 1 x174 <= 1 x175 <= 1 x176 <= 1 x177 <= 1 x178 <= 1 x179 <= 1 x180 <= 1 x181 <= 1 x182 <= 1 x183 <= 1 x184 <= 1 x185 <= 1 x186 <= 1 x187 <= 1 x188 <= 1 x189 <= 1 x190 <= 1 x191 <= 1 x192 <= 1 x193 <= 1 x194 <= 1 x195 <= 1 x196 <= 1 x197 <= 1 x198 <= 1 x199 <= 1 x200 <= 1 x201 <= 1 x202 <= 1 x203 <= 1 x204 <= 1 x205 <= 1 x206 <= 1 x207 <= 1 x208 <= 1 x209 <= 1 x210 <= 1 x211 <= 1 x212 <= 1 x213 <= 1 x214 <= 1 x215 <= 1 x216 <= 1 x217 <= 1 x218 <= 1 x219 <= 1 x220 <= 1 x221 <= 1 x222 <= 1 x223 <= 1 x224 <= 1 x225 <= 1 x226 <= 1 x227 <= 1 x228 <= 1 x229 <= 1 x230 <= 1 x231 <= 1 x232 <= 1 x233 <= 1 x234 <= 1 x235 <= 1 x236 <= 1 x237 <= 1 x238 <= 1 x239 <= 1 x240 <= 1 x241 <= 1 x242 <= 1 x243 <= 1 x244 <= 1 x245 <= 1 x246 <= 1 x247 <= 1 x248 <= 1 x249 <= 1 x250 <= 1 x251 <= 1 x252 <= 1 x253 <= 1 x254 <= 1 x255 <= 1 x256 <= 1 x257 <= 1 x258 <= .9 x259 <= .9 x260 <= .9 x261 <= .9 x262 <= .9 x263 <= .9 x264 <= .9 x265 <= .9 x266 <= 1 x267 <= 1 x268 <= 1 x269 <= 1 x270 <= .6 x271 <= .6 x272 <= .6 x273 <= .6 x274 <= .9 x275 <= .9 x276 <= .9 x277 <= .9 x278 <= .5 x279 <= .5 x280 <= .5 x281 <= .5 x522 <= 2 x523 <= 2 x524 <= 2 x525 <= 2 x526 <= 2 x527 <= 2 x528 <= 2 x529 <= 2 x530 <= 2 x531 <= 2 x532 <= 2 x533 <= 2 x534 <= 2 x535 <= 2 x536 <= 2 x537 <= 2 x538 <= 2 x539 <= 2 x540 <= 2 x541 <= 2 x542 <= 2 x543 <= 2 x544 <= 2 x545 <= 2 x546 <= 2 x547 <= 2 x548 <= 2 x549 <= 2 x550 <= 2 x551 <= 2 x552 <= 2 x553 <= 2 x554 <= 2 x555 <= 2 x556 <= 2 x557 <= 2 x558 <= 2 x559 <= 2 x560 <= 2 x561 <= 2 x562 <= 2 x563 <= 2 x564 <= 2 x565 <= 2 x566 <= 2 x567 <= 2 x568 <= 2 x569 <= 2 x570 <= 2 x571 <= 2 x572 <= 2 x573 <= 2 x574 <= 2 x575 <= 2 x576 <= 2 x577 <= 2 x578 <= 2 x579 <= 2 x580 <= 2 x581 <= 2 x582 <= 2 x583 <= 2 x584 <= 2 x585 <= 2 x586 <= 2 x587 <= 2 x588 <= 2 x589 <= 2 x590 <= 2 x591 <= 2 x592 <= 2 x609 <= .9 x610 <= .9 x611 <= .9 x612 <= .9 x613 <= .9 x614 <= .9 x615 <= .9 x616 <= .9 x617 <= .9 x618 <= .9 x619 <= .9 x620 <= .9 x621 <= .9 x622 <= .9 x623 <= .9 x624 <= .9 x625 <= .9 x626 <= .9 x627 <= .9 x628 <= .9 x629 <= .9 x630 <= .9 x631 <= .9 x632 <= .9 x633 <= .9 x634 <= .9 x635 <= .9 x636 <= .9 x637 <= 1 x638 <= 1 x639 <= 1 x640 <= 1 x641 <= 1 x642 <= 1 x643 <= 1 x644 <= 1 x645 <= 1 x646 <= 1 x647 <= 1 x648 <= 1 x649 <= 1 x650 <= 1 x651 <= 1 x652 <= 1 x653 <= 1 x654 <= 1 x655 <= 1 x656 <= 1 x657 <= 1 x658 <= 1 x659 <= 1 x660 <= 1 x661 <= 1 x662 <= 1 x663 <= 1 x664 <= 1 x665 <= .5 x666 <= .5 x667 <= .5 x668 <= .5 x669 <= .5 x670 <= .5 x671 <= .5 x672 <= .5 x673 <= .5 x674 <= .5 x675 <= .5 x676 <= .5 x677 <= .5 x678 <= .5 x679 <= .5 x680 <= .5 x681 <= .5 x682 <= .5 x683 <= .5 x684 <= .5 x685 <= .5 x686 <= .5 x687 <= .5 x688 <= .5 x689 <= .5 x690 <= .5 x691 <= .5 x692 <= .5 x693 <= .9 x694 <= .9 x695 <= .9 x696 <= .9 x697 <= .9 x698 <= .9 x699 <= .9 x700 <= .9 x701 <= .9 x702 <= .9 x703 <= .9 x704 <= .9 x705 <= .9 x706 <= .9 x707 <= .9 x708 <= .9 x709 <= .9 x710 <= .9 x711 <= .9 x712 <= .9 x713 <= .9 x714 <= .9 x715 <= .9 x716 <= .9 x717 <= .9 x718 <= .9 x719 <= .9 x720 <= .9 x721 <= .6 x722 <= .6 x723 <= .6 x724 <= .6 x725 <= .6 x726 <= .6 x727 <= .6 x728 <= .6 x729 <= .6 x730 <= .6 x731 <= .6 x732 <= .6 x733 <= .6 x734 <= .6 x735 <= .6 x736 <= .6 x737 <= .6 x738 <= .6 x739 <= .6 x740 <= .6 x741 <= .6 x742 <= .6 x743 <= .6 x744 <= .6 x745 <= .6 x746 <= .6 x747 <= .6 x748 <= .6 x749 <= .9 x750 <= .9 x751 <= .9 x752 <= .9 x753 <= .9 x754 <= .9 x755 <= .9 x756 <= .9 x757 <= .9 x758 <= .9 x759 <= .9 x760 <= .9 x761 <= .9 x762 <= .9 x763 <= .9 x764 <= .9 x765 <= .9 x766 <= .9 x767 <= .9 x768 <= .9 x769 <= .9 x770 <= .9 x771 <= .9 x772 <= .9 x773 <= .9 x774 <= .9 x775 <= .9 x776 <= .9 Binary b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 b326 b327 b328 b329 b330 b331 b332 b333 b334 b335 b336 b337 b338 b339 b340 b341 b342 b343 b344 b345 b346 b347 b348 b349 b350 b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 b369 b370 b371 b372 b373 b374 b375 b376 b377 b378 b379 b380 b381 b382 b383 b384 b385 b386 b387 b388 b389 b390 b391 b392 b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 b458 b459 b460 b461 b462 b463 b464 b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 b505 b506 b507 b508 b509 b510 b511 b512 b513 b514 b515 b516 b517 b518 b519 b520 b521 b593 b594 b595 b596 b597 b598 b599 b600 b601 b602 b603 b604 b605 b606 b607 b608 End