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