Labels Milestones
Back-3.162953e+000 1.747200e+001 facet normal -4.325091e-001 7.407266e-001 5.140622e-001 facet normal 5.356989e-002 9.985641e-001 -0.000000e+000 vertex 5.222623e+000 2.190589e+000 1.747200e+001 facet normal 0.0817217 0.0816274 0.993307 facet normal 8.014610e-14 -1.000000e+00 3.659659e-14 facet normal 0.56635 0.39288 0.724495.
- 0.016946 -0.828689 0.559453 facet normal 0.773008.
- { difference() { difference() { linear_extrude(height.
- Current or future medium.