Labels Milestones
Back4.20094 -4.78188 7.71954 vertex -6.29114 -0.209414 7.71246 facet normal 0.586516 0.714676 0.3811 vertex -7.38961 6.86157 2.58057 facet normal -0.796849 0.241718 0.553718 vertex 9.77239 1.94385 2.94279 vertex -8.40938 -5.61897 2.58057 vertex 2.36142 -9.8813 0 vertex 8.31492 -3.44415 4.51215 facet.
- 5.001575e+000 2.496000e+001 vertex -3.765772e+000.
- 7.049743e-001 -4.473089e+000 2.494118e+001 facet.
- (HP) hole_dist_side = hp_mm(1.5); // Hole.