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