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