ID: 279.0 
Parent: 261.0

Tree 

PDER 
VAR\IND 
x14

x16

x15

x14 
1

0

0

x15 
0

0

1

x16 
0

1

0


FOCUS 
x14^44*x16^26*x15^4x16^26*x14^44*x15^5

x15*x16^7*x14^12

x16^3*x14^5

x14^3*x16^2

x14^2*x16

x14^4*x15*x16^2

x16*x14^2*x15

x16*x14

x14*x15

x15

DEP  empty 

MAP 
x1 
x14^22*x16^13*x15^2

x2 
x16^6*x14^10*x15

x3 
x16^10*x14^17*x15^2


IMAP 
x14 
x1^2/x2^6*x3

x15 
x2/x1^2*x3^2

x16 
x2^10/x3^2/x1^3



STACK 
WBO (dim: 3) 
J 
1x15
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x15  2 
x16  12 
x14  20 
C 
empty 
TBO (dim: 3) 
J 
1x15
 1 
N  empty 
E 
x15 
x16 
x14 
EM 
x15 
C 
empty 

ID: 279.0 
Parent: 261.0

Tree 