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