Non generic trees associated to Extremal F45: Leaf labels: {0: F13, 1: F36, 2: F12, 3: E4, 4: G4, 5: E5, 6: F26, 7: F16, 8: G5, 9: F23} Cone a Leaves and Vertices: ([0], [+Infinity, 0, 0, 0, 0, 0, 0, 0, 0, r1], False) ([1], [r1, +Infinity, g3 + r1, r1, r1, r1, r1, r1, r1, r1], False) ([2], [r1, g3 + r1, +Infinity, r1, r1, r1, r1, r1, r1, r1], False) ([3], [2*r1, 2*r1, 2*r1, +Infinity, 2*r1, 2*r1, 2*r1, 2*r1, g0 + 2*r1, 2*r1], False) ([4], [r1, r1, r1, r1, +Infinity, g2 + r1, r1, r1, r1, r1], False) ([5], [2*r1, 2*r1, 2*r1, 2*r1, g2 + 2*r1, +Infinity, 2*r1, 2*r1, 2*r1, 2*r1], False) ([6], [0, 0, 0, 0, 0, 0, +Infinity, r1, 0, 0], False) ([7], [0, 0, 0, 0, 0, 0, r1, +Infinity, 0, 0], False) ([8], [r1, r1, r1, g0 + r1, r1, r1, r1, r1, +Infinity, r1], False) ([9], [r1, 0, 0, 0, 0, 0, 0, 0, 0, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0], True) ([6, 7], [0, 0, 0, 0, 0, 0, r1, r1, 0, 0], True) ([4, 5], [r1, r1, r1, r1, g2 + r1, g2 + r1, r1, r1, r1, r1], True) ([3, 8], [2*r1, 2*r1, 2*r1, g0 + 2*r1, 2*r1, 2*r1, 2*r1, 2*r1, g0 + 2*r1, 2*r1], True) ([1, 2], [r1, g3 + r1, g3 + r1, r1, r1, r1, r1, r1, r1, r1], True) ([0, 9], [r1, 0, 0, 0, 0, 0, 0, 0, 0, r1], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [6, 7], abs(r1)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5], abs(g2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8], abs(g0)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(g3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 9], abs(r1)) Parameters: g3: Cross97 - Yoshida38 g2: Cross76 - Yoshida38 g0: Cross3 - Yoshida38 Cone aa4 Leaves and Vertices: ([0], [+Infinity, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, r1 + 6*r4], False) ([1], [r1 + 7*r4, +Infinity, g3 + r1 + 6*r4, r1 + 5*r4, r1 + 5*r4, r1 + 5*r4, r1 + 7*r4, r1 + 7*r4, r1 + 6*r4, r1 + 7*r4], False) ([2], [r1 + 6*r4, g3 + r1 + 6*r4, +Infinity, r1 + 4*r4, r1 + 4*r4, r1 + 4*r4, r1 + 6*r4, r1 + 6*r4, r1 + 5*r4, r1 + 6*r4], False) ([3], [2*r1 + 5*r4, 2*r1 + 5*r4, 2*r1 + 4*r4, +Infinity, 2*r1 + 3*r4, 2*r1 + 5*r4, 2*r1 + 6*r4, 2*r1 + 6*r4, 2*r1 + 4*r4, 2*r1 + 5*r4], False) ([4], [r1 + 4*r4, r1 + 3*r4, r1 + 2*r4, r1 + r4, +Infinity, r1 + r4, r1 + 3*r4, r1 + 3*r4, r1 + 4*r4, r1 + 4*r4], False) ([5], [2*r1 + 5*r4, 2*r1 + 5*r4, 2*r1 + 4*r4, 2*r1 + 5*r4, 2*r1 + 3*r4, +Infinity, 2*r1 + 6*r4, 2*r1 + 6*r4, 2*r1 + 4*r4, 2*r1 + 5*r4], False) ([6], [6*r4, 6*r4, 5*r4, 5*r4, 4*r4, 5*r4, +Infinity, r1 + 8*r4, 5*r4, 6*r4], False) ([7], [6*r4, 6*r4, 5*r4, 5*r4, 4*r4, 5*r4, r1 + 8*r4, +Infinity, 5*r4, 6*r4], False) ([8], [r1 + 4*r4, r1 + 3*r4, r1 + 2*r4, r1 + r4, r1 + 3*r4, r1 + r4, r1 + 3*r4, r1 + 3*r4, +Infinity, r1 + 4*r4], False) ([9], [r1 + 6*r4, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, +Infinity], False) ([3, 5, 6, 7], [2*r1 + 5*r4, 2*r1 + 5*r4, 2*r1 + 4*r4, 2*r1 + 4*r4, 2*r1 + 3*r4, 2*r1 + 4*r4, 2*r1 + 6*r4, 2*r1 + 6*r4, 2*r1 + 4*r4, 2*r1 + 5*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 7*r4, r1 + 7*r4, r1 + 6*r4, r1 + 5*r4, r1 + 5*r4, r1 + 5*r4, r1 + 7*r4, r1 + 7*r4, r1 + 6*r4, r1 + 7*r4], True) ([0, 4, 8, 9], [5*r4, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, 5*r4], True) ([6, 7], [6*r4, 6*r4, 5*r4, 5*r4, 4*r4, 5*r4, r1 + 8*r4, r1 + 8*r4, 5*r4, 6*r4], True) ([4, 8], [r1 + 4*r4, r1 + 3*r4, r1 + 2*r4, r1 + r4, r1 + 3*r4, r1 + r4, r1 + 3*r4, r1 + 3*r4, r1 + 4*r4, r1 + 4*r4], True) ([3, 5], [2*r1 + 5*r4, 2*r1 + 5*r4, 2*r1 + 4*r4, 2*r1 + 5*r4, 2*r1 + 3*r4, 2*r1 + 5*r4, 2*r1 + 6*r4, 2*r1 + 6*r4, 2*r1 + 4*r4, 2*r1 + 5*r4], True) ([1, 2], [r1 + 7*r4, g3 + r1 + 7*r4, g3 + r1 + 6*r4, r1 + 5*r4, r1 + 5*r4, r1 + 5*r4, r1 + 7*r4, r1 + 7*r4, r1 + 6*r4, r1 + 7*r4], True) ([0, 9], [r1 + 6*r4, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, r1 + 6*r4], True) Distances: ([3, 5, 6, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 5, 6, 7], [6, 7], abs(-r1 - r4)) ([3, 5, 6, 7], [3, 5], abs(-r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 4, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(g3)) ([0, 4, 8, 9], [4, 8], abs(-r4)) ([0, 4, 8, 9], [0, 9], abs(-r1 - r4)) Parameters: g3: Cross97 - Yoshida38 Cone ab Leaves and Vertices: ([0], [+Infinity, r4, 2*r4, r4, r4, r4, 2*r4, 2*r4, r4, r1 + 2*r4], False) ([1], [r1 + 2*r4, +Infinity, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 4*r4, r1 + 4*r4, r1 + 2*r4, r1 + 2*r4], False) ([2], [r1 + 2*r4, r1 + r4, +Infinity, r1 + r4, r1 + r4, r1 + r4, r1 + 2*r4, r1 + 2*r4, r1 + r4, r1 + 2*r4], False) ([3], [2*r1 + r4, 2*r1 + r4, 2*r1 + r4, +Infinity, 2*r1 + r4, 2*r1 + r4, 2*r1 + 2*r4, 2*r1 + 2*r4, g0 + 2*r1 + r4, 2*r1 + r4], False) ([4], [r1, r1, r1, r1, +Infinity, g2 + r1, r1 + r4, r1 + r4, r1, r1], False) ([5], [2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + r4, g2 + 2*r1 + r4, +Infinity, 2*r1 + 2*r4, 2*r1 + 2*r4, 2*r1 + r4, 2*r1 + r4], False) ([6], [2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, +Infinity, r1 + 4*r4, 2*r4, 2*r4], False) ([7], [2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, r1 + 4*r4, +Infinity, 2*r4, 2*r4], False) ([8], [r1, r1, r1, g0 + r1, r1, r1, r1 + r4, r1 + r4, +Infinity, r1], False) ([9], [r1 + 2*r4, r4, 2*r4, r4, r4, r4, 2*r4, 2*r4, r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 3*r4, r1 + 3*r4, r1 + 2*r4, r1 + 2*r4], True) ([6, 7], [2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, r1 + 4*r4, r1 + 4*r4, 2*r4, 2*r4], True) ([4, 5], [r1, r1, r1, r1, g2 + r1, g2 + r1, r1 + r4, r1 + r4, r1, r1], True) ([3, 8], [2*r1 + r4, 2*r1 + r4, 2*r1 + r4, g0 + 2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + 2*r4, 2*r1 + 2*r4, g0 + 2*r1 + r4, 2*r1 + r4], True) ([0, 2, 9], [r1 + 2*r4, r1 + r4, r1 + 2*r4, r1 + r4, r1 + r4, r1 + r4, r1 + 2*r4, r1 + 2*r4, r1 + r4, r1 + 2*r4], True) ([1, 6, 7], [r1 + 2*r4, r1 + 3*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 4*r4, r1 + 4*r4, r1 + 2*r4, r1 + 2*r4], True) ([0, 9], [r1 + 2*r4, r4, 2*r4, r4, r4, r4, 2*r4, 2*r4, r4, r1 + 2*r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5], abs(g2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8], abs(g0)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 2, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 6, 7], abs(r4)) ([6, 7], [1, 6, 7], abs(-r1)) ([0, 2, 9], [0, 9], abs(-r1)) Parameters: g2: Cross76 - Yoshida38 g0: Cross3 - Yoshida38 Cone b Leaves and Vertices: ([0], [+Infinity, r4, 2*r4, r4, r4, r4, 2*r4, 2*r4, r4, 2*r4], False) ([1], [2*r4, +Infinity, 2*r4, 2*r4, 2*r4, 2*r4, 4*r4, 4*r4, 2*r4, 2*r4], False) ([2], [2*r4, r4, +Infinity, r4, r4, r4, 2*r4, 2*r4, r4, 2*r4], False) ([3], [r4, r4, r4, +Infinity, r4, r4, 2*r4, 2*r4, g0 + r4, r4], False) ([4], [0, 0, 0, 0, +Infinity, g2, r4, r4, 0, 0], False) ([5], [r4, r4, r4, r4, g2 + r4, +Infinity, 2*r4, 2*r4, r4, r4], False) ([6], [2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, +Infinity, 4*r4, 2*r4, 2*r4], False) ([7], [2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, 4*r4, +Infinity, 2*r4, 2*r4], False) ([8], [0, 0, 0, g0, 0, 0, r4, r4, +Infinity, 0], False) ([9], [2*r4, r4, 2*r4, r4, r4, r4, 2*r4, 2*r4, r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r4, r4, r4, r4, r4, r4, 2*r4, 2*r4, r4, r4], True) ([4, 5], [0, 0, 0, 0, g2, g2, r4, r4, 0, 0], True) ([3, 8], [r4, r4, r4, g0 + r4, r4, r4, 2*r4, 2*r4, g0 + r4, r4], True) ([1, 6, 7], [2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, 4*r4, 4*r4, 2*r4, 2*r4], True) ([0, 2, 9], [2*r4, r4, 2*r4, r4, r4, r4, 2*r4, 2*r4, r4, 2*r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5], abs(g2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8], abs(g0)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 6, 7], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 2, 9], abs(r4)) Parameters: g2: Cross76 - Yoshida38 g0: Cross3 - Yoshida38 Cone a4 Leaves and Vertices: ([0], [+Infinity, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, 6*r4], False) ([1], [7*r4, +Infinity, g3 + 6*r4, 5*r4, 5*r4, 5*r4, 7*r4, 7*r4, 6*r4, 7*r4], False) ([2], [6*r4, g3 + 6*r4, +Infinity, 4*r4, 4*r4, 4*r4, 6*r4, 6*r4, 5*r4, 6*r4], False) ([3], [5*r4, 5*r4, 4*r4, +Infinity, 3*r4, 5*r4, 6*r4, 6*r4, 4*r4, 5*r4], False) ([4], [4*r4, 3*r4, 2*r4, r4, +Infinity, r4, 3*r4, 3*r4, 4*r4, 4*r4], False) ([5], [5*r4, 5*r4, 4*r4, 5*r4, 3*r4, +Infinity, 6*r4, 6*r4, 4*r4, 5*r4], False) ([6], [6*r4, 6*r4, 5*r4, 5*r4, 4*r4, 5*r4, +Infinity, 8*r4, 5*r4, 6*r4], False) ([7], [6*r4, 6*r4, 5*r4, 5*r4, 4*r4, 5*r4, 8*r4, +Infinity, 5*r4, 6*r4], False) ([8], [4*r4, 3*r4, 2*r4, r4, 3*r4, r4, 3*r4, 3*r4, +Infinity, 4*r4], False) ([9], [6*r4, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, +Infinity], False) ([3, 5, 6, 7], [5*r4, 5*r4, 4*r4, 4*r4, 3*r4, 4*r4, 6*r4, 6*r4, 4*r4, 5*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [7*r4, 7*r4, 6*r4, 5*r4, 5*r4, 5*r4, 7*r4, 7*r4, 6*r4, 7*r4], True) ([0, 4, 8, 9], [5*r4, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, 5*r4], True) ([6, 7], [6*r4, 6*r4, 5*r4, 5*r4, 4*r4, 5*r4, 8*r4, 8*r4, 5*r4, 6*r4], True) ([4, 8], [4*r4, 3*r4, 2*r4, r4, 3*r4, r4, 3*r4, 3*r4, 4*r4, 4*r4], True) ([3, 5], [5*r4, 5*r4, 4*r4, 5*r4, 3*r4, 5*r4, 6*r4, 6*r4, 4*r4, 5*r4], True) ([1, 2], [7*r4, g3 + 7*r4, g3 + 6*r4, 5*r4, 5*r4, 5*r4, 7*r4, 7*r4, 6*r4, 7*r4], True) ([0, 9], [6*r4, 4*r4, 3*r4, 2*r4, 3*r4, 2*r4, 4*r4, 4*r4, 4*r4, 6*r4], True) Distances: ([3, 5, 6, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 5, 6, 7], [6, 7], abs(-r4)) ([3, 5, 6, 7], [3, 5], abs(-r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 4, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(g3)) ([0, 4, 8, 9], [4, 8], abs(-r4)) ([0, 4, 8, 9], [0, 9], abs(-r4)) Parameters: g3: Cross97 - Yoshida38