ID: 26 Parent: 16 Tree
PDER
VAR\RSOP x(9) x(11) x(12)
x(1) -20*x(1)^2*x(4)*x(9)^3*x(11)*x(12
)^3+4*x(4)*x(9)^3*x(12)^3-2*x(4)*
x(9)*x(12)^2
-5*x(1)^2*x(4)*x(9)^4*x(12)^3 -15*x(1)^2*x(4)*x(9)^4*x(11)*x(12
)^2+3*x(4)*x(9)^4*x(12)^2-2*x(4)*
x(9)^2*x(12)
x(4) 200*x(1)^2*x(4)^3*x(9)^7*x(11)^2*
x(12)^6-40*x(4)^3*x(9)^7*x(11)*x(
12)^6+20*x(4)^3*x(9)^5*x(11)*x(12
)^5-40*x(1)*x(4)^2*x(9)^3*x(11)*x
(12)^3
50*x(1)^2*x(4)^3*x(9)^8*x(11)*x(1
2)^6-10*x(1)*x(4)^2*x(9)^4*x(12)^
3
150*x(1)^2*x(4)^3*x(9)^8*x(11)^2*
x(12)^5-30*x(4)^3*x(9)^8*x(11)*x(
12)^5+20*x(4)^3*x(9)^6*x(11)*x(12
)^4-30*x(1)*x(4)^2*x(9)^4*x(11)*x
(12)^2
x(9) 1 0 0
x(11) 0 1 0
x(12) 0 0 1
DEP
-5*x(1)^2*x(9)^4*x(11)*x(12)^3+x(9)^4*x(12)^3-x(9)^2*x(12)^2+x(1)
10*x(1)*x(4)*x(9)^4*x(11)*x(12)^3-x(4)-1
MAP
x(1)x(1)
x(2)x(9)^4*x(11)*x(12)^3
x(3)x(9)*x(12)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(9)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^3)
x(12)(x(3)^4)/(x(1)^2*x(2)+x(3)^2+x(1))
x(11)(x(2))/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(9)^2*x(12)^2-x(1)
-x(9)*x(12)
x(9)^3*x(12)^2
x(9)^2*x(12)
x(9)
x(9)*x(11)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-20*x(1)^3*x(9)^2*x(11)^2*x(12)^2+15*x(1)^4*x(11)^2+4*x(1)*x(9)^2*x(11)*x(12)^2-8*x(1)^2*x(11)-4*x(1
)*x(11)*x(12)+1
0
c0
E,a
x(12)0
x(9)0