ID: 67 Parent: 66 Tree
PDER
VAR\RSOP x(10) x(11) x(8)
x(1) -4*x(4)*x(8)^2*x(10)^3*x(11)^4+3*
x(4)*x(8)*x(10)^2*x(11)^2-5*x(1)^
2*x(4)*x(11)
-4*x(4)*x(8)^2*x(10)^4*x(11)^3+2*
x(4)*x(8)*x(10)^3*x(11)-5*x(1)^2*
x(4)*x(10)
-2*x(4)*x(8)*x(10)^4*x(11)^4+x(4)
*x(10)^3*x(11)^2
x(4) 40*x(4)^3*x(8)^2*x(10)^4*x(11)^5-
30*x(4)^3*x(8)*x(10)^3*x(11)^3+50
*x(1)^2*x(4)^3*x(10)*x(11)^2-10*x
(1)*x(4)^2*x(11)
40*x(4)^3*x(8)^2*x(10)^5*x(11)^4-
20*x(4)^3*x(8)*x(10)^4*x(11)^2+50
*x(1)^2*x(4)^3*x(10)^2*x(11)-10*x
(1)*x(4)^2*x(10)
20*x(4)^3*x(8)*x(10)^5*x(11)^5-10
*x(4)^3*x(10)^4*x(11)^3
x(8) 0 0 1
x(9) -40*x(4)^3*x(8)^2*x(9)^2*x(10)^4*
x(11)^5+30*x(4)^3*x(8)*x(9)^2*x(1
0)^3*x(11)^3-50*x(1)^2*x(4)^3*x(9
)^2*x(10)*x(11)^2+10*x(1)*x(4)^2*
x(9)^2*x(11)
-40*x(4)^3*x(8)^2*x(9)^2*x(10)^5*
x(11)^4+20*x(4)^3*x(8)*x(9)^2*x(1
0)^4*x(11)^2-50*x(1)^2*x(4)^3*x(9
)^2*x(10)^2*x(11)+10*x(1)*x(4)^2*
x(9)^2*x(10)
-20*x(4)^3*x(8)*x(9)^2*x(10)^5*x(
11)^5+10*x(4)^3*x(9)^2*x(10)^4*x(
11)^3
x(10) 1 0 0
x(11) 0 1 0
DEP
-x(8)^2*x(10)^4*x(11)^4+x(8)*x(10)^3*x(11)^2-5*x(1)^2*x(10)*x(11)+x(1)
10*x(1)*x(4)*x(10)*x(11)-x(4)-1
x(4)*x(9)-x(9)-1
MAP
x(1)x(1)
x(2)x(10)*x(11)
x(3)x(8)*x(10)^2*x(11)^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(10)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3))
x(11)(x(2)*x(3))/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(8)^2*x(10)^4*x(11)^4-x(1)
-x(8)*x(10)^2*x(11)^2
x(8)*x(10)^2*x(11)
x(8)*x(10)*x(11)
x(8)*x(10)
x(8)
x(10)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
150*x(1)^3*x(4)*x(8)*x(9)*x(10)^4*x(11)^5+750*x(1)^5*x(4)*x(9)*x(10)^2*x(11)^4-60*x(1)^2*x(4)*x(8)*x
(9)^2*x(10)^3*x(11)^4-170*x(1)^2*x(4)*x(8)*x(9)*x(10)^3*x(11)^4-150*x(1)^3*x(4)*x(9)*x(10)^3*x(11)^3
-4*x(1)*x(8)^2*x(10)^3*x(11)^5+15*x(1)^2*x(8)*x(10)^3*x(11)^4+60*x(1)^2*x(4)*x(9)^2*x(10)^2*x(11)^2+
170*x(1)^2*x(4)*x(9)*x(10)^2*x(11)^2+75*x(1)^4*x(10)*x(11)^3-4*x(1)*x(8)*x(10)^2*x(11)^3-15*x(1)^2*x
(10)^2*x(11)^2-5*x(1)^3*x(11)^2+8*x(1)*x(10)*x(11)+1
0
c0
E,a
x(11)0
x(8)0
x(10)0