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 aa2a3a4
Leaves and Vertices:
([0], [+Infinity, 2*r3 + 4*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 3*r3 + 4*r4, 3*r3 + 4*r4, 2*r3 + 4*r4, r1 + r2 + 4*r3 + 6*r4], False)
([1], [r1 + 2*r2 + 5*r3 + 7*r4, +Infinity, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 5*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 5*r3 + 7*r4], False)
([2], [r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 3*r3 + 6*r4, +Infinity, r1 + 2*r3 + 4*r4, r1 + r2 + 3*r3 + 4*r4, r1 + 2*r3 + 4*r4, r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 3*r3 + 5*r4, r1 + r2 + 4*r3 + 6*r4], False)
([3], [2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 3*r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, +Infinity, 2*r1 + 2*r2 + 2*r3 + 3*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4], False)
([4], [r1 + 2*r2 + 2*r3 + 4*r4, r1 + 2*r2 + r3 + 3*r4, r1 + 2*r2 + r3 + 2*r4, r1 + r2 + r4, +Infinity, r1 + r2 + r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + 2*r2 + 2*r3 + 4*r4, r1 + 2*r2 + 2*r3 + 4*r4], False)
([5], [2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 3*r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 2*r3 + 3*r4, +Infinity, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4], False)
([6], [r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 4*r4, r2 + 3*r3 + 5*r4, +Infinity, r1 + 3*r2 + 6*r3 + 8*r4, r2 + 3*r3 + 5*r4, r2 + 4*r3 + 6*r4], False)
([7], [r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 4*r4, r2 + 3*r3 + 5*r4, r1 + 3*r2 + 6*r3 + 8*r4, +Infinity, r2 + 3*r3 + 5*r4, r2 + 4*r3 + 6*r4], False)
([8], [r1 + 2*r2 + 2*r3 + 4*r4, r1 + 2*r2 + r3 + 3*r4, r1 + 2*r2 + r3 + 2*r4, r1 + r2 + r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + r2 + r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + 2*r2 + 2*r3 + 3*r4, +Infinity, r1 + 2*r2 + 2*r3 + 4*r4], False)
([9], [r1 + r2 + 4*r3 + 6*r4, 2*r3 + 4*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 3*r3 + 4*r4, 3*r3 + 4*r4, 2*r3 + 4*r4, +Infinity], False)
([3, 5, 6, 7], [2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 3*r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 2*r3 + 3*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4], True)
([0, 4, 8, 9], [3*r3 + 5*r4, 2*r3 + 4*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 3*r3 + 4*r4, 3*r3 + 4*r4, 2*r3 + 4*r4, 3*r3 + 5*r4], True)
([6, 7], [r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 4*r4, r2 + 3*r3 + 5*r4, r1 + 3*r2 + 6*r3 + 8*r4, r1 + 3*r2 + 6*r3 + 8*r4, r2 + 3*r3 + 5*r4, r2 + 4*r3 + 6*r4], True)
([4, 8], [r1 + 2*r2 + 2*r3 + 4*r4, r1 + 2*r2 + r3 + 3*r4, r1 + 2*r2 + r3 + 2*r4, r1 + r2 + r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + r2 + r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + 2*r2 + 2*r3 + 3*r4, r1 + 2*r2 + 2*r3 + 4*r4, r1 + 2*r2 + 2*r3 + 4*r4], True)
([3, 5], [2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 3*r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 2*r3 + 3*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 3*r2 + 4*r3 + 6*r4, 2*r1 + 2*r2 + 2*r3 + 4*r4, 2*r1 + 2*r2 + 3*r3 + 5*r4], True)
([0, 2, 4, 8, 9], [r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 3*r3 + 6*r4, r1 + r2 + 3*r3 + 5*r4, r1 + 2*r3 + 4*r4, r1 + r2 + 3*r3 + 4*r4, r1 + 2*r3 + 4*r4, r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 3*r3 + 5*r4, r1 + r2 + 4*r3 + 6*r4], True)
([1, 3, 5, 6, 7], [r1 + 2*r2 + 5*r3 + 7*r4, r1 + 3*r2 + 5*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 5*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 5*r3 + 7*r4], True)
([0, 9], [r1 + r2 + 4*r3 + 6*r4, 2*r3 + 4*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 2*r3 + 3*r4, -r2 + r3 + 2*r4, 3*r3 + 4*r4, 3*r3 + 4*r4, 2*r3 + 4*r4, r1 + r2 + 4*r3 + 6*r4], True)
Distances: 
([3, 5, 6, 7], [6, 7], abs(-r1 - r2 - r3 - r4))
([3, 5, 6, 7], [3, 5], abs(-r3 - r4))
([3, 5, 6, 7], [1, 3, 5, 6, 7], abs(-r4))
([0, 4, 8, 9], [4, 8], abs(-r3 - r4))
([0, 4, 8, 9], [0, 2, 4, 8, 9], abs(-r4))
([0, 4, 8, 9], [0, 9], abs(-r1 - r2 - r3 - r4))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2 - r3))


Cone aa2a3b
Leaves and Vertices:
([0], [+Infinity, 2*r3 + r4, 2*r3 + 2*r4, -r2 + r3 + r4, 2*r3 + r4, -r2 + r3 + r4, 3*r3 + 2*r4, 3*r3 + 2*r4, 2*r3 + r4, r1 + r2 + 4*r3 + 2*r4], False)
([1], [r1 + 2*r2 + 5*r3 + 2*r4, +Infinity, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4], False)
([2], [r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 3*r3 + r4, +Infinity, r1 + 2*r3 + r4, r1 + r2 + 3*r3 + r4, r1 + 2*r3 + r4, r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 3*r3 + r4, r1 + r2 + 4*r3 + 2*r4], False)
([3], [2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 3*r3 + r4, 2*r1 + 2*r2 + 2*r3 + r4, +Infinity, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 4*r3 + 2*r4, 2*r1 + 3*r2 + 4*r3 + 2*r4, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4], False)
([4], [r1 + 2*r2 + 2*r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + r2, +Infinity, r1 + r2, r1 + 2*r2 + 2*r3 + r4, r1 + 2*r2 + 2*r3 + r4, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3], False)
([5], [2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 3*r3 + r4, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 2*r2 + 2*r3 + r4, +Infinity, 2*r1 + 3*r2 + 4*r3 + 2*r4, 2*r1 + 3*r2 + 4*r3 + 2*r4, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4], False)
([6], [r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 3*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, +Infinity, r1 + 3*r2 + 6*r3 + 4*r4, r2 + 3*r3 + 2*r4, r2 + 4*r3 + 2*r4], False)
([7], [r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 3*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, +Infinity, r2 + 3*r3 + 2*r4, r2 + 4*r3 + 2*r4], False)
([8], [r1 + 2*r2 + 2*r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + r2, r1 + 2*r2 + 2*r3, r1 + r2, r1 + 2*r2 + 2*r3 + r4, r1 + 2*r2 + 2*r3 + r4, +Infinity, r1 + 2*r2 + 2*r3], False)
([9], [r1 + r2 + 4*r3 + 2*r4, 2*r3 + r4, 2*r3 + 2*r4, -r2 + r3 + r4, 2*r3 + r4, -r2 + r3 + r4, 3*r3 + 2*r4, 3*r3 + 2*r4, 2*r3 + r4, +Infinity], False)
([0, 2, 4, 8, 9], [r1 + r2 + 4*r3 + r4, r1 + r2 + 3*r3 + r4, r1 + r2 + 3*r3 + r4, r1 + 2*r3 + r4, r1 + r2 + 3*r3 + r4, r1 + 2*r3 + r4, r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 3*r3 + r4, r1 + r2 + 4*r3 + r4], True)
([1, 3, 5, 6, 7], [r1 + 2*r2 + 5*r3 + 2*r4, r1 + 3*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 3*r4, r1 + 3*r2 + 6*r3 + 3*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4], True)
([6, 7], [r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 3*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 3*r2 + 6*r3 + 4*r4, r2 + 3*r3 + 2*r4, r2 + 4*r3 + 2*r4], True)
([4, 8], [r1 + 2*r2 + 2*r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + r2, r1 + 2*r2 + 2*r3, r1 + r2, r1 + 2*r2 + 2*r3 + r4, r1 + 2*r2 + 2*r3 + r4, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3], True)
([3, 5], [2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 3*r3 + r4, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 4*r3 + 2*r4, 2*r1 + 3*r2 + 4*r3 + 2*r4, 2*r1 + 2*r2 + 2*r3 + r4, 2*r1 + 2*r2 + 3*r3 + r4], True)
([0, 2, 9], [r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 3*r3 + r4, r1 + r2 + 3*r3 + 2*r4, r1 + 2*r3 + r4, r1 + r2 + 3*r3 + r4, r1 + 2*r3 + r4, r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 4*r3 + 2*r4, r1 + r2 + 3*r3 + r4, r1 + r2 + 4*r3 + 2*r4], True)
([1, 6, 7], [r1 + 2*r2 + 5*r3 + 2*r4, r1 + 3*r2 + 5*r3 + 3*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4], True)
([0, 9], [r1 + r2 + 4*r3 + 2*r4, 2*r3 + r4, 2*r3 + 2*r4, -r2 + r3 + r4, 2*r3 + r4, -r2 + r3 + r4, 3*r3 + 2*r4, 3*r3 + 2*r4, 2*r3 + r4, r1 + r2 + 4*r3 + 2*r4], True)
Distances: 
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2 - r3))
([0, 2, 4, 8, 9], [4, 8], abs(-r3))
([0, 2, 4, 8, 9], [0, 2, 9], abs(-r4))
([1, 3, 5, 6, 7], [3, 5], abs(-r3))
([1, 3, 5, 6, 7], [1, 6, 7], abs(-r4))
([6, 7], [1, 6, 7], abs(-r1 - r2 - r3))
([0, 2, 9], [0, 9], abs(-r1 - r2 - r3))


Cone aa2a3
Leaves and Vertices:
([0], [+Infinity, 2*r3, 2*r3, -r2 + r3, 2*r3, -r2 + r3, 3*r3, 3*r3, 2*r3, r1 + r2 + 4*r3], False)
([1], [r1 + 2*r2 + 5*r3, +Infinity, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 3*r2 + 6*r3, r1 + 3*r2 + 6*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 5*r3], False)
([2], [r1 + r2 + 4*r3, r1 + r2 + 3*r3, +Infinity, r1 + 2*r3, r1 + r2 + 3*r3, r1 + 2*r3, r1 + r2 + 4*r3, r1 + r2 + 4*r3, r1 + r2 + 3*r3, r1 + r2 + 4*r3], False)
([3], [2*r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 3*r3, 2*r1 + 2*r2 + 2*r3, +Infinity, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 4*r3, 2*r1 + 3*r2 + 4*r3, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3], False)
([4], [r1 + 2*r2 + 2*r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + r2, +Infinity, r1 + r2, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3], False)
([5], [2*r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 3*r3, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3, 2*r1 + 2*r2 + 2*r3, +Infinity, 2*r1 + 3*r2 + 4*r3, 2*r1 + 3*r2 + 4*r3, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3], False)
([6], [r2 + 4*r3, 2*r2 + 4*r3, r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, +Infinity, r1 + 3*r2 + 6*r3, r2 + 3*r3, r2 + 4*r3], False)
([7], [r2 + 4*r3, 2*r2 + 4*r3, r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, r1 + 3*r2 + 6*r3, +Infinity, r2 + 3*r3, r2 + 4*r3], False)
([8], [r1 + 2*r2 + 2*r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + r2, r1 + 2*r2 + 2*r3, r1 + r2, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3, +Infinity, r1 + 2*r2 + 2*r3], False)
([9], [r1 + r2 + 4*r3, 2*r3, 2*r3, -r2 + r3, 2*r3, -r2 + r3, 3*r3, 3*r3, 2*r3, +Infinity], False)
([6, 7], [r2 + 4*r3, 2*r2 + 4*r3, r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, r1 + 3*r2 + 6*r3, r1 + 3*r2 + 6*r3, r2 + 3*r3, r2 + 4*r3], True)
([4, 8], [r1 + 2*r2 + 2*r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + r2, r1 + 2*r2 + 2*r3, r1 + r2, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3, r1 + 2*r2 + 2*r3], True)
([3, 5], [2*r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 3*r3, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 4*r3, 2*r1 + 3*r2 + 4*r3, 2*r1 + 2*r2 + 2*r3, 2*r1 + 2*r2 + 3*r3], True)
([0, 2, 4, 8, 9], [r1 + r2 + 4*r3, r1 + r2 + 3*r3, r1 + r2 + 3*r3, r1 + 2*r3, r1 + r2 + 3*r3, r1 + 2*r3, r1 + r2 + 4*r3, r1 + r2 + 4*r3, r1 + r2 + 3*r3, r1 + r2 + 4*r3], True)
([1, 3, 5, 6, 7], [r1 + 2*r2 + 5*r3, r1 + 3*r2 + 5*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 3*r2 + 6*r3, r1 + 3*r2 + 6*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 5*r3], True)
([0, 9], [r1 + r2 + 4*r3, 2*r3, 2*r3, -r2 + r3, 2*r3, -r2 + r3, 3*r3, 3*r3, 2*r3, r1 + r2 + 4*r3], True)
Distances: 
([6, 7], [1, 3, 5, 6, 7], abs(-r1 - r2 - r3))
([4, 8], [0, 2, 4, 8, 9], abs(-r3))
([3, 5], [1, 3, 5, 6, 7], abs(-r3))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2 - r3))
([0, 2, 4, 8, 9], [0, 9], abs(-r1 - r2 - r3))


Cone aa2a4
Leaves and Vertices:
([0], [+Infinity, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, r1 + r2 + 6*r4], False)
([1], [r1 + 2*r2 + 7*r4, +Infinity, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 5*r4, r1 + 2*r2 + 5*r4, r1 + 2*r2 + 5*r4, r1 + 3*r2 + 7*r4, r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4], False)
([2], [r1 + r2 + 6*r4, r1 + r2 + 6*r4, +Infinity, r1 + 4*r4, r1 + r2 + 4*r4, r1 + 4*r4, r1 + r2 + 6*r4, r1 + r2 + 6*r4, r1 + r2 + 5*r4, r1 + r2 + 6*r4], False)
([3], [2*r1 + 2*r2 + 5*r4, 2*r1 + 3*r2 + 5*r4, 2*r1 + 2*r2 + 4*r4, +Infinity, 2*r1 + 2*r2 + 3*r4, 2*r1 + 2*r2 + 5*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 5*r4], False)
([4], [r1 + 2*r2 + 4*r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 2*r4, r1 + r2 + r4, +Infinity, r1 + r2 + r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 4*r4, r1 + 2*r2 + 4*r4], False)
([5], [2*r1 + 2*r2 + 5*r4, 2*r1 + 3*r2 + 5*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 5*r4, 2*r1 + 2*r2 + 3*r4, +Infinity, 2*r1 + 3*r2 + 6*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 5*r4], False)
([6], [r2 + 6*r4, 2*r2 + 6*r4, r2 + 5*r4, r2 + 5*r4, r2 + 4*r4, r2 + 5*r4, +Infinity, r1 + 3*r2 + 8*r4, r2 + 5*r4, r2 + 6*r4], False)
([7], [r2 + 6*r4, 2*r2 + 6*r4, r2 + 5*r4, r2 + 5*r4, r2 + 4*r4, r2 + 5*r4, r1 + 3*r2 + 8*r4, +Infinity, r2 + 5*r4, r2 + 6*r4], False)
([8], [r1 + 2*r2 + 4*r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 2*r4, r1 + r2 + r4, r1 + 2*r2 + 3*r4, r1 + r2 + r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 3*r4, +Infinity, r1 + 2*r2 + 4*r4], False)
([9], [r1 + r2 + 6*r4, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, +Infinity], False)
([3, 5, 6, 7], [2*r1 + 2*r2 + 5*r4, 2*r1 + 3*r2 + 5*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 3*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 5*r4], True)
([0, 4, 8, 9], [5*r4, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, 5*r4], True)
([6, 7], [r2 + 6*r4, 2*r2 + 6*r4, r2 + 5*r4, r2 + 5*r4, r2 + 4*r4, r2 + 5*r4, r1 + 3*r2 + 8*r4, r1 + 3*r2 + 8*r4, r2 + 5*r4, r2 + 6*r4], True)
([4, 8], [r1 + 2*r2 + 4*r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 2*r4, r1 + r2 + r4, r1 + 2*r2 + 3*r4, r1 + r2 + r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 3*r4, r1 + 2*r2 + 4*r4, r1 + 2*r2 + 4*r4], True)
([3, 5], [2*r1 + 2*r2 + 5*r4, 2*r1 + 3*r2 + 5*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 5*r4, 2*r1 + 2*r2 + 3*r4, 2*r1 + 2*r2 + 5*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 3*r2 + 6*r4, 2*r1 + 2*r2 + 4*r4, 2*r1 + 2*r2 + 5*r4], True)
([0, 2, 4, 8, 9], [r1 + r2 + 6*r4, r1 + r2 + 6*r4, r1 + r2 + 5*r4, r1 + 4*r4, r1 + r2 + 4*r4, r1 + 4*r4, r1 + r2 + 6*r4, r1 + r2 + 6*r4, r1 + r2 + 5*r4, r1 + r2 + 6*r4], True)
([1, 3, 5, 6, 7], [r1 + 2*r2 + 7*r4, r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 5*r4, r1 + 2*r2 + 5*r4, r1 + 2*r2 + 5*r4, r1 + 3*r2 + 7*r4, r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4], True)
([0, 9], [r1 + r2 + 6*r4, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, r1 + r2 + 6*r4], True)
Distances: 
([3, 5, 6, 7], [6, 7], abs(-r1 - r2 - r4))
([3, 5, 6, 7], [3, 5], abs(-r4))
([3, 5, 6, 7], [1, 3, 5, 6, 7], abs(-r4))
([0, 4, 8, 9], [4, 8], abs(-r4))
([0, 4, 8, 9], [0, 2, 4, 8, 9], abs(-r4))
([0, 4, 8, 9], [0, 9], abs(-r1 - r2 - r4))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2))


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


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


Cone aa2b
Leaves and Vertices:
([0], [+Infinity, r4, 2*r4, -r2 + r4, r4, -r2 + r4, 2*r4, 2*r4, r4, r1 + r2 + 2*r4], False)
([1], [r1 + 2*r2 + 2*r4, +Infinity, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 3*r2 + 4*r4, r1 + 3*r2 + 4*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4], False)
([2], [r1 + r2 + 2*r4, r1 + r2 + r4, +Infinity, r1 + r4, r1 + r2 + r4, r1 + r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + r2 + r4, r1 + r2 + 2*r4], False)
([3], [2*r1 + 2*r2 + r4, 2*r1 + 3*r2 + r4, 2*r1 + 2*r2 + r4, +Infinity, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 3*r2 + 2*r4, 2*r1 + 3*r2 + 2*r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4], False)
([4], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + r2, +Infinity, r1 + r2, r1 + 2*r2 + r4, r1 + 2*r2 + r4, r1 + 2*r2, r1 + 2*r2], False)
([5], [2*r1 + 2*r2 + r4, 2*r1 + 3*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4, +Infinity, 2*r1 + 3*r2 + 2*r4, 2*r1 + 3*r2 + 2*r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4], False)
([6], [r2 + 2*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, +Infinity, r1 + 3*r2 + 4*r4, r2 + 2*r4, r2 + 2*r4], False)
([7], [r2 + 2*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r1 + 3*r2 + 4*r4, +Infinity, r2 + 2*r4, r2 + 2*r4], False)
([8], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + r2, r1 + 2*r2, r1 + r2, r1 + 2*r2 + r4, r1 + 2*r2 + r4, +Infinity, r1 + 2*r2], False)
([9], [r1 + r2 + 2*r4, r4, 2*r4, -r2 + r4, r4, -r2 + r4, 2*r4, 2*r4, r4, +Infinity], False)
([6, 7], [r2 + 2*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r1 + 3*r2 + 4*r4, r1 + 3*r2 + 4*r4, r2 + 2*r4, r2 + 2*r4], True)
([0, 2, 4, 8, 9], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + r2, r1 + 2*r2, r1 + r2, r1 + 2*r2 + r4, r1 + 2*r2 + r4, r1 + 2*r2, r1 + 2*r2], True)
([1, 3, 5, 6, 7], [2*r1 + 2*r2 + r4, 2*r1 + 3*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4, 2*r1 + 3*r2 + 2*r4, 2*r1 + 3*r2 + 2*r4, 2*r1 + 2*r2 + r4, 2*r1 + 2*r2 + r4], True)
([0, 2, 9], [r1 + r2 + 2*r4, r1 + r2 + r4, r1 + r2 + 2*r4, r1 + r4, r1 + r2 + r4, r1 + r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + r2 + r4, r1 + r2 + 2*r4], True)
([1, 6, 7], [r1 + 2*r2 + 2*r4, r1 + 3*r2 + 3*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 3*r2 + 4*r4, r1 + 3*r2 + 4*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4], True)
([0, 9], [r1 + r2 + 2*r4, r4, 2*r4, -r2 + r4, r4, -r2 + r4, 2*r4, 2*r4, r4, r1 + r2 + 2*r4], True)
Distances: 
([6, 7], [1, 6, 7], abs(-r1 - r2))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2))
([0, 2, 4, 8, 9], [0, 2, 9], abs(-r4))
([1, 3, 5, 6, 7], [1, 6, 7], abs(-r4))
([0, 2, 9], [0, 9], abs(-r1 - r2))


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


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


Cone aa2
Leaves and Vertices:
([0], [+Infinity, 0, 0, -r2, 0, -r2, 0, 0, 0, r1 + r2], False)
([1], [r1 + 2*r2, +Infinity, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 3*r2, r1 + 3*r2, r1 + 2*r2, r1 + 2*r2], False)
([2], [r1 + r2, r1 + r2, +Infinity, r1, r1 + r2, r1, r1 + r2, r1 + r2, r1 + r2, r1 + r2], False)
([3], [2*r1 + 2*r2, 2*r1 + 3*r2, 2*r1 + 2*r2, +Infinity, 2*r1 + 2*r2, 2*r1 + 2*r2, 2*r1 + 3*r2, 2*r1 + 3*r2, 2*r1 + 2*r2, 2*r1 + 2*r2], False)
([4], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + r2, +Infinity, r1 + r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2], False)
([5], [2*r1 + 2*r2, 2*r1 + 3*r2, 2*r1 + 2*r2, 2*r1 + 2*r2, 2*r1 + 2*r2, +Infinity, 2*r1 + 3*r2, 2*r1 + 3*r2, 2*r1 + 2*r2, 2*r1 + 2*r2], False)
([6], [r2, 2*r2, r2, r2, r2, r2, +Infinity, r1 + 3*r2, r2, r2], False)
([7], [r2, 2*r2, r2, r2, r2, r2, r1 + 3*r2, +Infinity, r2, r2], False)
([8], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + r2, r1 + 2*r2, r1 + r2, r1 + 2*r2, r1 + 2*r2, +Infinity, r1 + 2*r2], False)
([9], [r1 + r2, 0, 0, -r2, 0, -r2, 0, 0, 0, +Infinity], False)
([6, 7], [r2, 2*r2, r2, r2, r2, r2, r1 + 3*r2, r1 + 3*r2, r2, r2], True)
([0, 2, 4, 8, 9], [r1 + r2, r1 + r2, r1 + r2, r1, r1 + r2, r1, r1 + r2, r1 + r2, r1 + r2, r1 + r2], True)
([1, 3, 5, 6, 7], [r1 + 2*r2, r1 + 3*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 3*r2, r1 + 3*r2, r1 + 2*r2, r1 + 2*r2], True)
([0, 9], [r1 + r2, 0, 0, -r2, 0, -r2, 0, 0, 0, r1 + r2], True)
Distances: 
([6, 7], [1, 3, 5, 6, 7], abs(-r1 - r2))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2))
([0, 2, 4, 8, 9], [0, 9], abs(-r1 - r2))


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


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, 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, 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, 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)
([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, 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], [6, 7], abs(-r1 - r4))
([3, 5, 6, 7], [3, 5], abs(-r4))
([3, 5, 6, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4))
([0, 4, 8, 9], [4, 8], abs(-r4))
([0, 4, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4))
([0, 4, 8, 9], [0, 9], abs(-r1 - r4))


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


Cone a2a4
Leaves and Vertices:
([0], [+Infinity, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, r2 + 6*r4], False)
([1], [2*r2 + 7*r4, +Infinity, 2*r2 + 6*r4, 2*r2 + 5*r4, 2*r2 + 5*r4, 2*r2 + 5*r4, 3*r2 + 7*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 7*r4], False)
([2], [r2 + 6*r4, r2 + 6*r4, +Infinity, 4*r4, r2 + 4*r4, 4*r4, r2 + 6*r4, r2 + 6*r4, r2 + 5*r4, r2 + 6*r4], False)
([3], [2*r2 + 5*r4, 3*r2 + 5*r4, 2*r2 + 4*r4, +Infinity, 2*r2 + 3*r4, 2*r2 + 5*r4, 3*r2 + 6*r4, 3*r2 + 6*r4, 2*r2 + 4*r4, 2*r2 + 5*r4], False)
([4], [2*r2 + 4*r4, 2*r2 + 3*r4, 2*r2 + 2*r4, r2 + r4, +Infinity, r2 + r4, 2*r2 + 3*r4, 2*r2 + 3*r4, 2*r2 + 4*r4, 2*r2 + 4*r4], False)
([5], [2*r2 + 5*r4, 3*r2 + 5*r4, 2*r2 + 4*r4, 2*r2 + 5*r4, 2*r2 + 3*r4, +Infinity, 3*r2 + 6*r4, 3*r2 + 6*r4, 2*r2 + 4*r4, 2*r2 + 5*r4], False)
([6], [r2 + 6*r4, 2*r2 + 6*r4, r2 + 5*r4, r2 + 5*r4, r2 + 4*r4, r2 + 5*r4, +Infinity, 3*r2 + 8*r4, r2 + 5*r4, r2 + 6*r4], False)
([7], [r2 + 6*r4, 2*r2 + 6*r4, r2 + 5*r4, r2 + 5*r4, r2 + 4*r4, r2 + 5*r4, 3*r2 + 8*r4, +Infinity, r2 + 5*r4, r2 + 6*r4], False)
([8], [2*r2 + 4*r4, 2*r2 + 3*r4, 2*r2 + 2*r4, r2 + r4, 2*r2 + 3*r4, r2 + r4, 2*r2 + 3*r4, 2*r2 + 3*r4, +Infinity, 2*r2 + 4*r4], False)
([9], [r2 + 6*r4, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, +Infinity], False)
([3, 5, 6, 7], [2*r2 + 5*r4, 3*r2 + 5*r4, 2*r2 + 4*r4, 2*r2 + 4*r4, 2*r2 + 3*r4, 2*r2 + 4*r4, 3*r2 + 6*r4, 3*r2 + 6*r4, 2*r2 + 4*r4, 2*r2 + 5*r4], True)
([0, 4, 8, 9], [5*r4, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, 5*r4], True)
([6, 7], [r2 + 6*r4, 2*r2 + 6*r4, r2 + 5*r4, r2 + 5*r4, r2 + 4*r4, r2 + 5*r4, 3*r2 + 8*r4, 3*r2 + 8*r4, r2 + 5*r4, r2 + 6*r4], True)
([4, 8], [2*r2 + 4*r4, 2*r2 + 3*r4, 2*r2 + 2*r4, r2 + r4, 2*r2 + 3*r4, r2 + r4, 2*r2 + 3*r4, 2*r2 + 3*r4, 2*r2 + 4*r4, 2*r2 + 4*r4], True)
([3, 5], [2*r2 + 5*r4, 3*r2 + 5*r4, 2*r2 + 4*r4, 2*r2 + 5*r4, 2*r2 + 3*r4, 2*r2 + 5*r4, 3*r2 + 6*r4, 3*r2 + 6*r4, 2*r2 + 4*r4, 2*r2 + 5*r4], True)
([0, 2, 4, 8, 9], [r2 + 6*r4, r2 + 6*r4, r2 + 5*r4, 4*r4, r2 + 4*r4, 4*r4, r2 + 6*r4, r2 + 6*r4, r2 + 5*r4, r2 + 6*r4], True)
([1, 3, 5, 6, 7], [2*r2 + 7*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 5*r4, 2*r2 + 5*r4, 2*r2 + 5*r4, 3*r2 + 7*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 7*r4], True)
([0, 9], [r2 + 6*r4, 4*r4, 3*r4, -r2 + 2*r4, 3*r4, -r2 + 2*r4, 4*r4, 4*r4, 4*r4, r2 + 6*r4], True)
Distances: 
([3, 5, 6, 7], [6, 7], abs(-r2 - r4))
([3, 5, 6, 7], [3, 5], abs(-r4))
([3, 5, 6, 7], [1, 3, 5, 6, 7], abs(-r4))
([0, 4, 8, 9], [4, 8], abs(-r4))
([0, 4, 8, 9], [0, 2, 4, 8, 9], abs(-r4))
([0, 4, 8, 9], [0, 9], abs(-r2 - r4))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2))


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


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, 2*r1 + r4, 2*r1 + r4], False)
([4], [r1, r1, r1, r1, +Infinity, r1, r1 + r4, r1 + r4, r1, r1], False)
([5], [2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 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, 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)
([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)
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + r4, 2*r1 + 2*r4, 2*r1 + 2*r4, 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: 
([6, 7], [1, 6, 7], abs(-r1))
([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))
([0, 2, 9], [0, 9], abs(-r1))


Cone a2b
Leaves and Vertices:
([0], [+Infinity, r4, 2*r4, -r2 + r4, r4, -r2 + r4, 2*r4, 2*r4, r4, r2 + 2*r4], False)
([1], [2*r2 + 2*r4, +Infinity, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 3*r2 + 4*r4, 3*r2 + 4*r4, 2*r2 + 2*r4, 2*r2 + 2*r4], False)
([2], [r2 + 2*r4, r2 + r4, +Infinity, r4, r2 + r4, r4, r2 + 2*r4, r2 + 2*r4, r2 + r4, r2 + 2*r4], False)
([3], [2*r2 + r4, 3*r2 + r4, 2*r2 + r4, +Infinity, 2*r2 + r4, 2*r2 + r4, 3*r2 + 2*r4, 3*r2 + 2*r4, 2*r2 + r4, 2*r2 + r4], False)
([4], [2*r2, 2*r2, 2*r2, r2, +Infinity, r2, 2*r2 + r4, 2*r2 + r4, 2*r2, 2*r2], False)
([5], [2*r2 + r4, 3*r2 + r4, 2*r2 + r4, 2*r2 + r4, 2*r2 + r4, +Infinity, 3*r2 + 2*r4, 3*r2 + 2*r4, 2*r2 + r4, 2*r2 + r4], False)
([6], [r2 + 2*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, +Infinity, 3*r2 + 4*r4, r2 + 2*r4, r2 + 2*r4], False)
([7], [r2 + 2*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, 3*r2 + 4*r4, +Infinity, r2 + 2*r4, r2 + 2*r4], False)
([8], [2*r2, 2*r2, 2*r2, r2, 2*r2, r2, 2*r2 + r4, 2*r2 + r4, +Infinity, 2*r2], False)
([9], [r2 + 2*r4, r4, 2*r4, -r2 + r4, r4, -r2 + r4, 2*r4, 2*r4, r4, +Infinity], False)
([6, 7], [r2 + 2*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, 3*r2 + 4*r4, 3*r2 + 4*r4, r2 + 2*r4, r2 + 2*r4], True)
([0, 2, 4, 8, 9], [2*r2, 2*r2, 2*r2, r2, 2*r2, r2, 2*r2 + r4, 2*r2 + r4, 2*r2, 2*r2], True)
([1, 3, 5, 6, 7], [2*r2 + r4, 3*r2 + r4, 2*r2 + r4, 2*r2 + r4, 2*r2 + r4, 2*r2 + r4, 3*r2 + 2*r4, 3*r2 + 2*r4, 2*r2 + r4, 2*r2 + r4], True)
([0, 2, 9], [r2 + 2*r4, r2 + r4, r2 + 2*r4, r4, r2 + r4, r4, r2 + 2*r4, r2 + 2*r4, r2 + r4, r2 + 2*r4], True)
([1, 6, 7], [2*r2 + 2*r4, 3*r2 + 3*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 3*r2 + 4*r4, 3*r2 + 4*r4, 2*r2 + 2*r4, 2*r2 + 2*r4], True)
([0, 9], [r2 + 2*r4, r4, 2*r4, -r2 + r4, r4, -r2 + r4, 2*r4, 2*r4, r4, r2 + 2*r4], True)
Distances: 
([6, 7], [1, 6, 7], abs(-r2))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2))
([0, 2, 4, 8, 9], [0, 2, 9], abs(-r4))
([1, 3, 5, 6, 7], [1, 6, 7], abs(-r4))
([0, 2, 9], [0, 9], abs(-r2))


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


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


Cone a2
Leaves and Vertices:
([0], [+Infinity, 0, 0, -r2, 0, -r2, 0, 0, 0, r2], False)
([1], [2*r2, +Infinity, 2*r2, 2*r2, 2*r2, 2*r2, 3*r2, 3*r2, 2*r2, 2*r2], False)
([2], [r2, r2, +Infinity, 0, r2, 0, r2, r2, r2, r2], False)
([3], [2*r2, 3*r2, 2*r2, +Infinity, 2*r2, 2*r2, 3*r2, 3*r2, 2*r2, 2*r2], False)
([4], [2*r2, 2*r2, 2*r2, r2, +Infinity, r2, 2*r2, 2*r2, 2*r2, 2*r2], False)
([5], [2*r2, 3*r2, 2*r2, 2*r2, 2*r2, +Infinity, 3*r2, 3*r2, 2*r2, 2*r2], False)
([6], [r2, 2*r2, r2, r2, r2, r2, +Infinity, 3*r2, r2, r2], False)
([7], [r2, 2*r2, r2, r2, r2, r2, 3*r2, +Infinity, r2, r2], False)
([8], [2*r2, 2*r2, 2*r2, r2, 2*r2, r2, 2*r2, 2*r2, +Infinity, 2*r2], False)
([9], [r2, 0, 0, -r2, 0, -r2, 0, 0, 0, +Infinity], False)
([6, 7], [r2, 2*r2, r2, r2, r2, r2, 3*r2, 3*r2, r2, r2], True)
([0, 2, 4, 8, 9], [r2, r2, r2, 0, r2, 0, r2, r2, r2, r2], True)
([1, 3, 5, 6, 7], [2*r2, 3*r2, 2*r2, 2*r2, 2*r2, 2*r2, 3*r2, 3*r2, 2*r2, 2*r2], True)
([0, 9], [r2, 0, 0, -r2, 0, -r2, 0, 0, 0, r2], True)
Distances: 
([6, 7], [1, 3, 5, 6, 7], abs(-r2))
([0, 2, 4, 8, 9], [1, 3, 5, 6, 7], abs(-r2))
([0, 2, 4, 8, 9], [0, 9], abs(-r2))


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


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, 6*r4, 5*r4, 5*r4, 5*r4, 7*r4, 7*r4, 6*r4, 7*r4], False)
([2], [6*r4, 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, 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)
([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, 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], [6, 7], abs(-r4))
([3, 5, 6, 7], [3, 5], abs(-r4))
([3, 5, 6, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4))
([0, 4, 8, 9], [4, 8], abs(-r4))
([0, 4, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4))
([0, 4, 8, 9], [0, 9], abs(-r4))


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, r4, r4], False)
([4], [0, 0, 0, 0, +Infinity, 0, r4, r4, 0, 0], False)
([5], [r4, r4, r4, r4, 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, 0, 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)
([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], [1, 6, 7], abs(r4))
([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 2, 9], abs(r4))