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