Non generic trees associated to Extremal F24: Leaf labels: {0: F16, 1: F15, 2: F56, 3: F35, 4: E4, 5: E2, 6: G4, 7: F36, 8: F13, 9: G2} Cone a3b Leaves and Vertices: ([0], [+Infinity, -3*r3 - r4, -3*r3 - r4, -4*r3 - r4, -3*r3 - r4, -2*r3 - r4, -3*r3 - r4, -4*r3 - r4, -2*r3 - r4, -3*r3 - r4], False) ([1], [-2*r3, +Infinity, -2*r3 - r4, -3*r3 - r4, -2*r3 - r4, -2*r3 - r4, -2*r3 - r4, g1 - 3*r3 - r4, -2*r3 - r4, -3*r3 - r4], False) ([2], [2*r3 + 2*r4, 2*r3 + r4, +Infinity, 2*r3 + r4, 3*r3 + 2*r4, 2*r3 + r4, 4*r3 + 2*r4, r3 + r4, 2*r3 + r4, r3 + r4], False) ([3], [r3 + 2*r4, r3 + r4, 2*r3 + r4, +Infinity, 2*r3 + r4, r3 + r4, 2*r3 + r4, r4, r3 + r4, r4], False) ([4], [r3 + 2*r4, r3 + r4, 2*r3 + 2*r4, r3 + r4, +Infinity, r3 + r4, 2*r3 + 2*r4, r4, r3 + r4, r4], False) ([5], [r3 + r4, 0, 0, -r3, 0, +Infinity, 0, -r3, 2*r3 + r4, r4], False) ([6], [2*r3 + r4, 2*r3, 4*r3 + r4, 2*r3, 3*r3 + r4, 2*r3, +Infinity, r3, 2*r3, r3], False) ([7], [2*r3 + r4, g1 + 2*r3, 2*r3, r3, 2*r3, 2*r3, 2*r3, +Infinity, 2*r3, r3], False) ([8], [2*r3 + r4, r3, r3, 0, r3, 3*r3 + r4, r3, 0, +Infinity, r3 + r4], False) ([9], [2*r3 + r4, r3, r3, 0, r3, 2*r3 + r4, r3, 0, 2*r3 + r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [-3*r3, -3*r3 - r4, -3*r3 - r4, -4*r3 - r4, -3*r3 - r4, -3*r3 - r4, -3*r3 - r4, -4*r3 - r4, -3*r3 - r4, -4*r3 - r4], True) ([5, 8, 9], [2*r3 + r4, r3, r3, 0, r3, 2*r3 + r4, r3, 0, 2*r3 + r4, r3 + r4], True) ([5, 8], [r3 + r4, 0, 0, -r3, 0, 2*r3 + r4, 0, -r3, 2*r3 + r4, r4], True) ([2, 4, 6], [r3 + 2*r4, r3 + r4, 2*r3 + 2*r4, r3 + r4, 2*r3 + 2*r4, r3 + r4, 2*r3 + 2*r4, r4, r3 + r4, r4], True) ([2, 3, 4, 6], [r3 + 2*r4, r3 + r4, 2*r3 + r4, r3 + r4, 2*r3 + r4, r3 + r4, 2*r3 + r4, r4, r3 + r4, r4], True) ([2, 6], [2*r3 + 2*r4, 2*r3 + r4, 4*r3 + 2*r4, 2*r3 + r4, 3*r3 + 2*r4, 2*r3 + r4, 4*r3 + 2*r4, r3 + r4, 2*r3 + r4, r3 + r4], True) ([1, 7], [-2*r3, g1 - 2*r3 - r4, -2*r3 - r4, -3*r3 - r4, -2*r3 - r4, -2*r3 - r4, -2*r3 - r4, g1 - 3*r3 - r4, -2*r3 - r4, -3*r3 - r4], True) ([0, 5, 8, 9], [-2*r3, -3*r3 - r4, -3*r3 - r4, -4*r3 - r4, -3*r3 - r4, -2*r3 - r4, -3*r3 - r4, -4*r3 - r4, -2*r3 - r4, -3*r3 - r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 3, 4, 6], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 7], abs(g1)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 5, 8, 9], abs(r3)) ([5, 8, 9], [5, 8], abs(-r3)) ([5, 8, 9], [0, 5, 8, 9], abs(-r4)) ([2, 4, 6], [2, 3, 4, 6], abs(-r4)) ([2, 4, 6], [2, 6], abs(-r3)) Parameters: g1: Cross41 - Yoshida36 Cone a3 Leaves and Vertices: ([0], [+Infinity, -3*r3, -3*r3, -4*r3, -3*r3, -2*r3, -3*r3, -4*r3, -2*r3, -3*r3], False) ([1], [-2*r3, +Infinity, -2*r3, -3*r3, -2*r3, -2*r3, -2*r3, g1 - 3*r3, -2*r3, -3*r3], False) ([2], [2*r3, 2*r3, +Infinity, 2*r3, 3*r3, 2*r3, 4*r3, r3, 2*r3, r3], False) ([3], [r3, r3, 2*r3, +Infinity, 2*r3, r3, 2*r3, 0, r3, 0], False) ([4], [r3, r3, 2*r3, r3, +Infinity, r3, 2*r3, 0, r3, 0], False) ([5], [r3, 0, 0, -r3, 0, +Infinity, 0, -r3, 2*r3, 0], False) ([6], [2*r3, 2*r3, 4*r3, 2*r3, 3*r3, 2*r3, +Infinity, r3, 2*r3, r3], False) ([7], [2*r3, g1 + 2*r3, 2*r3, r3, 2*r3, 2*r3, 2*r3, +Infinity, 2*r3, r3], False) ([8], [2*r3, r3, r3, 0, r3, 3*r3, r3, 0, +Infinity, r3], False) ([9], [2*r3, r3, r3, 0, r3, 2*r3, r3, 0, 2*r3, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [-3*r3, -3*r3, -3*r3, -4*r3, -3*r3, -3*r3, -3*r3, -4*r3, -3*r3, -4*r3], True) ([5, 8], [r3, 0, 0, -r3, 0, 2*r3, 0, -r3, 2*r3, 0], True) ([2, 3, 4, 6], [r3, r3, 2*r3, r3, 2*r3, r3, 2*r3, 0, r3, 0], True) ([2, 6], [2*r3, 2*r3, 4*r3, 2*r3, 3*r3, 2*r3, 4*r3, r3, 2*r3, r3], True) ([1, 7], [-2*r3, g1 - 2*r3, -2*r3, -3*r3, -2*r3, -2*r3, -2*r3, g1 - 3*r3, -2*r3, -3*r3], True) ([0, 5, 8, 9], [-2*r3, -3*r3, -3*r3, -4*r3, -3*r3, -2*r3, -3*r3, -4*r3, -2*r3, -3*r3], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 3, 4, 6], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 7], abs(g1)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 5, 8, 9], abs(r3)) ([5, 8], [0, 5, 8, 9], abs(-r3)) ([2, 3, 4, 6], [2, 6], abs(-r3)) Parameters: g1: Cross41 - Yoshida36 Cone a3a4 Leaves and Vertices: ([0], [+Infinity, -3*r3 - 2*r4, -3*r3 - 3*r4, -4*r3 - 4*r4, -3*r3 - 3*r4, -2*r3 - 2*r4, -3*r3 - 3*r4, -4*r3 - 4*r4, -2*r3 - r4, -3*r3 - 2*r4], False) ([1], [-2*r3 - r4, +Infinity, -2*r3 - r4, -3*r3 - 2*r4, -2*r3 - r4, -2*r3 - r4, -2*r3 - r4, g1 - 3*r3 - 2*r4, -2*r3, -3*r3 - 2*r4], False) ([2], [2*r3 + 4*r4, 2*r3 + 5*r4, +Infinity, 2*r3 + 4*r4, 3*r3 + 5*r4, 2*r3 + 4*r4, 4*r3 + 6*r4, r3 + 3*r4, 2*r3 + 5*r4, r3 + 3*r4], False) ([3], [r3 + 2*r4, r3 + 3*r4, 2*r3 + 3*r4, +Infinity, 2*r3 + 4*r4, r3 + 2*r4, 2*r3 + 3*r4, r4, r3 + 3*r4, r4], False) ([4], [r3 + r4, r3 + 2*r4, 2*r3 + 2*r4, r3 + 2*r4, +Infinity, r3 + r4, 2*r3 + 2*r4, 0, r3 + 2*r4, 0], False) ([5], [r3 + r4, r4, 0, -r3 - r4, 0, +Infinity, 0, -r3 - r4, 2*r3 + 3*r4, 0], False) ([6], [2*r3 + 5*r4, 2*r3 + 6*r4, 4*r3 + 7*r4, 2*r3 + 5*r4, 3*r3 + 6*r4, 2*r3 + 5*r4, +Infinity, r3 + 4*r4, 2*r3 + 6*r4, r3 + 4*r4], False) ([7], [2*r3 + 4*r4, g1 + 2*r3 + 5*r4, 2*r3 + 4*r4, r3 + 3*r4, 2*r3 + 4*r4, 2*r3 + 4*r4, 2*r3 + 4*r4, +Infinity, 2*r3 + 5*r4, r3 + 3*r4], False) ([8], [2*r3 + 3*r4, r3 + 3*r4, r3 + 2*r4, r4, r3 + 2*r4, 3*r3 + 4*r4, r3 + 2*r4, r4, +Infinity, r3 + 2*r4], False) ([9], [2*r3 + 4*r4, r3 + 3*r4, r3 + 2*r4, r4, r3 + 2*r4, 2*r3 + 3*r4, r3 + 2*r4, r4, 2*r3 + 4*r4, +Infinity], False) ([2, 3, 4, 6], [2*r3 + 4*r4, 2*r3 + 5*r4, 3*r3 + 5*r4, 2*r3 + 4*r4, 3*r3 + 5*r4, 2*r3 + 4*r4, 3*r3 + 5*r4, r3 + 3*r4, 2*r3 + 5*r4, r3 + 3*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [-2*r3 - r4, -2*r3, -2*r3 - r4, -3*r3 - 2*r4, -2*r3 - r4, -2*r3 - r4, -2*r3 - r4, -3*r3 - 2*r4, -2*r3, -3*r3 - 2*r4], True) ([0, 5, 8, 9], [-2*r3 - 2*r4, -3*r3 - 2*r4, -3*r3 - 3*r4, -4*r3 - 4*r4, -3*r3 - 3*r4, -2*r3 - 2*r4, -3*r3 - 3*r4, -4*r3 - 4*r4, -2*r3 - r4, -3*r3 - 3*r4], True) ([5, 8], [r3 + r4, r4, 0, -r3 - r4, 0, 2*r3 + 2*r4, 0, -r3 - r4, 2*r3 + 3*r4, 0], True) ([3, 4], [r3 + 2*r4, r3 + 3*r4, 2*r3 + 3*r4, r3 + 3*r4, 2*r3 + 4*r4, r3 + 2*r4, 2*r3 + 3*r4, r4, r3 + 3*r4, r4], True) ([2, 6], [2*r3 + 4*r4, 2*r3 + 5*r4, 4*r3 + 6*r4, 2*r3 + 4*r4, 3*r3 + 5*r4, 2*r3 + 4*r4, 4*r3 + 6*r4, r3 + 3*r4, 2*r3 + 5*r4, r3 + 3*r4], True) ([1, 7], [-2*r3 - r4, g1 - 2*r3, -2*r3 - r4, -3*r3 - 2*r4, -2*r3 - r4, -2*r3 - r4, -2*r3 - r4, g1 - 3*r3 - 2*r4, -2*r3, -3*r3 - 2*r4], True) ([0, 9], [-2*r3 - r4, -3*r3 - 2*r4, -3*r3 - 3*r4, -4*r3 - 4*r4, -3*r3 - 3*r4, -2*r3 - 2*r4, -3*r3 - 3*r4, -4*r3 - 4*r4, -2*r3 - r4, -3*r3 - 2*r4], True) Distances: ([2, 3, 4, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r3 - r4)) ([2, 3, 4, 6], [3, 4], abs(-r4)) ([2, 3, 4, 6], [2, 6], abs(-r3 - r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 5, 8, 9], abs(r3 + r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 7], abs(g1)) ([0, 5, 8, 9], [5, 8], abs(-r3 - r4)) ([0, 5, 8, 9], [0, 9], abs(-r4)) Parameters: g1: Cross41 - Yoshida36 Cone b Leaves and Vertices: ([0], [+Infinity, -r4, -r4, g3 - r4, -r4, -r4, -r4, -r4, -r4, -r4], False) ([1], [0, +Infinity, -r4, -r4, -r4, -r4, -r4, g1 - r4, -r4, -r4], False) ([2], [2*r4, r4, +Infinity, r4, 2*r4, r4, 2*r4, r4, r4, r4], False) ([3], [g3 + 2*r4, r4, r4, +Infinity, r4, r4, r4, r4, r4, r4], False) ([4], [2*r4, r4, 2*r4, r4, +Infinity, r4, 2*r4, r4, r4, r4], False) ([5], [r4, 0, 0, 0, 0, +Infinity, 0, 0, r4, r4], False) ([6], [r4, 0, r4, 0, r4, 0, +Infinity, 0, 0, 0], False) ([7], [r4, g1, 0, 0, 0, 0, 0, +Infinity, 0, 0], False) ([8], [r4, 0, 0, 0, 0, r4, 0, 0, +Infinity, r4], False) ([9], [r4, 0, 0, 0, 0, r4, 0, 0, r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, -r4, -r4, -r4, -r4, -r4, -r4, -r4, -r4, -r4], True) ([5, 8, 9], [r4, 0, 0, 0, 0, r4, 0, 0, r4, r4], True) ([2, 4, 6], [2*r4, r4, 2*r4, r4, 2*r4, r4, 2*r4, r4, r4, r4], True) ([1, 7], [0, g1 - r4, -r4, -r4, -r4, -r4, -r4, g1 - r4, -r4, -r4], True) ([0, 3], [g3, -r4, -r4, g3 - r4, -r4, -r4, -r4, -r4, -r4, -r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [5, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 4, 6], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 7], abs(g1)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 3], abs(g3)) Parameters: g3: Cross60 - Yoshida35 g1: Cross41 - Yoshida36 Cone a4 Leaves and Vertices: ([0], [+Infinity, -2*r4, -3*r4, -4*r4, -3*r4, -2*r4, -3*r4, -4*r4, -r4, -2*r4], False) ([1], [-r4, +Infinity, -r4, -2*r4, -r4, -r4, -r4, g1 - 2*r4, 0, -2*r4], False) ([2], [4*r4, 5*r4, +Infinity, 4*r4, 5*r4, 4*r4, 6*r4, 3*r4, 5*r4, 3*r4], False) ([3], [2*r4, 3*r4, 3*r4, +Infinity, 4*r4, 2*r4, 3*r4, r4, 3*r4, r4], False) ([4], [r4, 2*r4, 2*r4, 2*r4, +Infinity, r4, 2*r4, 0, 2*r4, 0], False) ([5], [r4, r4, 0, -r4, 0, +Infinity, 0, -r4, 3*r4, 0], False) ([6], [5*r4, 6*r4, 7*r4, 5*r4, 6*r4, 5*r4, +Infinity, 4*r4, 6*r4, 4*r4], False) ([7], [4*r4, g1 + 5*r4, 4*r4, 3*r4, 4*r4, 4*r4, 4*r4, +Infinity, 5*r4, 3*r4], False) ([8], [3*r4, 3*r4, 2*r4, r4, 2*r4, 4*r4, 2*r4, r4, +Infinity, 2*r4], False) ([9], [4*r4, 3*r4, 2*r4, r4, 2*r4, 3*r4, 2*r4, r4, 4*r4, +Infinity], False) ([2, 3, 4, 6], [4*r4, 5*r4, 5*r4, 4*r4, 5*r4, 4*r4, 5*r4, 3*r4, 5*r4, 3*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [-r4, 0, -r4, -2*r4, -r4, -r4, -r4, -2*r4, 0, -2*r4], True) ([0, 5, 8, 9], [-2*r4, -2*r4, -3*r4, -4*r4, -3*r4, -2*r4, -3*r4, -4*r4, -r4, -3*r4], True) ([5, 8], [r4, r4, 0, -r4, 0, 2*r4, 0, -r4, 3*r4, 0], True) ([3, 4], [2*r4, 3*r4, 3*r4, 3*r4, 4*r4, 2*r4, 3*r4, r4, 3*r4, r4], True) ([2, 6], [4*r4, 5*r4, 6*r4, 4*r4, 5*r4, 4*r4, 6*r4, 3*r4, 5*r4, 3*r4], True) ([1, 7], [-r4, g1, -r4, -2*r4, -r4, -r4, -r4, g1 - 2*r4, 0, -2*r4], True) ([0, 9], [-r4, -2*r4, -3*r4, -4*r4, -3*r4, -2*r4, -3*r4, -4*r4, -r4, -2*r4], True) Distances: ([2, 3, 4, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([2, 3, 4, 6], [3, 4], abs(-r4)) ([2, 3, 4, 6], [2, 6], abs(-r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 5, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 7], abs(g1)) ([0, 5, 8, 9], [5, 8], abs(-r4)) ([0, 5, 8, 9], [0, 9], abs(-r4)) Parameters: g1: Cross41 - Yoshida36