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