ID: 346 Parent: 344 Tree
PDER
VAR\RSOP x(20)-1 x(19) x(15)
x(15) 0 0 1
x(19) 0 1 0
x(20) x(21) 0 0
x(21) -x(21)^3 0 0
DEP
x(20)*x(21)-1
MAP
x(1)x(15)^14*x(19)^19*x(20)^17
x(2)x(15)^11*x(19)^15*x(20)^13
x(3)x(15)^6*x(19)^8*x(20)^7
IMAP
x(15)(x(3)^8)/(x(1)*x(2)^3)
x(19)(x(2)^4)/(x(1)*x(3)^5)
x(20)(x(1)^2)/(x(2)^2*x(3))
x(21)(x(2)^2*x(3))/(x(1)^2)
FOCUS
x(15)^28*x(19)^38*x(20)^34-x(15)^28*x(19)^38*x(20)^33
x(15)^8*x(19)^11*x(20)^10
x(15)^3*x(19)^4*x(20)^4
x(15)*x(19)*x(20)
x(15)^2*x(19)^3*x(20)^3
x(15)^4*x(19)^6*x(20)^5
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)
TAGS
1,0,0
STACK
WBO (dim: 3)
W 
J
x(20)-11
c1
E,a
x(15)12
x(19)16
TBO (dim: 3)
W 
J
x(20)-11
E
x(15)
x(19)
EM 
SBO (dim: 3)
W 
J
x(20)-11
E
x(15)
x(19)
ID: 346 Parent: 344 Tree