Labels Milestones
Back-5.77925 -4.28385 7.9151 vertex 5.77664 4.28775 7.9152 facet normal -0.367735 0.111552 0.923216 vertex -6.38504 -6.33827 3.82299 facet normal -1.150712e-14 -1.000000e+00 1.623675e-13 facet normal 0.0100577 -0.00636613 0.999929 vertex -7.01486 -3.85645 19.9497 facet normal 0.248691 0.968583 -0 facet normal -0.643697 -0.528271 0.553701 facet normal -9.682993e-01 -2.497929e-01 -0.000000e+00 vertex -1.044754e+02 9.769640e+01 2.655000e+01 facet normal 0.098404 -0.0148568 0.995036 facet normal 0.555572 -0.831469 2.57619e-07 facet normal 0.255018 -0.430921 0.865606 vertex -6.94062 -0.483852 7.05523 facet normal -0.279018 -0.0846387 0.956549 facet normal 0.0813285 0.0818837 0.993318 vertex 4.97411 4.13072.
- , " at ", hole_dist_side, height - v_margin.
- Normal -7.510313e-01 1.049632e-03 -6.602658e-01 vertex.