ID: 41 Parent: 40 Tree
PDER
VAR\RSOP x(11) x(12) x(8)
x(1) 4*x(4)*x(8)^3*x(11)^3*x(12)^3-10*
x(1)^2*x(4)*x(8)*x(11)*x(12)^2-2*
x(4)*x(8)^2*x(11)*x(12)^2
3*x(4)*x(8)^3*x(11)^4*x(12)^2-10*
x(1)^2*x(4)*x(8)*x(11)^2*x(12)-2*
x(4)*x(8)^2*x(11)^2*x(12)
3*x(4)*x(8)^2*x(11)^4*x(12)^3-5*x
(1)^2*x(4)*x(11)^2*x(12)^2-2*x(4)
*x(8)*x(11)^2*x(12)^2
x(4) -40*x(4)^3*x(8)^4*x(11)^5*x(12)^5
+100*x(1)^2*x(4)^3*x(8)^2*x(11)^3
*x(12)^4+20*x(4)^3*x(8)^3*x(11)^3
*x(12)^4-20*x(1)*x(4)^2*x(8)*x(11
)*x(12)^2
-30*x(4)^3*x(8)^4*x(11)^6*x(12)^4
+100*x(1)^2*x(4)^3*x(8)^2*x(11)^4
*x(12)^3+20*x(4)^3*x(8)^3*x(11)^4
*x(12)^3-20*x(1)*x(4)^2*x(8)*x(11
)^2*x(12)
-30*x(4)^3*x(8)^3*x(11)^6*x(12)^5
+50*x(1)^2*x(4)^3*x(8)*x(11)^4*x(
12)^4+20*x(4)^3*x(8)^2*x(11)^4*x(
12)^4-10*x(1)*x(4)^2*x(11)^2*x(12
)^2
x(8) 0 0 1
x(11) 1 0 0
x(12) 0 1 0
DEP
x(8)^3*x(11)^4*x(12)^3-5*x(1)^2*x(8)*x(11)^2*x(12)^2-x(8)^2*x(11)^2*x(12)^2+x(1)
10*x(1)*x(4)*x(8)*x(11)^2*x(12)^2-x(4)-1
MAP
x(1)x(1)
x(2)x(8)*x(11)^2*x(12)^2
x(3)x(8)*x(11)*x(12)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(3)^2)/(x(2))
x(11)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^3)
x(12)(x(2)*x(3)^2)/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(8)^2*x(11)^2*x(12)^2-x(1)
-x(8)*x(11)*x(12)
x(8)^2*x(11)^3*x(12)^2
x(8)^2*x(11)^2*x(12)
x(8)
x(8)*x(11)^2*x(12)
x(8)*x(11)
x(11)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-1875*x(1)^6*x(8)^2*x(11)^6*x(12)^7+9375*x(1)^8*x(11)^4*x(12)^6+1875*x(1)^6*x(8)*x(11)^4*x(12)^6-375
*x(1)^5*x(8)*x(11)^4*x(12)^5-50*x(1)^3*x(8)^2*x(11)^4*x(12)^5+55*x(1)^2*x(8)^2*x(11)^4*x(12)^4+625*x
(1)^5*x(11)^2*x(12)^4+50*x(1)^3*x(8)*x(11)^2*x(12)^4-350*x(1)^4*x(11)^2*x(12)^3-50*x(1)^2*x(8)*x(11)
^2*x(12)^3+4*x(8)^2*x(11)^2*x(12)^3+8*x(1)*x(8)*x(11)^2*x(12)^2-25*x(1)^2*x(12)^2-4*x(8)*x(12)^2-4*x
(1)*x(12)+1
0
c0
E,a
x(12)0
x(8)0
x(11)0