ID: 773.0 
Parent: 766.0

Tree 
PDER 
VAR\IND 
x12

x15

x3

x16

x3 
0

0

1

0

x12 
1

0

0

0

x15 
0

1

0

0

x16 
0

0

0

1

x17 
x16^3*x15*x17^2

x17^2*x16^3*x12

0

3*x16^2*x12*x15*x17
^2


FOCUS 
x12^5*x16^9*x15^11*x3^6x16^12*x15^12*x12^6*x3^6

x12*x16*x15

x12^2*x16^4*x15^5

x15^3*x16^2*x12

x12

x15^3*x16^2

x15^2*x16

x15

x16^3*x15

x16^3*x12

3*x16^2*x12*x15

DEP 
x17*(x16^3*x12*x151)1

MAP 
x1 
x12*x16*x15*x3

x2 
x15^5*x16^4*x12^2*x3

x3 
x3

x4 
x16^2*x15^2*x12*x3


IMAP 
x3 
x3

x12 
x1^2/x3/x4

x15 
x3/x4^2*x2

x16 
1/x3/x1*x4^3/x2

x17 
x1*x2^2*x3^3/(x4^6x1*x2^2*x3^3)



STACK 
WBO (dim: 4) 
J 
x16^3*x12*x15+1
 0 
c 
0 
N  empty 
(E,a) 
E  a 
x3  5 
x12  3 
x16  5 
x15  6 
C 
empty 