Labels Milestones
Back(end 3.771 0.677 (end 3.731 0.805 (end 3.691 0.915 (end 3.651 1.011 (end 3.611 1.098 (end 3.571 1.178 (end 3.531.
- 2.10997 -8.94883 7.89406 facet normal 0.205763.
- Normal -0.417288 0.223046 0.880977.
- Divot sphere(r=DivotRadius, $fn=40); // Divot1: Centered cylynrical divot.