ID: 64.0 
Parent: 62.0

Tree 

PDER 
VAR\IND 
x1

x12

x17

x20

x1 
1

0

0

0

x12 
0

1

0

0

x17 
0

0

1

0

x20 
0

0

0

1


FOCUS 
x1^6*x12^55*x20^11*x17^14x20^12*x12^54*x17^12*x1^6

x17^2*x12^6*x20

x12

x17*x12^2

x20*x12^2*x17

x20*x12^2

x20*x12

x20

DEP  empty 

MAP 
x1 
x1

x2 
x12^5*x20*x17*x1

x3 
x17^4*x12^15*x20^3*x1

x4 
x20^2*x12^9*x17^2*x1


IMAP 
x1 
x1

x12 
x2^2/x1/x4

x17 
x3/x2^3*x1^2

x20 
x4^5/x2^6/x3*x1^2



STACK 
WBO (dim: 4) 
J 
x17^2*x12x20
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x1  5 
x20  5 
x17  5 
x12  25 
C 
empty 
TBO (dim: 4) 
J 
x17^2*x12x20
 1 
N  empty 
E 
x1 
x20 
x17 
x12 
EM 
x1 
x20 
C 
empty 
SBO (dim: 4) 
J 
x17^2*x12x20
 1 
N  empty 
H  empty 
E 
x17 
x12 
C 
empty 
WBO (dim: 3) 
J 
1
 0 
c 
0 
N 
x20 
(E,a) 
E  a 
x17  2 
x12  1 
C 
empty 

ID: 64.0 
Parent: 62.0

Tree 