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