Labels Milestones
Back- -9.355766e+01 1.049916e+02 3.455000e+01 facet normal 9.979460e-01.
- } shaft_hole(); } set_screw_hole(); } arrow_indicator.
- -0.129484 0.780815 0.611197 vertex -6.81829 -0.589577 7.19149 facet.
- (manually modified). For information.
- -0.634912 -0.772501 0.0113542 facet normal -0.995114 0.0980118 -0.0119198.