ID: 12	Parent: 9	Tree
Blown up to: 14 15 16 x(7) x(8) x(3)
PDER	VAR\RSOP x(7) x(8) x(3) x(1) x(3)^2*x(4) -5*x(1)^2*x(3)^2*x(4) -10*x(1)^2*x(3)*x(4)*x(8)+2*x(3)* x(4)*x(7)-2*x(3)*x(4) x(3) 0 0 1 x(4) -10*x(3)^4*x(4)^3*x(8) 50*x(1)^2*x(3)^4*x(4)^3*x(8)-10*x (1)*x(3)^2*x(4)^2 100*x(1)^2*x(3)^3*x(4)^3*x(8)^2-2 0*x(3)^3*x(4)^3*x(7)*x(8)+20*x(3) ^3*x(4)^3*x(8)-20*x(1)*x(3)*x(4)^ 2*x(8) x(7) 1 0 0 x(8) 0 1 0
DEP
	-5*x(1)^2*x(3)^2*x(8)+x(3)^2*x(7)-x(3)^2+x(1)
	10*x(1)*x(3)^2*x(4)*x(8)-x(4)-1
MAP	x(1) x(1) x(2) x(3)^2*x(8) x(3) x(3)
IMAP	x(1) (x(1))/(1) x(3) (x(3))/(1) x(4) (1)/(x(1)*x(2)+1) x(8) (x(2))/(x(3)^2) x(7) (x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^2)
FOCUS
	3*x(3)^2-x(1)
	-x(3)
	x(3)*x(7)
	x(7)
STACK
WBO (dim: 3)
W
J
	15*x(1)^4*x(8)^2-8*x(1)^2*x(7)*x(8)-4*x(1)^2*x(8)+x(7)^2	2
c	1
E,a
	x(3)	0
TBO (dim: 3)
W
J
	15*x(1)^4*x(8)^2-8*x(1)^2*x(7)*x(8)-4*x(1)^2*x(8)+x(7)^2	2
E
	x(3)
EM
SBO (dim: 3)
W
J
	15*x(1)^4*x(8)^2-8*x(1)^2*x(7)*x(8)-4*x(1)^2*x(8)+x(7)^2	2
E
	x(3)
WBO (dim: 2)
W
	x(7)
J
	156250*x(1)^9*x(3)^6*x(4)^2*x(8)^7+468750*x(1)^9*x(3)^6*x(4)*x(8)^7-31250*x(1)^7*x(3)^6*x(4)^2*x(7)* x(8)^6+625000*x(1)^9*x(3)^6*x(8)^7+31250*x(1)^7*x(3)^6*x(4)^2*x(8)^6-93750*x(1)^7*x(3)^6*x(4)*x(7)*x (8)^6+93750*x(1)^7*x(3)^6*x(4)*x(8)^6-125000*x(1)^7*x(3)^6*x(7)*x(8)^6+125000*x(1)^7*x(3)^6*x(8)^6+3 1250*x(1)^6*x(3)^4*x(4)^2*x(8)^5+93750*x(1)^6*x(3)^4*x(4)*x(8)^5-5000*x(1)^4*x(3)^4*x(4)^2*x(7)*x(8) ^4+112500*x(1)^6*x(3)^4*x(8)^5+5000*x(1)^4*x(3)^4*x(4)^2*x(8)^4-15000*x(1)^4*x(3)^4*x(4)*x(7)*x(8)^4 +15000*x(1)^4*x(3)^4*x(4)*x(8)^4-17500*x(1)^4*x(3)^4*x(7)*x(8)^4+17500*x(1)^4*x(3)^4*x(8)^4+1500*x(1 )^3*x(3)^2*x(4)^2*x(8)^3+4500*x(1)^3*x(3)^2*x(4)*x(8)^3-150*x(1)*x(3)^2*x(4)^2*x(7)*x(8)^2+4500*x(1) ^3*x(3)^2*x(8)^3+150*x(1)*x(3)^2*x(4)^2*x(8)^2-450*x(1)*x(3)^2*x(4)*x(7)*x(8)^2+450*x(1)*x(3)^2*x(4) *x(8)^2-400*x(1)*x(3)^2*x(7)*x(8)^2+400*x(1)*x(3)^2*x(8)^2+10*x(4)^2*x(8)+30*x(4)*x(8)+20*x(8)	1
	234375*x(1)^9*x(3)^6*x(8)^7-46875*x(1)^7*x(3)^6*x(7)*x(8)^6+46875*x(1)^7*x(3)^6*x(8)^6+25000*x(1)^6* x(3)^4*x(8)^5-3125*x(1)^4*x(3)^4*x(7)*x(8)^4+3125*x(1)^4*x(3)^4*x(8)^4-375*x(1)^3*x(3)^2*x(8)^3+125* x(1)*x(3)^2*x(7)*x(8)^2-125*x(1)*x(3)^2*x(8)^2-20*x(8)	1
c	1/2
E,a
	x(3)	2
TBO (dim: 2)
W
	x(7)
J
	156250*x(1)^9*x(3)^6*x(4)^2*x(8)^7+468750*x(1)^9*x(3)^6*x(4)*x(8)^7-31250*x(1)^7*x(3)^6*x(4)^2*x(7)* x(8)^6+625000*x(1)^9*x(3)^6*x(8)^7+31250*x(1)^7*x(3)^6*x(4)^2*x(8)^6-93750*x(1)^7*x(3)^6*x(4)*x(7)*x (8)^6+93750*x(1)^7*x(3)^6*x(4)*x(8)^6-125000*x(1)^7*x(3)^6*x(7)*x(8)^6+125000*x(1)^7*x(3)^6*x(8)^6+3 1250*x(1)^6*x(3)^4*x(4)^2*x(8)^5+93750*x(1)^6*x(3)^4*x(4)*x(8)^5-5000*x(1)^4*x(3)^4*x(4)^2*x(7)*x(8) ^4+112500*x(1)^6*x(3)^4*x(8)^5+5000*x(1)^4*x(3)^4*x(4)^2*x(8)^4-15000*x(1)^4*x(3)^4*x(4)*x(7)*x(8)^4 +15000*x(1)^4*x(3)^4*x(4)*x(8)^4-17500*x(1)^4*x(3)^4*x(7)*x(8)^4+17500*x(1)^4*x(3)^4*x(8)^4+1500*x(1 )^3*x(3)^2*x(4)^2*x(8)^3+4500*x(1)^3*x(3)^2*x(4)*x(8)^3-150*x(1)*x(3)^2*x(4)^2*x(7)*x(8)^2+4500*x(1) ^3*x(3)^2*x(8)^3+150*x(1)*x(3)^2*x(4)^2*x(8)^2-450*x(1)*x(3)^2*x(4)*x(7)*x(8)^2+450*x(1)*x(3)^2*x(4) *x(8)^2-400*x(1)*x(3)^2*x(7)*x(8)^2+400*x(1)*x(3)^2*x(8)^2+10*x(4)^2*x(8)+30*x(4)*x(8)+20*x(8)	1
	234375*x(1)^9*x(3)^6*x(8)^7-46875*x(1)^7*x(3)^6*x(7)*x(8)^6+46875*x(1)^7*x(3)^6*x(8)^6+25000*x(1)^6* x(3)^4*x(8)^5-3125*x(1)^4*x(3)^4*x(7)*x(8)^4+3125*x(1)^4*x(3)^4*x(8)^4-375*x(1)^3*x(3)^2*x(8)^3+125* x(1)*x(3)^2*x(7)*x(8)^2-125*x(1)*x(3)^2*x(8)^2-20*x(8)	1
	x(3)^4	1
E
	x(3)
EM
SBO (dim: 2)
W
	x(7)
J
	156250*x(1)^9*x(3)^6*x(4)^2*x(8)^7+468750*x(1)^9*x(3)^6*x(4)*x(8)^7-31250*x(1)^7*x(3)^6*x(4)^2*x(7)* x(8)^6+625000*x(1)^9*x(3)^6*x(8)^7+31250*x(1)^7*x(3)^6*x(4)^2*x(8)^6-93750*x(1)^7*x(3)^6*x(4)*x(7)*x (8)^6+93750*x(1)^7*x(3)^6*x(4)*x(8)^6-125000*x(1)^7*x(3)^6*x(7)*x(8)^6+125000*x(1)^7*x(3)^6*x(8)^6+3 1250*x(1)^6*x(3)^4*x(4)^2*x(8)^5+93750*x(1)^6*x(3)^4*x(4)*x(8)^5-5000*x(1)^4*x(3)^4*x(4)^2*x(7)*x(8) ^4+112500*x(1)^6*x(3)^4*x(8)^5+5000*x(1)^4*x(3)^4*x(4)^2*x(8)^4-15000*x(1)^4*x(3)^4*x(4)*x(7)*x(8)^4 +15000*x(1)^4*x(3)^4*x(4)*x(8)^4-17500*x(1)^4*x(3)^4*x(7)*x(8)^4+17500*x(1)^4*x(3)^4*x(8)^4+1500*x(1 )^3*x(3)^2*x(4)^2*x(8)^3+4500*x(1)^3*x(3)^2*x(4)*x(8)^3-150*x(1)*x(3)^2*x(4)^2*x(7)*x(8)^2+4500*x(1) ^3*x(3)^2*x(8)^3+150*x(1)*x(3)^2*x(4)^2*x(8)^2-450*x(1)*x(3)^2*x(4)*x(7)*x(8)^2+450*x(1)*x(3)^2*x(4) *x(8)^2-400*x(1)*x(3)^2*x(7)*x(8)^2+400*x(1)*x(3)^2*x(8)^2+10*x(4)^2*x(8)+30*x(4)*x(8)+20*x(8)	1
	234375*x(1)^9*x(3)^6*x(8)^7-46875*x(1)^7*x(3)^6*x(7)*x(8)^6+46875*x(1)^7*x(3)^6*x(8)^6+25000*x(1)^6* x(3)^4*x(8)^5-3125*x(1)^4*x(3)^4*x(7)*x(8)^4+3125*x(1)^4*x(3)^4*x(8)^4-375*x(1)^3*x(3)^2*x(8)^3+125* x(1)*x(3)^2*x(7)*x(8)^2-125*x(1)*x(3)^2*x(8)^2-20*x(8)	1
	x(3)^4	1
E
	x(3)
WBO (dim: 1)
W
	x(7)
	x(8)
J
	x(1)^2	4
c	4
E,a
	x(3)	0
TBO (dim: 1)
W
	x(7)
	x(8)
J
	x(1)^2	4
E
	x(3)
EM
	x(3)
SBO (dim: 1)
W
	x(7)
	x(8)
J
	x(3)	1
	x(1)^2	4
E
H
	x(3)
Blown up to: 14 15 16 x(7) x(8) x(3)
ID: 12	Parent: 9	Tree