ID: 269.0 | Parent: 268.0 | Tree | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||
x14^14*x11^26*x13^8-x13^8*x11^26*x14^13 | ||||||||||||||||||||||||||
x14^4*x11^7*x13^2 | ||||||||||||||||||||||||||
x14^2*x11^3*x13 | ||||||||||||||||||||||||||
x14*x11^2*x13 | ||||||||||||||||||||||||||
x14*x11 | ||||||||||||||||||||||||||
x14*x11^2 | ||||||||||||||||||||||||||
x11 | ||||||||||||||||||||||||||
x13*x11 | ||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||
x15*x13-1 | ||||||||||||||||||||||||||
x16*x14-1 | ||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||
1 | 0 | |||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||
x11 | 12 | |||||||||||||||||||||||||
-1+x14 | 0 | |||||||||||||||||||||||||
C | empty |