Non generic trees associated to Extremal F15:

Leaf labels:
{0: G5, 1: F26, 2: F24, 3: F36, 4: F46, 5: G1, 6: F23, 7: E1, 8: F34, 9: E5}

Cone a3b
Leaves and Vertices:
([0], [+Infinity, r3 + r4, r3, 0, 2*r3 + r4, r3, r3, 0, r3, 2*r3 + r4], False)
([1], [0, +Infinity, 0, -r3, -r3, r3, r3, 0, -r3, 0], False)
([2], [-2*r3 - r4, -2*r3, +Infinity, g2 - 3*r3 - r4, -3*r3 - r4, -2*r3 - r4, -2*r3 - r4, -3*r3 - r4, -3*r3 - r4, -2*r3 - r4], False)
([3], [r3, r3 + r4, g2 + r3, +Infinity, 0, r3, r3, 0, 0, r3], False)
([4], [3*r3 + r4, r3 + r4, r3, 0, +Infinity, r3, r3, 0, r3, 2*r3 + r4], False)
([5], [-2*r3 - 2*r4, -r3 - r4, -2*r3 - 2*r4, -3*r3 - 2*r4, -3*r3 - 2*r4, +Infinity, -r3 - r4, -2*r3 - r4, -3*r3 - 2*r4, -2*r3 - 2*r4], False)
([6], [-r3 - 2*r4, -r4, -r3 - 2*r4, -2*r3 - 2*r4, -2*r3 - 2*r4, -r4, +Infinity, -r4, -2*r3 - 2*r4, -r3 - 2*r4], False)
([7], [0, r3 + r4, 0, -r3, -r3, r3 + r4, 2*r3 + r4, +Infinity, -r3, 0], False)
([8], [-r4, -r3, -r3 - r4, -2*r3 - r4, -r3 - r4, -r3 - r4, -r3 - r4, -2*r3 - r4, +Infinity, -r4], False)
([9], [r4, -r3 + r4, -r3, -2*r3, -r3 + r4, -r3, -r3, -2*r3, -r3, +Infinity], False)
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, r4, 0, -r3, -r3, 0, 0, -r3, -r3, 0], True)
([0, 4, 9], [r4, -r3 + r4, -r3, -2*r3, -r3 + r4, -r3, -r3, -2*r3, -r3, r4], True)
([0, 4, 8, 9], [-r4, -r3, -r3 - r4, -2*r3 - r4, -r3 - r4, -r3 - r4, -r3 - r4, -2*r3 - r4, -r3 - r4, -r4], True)
([6, 7], [-r3 - 2*r4, -r4, -r3 - 2*r4, -2*r3 - 2*r4, -2*r3 - 2*r4, -r4, r3 - r4, -r4, -2*r3 - 2*r4, -r3 - 2*r4], True)
([5, 6, 7], [-2*r3 - 2*r4, -r3 - r4, -2*r3 - 2*r4, -3*r3 - 2*r4, -3*r3 - 2*r4, -r3 - r4, -r3 - r4, -2*r3 - r4, -3*r3 - 2*r4, -2*r3 - 2*r4], True)
([2, 3], [-2*r3 - r4, -2*r3, g2 - 2*r3 - r4, g2 - 3*r3 - r4, -3*r3 - r4, -2*r3 - r4, -2*r3 - r4, -3*r3 - r4, -3*r3 - r4, -2*r3 - r4], True)
([1, 5, 6, 7], [0, r3 + r4, 0, -r3, -r3, r3, r3, 0, -r3, 0], True)
([0, 4], [3*r3 + r4, r3 + r4, r3, 0, 2*r3 + r4, r3, r3, 0, r3, 2*r3 + r4], True)
Distances: 
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 4, 8, 9], abs(r3))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 3], abs(g2))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 5, 6, 7], abs(r3))
([0, 4, 9], [0, 4, 8, 9], abs(-r4))
([0, 4, 9], [0, 4], abs(-r3))
([6, 7], [5, 6, 7], abs(-r3))
([5, 6, 7], [1, 5, 6, 7], abs(-r4))
Parameters:
g2: Cross41 - Yoshida36


Cone a3
Leaves and Vertices:
([0], [+Infinity, r3, r3, 0, 2*r3, r3, r3, 0, r3, 2*r3], False)
([1], [0, +Infinity, 0, -r3, -r3, r3, r3, 0, -r3, 0], False)
([2], [-2*r3, -2*r3, +Infinity, g2 - 3*r3, -3*r3, -2*r3, -2*r3, -3*r3, -3*r3, -2*r3], False)
([3], [r3, r3, g2 + r3, +Infinity, 0, r3, r3, 0, 0, r3], False)
([4], [3*r3, r3, r3, 0, +Infinity, r3, r3, 0, r3, 2*r3], False)
([5], [-2*r3, -r3, -2*r3, -3*r3, -3*r3, +Infinity, -r3, -2*r3, -3*r3, -2*r3], False)
([6], [-r3, 0, -r3, -2*r3, -2*r3, 0, +Infinity, 0, -2*r3, -r3], False)
([7], [0, r3, 0, -r3, -r3, r3, 2*r3, +Infinity, -r3, 0], False)
([8], [0, -r3, -r3, -2*r3, -r3, -r3, -r3, -2*r3, +Infinity, 0], False)
([9], [0, -r3, -r3, -2*r3, -r3, -r3, -r3, -2*r3, -r3, +Infinity], False)
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 0, 0, -r3, -r3, 0, 0, -r3, -r3, 0], True)
([0, 4, 8, 9], [0, -r3, -r3, -2*r3, -r3, -r3, -r3, -2*r3, -r3, 0], True)
([6, 7], [-r3, 0, -r3, -2*r3, -2*r3, 0, r3, 0, -2*r3, -r3], True)
([2, 3], [-2*r3, -2*r3, g2 - 2*r3, g2 - 3*r3, -3*r3, -2*r3, -2*r3, -3*r3, -3*r3, -2*r3], True)
([1, 5, 6, 7], [0, r3, 0, -r3, -r3, r3, r3, 0, -r3, 0], True)
([0, 4], [3*r3, r3, r3, 0, 2*r3, r3, r3, 0, r3, 2*r3], True)
Distances: 
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 4, 8, 9], abs(r3))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 3], abs(g2))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 5, 6, 7], abs(r3))
([0, 4, 8, 9], [0, 4], abs(-r3))
([6, 7], [1, 5, 6, 7], abs(-r3))
Parameters:
g2: Cross41 - Yoshida36


Cone a3a4
Leaves and Vertices:
([0], [+Infinity, r3 + 2*r4, r3 + 3*r4, r4, 2*r3 + 3*r4, r3 + 2*r4, r3 + 3*r4, r4, r3 + 2*r4, 2*r3 + 3*r4], False)
([1], [r4, +Infinity, r4, -r3 - r4, -r3 - r4, r3 + 2*r4, r3 + 2*r4, 0, -r3 - r4, 0], False)
([2], [-2*r3, -2*r3 - r4, +Infinity, g2 - 3*r3 - 2*r4, -3*r3 - 2*r4, -2*r3 - r4, -2*r3, -3*r3 - 2*r4, -3*r3 - 2*r4, -2*r3 - r4], False)
([3], [r3 + 4*r4, r3 + 3*r4, g2 + r3 + 4*r4, +Infinity, 2*r4, r3 + 3*r4, r3 + 4*r4, 2*r4, 2*r4, r3 + 3*r4], False)
([4], [3*r3 + 6*r4, r3 + 3*r4, r3 + 4*r4, 2*r4, +Infinity, r3 + 3*r4, r3 + 4*r4, 2*r4, r3 + 3*r4, 2*r3 + 4*r4], False)
([5], [-2*r3, -r3 + r4, -2*r3, -3*r3 - 2*r4, -3*r3 - 2*r4, +Infinity, -r3 + r4, -2*r3 - r4, -3*r3 - 2*r4, -2*r3 - r4], False)
([6], [-r3 + r4, r4, -r3 + r4, -2*r3 - r4, -2*r3 - r4, r4, +Infinity, r4, -2*r3 - r4, -r3], False)
([7], [2*r4, r3 + 2*r4, 2*r4, -r3, -r3, r3 + 2*r4, 2*r3 + 4*r4, +Infinity, -r3, r4], False)
([8], [2*r4, -r3, -r3 + r4, -2*r3 - r4, -r3, -r3, -r3 + r4, -2*r3 - r4, +Infinity, 2*r4], False)
([9], [2*r4, -r3, -r3 + r4, -2*r3 - r4, -r3, -r3, -r3 + r4, -2*r3 - r4, -r3 + r4, +Infinity], False)
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [-2*r3, -2*r3 - r4, -2*r3, -3*r3 - 2*r4, -3*r3 - 2*r4, -2*r3 - r4, -2*r3, -3*r3 - 2*r4, -3*r3 - 2*r4, -2*r3 - r4], True)
([1, 5, 6, 7], [r4, r3 + r4, r4, -r3 - r4, -r3 - r4, r3 + r4, r3 + 2*r4, 0, -r3 - r4, 0], True)
([0, 4, 8, 9], [2*r3 + 4*r4, r3 + 2*r4, r3 + 3*r4, r4, r3 + 2*r4, r3 + 2*r4, r3 + 3*r4, r4, r3 + 2*r4, 2*r3 + 3*r4], True)
([8, 9], [2*r4, -r3, -r3 + r4, -2*r3 - r4, -r3, -r3, -r3 + r4, -2*r3 - r4, -r3 + r4, 2*r4], True)
([6, 7], [-r3 + r4, r4, -r3 + r4, -2*r3 - r4, -2*r3 - r4, r4, r3 + 3*r4, r4, -2*r3 - r4, -r3], True)
([2, 3], [-2*r3, -2*r3 - r4, g2 - 2*r3, g2 - 3*r3 - 2*r4, -3*r3 - 2*r4, -2*r3 - r4, -2*r3, -3*r3 - 2*r4, -3*r3 - 2*r4, -2*r3 - r4], True)
([1, 5], [r4, r3 + 2*r4, r4, -r3 - r4, -r3 - r4, r3 + 2*r4, r3 + 2*r4, 0, -r3 - r4, 0], True)
([0, 4], [3*r3 + 5*r4, r3 + 2*r4, r3 + 3*r4, r4, 2*r3 + 3*r4, r3 + 2*r4, r3 + 3*r4, r4, r3 + 2*r4, 2*r3 + 3*r4], True)
Distances: 
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 5, 6, 7], abs(r3 + r4))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 4, 8, 9], abs(r3 + r4))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 3], abs(g2))
([1, 5, 6, 7], [6, 7], abs(-r3 - r4))
([1, 5, 6, 7], [1, 5], abs(-r4))
([0, 4, 8, 9], [8, 9], abs(-r4))
([0, 4, 8, 9], [0, 4], abs(-r3 - r4))
Parameters:
g2: Cross41 - Yoshida36


Cone b
Leaves and Vertices:
([0], [+Infinity, r4, 0, 0, r4, 0, 0, 0, 0, r4], False)
([1], [0, +Infinity, 0, 0, 0, 0, 0, 0, g3, 0], False)
([2], [-r4, 0, +Infinity, g2 - r4, -r4, -r4, -r4, -r4, -r4, -r4], False)
([3], [0, r4, g2, +Infinity, 0, 0, 0, 0, 0, 0], False)
([4], [r4, r4, 0, 0, +Infinity, 0, 0, 0, 0, r4], False)
([5], [-2*r4, -r4, -2*r4, -2*r4, -2*r4, +Infinity, -r4, -r4, -2*r4, -2*r4], False)
([6], [-2*r4, -r4, -2*r4, -2*r4, -2*r4, -r4, +Infinity, -r4, -2*r4, -2*r4], False)
([7], [0, r4, 0, 0, 0, r4, r4, +Infinity, 0, 0], False)
([8], [-r4, g3, -r4, -r4, -r4, -r4, -r4, -r4, +Infinity, -r4], False)
([9], [r4, r4, 0, 0, r4, 0, 0, 0, 0, +Infinity], False)
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, r4, 0, 0, 0, 0, 0, 0, 0, 0], True)
([5, 6, 7], [-2*r4, -r4, -2*r4, -2*r4, -2*r4, -r4, -r4, -r4, -2*r4, -2*r4], True)
([2, 3], [-r4, 0, g2 - r4, g2 - r4, -r4, -r4, -r4, -r4, -r4, -r4], True)
([1, 8], [0, g3 + r4, 0, 0, 0, 0, 0, 0, g3, 0], True)
([0, 4, 9], [r4, r4, 0, 0, r4, 0, 0, 0, 0, r4], True)
Distances: 
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [5, 6, 7], abs(r4))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2, 3], abs(g2))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 8], abs(g3))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 4, 9], abs(r4))
Parameters:
g3: Cross54 - Yoshida39
g2: Cross41 - Yoshida36


Cone a4
Leaves and Vertices:
([0], [+Infinity, 2*r4, 3*r4, r4, 3*r4, 2*r4, 3*r4, r4, 2*r4, 3*r4], False)
([1], [r4, +Infinity, r4, -r4, -r4, 2*r4, 2*r4, 0, -r4, 0], False)
([2], [0, -r4, +Infinity, g2 - 2*r4, -2*r4, -r4, 0, -2*r4, -2*r4, -r4], False)
([3], [4*r4, 3*r4, g2 + 4*r4, +Infinity, 2*r4, 3*r4, 4*r4, 2*r4, 2*r4, 3*r4], False)
([4], [6*r4, 3*r4, 4*r4, 2*r4, +Infinity, 3*r4, 4*r4, 2*r4, 3*r4, 4*r4], False)
([5], [0, r4, 0, -2*r4, -2*r4, +Infinity, r4, -r4, -2*r4, -r4], False)
([6], [r4, r4, r4, -r4, -r4, r4, +Infinity, r4, -r4, 0], False)
([7], [2*r4, 2*r4, 2*r4, 0, 0, 2*r4, 4*r4, +Infinity, 0, r4], False)
([8], [2*r4, 0, r4, -r4, 0, 0, r4, -r4, +Infinity, 2*r4], False)
([9], [2*r4, 0, r4, -r4, 0, 0, r4, -r4, r4, +Infinity], False)
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, -r4, 0, -2*r4, -2*r4, -r4, 0, -2*r4, -2*r4, -r4], True)
([1, 5, 6, 7], [r4, r4, r4, -r4, -r4, r4, 2*r4, 0, -r4, 0], True)
([0, 4, 8, 9], [4*r4, 2*r4, 3*r4, r4, 2*r4, 2*r4, 3*r4, r4, 2*r4, 3*r4], True)
([8, 9], [2*r4, 0, r4, -r4, 0, 0, r4, -r4, r4, 2*r4], True)
([6, 7], [r4, r4, r4, -r4, -r4, r4, 3*r4, r4, -r4, 0], True)
([2, 3], [0, -r4, g2, g2 - 2*r4, -2*r4, -r4, 0, -2*r4, -2*r4, -r4], True)
([1, 5], [r4, 2*r4, r4, -r4, -r4, 2*r4, 2*r4, 0, -r4, 0], True)
([0, 4], [5*r4, 2*r4, 3*r4, r4, 3*r4, 2*r4, 3*r4, r4, 2*r4, 3*r4], True)
Distances: 
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 5, 6, 7], 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], [2, 3], abs(g2))
([1, 5, 6, 7], [6, 7], abs(-r4))
([1, 5, 6, 7], [1, 5], abs(-r4))
([0, 4, 8, 9], [8, 9], abs(-r4))
([0, 4, 8, 9], [0, 4], abs(-r4))
Parameters:
g2: Cross41 - Yoshida36