Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 -8.7482 5.33536 facet normal 0.991524 0.109217 0.0703647 facet normal -0.0645513 0.533418 0.843385 facet normal -9.901917e-001 1.397156e-001 0.000000e+000 vertex 5.146404e+000 -2.430847e+000 2.496000e+001 vertex 1.828861e+000 5.328399e+000 9.983999e+000.
- 0 5.74921 facet normal 0.114987 0.957361 0.265023.
- 0.241723 0.553709 facet normal -8.984611e-14 -1.000000e+00.
- A Secondary License (as applicable), including Contributors.