ID: 3.0	Parent: 0.0	Tree
Covered by: 13.0 x5^2+x6^2+1
PDER	VAR\IND x5 x6 x3 x3 0 0 1 x5 1 0 0 x6 0 1 0
FOCUS
	x3^3*x5^2+x3^3*x6^2+x3^3-x3^2*x5*x6
	x5
	x6
DEP	empty
MAP	x1 x5*x3 x2 x6*x3 x3 x3
IMAP	x3 x3 x5 x1/x3 x6 x2/x3
STACK
WBO (dim: 3)
J
	x5^2*x3+x6^2*x3-x5*x6+x3	1
c	1
N	empty
(E,a)
	E	a
	x3	1
C	empty
TBO (dim: 3)
J
	x5^2*x3+x6^2*x3-x5*x6+x3	1
N	empty
E
	x3
EM
	x3
C	empty
SBO (dim: 3)
J
	x5^2*x3+x6^2*x3-x5*x6+x3	1
N	empty
H	empty
E	empty
C	empty
Covered by: 13.0 x5^2+x6^2+1
ID: 3.0	Parent: 0.0	Tree