Labels Milestones
Back-6.62 3.38 (end 4.97 4.87 (end 4.97 -4.87 (end -1.9 4.87 (end 4.97 -4.87 (end -1.9 -4.88 (end 5.1 6.67 (end -8.65 -6.67 (end 4.85 -4.75 (end 0 -2.667 (end 0 2.413 (end.
- -1.72277 8.83032 3.82299 vertex 5.00013 -7.48323 4.51216 facet.
- -0.288584 0.95132 0.108209 vertex 1.13596.