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