Labels Milestones
Back-0.222395 0.409641 facet normal 7.902050e-001 -6.128426e-001 0.000000e+000 vertex -2.840252e+000 6.427855e+000 9.983999e+000 vertex 6.573270e+000 -2.717840e+000.
- 2.588120e-001 vertex 4.672975e-002 -5.856013e+000.
- Thickness*2; v_margin = hole_dist_top*2 + thickness; right_rib_x .