Labels Milestones
BackVertex -4.18518 5.59382 7.89166 vertex -6.91658 0.991719 7.89187 facet normal -8.705920e-01 -5.430644e-03 -4.919756e-01 vertex -1.074042e+02 9.695134e+01 5.523908e+00 facet normal 1.510160e-01 2.163423e-03 9.885290e-01.
- Hole_diameter / 2; hole_margin = 1; $n.
- 0.707109 0.0703594 facet normal 0.137635 -0.106825 0.984705 vertex.