ID: 49 Parent: 48 Tree
PDER
VAR\RSOP x(11) x(12) x(6)
x(1) 2*x(4)*x(6)^5*x(11)*x(12)-2*x(4)*
x(6)^4*x(11)*x(12)^2-5*x(1)^2*x(4
)*x(6)*x(12)
x(4)*x(6)^5*x(11)^2-2*x(4)*x(6)^4
*x(11)^2*x(12)-5*x(1)^2*x(4)*x(6)
*x(11)
5*x(4)*x(6)^4*x(11)^2*x(12)-4*x(4
)*x(6)^3*x(11)^2*x(12)^2-5*x(1)^2
*x(4)*x(11)*x(12)
x(4) -20*x(4)^3*x(6)^6*x(11)^2*x(12)^2
+20*x(4)^3*x(6)^5*x(11)^2*x(12)^3
+50*x(1)^2*x(4)^3*x(6)^2*x(11)*x(
12)^2-10*x(1)*x(4)^2*x(6)*x(12)
-10*x(4)^3*x(6)^6*x(11)^3*x(12)+2
0*x(4)^3*x(6)^5*x(11)^3*x(12)^2+5
0*x(1)^2*x(4)^3*x(6)^2*x(11)^2*x(
12)-10*x(1)*x(4)^2*x(6)*x(11)
-50*x(4)^3*x(6)^5*x(11)^3*x(12)^2
+40*x(4)^3*x(6)^4*x(11)^3*x(12)^3
+50*x(1)^2*x(4)^3*x(6)*x(11)^2*x(
12)^2-10*x(1)*x(4)^2*x(11)*x(12)
x(6) 0 0 1
x(11) 1 0 0
x(12) 0 1 0
DEP
x(6)^5*x(11)^2*x(12)-x(6)^4*x(11)^2*x(12)^2-5*x(1)^2*x(6)*x(11)*x(12)+x(1)
10*x(1)*x(4)*x(6)*x(11)*x(12)-x(4)-1
MAP
x(1)x(1)
x(2)x(6)*x(11)*x(12)
x(3)x(6)^2*x(11)*x(12)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(6)(x(3))/(x(2))
x(11)(x(1)^2*x(2)^4+x(2)^3*x(3)^2+x(1)*x(2)^3)/(x(3)^4)
x(12)(x(3)^3)/(x(1)^2*x(2)^2+x(2)*x(3)^2+x(1)*x(2))
FOCUS
3*x(6)^4*x(11)^2*x(12)^2-x(1)
-x(6)^2*x(11)*x(12)
x(6)^4*x(11)
x(6)
x(6)^3*x(11)
x(6)^2*x(11)
x(6)*x(11)
x(11)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-1171875*x(1)^10*x(6)^4*x(11)^7*x(12)^8+1171875*x(1)^10*x(6)^3*x(11)^7*x(12)^9+5859375*x(1)^12*x(11)
^6*x(12)^8-234375*x(1)^9*x(6)^3*x(11)^6*x(12)^7+234375*x(1)^9*x(6)^2*x(11)^6*x(12)^8-46875*x(1)^8*x(
6)^2*x(11)^5*x(12)^6+46875*x(1)^8*x(6)*x(11)^5*x(12)^7-5000*x(1)^5*x(6)^4*x(11)^5*x(12)^6+5000*x(1)^
5*x(6)^3*x(11)^5*x(12)^7-9375*x(1)^7*x(6)*x(11)^4*x(12)^5+34375*x(1)^7*x(11)^4*x(12)^6+2125*x(1)^4*x
(6)^4*x(11)^4*x(12)^4-2750*x(1)^4*x(6)^3*x(11)^4*x(12)^5+625*x(1)^4*x(6)^2*x(11)^4*x(12)^6-12500*x(1
)^6*x(11)^3*x(12)^4+350*x(1)^3*x(6)^3*x(11)^3*x(12)^3-400*x(1)^3*x(6)^2*x(11)^3*x(12)^4+50*x(1)^3*x(
6)*x(11)^3*x(12)^5+4*x(6)^4*x(11)^3*x(12)^4-4*x(6)^3*x(11)^3*x(12)^5+55*x(1)^2*x(6)^2*x(11)^2*x(12)^
2-50*x(1)^2*x(6)*x(11)^2*x(12)^3-25*x(1)^2*x(11)^2*x(12)^4+8*x(1)*x(6)*x(11)*x(12)-4*x(1)*x(11)*x(12
)^2+1
0
c0
E,a
x(12)0
x(6)0
x(11)0