| ID: 109.0 | Parent: 108.0 | Tree | ||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| PDER |
| |||||||||||||||||||||||||||||||
| FOCUS | ||||||||||||||||||||||||||||||||
| x10^2*x13^3*x11^6*x4^3-x11^6*x10^2*x13^2*x4^3 | ||||||||||||||||||||||||||||||||
| x10*x13*x11^2 | ||||||||||||||||||||||||||||||||
| x13*x11^2 | ||||||||||||||||||||||||||||||||
| x11^3*x10*x13 | ||||||||||||||||||||||||||||||||
| x11*x10 | ||||||||||||||||||||||||||||||||
| x10 | ||||||||||||||||||||||||||||||||
| x11 | ||||||||||||||||||||||||||||||||
| x13*x11 | ||||||||||||||||||||||||||||||||
| x13 | ||||||||||||||||||||||||||||||||
| x13 | ||||||||||||||||||||||||||||||||
| x11 | ||||||||||||||||||||||||||||||||
| x10 | ||||||||||||||||||||||||||||||||
| DEP | ||||||||||||||||||||||||||||||||
| x14*(x13-1)-1 | ||||||||||||||||||||||||||||||||
| MAP |
| |||||||||||||||||||||||||||||||
| IMAP |
| |||||||||||||||||||||||||||||||
| STACK | ||||||||||||||||||||||||||||||||
| WBO (dim: 4) | ||||||||||||||||||||||||||||||||
| J | ||||||||||||||||||||||||||||||||
| x13-1 | 0 | |||||||||||||||||||||||||||||||
| c | 0 | |||||||||||||||||||||||||||||||
| N | empty | |||||||||||||||||||||||||||||||
| (E,a) | ||||||||||||||||||||||||||||||||
| E | a | |||||||||||||||||||||||||||||||
| x4 | 2 | |||||||||||||||||||||||||||||||
| x13 | 1 | |||||||||||||||||||||||||||||||
| x10 | 1 | |||||||||||||||||||||||||||||||
| x11 | 2 | |||||||||||||||||||||||||||||||
| C | empty | |||||||||||||||||||||||||||||||