ID: 390 Parent: 328 Tree
PDER
VAR\RSOP x(14) x(12) x(18)
x(12) 0 1 0
x(14) 1 0 0
x(18) 0 0 1
x(19) 0 0 x(19)^2
DEP
-x(18)*x(19)+x(19)-1
MAP
x(1)x(12)^17*x(14)^11*x(18)^2
x(2)x(12)^14*x(14)^9*x(18)^2
x(3)x(12)^6*x(14)^4*x(18)
IMAP
x(12)(x(2)^3)/(x(1)*x(3)^4)
x(14)(x(1)^2*x(3)^6)/(x(2)^5)
x(18)(x(2)^2*x(3))/(x(1)^2)
x(19)(-x(1)^2)/(-x(2)^2*x(3)-x(1)^2)
FOCUS
-x(12)^34*x(14)^22*x(18)^5+x(12)^34*x(14)^22*x(18)^4
x(12)^11*x(14)^7*x(18)
x(12)^5*x(14)^3
x(12)^3*x(14)^2
x(12)^4*x(14)^3*x(18)
x(12)^3*x(14)^2*x(18)
x(12)
x(12)^2*x(14)^2*x(18)
x(12)*x(14)^2*x(18)
x(12)*x(14)*x(18)
x(12)*x(18)
x(18)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-x(18)+10
c0
E,a
x(18)2
x(14)9
x(12)14