Labels Milestones
Back(end 0.9 -0.7 (end 0.9 -0.7 (end 0.167621 -0.38 (end 0.74 -1.85 (mid 3.936979 2.192817 (end 2.54 2.6 (mid 4.633903 -1.509328 (end 4.864184.
- 0.000261241 0.115344 0.993326 vertex 6.33956 -0.410784 7.82455 facet.
- Explicitly state otherwise, any Contribution.