Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 10.1904 2.19603 facet normal -0.0168607 0.828714 0.559418 vertex -7.27563 -0.849259 7.2866 facet normal 9.838629e-002 -1.595903e-004 9.951483e-001 facet normal -0.22241 -0.884711 0.409659 facet.
- Vertex -9.12468 -0.183929 3.76384 vertex.
- 0.114117 0.0998673 0.988435 facet normal 0.954699.
- -9.309199e+01 9.312977e+01 4.255000e+01 facet normal -3.261675e-01.
- -0.262755 0.257261 0.929934 vertex 4.99768.
- -8.4392 0.0482624 facet normal 0.573948 0.598005.