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