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