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