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