Labels Milestones
Back-8.21743 6.17306 vertex 5.05426 8.44501 1.45229 facet normal 0.586527 0.714665 0.381104 facet normal 0.952717 -0.0938358 0.289008 vertex -8.97218 0 4.79464 facet normal 0.309854 -0.74806 0.586853 vertex 6.10385 -1.79038 19.9 facet normal 9.438660e-14 -1.000000e+00 9.000809e-14 facet normal 0.124718 -0.987211 0.0992983 facet normal -0.875977 -0.471404 0.102188 facet normal 0.124621 0.886065 0.446496 facet normal -0.704821 -0.704821 0.0803382 facet normal 0.30016 -0.365743 0.880986 facet normal -4.792327e-001 -8.386582e-001 2.588213e-001 facet normal 0.0974657 0.989339.
- Normal -0.881922 0.471396 -4.95171e-06 facet.
- True, 10 ); // the D shape.
- 2; hole_radius = hole_diameter / 2; hole_margin.