ID: 462.0 
Parent: 460.0

Tree 
Covered by: 
463.0 
x16^3*x61 

PDER 
VAR\IND 
x16^3*x61

x2

x16

x12

x2 
0

1

0

0

x6 
x17

0

3*x17*x16^2*x6

0

x12 
0

0

0

1

x16 
0

0

1

0

x17 
0

0

3*x16^2*x17^2

0


FOCUS 
x6^13*x2^6*x16^3*x12^6x12^6*x6^12*x2^6

x6

x16*x6^2*x12^2

x16*x6^2*x12

x16*x6*x12

x16*x6

DEP 
x17*x16^31

MAP 
x1 
x6*x2

x2 
x2

x3 
x16*x6^4*x12^2*x2

x4 
x12*x6^2*x2


IMAP 
x2 
x2

x6 
x1/x2

x12 
x4/x1^2*x2

x16 
x3/x4^2*x2

x17 
1/x3^3*x4^6/x2^3



STACK 
WBO (dim: 4) 
J 
x16^3*x61
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x2  5 
x12  4 
x6  8 
C 
empty 
TBO (dim: 4) 
J 
x16^3*x61
 1 
N  empty 
E 
x2 
x12 
x6 
EM 
x2 
x12 
x6 
C 
empty 
SBO (dim: 4) 
J 
x16^3*x61
 1 
N  empty 
H  empty 
E  empty 
C 
empty 
Covered by: 
463.0 
x16^3*x61 

ID: 462.0 
Parent: 460.0

Tree 