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