ID: 503.0 
Parent: 501.0

Tree 

PDER 
VAR\IND 
x14

x12

x16

x12 
0

1

0

x14 
1

0

0

x16 
0

0

1


FOCUS 
x14^14*x12^24*x16^2x12^23*x14^13*x16^3

x14^3*x12^5

x12^2*x14

x12^3*x14^2

x16*x14^3*x12^5

x16*x14^2*x12^3

x12^2*x16*x14

x12

x16*x14*x12

x16*x14

x16

DEP  empty 

MAP 
x1 
x14^7*x12^12*x16

x2 
x12^9*x14^5*x16

x3 
x14^4*x12^7*x16


IMAP 
x12 
x2^3/x3^2/x1

x14 
x1^2/x2^5*x3^3

x16 
x3^3/x1/x2



STACK 
WBO (dim: 3) 
J 
x14*x12x16
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x16  1 
x12  9 
x14  5 
C 
empty 
TBO (dim: 3) 
J 
x14*x12x16
 1 
N  empty 
E 
x16 
x12 
x14 
EM 
x16 
C 
empty 
SBO (dim: 3) 
J 
x14*x12x16
 1 
N  empty 
H  empty 
E 
x12 
x14 
C 
empty 
WBO (dim: 2) 
J 
1
 0 
c 
0 
N 
x16 
(E,a) 
E  a 
x12  1 
x14  1 
C 
empty 

ID: 503.0 
Parent: 501.0

Tree 