ID: 209.0 
Parent: 207.0

Tree 

PDER 
VAR\IND 
x1

x17

x7

x12

x1 
1

0

0

0

x7 
0

0

1

0

x12 
0

0

0

1

x17 
0

1

0

0


FOCUS 
x1^6*x17^2*x12^6*x7^11x12^6*x7^12*x1^6

x17*x12^3*x7^3

x17*x12^3*x7^2

x17*x12^2*x7^2

x17*x12^2*x7

x17*x12*x7

x17*x12

x17

DEP  empty 

MAP 
x1 
x1

x2 
x17*x12^3*x7^4*x1

x3 
x7*x1

x4 
x12*x7^2*x1


IMAP 
x1 
x1

x7 
x3/x1

x12 
x4/x3^2*x1

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



STACK 
WBO (dim: 4) 
J 
x17^2x7
 1 
c 
1 
N  empty 
(E,a) 
E  a 
x1  5 
x7  7 
x12  3 
C 
empty 
TBO (dim: 4) 
J 
x17^2x7
 1 
N  empty 
E 
x1 
x7 
x12 
EM 
x1 
x7 
x12 
C 
empty 
SBO (dim: 4) 
J 
x17^2x7
 1 
x7
 1 
N  empty 
H  empty 
E  empty 
C 
empty 
WBO (dim: 3) 
J 
x17^2
 2 
c 
2 
N 
x7 
(E,a)  empty 
C 
empty 
TBO (dim: 3) 
J 
x17^2
 2 
N 
x7 
E  empty 
EM  empty 
C 
empty 
SBO (dim: 3) 
J 
x17^2
 2 
N 
x7 
H  empty 
E  empty 
C 
empty 

ID: 209.0 
Parent: 207.0

Tree 