ID: 503.0	Parent: 502.0	Tree
PDER	VAR\IND x15*x14*x9-1 x14 x15 x4 x4 0 0 0 1 x9 x16 -x16*x15*x9 -x14*x9*x16 0 x14 0 1 0 0 x15 0 0 1 0 x16 0 -x15*x16^2 -x14*x16^2 0 x17 -x14*x15*x16*x17^2 -(-x15^2*x14*x16*x9+ x15*x9)*x17^2 -(-x15*x14^2*x9*x16+ x14*x9)*x17^2 0
FOCUS
	x14*x9^4*x4^6*x15-x9^3*x4^6
	x9*x4
	x14*x9^2*x4
	x15*x9^2*x4
	x9
	x14*x9^2
	x15*x9^2
	x14*x9
	x15*x9
	x9
DEP
	x14*x15*x16-1
	x17*(x15*x14*x9-1)-1
MAP	x1 x9*x4^2 x2 x14*x9^2*x4^2 x3 x15*x9^2*x4^2 x4 x4
IMAP	x4 x4 x9 x1/x4^2 x14 1/x1^2*x4^2*x2 x15 1/x1^2*x4^2*x3 x16 x1^4/x4^4/x3/x2 x17 x1^3/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
	x15*x14*x9-1	0
c	0
N	empty
(E,a)
	E	a
	x4	4
	x9	1
C	empty