ID: 78 Parent: 76 Tree
PDER
VAR\RSOP x(16) x(2) x(8)
x(1) x(2)^6*x(4)*x(8)^3 6*x(2)^5*x(4)*x(8)^3*x(16)-4*x(2)
^3*x(4)*x(8)^2-5*x(1)^2*x(4)
3*x(2)^6*x(4)*x(8)^2*x(16)-2*x(2)
^4*x(4)*x(8)
x(2) 0 1 0
x(4) -10*x(2)^7*x(4)^3*x(8)^3 -60*x(2)^6*x(4)^3*x(8)^3*x(16)+40
*x(2)^4*x(4)^3*x(8)^2+50*x(1)^2*x
(2)*x(4)^3-10*x(1)*x(4)^2
-30*x(2)^7*x(4)^3*x(8)^2*x(16)+20
*x(2)^5*x(4)^3*x(8)
x(8) 0 0 1
x(9) 10*x(2)^7*x(4)^3*x(8)^3*x(9)^2 60*x(2)^6*x(4)^3*x(8)^3*x(9)^2*x(
16)-40*x(2)^4*x(4)^3*x(8)^2*x(9)^
2-50*x(1)^2*x(2)*x(4)^3*x(9)^2+10
*x(1)*x(4)^2*x(9)^2
30*x(2)^7*x(4)^3*x(8)^2*x(9)^2*x(
16)-20*x(2)^5*x(4)^3*x(8)*x(9)^2
x(16) 1 0 0
DEP
x(2)^6*x(8)^3*x(16)-x(2)^4*x(8)^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(8)
IMAP
x(1)(x(1))/(1)
x(2)(x(2))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(3))/(x(2)^2)
x(9)(x(1)*x(2)+1)/(x(1)*x(2)+2)
x(16)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^3)
FOCUS
3*x(2)^4*x(8)^2-x(1)
-x(2)^2*x(8)
x(2)^5*x(8)^3*x(16)
x(2)*x(8)
x(2)^4*x(8)^3*x(16)
x(8)
x(2)^4*x(8)^2*x(16)
x(2)^3*x(8)^2*x(16)
x(2)^2*x(8)^2*x(16)
x(2)*x(8)^2*x(16)
x(2)*x(8)*x(16)
x(8)*x(16)
x(16)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-7500*x(1)^4*x(2)^9*x(4)*x(8)^2*x(9)^2*x(16)^2-10000*x(1)^4*x(2)^9*x(4)*x(8)^2*x(9)*x(16)^2-1500*x(1
)^3*x(2)^8*x(4)*x(8)^2*x(9)^2*x(16)^2-2750*x(1)^3*x(2)^8*x(4)*x(8)^2*x(9)*x(16)^2+15000*x(1)^4*x(2)^
7*x(4)*x(8)*x(9)^2*x(16)-300*x(1)^2*x(2)^7*x(4)*x(8)^2*x(9)^2*x(16)^2+20000*x(1)^4*x(2)^7*x(4)*x(8)*
x(9)*x(16)-3000*x(1)^3*x(2)^6*x(4)*x(8)*x(9)^3*x(16)-250*x(1)^3*x(2)^8*x(8)^2*x(16)^2-700*x(1)^2*x(2
)^7*x(4)*x(8)^2*x(9)*x(16)^2+240*x(1)*x(2)^6*x(4)*x(8)^2*x(9)^3*x(16)^2-7000*x(1)^3*x(2)^6*x(4)*x(8)
*x(9)^2*x(16)+740*x(1)*x(2)^6*x(4)*x(8)^2*x(9)^2*x(16)^2-1750*x(1)^3*x(2)^6*x(4)*x(8)*x(9)*x(16)-100
*x(1)^2*x(2)^7*x(8)^2*x(16)^2+510*x(1)*x(2)^6*x(4)*x(8)^2*x(9)*x(16)^2-7500*x(1)^4*x(2)^5*x(4)*x(9)^
2+300*x(1)^2*x(2)^5*x(4)*x(8)*x(9)^2*x(16)-10000*x(1)^4*x(2)^5*x(4)*x(9)+3000*x(1)^3*x(2)^4*x(4)*x(9
)^3+500*x(1)^3*x(2)^6*x(8)*x(16)+700*x(1)^2*x(2)^5*x(4)*x(8)*x(9)*x(16)-240*x(1)*x(2)^4*x(4)*x(8)*x(
9)^3*x(16)-30*x(1)*x(2)^6*x(8)^2*x(16)^2+8500*x(1)^3*x(2)^4*x(4)*x(9)^2-740*x(1)*x(2)^4*x(4)*x(8)*x(
9)^2*x(16)-150*x(1)^3*x(2)^3*x(4)*x(9)*x(16)^2+4500*x(1)^3*x(2)^4*x(4)*x(9)+175*x(1)^2*x(2)^5*x(8)*x
(16)-510*x(1)*x(2)^4*x(4)*x(8)*x(9)*x(16)+4*x(2)^5*x(8)^2*x(16)^2+60*x(1)^2*x(2)^2*x(4)*x(9)^2*x(16)
^2+170*x(1)^2*x(2)^2*x(4)*x(9)*x(16)^2-250*x(1)^3*x(2)^4+55*x(1)*x(2)^4*x(8)*x(16)-15*x(1)^2*x(2)^2*
x(16)^2-75*x(1)^2*x(2)^3+8*x(1)*x(2)*x(16)^2-25*x(1)*x(2)^2+x(16)^2-4*x(2)
0
c0
E,a
x(2)0
x(8)0