ID: 6	Parent: 3	Tree
Blown up to: 8 9 x(6) x(7)
PDER	VAR\RSOP x(6) x(7) x(3) x(3) 0 0 1 x(6) 1 0 0 x(7) 0 1 0
DEP
MAP	x(1) x(3)^2*x(6) x(2) x(3)^2*x(7) x(3) x(3)
IMAP	x(3) (x(3))/(1) x(7) (x(2))/(x(3)^2) x(6) (x(1))/(x(3)^2)
FOCUS
	x(3)*x(6)
	x(6)
STACK
WBO (dim: 3)
W
J
	-x(3)*x(7)^2+x(6)^2	2
c	1
E,a
	x(3)	0
TBO (dim: 3)
W
J
	-x(3)*x(7)^2+x(6)^2	2
E
	x(3)
EM
SBO (dim: 3)
W
J
	-x(3)*x(7)^2+x(6)^2	2
E
	x(3)
WBO (dim: 2)
W
	x(6)
J
	x(7)^2	2
c	1
E,a
	x(3)	1/2
TBO (dim: 2)
W
	x(6)
J
	x(7)^2	2
E
	x(3)
EM
SBO (dim: 2)
W
	x(6)
J
	x(7)^2	2
E
	x(3)
Blown up to: 8 9 x(6) x(7)
ID: 6	Parent: 3	Tree