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