Labels Milestones
Back6.57068 -0.759029 7.85151 vertex 6.58293 0.759029 7.7465 facet normal 4.866825e-001 -8.343571e-001 2.588213e-001 facet normal 0.979666 -0.187891 0.0703596 vertex 9.42101.
- 6.417350e-001 7.669265e-001 -0.000000e+000 vertex 5.558580e+000 1.123793e+000 1.747200e+001 facet.
- } set_screw_hole(); } arrow_indicator(); indentations(); .