ID: 72 Parent: 70 Tree
Blown up to:
73 74
x(13) x(8)
PDER
VAR\RSOP x(13) x(2) x(8)
x(1) x(2)^5*x(4)*x(8) 5*x(2)^4*x(4)*x(8)*x(13)-4*x(2)^3
*x(4)*x(8)^2-5*x(1)^2*x(4)
x(2)^5*x(4)*x(13)-2*x(2)^4*x(4)*x
(8)
x(2) 0 1 0
x(4) -10*x(2)^6*x(4)^3*x(8) -50*x(2)^5*x(4)^3*x(8)*x(13)+40*x
(2)^4*x(4)^3*x(8)^2+50*x(1)^2*x(2
)*x(4)^3-10*x(1)*x(4)^2
-10*x(2)^6*x(4)^3*x(13)+20*x(2)^5
*x(4)^3*x(8)
x(8) 0 0 1
x(9) 10*x(2)^6*x(4)^3*x(8)*x(9)^2 50*x(2)^5*x(4)^3*x(8)*x(9)^2*x(13
)-40*x(2)^4*x(4)^3*x(8)^2*x(9)^2-
50*x(1)^2*x(2)*x(4)^3*x(9)^2+10*x
(1)*x(4)^2*x(9)^2
10*x(2)^6*x(4)^3*x(9)^2*x(13)-20*
x(2)^5*x(4)^3*x(8)*x(9)^2
x(13) 1 0 0
DEP
x(2)^5*x(8)*x(13)-x(2)^4*x(8)^2-5*x(1)^2*x(2)+x(1)
10*x(1)*x(2)*x(4)-x(4)-1
x(4)*x(9)-x(9)-1
MAP
x(1)x(1)
x(2)x(2)
x(3)x(2)^2*x(8)
IMAP
x(1)(x(1))/(1)
x(2)(x(2))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(3))/(x(2)^2)
x(9)(x(1)*x(2)+1)/(x(1)*x(2)+2)
x(13)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)^3*x(3))
FOCUS
3*x(2)^4*x(8)^2-x(1)
-x(2)^2*x(8)
x(2)^4*x(8)*x(13)
x(2)*x(8)
x(2)^3*x(8)*x(13)
x(8)
x(2)^3*x(13)
x(2)^2*x(13)
x(2)*x(13)
x(13)
STACK
WBO (dim: 3)
W 
J
-3750*x(1)^5*x(2)^4*x(4)*x(8)*x(9)*x(13)+3750*x(1)^5*x(2)^3*x(4)*x(8)^2*x(9)-1250*x(1)^5*x(2)^4*x(8)
*x(13)-750*x(1)^4*x(2)^3*x(4)*x(8)*x(9)*x(13)+1250*x(1)^5*x(2)^3*x(8)^2+750*x(1)^4*x(2)^2*x(4)*x(8)^
2*x(9)-150*x(1)^3*x(2)^3*x(4)*x(9)*x(13)^2+18750*x(1)^7*x(4)*x(9)-250*x(1)^4*x(2)^3*x(8)*x(13)+150*x
(1)^3*x(2)^2*x(4)*x(8)*x(9)*x(13)+60*x(1)^2*x(2)^2*x(4)*x(9)^2*x(13)^2+250*x(1)^4*x(2)^2*x(8)^2+4*x(
2)^4*x(8)^3*x(13)-60*x(1)^2*x(2)*x(4)*x(8)*x(9)^2*x(13)+170*x(1)^2*x(2)^2*x(4)*x(9)*x(13)^2+6250*x(1
)^7-4*x(2)^3*x(8)^4-50*x(1)^3*x(2)^2*x(8)*x(13)-170*x(1)^2*x(2)*x(4)*x(8)*x(9)*x(13)+50*x(1)^3*x(2)*
x(8)^2-15*x(1)^2*x(2)^2*x(13)^2+20*x(1)^2*x(2)*x(8)*x(13)-25*x(1)^2*x(8)^2+8*x(1)*x(2)*x(13)^2-4*x(1
)*x(8)*x(13)+x(13)^2
2
c1
E,a
x(8)0
x(2)0
TBO (dim: 3)
W 
J
-3750*x(1)^5*x(2)^4*x(4)*x(8)*x(9)*x(13)+3750*x(1)^5*x(2)^3*x(4)*x(8)^2*x(9)-1250*x(1)^5*x(2)^4*x(8)
*x(13)-750*x(1)^4*x(2)^3*x(4)*x(8)*x(9)*x(13)+1250*x(1)^5*x(2)^3*x(8)^2+750*x(1)^4*x(2)^2*x(4)*x(8)^
2*x(9)-150*x(1)^3*x(2)^3*x(4)*x(9)*x(13)^2+18750*x(1)^7*x(4)*x(9)-250*x(1)^4*x(2)^3*x(8)*x(13)+150*x
(1)^3*x(2)^2*x(4)*x(8)*x(9)*x(13)+60*x(1)^2*x(2)^2*x(4)*x(9)^2*x(13)^2+250*x(1)^4*x(2)^2*x(8)^2+4*x(
2)^4*x(8)^3*x(13)-60*x(1)^2*x(2)*x(4)*x(8)*x(9)^2*x(13)+170*x(1)^2*x(2)^2*x(4)*x(9)*x(13)^2+6250*x(1
)^7-4*x(2)^3*x(8)^4-50*x(1)^3*x(2)^2*x(8)*x(13)-170*x(1)^2*x(2)*x(4)*x(8)*x(9)*x(13)+50*x(1)^3*x(2)*
x(8)^2-15*x(1)^2*x(2)^2*x(13)^2+20*x(1)^2*x(2)*x(8)*x(13)-25*x(1)^2*x(8)^2+8*x(1)*x(2)*x(13)^2-4*x(1
)*x(8)*x(13)+x(13)^2
2
E
x(8)
x(2)
EM 
SBO (dim: 3)
W 
J
-3750*x(1)^5*x(2)^4*x(4)*x(8)*x(9)*x(13)+3750*x(1)^5*x(2)^3*x(4)*x(8)^2*x(9)-1250*x(1)^5*x(2)^4*x(8)
*x(13)-750*x(1)^4*x(2)^3*x(4)*x(8)*x(9)*x(13)+1250*x(1)^5*x(2)^3*x(8)^2+750*x(1)^4*x(2)^2*x(4)*x(8)^
2*x(9)-150*x(1)^3*x(2)^3*x(4)*x(9)*x(13)^2+18750*x(1)^7*x(4)*x(9)-250*x(1)^4*x(2)^3*x(8)*x(13)+150*x
(1)^3*x(2)^2*x(4)*x(8)*x(9)*x(13)+60*x(1)^2*x(2)^2*x(4)*x(9)^2*x(13)^2+250*x(1)^4*x(2)^2*x(8)^2+4*x(
2)^4*x(8)^3*x(13)-60*x(1)^2*x(2)*x(4)*x(8)*x(9)^2*x(13)+170*x(1)^2*x(2)^2*x(4)*x(9)*x(13)^2+6250*x(1
)^7-4*x(2)^3*x(8)^4-50*x(1)^3*x(2)^2*x(8)*x(13)-170*x(1)^2*x(2)*x(4)*x(8)*x(9)*x(13)+50*x(1)^3*x(2)*
x(8)^2-15*x(1)^2*x(2)^2*x(13)^2+20*x(1)^2*x(2)*x(8)*x(13)-25*x(1)^2*x(8)^2+8*x(1)*x(2)*x(13)^2-4*x(1
)*x(8)*x(13)+x(13)^2
2
E
x(8)
x(2)
WBO (dim: 2)
W
x(13)
J
195312500*x(1)^10*x(2)^10*x(4)^2+1562500000*x(1)^10*x(2)^10*x(4)*x(9)+781250000*x(1)^10*x(2)^10*x(4)
+97656250*x(1)^9*x(2)^9*x(4)^2+625000000*x(1)^9*x(2)^9*x(4)*x(9)+371093750*x(1)^9*x(2)^9*x(4)+781250
00*x(1)^9*x(2)^9+35156250*x(1)^8*x(2)^8*x(4)^2+187500000*x(1)^8*x(2)^8*x(4)*x(9)+128906250*x(1)^8*x(
2)^8*x(4)-25000000*x(1)^7*x(2)^7*x(4)*x(9)^2+46875000*x(1)^8*x(2)^8-10937500*x(1)^7*x(2)^7*x(4)^2-13
7500000*x(1)^7*x(2)^7*x(4)*x(9)-51562500*x(1)^7*x(2)^7*x(4)-5000000*x(1)^6*x(2)^6*x(4)*x(9)^2+187500
00*x(1)^7*x(2)^7-3437500*x(1)^6*x(2)^6*x(4)^2-27500000*x(1)^6*x(2)^6*x(4)*x(9)-14062500*x(1)^6*x(2)^
6*x(4)-1000000*x(1)^5*x(2)^5*x(4)*x(9)^2-937500*x(1)^6*x(2)^6-906250*x(1)^5*x(2)^5*x(4)^2-5500000*x(
1)^5*x(2)^5*x(4)*x(9)+400000*x(1)^4*x(2)^4*x(4)*x(9)^3-3468750*x(1)^5*x(2)^5*x(4)+2400000*x(1)^4*x(2
)^4*x(4)*x(9)^2-1000000*x(1)^5*x(2)^5+406250*x(1)^4*x(2)^4*x(4)^2+5200000*x(1)^4*x(2)^4*x(4)*x(9)+19
93750*x(1)^4*x(2)^4*x(4)-337500*x(1)^4*x(2)^4+12500*x(1)^3*x(2)^3*x(4)^2+37500*x(1)^3*x(2)^3*x(4)+40
000*x(1)^3*x(2)^3+1500*x(1)^2*x(2)^2*x(4)^2+4500*x(1)^2*x(2)^2*x(4)+4500*x(1)^2*x(2)^2+150*x(1)*x(2)
*x(4)^2+450*x(1)*x(2)*x(4)+400*x(1)*x(2)+10*x(4)^2+30*x(4)+20
0
292968750*x(1)^10*x(2)^10*x(4)*x(9)+117187500*x(1)^9*x(2)^9*x(4)*x(9)+29296875*x(1)^9*x(2)^9+3515625
0*x(1)^8*x(2)^8*x(4)*x(9)-4687500*x(1)^7*x(2)^7*x(4)*x(9)^2+17578125*x(1)^8*x(2)^8-17968750*x(1)^7*x
(2)^7*x(4)*x(9)-937500*x(1)^6*x(2)^6*x(4)*x(9)^2+7031250*x(1)^7*x(2)^7-3593750*x(1)^6*x(2)^6*x(4)*x(
9)-187500*x(1)^5*x(2)^5*x(4)*x(9)^2+78125*x(1)^6*x(2)^6-718750*x(1)^5*x(2)^5*x(4)*x(9)+75000*x(1)^4*
x(2)^4*x(4)*x(9)^3+325000*x(1)^4*x(2)^4*x(4)*x(9)^2-203125*x(1)^5*x(2)^5+356250*x(1)^4*x(2)^4*x(4)*x
(9)-75000*x(1)^4*x(2)^4+1250*x(1)^3*x(2)^3-375*x(1)^2*x(2)^2-125*x(1)*x(2)-20
0
c0
E,a
x(8)2
x(2)3/2
Blown up to:
73 74
x(13) x(8)
ID: 72 Parent: 70 Tree