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