ID: 32 Parent: 31 Tree
PDER
VAR\RSOP x(13) x(15) x(16)
x(1) -30*x(1)^2*x(4)*x(13)^5*x(15)*x(1
6)^5+6*x(4)*x(13)^5*x(16)^5-2*x(4
)*x(13)*x(16)^2
-5*x(1)^2*x(4)*x(13)^6*x(16)^5 -25*x(1)^2*x(4)*x(13)^6*x(15)*x(1
6)^4+5*x(4)*x(13)^6*x(16)^4-2*x(4
)*x(13)^2*x(16)
x(4) 300*x(1)^2*x(4)^3*x(13)^11*x(15)^
2*x(16)^10-60*x(4)^3*x(13)^11*x(1
5)*x(16)^10+20*x(4)^3*x(13)^7*x(1
5)*x(16)^7-60*x(1)*x(4)^2*x(13)^5
*x(15)*x(16)^5
50*x(1)^2*x(4)^3*x(13)^12*x(15)*x
(16)^10-10*x(1)*x(4)^2*x(13)^6*x(
16)^5
250*x(1)^2*x(4)^3*x(13)^12*x(15)^
2*x(16)^9-50*x(4)^3*x(13)^12*x(15
)*x(16)^9+20*x(4)^3*x(13)^8*x(15)
*x(16)^6-50*x(1)*x(4)^2*x(13)^6*x
(15)*x(16)^4
x(13) 1 0 0
x(15) 0 1 0
x(16) 0 0 1
DEP
-5*x(1)^2*x(13)^6*x(15)*x(16)^5+x(13)^6*x(16)^5-x(13)^2*x(16)^2+x(1)
10*x(1)*x(4)*x(13)^6*x(15)*x(16)^5-x(4)-1
MAP
x(1)x(1)
x(2)x(13)^6*x(15)*x(16)^5
x(3)x(13)*x(16)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(13)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^5)
x(16)(x(3)^6)/(x(1)^2*x(2)+x(3)^2+x(1))
x(15)(x(2))/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(13)^2*x(16)^2-x(1)
-x(13)*x(16)
x(13)^5*x(16)^4
x(13)^4*x(16)^3
x(13)^3*x(16)^2
x(13)^3*x(15)*x(16)^2
x(13)^2*x(16)
x(13)^2*x(15)*x(16)
x(13)
x(13)*x(15)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-20*x(1)^2*x(13)^4*x(15)^2*x(16)^4-20*x(1)^3*x(13)^2*x(15)^2*x(16)^2+4*x(13)^4*x(15)*x(16)^4+15*x(1)
^4*x(15)^2+4*x(1)*x(13)^2*x(15)*x(16)^2-8*x(1)^2*x(15)-4*x(15)*x(16)+1
0
c0
E,a
x(16)0
x(13)0