ID: 23.0	Parent: 21.0	Tree
Blown up to: 25.0 x6^2+x6
PDER	VAR\IND x6^2+x6 2*x2+x3^2-1 x3 x1 x7*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*x7*x5^3*(2*x2+x3^2-1) 2*x5^3*(x2-1)-2*x6*x5^3 -2*x5^3*(2*x2-2)*x3 x6 x7 0 0 x7 -2*x7^3 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
	x7*(2*x6+1)-1
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) x7 (2*x2+x3^2-1)/(2*x1^2+2*x2^2+x3^2-2*x2-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
Blown up to: 25.0 x6^2+x6
ID: 23.0	Parent: 21.0	Tree