Labels Milestones
Back-9.589668e-01 -2.835183e-01 -1.714310e-05 facet normal 0.770773 0.0759145 0.63257 facet normal -0.881922 0.471396 -4.95171e-06 facet normal.
- 17.8205 facet normal -0.485049 0.124364 0.865599 vertex 5.2499.
- -8.637905e-001 0.000000e+000 vertex 6.433005e+000 -3.038559e+000 1.747200e+001.
- 0.0624763 0.0993833 facet normal -8.091787e-01 -1.313994e-03 -5.875612e-01 facet.
- Circle(r = top_rounding_radius, $fn = top_rounding_faces square(top_rounding_radius.