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