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