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