ID: 145 Parent: 142 Tree
PDER
VAR\RSOP x(14)-1 x(15) x(16)
x(13) -x(13)^2 0 0
x(14) x(13)^2*x(14)^2 0 0
x(15) 0 1 0
x(16) 0 0 1
DEP
x(13)*x(14)-1
MAP
x(1)x(13)^6*x(14)^15*x(15)^4*x(16)^11-15*x(13)^6*x(14)^14*x(15)^4*x(16)^11+105*x(13)^6*x(14)^13*x(15)^4*
x(16)^11-455*x(13)^6*x(14)^12*x(15)^4*x(16)^11+1365*x(13)^6*x(14)^11*x(15)^4*x(16)^11-3003*x(13)^6*x
(14)^10*x(15)^4*x(16)^11+5005*x(13)^6*x(14)^9*x(15)^4*x(16)^11-6435*x(13)^6*x(14)^8*x(15)^4*x(16)^11
+6435*x(13)^6*x(14)^7*x(15)^4*x(16)^11-5005*x(13)^6*x(14)^6*x(15)^4*x(16)^11+3003*x(13)^6*x(14)^5*x(
15)^4*x(16)^11-1365*x(13)^6*x(14)^4*x(15)^4*x(16)^11+455*x(13)^6*x(14)^3*x(15)^4*x(16)^11-105*x(13)^
6*x(14)^2*x(15)^4*x(16)^11+15*x(13)^6*x(14)*x(15)^4*x(16)^11-x(13)^6*x(15)^4*x(16)^11
x(2)x(13)^4*x(14)^11*x(15)^3*x(16)^8-11*x(13)^4*x(14)^10*x(15)^3*x(16)^8+55*x(13)^4*x(14)^9*x(15)^3*x(16
)^8-165*x(13)^4*x(14)^8*x(15)^3*x(16)^8+330*x(13)^4*x(14)^7*x(15)^3*x(16)^8-462*x(13)^4*x(14)^6*x(15
)^3*x(16)^8+462*x(13)^4*x(14)^5*x(15)^3*x(16)^8-330*x(13)^4*x(14)^4*x(15)^3*x(16)^8+165*x(13)^4*x(14
)^3*x(15)^3*x(16)^8-55*x(13)^4*x(14)^2*x(15)^3*x(16)^8+11*x(13)^4*x(14)*x(15)^3*x(16)^8-x(13)^4*x(15
)^3*x(16)^8
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(3)^2)/(x(2)^2*x(3)+x(1)^2)
x(15)(x(1)^2*x(2)^3)/(x(2)^2*x(3)^5+x(1)^2*x(3)^4)
FOCUS
x(13)^12*x(14)^30*x(15)^8*x(16)^22-30*x(13)^12*x(14)^29*x(15)^8*x(16)^22-x(13)^11*x(14)^30*x(15)^8*x
(16)^22+435*x(13)^12*x(14)^28*x(15)^8*x(16)^22+30*x(13)^11*x(14)^29*x(15)^8*x(16)^22-4060*x(13)^12*x
(14)^27*x(15)^8*x(16)^22-435*x(13)^11*x(14)^28*x(15)^8*x(16)^22+27405*x(13)^12*x(14)^26*x(15)^8*x(16
)^22+4060*x(13)^11*x(14)^27*x(15)^8*x(16)^22-142506*x(13)^12*x(14)^25*x(15)^8*x(16)^22-27405*x(13)^1
1*x(14)^26*x(15)^8*x(16)^22+593775*x(13)^12*x(14)^24*x(15)^8*x(16)^22+142506*x(13)^11*x(14)^25*x(15)
^8*x(16)^22-2035800*x(13)^12*x(14)^23*x(15)^8*x(16)^22-593775*x(13)^11*x(14)^24*x(15)^8*x(16)^22+585
2925*x(13)^12*x(14)^22*x(15)^8*x(16)^22+2035800*x(13)^11*x(14)^23*x(15)^8*x(16)^22-14307150*x(13)^12
*x(14)^21*x(15)^8*x(16)^22-5852925*x(13)^11*x(14)^22*x(15)^8*x(16)^22+30045015*x(13)^12*x(14)^20*x(1
5)^8*x(16)^22+14307150*x(13)^11*x(14)^21*x(15)^8*x(16)^22-54627300*x(13)^12*x(14)^19*x(15)^8*x(16)^2
2-30045015*x(13)^11*x(14)^20*x(15)^8*x(16)^22+86493225*x(13)^12*x(14)^18*x(15)^8*x(16)^22+54627300*x
(13)^11*x(14)^19*x(15)^8*x(16)^22-119759850*x(13)^12*x(14)^17*x(15)^8*x(16)^22-86493225*x(13)^11*x(1
4)^18*x(15)^8*x(16)^22+145422675*x(13)^12*x(14)^16*x(15)^8*x(16)^22+119759850*x(13)^11*x(14)^17*x(15
)^8*x(16)^22-155117520*x(13)^12*x(14)^15*x(15)^8*x(16)^22-145422675*x(13)^11*x(14)^16*x(15)^8*x(16)^
22+145422675*x(13)^12*x(14)^14*x(15)^8*x(16)^22+155117520*x(13)^11*x(14)^15*x(15)^8*x(16)^22-1197598
50*x(13)^12*x(14)^13*x(15)^8*x(16)^22-145422675*x(13)^11*x(14)^14*x(15)^8*x(16)^22+86493225*x(13)^12
*x(14)^12*x(15)^8*x(16)^22+119759850*x(13)^11*x(14)^13*x(15)^8*x(16)^22-54627300*x(13)^12*x(14)^11*x
(15)^8*x(16)^22-86493225*x(13)^11*x(14)^12*x(15)^8*x(16)^22+30045015*x(13)^12*x(14)^10*x(15)^8*x(16)
^22+54627300*x(13)^11*x(14)^11*x(15)^8*x(16)^22-14307150*x(13)^12*x(14)^9*x(15)^8*x(16)^22-30045015*
x(13)^11*x(14)^10*x(15)^8*x(16)^22+5852925*x(13)^12*x(14)^8*x(15)^8*x(16)^22+14307150*x(13)^11*x(14)
^9*x(15)^8*x(16)^22-2035800*x(13)^12*x(14)^7*x(15)^8*x(16)^22-5852925*x(13)^11*x(14)^8*x(15)^8*x(16)
^22+593775*x(13)^12*x(14)^6*x(15)^8*x(16)^22+2035800*x(13)^11*x(14)^7*x(15)^8*x(16)^22-142506*x(13)^
12*x(14)^5*x(15)^8*x(16)^22-593775*x(13)^11*x(14)^6*x(15)^8*x(16)^22+27405*x(13)^12*x(14)^4*x(15)^8*
x(16)^22+142506*x(13)^11*x(14)^5*x(15)^8*x(16)^22-4060*x(13)^12*x(14)^3*x(15)^8*x(16)^22-27405*x(13)
^11*x(14)^4*x(15)^8*x(16)^22+435*x(13)^12*x(14)^2*x(15)^8*x(16)^22+4060*x(13)^11*x(14)^3*x(15)^8*x(1
6)^22-30*x(13)^12*x(14)*x(15)^8*x(16)^22-435*x(13)^11*x(14)^2*x(15)^8*x(16)^22+x(13)^12*x(15)^8*x(16
)^22+30*x(13)^11*x(14)*x(15)^8*x(16)^22-x(13)^11*x(15)^8*x(16)^22
x(13)^3*x(14)^7*x(15)^2*x(16)^5-7*x(13)^3*x(14)^6*x(15)^2*x(16)^5+21*x(13)^3*x(14)^5*x(15)^2*x(16)^5
-35*x(13)^3*x(14)^4*x(15)^2*x(16)^5+35*x(13)^3*x(14)^3*x(15)^2*x(16)^5-21*x(13)^3*x(14)^2*x(15)^2*x(
16)^5+7*x(13)^3*x(14)*x(15)^2*x(16)^5-x(13)^3*x(15)^2*x(16)^5
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)^2*x(14)^5*x(15)*x(16)^4-5*x(13)^2*x(14)^4*x(15)*x(16)^4+10*x(13)^2*x(14)^3*x(15)*x(16)^4-10*x(
13)^2*x(14)^2*x(15)*x(16)^4+5*x(13)^2*x(14)*x(15)*x(16)^4-x(13)^2*x(15)*x(16)^4
x(13)*x(14)*x(16)-x(13)*x(16)
x(14)*x(16)-x(16)
x(14)^2*x(15)*x(16)-2*x(14)*x(15)*x(16)+x(15)*x(16)
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)10
x(14)-114