ID: 417 Parent: 416 Tree
Covered by:
441 442
x(19) x(19)-1
PDER
VAR\RSOP x(15) x(19) x(18)
x(15) 1 0 0
x(18) 0 0 1
x(19) 0 1 0
DEP 
MAP
x(1)x(15)^10*x(18)^17*x(19)^16
x(2)x(15)^7*x(18)^12*x(19)^11
x(3)x(15)^6*x(18)^10*x(19)^9
IMAP
x(15)(x(1)^2*x(3)^5)/(x(2)^7)
x(18)(x(2)^6)/(x(1)^3*x(3)^2)
x(19)(x(1)^2)/(x(2)^2*x(3))
FOCUS
x(15)^20*x(18)^34*x(19)^32-x(15)^20*x(18)^34*x(19)^31
x(15)^4*x(18)^7*x(19)^7
x(15)^3*x(18)^5*x(19)^5
x(15)^5*x(18)^8*x(19)^7
x(15)^2*x(18)^3*x(19)^3
x(15)^3*x(18)^4*x(19)^3
x(15)^2*x(18)^3*x(19)^2
x(18)*x(19)
x(15)^2*x(18)^2*x(19)
x(15)^2*x(18)
x(15)*x(18)
x(18)
STACK
WBO (dim: 3)
W 
J
x(19)-11
c1
E,a
x(19)13
x(15)8
x(18)14
TBO (dim: 3)
W 
J
x(19)-11
E
x(19)
x(15)
x(18)
EM 
SBO (dim: 3)
W 
J
x(19)-11
E
x(19)
x(15)
x(18)
Covered by:
441 442
x(19) x(19)-1
ID: 417 Parent: 416 Tree