ID: 442 Parent: 417 Tree
PDER
VAR\RSOP x(15) x(19) x(18)
x(15) 1 0 0
x(18) 0 0 1
x(19) 0 1 0
x(20) 0 -x(20)^2 0
DEP
x(19)*x(20)-x(20)-1
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))
x(20)(x(2)^2*x(3))/(x(2)^2*x(3)+x(1)^2)
FOCUS
x(19)
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)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
x(19)-10
c0
E,a
x(19)13
x(15)8
x(18)14