ID: 501.0 
Parent: 500.0

Tree 
Exchanged to: 
507.0 
3<>x211 

PDER 
VAR\IND 
x20

x2

x21

x14

x2 
0

1

0

0

x14 
0

0

0

1

x20 
1

0

0

0

x21 
0

0

1

0


FOCUS 
x21^37*x20^54*x14^30*x2^6x14^30*x21^36*x20^54*x2^6

x21^4*x20^6*x14^3

x21^5*x20^7*x14^4

x20^3*x21^2*x14

x21^3*x20^4*x14^3

x14^2*x21^3*x20^4

x21*x20*x14

x21*x20

x20^3*x21^2

x20^2*x21

x20

DEP  empty 

MAP 
x1 
x21^4*x20^6*x14^3*x2

x2 
x2

x3 
x21^11*x20^16*x14^9*x2

x4 
x14^5*x21^6*x20^9*x2


IMAP 
x2 
x2

x14 
x4^2/x1^3*x2

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

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



STACK 
WBO (dim: 4) 
J 
x211
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x2  5 
x14  21 
x21  24 
x20  36 
C 
empty 
TBO (dim: 4) 
J 
x211
 1 
N  empty 
E 
x2 
x14 
x21 
x20 
EM 
x2 
x14 
C 
empty 
SBO (dim: 4) 
J 
x211
 1 
N  empty 
H  empty 
E 
x21 
x20 
C 
empty 
Exchanged to: 
507.0 
3<>x211 

ID: 501.0 
Parent: 500.0

Tree 