\ Equation counts \ Total E G L N X C B \ 540 280 0 260 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 760 760 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 7040 1640 5400 0 \ Minimize obj: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 Subject To e2: - x2 - x22 - x42 - x62 + x82 - x122 - x142 - x162 - x182 - x202 - x222 - x242 - x262 - x282 - x302 - x322 - x342 - x362 - x382 - x402 - x422 - x442 - x462 - x482 - x502 = 0 e3: - x3 - x23 - x43 - x63 + x83 - x123 - x143 - x163 - x183 - x203 - x223 - x243 - x263 - x283 - x303 - x323 - x343 - x363 - x383 - x403 - x423 - x443 - x463 - x483 - x503 = 0 e4: - x4 - x24 - x44 - x64 + x84 - x124 - x144 - x164 - x184 - x204 - x224 - x244 - x264 - x284 - x304 - x324 - x344 - x364 - x384 - x404 - x424 - x444 - x464 - x484 - x504 = 0 e5: - x5 - x25 - x45 - x65 + x85 - x125 - x145 - x165 - x185 - x205 - x225 - x245 - x265 - x285 - x305 - x325 - x345 - x365 - x385 - x405 - x425 - x445 - x465 - x485 - x505 = 0 e6: - x6 - x26 - x46 - x66 + x86 - x126 - x146 - x166 - x186 - x206 - x226 - x246 - x266 - x286 - x306 - x326 - x346 - x366 - x386 - x406 - x426 - x446 - x466 - x486 - x506 = 0 e7: - x7 - x27 - x47 - x67 + x87 - x127 - x147 - x167 - x187 - x207 - x227 - x247 - x267 - x287 - x307 - x327 - x347 - x367 - x387 - x407 - x427 - x447 - x467 - x487 - x507 = 0 e8: - x8 - x28 - x48 - x68 + x88 - x128 - x148 - x168 - x188 - x208 - x228 - x248 - x268 - x288 - x308 - x328 - x348 - x368 - x388 - x408 - x428 - x448 - x468 - x488 - x508 = 0 e9: - x9 - x29 - x49 - x69 + x89 - x129 - x149 - x169 - x189 - x209 - x229 - x249 - x269 - x289 - x309 - x329 - x349 - x369 - x389 - x409 - x429 - x449 - x469 - x489 - x509 = 0 e10: - x10 - x30 - x50 - x70 + x90 - x130 - x150 - x170 - x190 - x210 - x230 - x250 - x270 - x290 - x310 - x330 - x350 - x370 - x390 - x410 - x430 - x450 - x470 - x490 - x510 = 0 e11: - x11 - x31 - x51 - x71 + x91 - x131 - x151 - x171 - x191 - x211 - x231 - x251 - x271 - x291 - x311 - x331 - x351 - x371 - x391 - x411 - x431 - x451 - x471 - x491 - x511 = 0 e12: - x12 - x32 - x52 - x72 + x92 - x132 - x152 - x172 - x192 - x212 - x232 - x252 - x272 - x292 - x312 - x332 - x352 - x372 - x392 - x412 - x432 - x452 - x472 - x492 - x512 = 0 e13: - x13 - x33 - x53 - x73 + x93 - x133 - x153 - x173 - x193 - x213 - x233 - x253 - x273 - x293 - x313 - x333 - x353 - x373 - x393 - x413 - x433 - x453 - x473 - x493 - x513 = 0 e14: - x14 - x34 - x54 - x74 + x94 - x134 - x154 - x174 - x194 - x214 - x234 - x254 - x274 - x294 - x314 - x334 - x354 - x374 - x394 - x414 - x434 - x454 - x474 - x494 - x514 = 0 e15: - x15 - x35 - x55 - x75 + x95 - x135 - x155 - x175 - x195 - x215 - x235 - x255 - x275 - x295 - x315 - x335 - x355 - x375 - x395 - x415 - x435 - x455 - x475 - x495 - x515 = 0 e16: - x16 - x36 - x56 - x76 + x96 - x136 - x156 - x176 - x196 - x216 - x236 - x256 - x276 - x296 - x316 - x336 - x356 - x376 - x396 - x416 - x436 - x456 - x476 - x496 - x516 = 0 e17: - x17 - x37 - x57 - x77 + x97 - x137 - x157 - x177 - x197 - x217 - x237 - x257 - x277 - x297 - x317 - x337 - x357 - x377 - x397 - x417 - x437 - x457 - x477 - x497 - x517 = 0 e18: - x18 - x38 - x58 - x78 + x98 - x138 - x158 - x178 - x198 - x218 - x238 - x258 - x278 - x298 - x318 - x338 - x358 - x378 - x398 - x418 - x438 - x458 - x478 - x498 - x518 = 0 e19: - x19 - x39 - x59 - x79 + x99 - x139 - x159 - x179 - x199 - x219 - x239 - x259 - x279 - x299 - x319 - x339 - x359 - x379 - x399 - x419 - x439 - x459 - x479 - x499 - x519 = 0 e20: - x20 - x40 - x60 - x80 + x100 - x140 - x160 - x180 - x200 - x220 - x240 - x260 - x280 - x300 - x320 - x340 - x360 - x380 - x400 - x420 - x440 - x460 - x480 - x500 - x520 = 0 e21: - x21 - x41 - x61 - x81 + x101 - x141 - x161 - x181 - x201 - x221 - x241 - x261 - x281 - x301 - x321 - x341 - x361 - x381 - x401 - x421 - x441 - x461 - x481 - x501 - x521 = 0 e22: x82 - x102 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139 - x140 - x141 = 0 e23: x83 - x103 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149 - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159 - x160 - x161 = 0 e24: x84 - x104 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169 - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179 - x180 - x181 = 0 e25: x85 - x105 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189 - x190 - x191 - x192 - x193 - x194 - x195 - x196 - x197 - x198 - x199 - x200 - x201 = 0 e26: x86 - x106 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209 - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219 - x220 - x221 = 0 e27: x87 - x107 - x222 - x223 - x224 - x225 - x226 - x227 - x228 - x229 - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239 - x240 - x241 = 0 e28: x88 - x108 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260 - x261 = 0 e29: x89 - x109 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269 - x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279 - x280 - x281 = 0 e30: x90 - x110 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289 - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299 - x300 - x301 = 0 e31: x91 - x111 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309 - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319 - x320 - x321 = 0 e32: x92 - x112 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329 - x330 - x331 - x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339 - x340 - x341 = 0 e33: x93 - x113 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349 - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359 - x360 - x361 = 0 e34: x94 - x114 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 = 0 e35: x95 - x115 - x382 - x383 - x384 - x385 - x386 - x387 - x388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 = 0 e36: x96 - x116 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409 - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419 - x420 - x421 = 0 e37: x97 - x117 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 - x441 = 0 e38: x98 - x118 - x442 - x443 - x444 - x445 - x446 - x447 - x448 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 = 0 e39: x99 - x119 - x462 - x463 - x464 - x465 - x466 - x467 - x468 - x469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479 - x480 - x481 = 0 e40: x100 - x120 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490 - x491 - x492 - x493 - x494 - x495 - x496 - x497 - x498 - x499 - x500 - x501 = 0 e41: x101 - x121 - x502 - x503 - x504 - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - x514 - x515 - x516 - x517 - x518 - x519 - x520 - x521 = 0 e42: - 3 x2 - 4 x22 - 4 x62 + [ x82 * x522 - x122 * x642 - x142 * x648 - x162 * x654 - x182 * x660 - x202 * x666 - x222 * x672 - x242 * x678 - x262 * x684 - x282 * x690 - x302 * x696 - x322 * x702 - x342 * x708 - x362 * x714 - x382 * x720 - x402 * x726 - x422 * x732 - x442 * x738 - x462 * x744 - x482 * x750 - x502 * x756 ] = 0 e43: - 5 x2 - 6 x22 - 3 x42 - x62 + [ x82 * x523 - x122 * x643 - x142 * x649 - x162 * x655 - x182 * x661 - x202 * x667 - x222 * x673 - x242 * x679 - x262 * x685 - x282 * x691 - x302 * x697 - x322 * x703 - x342 * x709 - x362 * x715 - x382 * x721 - x402 * x727 - x422 * x733 - x442 * x739 - x462 * x745 - x482 * x751 - x502 * x757 ] = 0 e44: - 2 x22 - 2 x42 - 2 x62 + [ x82 * x524 - x122 * x644 - x142 * x650 - x162 * x656 - x182 * x662 - x202 * x668 - x222 * x674 - x242 * x680 - x262 * x686 - x282 * x692 - x302 * x698 - x322 * x704 - x342 * x710 - x362 * x716 - x382 * x722 - x402 * x728 - x422 * x734 - x442 * x740 - x462 * x746 - x482 * x752 - x502 * x758 ] = 0 e45: - 8 x2 - 7 x42 - 3 x62 + [ x82 * x525 - x122 * x645 - x142 * x651 - x162 * x657 - x182 * x663 - x202 * x669 - x222 * x675 - x242 * x681 - x262 * x687 - x282 * x693 - x302 * x699 - x322 * x705 - x342 * x711 - x362 * x717 - x382 * x723 - x402 * x729 - x422 * x735 - x442 * x741 - x462 * x747 - x482 * x753 - x502 * x759 ] = 0 e46: - 2 x22 - 2 x62 + [ x82 * x526 - x122 * x646 - x142 * x652 - x162 * x658 - x182 * x664 - x202 * x670 - x222 * x676 - x242 * x682 - x262 * x688 - x282 * x694 - x302 * x700 - x322 * x706 - x342 * x712 - x362 * x718 - x382 * x724 - x402 * x730 - x422 * x736 - x442 * x742 - x462 * x748 - x482 * x754 - x502 * x760 ] = 0 e47: - 4 x2 - 2 x42 - 8 x62 + [ x82 * x527 - x122 * x647 - x142 * x653 - x162 * x659 - x182 * x665 - x202 * x671 - x222 * x677 - x242 * x683 - x262 * x689 - x282 * x695 - x302 * x701 - x322 * x707 - x342 * x713 - x362 * x719 - x382 * x725 - x402 * x731 - x422 * x737 - x442 * x743 - x462 * x749 - x482 * x755 - x502 * x761 ] = 0 e48: - 3 x3 - 4 x23 - 4 x63 + [ x83 * x528 - x123 * x642 - x143 * x648 - x163 * x654 - x183 * x660 - x203 * x666 - x223 * x672 - x243 * x678 - x263 * x684 - x283 * x690 - x303 * x696 - x323 * x702 - x343 * x708 - x363 * x714 - x383 * x720 - x403 * x726 - x423 * x732 - x443 * x738 - x463 * x744 - x483 * x750 - x503 * x756 ] = 0 e49: - 5 x3 - 6 x23 - 3 x43 - x63 + [ x83 * x529 - x123 * x643 - x143 * x649 - x163 * x655 - x183 * x661 - x203 * x667 - x223 * x673 - x243 * x679 - x263 * x685 - x283 * x691 - x303 * x697 - x323 * x703 - x343 * x709 - x363 * x715 - x383 * x721 - x403 * x727 - x423 * x733 - x443 * x739 - x463 * x745 - x483 * x751 - x503 * x757 ] = 0 e50: - 2 x23 - 2 x43 - 2 x63 + [ x83 * x530 - x123 * x644 - x143 * x650 - x163 * x656 - x183 * x662 - x203 * x668 - x223 * x674 - x243 * x680 - x263 * x686 - x283 * x692 - x303 * x698 - x323 * x704 - x343 * x710 - x363 * x716 - x383 * x722 - x403 * x728 - x423 * x734 - x443 * x740 - x463 * x746 - x483 * x752 - x503 * x758 ] = 0 e51: - 8 x3 - 7 x43 - 3 x63 + [ x83 * x531 - x123 * x645 - x143 * x651 - x163 * x657 - x183 * x663 - x203 * x669 - x223 * x675 - x243 * x681 - x263 * x687 - x283 * x693 - x303 * x699 - x323 * x705 - x343 * x711 - x363 * x717 - x383 * x723 - x403 * x729 - x423 * x735 - x443 * x741 - x463 * x747 - x483 * x753 - x503 * x759 ] = 0 e52: - 2 x23 - 2 x63 + [ x83 * x532 - x123 * x646 - x143 * x652 - x163 * x658 - x183 * x664 - x203 * x670 - x223 * x676 - x243 * x682 - x263 * x688 - x283 * x694 - x303 * x700 - x323 * x706 - x343 * x712 - x363 * x718 - x383 * x724 - x403 * x730 - x423 * x736 - x443 * x742 - x463 * x748 - x483 * x754 - x503 * x760 ] = 0 e53: - 4 x3 - 2 x43 - 8 x63 + [ x83 * x533 - x123 * x647 - x143 * x653 - x163 * x659 - x183 * x665 - x203 * x671 - x223 * x677 - x243 * x683 - x263 * x689 - x283 * x695 - x303 * x701 - x323 * x707 - x343 * x713 - x363 * x719 - x383 * x725 - x403 * x731 - x423 * x737 - x443 * x743 - x463 * x749 - x483 * x755 - x503 * x761 ] = 0 e54: - 3 x4 - 4 x24 - 4 x64 + [ x84 * x534 - x124 * x642 - x144 * x648 - x164 * x654 - x184 * x660 - x204 * x666 - x224 * x672 - x244 * x678 - x264 * x684 - x284 * x690 - x304 * x696 - x324 * x702 - x344 * x708 - x364 * x714 - x384 * x720 - x404 * x726 - x424 * x732 - x444 * x738 - x464 * x744 - x484 * x750 - x504 * x756 ] = 0 e55: - 5 x4 - 6 x24 - 3 x44 - x64 + [ x84 * x535 - x124 * x643 - x144 * x649 - x164 * x655 - x184 * x661 - x204 * x667 - x224 * x673 - x244 * x679 - x264 * x685 - x284 * x691 - x304 * x697 - x324 * x703 - x344 * x709 - x364 * x715 - x384 * x721 - x404 * x727 - x424 * x733 - x444 * x739 - x464 * x745 - x484 * x751 - x504 * x757 ] = 0 e56: - 2 x24 - 2 x44 - 2 x64 + [ x84 * x536 - x124 * x644 - x144 * x650 - x164 * x656 - x184 * x662 - x204 * x668 - x224 * x674 - x244 * x680 - x264 * x686 - x284 * x692 - x304 * x698 - x324 * x704 - x344 * x710 - x364 * x716 - x384 * x722 - x404 * x728 - x424 * x734 - x444 * x740 - x464 * x746 - x484 * x752 - x504 * x758 ] = 0 e57: - 8 x4 - 7 x44 - 3 x64 + [ x84 * x537 - x124 * x645 - x144 * x651 - x164 * x657 - x184 * x663 - x204 * x669 - x224 * x675 - x244 * x681 - x264 * x687 - x284 * x693 - x304 * x699 - x324 * x705 - x344 * x711 - x364 * x717 - x384 * x723 - x404 * x729 - x424 * x735 - x444 * x741 - x464 * x747 - x484 * x753 - x504 * x759 ] = 0 e58: - 2 x24 - 2 x64 + [ x84 * x538 - x124 * x646 - x144 * x652 - x164 * x658 - x184 * x664 - x204 * x670 - x224 * x676 - x244 * x682 - x264 * x688 - x284 * x694 - x304 * x700 - x324 * x706 - x344 * x712 - x364 * x718 - x384 * x724 - x404 * x730 - x424 * x736 - x444 * x742 - x464 * x748 - x484 * x754 - x504 * x760 ] = 0 e59: - 4 x4 - 2 x44 - 8 x64 + [ x84 * x539 - x124 * x647 - x144 * x653 - x164 * x659 - x184 * x665 - x204 * x671 - x224 * x677 - x244 * x683 - x264 * x689 - x284 * x695 - x304 * x701 - x324 * x707 - x344 * x713 - x364 * x719 - x384 * x725 - x404 * x731 - x424 * x737 - x444 * x743 - x464 * x749 - x484 * x755 - x504 * x761 ] = 0 e60: - 3 x5 - 4 x25 - 4 x65 + [ x85 * x540 - x125 * x642 - x145 * x648 - x165 * x654 - x185 * x660 - x205 * x666 - x225 * x672 - x245 * x678 - x265 * x684 - x285 * x690 - x305 * x696 - x325 * x702 - x345 * x708 - x365 * x714 - x385 * x720 - x405 * x726 - x425 * x732 - x445 * x738 - x465 * x744 - x485 * x750 - x505 * x756 ] = 0 e61: - 5 x5 - 6 x25 - 3 x45 - x65 + [ x85 * x541 - x125 * x643 - x145 * x649 - x165 * x655 - x185 * x661 - x205 * x667 - x225 * x673 - x245 * x679 - x265 * x685 - x285 * x691 - x305 * x697 - x325 * x703 - x345 * x709 - x365 * x715 - x385 * x721 - x405 * x727 - x425 * x733 - x445 * x739 - x465 * x745 - x485 * x751 - x505 * x757 ] = 0 e62: - 2 x25 - 2 x45 - 2 x65 + [ x85 * x542 - x125 * x644 - x145 * x650 - x165 * x656 - x185 * x662 - x205 * x668 - x225 * x674 - x245 * x680 - x265 * x686 - x285 * x692 - x305 * x698 - x325 * x704 - x345 * x710 - x365 * x716 - x385 * x722 - x405 * x728 - x425 * x734 - x445 * x740 - x465 * x746 - x485 * x752 - x505 * x758 ] = 0 e63: - 8 x5 - 7 x45 - 3 x65 + [ x85 * x543 - x125 * x645 - x145 * x651 - x165 * x657 - x185 * x663 - x205 * x669 - x225 * x675 - x245 * x681 - x265 * x687 - x285 * x693 - x305 * x699 - x325 * x705 - x345 * x711 - x365 * x717 - x385 * x723 - x405 * x729 - x425 * x735 - x445 * x741 - x465 * x747 - x485 * x753 - x505 * x759 ] = 0 e64: - 2 x25 - 2 x65 + [ x85 * x544 - x125 * x646 - x145 * x652 - x165 * x658 - x185 * x664 - x205 * x670 - x225 * x676 - x245 * x682 - x265 * x688 - x285 * x694 - x305 * x700 - x325 * x706 - x345 * x712 - x365 * x718 - x385 * x724 - x405 * x730 - x425 * x736 - x445 * x742 - x465 * x748 - x485 * x754 - x505 * x760 ] = 0 e65: - 4 x5 - 2 x45 - 8 x65 + [ x85 * x545 - x125 * x647 - x145 * x653 - x165 * x659 - x185 * x665 - x205 * x671 - x225 * x677 - x245 * x683 - x265 * x689 - x285 * x695 - x305 * x701 - x325 * x707 - x345 * x713 - x365 * x719 - x385 * x725 - x405 * x731 - x425 * x737 - x445 * x743 - x465 * x749 - x485 * x755 - x505 * x761 ] = 0 e66: - 3 x6 - 4 x26 - 4 x66 + [ x86 * x546 - x126 * x642 - x146 * x648 - x166 * x654 - x186 * x660 - x206 * x666 - x226 * x672 - x246 * x678 - x266 * x684 - x286 * x690 - x306 * x696 - x326 * x702 - x346 * x708 - x366 * x714 - x386 * x720 - x406 * x726 - x426 * x732 - x446 * x738 - x466 * x744 - x486 * x750 - x506 * x756 ] = 0 e67: - 5 x6 - 6 x26 - 3 x46 - x66 + [ x86 * x547 - x126 * x643 - x146 * x649 - x166 * x655 - x186 * x661 - x206 * x667 - x226 * x673 - x246 * x679 - x266 * x685 - x286 * x691 - x306 * x697 - x326 * x703 - x346 * x709 - x366 * x715 - x386 * x721 - x406 * x727 - x426 * x733 - x446 * x739 - x466 * x745 - x486 * x751 - x506 * x757 ] = 0 e68: - 2 x26 - 2 x46 - 2 x66 + [ x86 * x548 - x126 * x644 - x146 * x650 - x166 * x656 - x186 * x662 - x206 * x668 - x226 * x674 - x246 * x680 - x266 * x686 - x286 * x692 - x306 * x698 - x326 * x704 - x346 * x710 - x366 * x716 - x386 * x722 - x406 * x728 - x426 * x734 - x446 * x740 - x466 * x746 - x486 * x752 - x506 * x758 ] = 0 e69: - 8 x6 - 7 x46 - 3 x66 + [ x86 * x549 - x126 * x645 - x146 * x651 - x166 * x657 - x186 * x663 - x206 * x669 - x226 * x675 - x246 * x681 - x266 * x687 - x286 * x693 - x306 * x699 - x326 * x705 - x346 * x711 - x366 * x717 - x386 * x723 - x406 * x729 - x426 * x735 - x446 * x741 - x466 * x747 - x486 * x753 - x506 * x759 ] = 0 e70: - 2 x26 - 2 x66 + [ x86 * x550 - x126 * x646 - x146 * x652 - x166 * x658 - x186 * x664 - x206 * x670 - x226 * x676 - x246 * x682 - x266 * x688 - x286 * x694 - x306 * x700 - x326 * x706 - x346 * x712 - x366 * x718 - x386 * x724 - x406 * x730 - x426 * x736 - x446 * x742 - x466 * x748 - x486 * x754 - x506 * x760 ] = 0 e71: - 4 x6 - 2 x46 - 8 x66 + [ x86 * x551 - x126 * x647 - x146 * x653 - x166 * x659 - x186 * x665 - x206 * x671 - x226 * x677 - x246 * x683 - x266 * x689 - x286 * x695 - x306 * x701 - x326 * x707 - x346 * x713 - x366 * x719 - x386 * x725 - x406 * x731 - x426 * x737 - x446 * x743 - x466 * x749 - x486 * x755 - x506 * x761 ] = 0 e72: - 3 x7 - 4 x27 - 4 x67 + [ x87 * x552 - x127 * x642 - x147 * x648 - x167 * x654 - x187 * x660 - x207 * x666 - x227 * x672 - x247 * x678 - x267 * x684 - x287 * x690 - x307 * x696 - x327 * x702 - x347 * x708 - x367 * x714 - x387 * x720 - x407 * x726 - x427 * x732 - x447 * x738 - x467 * x744 - x487 * x750 - x507 * x756 ] = 0 e73: - 5 x7 - 6 x27 - 3 x47 - x67 + [ x87 * x553 - x127 * x643 - x147 * x649 - x167 * x655 - x187 * x661 - x207 * x667 - x227 * x673 - x247 * x679 - x267 * x685 - x287 * x691 - x307 * x697 - x327 * x703 - x347 * x709 - x367 * x715 - x387 * x721 - x407 * x727 - x427 * x733 - x447 * x739 - x467 * x745 - x487 * x751 - x507 * x757 ] = 0 e74: - 2 x27 - 2 x47 - 2 x67 + [ x87 * x554 - x127 * x644 - x147 * x650 - x167 * x656 - x187 * x662 - x207 * x668 - x227 * x674 - x247 * x680 - x267 * x686 - x287 * x692 - x307 * x698 - x327 * x704 - x347 * x710 - x367 * x716 - x387 * x722 - x407 * x728 - x427 * x734 - x447 * x740 - x467 * x746 - x487 * x752 - x507 * x758 ] = 0 e75: - 8 x7 - 7 x47 - 3 x67 + [ x87 * x555 - x127 * x645 - x147 * x651 - x167 * x657 - x187 * x663 - x207 * x669 - x227 * x675 - x247 * x681 - x267 * x687 - x287 * x693 - x307 * x699 - x327 * x705 - x347 * x711 - x367 * x717 - x387 * x723 - x407 * x729 - x427 * x735 - x447 * x741 - x467 * x747 - x487 * x753 - x507 * x759 ] = 0 e76: - 2 x27 - 2 x67 + [ x87 * x556 - x127 * x646 - x147 * x652 - x167 * x658 - x187 * x664 - x207 * x670 - x227 * x676 - x247 * x682 - x267 * x688 - x287 * x694 - x307 * x700 - x327 * x706 - x347 * x712 - x367 * x718 - x387 * x724 - x407 * x730 - x427 * x736 - x447 * x742 - x467 * x748 - x487 * x754 - x507 * x760 ] = 0 e77: - 4 x7 - 2 x47 - 8 x67 + [ x87 * x557 - x127 * x647 - x147 * x653 - x167 * x659 - x187 * x665 - x207 * x671 - x227 * x677 - x247 * x683 - x267 * x689 - x287 * x695 - x307 * x701 - x327 * x707 - x347 * x713 - x367 * x719 - x387 * x725 - x407 * x731 - x427 * x737 - x447 * x743 - x467 * x749 - x487 * x755 - x507 * x761 ] = 0 e78: - 3 x8 - 4 x28 - 4 x68 + [ x88 * x558 - x128 * x642 - x148 * x648 - x168 * x654 - x188 * x660 - x208 * x666 - x228 * x672 - x248 * x678 - x268 * x684 - x288 * x690 - x308 * x696 - x328 * x702 - x348 * x708 - x368 * x714 - x388 * x720 - x408 * x726 - x428 * x732 - x448 * x738 - x468 * x744 - x488 * x750 - x508 * x756 ] = 0 e79: - 5 x8 - 6 x28 - 3 x48 - x68 + [ x88 * x559 - x128 * x643 - x148 * x649 - x168 * x655 - x188 * x661 - x208 * x667 - x228 * x673 - x248 * x679 - x268 * x685 - x288 * x691 - x308 * x697 - x328 * x703 - x348 * x709 - x368 * x715 - x388 * x721 - x408 * x727 - x428 * x733 - x448 * x739 - x468 * x745 - x488 * x751 - x508 * x757 ] = 0 e80: - 2 x28 - 2 x48 - 2 x68 + [ x88 * x560 - x128 * x644 - x148 * x650 - x168 * x656 - x188 * x662 - x208 * x668 - x228 * x674 - x248 * x680 - x268 * x686 - x288 * x692 - x308 * x698 - x328 * x704 - x348 * x710 - x368 * x716 - x388 * x722 - x408 * x728 - x428 * x734 - x448 * x740 - x468 * x746 - x488 * x752 - x508 * x758 ] = 0 e81: - 8 x8 - 7 x48 - 3 x68 + [ x88 * x561 - x128 * x645 - x148 * x651 - x168 * x657 - x188 * x663 - x208 * x669 - x228 * x675 - x248 * x681 - x268 * x687 - x288 * x693 - x308 * x699 - x328 * x705 - x348 * x711 - x368 * x717 - x388 * x723 - x408 * x729 - x428 * x735 - x448 * x741 - x468 * x747 - x488 * x753 - x508 * x759 ] = 0 e82: - 2 x28 - 2 x68 + [ x88 * x562 - x128 * x646 - x148 * x652 - x168 * x658 - x188 * x664 - x208 * x670 - x228 * x676 - x248 * x682 - x268 * x688 - x288 * x694 - x308 * x700 - x328 * x706 - x348 * x712 - x368 * x718 - x388 * x724 - x408 * x730 - x428 * x736 - x448 * x742 - x468 * x748 - x488 * x754 - x508 * x760 ] = 0 e83: - 4 x8 - 2 x48 - 8 x68 + [ x88 * x563 - x128 * x647 - x148 * x653 - x168 * x659 - x188 * x665 - x208 * x671 - x228 * x677 - x248 * x683 - x268 * x689 - x288 * x695 - x308 * x701 - x328 * x707 - x348 * x713 - x368 * x719 - x388 * x725 - x408 * x731 - x428 * x737 - x448 * x743 - x468 * x749 - x488 * x755 - x508 * x761 ] = 0 e84: - 3 x9 - 4 x29 - 4 x69 + [ x89 * x564 - x129 * x642 - x149 * x648 - x169 * x654 - x189 * x660 - x209 * x666 - x229 * x672 - x249 * x678 - x269 * x684 - x289 * x690 - x309 * x696 - x329 * x702 - x349 * x708 - x369 * x714 - x389 * x720 - x409 * x726 - x429 * x732 - x449 * x738 - x469 * x744 - x489 * x750 - x509 * x756 ] = 0 e85: - 5 x9 - 6 x29 - 3 x49 - x69 + [ x89 * x565 - x129 * x643 - x149 * x649 - x169 * x655 - x189 * x661 - x209 * x667 - x229 * x673 - x249 * x679 - x269 * x685 - x289 * x691 - x309 * x697 - x329 * x703 - x349 * x709 - x369 * x715 - x389 * x721 - x409 * x727 - x429 * x733 - x449 * x739 - x469 * x745 - x489 * x751 - x509 * x757 ] = 0 e86: - 2 x29 - 2 x49 - 2 x69 + [ x89 * x566 - x129 * x644 - x149 * x650 - x169 * x656 - x189 * x662 - x209 * x668 - x229 * x674 - x249 * x680 - x269 * x686 - x289 * x692 - x309 * x698 - x329 * x704 - x349 * x710 - x369 * x716 - x389 * x722 - x409 * x728 - x429 * x734 - x449 * x740 - x469 * x746 - x489 * x752 - x509 * x758 ] = 0 e87: - 8 x9 - 7 x49 - 3 x69 + [ x89 * x567 - x129 * x645 - x149 * x651 - x169 * x657 - x189 * x663 - x209 * x669 - x229 * x675 - x249 * x681 - x269 * x687 - x289 * x693 - x309 * x699 - x329 * x705 - x349 * x711 - x369 * x717 - x389 * x723 - x409 * x729 - x429 * x735 - x449 * x741 - x469 * x747 - x489 * x753 - x509 * x759 ] = 0 e88: - 2 x29 - 2 x69 + [ x89 * x568 - x129 * x646 - x149 * x652 - x169 * x658 - x189 * x664 - x209 * x670 - x229 * x676 - x249 * x682 - x269 * x688 - x289 * x694 - x309 * x700 - x329 * x706 - x349 * x712 - x369 * x718 - x389 * x724 - x409 * x730 - x429 * x736 - x449 * x742 - x469 * x748 - x489 * x754 - x509 * x760 ] = 0 e89: - 4 x9 - 2 x49 - 8 x69 + [ x89 * x569 - x129 * x647 - x149 * x653 - x169 * x659 - x189 * x665 - x209 * x671 - x229 * x677 - x249 * x683 - x269 * x689 - x289 * x695 - x309 * x701 - x329 * x707 - x349 * x713 - x369 * x719 - x389 * x725 - x409 * x731 - x429 * x737 - x449 * x743 - x469 * x749 - x489 * x755 - x509 * x761 ] = 0 e90: - 3 x10 - 4 x30 - 4 x70 + [ x90 * x570 - x130 * x642 - x150 * x648 - x170 * x654 - x190 * x660 - x210 * x666 - x230 * x672 - x250 * x678 - x270 * x684 - x290 * x690 - x310 * x696 - x330 * x702 - x350 * x708 - x370 * x714 - x390 * x720 - x410 * x726 - x430 * x732 - x450 * x738 - x470 * x744 - x490 * x750 - x510 * x756 ] = 0 e91: - 5 x10 - 6 x30 - 3 x50 - x70 + [ x90 * x571 - x130 * x643 - x150 * x649 - x170 * x655 - x190 * x661 - x210 * x667 - x230 * x673 - x250 * x679 - x270 * x685 - x290 * x691 - x310 * x697 - x330 * x703 - x350 * x709 - x370 * x715 - x390 * x721 - x410 * x727 - x430 * x733 - x450 * x739 - x470 * x745 - x490 * x751 - x510 * x757 ] = 0 e92: - 2 x30 - 2 x50 - 2 x70 + [ x90 * x572 - x130 * x644 - x150 * x650 - x170 * x656 - x190 * x662 - x210 * x668 - x230 * x674 - x250 * x680 - x270 * x686 - x290 * x692 - x310 * x698 - x330 * x704 - x350 * x710 - x370 * x716 - x390 * x722 - x410 * x728 - x430 * x734 - x450 * x740 - x470 * x746 - x490 * x752 - x510 * x758 ] = 0 e93: - 8 x10 - 7 x50 - 3 x70 + [ x90 * x573 - x130 * x645 - x150 * x651 - x170 * x657 - x190 * x663 - x210 * x669 - x230 * x675 - x250 * x681 - x270 * x687 - x290 * x693 - x310 * x699 - x330 * x705 - x350 * x711 - x370 * x717 - x390 * x723 - x410 * x729 - x430 * x735 - x450 * x741 - x470 * x747 - x490 * x753 - x510 * x759 ] = 0 e94: - 2 x30 - 2 x70 + [ x90 * x574 - x130 * x646 - x150 * x652 - x170 * x658 - x190 * x664 - x210 * x670 - x230 * x676 - x250 * x682 - x270 * x688 - x290 * x694 - x310 * x700 - x330 * x706 - x350 * x712 - x370 * x718 - x390 * x724 - x410 * x730 - x430 * x736 - x450 * x742 - x470 * x748 - x490 * x754 - x510 * x760 ] = 0 e95: - 4 x10 - 2 x50 - 8 x70 + [ x90 * x575 - x130 * x647 - x150 * x653 - x170 * x659 - x190 * x665 - x210 * x671 - x230 * x677 - x250 * x683 - x270 * x689 - x290 * x695 - x310 * x701 - x330 * x707 - x350 * x713 - x370 * x719 - x390 * x725 - x410 * x731 - x430 * x737 - x450 * x743 - x470 * x749 - x490 * x755 - x510 * x761 ] = 0 e96: - 3 x11 - 4 x31 - 4 x71 + [ x91 * x576 - x131 * x642 - x151 * x648 - x171 * x654 - x191 * x660 - x211 * x666 - x231 * x672 - x251 * x678 - x271 * x684 - x291 * x690 - x311 * x696 - x331 * x702 - x351 * x708 - x371 * x714 - x391 * x720 - x411 * x726 - x431 * x732 - x451 * x738 - x471 * x744 - x491 * x750 - x511 * x756 ] = 0 e97: - 5 x11 - 6 x31 - 3 x51 - x71 + [ x91 * x577 - x131 * x643 - x151 * x649 - x171 * x655 - x191 * x661 - x211 * x667 - x231 * x673 - x251 * x679 - x271 * x685 - x291 * x691 - x311 * x697 - x331 * x703 - x351 * x709 - x371 * x715 - x391 * x721 - x411 * x727 - x431 * x733 - x451 * x739 - x471 * x745 - x491 * x751 - x511 * x757 ] = 0 e98: - 2 x31 - 2 x51 - 2 x71 + [ x91 * x578 - x131 * x644 - x151 * x650 - x171 * x656 - x191 * x662 - x211 * x668 - x231 * x674 - x251 * x680 - x271 * x686 - x291 * x692 - x311 * x698 - x331 * x704 - x351 * x710 - x371 * x716 - x391 * x722 - x411 * x728 - x431 * x734 - x451 * x740 - x471 * x746 - x491 * x752 - x511 * x758 ] = 0 e99: - 8 x11 - 7 x51 - 3 x71 + [ x91 * x579 - x131 * x645 - x151 * x651 - x171 * x657 - x191 * x663 - x211 * x669 - x231 * x675 - x251 * x681 - x271 * x687 - x291 * x693 - x311 * x699 - x331 * x705 - x351 * x711 - x371 * x717 - x391 * x723 - x411 * x729 - x431 * x735 - x451 * x741 - x471 * x747 - x491 * x753 - x511 * x759 ] = 0 e100: - 2 x31 - 2 x71 + [ x91 * x580 - x131 * x646 - x151 * x652 - x171 * x658 - x191 * x664 - x211 * x670 - x231 * x676 - x251 * x682 - x271 * x688 - x291 * x694 - x311 * x700 - x331 * x706 - x351 * x712 - x371 * x718 - x391 * x724 - x411 * x730 - x431 * x736 - x451 * x742 - x471 * x748 - x491 * x754 - x511 * x760 ] = 0 e101: - 4 x11 - 2 x51 - 8 x71 + [ x91 * x581 - x131 * x647 - x151 * x653 - x171 * x659 - x191 * x665 - x211 * x671 - x231 * x677 - x251 * x683 - x271 * x689 - x291 * x695 - x311 * x701 - x331 * x707 - x351 * x713 - x371 * x719 - x391 * x725 - x411 * x731 - x431 * x737 - x451 * x743 - x471 * x749 - x491 * x755 - x511 * x761 ] = 0 e102: - 3 x12 - 4 x32 - 4 x72 + [ x92 * x582 - x132 * x642 - x152 * x648 - x172 * x654 - x192 * x660 - x212 * x666 - x232 * x672 - x252 * x678 - x272 * x684 - x292 * x690 - x312 * x696 - x332 * x702 - x352 * x708 - x372 * x714 - x392 * x720 - x412 * x726 - x432 * x732 - x452 * x738 - x472 * x744 - x492 * x750 - x512 * x756 ] = 0 e103: - 5 x12 - 6 x32 - 3 x52 - x72 + [ x92 * x583 - x132 * x643 - x152 * x649 - x172 * x655 - x192 * x661 - x212 * x667 - x232 * x673 - x252 * x679 - x272 * x685 - x292 * x691 - x312 * x697 - x332 * x703 - x352 * x709 - x372 * x715 - x392 * x721 - x412 * x727 - x432 * x733 - x452 * x739 - x472 * x745 - x492 * x751 - x512 * x757 ] = 0 e104: - 2 x32 - 2 x52 - 2 x72 + [ x92 * x584 - x132 * x644 - x152 * x650 - x172 * x656 - x192 * x662 - x212 * x668 - x232 * x674 - x252 * x680 - x272 * x686 - x292 * x692 - x312 * x698 - x332 * x704 - x352 * x710 - x372 * x716 - x392 * x722 - x412 * x728 - x432 * x734 - x452 * x740 - x472 * x746 - x492 * x752 - x512 * x758 ] = 0 e105: - 8 x12 - 7 x52 - 3 x72 + [ x92 * x585 - x132 * x645 - x152 * x651 - x172 * x657 - x192 * x663 - x212 * x669 - x232 * x675 - x252 * x681 - x272 * x687 - x292 * x693 - x312 * x699 - x332 * x705 - x352 * x711 - x372 * x717 - x392 * x723 - x412 * x729 - x432 * x735 - x452 * x741 - x472 * x747 - x492 * x753 - x512 * x759 ] = 0 e106: - 2 x32 - 2 x72 + [ x92 * x586 - x132 * x646 - x152 * x652 - x172 * x658 - x192 * x664 - x212 * x670 - x232 * x676 - x252 * x682 - x272 * x688 - x292 * x694 - x312 * x700 - x332 * x706 - x352 * x712 - x372 * x718 - x392 * x724 - x412 * x730 - x432 * x736 - x452 * x742 - x472 * x748 - x492 * x754 - x512 * x760 ] = 0 e107: - 4 x12 - 2 x52 - 8 x72 + [ x92 * x587 - x132 * x647 - x152 * x653 - x172 * x659 - x192 * x665 - x212 * x671 - x232 * x677 - x252 * x683 - x272 * x689 - x292 * x695 - x312 * x701 - x332 * x707 - x352 * x713 - x372 * x719 - x392 * x725 - x412 * x731 - x432 * x737 - x452 * x743 - x472 * x749 - x492 * x755 - x512 * x761 ] = 0 e108: - 3 x13 - 4 x33 - 4 x73 + [ x93 * x588 - x133 * x642 - x153 * x648 - x173 * x654 - x193 * x660 - x213 * x666 - x233 * x672 - x253 * x678 - x273 * x684 - x293 * x690 - x313 * x696 - x333 * x702 - x353 * x708 - x373 * x714 - x393 * x720 - x413 * x726 - x433 * x732 - x453 * x738 - x473 * x744 - x493 * x750 - x513 * x756 ] = 0 e109: - 5 x13 - 6 x33 - 3 x53 - x73 + [ x93 * x589 - x133 * x643 - x153 * x649 - x173 * x655 - x193 * x661 - x213 * x667 - x233 * x673 - x253 * x679 - x273 * x685 - x293 * x691 - x313 * x697 - x333 * x703 - x353 * x709 - x373 * x715 - x393 * x721 - x413 * x727 - x433 * x733 - x453 * x739 - x473 * x745 - x493 * x751 - x513 * x757 ] = 0 e110: - 2 x33 - 2 x53 - 2 x73 + [ x93 * x590 - x133 * x644 - x153 * x650 - x173 * x656 - x193 * x662 - x213 * x668 - x233 * x674 - x253 * x680 - x273 * x686 - x293 * x692 - x313 * x698 - x333 * x704 - x353 * x710 - x373 * x716 - x393 * x722 - x413 * x728 - x433 * x734 - x453 * x740 - x473 * x746 - x493 * x752 - x513 * x758 ] = 0 e111: - 8 x13 - 7 x53 - 3 x73 + [ x93 * x591 - x133 * x645 - x153 * x651 - x173 * x657 - x193 * x663 - x213 * x669 - x233 * x675 - x253 * x681 - x273 * x687 - x293 * x693 - x313 * x699 - x333 * x705 - x353 * x711 - x373 * x717 - x393 * x723 - x413 * x729 - x433 * x735 - x453 * x741 - x473 * x747 - x493 * x753 - x513 * x759 ] = 0 e112: - 2 x33 - 2 x73 + [ x93 * x592 - x133 * x646 - x153 * x652 - x173 * x658 - x193 * x664 - x213 * x670 - x233 * x676 - x253 * x682 - x273 * x688 - x293 * x694 - x313 * x700 - x333 * x706 - x353 * x712 - x373 * x718 - x393 * x724 - x413 * x730 - x433 * x736 - x453 * x742 - x473 * x748 - x493 * x754 - x513 * x760 ] = 0 e113: - 4 x13 - 2 x53 - 8 x73 + [ x93 * x593 - x133 * x647 - x153 * x653 - x173 * x659 - x193 * x665 - x213 * x671 - x233 * x677 - x253 * x683 - x273 * x689 - x293 * x695 - x313 * x701 - x333 * x707 - x353 * x713 - x373 * x719 - x393 * x725 - x413 * x731 - x433 * x737 - x453 * x743 - x473 * x749 - x493 * x755 - x513 * x761 ] = 0 e114: - 3 x14 - 4 x34 - 4 x74 + [ x94 * x594 - x134 * x642 - x154 * x648 - x174 * x654 - x194 * x660 - x214 * x666 - x234 * x672 - x254 * x678 - x274 * x684 - x294 * x690 - x314 * x696 - x334 * x702 - x354 * x708 - x374 * x714 - x394 * x720 - x414 * x726 - x434 * x732 - x454 * x738 - x474 * x744 - x494 * x750 - x514 * x756 ] = 0 e115: - 5 x14 - 6 x34 - 3 x54 - x74 + [ x94 * x595 - x134 * x643 - x154 * x649 - x174 * x655 - x194 * x661 - x214 * x667 - x234 * x673 - x254 * x679 - x274 * x685 - x294 * x691 - x314 * x697 - x334 * x703 - x354 * x709 - x374 * x715 - x394 * x721 - x414 * x727 - x434 * x733 - x454 * x739 - x474 * x745 - x494 * x751 - x514 * x757 ] = 0 e116: - 2 x34 - 2 x54 - 2 x74 + [ x94 * x596 - x134 * x644 - x154 * x650 - x174 * x656 - x194 * x662 - x214 * x668 - x234 * x674 - x254 * x680 - x274 * x686 - x294 * x692 - x314 * x698 - x334 * x704 - x354 * x710 - x374 * x716 - x394 * x722 - x414 * x728 - x434 * x734 - x454 * x740 - x474 * x746 - x494 * x752 - x514 * x758 ] = 0 e117: - 8 x14 - 7 x54 - 3 x74 + [ x94 * x597 - x134 * x645 - x154 * x651 - x174 * x657 - x194 * x663 - x214 * x669 - x234 * x675 - x254 * x681 - x274 * x687 - x294 * x693 - x314 * x699 - x334 * x705 - x354 * x711 - x374 * x717 - x394 * x723 - x414 * x729 - x434 * x735 - x454 * x741 - x474 * x747 - x494 * x753 - x514 * x759 ] = 0 e118: - 2 x34 - 2 x74 + [ x94 * x598 - x134 * x646 - x154 * x652 - x174 * x658 - x194 * x664 - x214 * x670 - x234 * x676 - x254 * x682 - x274 * x688 - x294 * x694 - x314 * x700 - x334 * x706 - x354 * x712 - x374 * x718 - x394 * x724 - x414 * x730 - x434 * x736 - x454 * x742 - x474 * x748 - x494 * x754 - x514 * x760 ] = 0 e119: - 4 x14 - 2 x54 - 8 x74 + [ x94 * x599 - x134 * x647 - x154 * x653 - x174 * x659 - x194 * x665 - x214 * x671 - x234 * x677 - x254 * x683 - x274 * x689 - x294 * x695 - x314 * x701 - x334 * x707 - x354 * x713 - x374 * x719 - x394 * x725 - x414 * x731 - x434 * x737 - x454 * x743 - x474 * x749 - x494 * x755 - x514 * x761 ] = 0 e120: - 3 x15 - 4 x35 - 4 x75 + [ x95 * x600 - x135 * x642 - x155 * x648 - x175 * x654 - x195 * x660 - x215 * x666 - x235 * x672 - x255 * x678 - x275 * x684 - x295 * x690 - x315 * x696 - x335 * x702 - x355 * x708 - x375 * x714 - x395 * x720 - x415 * x726 - x435 * x732 - x455 * x738 - x475 * x744 - x495 * x750 - x515 * x756 ] = 0 e121: - 5 x15 - 6 x35 - 3 x55 - x75 + [ x95 * x601 - x135 * x643 - x155 * x649 - x175 * x655 - x195 * x661 - x215 * x667 - x235 * x673 - x255 * x679 - x275 * x685 - x295 * x691 - x315 * x697 - x335 * x703 - x355 * x709 - x375 * x715 - x395 * x721 - x415 * x727 - x435 * x733 - x455 * x739 - x475 * x745 - x495 * x751 - x515 * x757 ] = 0 e122: - 2 x35 - 2 x55 - 2 x75 + [ x95 * x602 - x135 * x644 - x155 * x650 - x175 * x656 - x195 * x662 - x215 * x668 - x235 * x674 - x255 * x680 - x275 * x686 - x295 * x692 - x315 * x698 - x335 * x704 - x355 * x710 - x375 * x716 - x395 * x722 - x415 * x728 - x435 * x734 - x455 * x740 - x475 * x746 - x495 * x752 - x515 * x758 ] = 0 e123: - 8 x15 - 7 x55 - 3 x75 + [ x95 * x603 - x135 * x645 - x155 * x651 - x175 * x657 - x195 * x663 - x215 * x669 - x235 * x675 - x255 * x681 - x275 * x687 - x295 * x693 - x315 * x699 - x335 * x705 - x355 * x711 - x375 * x717 - x395 * x723 - x415 * x729 - x435 * x735 - x455 * x741 - x475 * x747 - x495 * x753 - x515 * x759 ] = 0 e124: - 2 x35 - 2 x75 + [ x95 * x604 - x135 * x646 - x155 * x652 - x175 * x658 - x195 * x664 - x215 * x670 - x235 * x676 - x255 * x682 - x275 * x688 - x295 * x694 - x315 * x700 - x335 * x706 - x355 * x712 - x375 * x718 - x395 * x724 - x415 * x730 - x435 * x736 - x455 * x742 - x475 * x748 - x495 * x754 - x515 * x760 ] = 0 e125: - 4 x15 - 2 x55 - 8 x75 + [ x95 * x605 - x135 * x647 - x155 * x653 - x175 * x659 - x195 * x665 - x215 * x671 - x235 * x677 - x255 * x683 - x275 * x689 - x295 * x695 - x315 * x701 - x335 * x707 - x355 * x713 - x375 * x719 - x395 * x725 - x415 * x731 - x435 * x737 - x455 * x743 - x475 * x749 - x495 * x755 - x515 * x761 ] = 0 e126: - 3 x16 - 4 x36 - 4 x76 + [ x96 * x606 - x136 * x642 - x156 * x648 - x176 * x654 - x196 * x660 - x216 * x666 - x236 * x672 - x256 * x678 - x276 * x684 - x296 * x690 - x316 * x696 - x336 * x702 - x356 * x708 - x376 * x714 - x396 * x720 - x416 * x726 - x436 * x732 - x456 * x738 - x476 * x744 - x496 * x750 - x516 * x756 ] = 0 e127: - 5 x16 - 6 x36 - 3 x56 - x76 + [ x96 * x607 - x136 * x643 - x156 * x649 - x176 * x655 - x196 * x661 - x216 * x667 - x236 * x673 - x256 * x679 - x276 * x685 - x296 * x691 - x316 * x697 - x336 * x703 - x356 * x709 - x376 * x715 - x396 * x721 - x416 * x727 - x436 * x733 - x456 * x739 - x476 * x745 - x496 * x751 - x516 * x757 ] = 0 e128: - 2 x36 - 2 x56 - 2 x76 + [ x96 * x608 - x136 * x644 - x156 * x650 - x176 * x656 - x196 * x662 - x216 * x668 - x236 * x674 - x256 * x680 - x276 * x686 - x296 * x692 - x316 * x698 - x336 * x704 - x356 * x710 - x376 * x716 - x396 * x722 - x416 * x728 - x436 * x734 - x456 * x740 - x476 * x746 - x496 * x752 - x516 * x758 ] = 0 e129: - 8 x16 - 7 x56 - 3 x76 + [ x96 * x609 - x136 * x645 - x156 * x651 - x176 * x657 - x196 * x663 - x216 * x669 - x236 * x675 - x256 * x681 - x276 * x687 - x296 * x693 - x316 * x699 - x336 * x705 - x356 * x711 - x376 * x717 - x396 * x723 - x416 * x729 - x436 * x735 - x456 * x741 - x476 * x747 - x496 * x753 - x516 * x759 ] = 0 e130: - 2 x36 - 2 x76 + [ x96 * x610 - x136 * x646 - x156 * x652 - x176 * x658 - x196 * x664 - x216 * x670 - x236 * x676 - x256 * x682 - x276 * x688 - x296 * x694 - x316 * x700 - x336 * x706 - x356 * x712 - x376 * x718 - x396 * x724 - x416 * x730 - x436 * x736 - x456 * x742 - x476 * x748 - x496 * x754 - x516 * x760 ] = 0 e131: - 4 x16 - 2 x56 - 8 x76 + [ x96 * x611 - x136 * x647 - x156 * x653 - x176 * x659 - x196 * x665 - x216 * x671 - x236 * x677 - x256 * x683 - x276 * x689 - x296 * x695 - x316 * x701 - x336 * x707 - x356 * x713 - x376 * x719 - x396 * x725 - x416 * x731 - x436 * x737 - x456 * x743 - x476 * x749 - x496 * x755 - x516 * x761 ] = 0 e132: - 3 x17 - 4 x37 - 4 x77 + [ x97 * x612 - x137 * x642 - x157 * x648 - x177 * x654 - x197 * x660 - x217 * x666 - x237 * x672 - x257 * x678 - x277 * x684 - x297 * x690 - x317 * x696 - x337 * x702 - x357 * x708 - x377 * x714 - x397 * x720 - x417 * x726 - x437 * x732 - x457 * x738 - x477 * x744 - x497 * x750 - x517 * x756 ] = 0 e133: - 5 x17 - 6 x37 - 3 x57 - x77 + [ x97 * x613 - x137 * x643 - x157 * x649 - x177 * x655 - x197 * x661 - x217 * x667 - x237 * x673 - x257 * x679 - x277 * x685 - x297 * x691 - x317 * x697 - x337 * x703 - x357 * x709 - x377 * x715 - x397 * x721 - x417 * x727 - x437 * x733 - x457 * x739 - x477 * x745 - x497 * x751 - x517 * x757 ] = 0 e134: - 2 x37 - 2 x57 - 2 x77 + [ x97 * x614 - x137 * x644 - x157 * x650 - x177 * x656 - x197 * x662 - x217 * x668 - x237 * x674 - x257 * x680 - x277 * x686 - x297 * x692 - x317 * x698 - x337 * x704 - x357 * x710 - x377 * x716 - x397 * x722 - x417 * x728 - x437 * x734 - x457 * x740 - x477 * x746 - x497 * x752 - x517 * x758 ] = 0 e135: - 8 x17 - 7 x57 - 3 x77 + [ x97 * x615 - x137 * x645 - x157 * x651 - x177 * x657 - x197 * x663 - x217 * x669 - x237 * x675 - x257 * x681 - x277 * x687 - x297 * x693 - x317 * x699 - x337 * x705 - x357 * x711 - x377 * x717 - x397 * x723 - x417 * x729 - x437 * x735 - x457 * x741 - x477 * x747 - x497 * x753 - x517 * x759 ] = 0 e136: - 2 x37 - 2 x77 + [ x97 * x616 - x137 * x646 - x157 * x652 - x177 * x658 - x197 * x664 - x217 * x670 - x237 * x676 - x257 * x682 - x277 * x688 - x297 * x694 - x317 * x700 - x337 * x706 - x357 * x712 - x377 * x718 - x397 * x724 - x417 * x730 - x437 * x736 - x457 * x742 - x477 * x748 - x497 * x754 - x517 * x760 ] = 0 e137: - 4 x17 - 2 x57 - 8 x77 + [ x97 * x617 - x137 * x647 - x157 * x653 - x177 * x659 - x197 * x665 - x217 * x671 - x237 * x677 - x257 * x683 - x277 * x689 - x297 * x695 - x317 * x701 - x337 * x707 - x357 * x713 - x377 * x719 - x397 * x725 - x417 * x731 - x437 * x737 - x457 * x743 - x477 * x749 - x497 * x755 - x517 * x761 ] = 0 e138: - 3 x18 - 4 x38 - 4 x78 + [ x98 * x618 - x138 * x642 - x158 * x648 - x178 * x654 - x198 * x660 - x218 * x666 - x238 * x672 - x258 * x678 - x278 * x684 - x298 * x690 - x318 * x696 - x338 * x702 - x358 * x708 - x378 * x714 - x398 * x720 - x418 * x726 - x438 * x732 - x458 * x738 - x478 * x744 - x498 * x750 - x518 * x756 ] = 0 e139: - 5 x18 - 6 x38 - 3 x58 - x78 + [ x98 * x619 - x138 * x643 - x158 * x649 - x178 * x655 - x198 * x661 - x218 * x667 - x238 * x673 - x258 * x679 - x278 * x685 - x298 * x691 - x318 * x697 - x338 * x703 - x358 * x709 - x378 * x715 - x398 * x721 - x418 * x727 - x438 * x733 - x458 * x739 - x478 * x745 - x498 * x751 - x518 * x757 ] = 0 e140: - 2 x38 - 2 x58 - 2 x78 + [ x98 * x620 - x138 * x644 - x158 * x650 - x178 * x656 - x198 * x662 - x218 * x668 - x238 * x674 - x258 * x680 - x278 * x686 - x298 * x692 - x318 * x698 - x338 * x704 - x358 * x710 - x378 * x716 - x398 * x722 - x418 * x728 - x438 * x734 - x458 * x740 - x478 * x746 - x498 * x752 - x518 * x758 ] = 0 e141: - 8 x18 - 7 x58 - 3 x78 + [ x98 * x621 - x138 * x645 - x158 * x651 - x178 * x657 - x198 * x663 - x218 * x669 - x238 * x675 - x258 * x681 - x278 * x687 - x298 * x693 - x318 * x699 - x338 * x705 - x358 * x711 - x378 * x717 - x398 * x723 - x418 * x729 - x438 * x735 - x458 * x741 - x478 * x747 - x498 * x753 - x518 * x759 ] = 0 e142: - 2 x38 - 2 x78 + [ x98 * x622 - x138 * x646 - x158 * x652 - x178 * x658 - x198 * x664 - x218 * x670 - x238 * x676 - x258 * x682 - x278 * x688 - x298 * x694 - x318 * x700 - x338 * x706 - x358 * x712 - x378 * x718 - x398 * x724 - x418 * x730 - x438 * x736 - x458 * x742 - x478 * x748 - x498 * x754 - x518 * x760 ] = 0 e143: - 4 x18 - 2 x58 - 8 x78 + [ x98 * x623 - x138 * x647 - x158 * x653 - x178 * x659 - x198 * x665 - x218 * x671 - x238 * x677 - x258 * x683 - x278 * x689 - x298 * x695 - x318 * x701 - x338 * x707 - x358 * x713 - x378 * x719 - x398 * x725 - x418 * x731 - x438 * x737 - x458 * x743 - x478 * x749 - x498 * x755 - x518 * x761 ] = 0 e144: - 3 x19 - 4 x39 - 4 x79 + [ x99 * x624 - x139 * x642 - x159 * x648 - x179 * x654 - x199 * x660 - x219 * x666 - x239 * x672 - x259 * x678 - x279 * x684 - x299 * x690 - x319 * x696 - x339 * x702 - x359 * x708 - x379 * x714 - x399 * x720 - x419 * x726 - x439 * x732 - x459 * x738 - x479 * x744 - x499 * x750 - x519 * x756 ] = 0 e145: - 5 x19 - 6 x39 - 3 x59 - x79 + [ x99 * x625 - x139 * x643 - x159 * x649 - x179 * x655 - x199 * x661 - x219 * x667 - x239 * x673 - x259 * x679 - x279 * x685 - x299 * x691 - x319 * x697 - x339 * x703 - x359 * x709 - x379 * x715 - x399 * x721 - x419 * x727 - x439 * x733 - x459 * x739 - x479 * x745 - x499 * x751 - x519 * x757 ] = 0 e146: - 2 x39 - 2 x59 - 2 x79 + [ x99 * x626 - x139 * x644 - x159 * x650 - x179 * x656 - x199 * x662 - x219 * x668 - x239 * x674 - x259 * x680 - x279 * x686 - x299 * x692 - x319 * x698 - x339 * x704 - x359 * x710 - x379 * x716 - x399 * x722 - x419 * x728 - x439 * x734 - x459 * x740 - x479 * x746 - x499 * x752 - x519 * x758 ] = 0 e147: - 8 x19 - 7 x59 - 3 x79 + [ x99 * x627 - x139 * x645 - x159 * x651 - x179 * x657 - x199 * x663 - x219 * x669 - x239 * x675 - x259 * x681 - x279 * x687 - x299 * x693 - x319 * x699 - x339 * x705 - x359 * x711 - x379 * x717 - x399 * x723 - x419 * x729 - x439 * x735 - x459 * x741 - x479 * x747 - x499 * x753 - x519 * x759 ] = 0 e148: - 2 x39 - 2 x79 + [ x99 * x628 - x139 * x646 - x159 * x652 - x179 * x658 - x199 * x664 - x219 * x670 - x239 * x676 - x259 * x682 - x279 * x688 - x299 * x694 - x319 * x700 - x339 * x706 - x359 * x712 - x379 * x718 - x399 * x724 - x419 * x730 - x439 * x736 - x459 * x742 - x479 * x748 - x499 * x754 - x519 * x760 ] = 0 e149: - 4 x19 - 2 x59 - 8 x79 + [ x99 * x629 - x139 * x647 - x159 * x653 - x179 * x659 - x199 * x665 - x219 * x671 - x239 * x677 - x259 * x683 - x279 * x689 - x299 * x695 - x319 * x701 - x339 * x707 - x359 * x713 - x379 * x719 - x399 * x725 - x419 * x731 - x439 * x737 - x459 * x743 - x479 * x749 - x499 * x755 - x519 * x761 ] = 0 e150: - 3 x20 - 4 x40 - 4 x80 + [ x100 * x630 - x140 * x642 - x160 * x648 - x180 * x654 - x200 * x660 - x220 * x666 - x240 * x672 - x260 * x678 - x280 * x684 - x300 * x690 - x320 * x696 - x340 * x702 - x360 * x708 - x380 * x714 - x400 * x720 - x420 * x726 - x440 * x732 - x460 * x738 - x480 * x744 - x500 * x750 - x520 * x756 ] = 0 e151: - 5 x20 - 6 x40 - 3 x60 - x80 + [ x100 * x631 - x140 * x643 - x160 * x649 - x180 * x655 - x200 * x661 - x220 * x667 - x240 * x673 - x260 * x679 - x280 * x685 - x300 * x691 - x320 * x697 - x340 * x703 - x360 * x709 - x380 * x715 - x400 * x721 - x420 * x727 - x440 * x733 - x460 * x739 - x480 * x745 - x500 * x751 - x520 * x757 ] = 0 e152: - 2 x40 - 2 x60 - 2 x80 + [ x100 * x632 - x140 * x644 - x160 * x650 - x180 * x656 - x200 * x662 - x220 * x668 - x240 * x674 - x260 * x680 - x280 * x686 - x300 * x692 - x320 * x698 - x340 * x704 - x360 * x710 - x380 * x716 - x400 * x722 - x420 * x728 - x440 * x734 - x460 * x740 - x480 * x746 - x500 * x752 - x520 * x758 ] = 0 e153: - 8 x20 - 7 x60 - 3 x80 + [ x100 * x633 - x140 * x645 - x160 * x651 - x180 * x657 - x200 * x663 - x220 * x669 - x240 * x675 - x260 * x681 - x280 * x687 - x300 * x693 - x320 * x699 - x340 * x705 - x360 * x711 - x380 * x717 - x400 * x723 - x420 * x729 - x440 * x735 - x460 * x741 - x480 * x747 - x500 * x753 - x520 * x759 ] = 0 e154: - 2 x40 - 2 x80 + [ x100 * x634 - x140 * x646 - x160 * x652 - x180 * x658 - x200 * x664 - x220 * x670 - x240 * x676 - x260 * x682 - x280 * x688 - x300 * x694 - x320 * x700 - x340 * x706 - x360 * x712 - x380 * x718 - x400 * x724 - x420 * x730 - x440 * x736 - x460 * x742 - x480 * x748 - x500 * x754 - x520 * x760 ] = 0 e155: - 4 x20 - 2 x60 - 8 x80 + [ x100 * x635 - x140 * x647 - x160 * x653 - x180 * x659 - x200 * x665 - x220 * x671 - x240 * x677 - x260 * x683 - x280 * x689 - x300 * x695 - x320 * x701 - x340 * x707 - x360 * x713 - x380 * x719 - x400 * x725 - x420 * x731 - x440 * x737 - x460 * x743 - x480 * x749 - x500 * x755 - x520 * x761 ] = 0 e156: - 3 x21 - 4 x41 - 4 x81 + [ x101 * x636 - x141 * x642 - x161 * x648 - x181 * x654 - x201 * x660 - x221 * x666 - x241 * x672 - x261 * x678 - x281 * x684 - x301 * x690 - x321 * x696 - x341 * x702 - x361 * x708 - x381 * x714 - x401 * x720 - x421 * x726 - x441 * x732 - x461 * x738 - x481 * x744 - x501 * x750 - x521 * x756 ] = 0 e157: - 5 x21 - 6 x41 - 3 x61 - x81 + [ x101 * x637 - x141 * x643 - x161 * x649 - x181 * x655 - x201 * x661 - x221 * x667 - x241 * x673 - x261 * x679 - x281 * x685 - x301 * x691 - x321 * x697 - x341 * x703 - x361 * x709 - x381 * x715 - x401 * x721 - x421 * x727 - x441 * x733 - x461 * x739 - x481 * x745 - x501 * x751 - x521 * x757 ] = 0 e158: - 2 x41 - 2 x61 - 2 x81 + [ x101 * x638 - x141 * x644 - x161 * x650 - x181 * x656 - x201 * x662 - x221 * x668 - x241 * x674 - x261 * x680 - x281 * x686 - x301 * x692 - x321 * x698 - x341 * x704 - x361 * x710 - x381 * x716 - x401 * x722 - x421 * x728 - x441 * x734 - x461 * x740 - x481 * x746 - x501 * x752 - x521 * x758 ] = 0 e159: - 8 x21 - 7 x61 - 3 x81 + [ x101 * x639 - x141 * x645 - x161 * x651 - x181 * x657 - x201 * x663 - x221 * x669 - x241 * x675 - x261 * x681 - x281 * x687 - x301 * x693 - x321 * x699 - x341 * x705 - x361 * x711 - x381 * x717 - x401 * x723 - x421 * x729 - x441 * x735 - x461 * x741 - x481 * x747 - x501 * x753 - x521 * x759 ] = 0 e160: - 2 x41 - 2 x81 + [ x101 * x640 - x141 * x646 - x161 * x652 - x181 * x658 - x201 * x664 - x221 * x670 - x241 * x676 - x261 * x682 - x281 * x688 - x301 * x694 - x321 * x700 - x341 * x706 - x361 * x712 - x381 * x718 - x401 * x724 - x421 * x730 - x441 * x736 - x461 * x742 - x481 * x748 - x501 * x754 - x521 * x760 ] = 0 e161: - 4 x21 - 2 x61 - 8 x81 + [ x101 * x641 - x141 * x647 - x161 * x653 - x181 * x659 - x201 * x665 - x221 * x671 - x241 * x677 - x261 * x683 - x281 * x689 - x301 * x695 - x321 * x701 - x341 * x707 - x361 * x713 - x381 * x719 - x401 * x725 - x421 * x731 - x441 * x737 - x461 * x743 - x481 * x749 - x501 * x755 - x521 * x761 ] = 0 e162: [ x82 * x522 - x82 * x642 ] = -3196 e163: [ x82 * x523 - x82 * x643 ] = -11832 e164: [ x82 * x524 - x82 * x644 ] = -8364 e165: [ x82 * x525 - x82 * x645 ] = -136 e166: [ x82 * x526 - x82 * x646 ] = -5712 e167: [ x82 * x527 - x82 * x647 ] = -3.4e3 e168: [ x83 * x528 - x83 * x648 ] = -9.25e3 e169: [ x83 * x529 - x83 * x649 ] = -7.03e3 e170: [ x83 * x530 - x83 * x650 ] = -4.07e3 e171: [ x83 * x531 - x83 * x651 ] = -184556 e172: [ x83 * x532 - x83 * x652 ] = -1924 e173: [ x83 * x533 - x83 * x653 ] = -7252 e174: [ x84 * x534 - x84 * x654 ] = -1.008e4 e175: [ x84 * x535 - x84 * x655 ] = -4914 e176: [ x84 * x536 - x84 * x656 ] = -46242 e177: [ x84 * x537 - x84 * x657 ] = -5418 e178: [ x84 * x538 - x84 * x658 ] = -16506 e179: [ x84 * x539 - x84 * x659 ] = -4284 e180: [ x85 * x540 - x85 * x660 ] = -2376 e181: [ x85 * x541 - x85 * x661 ] = -30096 e182: [ x85 * x542 - x85 * x662 ] = -2.684e4 e183: [ x85 * x543 - x85 * x663 ] = -35904 e184: [ x85 * x544 - x85 * x664 ] = -1.188e4 e185: [ x85 * x545 - x85 * x665 ] = -18568 e186: [ x86 * x546 - x86 * x666 ] = -5e4 e187: [ x86 * x547 - x86 * x667 ] = -3.512e5 e188: [ x86 * x548 - x86 * x668 ] = -1.4e4 e189: [ x86 * x549 - x86 * x669 ] = -3.5e3 e190: [ x86 * x550 - x86 * x670 ] = -1.58e4 e191: [ x86 * x551 - x86 * x671 ] = -7.8e3 e192: [ x87 * x552 - x87 * x672 ] = -4.4e3 e193: [ x87 * x553 - x87 * x673 ] = -5.5e3 e194: [ x87 * x554 - x87 * x674 ] = -8.25e3 e195: [ x87 * x555 - x87 * x675 ] = -3.3e3 e196: [ x87 * x556 - x87 * x676 ] = -4.4e3 e197: [ x87 * x557 - x87 * x677 ] = -3.3e3 e198: [ x88 * x558 - x88 * x678 ] = -2.3e3 e199: [ x88 * x559 - x88 * x679 ] = -3.8e3 e200: [ x88 * x560 - x88 * x680 ] = -4.1e3 e201: [ x88 * x561 - x88 * x681 ] = 0 e202: [ x88 * x562 - x88 * x682 ] = -2e4 e203: [ x88 * x563 - x88 * x683 ] = -1.26e4 e204: [ x89 * x564 - x89 * x684 ] = -1.3e3 e205: [ x89 * x565 - x89 * x685 ] = -2.6e3 e206: [ x89 * x566 - x89 * x686 ] = -1.82e3 e207: [ x89 * x567 - x89 * x687 ] = -2.6e5 e208: [ x89 * x568 - x89 * x688 ] = -2.6e3 e209: [ x89 * x569 - x89 * x689 ] = -8944 e210: [ x90 * x570 - x90 * x690 ] = -1.96e4 e211: [ x90 * x571 - x90 * x691 ] = -2.94e4 e212: [ x90 * x572 - x90 * x692 ] = -1.96e4 e213: [ x90 * x573 - x90 * x693 ] = -2646 e214: [ x90 * x574 - x90 * x694 ] = -1.274e4 e215: [ x90 * x575 - x90 * x695 ] = -66248 e216: [ x91 * x576 - x91 * x696 ] = -3.45e4 e217: [ x91 * x577 - x91 * x697 ] = -4025 e218: [ x91 * x578 - x91 * x698 ] = -9775 e219: [ x91 * x579 - x91 * x699 ] = -3.45e3 e220: [ x91 * x580 - x91 * x700 ] = -6.279e4 e221: [ x91 * x581 - x91 * x701 ] = -6.256e4 e222: [ x92 * x582 - x92 * x702 ] = -1.2025e5 e223: [ x92 * x583 - x92 * x703 ] = -1.147e4 e224: [ x92 * x584 - x92 * x704 ] = -1.85e4 e225: [ x92 * x585 - x92 * x705 ] = -7215 e226: [ x92 * x586 - x92 * x706 ] = -7.4e4 e227: [ x92 * x587 - x92 * x707 ] = -7.03e3 e228: [ x93 * x588 - x93 * x708 ] = -9.5e3 e229: [ x93 * x589 - x93 * x709 ] = -9.5e3 e230: [ x93 * x590 - x93 * x710 ] = -2.85e4 e231: [ x93 * x591 - x93 * x711 ] = -8075 e232: [ x93 * x592 - x93 * x712 ] = -9.5e3 e233: [ x93 * x593 - x93 * x713 ] = -5225 e234: [ x94 * x594 - x94 * x714 ] = -5e4 e235: [ x94 * x595 - x94 * x715 ] = -3.512e5 e236: [ x94 * x596 - x94 * x716 ] = -1.4e4 e237: [ x94 * x597 - x94 * x717 ] = -3.5e3 e238: [ x94 * x598 - x94 * x718 ] = -1.58e4 e239: [ x94 * x599 - x94 * x719 ] = -7.8e3 e240: [ x95 * x600 - x95 * x720 ] = -2.76e4 e241: [ x95 * x601 - x95 * x721 ] = -3.45e4 e242: [ x95 * x602 - x95 * x722 ] = -5.175e4 e243: [ x95 * x603 - x95 * x723 ] = -2.07e4 e244: [ x95 * x604 - x95 * x724 ] = -2.76e4 e245: [ x95 * x605 - x95 * x725 ] = -2.07e4 e246: [ x96 * x606 - x96 * x726 ] = -2.3e3 e247: [ x96 * x607 - x96 * x727 ] = -3.8e3 e248: [ x96 * x608 - x96 * x728 ] = -4.1e3 e249: [ x96 * x609 - x96 * x729 ] = 0 e250: [ x96 * x610 - x96 * x730 ] = -2e4 e251: [ x96 * x611 - x96 * x731 ] = -1.26e4 e252: [ x97 * x612 - x97 * x732 ] = -9.25e3 e253: [ x97 * x613 - x97 * x733 ] = -1.85e4 e254: [ x97 * x614 - x97 * x734 ] = -1.295e4 e255: [ x97 * x615 - x97 * x735 ] = -1.85e6 e256: [ x97 * x616 - x97 * x736 ] = -1.85e4 e257: [ x97 * x617 - x97 * x737 ] = -6.364e4 e258: [ x98 * x618 - x98 * x738 ] = -1.9e4 e259: [ x98 * x619 - x98 * x739 ] = -2.85e4 e260: [ x98 * x620 - x98 * x740 ] = -1.9e4 e261: [ x98 * x621 - x98 * x741 ] = -2565 e262: [ x98 * x622 - x98 * x742 ] = -1.235e4 e263: [ x98 * x623 - x98 * x743 ] = -6.422e4 e264: [ x99 * x624 - x99 * x744 ] = -3e4 e265: [ x99 * x625 - x99 * x745 ] = -3.5e3 e266: [ x99 * x626 - x99 * x746 ] = -8.5e3 e267: [ x99 * x627 - x99 * x747 ] = -3e3 e268: [ x99 * x628 - x99 * x748 ] = -5.46e4 e269: [ x99 * x629 - x99 * x749 ] = -5.44e4 e270: [ x100 * x630 - x100 * x750 ] = -2.2425e5 e271: [ x100 * x631 - x100 * x751 ] = -2.139e4 e272: [ x100 * x632 - x100 * x752 ] = -3.45e4 e273: [ x100 * x633 - x100 * x753 ] = -13455 e274: [ x100 * x634 - x100 * x754 ] = -1.38e5 e275: [ x100 * x635 - x100 * x755 ] = -1.311e4 e276: [ x101 * x636 - x101 * x756 ] = -1e4 e277: [ x101 * x637 - x101 * x757 ] = -1e4 e278: [ x101 * x638 - x101 * x758 ] = -3e4 e279: [ x101 * x639 - x101 * x759 ] = -8.5e3 e280: [ x101 * x640 - x101 * x760 ] = -1e4 e281: [ x101 * x641 - x101 * x761 ] = -5.5e3 e282: x522 <= 45 e283: x523 <= 52 e284: x524 <= 189 e285: x525 <= 33 e286: x526 <= 2.1e2 e287: x527 <= 24 e288: x528 <= 1.2e2 e289: x529 <= 30 e290: x530 <= 30 e291: x531 <= 12234 e292: x532 <= 98 e293: x533 <= 656 e294: x534 <= 142 e295: x535 <= 4.2e2 e296: x536 <= 200 e297: x537 <= 13 e298: x538 <= 637 e299: x539 <= 24 e300: x540 <= 20 e301: x541 <= 25 e302: x542 <= 15 e303: x543 <= 25 e304: x544 <= 454 e305: x545 <= 256 e306: x546 <= 3.5e2 e307: x547 <= 48 e308: x548 <= 2.6e2 e309: x549 <= 21 e310: x550 <= 278 e311: x551 <= 12 e312: x552 <= 20 e313: x553 <= 50 e314: x554 <= 100 e315: x555 <= 30 e316: x556 <= 70 e317: x557 <= 20 e318: x558 <= 45 e319: x559 <= 52 e320: x560 <= 189 e321: x561 <= 33 e322: x562 <= 2.1e2 e323: x563 <= 24 e324: x564 <= 1.2e2 e325: x565 <= 30 e326: x566 <= 30 e327: x567 <= 12234 e328: x568 <= 98 e329: x569 <= 656 e330: x570 <= 142 e331: x571 <= 4.2e2 e332: x572 <= 200 e333: x573 <= 13 e334: x574 <= 637 e335: x575 <= 24 e336: x576 <= 20 e337: x577 <= 25 e338: x578 <= 15 e339: x579 <= 25 e340: x580 <= 454 e341: x581 <= 256 e342: x582 <= 3.5e2 e343: x583 <= 48 e344: x584 <= 2.6e2 e345: x585 <= 21 e346: x586 <= 278 e347: x587 <= 12 e348: x588 <= 20 e349: x589 <= 50 e350: x590 <= 100 e351: x591 <= 30 e352: x592 <= 70 e353: x593 <= 20 e354: x594 <= 3.5e2 e355: x595 <= 48 e356: x596 <= 2.6e2 e357: x597 <= 21 e358: x598 <= 278 e359: x599 <= 12 e360: x600 <= 20 e361: x601 <= 50 e362: x602 <= 100 e363: x603 <= 30 e364: x604 <= 70 e365: x605 <= 20 e366: x606 <= 45 e367: x607 <= 52 e368: x608 <= 189 e369: x609 <= 33 e370: x610 <= 2.1e2 e371: x611 <= 24 e372: x612 <= 1.2e2 e373: x613 <= 30 e374: x614 <= 30 e375: x615 <= 12234 e376: x616 <= 98 e377: x617 <= 656 e378: x618 <= 142 e379: x619 <= 4.2e2 e380: x620 <= 200 e381: x621 <= 13 e382: x622 <= 637 e383: x623 <= 24 e384: x624 <= 20 e385: x625 <= 25 e386: x626 <= 15 e387: x627 <= 25 e388: x628 <= 454 e389: x629 <= 256 e390: x630 <= 3.5e2 e391: x631 <= 48 e392: x632 <= 2.6e2 e393: x633 <= 21 e394: x634 <= 278 e395: x635 <= 12 e396: x636 <= 20 e397: x637 <= 50 e398: x638 <= 100 e399: x639 <= 30 e400: x640 <= 70 e401: x641 <= 20 e402: x642 <= 139 e403: x643 <= 400 e404: x644 <= 435 e405: x645 <= 37 e406: x646 <= 378 e407: x647 <= 124 e408: x648 <= 245 e409: x649 <= 125 e410: x650 <= 85 e411: x651 <= 14728 e412: x652 <= 124 e413: x653 <= 754 e414: x654 <= 222 e415: x655 <= 459 e416: x656 <= 567 e417: x657 <= 56 e418: x658 <= 768 e419: x659 <= 58 e420: x660 <= 47 e421: x661 <= 367 e422: x662 <= 3.2e2 e423: x663 <= 433 e424: x664 <= 589 e425: x665 <= 467 e426: x666 <= 8.5e2 e427: x667 <= 3.56e3 e428: x668 <= 400 e429: x669 <= 56 e430: x670 <= 436 e431: x671 <= 90 e432: x672 <= 100 e433: x673 <= 1.5e2 e434: x674 <= 2.5e2 e435: x675 <= 90 e436: x676 <= 1.5e2 e437: x677 <= 80 e438: x678 <= 68 e439: x679 <= 90 e440: x680 <= 2.3e2 e441: x681 <= 33 e442: x682 <= 4.1e2 e443: x683 <= 1.5e2 e444: x684 <= 1.7e2 e445: x685 <= 1.3e2 e446: x686 <= 100 e447: x687 <= 22234 e448: x688 <= 198 e449: x689 <= 1e3 e450: x690 <= 342 e451: x691 <= 7.2e2 e452: x692 <= 400 e453: x693 <= 40 e454: x694 <= 767 e455: x695 <= 700 e456: x696 <= 3.2e2 e457: x697 <= 60 e458: x698 <= 100 e459: x699 <= 55 e460: x700 <= 1e3 e461: x701 <= 800 e462: x702 <= 1e3 e463: x703 <= 1.1e2 e464: x704 <= 3.6e2 e465: x705 <= 60 e466: x706 <= 678 e467: x707 <= 50 e468: x708 <= 1.2e2 e469: x709 <= 1.5e2 e470: x710 <= 400 e471: x711 <= 115 e472: x712 <= 1.7e2 e473: x713 <= 75 e474: x714 <= 8.5e2 e475: x715 <= 3.56e3 e476: x716 <= 400 e477: x717 <= 56 e478: x718 <= 436 e479: x719 <= 90 e480: x720 <= 100 e481: x721 <= 1.5e2 e482: x722 <= 2.5e2 e483: x723 <= 90 e484: x724 <= 1.5e2 e485: x725 <= 80 e486: x726 <= 68 e487: x727 <= 90 e488: x728 <= 2.3e2 e489: x729 <= 33 e490: x730 <= 4.1e2 e491: x731 <= 1.5e2 e492: x732 <= 1.7e2 e493: x733 <= 1.3e2 e494: x734 <= 100 e495: x735 <= 22234 e496: x736 <= 198 e497: x737 <= 1e3 e498: x738 <= 342 e499: x739 <= 7.2e2 e500: x740 <= 400 e501: x741 <= 40 e502: x742 <= 767 e503: x743 <= 700 e504: x744 <= 3.2e2 e505: x745 <= 60 e506: x746 <= 100 e507: x747 <= 55 e508: x748 <= 1e3 e509: x749 <= 800 e510: x750 <= 1e3 e511: x751 <= 1.1e2 e512: x752 <= 3.6e2 e513: x753 <= 60 e514: x754 <= 678 e515: x755 <= 50 e516: x756 <= 1.2e2 e517: x757 <= 1.5e2 e518: x758 <= 400 e519: x759 <= 115 e520: x760 <= 1.7e2 e521: x761 <= 75 e522: x82 <= 34 e523: x83 <= 74 e524: x84 <= 126 e525: x85 <= 88 e526: x86 <= 100 e527: x87 <= 55 e528: x88 <= 100 e529: x89 <= 26 e530: x90 <= 98 e531: x91 <= 115 e532: x92 <= 185 e533: x93 <= 95 e534: x94 <= 100 e535: x95 <= 345 e536: x96 <= 100 e537: x97 <= 185 e538: x98 <= 95 e539: x99 <= 100 e540: x100 <= 345 e541: x101 <= 100 Bounds x2 <= 1e5 x3 <= 1e5 x4 <= 1e5 x5 <= 1e5 x6 <= 1e5 x7 <= 1e5 x8 <= 1e5 x9 <= 1e5 x10 <= 1e5 x11 <= 1e5 x12 <= 1e5 x13 <= 1e5 x14 <= 1e5 x15 <= 1e5 x16 <= 1e5 x17 <= 1e5 x18 <= 1e5 x19 <= 1e5 x20 <= 1e5 x21 <= 1e5 x22 <= 1e5 x23 <= 1e5 x24 <= 1e5 x25 <= 1e5 x26 <= 1e5 x27 <= 1e5 x28 <= 1e5 x29 <= 1e5 x30 <= 1e5 x31 <= 1e5 x32 <= 1e5 x33 <= 1e5 x34 <= 1e5 x35 <= 1e5 x36 <= 1e5 x37 <= 1e5 x38 <= 1e5 x39 <= 1e5 x40 <= 1e5 x41 <= 1e5 x42 <= 1e5 x43 <= 1e5 x44 <= 1e5 x45 <= 1e5 x46 <= 1e5 x47 <= 1e5 x48 <= 1e5 x49 <= 1e5 x50 <= 1e5 x51 <= 1e5 x52 <= 1e5 x53 <= 1e5 x54 <= 1e5 x55 <= 1e5 x56 <= 1e5 x57 <= 1e5 x58 <= 1e5 x59 <= 1e5 x60 <= 1e5 x61 <= 1e5 x62 <= 1e5 x63 <= 1e5 x64 <= 1e5 x65 <= 1e5 x66 <= 1e5 x67 <= 1e5 x68 <= 1e5 x69 <= 1e5 x70 <= 1e5 x71 <= 1e5 x72 <= 1e5 x73 <= 1e5 x74 <= 1e5 x75 <= 1e5 x76 <= 1e5 x77 <= 1e5 x78 <= 1e5 x79 <= 1e5 x80 <= 1e5 x81 <= 1e5 x82 <= 1e5 x83 <= 1e5 x84 <= 1e5 x85 <= 1e5 x86 <= 1e5 x87 <= 1e5 x88 <= 1e5 x89 <= 1e5 x90 <= 1e5 x91 <= 1e5 x92 <= 1e5 x93 <= 1e5 x94 <= 1e5 x95 <= 1e5 x96 <= 1e5 x97 <= 1e5 x98 <= 1e5 x99 <= 1e5 x100 <= 1e5 x101 <= 1e5 x102 <= 1e5 x103 <= 1e5 x104 <= 1e5 x105 <= 1e5 x106 <= 1e5 x107 <= 1e5 x108 <= 1e5 x109 <= 1e5 x110 <= 1e5 x111 <= 1e5 x112 <= 1e5 x113 <= 1e5 x114 <= 1e5 x115 <= 1e5 x116 <= 1e5 x117 <= 1e5 x118 <= 1e5 x119 <= 1e5 x120 <= 1e5 x121 <= 1e5 x122 <= 1e5 x123 <= 1e5 x124 <= 1e5 x125 <= 1e5 x126 <= 1e5 x127 <= 1e5 x128 <= 1e5 x129 <= 1e5 x130 <= 1e5 x131 <= 1e5 x132 <= 1e5 x133 <= 1e5 x134 <= 1e5 x135 <= 1e5 x136 <= 1e5 x137 <= 1e5 x138 <= 1e5 x139 <= 1e5 x140 <= 1e5 x141 <= 1e5 x142 <= 1e5 x143 <= 1e5 x144 <= 1e5 x145 <= 1e5 x146 <= 1e5 x147 <= 1e5 x148 <= 1e5 x149 <= 1e5 x150 <= 1e5 x151 <= 1e5 x152 <= 1e5 x153 <= 1e5 x154 <= 1e5 x155 <= 1e5 x156 <= 1e5 x157 <= 1e5 x158 <= 1e5 x159 <= 1e5 x160 <= 1e5 x161 <= 1e5 x162 <= 1e5 x163 <= 1e5 x164 <= 1e5 x165 <= 1e5 x166 <= 1e5 x167 <= 1e5 x168 <= 1e5 x169 <= 1e5 x170 <= 1e5 x171 <= 1e5 x172 <= 1e5 x173 <= 1e5 x174 <= 1e5 x175 <= 1e5 x176 <= 1e5 x177 <= 1e5 x178 <= 1e5 x179 <= 1e5 x180 <= 1e5 x181 <= 1e5 x182 <= 1e5 x183 <= 1e5 x184 <= 1e5 x185 <= 1e5 x186 <= 1e5 x187 <= 1e5 x188 <= 1e5 x189 <= 1e5 x190 <= 1e5 x191 <= 1e5 x192 <= 1e5 x193 <= 1e5 x194 <= 1e5 x195 <= 1e5 x196 <= 1e5 x197 <= 1e5 x198 <= 1e5 x199 <= 1e5 x200 <= 1e5 x201 <= 1e5 x202 <= 1e5 x203 <= 1e5 x204 <= 1e5 x205 <= 1e5 x206 <= 1e5 x207 <= 1e5 x208 <= 1e5 x209 <= 1e5 x210 <= 1e5 x211 <= 1e5 x212 <= 1e5 x213 <= 1e5 x214 <= 1e5 x215 <= 1e5 x216 <= 1e5 x217 <= 1e5 x218 <= 1e5 x219 <= 1e5 x220 <= 1e5 x221 <= 1e5 x222 <= 1e5 x223 <= 1e5 x224 <= 1e5 x225 <= 1e5 x226 <= 1e5 x227 <= 1e5 x228 <= 1e5 x229 <= 1e5 x230 <= 1e5 x231 <= 1e5 x232 <= 1e5 x233 <= 1e5 x234 <= 1e5 x235 <= 1e5 x236 <= 1e5 x237 <= 1e5 x238 <= 1e5 x239 <= 1e5 x240 <= 1e5 x241 <= 1e5 x242 <= 1e5 x243 <= 1e5 x244 <= 1e5 x245 <= 1e5 x246 <= 1e5 x247 <= 1e5 x248 <= 1e5 x249 <= 1e5 x250 <= 1e5 x251 <= 1e5 x252 <= 1e5 x253 <= 1e5 x254 <= 1e5 x255 <= 1e5 x256 <= 1e5 x257 <= 1e5 x258 <= 1e5 x259 <= 1e5 x260 <= 1e5 x261 <= 1e5 x262 <= 1e5 x263 <= 1e5 x264 <= 1e5 x265 <= 1e5 x266 <= 1e5 x267 <= 1e5 x268 <= 1e5 x269 <= 1e5 x270 <= 1e5 x271 <= 1e5 x272 <= 1e5 x273 <= 1e5 x274 <= 1e5 x275 <= 1e5 x276 <= 1e5 x277 <= 1e5 x278 <= 1e5 x279 <= 1e5 x280 <= 1e5 x281 <= 1e5 x282 <= 1e5 x283 <= 1e5 x284 <= 1e5 x285 <= 1e5 x286 <= 1e5 x287 <= 1e5 x288 <= 1e5 x289 <= 1e5 x290 <= 1e5 x291 <= 1e5 x292 <= 1e5 x293 <= 1e5 x294 <= 1e5 x295 <= 1e5 x296 <= 1e5 x297 <= 1e5 x298 <= 1e5 x299 <= 1e5 x300 <= 1e5 x301 <= 1e5 x302 <= 1e5 x303 <= 1e5 x304 <= 1e5 x305 <= 1e5 x306 <= 1e5 x307 <= 1e5 x308 <= 1e5 x309 <= 1e5 x310 <= 1e5 x311 <= 1e5 x312 <= 1e5 x313 <= 1e5 x314 <= 1e5 x315 <= 1e5 x316 <= 1e5 x317 <= 1e5 x318 <= 1e5 x319 <= 1e5 x320 <= 1e5 x321 <= 1e5 x322 <= 1e5 x323 <= 1e5 x324 <= 1e5 x325 <= 1e5 x326 <= 1e5 x327 <= 1e5 x328 <= 1e5 x329 <= 1e5 x330 <= 1e5 x331 <= 1e5 x332 <= 1e5 x333 <= 1e5 x334 <= 1e5 x335 <= 1e5 x336 <= 1e5 x337 <= 1e5 x338 <= 1e5 x339 <= 1e5 x340 <= 1e5 x341 <= 1e5 x342 <= 1e5 x343 <= 1e5 x344 <= 1e5 x345 <= 1e5 x346 <= 1e5 x347 <= 1e5 x348 <= 1e5 x349 <= 1e5 x350 <= 1e5 x351 <= 1e5 x352 <= 1e5 x353 <= 1e5 x354 <= 1e5 x355 <= 1e5 x356 <= 1e5 x357 <= 1e5 x358 <= 1e5 x359 <= 1e5 x360 <= 1e5 x361 <= 1e5 x362 <= 1e5 x363 <= 1e5 x364 <= 1e5 x365 <= 1e5 x366 <= 1e5 x367 <= 1e5 x368 <= 1e5 x369 <= 1e5 x370 <= 1e5 x371 <= 1e5 x372 <= 1e5 x373 <= 1e5 x374 <= 1e5 x375 <= 1e5 x376 <= 1e5 x377 <= 1e5 x378 <= 1e5 x379 <= 1e5 x380 <= 1e5 x381 <= 1e5 x382 <= 1e5 x383 <= 1e5 x384 <= 1e5 x385 <= 1e5 x386 <= 1e5 x387 <= 1e5 x388 <= 1e5 x389 <= 1e5 x390 <= 1e5 x391 <= 1e5 x392 <= 1e5 x393 <= 1e5 x394 <= 1e5 x395 <= 1e5 x396 <= 1e5 x397 <= 1e5 x398 <= 1e5 x399 <= 1e5 x400 <= 1e5 x401 <= 1e5 x402 <= 1e5 x403 <= 1e5 x404 <= 1e5 x405 <= 1e5 x406 <= 1e5 x407 <= 1e5 x408 <= 1e5 x409 <= 1e5 x410 <= 1e5 x411 <= 1e5 x412 <= 1e5 x413 <= 1e5 x414 <= 1e5 x415 <= 1e5 x416 <= 1e5 x417 <= 1e5 x418 <= 1e5 x419 <= 1e5 x420 <= 1e5 x421 <= 1e5 x422 <= 1e5 x423 <= 1e5 x424 <= 1e5 x425 <= 1e5 x426 <= 1e5 x427 <= 1e5 x428 <= 1e5 x429 <= 1e5 x430 <= 1e5 x431 <= 1e5 x432 <= 1e5 x433 <= 1e5 x434 <= 1e5 x435 <= 1e5 x436 <= 1e5 x437 <= 1e5 x438 <= 1e5 x439 <= 1e5 x440 <= 1e5 x441 <= 1e5 x442 <= 1e5 x443 <= 1e5 x444 <= 1e5 x445 <= 1e5 x446 <= 1e5 x447 <= 1e5 x448 <= 1e5 x449 <= 1e5 x450 <= 1e5 x451 <= 1e5 x452 <= 1e5 x453 <= 1e5 x454 <= 1e5 x455 <= 1e5 x456 <= 1e5 x457 <= 1e5 x458 <= 1e5 x459 <= 1e5 x460 <= 1e5 x461 <= 1e5 x462 <= 1e5 x463 <= 1e5 x464 <= 1e5 x465 <= 1e5 x466 <= 1e5 x467 <= 1e5 x468 <= 1e5 x469 <= 1e5 x470 <= 1e5 x471 <= 1e5 x472 <= 1e5 x473 <= 1e5 x474 <= 1e5 x475 <= 1e5 x476 <= 1e5 x477 <= 1e5 x478 <= 1e5 x479 <= 1e5 x480 <= 1e5 x481 <= 1e5 x482 <= 1e5 x483 <= 1e5 x484 <= 1e5 x485 <= 1e5 x486 <= 1e5 x487 <= 1e5 x488 <= 1e5 x489 <= 1e5 x490 <= 1e5 x491 <= 1e5 x492 <= 1e5 x493 <= 1e5 x494 <= 1e5 x495 <= 1e5 x496 <= 1e5 x497 <= 1e5 x498 <= 1e5 x499 <= 1e5 x500 <= 1e5 x501 <= 1e5 x502 <= 1e5 x503 <= 1e5 x504 <= 1e5 x505 <= 1e5 x506 <= 1e5 x507 <= 1e5 x508 <= 1e5 x509 <= 1e5 x510 <= 1e5 x511 <= 1e5 x512 <= 1e5 x513 <= 1e5 x514 <= 1e5 x515 <= 1e5 x516 <= 1e5 x517 <= 1e5 x518 <= 1e5 x519 <= 1e5 x520 <= 1e5 x521 <= 1e5 x522 <= 1e5 x523 <= 1e5 x524 <= 1e5 x525 <= 1e5 x526 <= 1e5 x527 <= 1e5 x528 <= 1e5 x529 <= 1e5 x530 <= 1e5 x531 <= 1e5 x532 <= 1e5 x533 <= 1e5 x534 <= 1e5 x535 <= 1e5 x536 <= 1e5 x537 <= 1e5 x538 <= 1e5 x539 <= 1e5 x540 <= 1e5 x541 <= 1e5 x542 <= 1e5 x543 <= 1e5 x544 <= 1e5 x545 <= 1e5 x546 <= 1e5 x547 <= 1e5 x548 <= 1e5 x549 <= 1e5 x550 <= 1e5 x551 <= 1e5 x552 <= 1e5 x553 <= 1e5 x554 <= 1e5 x555 <= 1e5 x556 <= 1e5 x557 <= 1e5 x558 <= 1e5 x559 <= 1e5 x560 <= 1e5 x561 <= 1e5 x562 <= 1e5 x563 <= 1e5 x564 <= 1e5 x565 <= 1e5 x566 <= 1e5 x567 <= 1e5 x568 <= 1e5 x569 <= 1e5 x570 <= 1e5 x571 <= 1e5 x572 <= 1e5 x573 <= 1e5 x574 <= 1e5 x575 <= 1e5 x576 <= 1e5 x577 <= 1e5 x578 <= 1e5 x579 <= 1e5 x580 <= 1e5 x581 <= 1e5 x582 <= 1e5 x583 <= 1e5 x584 <= 1e5 x585 <= 1e5 x586 <= 1e5 x587 <= 1e5 x588 <= 1e5 x589 <= 1e5 x590 <= 1e5 x591 <= 1e5 x592 <= 1e5 x593 <= 1e5 x594 <= 1e5 x595 <= 1e5 x596 <= 1e5 x597 <= 1e5 x598 <= 1e5 x599 <= 1e5 x600 <= 1e5 x601 <= 1e5 x602 <= 1e5 x603 <= 1e5 x604 <= 1e5 x605 <= 1e5 x606 <= 1e5 x607 <= 1e5 x608 <= 1e5 x609 <= 1e5 x610 <= 1e5 x611 <= 1e5 x612 <= 1e5 x613 <= 1e5 x614 <= 1e5 x615 <= 1e5 x616 <= 1e5 x617 <= 1e5 x618 <= 1e5 x619 <= 1e5 x620 <= 1e5 x621 <= 1e5 x622 <= 1e5 x623 <= 1e5 x624 <= 1e5 x625 <= 1e5 x626 <= 1e5 x627 <= 1e5 x628 <= 1e5 x629 <= 1e5 x630 <= 1e5 x631 <= 1e5 x632 <= 1e5 x633 <= 1e5 x634 <= 1e5 x635 <= 1e5 x636 <= 1e5 x637 <= 1e5 x638 <= 1e5 x639 <= 1e5 x640 <= 1e5 x641 <= 1e5 x642 <= 1e5 x643 <= 1e5 x644 <= 1e5 x645 <= 1e5 x646 <= 1e5 x647 <= 1e5 x648 <= 1e5 x649 <= 1e5 x650 <= 1e5 x651 <= 1e5 x652 <= 1e5 x653 <= 1e5 x654 <= 1e5 x655 <= 1e5 x656 <= 1e5 x657 <= 1e5 x658 <= 1e5 x659 <= 1e5 x660 <= 1e5 x661 <= 1e5 x662 <= 1e5 x663 <= 1e5 x664 <= 1e5 x665 <= 1e5 x666 <= 1e5 x667 <= 1e5 x668 <= 1e5 x669 <= 1e5 x670 <= 1e5 x671 <= 1e5 x672 <= 1e5 x673 <= 1e5 x674 <= 1e5 x675 <= 1e5 x676 <= 1e5 x677 <= 1e5 x678 <= 1e5 x679 <= 1e5 x680 <= 1e5 x681 <= 1e5 x682 <= 1e5 x683 <= 1e5 x684 <= 1e5 x685 <= 1e5 x686 <= 1e5 x687 <= 1e5 x688 <= 1e5 x689 <= 1e5 x690 <= 1e5 x691 <= 1e5 x692 <= 1e5 x693 <= 1e5 x694 <= 1e5 x695 <= 1e5 x696 <= 1e5 x697 <= 1e5 x698 <= 1e5 x699 <= 1e5 x700 <= 1e5 x701 <= 1e5 x702 <= 1e5 x703 <= 1e5 x704 <= 1e5 x705 <= 1e5 x706 <= 1e5 x707 <= 1e5 x708 <= 1e5 x709 <= 1e5 x710 <= 1e5 x711 <= 1e5 x712 <= 1e5 x713 <= 1e5 x714 <= 1e5 x715 <= 1e5 x716 <= 1e5 x717 <= 1e5 x718 <= 1e5 x719 <= 1e5 x720 <= 1e5 x721 <= 1e5 x722 <= 1e5 x723 <= 1e5 x724 <= 1e5 x725 <= 1e5 x726 <= 1e5 x727 <= 1e5 x728 <= 1e5 x729 <= 1e5 x730 <= 1e5 x731 <= 1e5 x732 <= 1e5 x733 <= 1e5 x734 <= 1e5 x735 <= 1e5 x736 <= 1e5 x737 <= 1e5 x738 <= 1e5 x739 <= 1e5 x740 <= 1e5 x741 <= 1e5 x742 <= 1e5 x743 <= 1e5 x744 <= 1e5 x745 <= 1e5 x746 <= 1e5 x747 <= 1e5 x748 <= 1e5 x749 <= 1e5 x750 <= 1e5 x751 <= 1e5 x752 <= 1e5 x753 <= 1e5 x754 <= 1e5 x755 <= 1e5 x756 <= 1e5 x757 <= 1e5 x758 <= 1e5 x759 <= 1e5 x760 <= 1e5 x761 <= 1e5 End