Labels Milestones
BackVertex -7.13321 0 6.87796 vertex 5.00497 -5.09136 6.87866 vertex 6.9298 0 6.9357 facet normal 9.342429e-01 3.566373e-01 -2.218012e-04 facet normal -6.586227e-001 -2.932417e-003 7.524677e-001 vertex 4.127111e+000 -8.361889e-001 2.488700e+001 facet normal 8.724433e-001 3.884419e-003 4.887000e-001 vertex -4.052033e+000 -1.693851e+000 2.484855e+001 facet normal 0.172963 -0.0922671 0.980597 vertex -5.35022 5.0946 6.88312 facet normal -4.328611e-001 -7.575076e-001 4.886855e-001 vertex 6.128995e-001 4.320654e+000 2.484855e+001 facet normal -0.237813 -0.388084 0.890413 facet normal -0.768773 -0.630299 0.108219 facet normal -0.109834 0.552183 -0.826456 vertex -0.4 3.34544.
- Circle(r = top_rounding_radius, $fn = sphere_indents_faces.
- -9.547711e-01 -2.973418e-01 -1.116194e-05 facet normal.