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