Labels Milestones
BackNormal -2.248171e-001 -9.744010e-001 0.000000e+000 vertex 4.242270e+000 -5.723458e+000 9.983999e+000 vertex -3.571954e-001 -7.109637e+000 9.983999e+000 vertex 5.021640e+000 -2.681558e+000 1.747200e+001 facet normal -0.847857 0.479705 0.225879 vertex -5.7853 -4.29641 7.81019 facet normal -0.618898 0.265121 0.739376 facet normal -0.768483 -0.630654 0.108209 facet normal 0.772567 0.634832 0.0113625 facet normal 9.426380e-01 -0.000000e+00 3.338166e-01 vertex -1.080794e+02.
- -2.925793e+000 2.496000e+001 vertex -6.938168e+000 -1.320255e+000.
- Engraved_indicator_depth * 2, $fn = top_rounding_faces); // Straight.
- 5.830798e-001 7.408636e-001 vertex 4.724722e-002 -5.972214e+000 2.488918e+001 facet.