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