ID: 56 Parent: 54 Tree
PDER
VAR\RSOP x(15) x(16) x(6)
x(1) x(4)*x(6)^10*x(16)^3 3*x(4)*x(6)^10*x(15)*x(16)^2-2*x(
4)*x(6)^6*x(16)-5*x(1)^2*x(4)*x(6
)^2
10*x(4)*x(6)^9*x(15)*x(16)^3-6*x(
4)*x(6)^5*x(16)^2-10*x(1)^2*x(4)*
x(6)*x(16)
x(4) -10*x(4)^3*x(6)^12*x(16)^4 -30*x(4)^3*x(6)^12*x(15)*x(16)^3+
20*x(4)^3*x(6)^8*x(16)^2+50*x(1)^
2*x(4)^3*x(6)^4*x(16)-10*x(1)*x(4
)^2*x(6)^2
-100*x(4)^3*x(6)^11*x(15)*x(16)^4
+60*x(4)^3*x(6)^7*x(16)^3+100*x(1
)^2*x(4)^3*x(6)^3*x(16)^2-20*x(1)
*x(4)^2*x(6)*x(16)
x(6) 0 0 1
x(15) 1 0 0
x(16) 0 1 0
DEP
x(6)^10*x(15)*x(16)^3-x(6)^6*x(16)^2-5*x(1)^2*x(6)^2*x(16)+x(1)
10*x(1)*x(4)*x(6)^2*x(16)-x(4)-1
MAP
x(1)x(1)
x(2)x(6)^2*x(16)
x(3)x(6)^3*x(16)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(6)(x(3))/(x(2))
x(16)(x(2)^3)/(x(3)^2)
x(15)(x(1)^2*x(2)^2+x(2)*x(3)^2+x(1)*x(2))/(x(3)^4)
FOCUS
3*x(6)^6*x(16)^2-x(1)
-x(6)^3*x(16)
x(6)^8*x(15)*x(16)^2
x(6)
x(6)^7*x(15)*x(16)^2
x(6)^6*x(15)*x(16)^2
x(6)^5*x(15)*x(16)^2
x(6)^4*x(15)*x(16)^2
x(6)^3*x(15)*x(16)
x(6)^2*x(15)
x(6)*x(15)
x(15)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-29296875*x(1)^12*x(6)^12*x(15)*x(16)^8-5859375*x(1)^11*x(6)^10*x(15)*x(16)^7+29296875*x(1)^12*x(6)^
8*x(16)^7-1171875*x(1)^10*x(6)^8*x(15)*x(16)^6+146484375*x(1)^14*x(6)^4*x(16)^6-218750*x(1)^7*x(6)^1
0*x(15)*x(16)^6+5859375*x(1)^11*x(6)^6*x(16)^6+12500*x(1)^5*x(6)^10*x(15)^2*x(16)^5-234375*x(1)^9*x(
6)^6*x(15)*x(16)^5-34375*x(1)^6*x(6)^8*x(15)*x(16)^5+1171875*x(1)^10*x(6)^4*x(16)^5+2125*x(1)^4*x(6)
^8*x(15)^2*x(16)^4+218750*x(1)^7*x(6)^6*x(16)^5-46875*x(1)^8*x(6)^4*x(15)*x(16)^4-17500*x(1)^5*x(6)^
6*x(15)*x(16)^4+1328125*x(1)^9*x(6)^2*x(16)^4+75*x(1)^2*x(6)^8*x(15)*x(16)^4+350*x(1)^3*x(6)^6*x(15)
^2*x(16)^3+34375*x(1)^6*x(6)^4*x(16)^4-71875*x(1)^7*x(6)^2*x(15)*x(16)^3+4*x(6)^8*x(15)^2*x(16)^3-27
50*x(1)^4*x(6)^4*x(15)*x(16)^3+25*x(1)*x(6)^6*x(15)*x(16)^3+55*x(1)^2*x(6)^4*x(15)^2*x(16)^2+5000*x(
1)^5*x(6)^2*x(16)^3-75*x(1)^2*x(6)^4*x(16)^3-400*x(1)^3*x(6)^2*x(15)*x(16)^2+8*x(1)*x(6)^2*x(15)^2*x
(16)+250*x(1)^4*x(16)^2-25*x(1)*x(6)^2*x(16)^2-70*x(1)^2*x(15)*x(16)+x(15)^2-4*x(16)
0
c0
E,a
x(16)0
x(6)0