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