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