Generic trees associated to Extremal F36: Leaf labels: {0: F14, 1: F25, 2: F15, 3: F45, 4: F12, 5: E3, 6: G3, 7: F24, 8: E6, 9: G6} Cone aa2a3a4 Leaves and Vertices: ([0], [+Infinity, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, r1 + 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, r1 + 2*r2 + 2*r3 + 5*r4, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], False) ([1], [r2 + r3 + 3*r4, +Infinity, r1 + 2*r2 + r3 + 4*r4, r1 + 2*r2 + r3 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + r3 + 4*r4, r2 + r3 + 4*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4], False) ([2], [r2 + r3 + 3*r4, r1 + 2*r2 + r3 + 4*r4, +Infinity, r1 + 2*r2 + r3 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + r3 + 4*r4, r2 + r3 + 4*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4], False) ([3], [r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, +Infinity, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 5*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 3*r2 + 6*r3 + 7*r4], False) ([4], [-r3, -r3 + r4, -r3 + r4, r1 + r2 + 2*r4, +Infinity, r2 + r4, 2*r4, -r3 + r4, r2 + r3 + 2*r4, 2*r4], False) ([5], [r1 + r2 + 3*r3 + 4*r4, r1 + r2 + 3*r3 + 5*r4, r1 + r2 + 3*r3 + 5*r4, 2*r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 5*r4, +Infinity, r1 + r2 + 4*r3 + 6*r4, r1 + r2 + 3*r3 + 5*r4, r1 + 2*r2 + 5*r3 + 6*r4, r1 + r2 + 4*r3 + 6*r4], False) ([6], [r1 + 2*r2 + 3*r3 + 6*r4, r1 + 2*r2 + 3*r3 + 7*r4, r1 + 2*r2 + 3*r3 + 7*r4, 2*r1 + 3*r2 + 4*r3 + 7*r4, r1 + 2*r2 + 3*r3 + 6*r4, r1 + 2*r2 + 3*r3 + 6*r4, +Infinity, r1 + 2*r2 + 3*r3 + 7*r4, r1 + 3*r2 + 5*r3 + 8*r4, r1 + 2*r2 + 4*r3 + 7*r4], False) ([7], [r1 + 2*r2 + 2*r3 + 4*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, r1 + 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, +Infinity, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], False) ([8], [r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 7*r4, 2*r1 + 3*r2 + 5*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 5*r3 + 8*r4, r1 + 2*r2 + 4*r3 + 7*r4, +Infinity, r1 + 2*r2 + 5*r3 + 7*r4], False) ([9], [r1 + r2 + 2*r3 + 3*r4, r1 + r2 + 2*r3 + 4*r4, r1 + r2 + 2*r3 + 4*r4, 2*r1 + 3*r2 + 4*r3 + 5*r4, r1 + r2 + 2*r3 + 4*r4, r1 + r2 + 2*r3 + 4*r4, r1 + r2 + 3*r3 + 5*r4, r1 + r2 + 2*r3 + 4*r4, r1 + 2*r2 + 4*r3 + 5*r4, +Infinity], False) ([3, 4, 5, 9], [r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, 2*r1 + 3*r2 + 5*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 5*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 2*r2 + 5*r3 + 7*r4], True) ([0, 1, 2, 7], [r2 + 2*r3 + 4*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, r1 + 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 2*r2 + 3*r3 + 6*r4, r1 + 2*r2 + 3*r3 + 7*r4, r1 + 2*r2 + 3*r3 + 7*r4, 2*r1 + 3*r2 + 4*r3 + 7*r4, r1 + 2*r2 + 3*r3 + 6*r4, r1 + 2*r2 + 3*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 8*r4, r1 + 2*r2 + 3*r3 + 7*r4, r1 + 3*r2 + 5*r3 + 8*r4, r1 + 2*r2 + 4*r3 + 7*r4], True) ([4, 5], [-r3, -r3 + r4, -r3 + r4, r1 + r2 + 2*r4, r2 + r4, r2 + r4, 2*r4, -r3 + r4, r2 + r3 + 2*r4, 2*r4], True) ([3, 9], [r1 + 2*r2 + 4*r3 + 5*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, 2*r1 + 4*r2 + 6*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 2*r2 + 5*r3 + 7*r4, r1 + 2*r2 + 4*r3 + 6*r4, r1 + 3*r2 + 6*r3 + 7*r4, r1 + 3*r2 + 6*r3 + 7*r4], True) ([1, 2], [r2 + r3 + 3*r4, r1 + 2*r2 + r3 + 4*r4, r1 + 2*r2 + r3 + 4*r4, r1 + 2*r2 + r3 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + r3 + 4*r4, r2 + r3 + 4*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4], True) ([0, 7], [r1 + 2*r2 + 2*r3 + 4*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, r1 + 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, r1 + 2*r2 + 2*r3 + 5*r4, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], True) Distances: ([3, 4, 5, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 4, 5, 9], [4, 5], abs(-r2 - r3)) ([3, 4, 5, 9], [3, 9], abs(-r2 - r3)) ([0, 1, 2, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r3 - r4)) ([0, 1, 2, 7], [1, 2], abs(-r1 - r2)) ([0, 1, 2, 7], [0, 7], abs(-r1 - r2)) Cone aa2a3b Leaves and Vertices: ([0], [+Infinity, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], False) ([1], [r2 + r3, +Infinity, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3 + r4, r2 + r3 + r4], False) ([2], [r2 + r3, r1 + 2*r2 + r3, +Infinity, r1 + 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3 + r4, r2 + r3 + r4], False) ([3], [r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, +Infinity, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 3*r2 + 6*r3 + 4*r4], False) ([4], [-r3 - r4, -r3 - r4, -r3 - r4, r1 + r2 - r4, +Infinity, r2, 0, -r3 - r4, r2 + r3, 0], False) ([5], [r1 + r2 + 3*r3 + 2*r4, r1 + r2 + 3*r3 + 2*r4, r1 + r2 + 3*r3 + 2*r4, 2*r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 3*r4, +Infinity, r1 + r2 + 4*r3 + 3*r4, r1 + r2 + 3*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 3*r4, r1 + r2 + 4*r3 + 3*r4], False) ([6], [r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 4*r3 + r4, r1 + 2*r2 + 3*r3 + 2*r4, r1 + 2*r2 + 3*r3 + 2*r4, +Infinity, r1 + 2*r2 + 3*r3 + r4, r1 + 3*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4], False) ([7], [r1 + 2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, +Infinity, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], False) ([8], [r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, 2*r1 + 3*r2 + 5*r3 + 3*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, +Infinity, r1 + 2*r2 + 5*r3 + 4*r4], False) ([9], [r1 + r2 + 2*r3 + 2*r4, r1 + r2 + 2*r3 + 2*r4, r1 + r2 + 2*r3 + 2*r4, 2*r1 + 3*r2 + 4*r3 + 3*r4, r1 + r2 + 2*r3 + 2*r4, r1 + r2 + 2*r3 + 2*r4, r1 + r2 + 3*r3 + 2*r4, r1 + r2 + 2*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 4*r3 + r4, r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 4*r3 + r4, r1 + 2*r2 + 3*r3 + r4, r1 + 3*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4], True) ([0, 1, 2, 7], [r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], True) ([3, 8, 9], [r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, 2*r1 + 3*r2 + 5*r3 + 3*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 2*r2 + 5*r3 + 4*r4], True) ([4, 5, 6], [r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, r1 + 2*r2 + 3*r3 + r4, 2*r1 + 3*r2 + 4*r3 + r4, r1 + 2*r2 + 3*r3 + 2*r4, r1 + 2*r2 + 3*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 3*r3 + r4, r1 + 3*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4], True) ([4, 5], [-r3 - r4, -r3 - r4, -r3 - r4, r1 + r2 - r4, r2, r2, 0, -r3 - r4, r2 + r3, 0], True) ([3, 9], [r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, 2*r1 + 4*r2 + 6*r3 + 3*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 2*r2 + 5*r3 + 2*r4, r1 + 2*r2 + 4*r3 + 2*r4, r1 + 3*r2 + 6*r3 + 4*r4, r1 + 3*r2 + 6*r3 + 4*r4], True) ([1, 2], [r2 + r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3 + r4, r2 + r3 + r4], True) ([0, 7], [r1 + 2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 7], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 7], [1, 2], abs(-r1 - r2)) ([0, 1, 2, 7], [0, 7], abs(-r1 - r2)) ([3, 8, 9], [3, 9], abs(-r2 - r3)) ([4, 5, 6], [4, 5], abs(-r2 - r3)) Cone aa2a3 Leaves and Vertices: ([0], [+Infinity, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, 2*r2 + 3*r3, r2 + 2*r3], False) ([1], [r2 + r3, +Infinity, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3, r2 + r3], False) ([2], [r2 + r3, r1 + 2*r2 + r3, +Infinity, r1 + 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3, r2 + r3], False) ([3], [r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, +Infinity, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 5*r3, r1 + 2*r2 + 4*r3, r1 + 3*r2 + 6*r3, r1 + 3*r2 + 6*r3], False) ([4], [-r3, -r3, -r3, r1 + r2, +Infinity, r2, 0, -r3, r2 + r3, 0], False) ([5], [r1 + r2 + 3*r3, r1 + r2 + 3*r3, r1 + r2 + 3*r3, 2*r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, +Infinity, r1 + r2 + 4*r3, r1 + r2 + 3*r3, r1 + 2*r2 + 5*r3, r1 + r2 + 4*r3], False) ([6], [r1 + 2*r2 + 3*r3, r1 + 2*r2 + 3*r3, r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 4*r3, r1 + 2*r2 + 3*r3, r1 + 2*r2 + 3*r3, +Infinity, r1 + 2*r2 + 3*r3, r1 + 3*r2 + 5*r3, r1 + 2*r2 + 4*r3], False) ([7], [r1 + 2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, +Infinity, 2*r2 + 3*r3, r2 + 2*r3], False) ([8], [r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, 2*r1 + 3*r2 + 5*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 5*r3, r1 + 2*r2 + 4*r3, +Infinity, r1 + 2*r2 + 5*r3], False) ([9], [r1 + r2 + 2*r3, r1 + r2 + 2*r3, r1 + r2 + 2*r3, 2*r1 + 3*r2 + 4*r3, r1 + r2 + 2*r3, r1 + r2 + 2*r3, r1 + r2 + 3*r3, r1 + r2 + 2*r3, r1 + 2*r2 + 4*r3, +Infinity], False) ([0, 1, 2, 7], [r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 3*r3, r2 + 2*r3], True) ([3, 4, 5, 6, 8, 9], [r1 + 2*r2 + 3*r3, r1 + 2*r2 + 3*r3, r1 + 2*r2 + 3*r3, 2*r1 + 3*r2 + 4*r3, r1 + 2*r2 + 3*r3, r1 + 2*r2 + 3*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 3*r3, r1 + 3*r2 + 5*r3, r1 + 2*r2 + 4*r3], True) ([4, 5], [-r3, -r3, -r3, r1 + r2, r2, r2, 0, -r3, r2 + r3, 0], True) ([3, 9], [r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, 2*r1 + 4*r2 + 6*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 4*r3, r1 + 2*r2 + 5*r3, r1 + 2*r2 + 4*r3, r1 + 3*r2 + 6*r3, r1 + 3*r2 + 6*r3], True) ([1, 2], [r2 + r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r1 + 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3, r2 + r3], True) ([0, 7], [r1 + 2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r1 + 2*r2 + 2*r3, 2*r2 + 3*r3, r2 + 2*r3], True) Distances: ([0, 1, 2, 7], [3, 4, 5, 6, 8, 9], abs(-r3)) ([0, 1, 2, 7], [1, 2], abs(-r1 - r2)) ([0, 1, 2, 7], [0, 7], abs(-r1 - r2)) ([3, 4, 5, 6, 8, 9], [4, 5], abs(-r2 - r3)) ([3, 4, 5, 6, 8, 9], [3, 9], abs(-r2 - r3)) Cone aa2a4 Leaves and Vertices: ([0], [+Infinity, r2 + 5*r4, r2 + 5*r4, r1 + 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, r1 + 2*r2 + 5*r4, 2*r2 + 5*r4, r2 + 4*r4], False) ([1], [r2 + 3*r4, +Infinity, r1 + 2*r2 + 4*r4, r1 + 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 4*r4, r2 + 4*r4, 2*r2 + 4*r4, r2 + 3*r4], False) ([2], [r2 + 3*r4, r1 + 2*r2 + 4*r4, +Infinity, r1 + 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 4*r4, r2 + 4*r4, 2*r2 + 4*r4, r2 + 3*r4], False) ([3], [r1 + 2*r2 + 5*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, +Infinity, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 3*r2 + 7*r4, r1 + 3*r2 + 7*r4], False) ([4], [0, r4, r4, r1 + r2 + 2*r4, +Infinity, r2 + r4, 2*r4, r4, r2 + 2*r4, 2*r4], False) ([5], [r1 + r2 + 4*r4, r1 + r2 + 5*r4, r1 + r2 + 5*r4, 2*r1 + 2*r2 + 6*r4, r1 + 2*r2 + 5*r4, +Infinity, r1 + r2 + 6*r4, r1 + r2 + 5*r4, r1 + 2*r2 + 6*r4, r1 + r2 + 6*r4], False) ([6], [r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4, r1 + 2*r2 + 7*r4, 2*r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, +Infinity, r1 + 2*r2 + 7*r4, r1 + 3*r2 + 8*r4, r1 + 2*r2 + 7*r4], False) ([7], [r1 + 2*r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, r1 + 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, +Infinity, 2*r2 + 5*r4, r2 + 4*r4], False) ([8], [r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4, r1 + 2*r2 + 7*r4, 2*r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 8*r4, r1 + 2*r2 + 7*r4, +Infinity, r1 + 2*r2 + 7*r4], False) ([9], [r1 + r2 + 3*r4, r1 + r2 + 4*r4, r1 + r2 + 4*r4, 2*r1 + 3*r2 + 5*r4, r1 + r2 + 4*r4, r1 + r2 + 4*r4, r1 + r2 + 5*r4, r1 + r2 + 4*r4, r1 + 2*r2 + 5*r4, +Infinity], False) ([3, 4, 5, 9], [r1 + 2*r2 + 5*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, 2*r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 3*r2 + 7*r4, r1 + 2*r2 + 7*r4], True) ([0, 1, 2, 7], [r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, r1 + 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, r2 + 5*r4, 2*r2 + 5*r4, r2 + 4*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4, r1 + 2*r2 + 7*r4, 2*r1 + 3*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 8*r4, r1 + 2*r2 + 7*r4, r1 + 3*r2 + 8*r4, r1 + 2*r2 + 7*r4], True) ([4, 5], [0, r4, r4, r1 + r2 + 2*r4, r2 + r4, r2 + r4, 2*r4, r4, r2 + 2*r4, 2*r4], True) ([3, 9], [r1 + 2*r2 + 5*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, 2*r1 + 4*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 6*r4, r1 + 2*r2 + 7*r4, r1 + 2*r2 + 6*r4, r1 + 3*r2 + 7*r4, r1 + 3*r2 + 7*r4], True) ([1, 2], [r2 + 3*r4, r1 + 2*r2 + 4*r4, r1 + 2*r2 + 4*r4, r1 + 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 4*r4, r2 + 4*r4, 2*r2 + 4*r4, r2 + 3*r4], True) ([0, 7], [r1 + 2*r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, r1 + 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, r1 + 2*r2 + 5*r4, 2*r2 + 5*r4, r2 + 4*r4], True) Distances: ([3, 4, 5, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 4, 5, 9], [4, 5], abs(-r2)) ([3, 4, 5, 9], [3, 9], abs(-r2)) ([0, 1, 2, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([0, 1, 2, 7], [1, 2], abs(-r1 - r2)) ([0, 1, 2, 7], [0, 7], abs(-r1 - r2)) Cone aa3a4 Leaves and Vertices: ([0], [+Infinity, 2*r3 + 5*r4, 2*r3 + 5*r4, r1 + 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, r1 + 2*r3 + 5*r4, 3*r3 + 5*r4, 2*r3 + 4*r4], False) ([1], [r3 + 3*r4, +Infinity, r1 + r3 + 4*r4, r1 + r3 + 3*r4, 2*r4, 2*r4, r3 + 4*r4, r3 + 4*r4, 2*r3 + 4*r4, r3 + 3*r4], False) ([2], [r3 + 3*r4, r1 + r3 + 4*r4, +Infinity, r1 + r3 + 3*r4, 2*r4, 2*r4, r3 + 4*r4, r3 + 4*r4, 2*r3 + 4*r4, r3 + 3*r4], False) ([3], [r1 + 4*r3 + 5*r4, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, +Infinity, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, r1 + 5*r3 + 7*r4, r1 + 4*r3 + 6*r4, r1 + 6*r3 + 7*r4, r1 + 6*r3 + 7*r4], False) ([4], [-r3, -r3 + r4, -r3 + r4, r1 + 2*r4, +Infinity, r4, 2*r4, -r3 + r4, r3 + 2*r4, 2*r4], False) ([5], [r1 + 3*r3 + 4*r4, r1 + 3*r3 + 5*r4, r1 + 3*r3 + 5*r4, 2*r1 + 4*r3 + 6*r4, r1 + 4*r3 + 5*r4, +Infinity, r1 + 4*r3 + 6*r4, r1 + 3*r3 + 5*r4, r1 + 5*r3 + 6*r4, r1 + 4*r3 + 6*r4], False) ([6], [r1 + 3*r3 + 6*r4, r1 + 3*r3 + 7*r4, r1 + 3*r3 + 7*r4, 2*r1 + 4*r3 + 7*r4, r1 + 3*r3 + 6*r4, r1 + 3*r3 + 6*r4, +Infinity, r1 + 3*r3 + 7*r4, r1 + 5*r3 + 8*r4, r1 + 4*r3 + 7*r4], False) ([7], [r1 + 2*r3 + 4*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, r1 + 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, +Infinity, 3*r3 + 5*r4, 2*r3 + 4*r4], False) ([8], [r1 + 4*r3 + 6*r4, r1 + 4*r3 + 7*r4, r1 + 4*r3 + 7*r4, 2*r1 + 5*r3 + 7*r4, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, r1 + 5*r3 + 8*r4, r1 + 4*r3 + 7*r4, +Infinity, r1 + 5*r3 + 7*r4], False) ([9], [r1 + 2*r3 + 3*r4, r1 + 2*r3 + 4*r4, r1 + 2*r3 + 4*r4, 2*r1 + 4*r3 + 5*r4, r1 + 2*r3 + 4*r4, r1 + 2*r3 + 4*r4, r1 + 3*r3 + 5*r4, r1 + 2*r3 + 4*r4, r1 + 4*r3 + 5*r4, +Infinity], False) ([3, 4, 5, 9], [r1 + 4*r3 + 5*r4, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, 2*r1 + 5*r3 + 7*r4, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, r1 + 5*r3 + 7*r4, r1 + 4*r3 + 6*r4, r1 + 6*r3 + 7*r4, r1 + 5*r3 + 7*r4], True) ([0, 1, 2, 7], [2*r3 + 4*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, r1 + 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, 3*r3 + 5*r4, 2*r3 + 4*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 3*r3 + 6*r4, r1 + 3*r3 + 7*r4, r1 + 3*r3 + 7*r4, 2*r1 + 4*r3 + 7*r4, r1 + 3*r3 + 6*r4, r1 + 3*r3 + 6*r4, r1 + 4*r3 + 8*r4, r1 + 3*r3 + 7*r4, r1 + 5*r3 + 8*r4, r1 + 4*r3 + 7*r4], True) ([4, 5], [-r3, -r3 + r4, -r3 + r4, r1 + 2*r4, r4, r4, 2*r4, -r3 + r4, r3 + 2*r4, 2*r4], True) ([3, 9], [r1 + 4*r3 + 5*r4, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, 2*r1 + 6*r3 + 7*r4, r1 + 4*r3 + 6*r4, r1 + 4*r3 + 6*r4, r1 + 5*r3 + 7*r4, r1 + 4*r3 + 6*r4, r1 + 6*r3 + 7*r4, r1 + 6*r3 + 7*r4], True) ([1, 2], [r3 + 3*r4, r1 + r3 + 4*r4, r1 + r3 + 4*r4, r1 + r3 + 3*r4, 2*r4, 2*r4, r3 + 4*r4, r3 + 4*r4, 2*r3 + 4*r4, r3 + 3*r4], True) ([0, 7], [r1 + 2*r3 + 4*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, r1 + 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, r1 + 2*r3 + 5*r4, 3*r3 + 5*r4, 2*r3 + 4*r4], True) Distances: ([3, 4, 5, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 4, 5, 9], [4, 5], abs(-r3)) ([3, 4, 5, 9], [3, 9], abs(-r3)) ([0, 1, 2, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r3 - r4)) ([0, 1, 2, 7], [1, 2], abs(-r1)) ([0, 1, 2, 7], [0, 7], abs(-r1)) Cone a2a3a4 Leaves and Vertices: ([0], [+Infinity, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, 2*r2 + 2*r3 + 5*r4, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], False) ([1], [r2 + r3 + 3*r4, +Infinity, 2*r2 + r3 + 4*r4, 2*r2 + r3 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + r3 + 4*r4, r2 + r3 + 4*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4], False) ([2], [r2 + r3 + 3*r4, 2*r2 + r3 + 4*r4, +Infinity, 2*r2 + r3 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + r3 + 4*r4, r2 + r3 + 4*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4], False) ([3], [2*r2 + 4*r3 + 5*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, +Infinity, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 5*r3 + 7*r4, 2*r2 + 4*r3 + 6*r4, 3*r2 + 6*r3 + 7*r4, 3*r2 + 6*r3 + 7*r4], False) ([4], [-r3, -r3 + r4, -r3 + r4, r2 + 2*r4, +Infinity, r2 + r4, 2*r4, -r3 + r4, r2 + r3 + 2*r4, 2*r4], False) ([5], [r2 + 3*r3 + 4*r4, r2 + 3*r3 + 5*r4, r2 + 3*r3 + 5*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 5*r4, +Infinity, r2 + 4*r3 + 6*r4, r2 + 3*r3 + 5*r4, 2*r2 + 5*r3 + 6*r4, r2 + 4*r3 + 6*r4], False) ([6], [2*r2 + 3*r3 + 6*r4, 2*r2 + 3*r3 + 7*r4, 2*r2 + 3*r3 + 7*r4, 3*r2 + 4*r3 + 7*r4, 2*r2 + 3*r3 + 6*r4, 2*r2 + 3*r3 + 6*r4, +Infinity, 2*r2 + 3*r3 + 7*r4, 3*r2 + 5*r3 + 8*r4, 2*r2 + 4*r3 + 7*r4], False) ([7], [2*r2 + 2*r3 + 4*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, +Infinity, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], False) ([8], [2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 7*r4, 2*r2 + 4*r3 + 7*r4, 3*r2 + 5*r3 + 7*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 5*r3 + 8*r4, 2*r2 + 4*r3 + 7*r4, +Infinity, 2*r2 + 5*r3 + 7*r4], False) ([9], [r2 + 2*r3 + 3*r4, r2 + 2*r3 + 4*r4, r2 + 2*r3 + 4*r4, 3*r2 + 4*r3 + 5*r4, r2 + 2*r3 + 4*r4, r2 + 2*r3 + 4*r4, r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4, 2*r2 + 4*r3 + 5*r4, +Infinity], False) ([3, 4, 5, 9], [2*r2 + 4*r3 + 5*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, 3*r2 + 5*r3 + 7*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 5*r3 + 7*r4, 2*r2 + 4*r3 + 6*r4, 3*r2 + 6*r3 + 7*r4, 2*r2 + 5*r3 + 7*r4], True) ([0, 1, 2, 7], [r2 + 2*r3 + 4*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2*r2 + 3*r3 + 6*r4, 2*r2 + 3*r3 + 7*r4, 2*r2 + 3*r3 + 7*r4, 3*r2 + 4*r3 + 7*r4, 2*r2 + 3*r3 + 6*r4, 2*r2 + 3*r3 + 6*r4, 2*r2 + 4*r3 + 8*r4, 2*r2 + 3*r3 + 7*r4, 3*r2 + 5*r3 + 8*r4, 2*r2 + 4*r3 + 7*r4], True) ([4, 5], [-r3, -r3 + r4, -r3 + r4, r2 + 2*r4, r2 + r4, r2 + r4, 2*r4, -r3 + r4, r2 + r3 + 2*r4, 2*r4], True) ([3, 9], [2*r2 + 4*r3 + 5*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, 4*r2 + 6*r3 + 7*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 4*r3 + 6*r4, 2*r2 + 5*r3 + 7*r4, 2*r2 + 4*r3 + 6*r4, 3*r2 + 6*r3 + 7*r4, 3*r2 + 6*r3 + 7*r4], True) ([1, 2], [r2 + r3 + 3*r4, 2*r2 + r3 + 4*r4, 2*r2 + r3 + 4*r4, 2*r2 + r3 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + r3 + 4*r4, r2 + r3 + 4*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4], True) ([0, 7], [2*r2 + 2*r3 + 4*r4, r2 + 2*r3 + 5*r4, r2 + 2*r3 + 5*r4, 2*r2 + 2*r3 + 4*r4, r2 + r3 + 3*r4, r2 + r3 + 3*r4, r2 + 2*r3 + 5*r4, 2*r2 + 2*r3 + 5*r4, 2*r2 + 3*r3 + 5*r4, r2 + 2*r3 + 4*r4], True) Distances: ([3, 4, 5, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 4, 5, 9], [4, 5], abs(-r2 - r3)) ([3, 4, 5, 9], [3, 9], abs(-r2 - r3)) ([0, 1, 2, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r3 - r4)) ([0, 1, 2, 7], [1, 2], abs(-r2)) ([0, 1, 2, 7], [0, 7], abs(-r2)) Cone aa2b Leaves and Vertices: ([0], [+Infinity, r2, r2, r1 + 2*r2, r2, r2, r2, r1 + 2*r2, 2*r2 + r4, r2 + r4], False) ([1], [r2, +Infinity, r1 + 2*r2, r1 + 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], False) ([2], [r2, r1 + 2*r2, +Infinity, r1 + 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], False) ([3], [r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, 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], False) ([4], [-r4, -r4, -r4, r1 + r2 - r4, +Infinity, r2, 0, -r4, r2, 0], False) ([5], [r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, 2*r1 + 2*r2 + 2*r4, r1 + 2*r2 + 3*r4, +Infinity, r1 + r2 + 3*r4, r1 + r2 + 2*r4, r1 + 2*r2 + 3*r4, r1 + r2 + 3*r4], False) ([6], [r1 + 2*r2 + r4, r1 + 2*r2 + r4, r1 + 2*r2 + r4, 2*r1 + 3*r2 + r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, +Infinity, r1 + 2*r2 + r4, r1 + 3*r2 + 2*r4, r1 + 2*r2 + 2*r4], False) ([7], [r1 + 2*r2, r2, r2, r1 + 2*r2, r2, r2, r2, +Infinity, 2*r2 + r4, r2 + r4], False) ([8], [r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, 2*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, +Infinity, r1 + 2*r2 + 4*r4], False) ([9], [r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, 2*r1 + 3*r2 + 3*r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + r2 + 2*r4, r1 + 2*r2 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r2, r2, r2, r1 + 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], True) ([3, 8, 9], [r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, 2*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 + 2*r2 + 4*r4], True) ([4, 5, 6], [r1 + 2*r2 + r4, r1 + 2*r2 + r4, r1 + 2*r2 + r4, 2*r1 + 3*r2 + r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + r4, r1 + 3*r2 + 2*r4, r1 + 2*r2 + 2*r4], True) ([4, 5], [-r4, -r4, -r4, r1 + r2 - r4, r2, r2, 0, -r4, r2, 0], True) ([3, 9], [r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, r1 + 2*r2 + 2*r4, 2*r1 + 4*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], True) ([1, 2], [r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], True) ([0, 7], [r1 + 2*r2, r2, r2, r1 + 2*r2, r2, r2, r2, r1 + 2*r2, 2*r2 + r4, r2 + r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(r1 + r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 7], abs(r1 + r2)) ([3, 8, 9], [3, 9], abs(-r2)) ([4, 5, 6], [4, 5], abs(-r2)) Cone aa3b Leaves and Vertices: ([0], [+Infinity, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, r1 + 2*r3, 3*r3 + r4, 2*r3 + r4], False) ([1], [r3, +Infinity, r1 + r3, r1 + r3, 0, 0, r3, r3, 2*r3 + r4, r3 + r4], False) ([2], [r3, r1 + r3, +Infinity, r1 + r3, 0, 0, r3, r3, 2*r3 + r4, r3 + r4], False) ([3], [r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, +Infinity, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 6*r3 + 4*r4, r1 + 6*r3 + 4*r4], False) ([4], [-r3 - r4, -r3 - r4, -r3 - r4, r1 - r4, +Infinity, 0, 0, -r3 - r4, r3, 0], False) ([5], [r1 + 3*r3 + 2*r4, r1 + 3*r3 + 2*r4, r1 + 3*r3 + 2*r4, 2*r1 + 4*r3 + 2*r4, r1 + 4*r3 + 3*r4, +Infinity, r1 + 4*r3 + 3*r4, r1 + 3*r3 + 2*r4, r1 + 5*r3 + 3*r4, r1 + 4*r3 + 3*r4], False) ([6], [r1 + 3*r3 + r4, r1 + 3*r3 + r4, r1 + 3*r3 + r4, 2*r1 + 4*r3 + r4, r1 + 3*r3 + 2*r4, r1 + 3*r3 + 2*r4, +Infinity, r1 + 3*r3 + r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4], False) ([7], [r1 + 2*r3, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, +Infinity, 3*r3 + r4, 2*r3 + r4], False) ([8], [r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, 2*r1 + 5*r3 + 3*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4, +Infinity, r1 + 5*r3 + 4*r4], False) ([9], [r1 + 2*r3 + 2*r4, r1 + 2*r3 + 2*r4, r1 + 2*r3 + 2*r4, 2*r1 + 4*r3 + 3*r4, r1 + 2*r3 + 2*r4, r1 + 2*r3 + 2*r4, r1 + 3*r3 + 2*r4, r1 + 2*r3 + 2*r4, r1 + 4*r3 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 3*r3 + r4, r1 + 3*r3 + r4, r1 + 3*r3 + r4, 2*r1 + 4*r3 + r4, r1 + 3*r3 + r4, r1 + 3*r3 + r4, r1 + 4*r3 + r4, r1 + 3*r3 + r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4], True) ([0, 1, 2, 7], [2*r3, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, 2*r3, 3*r3 + r4, 2*r3 + r4], True) ([3, 8, 9], [r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, 2*r1 + 5*r3 + 3*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 6*r3 + 4*r4, r1 + 5*r3 + 4*r4], True) ([4, 5, 6], [r1 + 3*r3 + r4, r1 + 3*r3 + r4, r1 + 3*r3 + r4, 2*r1 + 4*r3 + r4, r1 + 3*r3 + 2*r4, r1 + 3*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 3*r3 + r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4], True) ([4, 5], [-r3 - r4, -r3 - r4, -r3 - r4, r1 - r4, 0, 0, 0, -r3 - r4, r3, 0], True) ([3, 9], [r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, 2*r1 + 6*r3 + 3*r4, r1 + 4*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 5*r3 + 2*r4, r1 + 4*r3 + 2*r4, r1 + 6*r3 + 4*r4, r1 + 6*r3 + 4*r4], True) ([1, 2], [r3, r1 + r3, r1 + r3, r1 + r3, 0, 0, r3, r3, 2*r3 + r4, r3 + r4], True) ([0, 7], [r1 + 2*r3, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, r1 + 2*r3, 3*r3 + r4, 2*r3 + r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 7], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 7], [1, 2], abs(-r1)) ([0, 1, 2, 7], [0, 7], abs(-r1)) ([3, 8, 9], [3, 9], abs(-r3)) ([4, 5, 6], [4, 5], abs(-r3)) Cone a2a3b Leaves and Vertices: ([0], [+Infinity, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, 2*r2 + 2*r3, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], False) ([1], [r2 + r3, +Infinity, 2*r2 + r3, 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3 + r4, r2 + r3 + r4], False) ([2], [r2 + r3, 2*r2 + r3, +Infinity, 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3 + r4, r2 + r3 + r4], False) ([3], [2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, +Infinity, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 3*r2 + 6*r3 + 4*r4, 3*r2 + 6*r3 + 4*r4], False) ([4], [-r3 - r4, -r3 - r4, -r3 - r4, r2 - r4, +Infinity, r2, 0, -r3 - r4, r2 + r3, 0], False) ([5], [r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 3*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 3*r4, +Infinity, r2 + 4*r3 + 3*r4, r2 + 3*r3 + 2*r4, 2*r2 + 5*r3 + 3*r4, r2 + 4*r3 + 3*r4], False) ([6], [2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 3*r2 + 4*r3 + r4, 2*r2 + 3*r3 + 2*r4, 2*r2 + 3*r3 + 2*r4, +Infinity, 2*r2 + 3*r3 + r4, 3*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4], False) ([7], [2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, +Infinity, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], False) ([8], [2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 3*r2 + 5*r3 + 3*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, +Infinity, 2*r2 + 5*r3 + 4*r4], False) ([9], [r2 + 2*r3 + 2*r4, r2 + 2*r3 + 2*r4, r2 + 2*r3 + 2*r4, 3*r2 + 4*r3 + 3*r4, r2 + 2*r3 + 2*r4, r2 + 2*r3 + 2*r4, r2 + 3*r3 + 2*r4, r2 + 2*r3 + 2*r4, 2*r2 + 4*r3 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 3*r2 + 4*r3 + r4, 2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 2*r2 + 4*r3 + r4, 2*r2 + 3*r3 + r4, 3*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4], True) ([0, 1, 2, 7], [r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], True) ([3, 8, 9], [2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 3*r2 + 5*r3 + 3*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 3*r2 + 6*r3 + 4*r4, 2*r2 + 5*r3 + 4*r4], True) ([4, 5, 6], [2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 2*r2 + 3*r3 + r4, 3*r2 + 4*r3 + r4, 2*r2 + 3*r3 + 2*r4, 2*r2 + 3*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 3*r3 + r4, 3*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4], True) ([4, 5], [-r3 - r4, -r3 - r4, -r3 - r4, r2 - r4, r2, r2, 0, -r3 - r4, r2 + r3, 0], True) ([3, 9], [2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 4*r2 + 6*r3 + 3*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 2*r2 + 5*r3 + 2*r4, 2*r2 + 4*r3 + 2*r4, 3*r2 + 6*r3 + 4*r4, 3*r2 + 6*r3 + 4*r4], True) ([1, 2], [r2 + r3, 2*r2 + r3, 2*r2 + r3, 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3 + r4, r2 + r3 + r4], True) ([0, 7], [2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, 2*r2 + 2*r3, 2*r2 + 3*r3 + r4, r2 + 2*r3 + r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 7], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 7], [1, 2], abs(-r2)) ([0, 1, 2, 7], [0, 7], abs(-r2)) ([3, 8, 9], [3, 9], abs(-r2 - r3)) ([4, 5, 6], [4, 5], abs(-r2 - r3)) Cone aa2 Leaves and Vertices: ([0], [+Infinity, r2, r2, r1 + 2*r2, r2, r2, r2, r1 + 2*r2, 2*r2, r2], False) ([1], [r2, +Infinity, r1 + 2*r2, r1 + 2*r2, r2, r2, r2, r2, 2*r2, r2], False) ([2], [r2, r1 + 2*r2, +Infinity, r1 + 2*r2, r2, r2, r2, r2, 2*r2, r2], False) ([3], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, +Infinity, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 3*r2, r1 + 3*r2], False) ([4], [0, 0, 0, r1 + r2, +Infinity, r2, 0, 0, r2, 0], False) ([5], [r1 + r2, r1 + r2, r1 + r2, 2*r1 + 2*r2, r1 + 2*r2, +Infinity, r1 + r2, r1 + r2, r1 + 2*r2, r1 + r2], False) ([6], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, 2*r1 + 3*r2, r1 + 2*r2, r1 + 2*r2, +Infinity, r1 + 2*r2, r1 + 3*r2, r1 + 2*r2], False) ([7], [r1 + 2*r2, r2, r2, r1 + 2*r2, r2, r2, r2, +Infinity, 2*r2, r2], False) ([8], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, 2*r1 + 3*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, +Infinity, r1 + 2*r2], False) ([9], [r1 + r2, r1 + r2, r1 + r2, 2*r1 + 3*r2, r1 + r2, r1 + r2, r1 + r2, r1 + r2, r1 + 2*r2, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, 2*r1 + 3*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 3*r2, r1 + 2*r2], True) ([4, 5], [0, 0, 0, r1 + r2, r2, r2, 0, 0, r2, 0], True) ([3, 9], [r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, 2*r1 + 4*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r1 + 3*r2, r1 + 3*r2], True) ([1, 2], [r2, r1 + 2*r2, r1 + 2*r2, r1 + 2*r2, r2, r2, r2, r2, 2*r2, r2], True) ([0, 7], [r1 + 2*r2, r2, r2, r1 + 2*r2, r2, r2, r2, r1 + 2*r2, 2*r2, r2], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5], abs(r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 9], abs(r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(r1 + r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 7], abs(r1 + r2)) Cone aa3 Leaves and Vertices: ([0], [+Infinity, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, r1 + 2*r3, 3*r3, 2*r3], False) ([1], [r3, +Infinity, r1 + r3, r1 + r3, 0, 0, r3, r3, 2*r3, r3], False) ([2], [r3, r1 + r3, +Infinity, r1 + r3, 0, 0, r3, r3, 2*r3, r3], False) ([3], [r1 + 4*r3, r1 + 4*r3, r1 + 4*r3, +Infinity, r1 + 4*r3, r1 + 4*r3, r1 + 5*r3, r1 + 4*r3, r1 + 6*r3, r1 + 6*r3], False) ([4], [-r3, -r3, -r3, r1, +Infinity, 0, 0, -r3, r3, 0], False) ([5], [r1 + 3*r3, r1 + 3*r3, r1 + 3*r3, 2*r1 + 4*r3, r1 + 4*r3, +Infinity, r1 + 4*r3, r1 + 3*r3, r1 + 5*r3, r1 + 4*r3], False) ([6], [r1 + 3*r3, r1 + 3*r3, r1 + 3*r3, 2*r1 + 4*r3, r1 + 3*r3, r1 + 3*r3, +Infinity, r1 + 3*r3, r1 + 5*r3, r1 + 4*r3], False) ([7], [r1 + 2*r3, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, +Infinity, 3*r3, 2*r3], False) ([8], [r1 + 4*r3, r1 + 4*r3, r1 + 4*r3, 2*r1 + 5*r3, r1 + 4*r3, r1 + 4*r3, r1 + 5*r3, r1 + 4*r3, +Infinity, r1 + 5*r3], False) ([9], [r1 + 2*r3, r1 + 2*r3, r1 + 2*r3, 2*r1 + 4*r3, r1 + 2*r3, r1 + 2*r3, r1 + 3*r3, r1 + 2*r3, r1 + 4*r3, +Infinity], False) ([0, 1, 2, 7], [2*r3, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, 2*r3, 3*r3, 2*r3], True) ([3, 4, 5, 6, 8, 9], [r1 + 3*r3, r1 + 3*r3, r1 + 3*r3, 2*r1 + 4*r3, r1 + 3*r3, r1 + 3*r3, r1 + 4*r3, r1 + 3*r3, r1 + 5*r3, r1 + 4*r3], True) ([4, 5], [-r3, -r3, -r3, r1, 0, 0, 0, -r3, r3, 0], True) ([3, 9], [r1 + 4*r3, r1 + 4*r3, r1 + 4*r3, 2*r1 + 6*r3, r1 + 4*r3, r1 + 4*r3, r1 + 5*r3, r1 + 4*r3, r1 + 6*r3, r1 + 6*r3], True) ([1, 2], [r3, r1 + r3, r1 + r3, r1 + r3, 0, 0, r3, r3, 2*r3, r3], True) ([0, 7], [r1 + 2*r3, 2*r3, 2*r3, r1 + 2*r3, r3, r3, 2*r3, r1 + 2*r3, 3*r3, 2*r3], True) Distances: ([0, 1, 2, 7], [3, 4, 5, 6, 8, 9], abs(-r3)) ([0, 1, 2, 7], [1, 2], abs(-r1)) ([0, 1, 2, 7], [0, 7], abs(-r1)) ([3, 4, 5, 6, 8, 9], [4, 5], abs(-r3)) ([3, 4, 5, 6, 8, 9], [3, 9], abs(-r3)) Cone aa4 Leaves and Vertices: ([0], [+Infinity, 5*r4, 5*r4, r1 + 4*r4, 3*r4, 3*r4, 5*r4, r1 + 5*r4, 5*r4, 4*r4], False) ([1], [3*r4, +Infinity, r1 + 4*r4, r1 + 3*r4, 2*r4, 2*r4, 4*r4, 4*r4, 4*r4, 3*r4], False) ([2], [3*r4, r1 + 4*r4, +Infinity, r1 + 3*r4, 2*r4, 2*r4, 4*r4, 4*r4, 4*r4, 3*r4], False) ([3], [r1 + 5*r4, r1 + 6*r4, r1 + 6*r4, +Infinity, r1 + 6*r4, r1 + 6*r4, r1 + 7*r4, r1 + 6*r4, r1 + 7*r4, r1 + 7*r4], False) ([4], [0, r4, r4, r1 + 2*r4, +Infinity, r4, 2*r4, r4, 2*r4, 2*r4], False) ([5], [r1 + 4*r4, r1 + 5*r4, r1 + 5*r4, 2*r1 + 6*r4, r1 + 5*r4, +Infinity, r1 + 6*r4, r1 + 5*r4, r1 + 6*r4, r1 + 6*r4], False) ([6], [r1 + 6*r4, r1 + 7*r4, r1 + 7*r4, 2*r1 + 7*r4, r1 + 6*r4, r1 + 6*r4, +Infinity, r1 + 7*r4, r1 + 8*r4, r1 + 7*r4], False) ([7], [r1 + 4*r4, 5*r4, 5*r4, r1 + 4*r4, 3*r4, 3*r4, 5*r4, +Infinity, 5*r4, 4*r4], False) ([8], [r1 + 6*r4, r1 + 7*r4, r1 + 7*r4, 2*r1 + 7*r4, r1 + 6*r4, r1 + 6*r4, r1 + 8*r4, r1 + 7*r4, +Infinity, r1 + 7*r4], False) ([9], [r1 + 3*r4, r1 + 4*r4, r1 + 4*r4, 2*r1 + 5*r4, r1 + 4*r4, r1 + 4*r4, r1 + 5*r4, r1 + 4*r4, r1 + 5*r4, +Infinity], False) ([0, 1, 2, 7], [4*r4, 5*r4, 5*r4, r1 + 4*r4, 3*r4, 3*r4, 5*r4, 5*r4, 5*r4, 4*r4], True) ([3, 4, 5, 6, 8, 9], [r1 + 6*r4, r1 + 7*r4, r1 + 7*r4, 2*r1 + 7*r4, r1 + 6*r4, r1 + 6*r4, r1 + 8*r4, r1 + 7*r4, r1 + 8*r4, r1 + 7*r4], True) ([3, 4, 5, 9], [r1 + 5*r4, r1 + 6*r4, r1 + 6*r4, 2*r1 + 7*r4, r1 + 6*r4, r1 + 6*r4, r1 + 7*r4, r1 + 6*r4, r1 + 7*r4, r1 + 7*r4], True) ([1, 2], [3*r4, r1 + 4*r4, r1 + 4*r4, r1 + 3*r4, 2*r4, 2*r4, 4*r4, 4*r4, 4*r4, 3*r4], True) ([0, 7], [r1 + 4*r4, 5*r4, 5*r4, r1 + 4*r4, 3*r4, 3*r4, 5*r4, r1 + 5*r4, 5*r4, 4*r4], True) Distances: ([0, 1, 2, 7], [3, 4, 5, 6, 8, 9], abs(-r4)) ([0, 1, 2, 7], [1, 2], abs(-r1)) ([0, 1, 2, 7], [0, 7], abs(-r1)) ([3, 4, 5, 6, 8, 9], [3, 4, 5, 9], abs(-r4)) Cone a2a3 Leaves and Vertices: ([0], [+Infinity, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, 2*r2 + 2*r3, 2*r2 + 3*r3, r2 + 2*r3], False) ([1], [r2 + r3, +Infinity, 2*r2 + r3, 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3, r2 + r3], False) ([2], [r2 + r3, 2*r2 + r3, +Infinity, 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3, r2 + r3], False) ([3], [2*r2 + 4*r3, 2*r2 + 4*r3, 2*r2 + 4*r3, +Infinity, 2*r2 + 4*r3, 2*r2 + 4*r3, 2*r2 + 5*r3, 2*r2 + 4*r3, 3*r2 + 6*r3, 3*r2 + 6*r3], False) ([4], [-r3, -r3, -r3, r2, +Infinity, r2, 0, -r3, r2 + r3, 0], False) ([5], [r2 + 3*r3, r2 + 3*r3, r2 + 3*r3, 2*r2 + 4*r3, 2*r2 + 4*r3, +Infinity, r2 + 4*r3, r2 + 3*r3, 2*r2 + 5*r3, r2 + 4*r3], False) ([6], [2*r2 + 3*r3, 2*r2 + 3*r3, 2*r2 + 3*r3, 3*r2 + 4*r3, 2*r2 + 3*r3, 2*r2 + 3*r3, +Infinity, 2*r2 + 3*r3, 3*r2 + 5*r3, 2*r2 + 4*r3], False) ([7], [2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, +Infinity, 2*r2 + 3*r3, r2 + 2*r3], False) ([8], [2*r2 + 4*r3, 2*r2 + 4*r3, 2*r2 + 4*r3, 3*r2 + 5*r3, 2*r2 + 4*r3, 2*r2 + 4*r3, 2*r2 + 5*r3, 2*r2 + 4*r3, +Infinity, 2*r2 + 5*r3], False) ([9], [r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 3*r2 + 4*r3, r2 + 2*r3, r2 + 2*r3, r2 + 3*r3, r2 + 2*r3, 2*r2 + 4*r3, +Infinity], False) ([0, 1, 2, 7], [r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 3*r3, r2 + 2*r3], True) ([3, 4, 5, 6, 8, 9], [2*r2 + 3*r3, 2*r2 + 3*r3, 2*r2 + 3*r3, 3*r2 + 4*r3, 2*r2 + 3*r3, 2*r2 + 3*r3, 2*r2 + 4*r3, 2*r2 + 3*r3, 3*r2 + 5*r3, 2*r2 + 4*r3], True) ([4, 5], [-r3, -r3, -r3, r2, r2, r2, 0, -r3, r2 + r3, 0], True) ([3, 9], [2*r2 + 4*r3, 2*r2 + 4*r3, 2*r2 + 4*r3, 4*r2 + 6*r3, 2*r2 + 4*r3, 2*r2 + 4*r3, 2*r2 + 5*r3, 2*r2 + 4*r3, 3*r2 + 6*r3, 3*r2 + 6*r3], True) ([1, 2], [r2 + r3, 2*r2 + r3, 2*r2 + r3, 2*r2 + r3, r2, r2, r2 + r3, r2 + r3, 2*r2 + 2*r3, r2 + r3], True) ([0, 7], [2*r2 + 2*r3, r2 + 2*r3, r2 + 2*r3, 2*r2 + 2*r3, r2 + r3, r2 + r3, r2 + 2*r3, 2*r2 + 2*r3, 2*r2 + 3*r3, r2 + 2*r3], True) Distances: ([0, 1, 2, 7], [3, 4, 5, 6, 8, 9], abs(-r3)) ([0, 1, 2, 7], [1, 2], abs(-r2)) ([0, 1, 2, 7], [0, 7], abs(-r2)) ([3, 4, 5, 6, 8, 9], [4, 5], abs(-r2 - r3)) ([3, 4, 5, 6, 8, 9], [3, 9], abs(-r2 - r3)) Cone a2a4 Leaves and Vertices: ([0], [+Infinity, r2 + 5*r4, r2 + 5*r4, 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, 2*r2 + 5*r4, 2*r2 + 5*r4, r2 + 4*r4], False) ([1], [r2 + 3*r4, +Infinity, 2*r2 + 4*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 4*r4, r2 + 4*r4, 2*r2 + 4*r4, r2 + 3*r4], False) ([2], [r2 + 3*r4, 2*r2 + 4*r4, +Infinity, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 4*r4, r2 + 4*r4, 2*r2 + 4*r4, r2 + 3*r4], False) ([3], [2*r2 + 5*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, +Infinity, 2*r2 + 6*r4, 2*r2 + 6*r4, 2*r2 + 7*r4, 2*r2 + 6*r4, 3*r2 + 7*r4, 3*r2 + 7*r4], False) ([4], [0, r4, r4, r2 + 2*r4, +Infinity, r2 + r4, 2*r4, r4, r2 + 2*r4, 2*r4], False) ([5], [r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, 2*r2 + 6*r4, 2*r2 + 5*r4, +Infinity, r2 + 6*r4, r2 + 5*r4, 2*r2 + 6*r4, r2 + 6*r4], False) ([6], [2*r2 + 6*r4, 2*r2 + 7*r4, 2*r2 + 7*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, +Infinity, 2*r2 + 7*r4, 3*r2 + 8*r4, 2*r2 + 7*r4], False) ([7], [2*r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, +Infinity, 2*r2 + 5*r4, r2 + 4*r4], False) ([8], [2*r2 + 6*r4, 2*r2 + 7*r4, 2*r2 + 7*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, 2*r2 + 8*r4, 2*r2 + 7*r4, +Infinity, 2*r2 + 7*r4], False) ([9], [r2 + 3*r4, r2 + 4*r4, r2 + 4*r4, 3*r2 + 5*r4, r2 + 4*r4, r2 + 4*r4, r2 + 5*r4, r2 + 4*r4, 2*r2 + 5*r4, +Infinity], False) ([3, 4, 5, 9], [2*r2 + 5*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, 2*r2 + 7*r4, 2*r2 + 6*r4, 3*r2 + 7*r4, 2*r2 + 7*r4], True) ([0, 1, 2, 7], [r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, r2 + 5*r4, 2*r2 + 5*r4, r2 + 4*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2*r2 + 6*r4, 2*r2 + 7*r4, 2*r2 + 7*r4, 3*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, 2*r2 + 8*r4, 2*r2 + 7*r4, 3*r2 + 8*r4, 2*r2 + 7*r4], True) ([4, 5], [0, r4, r4, r2 + 2*r4, r2 + r4, r2 + r4, 2*r4, r4, r2 + 2*r4, 2*r4], True) ([3, 9], [2*r2 + 5*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, 4*r2 + 7*r4, 2*r2 + 6*r4, 2*r2 + 6*r4, 2*r2 + 7*r4, 2*r2 + 6*r4, 3*r2 + 7*r4, 3*r2 + 7*r4], True) ([1, 2], [r2 + 3*r4, 2*r2 + 4*r4, 2*r2 + 4*r4, 2*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 4*r4, r2 + 4*r4, 2*r2 + 4*r4, r2 + 3*r4], True) ([0, 7], [2*r2 + 4*r4, r2 + 5*r4, r2 + 5*r4, 2*r2 + 4*r4, r2 + 3*r4, r2 + 3*r4, r2 + 5*r4, 2*r2 + 5*r4, 2*r2 + 5*r4, r2 + 4*r4], True) Distances: ([3, 4, 5, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 4, 5, 9], [4, 5], abs(-r2)) ([3, 4, 5, 9], [3, 9], abs(-r2)) ([0, 1, 2, 7], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([0, 1, 2, 7], [1, 2], abs(-r2)) ([0, 1, 2, 7], [0, 7], abs(-r2)) Cone a3a4 Leaves and Vertices: ([0], [+Infinity, 2*r3 + 5*r4, 2*r3 + 5*r4, 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, 3*r3 + 5*r4, 2*r3 + 4*r4], False) ([1], [r3 + 3*r4, +Infinity, r3 + 4*r4, r3 + 3*r4, 2*r4, 2*r4, r3 + 4*r4, r3 + 4*r4, 2*r3 + 4*r4, r3 + 3*r4], False) ([2], [r3 + 3*r4, r3 + 4*r4, +Infinity, r3 + 3*r4, 2*r4, 2*r4, r3 + 4*r4, r3 + 4*r4, 2*r3 + 4*r4, r3 + 3*r4], False) ([3], [4*r3 + 5*r4, 4*r3 + 6*r4, 4*r3 + 6*r4, +Infinity, 4*r3 + 6*r4, 4*r3 + 6*r4, 5*r3 + 7*r4, 4*r3 + 6*r4, 6*r3 + 7*r4, 6*r3 + 7*r4], False) ([4], [-r3, -r3 + r4, -r3 + r4, 2*r4, +Infinity, r4, 2*r4, -r3 + r4, r3 + 2*r4, 2*r4], False) ([5], [3*r3 + 4*r4, 3*r3 + 5*r4, 3*r3 + 5*r4, 4*r3 + 6*r4, 4*r3 + 5*r4, +Infinity, 4*r3 + 6*r4, 3*r3 + 5*r4, 5*r3 + 6*r4, 4*r3 + 6*r4], False) ([6], [3*r3 + 6*r4, 3*r3 + 7*r4, 3*r3 + 7*r4, 4*r3 + 7*r4, 3*r3 + 6*r4, 3*r3 + 6*r4, +Infinity, 3*r3 + 7*r4, 5*r3 + 8*r4, 4*r3 + 7*r4], False) ([7], [2*r3 + 4*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, +Infinity, 3*r3 + 5*r4, 2*r3 + 4*r4], False) ([8], [4*r3 + 6*r4, 4*r3 + 7*r4, 4*r3 + 7*r4, 5*r3 + 7*r4, 4*r3 + 6*r4, 4*r3 + 6*r4, 5*r3 + 8*r4, 4*r3 + 7*r4, +Infinity, 5*r3 + 7*r4], False) ([9], [2*r3 + 3*r4, 2*r3 + 4*r4, 2*r3 + 4*r4, 4*r3 + 5*r4, 2*r3 + 4*r4, 2*r3 + 4*r4, 3*r3 + 5*r4, 2*r3 + 4*r4, 4*r3 + 5*r4, +Infinity], False) ([3, 4, 5, 9], [4*r3 + 5*r4, 4*r3 + 6*r4, 4*r3 + 6*r4, 5*r3 + 7*r4, 4*r3 + 6*r4, 4*r3 + 6*r4, 5*r3 + 7*r4, 4*r3 + 6*r4, 6*r3 + 7*r4, 5*r3 + 7*r4], True) ([0, 1, 2, 6, 7, 8], [3*r3 + 6*r4, 3*r3 + 7*r4, 3*r3 + 7*r4, 4*r3 + 7*r4, 3*r3 + 6*r4, 3*r3 + 6*r4, 4*r3 + 8*r4, 3*r3 + 7*r4, 5*r3 + 8*r4, 4*r3 + 7*r4], True) ([4, 5], [-r3, -r3 + r4, -r3 + r4, 2*r4, r4, r4, 2*r4, -r3 + r4, r3 + 2*r4, 2*r4], True) ([3, 9], [4*r3 + 5*r4, 4*r3 + 6*r4, 4*r3 + 6*r4, 6*r3 + 7*r4, 4*r3 + 6*r4, 4*r3 + 6*r4, 5*r3 + 7*r4, 4*r3 + 6*r4, 6*r3 + 7*r4, 6*r3 + 7*r4], True) ([0, 1, 2, 7], [2*r3 + 4*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, 2*r3 + 4*r4, r3 + 3*r4, r3 + 3*r4, 2*r3 + 5*r4, 2*r3 + 5*r4, 3*r3 + 5*r4, 2*r3 + 4*r4], True) Distances: ([3, 4, 5, 9], [0, 1, 2, 6, 7, 8], abs(-r4)) ([3, 4, 5, 9], [4, 5], abs(-r3)) ([3, 4, 5, 9], [3, 9], abs(-r3)) ([0, 1, 2, 6, 7, 8], [0, 1, 2, 7], abs(-r3 - r4)) Cone ab Leaves and Vertices: ([0], [+Infinity, 0, 0, r1, 0, 0, 0, r1, r4, r4], False) ([1], [0, +Infinity, r1, r1, 0, 0, 0, 0, r4, r4], False) ([2], [0, r1, +Infinity, r1, 0, 0, 0, 0, r4, r4], False) ([3], [r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, +Infinity, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 4*r4, r1 + 4*r4], False) ([4], [-r4, -r4, -r4, r1 - r4, +Infinity, 0, 0, -r4, 0, 0], False) ([5], [r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, 2*r1 + 2*r4, r1 + 3*r4, +Infinity, r1 + 3*r4, r1 + 2*r4, r1 + 3*r4, r1 + 3*r4], False) ([6], [r1 + r4, r1 + r4, r1 + r4, 2*r1 + r4, r1 + 2*r4, r1 + 2*r4, +Infinity, r1 + r4, r1 + 2*r4, r1 + 2*r4], False) ([7], [r1, 0, 0, r1, 0, 0, 0, +Infinity, r4, r4], False) ([8], [r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, 2*r1 + 3*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, +Infinity, r1 + 4*r4], False) ([9], [r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, 2*r1 + 3*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 0, 0, r1, 0, 0, 0, 0, r4, r4], True) ([4, 5, 6], [-r4, -r4, -r4, r1 - r4, 0, 0, 0, -r4, 0, 0], True) ([3, 8, 9], [r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, 2*r1 + 3*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 2*r4, r1 + 4*r4, r1 + 4*r4], True) ([1, 2], [0, r1, r1, r1, 0, 0, 0, 0, r4, r4], True) ([0, 7], [r1, 0, 0, r1, 0, 0, 0, r1, r4, r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(r1)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 7], abs(r1)) Cone a2b Leaves and Vertices: ([0], [+Infinity, r2, r2, 2*r2, r2, r2, r2, 2*r2, 2*r2 + r4, r2 + r4], False) ([1], [r2, +Infinity, 2*r2, 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], False) ([2], [r2, 2*r2, +Infinity, 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], False) ([3], [2*r2 + 2*r4, 2*r2 + 2*r4, 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], False) ([4], [-r4, -r4, -r4, r2 - r4, +Infinity, r2, 0, -r4, r2, 0], False) ([5], [r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 3*r4, +Infinity, r2 + 3*r4, r2 + 2*r4, 2*r2 + 3*r4, r2 + 3*r4], False) ([6], [2*r2 + r4, 2*r2 + r4, 2*r2 + r4, 3*r2 + r4, 2*r2 + 2*r4, 2*r2 + 2*r4, +Infinity, 2*r2 + r4, 3*r2 + 2*r4, 2*r2 + 2*r4], False) ([7], [2*r2, r2, r2, 2*r2, r2, r2, r2, +Infinity, 2*r2 + r4, r2 + r4], False) ([8], [2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 3*r2 + 3*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, +Infinity, 2*r2 + 4*r4], False) ([9], [r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, 3*r2 + 3*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, r2 + 2*r4, 2*r2 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r2, r2, r2, 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], True) ([3, 8, 9], [2*r2 + 2*r4, 2*r2 + 2*r4, 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, 2*r2 + 4*r4], True) ([4, 5, 6], [2*r2 + r4, 2*r2 + r4, 2*r2 + r4, 3*r2 + r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + r4, 3*r2 + 2*r4, 2*r2 + 2*r4], True) ([4, 5], [-r4, -r4, -r4, r2 - r4, r2, r2, 0, -r4, r2, 0], True) ([3, 9], [2*r2 + 2*r4, 2*r2 + 2*r4, 2*r2 + 2*r4, 4*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], True) ([1, 2], [r2, 2*r2, 2*r2, 2*r2, r2, r2, r2, r2, 2*r2 + r4, r2 + r4], True) ([0, 7], [2*r2, r2, r2, 2*r2, r2, r2, r2, 2*r2, 2*r2 + r4, r2 + r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 7], abs(r2)) ([3, 8, 9], [3, 9], abs(-r2)) ([4, 5, 6], [4, 5], abs(-r2)) Cone a3b Leaves and Vertices: ([0], [+Infinity, 2*r3, 2*r3, 2*r3, r3, r3, 2*r3, 2*r3, 3*r3 + r4, 2*r3 + r4], False) ([1], [r3, +Infinity, r3, r3, 0, 0, r3, r3, 2*r3 + r4, r3 + r4], False) ([2], [r3, r3, +Infinity, r3, 0, 0, r3, r3, 2*r3 + r4, r3 + r4], False) ([3], [4*r3 + 2*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, +Infinity, 4*r3 + 2*r4, 4*r3 + 2*r4, 5*r3 + 2*r4, 4*r3 + 2*r4, 6*r3 + 4*r4, 6*r3 + 4*r4], False) ([4], [-r3 - r4, -r3 - r4, -r3 - r4, -r4, +Infinity, 0, 0, -r3 - r4, r3, 0], False) ([5], [3*r3 + 2*r4, 3*r3 + 2*r4, 3*r3 + 2*r4, 4*r3 + 2*r4, 4*r3 + 3*r4, +Infinity, 4*r3 + 3*r4, 3*r3 + 2*r4, 5*r3 + 3*r4, 4*r3 + 3*r4], False) ([6], [3*r3 + r4, 3*r3 + r4, 3*r3 + r4, 4*r3 + r4, 3*r3 + 2*r4, 3*r3 + 2*r4, +Infinity, 3*r3 + r4, 5*r3 + 2*r4, 4*r3 + 2*r4], False) ([7], [2*r3, 2*r3, 2*r3, 2*r3, r3, r3, 2*r3, +Infinity, 3*r3 + r4, 2*r3 + r4], False) ([8], [4*r3 + 2*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, 5*r3 + 3*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, 5*r3 + 2*r4, 4*r3 + 2*r4, +Infinity, 5*r3 + 4*r4], False) ([9], [2*r3 + 2*r4, 2*r3 + 2*r4, 2*r3 + 2*r4, 4*r3 + 3*r4, 2*r3 + 2*r4, 2*r3 + 2*r4, 3*r3 + 2*r4, 2*r3 + 2*r4, 4*r3 + 4*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r3, r3, r3, 2*r3, r3, r3, 2*r3, r3, 3*r3 + r4, 2*r3 + r4], True) ([3, 8, 9], [4*r3 + 2*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, 5*r3 + 3*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, 5*r3 + 2*r4, 4*r3 + 2*r4, 6*r3 + 4*r4, 5*r3 + 4*r4], True) ([4, 5, 6], [3*r3 + r4, 3*r3 + r4, 3*r3 + r4, 4*r3 + r4, 3*r3 + 2*r4, 3*r3 + 2*r4, 4*r3 + 2*r4, 3*r3 + r4, 5*r3 + 2*r4, 4*r3 + 2*r4], True) ([4, 5], [-r3 - r4, -r3 - r4, -r3 - r4, -r4, 0, 0, 0, -r3 - r4, r3, 0], True) ([3, 9], [4*r3 + 2*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, 6*r3 + 3*r4, 4*r3 + 2*r4, 4*r3 + 2*r4, 5*r3 + 2*r4, 4*r3 + 2*r4, 6*r3 + 4*r4, 6*r3 + 4*r4], True) ([0, 1, 2, 7], [2*r3, 2*r3, 2*r3, 2*r3, r3, r3, 2*r3, 2*r3, 3*r3 + r4, 2*r3 + r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 8, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5, 6], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 7], abs(r3)) ([3, 8, 9], [3, 9], abs(-r3)) ([4, 5, 6], [4, 5], abs(-r3)) Cone a Leaves and Vertices: ([0], [+Infinity, 0, 0, r1, 0, 0, 0, r1, 0, 0], False) ([1], [0, +Infinity, r1, r1, 0, 0, 0, 0, 0, 0], False) ([2], [0, r1, +Infinity, r1, 0, 0, 0, 0, 0, 0], False) ([3], [r1, r1, r1, +Infinity, r1, r1, r1, r1, r1, r1], False) ([4], [0, 0, 0, r1, +Infinity, 0, 0, 0, 0, 0], False) ([5], [r1, r1, r1, 2*r1, r1, +Infinity, r1, r1, r1, r1], False) ([6], [r1, r1, r1, 2*r1, r1, r1, +Infinity, r1, r1, r1], False) ([7], [r1, 0, 0, r1, 0, 0, 0, +Infinity, 0, 0], False) ([8], [r1, r1, r1, 2*r1, r1, r1, r1, r1, +Infinity, r1], False) ([9], [r1, r1, r1, 2*r1, r1, r1, r1, r1, r1, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [r1, r1, r1, 2*r1, r1, r1, r1, r1, r1, r1], True) ([1, 2], [0, r1, r1, r1, 0, 0, 0, 0, 0, 0], True) ([0, 7], [r1, 0, 0, r1, 0, 0, 0, r1, 0, 0], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(r1)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 7], abs(r1)) Cone a2 Leaves and Vertices: ([0], [+Infinity, r2, r2, 2*r2, r2, r2, r2, 2*r2, 2*r2, r2], False) ([1], [r2, +Infinity, 2*r2, 2*r2, r2, r2, r2, r2, 2*r2, r2], False) ([2], [r2, 2*r2, +Infinity, 2*r2, r2, r2, r2, r2, 2*r2, r2], False) ([3], [2*r2, 2*r2, 2*r2, +Infinity, 2*r2, 2*r2, 2*r2, 2*r2, 3*r2, 3*r2], False) ([4], [0, 0, 0, r2, +Infinity, r2, 0, 0, r2, 0], False) ([5], [r2, r2, r2, 2*r2, 2*r2, +Infinity, r2, r2, 2*r2, r2], False) ([6], [2*r2, 2*r2, 2*r2, 3*r2, 2*r2, 2*r2, +Infinity, 2*r2, 3*r2, 2*r2], False) ([7], [2*r2, r2, r2, 2*r2, r2, r2, r2, +Infinity, 2*r2, r2], False) ([8], [2*r2, 2*r2, 2*r2, 3*r2, 2*r2, 2*r2, 2*r2, 2*r2, +Infinity, 2*r2], False) ([9], [r2, r2, r2, 3*r2, r2, r2, r2, r2, 2*r2, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [2*r2, 2*r2, 2*r2, 3*r2, 2*r2, 2*r2, 2*r2, 2*r2, 3*r2, 2*r2], True) ([4, 5], [0, 0, 0, r2, r2, r2, 0, 0, r2, 0], True) ([3, 9], [2*r2, 2*r2, 2*r2, 4*r2, 2*r2, 2*r2, 2*r2, 2*r2, 3*r2, 3*r2], True) ([1, 2], [r2, 2*r2, 2*r2, 2*r2, r2, r2, r2, r2, 2*r2, r2], True) ([0, 7], [2*r2, r2, r2, 2*r2, r2, r2, r2, 2*r2, 2*r2, r2], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5], abs(r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 9], abs(r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2], abs(r2)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 7], abs(r2)) Cone a3 Leaves and Vertices: ([0], [+Infinity, 2*r3, 2*r3, 2*r3, r3, r3, 2*r3, 2*r3, 3*r3, 2*r3], False) ([1], [r3, +Infinity, r3, r3, 0, 0, r3, r3, 2*r3, r3], False) ([2], [r3, r3, +Infinity, r3, 0, 0, r3, r3, 2*r3, r3], False) ([3], [4*r3, 4*r3, 4*r3, +Infinity, 4*r3, 4*r3, 5*r3, 4*r3, 6*r3, 6*r3], False) ([4], [-r3, -r3, -r3, 0, +Infinity, 0, 0, -r3, r3, 0], False) ([5], [3*r3, 3*r3, 3*r3, 4*r3, 4*r3, +Infinity, 4*r3, 3*r3, 5*r3, 4*r3], False) ([6], [3*r3, 3*r3, 3*r3, 4*r3, 3*r3, 3*r3, +Infinity, 3*r3, 5*r3, 4*r3], False) ([7], [2*r3, 2*r3, 2*r3, 2*r3, r3, r3, 2*r3, +Infinity, 3*r3, 2*r3], False) ([8], [4*r3, 4*r3, 4*r3, 5*r3, 4*r3, 4*r3, 5*r3, 4*r3, +Infinity, 5*r3], False) ([9], [2*r3, 2*r3, 2*r3, 4*r3, 2*r3, 2*r3, 3*r3, 2*r3, 4*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, 4*r3, 3*r3, 5*r3, 4*r3], True) ([4, 5], [-r3, -r3, -r3, 0, 0, 0, 0, -r3, r3, 0], True) ([3, 9], [4*r3, 4*r3, 4*r3, 6*r3, 4*r3, 4*r3, 5*r3, 4*r3, 6*r3, 6*r3], True) ([0, 1, 2, 7], [2*r3, 2*r3, 2*r3, 2*r3, r3, r3, 2*r3, 2*r3, 3*r3, 2*r3], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [4, 5], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 9], abs(r3)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 7], abs(r3)) Cone a4 Leaves and Vertices: ([0], [+Infinity, 5*r4, 5*r4, 4*r4, 3*r4, 3*r4, 5*r4, 5*r4, 5*r4, 4*r4], False) ([1], [3*r4, +Infinity, 4*r4, 3*r4, 2*r4, 2*r4, 4*r4, 4*r4, 4*r4, 3*r4], False) ([2], [3*r4, 4*r4, +Infinity, 3*r4, 2*r4, 2*r4, 4*r4, 4*r4, 4*r4, 3*r4], False) ([3], [5*r4, 6*r4, 6*r4, +Infinity, 6*r4, 6*r4, 7*r4, 6*r4, 7*r4, 7*r4], False) ([4], [0, r4, r4, 2*r4, +Infinity, r4, 2*r4, r4, 2*r4, 2*r4], False) ([5], [4*r4, 5*r4, 5*r4, 6*r4, 5*r4, +Infinity, 6*r4, 5*r4, 6*r4, 6*r4], False) ([6], [6*r4, 7*r4, 7*r4, 7*r4, 6*r4, 6*r4, +Infinity, 7*r4, 8*r4, 7*r4], False) ([7], [4*r4, 5*r4, 5*r4, 4*r4, 3*r4, 3*r4, 5*r4, +Infinity, 5*r4, 4*r4], False) ([8], [6*r4, 7*r4, 7*r4, 7*r4, 6*r4, 6*r4, 8*r4, 7*r4, +Infinity, 7*r4], False) ([9], [3*r4, 4*r4, 4*r4, 5*r4, 4*r4, 4*r4, 5*r4, 4*r4, 5*r4, +Infinity], False) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [6*r4, 7*r4, 7*r4, 7*r4, 6*r4, 6*r4, 8*r4, 7*r4, 8*r4, 7*r4], True) ([3, 4, 5, 9], [5*r4, 6*r4, 6*r4, 7*r4, 6*r4, 6*r4, 7*r4, 6*r4, 7*r4, 7*r4], True) ([0, 1, 2, 7], [4*r4, 5*r4, 5*r4, 4*r4, 3*r4, 3*r4, 5*r4, 5*r4, 5*r4, 4*r4], True) Distances: ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [3, 4, 5, 9], abs(r4)) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 7], abs(r4)) Cone b Leaves and Vertices: ([0], [+Infinity, 0, 0, 0, 0, 0, 0, 0, r4, r4], False) ([1], [0, +Infinity, 0, 0, 0, 0, 0, 0, r4, r4], False) ([2], [0, 0, +Infinity, 0, 0, 0, 0, 0, r4, r4], False) ([3], [2*r4, 2*r4, 2*r4, +Infinity, 2*r4, 2*r4, 2*r4, 2*r4, 4*r4, 4*r4], False) ([4], [-r4, -r4, -r4, -r4, +Infinity, 0, 0, -r4, 0, 0], False) ([5], [2*r4, 2*r4, 2*r4, 2*r4, 3*r4, +Infinity, 3*r4, 2*r4, 3*r4, 3*r4], False) ([6], [r4, r4, r4, r4, 2*r4, 2*r4, +Infinity, r4, 2*r4, 2*r4], False) ([7], [0, 0, 0, 0, 0, 0, 0, +Infinity, r4, r4], False) ([8], [2*r4, 2*r4, 2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, +Infinity, 4*r4], False) ([9], [2*r4, 2*r4, 2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, 4*r4, +Infinity], False) ([4, 5, 6], [-r4, -r4, -r4, -r4, 0, 0, 0, -r4, 0, 0], True) ([3, 8, 9], [2*r4, 2*r4, 2*r4, 3*r4, 2*r4, 2*r4, 2*r4, 2*r4, 4*r4, 4*r4], True) ([0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 0, 0, 0, 0, 0, 0, 0, r4, r4], True) Distances: ([4, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4)) ([3, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], abs(-r4))