ID: 215 | Parent: 212 | Tree | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||
DEP | ||||||||||||||||||||||
x(13)*x(14)-1 | ||||||||||||||||||||||
MAP |
| |||||||||||||||||||||
IMAP |
| |||||||||||||||||||||
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 | |||||||||||||||||||||
c | 0 | |||||||||||||||||||||
E,a | ||||||||||||||||||||||
x(15) | 4 | |||||||||||||||||||||
x(16) | 12 | |||||||||||||||||||||
x(14)-1 | 16 |