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