ID: 43 Parent: 24 Tree
PDER
VAR\RSOP x(7) x(8) x(9)
x(1) -4*x(4)*x(7)^3*x(8)^2*x(9)^4+3*x(
4)*x(7)^2*x(8)*x(9)^2-5*x(1)^2*x(
4)*x(8)*x(9)
-2*x(4)*x(7)^4*x(8)*x(9)^4+x(4)*x
(7)^3*x(9)^2-5*x(1)^2*x(4)*x(7)*x
(9)
-4*x(4)*x(7)^4*x(8)^2*x(9)^3+2*x(
4)*x(7)^3*x(8)*x(9)-5*x(1)^2*x(4)
*x(7)*x(8)
x(4) 40*x(4)^3*x(7)^4*x(8)^3*x(9)^5-30
*x(4)^3*x(7)^3*x(8)^2*x(9)^3+50*x
(1)^2*x(4)^3*x(7)*x(8)^2*x(9)^2-1
0*x(1)*x(4)^2*x(8)*x(9)
20*x(4)^3*x(7)^5*x(8)^2*x(9)^5-10
*x(4)^3*x(7)^4*x(8)*x(9)^3+50*x(1
)^2*x(4)^3*x(7)^2*x(8)*x(9)^2-10*
x(1)*x(4)^2*x(7)*x(9)
40*x(4)^3*x(7)^5*x(8)^3*x(9)^4-20
*x(4)^3*x(7)^4*x(8)^2*x(9)^2+50*x
(1)^2*x(4)^3*x(7)^2*x(8)^2*x(9)-1
0*x(1)*x(4)^2*x(7)*x(8)
x(7) 1 0 0
x(8) 0 1 0
x(9) 0 0 1
DEP
-x(7)^4*x(8)^2*x(9)^4+x(7)^3*x(8)*x(9)^2-5*x(1)^2*x(7)*x(8)*x(9)+x(1)
10*x(1)*x(4)*x(7)*x(8)*x(9)-x(4)-1
MAP
x(1)x(1)
x(2)x(7)*x(8)*x(9)
x(3)x(7)^2*x(8)*x(9)^2
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2)^2)/(x(3))
x(7)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3))
x(9)(x(3)^2)/(x(1)^2*x(2)^2+x(2)*x(3)^2+x(1)*x(2))
FOCUS
3*x(7)^4*x(8)^2*x(9)^4-x(1)
-x(7)^2*x(8)*x(9)^2
x(7)^2*x(9)
x(7)*x(9)
x(7)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
1875*x(1)^6*x(7)^3*x(8)^5*x(9)^5-1875*x(1)^6*x(7)^2*x(8)^4*x(9)^3+375*x(1)^5*x(7)^2*x(8)^4*x(9)^4+93
75*x(1)^8*x(8)^4*x(9)^2-55*x(1)^2*x(7)^3*x(8)^3*x(9)^4-4*x(1)*x(7)^3*x(8)^3*x(9)^5-375*x(1)^5*x(7)*x
(8)^3*x(9)^2+75*x(1)^4*x(7)*x(8)^3*x(9)^3+55*x(1)^2*x(7)^2*x(8)^2*x(9)^2-4*x(1)*x(7)^2*x(8)^2*x(9)^3
-350*x(1)^4*x(8)^2*x(9)-5*x(1)^3*x(8)^2*x(9)^2+8*x(1)*x(7)*x(8)*x(9)+1
0
c0
E,a
x(8)0
x(9)0
x(7)0