Labels Milestones
Back6.918735e-001 -7.088008e+000 2.496000e+001 vertex -8.221430e-001 6.982005e+000 2.496000e+001 vertex 5.276588e+000 -4.782847e+000 2.496000e+001 vertex -1.118343e+000 -5.580715e+000 9.983999e+000 vertex -6.938168e+000 -1.320255e+000 1.747200e+001 facet normal -7.070963e-001 -3.148238e-003 7.071103e-001 facet normal 0.5 0.866026 -1.49618e-05 facet normal.
- Normal 2.167737e-001 -9.762219e-001 0.000000e+000 vertex 5.673623e+000 -2.682343e-001.
- = width_mm/2; vertical_space = height - hole_dist_top.