ID:
25.0
Parent:
24.0
Tree
PDER
VAR\IND
x11
x2
x7
x11^2-x12
x2
0
1
0
0
x7
0
0
1
0
x11
1
0
0
0
x12
2*x11
0
0
-1
FOCUS
x11^2*x7^4*x2^3-x7^4*x2^3*x12
x11*x7^2
x11*x7
x11
DEP
empty
MAP
x1
x11*x7^2*x2
x2
x2
x3
x7*x2
x4
x12*x7^2*x2
IMAP
x2
x2
x7
x3/x2
x11
x1/x3^2*x2
x12
x4/x3^2*x2
STACK
WBO (dim: 4)
J
1
0
c
0
N
empty
(E,a)
E
a
x2
2
x7
2
x11^2-x12
0
C
empty