Labels Milestones
Back+ 12 + 60 + 24; hole_left = slider_center - 13; hole_bottom = hole_top - 89.75; hole_right.
- 4.65942 facet normal -1.572227e-13 -1.000000e+00.
- -4.69512 5.64771 7.09873 vertex 7.29119 0.781299 7.20554 vertex.
+ 12 + 60 + 24; hole_left = slider_center - 13; hole_bottom = hole_top - 89.75; hole_right.