ID: 54 Parent: 52 Tree
Blown up to:
55 56 57
x(14) x(6) x(8)
PDER
VAR\RSOP x(14) x(8) x(6)
x(1) x(4)*x(6)^6*x(8)^3 3*x(4)*x(6)^6*x(8)^2*x(14)-2*x(4)
*x(6)^4*x(8)-5*x(1)^2*x(4)*x(6)
6*x(4)*x(6)^5*x(8)^3*x(14)-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)^7*x(8)^4 -30*x(4)^3*x(6)^7*x(8)^3*x(14)+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)
-60*x(4)^3*x(6)^6*x(8)^4*x(14)+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(14) 1 0 0
DEP
x(6)^6*x(8)^3*x(14)-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(14)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^3)
FOCUS
3*x(6)^4*x(8)^2-x(1)
-x(6)^2*x(8)
x(6)^5*x(8)^2*x(14)
x(6)
x(6)^4*x(8)^2*x(14)
x(6)^3*x(8)^2*x(14)
x(6)^2*x(8)^2*x(14)
x(6)*x(8)^2*x(14)
x(6)*x(8)*x(14)
x(6)*x(14)
x(14)
STACK
WBO (dim: 3)
W 
J
-29296875*x(1)^12*x(6)^5*x(8)^8*x(14)-5859375*x(1)^11*x(6)^4*x(8)^7*x(14)+29296875*x(1)^12*x(6)^3*x(
8)^7+146484375*x(1)^14*x(8)^6-1171875*x(1)^10*x(6)^3*x(8)^6*x(14)+5859375*x(1)^11*x(6)^2*x(8)^6-2187
50*x(1)^7*x(6)^5*x(8)^6*x(14)-234375*x(1)^9*x(6)^2*x(8)^5*x(14)+12500*x(1)^5*x(6)^5*x(8)^5*x(14)^2+1
171875*x(1)^10*x(6)*x(8)^5-34375*x(1)^6*x(6)^4*x(8)^5*x(14)+218750*x(1)^7*x(6)^3*x(8)^5-46875*x(1)^8
*x(6)*x(8)^4*x(14)+2125*x(1)^4*x(6)^4*x(8)^4*x(14)^2+1328125*x(1)^9*x(8)^4-17500*x(1)^5*x(6)^3*x(8)^
4*x(14)+34375*x(1)^6*x(6)^2*x(8)^4+75*x(1)^2*x(6)^5*x(8)^4*x(14)-71875*x(1)^7*x(8)^3*x(14)+350*x(1)^
3*x(6)^3*x(8)^3*x(14)^2-2750*x(1)^4*x(6)^2*x(8)^3*x(14)+4*x(6)^5*x(8)^3*x(14)^2+5000*x(1)^5*x(6)*x(8
)^3+25*x(1)*x(6)^4*x(8)^3*x(14)-75*x(1)^2*x(6)^3*x(8)^3+55*x(1)^2*x(6)^2*x(8)^2*x(14)^2-400*x(1)^3*x
(6)*x(8)^2*x(14)+250*x(1)^4*x(8)^2-25*x(1)*x(6)^2*x(8)^2+8*x(1)*x(6)*x(8)*x(14)^2-70*x(1)^2*x(8)*x(1
4)-4*x(6)*x(8)+x(14)^2
2
c1
E,a
x(8)0
x(6)0
TBO (dim: 3)
W 
J
-29296875*x(1)^12*x(6)^5*x(8)^8*x(14)-5859375*x(1)^11*x(6)^4*x(8)^7*x(14)+29296875*x(1)^12*x(6)^3*x(
8)^7+146484375*x(1)^14*x(8)^6-1171875*x(1)^10*x(6)^3*x(8)^6*x(14)+5859375*x(1)^11*x(6)^2*x(8)^6-2187
50*x(1)^7*x(6)^5*x(8)^6*x(14)-234375*x(1)^9*x(6)^2*x(8)^5*x(14)+12500*x(1)^5*x(6)^5*x(8)^5*x(14)^2+1
171875*x(1)^10*x(6)*x(8)^5-34375*x(1)^6*x(6)^4*x(8)^5*x(14)+218750*x(1)^7*x(6)^3*x(8)^5-46875*x(1)^8
*x(6)*x(8)^4*x(14)+2125*x(1)^4*x(6)^4*x(8)^4*x(14)^2+1328125*x(1)^9*x(8)^4-17500*x(1)^5*x(6)^3*x(8)^
4*x(14)+34375*x(1)^6*x(6)^2*x(8)^4+75*x(1)^2*x(6)^5*x(8)^4*x(14)-71875*x(1)^7*x(8)^3*x(14)+350*x(1)^
3*x(6)^3*x(8)^3*x(14)^2-2750*x(1)^4*x(6)^2*x(8)^3*x(14)+4*x(6)^5*x(8)^3*x(14)^2+5000*x(1)^5*x(6)*x(8
)^3+25*x(1)*x(6)^4*x(8)^3*x(14)-75*x(1)^2*x(6)^3*x(8)^3+55*x(1)^2*x(6)^2*x(8)^2*x(14)^2-400*x(1)^3*x
(6)*x(8)^2*x(14)+250*x(1)^4*x(8)^2-25*x(1)*x(6)^2*x(8)^2+8*x(1)*x(6)*x(8)*x(14)^2-70*x(1)^2*x(8)*x(1
4)-4*x(6)*x(8)+x(14)^2
2
E
x(8)
x(6)
EM 
SBO (dim: 3)
W 
J
-29296875*x(1)^12*x(6)^5*x(8)^8*x(14)-5859375*x(1)^11*x(6)^4*x(8)^7*x(14)+29296875*x(1)^12*x(6)^3*x(
8)^7+146484375*x(1)^14*x(8)^6-1171875*x(1)^10*x(6)^3*x(8)^6*x(14)+5859375*x(1)^11*x(6)^2*x(8)^6-2187
50*x(1)^7*x(6)^5*x(8)^6*x(14)-234375*x(1)^9*x(6)^2*x(8)^5*x(14)+12500*x(1)^5*x(6)^5*x(8)^5*x(14)^2+1
171875*x(1)^10*x(6)*x(8)^5-34375*x(1)^6*x(6)^4*x(8)^5*x(14)+218750*x(1)^7*x(6)^3*x(8)^5-46875*x(1)^8
*x(6)*x(8)^4*x(14)+2125*x(1)^4*x(6)^4*x(8)^4*x(14)^2+1328125*x(1)^9*x(8)^4-17500*x(1)^5*x(6)^3*x(8)^
4*x(14)+34375*x(1)^6*x(6)^2*x(8)^4+75*x(1)^2*x(6)^5*x(8)^4*x(14)-71875*x(1)^7*x(8)^3*x(14)+350*x(1)^
3*x(6)^3*x(8)^3*x(14)^2-2750*x(1)^4*x(6)^2*x(8)^3*x(14)+4*x(6)^5*x(8)^3*x(14)^2+5000*x(1)^5*x(6)*x(8
)^3+25*x(1)*x(6)^4*x(8)^3*x(14)-75*x(1)^2*x(6)^3*x(8)^3+55*x(1)^2*x(6)^2*x(8)^2*x(14)^2-400*x(1)^3*x
(6)*x(8)^2*x(14)+250*x(1)^4*x(8)^2-25*x(1)*x(6)^2*x(8)^2+8*x(1)*x(6)*x(8)*x(14)^2-70*x(1)^2*x(8)*x(1
4)-4*x(6)*x(8)+x(14)^2
2
E
x(8)
x(6)
WBO (dim: 2)
W
x(14)
J
-488281250*x(1)^13*x(4)^2*x(6)^5*x(8)^8*x(14)-1464843750*x(1)^13*x(4)*x(6)^5*x(8)^8*x(14)-1953125000
*x(1)^13*x(6)^5*x(8)^8*x(14)-97656250*x(1)^12*x(4)^2*x(6)^4*x(8)^7*x(14)+488281250*x(1)^13*x(4)^2*x(
6)^3*x(8)^7-292968750*x(1)^12*x(4)*x(6)^4*x(8)^7*x(14)+1464843750*x(1)^13*x(4)*x(6)^3*x(8)^7-3906250
00*x(1)^12*x(6)^4*x(8)^7*x(14)+2441406250*x(1)^15*x(4)^2*x(8)^6+1953125000*x(1)^13*x(6)^3*x(8)^7+732
4218750*x(1)^15*x(4)*x(8)^6+97656250*x(1)^12*x(4)^2*x(6)^2*x(8)^6-6250000*x(1)^8*x(4)^2*x(6)^5*x(8)^
6*x(14)+9765625000*x(1)^15*x(8)^6+292968750*x(1)^12*x(4)*x(6)^2*x(8)^6-18750000*x(1)^8*x(4)*x(6)^5*x
(8)^6*x(14)+390625000*x(1)^12*x(6)^2*x(8)^6-23437500*x(1)^8*x(6)^5*x(8)^6*x(14)+19531250*x(1)^11*x(4
)^2*x(6)*x(8)^5-1093750*x(1)^7*x(4)^2*x(6)^4*x(8)^5*x(14)+58593750*x(1)^11*x(4)*x(6)*x(8)^5+6250000*
x(1)^8*x(4)^2*x(6)^3*x(8)^5-3281250*x(1)^7*x(4)*x(6)^4*x(8)^5*x(14)+78125000*x(1)^11*x(6)*x(8)^5+187
50000*x(1)^8*x(4)*x(6)^3*x(8)^5-4062500*x(1)^7*x(6)^4*x(8)^5*x(14)+35156250*x(1)^10*x(4)^2*x(8)^4+23
437500*x(1)^8*x(6)^3*x(8)^5+105468750*x(1)^10*x(4)*x(8)^4+1093750*x(1)^7*x(4)^2*x(6)^2*x(8)^4-12500*
x(1)^3*x(4)^2*x(6)^5*x(8)^4*x(14)+132812500*x(1)^10*x(8)^4+3281250*x(1)^7*x(4)*x(6)^2*x(8)^4-37500*x
(1)^3*x(4)*x(6)^5*x(8)^4*x(14)+4062500*x(1)^7*x(6)^2*x(8)^4-40000*x(1)^3*x(6)^5*x(8)^4*x(14)+187500*
x(1)^6*x(4)^2*x(6)*x(8)^3-1500*x(1)^2*x(4)^2*x(6)^4*x(8)^3*x(14)+562500*x(1)^6*x(4)*x(6)*x(8)^3+1250
0*x(1)^3*x(4)^2*x(6)^3*x(8)^3-4500*x(1)^2*x(4)*x(6)^4*x(8)^3*x(14)+687500*x(1)^6*x(6)*x(8)^3+37500*x
(1)^3*x(4)*x(6)^3*x(8)^3-4500*x(1)^2*x(6)^4*x(8)^3*x(14)+93750*x(1)^5*x(4)^2*x(8)^2+40000*x(1)^3*x(6
)^3*x(8)^3+281250*x(1)^5*x(4)*x(8)^2+1500*x(1)^2*x(4)^2*x(6)^2*x(8)^2+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)^5*x(8)^8*x(14)-146484375*x(1)^12*x(6)^4*x(8)^7*x(14)+732421875*x(1)^13*x(6)^
3*x(8)^7+3662109375*x(1)^15*x(8)^6+146484375*x(1)^12*x(6)^2*x(8)^6-6640625*x(1)^8*x(6)^5*x(8)^6*x(14
)+29296875*x(1)^11*x(6)*x(8)^5-1093750*x(1)^7*x(6)^4*x(8)^5*x(14)+6640625*x(1)^8*x(6)^3*x(8)^5+39062
500*x(1)^10*x(8)^4+1093750*x(1)^7*x(6)^2*x(8)^4-1250*x(1)^3*x(6)^5*x(8)^4*x(14)+171875*x(1)^6*x(6)*x
(8)^3+375*x(1)^2*x(6)^4*x(8)^3*x(14)+1250*x(1)^3*x(6)^3*x(8)^3+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(8)1/2
x(6)1/2
Blown up to:
55 56 57
x(14) x(6) x(8)
ID: 54 Parent: 52 Tree