ID: 73 Parent: 72 Tree
PDER
VAR\RSOP x(13) x(2) x(14)
x(1) 2*x(2)^5*x(4)*x(13)*x(14)-2*x(2)^
4*x(4)*x(13)*x(14)^2
5*x(2)^4*x(4)*x(13)^2*x(14)-4*x(2
)^3*x(4)*x(13)^2*x(14)^2-5*x(1)^2
*x(4)
x(2)^5*x(4)*x(13)^2-2*x(2)^4*x(4)
*x(13)^2*x(14)
x(2) 0 1 0
x(4) -20*x(2)^6*x(4)^3*x(13)*x(14)+20*
x(2)^5*x(4)^3*x(13)*x(14)^2
-50*x(2)^5*x(4)^3*x(13)^2*x(14)+4
0*x(2)^4*x(4)^3*x(13)^2*x(14)^2+5
0*x(1)^2*x(2)*x(4)^3-10*x(1)*x(4)
^2
-10*x(2)^6*x(4)^3*x(13)^2+20*x(2)
^5*x(4)^3*x(13)^2*x(14)
x(9) 20*x(2)^6*x(4)^3*x(9)^2*x(13)*x(1
4)-20*x(2)^5*x(4)^3*x(9)^2*x(13)*
x(14)^2
50*x(2)^5*x(4)^3*x(9)^2*x(13)^2*x
(14)-40*x(2)^4*x(4)^3*x(9)^2*x(13
)^2*x(14)^2-50*x(1)^2*x(2)*x(4)^3
*x(9)^2+10*x(1)*x(4)^2*x(9)^2
10*x(2)^6*x(4)^3*x(9)^2*x(13)^2-2
0*x(2)^5*x(4)^3*x(9)^2*x(13)^2*x(
14)
x(13) 1 0 0
x(14) 0 0 1
DEP
x(2)^5*x(13)^2*x(14)-x(2)^4*x(13)^2*x(14)^2-5*x(1)^2*x(2)+x(1)
10*x(1)*x(2)*x(4)-x(4)-1
x(4)*x(9)-x(9)-1
MAP
x(1)x(1)
x(2)x(2)
x(3)x(2)^2*x(13)*x(14)
IMAP
x(1)(x(1))/(1)
x(2)(x(2))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(9)(x(1)*x(2)+1)/(x(1)*x(2)+2)
x(13)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)^3*x(3))
x(14)(x(2)*x(3)^2)/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(2)^4*x(13)^2*x(14)^2-x(1)
-x(2)^2*x(13)*x(14)
x(2)^4*x(13)^2*x(14)
x(2)*x(13)*x(14)
x(2)^3*x(13)^2*x(14)
x(13)*x(14)
x(2)^3*x(13)
x(2)^2*x(13)
x(2)*x(13)
x(13)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-37500*x(1)^6*x(2)^5*x(4)*x(9)^2*x(14)+37500*x(1)^6*x(2)^4*x(4)*x(9)^2*x(14)^2-50000*x(1)^6*x(2)^5*x
(4)*x(9)*x(14)+50000*x(1)^6*x(2)^4*x(4)*x(9)*x(14)^2-3750*x(1)^5*x(2)^4*x(4)*x(9)*x(14)+3750*x(1)^5*
x(2)^3*x(4)*x(9)*x(14)^2-1250*x(1)^5*x(2)^4*x(14)-750*x(1)^4*x(2)^3*x(4)*x(9)*x(14)+1250*x(1)^5*x(2)
^3*x(14)^2+750*x(1)^4*x(2)^2*x(4)*x(9)*x(14)^2+4*x(2)^4*x(13)^2*x(14)^3-4*x(2)^3*x(13)^2*x(14)^4-150
*x(1)^3*x(2)^3*x(4)*x(9)-250*x(1)^4*x(2)^3*x(14)+150*x(1)^3*x(2)^2*x(4)*x(9)*x(14)+250*x(1)^4*x(2)^2
*x(14)^2+60*x(1)^2*x(2)^2*x(4)*x(9)^2-60*x(1)^2*x(2)*x(4)*x(9)^2*x(14)+170*x(1)^2*x(2)^2*x(4)*x(9)-5
0*x(1)^3*x(2)^2*x(14)-170*x(1)^2*x(2)*x(4)*x(9)*x(14)+50*x(1)^3*x(2)*x(14)^2-15*x(1)^2*x(2)^2+20*x(1
)^2*x(2)*x(14)-25*x(1)^2*x(14)^2+8*x(1)*x(2)-4*x(1)*x(14)+1
0
c0
E,a
x(14)0
x(2)0
x(13)0