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