ID: 461.0	Parent: 458.0	Tree
PDER	VAR\IND x6 x2 x16 x12 x2 0 1 0 0 x6 1 0 0 0 x12 0 0 0 1 x16 0 0 1 0 x17 -x16^3*x17^2 0 -3*x16^2*x6*x17^2 0
FOCUS
	x6^13*x2^6*x16^3*x12^6-x12^6*x6^12*x2^6
	x6
	x16*x6^2*x12^2
	x16*x6^2*x12
	x16*x6*x12
	x16*x6
	x16^3
	3*x16^2*x6
DEP
	x17*(x16^3*x6-1)-1
MAP	x1 x6*x2 x2 x2 x3 x16*x6^4*x12^2*x2 x4 x12*x6^2*x2
IMAP	x2 x2 x6 x1/x2 x12 x4/x1^2*x2 x16 x3/x4^2*x2 x17 -x4^6/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
	x16^3*x6-1	0
c	0
N	empty
(E,a)
	E	a
	x2	5
	x12	4
	x6	8
C	empty