ID: 298 Parent: 297 Tree
Covered by:
369 370
x(17) x(17)-1
PDER
VAR\RSOP x(13) x(16) x(17)
x(13) 1 0 0
x(16) 0 1 0
x(17) 0 0 1
DEP 
MAP
x(1)x(13)^8*x(16)^13*x(17)^12
x(2)x(13)^5*x(16)^8*x(17)^7
x(3)x(13)^6*x(16)^10*x(17)^9
IMAP
x(13)(x(1)^2*x(2)^3)/(x(3)^5)
x(16)(x(3)^4)/(x(1)^3)
x(17)(x(1)^2)/(x(2)^2*x(3))
FOCUS
x(13)^16*x(16)^26*x(17)^24-x(13)^16*x(16)^26*x(17)^23
x(13)^3*x(16)^5*x(17)^5
x(13)*x(16)^2*x(17)^2
x(13)^2*x(16)^3*x(17)^3
x(13)^2*x(16)^3*x(17)^2
x(16)*x(17)
x(13)^2*x(16)^2*x(17)
x(13)^2*x(16)
x(13)*x(16)
x(16)
STACK
WBO (dim: 3)
W 
J
x(17)-11
c1
E,a
x(17)9
x(13)6
x(16)10
TBO (dim: 3)
W 
J
x(17)-11
E
x(17)
x(13)
x(16)
EM 
SBO (dim: 3)
W 
J
x(17)-11
E
x(17)
x(13)
x(16)
Covered by:
369 370
x(17) x(17)-1
ID: 298 Parent: 297 Tree