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