Labels Milestones
Back0.0630861 0.0787267 -0.994898 vertex -9.29416 -3.67731 0.046549 vertex -9.29343 -3.67953 0.0465801 facet normal 2.475962e-01 9.688633e-01 4.785976e-05 vertex -9.935845e+01 1.058178e+02 4.255000e+01 facet normal 0.103805 -0.261456 0.959617 facet normal.
- 0.695465 0.464653 -0.548112 facet normal -0.103805 0.261456.
- + thickness; v_margin = hole_dist_top*2.