ID: 436 Parent: 434 Tree
PDER
VAR\RSOP x(20)-1 x(15) x(19)
x(15) 0 1 0
x(19) 0 0 1
x(20) x(21) 0 0
x(21) -x(21)^3 0 0
DEP
x(20)*x(21)-1
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))
x(21)(x(2)^2*x(3))/(x(1)^2)
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)
TAGS
1,0,0
STACK
WBO (dim: 3)
W 
J
x(20)-11
c1
E,a
x(15)8
x(19)10
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: 436 Parent: 434 Tree