ID: 335 Parent: 334 Tree
Covered by:
397 398
x(20) x(20)-1
PDER
VAR\RSOP x(20) x(5) x(19)
x(5) 0 1 0
x(19) 0 0 1
x(20) 1 0 0
DEP 
MAP
x(1)x(5)^13*x(19)^3*x(20)^2
x(2)x(5)^9*x(19)^2*x(20)
x(3)x(5)^8*x(19)^2*x(20)
IMAP
x(5)(x(2))/(x(3))
x(19)(x(3)^5)/(x(1)*x(2)^3)
x(20)(x(1)^2)/(x(2)^2*x(3))
FOCUS
x(5)^26*x(19)^6*x(20)^4-x(5)^26*x(19)^6*x(20)^3
x(5)^5*x(19)*x(20)
x(5)^4*x(19)*x(20)
x(5)^7*x(19)^2*x(20)
x(5)^3*x(19)*x(20)
x(5)^5*x(19)^2*x(20)
x(5)^4*x(19)^2*x(20)
x(5)^3*x(19)^2*x(20)
x(5)^3*x(19)
x(5)^2*x(19)
x(5)*x(19)
x(19)
STACK
WBO (dim: 3)
W 
J
x(20)-11
c1
E,a
x(20)1
x(5)10
x(19)2
TBO (dim: 3)
W 
J
x(20)-11
E
x(20)
x(5)
x(19)
EM 
SBO (dim: 3)
W 
J
x(20)-11
E
x(20)
x(5)
x(19)
Covered by:
397 398
x(20) x(20)-1
ID: 335 Parent: 334 Tree