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