ID: 45 Parent: 44 Tree
PDER
VAR\RSOP x(9) x(8) x(10)
x(1) -4*x(4)*x(8)^2*x(9)^3*x(10)^4+4*x
(4)*x(8)*x(9)^3*x(10)^3-5*x(1)^2*
x(4)*x(8)*x(10)		 -2*x(4)*x(8)*x(9)^4*x(10)^4+x(4)*
x(9)^4*x(10)^3-5*x(1)^2*x(4)*x(9)
*x(10)		 -4*x(4)*x(8)^2*x(9)^4*x(10)^3+3*x
(4)*x(8)*x(9)^4*x(10)^2-5*x(1)^2*
x(4)*x(8)*x(9)
x(4) 40*x(4)^3*x(8)^3*x(9)^4*x(10)^5-4
0*x(4)^3*x(8)^2*x(9)^4*x(10)^4+50
*x(1)^2*x(4)^3*x(8)^2*x(9)*x(10)^
2-10*x(1)*x(4)^2*x(8)*x(10)		 20*x(4)^3*x(8)^2*x(9)^5*x(10)^5-1
0*x(4)^3*x(8)*x(9)^5*x(10)^4+50*x
(1)^2*x(4)^3*x(8)*x(9)^2*x(10)^2-
10*x(1)*x(4)^2*x(9)*x(10)		 40*x(4)^3*x(8)^3*x(9)^5*x(10)^4-3
0*x(4)^3*x(8)^2*x(9)^5*x(10)^3+50
*x(1)^2*x(4)^3*x(8)^2*x(9)^2*x(10
)-10*x(1)*x(4)^2*x(8)*x(9)
x(8) 0 1 0
x(9) 1 0 0
x(10) 0 0 1
DEP
-x(8)^2*x(9)^4*x(10)^4+x(8)*x(9)^4*x(10)^3-5*x(1)^2*x(8)*x(9)*x(10)+x(1)
10*x(1)*x(4)*x(8)*x(9)*x(10)-x(4)-1
MAP
x(1)x(1)
x(2)x(8)*x(9)*x(10)
x(3)x(8)*x(9)^2*x(10)^2
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2)^2)/(x(3))
x(9)(x(1)^2*x(2)^2+x(2)*x(3)^2+x(1)*x(2))/(x(3)^2)
x(10)(x(3)^3)/(x(1)^2*x(2)^3+x(2)^2*x(3)^2+x(1)*x(2)^2)
FOCUS
3*x(8)^2*x(9)^4*x(10)^4-x(1)
-x(8)*x(9)^2*x(10)^2
x(9)^3*x(10)^2
x(9)*x(10)
x(9)^2*x(10)
x(9)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
46875*x(1)^8*x(8)^7*x(9)^3*x(10)^5-46875*x(1)^8*x(8)^6*x(9)^3*x(10)^4+9375*x(1)^7*x(8)^6*x(9)^2*x(10
)^4+234375*x(1)^10*x(8)^6*x(10)^2-9375*x(1)^7*x(8)^5*x(9)^2*x(10)^3+50*x(1)^3*x(8)^5*x(9)^3*x(10)^5+
1875*x(1)^6*x(8)^5*x(9)*x(10)^3-400*x(1)^3*x(8)^4*x(9)^3*x(10)^4-1875*x(1)^6*x(8)^4*x(9)*x(10)^2+350
*x(1)^3*x(8)^3*x(9)^3*x(10)^3-5*x(1)^2*x(8)^4*x(9)^2*x(10)^4+625*x(1)^5*x(8)^4*x(10)^2-50*x(1)^2*x(8
)^3*x(9)^2*x(10)^3-2125*x(1)^5*x(8)^3*x(10)+55*x(1)^2*x(8)^2*x(9)^2*x(10)^2-4*x(1)*x(8)^3*x(9)*x(10)
^3-4*x(1)*x(8)^2*x(9)*x(10)^2+8*x(1)*x(8)*x(9)*x(10)+1		0
c0
E,a
x(8)0
x(10)0
x(9)0