ID: 421 Parent: 121 Tree
PDER
VAR\RSOP x(13) x(14) x(15)
x(13) 1 0 0
x(14) 0 1 0
x(15) 0 0 1
x(16) 0 x(16)^2 0
DEP
-x(14)*x(16)+x(16)-1
MAP
x(1)x(13)^22*x(14)^2*x(15)^13
x(2)x(13)^17*x(14)^2*x(15)^10
x(3)x(13)^10*x(14)*x(15)^6
IMAP
x(13)(x(1)^2*x(2))/(x(3)^6)
x(15)(x(3)^10)/(x(1)^3*x(2)^2)
x(14)(x(2)^2*x(3))/(x(1)^2)
x(16)(-x(1)^2)/(-x(2)^2*x(3)-x(1)^2)
FOCUS
-x(13)^44*x(14)^5*x(15)^26+x(13)^44*x(14)^4*x(15)^26
x(13)^12*x(14)*x(15)^7
x(13)^5*x(15)^3
x(13)^3*x(15)^2
x(13)^2*x(15)
x(13)^4*x(14)*x(15)^2
x(13)*x(15)
x(13)^2*x(14)*x(15)
x(14)
x(15)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-x(14)+10
c0
E,a
x(14)2
x(15)12
x(13)20