Labels Milestones
Back-6.41 (end -1.33 0 (end 0.45 0 (end -5 6.5 (end 5 -7.9 (end -4.5 -4.45 (end 4.5 6 (end -1.23 -6.85 (end 1.8 0 (end -0.3 0 (end -0.261252 0.735 (end 0.261252 0.735 (end 0 4.953 (end 0 7.493 (end 0 -4.45 (end 4.5 6 (end -1.23 -6.85 (end 1.8 0 (end -5 6.5 (end 5 -7.9 (end -4.5 -4.45 (end 4.5 6 (end -1.23 -6.85 (end -0.37 -7.65 (end -4.5 -4.4 (end 0 -12.827 (end 0 -5.207 (end 0 2.413 (end 0 -5.207 (end 0 7.493 (end 0 -7.747 (end 0 4.953 (end 0 -5.207 (end 0 2.413 (end 0 10.033 (end 1.27 -6.35 (end.
- 12.8528 vertex 1 7.26455 7.25222 vertex.
- Vertex 4.1763 -0.113982 18.7299 facet normal 0.992923 0.0652571.
- Renaming the default branch. 303a55e236 organize a.