ID: 309.0	Parent: 305.0	Tree
PDER	VAR\IND x14 x7 x15 x12 x7 0 1 0 0 x12 0 0 0 1 x14 1 0 0 0 x15 0 0 1 0 x16 -3*x14^2*x15*x12^3*x 16^2 0 -x14^3*x12^3*x16^2 -3*x14^3*x15*x12^2*x 16^2
FOCUS
	x7^6*x12^9*x15^5-x14^3*x12^12*x15^6*x7^6
	x7*x15*x12^2*x14
	x7
	x15*x12*x7
	x15*x14*x12^2
	3*x14^2*x15*x12^3
	x14^3*x12^3
	3*x14^3*x15*x12^2
DEP
	x16*(x14^3*x15*x12^3-1)-1
MAP	x1 x14*x12^4*x15^2*x7^2 x2 x7^2*x12^2*x15 x3 x15^2*x12^3*x7^2 x4 x7*x12^2*x15
IMAP	x7 x2/x4 x12 x4^2/x3 x14 x1/x4^2 x15 x3^2/x4^2/x2 x16 -x2*x3*x4^2/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
	-x14^3*x15*x12^3+1	0
c	0
N	empty
(E,a)
	E	a
	x7	4
	x15	3
	x12	5
C	empty