ID: 520.0 
Parent: 517.0

Tree 
PDER 
VAR\IND 
x12

x2

x17

x20

x2 
0

1

0

0

x12 
1

0

0

0

x17 
0

0

1

0

x20 
0

0

0

1

x21 
0

0

x20^2*x21^2

2*x20*x17*x21^2


FOCUS 
x12^30*x17^23*x20^10*x2^6x17^24*x20^12*x12^30*x2^6

x12^3*x17^2*x20

x17^3*x12^4*x20

x12

x17^3*x12^3*x20

x17*x12^2

x17*x12

x17

x20*x17

x20^2

2*x20*x17

DEP 
x21*(x17*x20^21)1

MAP 
x1 
x12^3*x17^2*x20*x2

x2 
x2

x3 
x17^7*x12^9*x20^3*x2

x4 
x17^4*x20^2*x12^5*x2


IMAP 
x2 
x2

x12 
x1^2/x2/x4

x17 
x3/x1^3*x2^2

x20 
x1/x2^2/x3^2*x4^3

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



STACK 
WBO (dim: 4) 
J 
x17*x20^2+1
 0 
c 
0 
N  empty 
(E,a) 
E  a 
x2  5 
x20  7 
x12  21 
x17  15 
C 
empty 