ID: 215 Parent: 212 Tree
PDER
VAR\RSOP x(14)-1 x(16) x(15)
x(13) -x(13)^2 0 0
x(14) x(13)^2*x(14)^2 0 0
x(15) 0 0 1
x(16) 0 1 0
DEP
x(13)*x(14)-1
MAP
x(1)x(13)^7*x(14)^17*x(15)^4*x(16)^13-17*x(13)^7*x(14)^16*x(15)^4*x(16)^13+136*x(13)^7*x(14)^15*x(15)^4*
x(16)^13-680*x(13)^7*x(14)^14*x(15)^4*x(16)^13+2380*x(13)^7*x(14)^13*x(15)^4*x(16)^13-6188*x(13)^7*x
(14)^12*x(15)^4*x(16)^13+12376*x(13)^7*x(14)^11*x(15)^4*x(16)^13-19448*x(13)^7*x(14)^10*x(15)^4*x(16
)^13+24310*x(13)^7*x(14)^9*x(15)^4*x(16)^13-24310*x(13)^7*x(14)^8*x(15)^4*x(16)^13+19448*x(13)^7*x(1
4)^7*x(15)^4*x(16)^13-12376*x(13)^7*x(14)^6*x(15)^4*x(16)^13+6188*x(13)^7*x(14)^5*x(15)^4*x(16)^13-2
380*x(13)^7*x(14)^4*x(15)^4*x(16)^13+680*x(13)^7*x(14)^3*x(15)^4*x(16)^13-136*x(13)^7*x(14)^2*x(15)^
4*x(16)^13+17*x(13)^7*x(14)*x(15)^4*x(16)^13-x(13)^7*x(15)^4*x(16)^13
x(2)x(13)^5*x(14)^13*x(15)^3*x(16)^10-13*x(13)^5*x(14)^12*x(15)^3*x(16)^10+78*x(13)^5*x(14)^11*x(15)^3*x
(16)^10-286*x(13)^5*x(14)^10*x(15)^3*x(16)^10+715*x(13)^5*x(14)^9*x(15)^3*x(16)^10-1287*x(13)^5*x(14
)^8*x(15)^3*x(16)^10+1716*x(13)^5*x(14)^7*x(15)^3*x(16)^10-1716*x(13)^5*x(14)^6*x(15)^3*x(16)^10+128
7*x(13)^5*x(14)^5*x(15)^3*x(16)^10-715*x(13)^5*x(14)^4*x(15)^3*x(16)^10+286*x(13)^5*x(14)^3*x(15)^3*
x(16)^10-78*x(13)^5*x(14)^2*x(15)^3*x(16)^10+13*x(13)^5*x(14)*x(15)^3*x(16)^10-x(13)^5*x(15)^3*x(16)
^10
x(3)x(13)^3*x(14)^8*x(15)^2*x(16)^6-8*x(13)^3*x(14)^7*x(15)^2*x(16)^6+28*x(13)^3*x(14)^6*x(15)^2*x(16)^6
-56*x(13)^3*x(14)^5*x(15)^2*x(16)^6+70*x(13)^3*x(14)^4*x(15)^2*x(16)^6-56*x(13)^3*x(14)^3*x(15)^2*x(
16)^6+28*x(13)^3*x(14)^2*x(15)^2*x(16)^6-8*x(13)^3*x(14)*x(15)^2*x(16)^6+x(13)^3*x(15)^2*x(16)^6
IMAP
x(13)(x(1)^2)/(x(2)^2*x(3))
x(14)(x(2)^2*x(3))/(x(1)^2)
x(16)(x(1)*x(2)^2)/(x(2)^2*x(3)^2+x(1)^2*x(3))
x(15)(x(1)^2*x(3)^5)/(x(2)^5*x(3)+x(1)^2*x(2)^3)
FOCUS
x(13)^14*x(14)^34*x(15)^8*x(16)^26-34*x(13)^14*x(14)^33*x(15)^8*x(16)^26-x(13)^13*x(14)^34*x(15)^8*x
(16)^26+561*x(13)^14*x(14)^32*x(15)^8*x(16)^26+34*x(13)^13*x(14)^33*x(15)^8*x(16)^26-5984*x(13)^14*x
(14)^31*x(15)^8*x(16)^26-561*x(13)^13*x(14)^32*x(15)^8*x(16)^26+46376*x(13)^14*x(14)^30*x(15)^8*x(16
)^26+5984*x(13)^13*x(14)^31*x(15)^8*x(16)^26-278256*x(13)^14*x(14)^29*x(15)^8*x(16)^26-46376*x(13)^1
3*x(14)^30*x(15)^8*x(16)^26+1344904*x(13)^14*x(14)^28*x(15)^8*x(16)^26+278256*x(13)^13*x(14)^29*x(15
)^8*x(16)^26-5379616*x(13)^14*x(14)^27*x(15)^8*x(16)^26-1344904*x(13)^13*x(14)^28*x(15)^8*x(16)^26+1
8156204*x(13)^14*x(14)^26*x(15)^8*x(16)^26+5379616*x(13)^13*x(14)^27*x(15)^8*x(16)^26-52451256*x(13)
^14*x(14)^25*x(15)^8*x(16)^26-18156204*x(13)^13*x(14)^26*x(15)^8*x(16)^26+131128140*x(13)^14*x(14)^2
4*x(15)^8*x(16)^26+52451256*x(13)^13*x(14)^25*x(15)^8*x(16)^26-286097760*x(13)^14*x(14)^23*x(15)^8*x
(16)^26-131128140*x(13)^13*x(14)^24*x(15)^8*x(16)^26+548354040*x(13)^14*x(14)^22*x(15)^8*x(16)^26+28
6097760*x(13)^13*x(14)^23*x(15)^8*x(16)^26-927983760*x(13)^14*x(14)^21*x(15)^8*x(16)^26-548354040*x(
13)^13*x(14)^22*x(15)^8*x(16)^26+1391975640*x(13)^14*x(14)^20*x(15)^8*x(16)^26+927983760*x(13)^13*x(
14)^21*x(15)^8*x(16)^26-1855967520*x(13)^14*x(14)^19*x(15)^8*x(16)^26-1391975640*x(13)^13*x(14)^20*x
(15)^8*x(16)^26+2203961430*x(13)^14*x(14)^18*x(15)^8*x(16)^26+1855967520*x(13)^13*x(14)^19*x(15)^8*x
(16)^26-2333606220*x(13)^14*x(14)^17*x(15)^8*x(16)^26-2203961430*x(13)^13*x(14)^18*x(15)^8*x(16)^26+
2203961430*x(13)^14*x(14)^16*x(15)^8*x(16)^26+2333606220*x(13)^13*x(14)^17*x(15)^8*x(16)^26-18559675
20*x(13)^14*x(14)^15*x(15)^8*x(16)^26-2203961430*x(13)^13*x(14)^16*x(15)^8*x(16)^26+1391975640*x(13)
^14*x(14)^14*x(15)^8*x(16)^26+1855967520*x(13)^13*x(14)^15*x(15)^8*x(16)^26-927983760*x(13)^14*x(14)
^13*x(15)^8*x(16)^26-1391975640*x(13)^13*x(14)^14*x(15)^8*x(16)^26+548354040*x(13)^14*x(14)^12*x(15)
^8*x(16)^26+927983760*x(13)^13*x(14)^13*x(15)^8*x(16)^26-286097760*x(13)^14*x(14)^11*x(15)^8*x(16)^2
6-548354040*x(13)^13*x(14)^12*x(15)^8*x(16)^26+131128140*x(13)^14*x(14)^10*x(15)^8*x(16)^26+28609776
0*x(13)^13*x(14)^11*x(15)^8*x(16)^26-52451256*x(13)^14*x(14)^9*x(15)^8*x(16)^26-131128140*x(13)^13*x
(14)^10*x(15)^8*x(16)^26+18156204*x(13)^14*x(14)^8*x(15)^8*x(16)^26+52451256*x(13)^13*x(14)^9*x(15)^
8*x(16)^26-5379616*x(13)^14*x(14)^7*x(15)^8*x(16)^26-18156204*x(13)^13*x(14)^8*x(15)^8*x(16)^26+1344
904*x(13)^14*x(14)^6*x(15)^8*x(16)^26+5379616*x(13)^13*x(14)^7*x(15)^8*x(16)^26-278256*x(13)^14*x(14
)^5*x(15)^8*x(16)^26-1344904*x(13)^13*x(14)^6*x(15)^8*x(16)^26+46376*x(13)^14*x(14)^4*x(15)^8*x(16)^
26+278256*x(13)^13*x(14)^5*x(15)^8*x(16)^26-5984*x(13)^14*x(14)^3*x(15)^8*x(16)^26-46376*x(13)^13*x(
14)^4*x(15)^8*x(16)^26+561*x(13)^14*x(14)^2*x(15)^8*x(16)^26+5984*x(13)^13*x(14)^3*x(15)^8*x(16)^26-
34*x(13)^14*x(14)*x(15)^8*x(16)^26-561*x(13)^13*x(14)^2*x(15)^8*x(16)^26+x(13)^14*x(15)^8*x(16)^26+3
4*x(13)^13*x(14)*x(15)^8*x(16)^26-x(13)^13*x(15)^8*x(16)^26
x(13)^4*x(14)^9*x(15)^2*x(16)^7-9*x(13)^4*x(14)^8*x(15)^2*x(16)^7+36*x(13)^4*x(14)^7*x(15)^2*x(16)^7
-84*x(13)^4*x(14)^6*x(15)^2*x(16)^7+126*x(13)^4*x(14)^5*x(15)^2*x(16)^7-126*x(13)^4*x(14)^4*x(15)^2*
x(16)^7+84*x(13)^4*x(14)^3*x(15)^2*x(16)^7-36*x(13)^4*x(14)^2*x(15)^2*x(16)^7+9*x(13)^4*x(14)*x(15)^
2*x(16)^7-x(13)^4*x(15)^2*x(16)^7
x(13)^2*x(14)^4*x(15)*x(16)^3-4*x(13)^2*x(14)^3*x(15)*x(16)^3+6*x(13)^2*x(14)^2*x(15)*x(16)^3-4*x(13
)^2*x(14)*x(15)*x(16)^3+x(13)^2*x(15)*x(16)^3
x(13)*x(14)^3*x(15)*x(16)^2-3*x(13)*x(14)^2*x(15)*x(16)^2+3*x(13)*x(14)*x(15)*x(16)^2-x(13)*x(15)*x(
16)^2
x(13)*x(14)*x(16)-x(13)*x(16)
x(13)*x(14)^2*x(16)^2-2*x(13)*x(14)*x(16)^2+x(13)*x(16)^2
x(14)^2*x(15)*x(16)-2*x(14)*x(15)*x(16)+x(15)*x(16)
x(14)*x(16)-x(16)
x(14)*x(15)-x(15)
x(15)
x(16)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-x(13)0
c0
E,a
x(15)4
x(16)12
x(14)-116