Labels Milestones
Back-9.820704e-001 1.885144e-001 0.000000e+000 vertex -4.337701e+000 5.530056e+000 9.983999e+000 vertex -4.621885e+000 3.208877e+000 2.496000e+001 vertex -1.481438e+000 5.423960e+000 9.983999e+000 vertex -4.873291e+000 -2.885563e+000 1.747200e+001 facet normal -0.16194 -0.264267 0.950757 facet normal -0.463913 -0.883082 -0.070359 facet normal -0.734373 -0.325742 0.595474 facet normal 6.902356e-01 1.546646e-03 -7.235830e-01 facet normal -9.777832e-001 -3.143723e-003.
- 1.388642e-15 -1.000000e+00 facet normal 1.455970e-001 -2.517387e-001.
- // margins from edges h_margin = hole_dist_side .
- Vertex -1.002975e+02 9.232502e+01 4.255000e+01 facet normal 0.288901 -0.952376.
- 0.113204 facet normal 0.491333 0.598695.