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