Labels Milestones
Back-10.287 (end 0 -4.435 (end 3.7 4.58 (end 3.7 -4.58 (end -3.7 4.58 (end 3.7 4.58 (end -3.7 -4.58 (end -3.7 4.58 (end 3.7 -4.58 (end -3.7 -4.58 (end -1.95 -4.325 (end 1.95 4.325 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475 (end 168.75 111.4625 (end 167.58 112.6325 (end 170.54 127.0375 (end 155.1 149.37 (end 155.706823 109.135 (end 156.755141 101.025141 (end 150.75 145.02 (end 156.755141 108.086682 (end 155.615.
- Normal 0.634396 -0.773008 -2.13618e-06 facet normal 0.768498.
- // margins from edges h_margin = hole_dist_side .
- 70.5 (end 187 71.
- 0.339142 18.8084 vertex 4.02158 1.16465 18.9636 vertex.