ID: 21 Parent: 20 Tree
PDER
VAR\RSOP x(12) x(8) x(13)
x(1) 4*x(4)*x(8)^4*x(12)^3*x(13)^3-10*
x(1)^2*x(4)*x(8)^3*x(12)*x(13)^2-
2*x(4)*x(8)^2*x(12)*x(13)^2
4*x(4)*x(8)^3*x(12)^4*x(13)^3-15*
x(1)^2*x(4)*x(8)^2*x(12)^2*x(13)^
2-2*x(4)*x(8)*x(12)^2*x(13)^2
3*x(4)*x(8)^4*x(12)^4*x(13)^2-10*
x(1)^2*x(4)*x(8)^3*x(12)^2*x(13)-
2*x(4)*x(8)^2*x(12)^2*x(13)
x(4) -40*x(4)^3*x(8)^7*x(12)^5*x(13)^5
+100*x(1)^2*x(4)^3*x(8)^6*x(12)^3
*x(13)^4+20*x(4)^3*x(8)^5*x(12)^3
*x(13)^4-20*x(1)*x(4)^2*x(8)^3*x(
12)*x(13)^2
-40*x(4)^3*x(8)^6*x(12)^6*x(13)^5
+150*x(1)^2*x(4)^3*x(8)^5*x(12)^4
*x(13)^4+20*x(4)^3*x(8)^4*x(12)^4
*x(13)^4-30*x(1)*x(4)^2*x(8)^2*x(
12)^2*x(13)^2
-30*x(4)^3*x(8)^7*x(12)^6*x(13)^4
+100*x(1)^2*x(4)^3*x(8)^6*x(12)^4
*x(13)^3+20*x(4)^3*x(8)^5*x(12)^4
*x(13)^3-20*x(1)*x(4)^2*x(8)^3*x(
12)^2*x(13)
x(8) 0 1 0
x(12) 1 0 0
x(13) 0 0 1
DEP
x(8)^4*x(12)^4*x(13)^3-5*x(1)^2*x(8)^3*x(12)^2*x(13)^2-x(8)^2*x(12)^2*x(13)^2+x(1)
10*x(1)*x(4)*x(8)^3*x(12)^2*x(13)^2-x(4)-1
MAP
x(1)x(1)
x(2)x(8)^3*x(12)^2*x(13)^2
x(3)x(8)*x(12)*x(13)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2))/(x(3)^2)
x(12)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)*x(3))
x(13)(x(3)^4)/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(8)^2*x(12)^2*x(13)^2-x(1)
-x(8)*x(12)*x(13)
x(8)^3*x(12)^3*x(13)^2
x(8)^2*x(12)^2*x(13)
x(8)*x(12)^2*x(13)
x(8)*x(12)
x(12)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-75*x(1)^4*x(8)^5*x(12)^2*x(13)^3+375*x(1)^6*x(8)^4*x(13)^2+5*x(1)^2*x(8)^4*x(12)^2*x(13)^3+50*x(1)^
4*x(8)^3*x(13)^2+8*x(1)*x(8)^3*x(12)^2*x(13)^2+4*x(8)^3*x(12)^2*x(13)^3-55*x(1)^3*x(8)^2*x(13)-25*x(
1)^2*x(8)^2*x(13)^2-4*x(1)*x(8)*x(13)-4*x(8)*x(13)^2+1
0
c0
E,a
x(13)0
x(8)0
x(12)0