ID: 702.0	Parent: 701.0	Tree
PDER	VAR\IND x9 x2 x15 x16-1 x2 0 1 0 0 x9 1 0 0 0 x15 0 0 1 0 x16 0 0 0 1
FOCUS
	x9^12*x16^11*x15^18*x2^6-x16^12*x15^18*x9^12*x2^6
	x9^3*x16^2*x15^3
	x9
	x15^2*x16*x9
	x16^2*x15^3*x9
	x16*x15*x9
	x16*x15
	x15
DEP	empty
MAP	x1 x9^3*x16^2*x15^3*x2 x2 x2 x3 x15^5*x16^3*x9^3*x2 x4 x16^2*x15^3*x9^2*x2
IMAP	x2 x2 x9 x1/x4 x15 1/x4^3*x2*x3^2 x16 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
	-1	0
c	0
N	empty
(E,a)
	E	a
	x2	5
	x9	8
	x16	7
	x15	11
	x16-1	0
C	empty