Labels Milestones
Back-4.38745 -5.82788 7.61242 facet normal 4.308032e-01 -9.024458e-01 -3.430151e-04 vertex -9.410620e+01 1.053036e+02 2.550000e+00 facet normal -0.740023 -0.60732 0.289014 facet normal -0.115828 -5.30788e-07 -0.993269 facet normal -0.995185 -0.0980166 5.85143e-06 facet normal -3.018798e-15 -5.520443e-15 1.000000e+00 facet normal 0.706052.
- 0.243634 0.188037 0.951465 facet normal 0.305573.
- R=hole_radius, $fn=360); vertex 0 -5.48271 21.8439.