ID: 192.0 | Parent: 191.0 | Tree | |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| ||||||||||||||||||||||||||
FOCUS | |||||||||||||||||||||||||||
x1^6*x17^24*x19^35*x18^54-x19^36*x18^54*x17^24*x1^6 | |||||||||||||||||||||||||||
x19^3*x18^5*x17^2 | |||||||||||||||||||||||||||
x18^3*x17^2*x19^2 | |||||||||||||||||||||||||||
x18^2*x17*x19 | |||||||||||||||||||||||||||
x17*x19*x18 | |||||||||||||||||||||||||||
x19*x18 | |||||||||||||||||||||||||||
x18*x17 | |||||||||||||||||||||||||||
x17 | |||||||||||||||||||||||||||
x18 | |||||||||||||||||||||||||||
DEP | empty | ||||||||||||||||||||||||||
MAP |
| ||||||||||||||||||||||||||
IMAP |
| ||||||||||||||||||||||||||
STACK | |||||||||||||||||||||||||||
WBO (dim: 4) | |||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||
-1 | 0 | ||||||||||||||||||||||||||
c | 0 | ||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||
(E,a) | |||||||||||||||||||||||||||
E | a | ||||||||||||||||||||||||||
x1 | 5 | ||||||||||||||||||||||||||
x19 | 19 | ||||||||||||||||||||||||||
x17 | 14 | ||||||||||||||||||||||||||
x18 | 29 | ||||||||||||||||||||||||||
x19-1 | 0 | ||||||||||||||||||||||||||
C | empty |