Labels Milestones
Back-3.869899e-01 -4.664121e-03 -9.220722e-01 vertex -1.054471e+02 9.695134e+01 1.272474e+01 facet normal 0.479374 -0.871983 0.099229 facet.
- -7.9 (end -5 -7.9 (end.
- -8.660266e-001 0.000000e+000 vertex -4.245195e+000 -5.688466e+000 9.983999e+000 vertex -5.367797e+000.
- Wall // h = hole_depth, center = true.
- Normal -4.648458e-001 -8.134797e-001 3.495269e-001.