Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 9.96384 2.94279 facet normal 1.091949e-15 6.579115e-16 -1.000000e+00 facet normal -0.83147 0.55557 3.3097e-08 vertex 3.15183 -1.32933 6.59 facet normal 0.877365 0.466832 0.110898 facet normal 0.0285769 0.290164 0.95655 vertex 7.46035 -3.09018 5.88782.
- 0.422769 -7.15425 6.96188 vertex -5.3829 4.57828 7.06725.
- -4.265555e-01 vertex -1.084409e+02 9.695134e+01 1.062325e+01 facet normal 0.000000e+000.