\ 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