Labels Milestones
Back0.988479 -0.0980344 0.115322 facet normal 0.998026 0.0627973 0 vertex 9.8813 2.36142 0 vertex -2.40611 1.85105 6.59 facet normal 0.0624786 0.0761302 0.995138 vertex -6.48017 4.32991 5.97318 facet normal 1.111157e-01.
- -0.365756 0.880978 vertex 5.89328 -5.89328 5.74921 facet.
- 0.808196 vertex 5.58228 1.18228 19.1916 vertex 4.77842 1.16465.
- Radius: ", hole_r , " at.