ID: 59.0 | Parent: 58.0 | Tree | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||
FOCUS | ||||||||||||||||||||||
x20^6*x19^10*x8^32-x19^10*x8^32*x20^5 | ||||||||||||||||||||||
x20^2*x19^3*x8^10 | ||||||||||||||||||||||
x20*x19*x8^4 | ||||||||||||||||||||||
x20*x19*x8^3 | ||||||||||||||||||||||
x19^2*x8^5*x20 | ||||||||||||||||||||||
x19^2*x8^4*x20 | ||||||||||||||||||||||
x19^2*x8^3*x20 | ||||||||||||||||||||||
x19*x8^3 | ||||||||||||||||||||||
x19*x8^2 | ||||||||||||||||||||||
x19*x8 | ||||||||||||||||||||||
x19 | ||||||||||||||||||||||
DEP | ||||||||||||||||||||||
x21*x20-1 | ||||||||||||||||||||||
MAP |
| |||||||||||||||||||||
IMAP |
| |||||||||||||||||||||
STACK | ||||||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||||||
J | ||||||||||||||||||||||
1 | 0 | |||||||||||||||||||||
c | 0 | |||||||||||||||||||||
N | empty | |||||||||||||||||||||
(E,a) | ||||||||||||||||||||||
E | a | |||||||||||||||||||||
x8 | 13 | |||||||||||||||||||||
x19 | 4 | |||||||||||||||||||||
x20-1 | 0 | |||||||||||||||||||||
C | empty |