Labels Milestones
Back-7.39048 -0.139654 6.87554 facet normal -0.0580283 -0.0925097 0.994019 vertex -5.16396 -5.24702 6.86308 vertex -5.17002 -5.22724.
- -0.297045 0.92322 facet normal -9.777786e-001 -4.353409e-003.
- 7.51797 vertex 4.78188 -4.20094 7.71954 facet normal.
- Radius: ", hole_r , " at.