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