ID: 50 Parent: 48 Tree
Blown up to:
51 52
x(12) x(8)
PDER
VAR\RSOP x(12) x(8) x(6)
x(1) x(4)*x(6)^5*x(8)^2 2*x(4)*x(6)^5*x(8)*x(12)-2*x(4)*x
(6)^4*x(8)-5*x(1)^2*x(4)*x(6)
5*x(4)*x(6)^4*x(8)^2*x(12)-4*x(4)
*x(6)^3*x(8)^2-5*x(1)^2*x(4)*x(8)
x(4) -10*x(4)^3*x(6)^6*x(8)^3 -20*x(4)^3*x(6)^6*x(8)^2*x(12)+20
*x(4)^3*x(6)^5*x(8)^2+50*x(1)^2*x
(4)^3*x(6)^2*x(8)-10*x(1)*x(4)^2*
x(6)
-50*x(4)^3*x(6)^5*x(8)^3*x(12)+40
*x(4)^3*x(6)^4*x(8)^3+50*x(1)^2*x
(4)^3*x(6)*x(8)^2-10*x(1)*x(4)^2*
x(8)
x(6) 0 0 1
x(8) 0 1 0
x(12) 1 0 0
DEP
x(6)^5*x(8)^2*x(12)-x(6)^4*x(8)^2-5*x(1)^2*x(6)*x(8)+x(1)
10*x(1)*x(4)*x(6)*x(8)-x(4)-1
MAP
x(1)x(1)
x(2)x(6)*x(8)
x(3)x(6)^2*x(8)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(6)(x(3))/(x(2))
x(8)(x(2)^2)/(x(3))
x(12)(x(1)^2*x(2)^2+x(2)*x(3)^2+x(1)*x(2))/(x(3)^3)
FOCUS
3*x(6)^4*x(8)^2-x(1)
-x(6)^2*x(8)
x(6)^4*x(8)*x(12)
x(6)
x(6)^3*x(8)*x(12)
x(6)^2*x(8)*x(12)
x(6)*x(8)*x(12)
x(8)*x(12)
x(12)
STACK
WBO (dim: 3)
W 
J
-1171875*x(1)^10*x(6)^4*x(8)^7*x(12)+1171875*x(1)^10*x(6)^3*x(8)^7-234375*x(1)^9*x(6)^3*x(8)^6*x(12)
+5859375*x(1)^12*x(8)^6+234375*x(1)^9*x(6)^2*x(8)^6-46875*x(1)^8*x(6)^2*x(8)^5*x(12)-5000*x(1)^5*x(6
)^4*x(8)^5*x(12)+46875*x(1)^8*x(6)*x(8)^5+2125*x(1)^4*x(6)^4*x(8)^4*x(12)^2+5000*x(1)^5*x(6)^3*x(8)^
5-9375*x(1)^7*x(6)*x(8)^4*x(12)-2750*x(1)^4*x(6)^3*x(8)^4*x(12)+34375*x(1)^7*x(8)^4+350*x(1)^3*x(6)^
3*x(8)^3*x(12)^2+625*x(1)^4*x(6)^2*x(8)^4-12500*x(1)^6*x(8)^3*x(12)-400*x(1)^3*x(6)^2*x(8)^3*x(12)+4
*x(6)^4*x(8)^3*x(12)+55*x(1)^2*x(6)^2*x(8)^2*x(12)^2+50*x(1)^3*x(6)*x(8)^3-4*x(6)^3*x(8)^3-50*x(1)^2
*x(6)*x(8)^2*x(12)+8*x(1)*x(6)*x(8)*x(12)^2-25*x(1)^2*x(8)^2-4*x(1)*x(8)*x(12)+x(12)^2
2
c1
E,a
x(6)0
x(8)0
TBO (dim: 3)
W 
J
-1171875*x(1)^10*x(6)^4*x(8)^7*x(12)+1171875*x(1)^10*x(6)^3*x(8)^7-234375*x(1)^9*x(6)^3*x(8)^6*x(12)
+5859375*x(1)^12*x(8)^6+234375*x(1)^9*x(6)^2*x(8)^6-46875*x(1)^8*x(6)^2*x(8)^5*x(12)-5000*x(1)^5*x(6
)^4*x(8)^5*x(12)+46875*x(1)^8*x(6)*x(8)^5+2125*x(1)^4*x(6)^4*x(8)^4*x(12)^2+5000*x(1)^5*x(6)^3*x(8)^
5-9375*x(1)^7*x(6)*x(8)^4*x(12)-2750*x(1)^4*x(6)^3*x(8)^4*x(12)+34375*x(1)^7*x(8)^4+350*x(1)^3*x(6)^
3*x(8)^3*x(12)^2+625*x(1)^4*x(6)^2*x(8)^4-12500*x(1)^6*x(8)^3*x(12)-400*x(1)^3*x(6)^2*x(8)^3*x(12)+4
*x(6)^4*x(8)^3*x(12)+55*x(1)^2*x(6)^2*x(8)^2*x(12)^2+50*x(1)^3*x(6)*x(8)^3-4*x(6)^3*x(8)^3-50*x(1)^2
*x(6)*x(8)^2*x(12)+8*x(1)*x(6)*x(8)*x(12)^2-25*x(1)^2*x(8)^2-4*x(1)*x(8)*x(12)+x(12)^2
2
E
x(6)
x(8)
EM 
SBO (dim: 3)
W 
J
-1171875*x(1)^10*x(6)^4*x(8)^7*x(12)+1171875*x(1)^10*x(6)^3*x(8)^7-234375*x(1)^9*x(6)^3*x(8)^6*x(12)
+5859375*x(1)^12*x(8)^6+234375*x(1)^9*x(6)^2*x(8)^6-46875*x(1)^8*x(6)^2*x(8)^5*x(12)-5000*x(1)^5*x(6
)^4*x(8)^5*x(12)+46875*x(1)^8*x(6)*x(8)^5+2125*x(1)^4*x(6)^4*x(8)^4*x(12)^2+5000*x(1)^5*x(6)^3*x(8)^
5-9375*x(1)^7*x(6)*x(8)^4*x(12)-2750*x(1)^4*x(6)^3*x(8)^4*x(12)+34375*x(1)^7*x(8)^4+350*x(1)^3*x(6)^
3*x(8)^3*x(12)^2+625*x(1)^4*x(6)^2*x(8)^4-12500*x(1)^6*x(8)^3*x(12)-400*x(1)^3*x(6)^2*x(8)^3*x(12)+4
*x(6)^4*x(8)^3*x(12)+55*x(1)^2*x(6)^2*x(8)^2*x(12)^2+50*x(1)^3*x(6)*x(8)^3-4*x(6)^3*x(8)^3-50*x(1)^2
*x(6)*x(8)^2*x(12)+8*x(1)*x(6)*x(8)*x(12)^2-25*x(1)^2*x(8)^2-4*x(1)*x(8)*x(12)+x(12)^2
2
E
x(6)
x(8)
WBO (dim: 2)
W
x(12)
J
-488281250*x(1)^13*x(4)^2*x(6)^4*x(8)^7*x(12)-1464843750*x(1)^13*x(4)*x(6)^4*x(8)^7*x(12)+488281250*
x(1)^13*x(4)^2*x(6)^3*x(8)^7-1953125000*x(1)^13*x(6)^4*x(8)^7*x(12)+1464843750*x(1)^13*x(4)*x(6)^3*x
(8)^7-97656250*x(1)^12*x(4)^2*x(6)^3*x(8)^6*x(12)+2441406250*x(1)^15*x(4)^2*x(8)^6+1953125000*x(1)^1
3*x(6)^3*x(8)^7-292968750*x(1)^12*x(4)*x(6)^3*x(8)^6*x(12)+7324218750*x(1)^15*x(4)*x(8)^6+97656250*x
(1)^12*x(4)^2*x(6)^2*x(8)^6-390625000*x(1)^12*x(6)^3*x(8)^6*x(12)+9765625000*x(1)^15*x(8)^6+29296875
0*x(1)^12*x(4)*x(6)^2*x(8)^6+390625000*x(1)^12*x(6)^2*x(8)^6-6250000*x(1)^8*x(4)^2*x(6)^4*x(8)^5*x(1
2)+19531250*x(1)^11*x(4)^2*x(6)*x(8)^5-18750000*x(1)^8*x(4)*x(6)^4*x(8)^5*x(12)+58593750*x(1)^11*x(4
)*x(6)*x(8)^5+6250000*x(1)^8*x(4)^2*x(6)^3*x(8)^5-23437500*x(1)^8*x(6)^4*x(8)^5*x(12)+78125000*x(1)^
11*x(6)*x(8)^5+18750000*x(1)^8*x(4)*x(6)^3*x(8)^5-1093750*x(1)^7*x(4)^2*x(6)^3*x(8)^4*x(12)+35156250
*x(1)^10*x(4)^2*x(8)^4+23437500*x(1)^8*x(6)^3*x(8)^5-3281250*x(1)^7*x(4)*x(6)^3*x(8)^4*x(12)+1054687
50*x(1)^10*x(4)*x(8)^4+1093750*x(1)^7*x(4)^2*x(6)^2*x(8)^4-4062500*x(1)^7*x(6)^3*x(8)^4*x(12)+132812
500*x(1)^10*x(8)^4+3281250*x(1)^7*x(4)*x(6)^2*x(8)^4+4062500*x(1)^7*x(6)^2*x(8)^4-12500*x(1)^3*x(4)^
2*x(6)^4*x(8)^3*x(12)+187500*x(1)^6*x(4)^2*x(6)*x(8)^3-37500*x(1)^3*x(4)*x(6)^4*x(8)^3*x(12)+562500*
x(1)^6*x(4)*x(6)*x(8)^3+12500*x(1)^3*x(4)^2*x(6)^3*x(8)^3-40000*x(1)^3*x(6)^4*x(8)^3*x(12)+687500*x(
1)^6*x(6)*x(8)^3+37500*x(1)^3*x(4)*x(6)^3*x(8)^3-1500*x(1)^2*x(4)^2*x(6)^3*x(8)^2*x(12)+93750*x(1)^5
*x(4)^2*x(8)^2+40000*x(1)^3*x(6)^3*x(8)^3-4500*x(1)^2*x(4)*x(6)^3*x(8)^2*x(12)+281250*x(1)^5*x(4)*x(
8)^2+1500*x(1)^2*x(4)^2*x(6)^2*x(8)^2-4500*x(1)^2*x(6)^3*x(8)^2*x(12)+312500*x(1)^5*x(8)^2+4500*x(1)
^2*x(4)*x(6)^2*x(8)^2+4500*x(1)^2*x(6)^2*x(8)^2+150*x(1)*x(4)^2*x(6)*x(8)+450*x(1)*x(4)*x(6)*x(8)+40
0*x(1)*x(6)*x(8)+10*x(4)^2+30*x(4)+20
0
-732421875*x(1)^13*x(6)^4*x(8)^7*x(12)+732421875*x(1)^13*x(6)^3*x(8)^7-146484375*x(1)^12*x(6)^3*x(8)
^6*x(12)+3662109375*x(1)^15*x(8)^6+146484375*x(1)^12*x(6)^2*x(8)^6-6640625*x(1)^8*x(6)^4*x(8)^5*x(12
)+29296875*x(1)^11*x(6)*x(8)^5+6640625*x(1)^8*x(6)^3*x(8)^5-1093750*x(1)^7*x(6)^3*x(8)^4*x(12)+39062
500*x(1)^10*x(8)^4+1093750*x(1)^7*x(6)^2*x(8)^4-1250*x(1)^3*x(6)^4*x(8)^3*x(12)+171875*x(1)^6*x(6)*x
(8)^3+1250*x(1)^3*x(6)^3*x(8)^3+375*x(1)^2*x(6)^3*x(8)^2*x(12)+31250*x(1)^5*x(8)^2-375*x(1)^2*x(6)^2
*x(8)^2-125*x(1)*x(6)*x(8)-20
0
c0
E,a
x(6)3/2
x(8)3/2
Blown up to:
51 52
x(12) x(8)
ID: 50 Parent: 48 Tree