Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 8.97218 4.79464 facet normal -0.901636 0.420949 0.0992679 facet normal 0.205786 0.678289 0.705391 facet normal 0.630654 -0.768483 0.108209 facet normal -3.562740e-001 6.107880e-001 7.071116e-001 facet normal 6.290927e-16 -1.000000e+00 -1.036231e-14 facet normal 0.0818425 -0.081922 0.993273 facet normal 0.0376919 0.272942 0.961292 facet normal -5.637876e-14 -1.000000e+00 8.374738e-15 facet normal 4.729960e-001 -8.087680e-001 3.495271e-001 vertex -3.433966e+000 2.622613e+000 2.475471e+001 facet normal -0.989331 0.0975625 0.108193 facet normal -0.630723 0.768425 0.108218 facet normal 0.989318 0.097633 0.108249 facet normal -0.241698 -0.727319 0.642332 facet normal 5.735860e-001 1.353294e-003 8.191442e-001 vertex -5.121780e+000 1.988650e+000 2.488700e+001 facet normal 0.766718 -0.634283 0.0991387 facet normal 0.533415 0.16181 0.830233 facet normal -0.0100873 0.15129 0.988438 facet normal -0.703598 0.707106 -0.0703595 vertex -8.20983 -5.40668 1.5173 facet normal 0.995114 -0.0980054 -0.0119737 facet normal -0.77296 0.634342 -0.0119617 facet normal -0.124726 -0.987209 0.0993092 facet normal -7.952302e-001 -6.063077e-001 0.000000e+000 vertex -6.917118e+000 -3.993600e+000 9.983999e+000 vertex -4.919635e+000 2.734702e+000 1.747200e+001 facet normal 4.084288e-01 9.127902e-01 -9.306122e-05 facet normal 0.183013 -0.98059 0.0703589 facet normal -1.000000e+000 0.000000e+000 0.000000e+000 1.000000e+000 vertex.