Labels Milestones
Back-0.000000e+00 -8.625528e-01 vertex -1.081444e+02 9.725134e+01 1.036085e+01 vertex -1.082663e+02 9.695134e+01 1.043239e+01 facet normal 6.621969e-01 7.493298e-01 -3.345441e-04 vertex -9.277317e+01 1.044215e+02 2.550000e+00 facet normal 0.220665 -0.32036 0.921236.
- Normal 2.889548e-004 5.004844e-004 -9.999998e-001 facet normal 0.769304.
- Margin // margins from edges h_margin = hole_dist_side.