ID: 81.0 
Parent: 69.0

Tree 

PDER 
VAR\IND 
x1

x231

x17

x22

x1 
1

0

0

0

x17 
0

0

1

0

x22 
0

0

0

1

x23 
0

1

0

0


FOCUS 
x1^6*x23^55*x22^66*x17^36x22^66*x17^36*x23^54*x1^6

x17^4*x23^6*x22^7

x23*x22

x17*x23^2*x22^2

x22^3*x17^3*x23^2

x22^3*x17^2*x23^2

x22^2*x17^2*x23

x22*x17^2

x22*x17

x22

DEP  empty 

MAP 
x1 
x1

x2 
x23^5*x22^6*x17^3*x1

x3 
x17^10*x23^15*x22^18*x1

x4 
x22^11*x17^6*x23^9*x1


IMAP 
x1 
x1

x17 
x3/x2^3*x1^2

x22 
x4^5/x3^3/x1^2

x23 
x3^3/x4^6*x2^2*x1



STACK 
WBO (dim: 4) 
J 
x231
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x1  5 
x23  25 
x17  15 
x22  30 
C 
empty 
TBO (dim: 4) 
J 
x231
 1 
N  empty 
E 
x1 
x23 
x17 
x22 
EM 
x1 
C 
empty 
SBO (dim: 4) 
J 
x231
 1 
N  empty 
H  empty 
E 
x23 
x17 
x22 
C 
empty 

ID: 81.0 
Parent: 69.0

Tree 