Labels Milestones
BackR=hole_radius, $fn=360); vertex 0 9 4.51215 vertex -9 0 4.51215 vertex 8.99167 0 3 vertex 3.43783 -8.30816 3 vertex 3.44415 -8.31492 3.82299 facet normal -8.724472e-001 -3.884438e-003 4.886929e-001 vertex 4.071392e+000 -8.364368e-001 2.480400e+001 facet normal 0.081619 -0.828696 0.553716 facet normal 2.845767e-001 4.980093e-001 8.191476e-001 vertex -2.548207e+000 -4.537391e+000 2.491820e+001 facet normal -4.792343e-001 -8.386599e-001 2.588127e-001 vertex 2.521824e+000 4.335162e+000 2.475471e+001 facet normal 0.000000e+00 7.910530e-01 6.117476e-01 facet normal -0.166294 0.21962 0.961308 vertex 5.04394 5.04394 6.87796 vertex 5.00497 5.09136 6.87866 facet normal 0.714669 -0.586516 0.381113 facet normal -4.648473e-001 -8.134815e-001 3.495210e-001 facet normal 1.510160e-01 -2.163423e-03 9.885290e-01 vertex -1.076467e+02 9.725134e+01 8.863766e+00 vertex -1.073853e+02 9.665134e+01 8.839482e+00 facet normal -7.614451e-01 -5.127838e-01 3.965528e-01 facet normal -0.0366567 -0.092425 0.995045 vertex -7.94201 -1.00019 19.9506 facet normal -0.630721 0.768426 0.108223 facet normal 0.938727 0.284762 0.194168 vertex -3.89968 9.41467 0 facet normal -0.0189296 0.080194 0.9966 facet normal -1.141597e-13 -1.000000e+00 -3.499341e-14 facet normal -0.0600064 -0.144869 0.98763 facet normal -0.163175 0.820341 -0.548101 facet normal 0.643667 0.528237 0.553767 facet normal -0.865136 -0.462421 0.194181 vertex -8.58625 -5.28808 2.58057 vertex -6.86157 7.38961 2.58057 vertex -1.97312 -9.91954 2.58057 facet normal 0.634392 0.773012 0 vertex 3.16504 1.30691 6.59 vertex -2.69268 -2.0165 18.1498 facet normal -0.241718 -0.796849 0.553718 facet normal -0.471401 0.881919 0 vertex 1.38893 -2.07867 6.7 vertex 0.487725 -2.45196 6.5 facet normal 0.990435 0.097575 0.0975568 vertex -1.75581 -8.82707 4.51215 facet normal -0.00384788 -0.367707 0.929934 vertex 4.99768 5.42659 6.90571 vertex -5.50428 -4.89431 6.95641 facet normal -0.286343 0.11861 0.950757 facet normal -0.544076 -0.225367 0.808202 facet normal -0.801128 -0.594344 0.0703587 facet normal 0.954699 0.292521 0.0546087 facet normal -4.875234e-29 -1.373582e-15 -1.000000e+00 facet normal 3.330389e-001 -5.682179e-001 7.524716e-001 vertex -3.489263e+000 2.717412e+000 2.491820e+001 facet normal -0.996728 0.0397744 0.0703605 facet normal 2.823787e-15 -1.000000e+00 1.114886e-14 facet normal 0.900359 -0.42367 0.0992813 facet normal 9.916058e-01 -1.292925e-01 -1.184565e-03 vertex -1.045378e+02 9.815134e+01 1.755000e+01 facet normal 0.451284 0.84429 0.288993 facet normal 0.0992487 0.989167 0.108159 facet normal -2.879638e-001 4.960612e-001 8.191459e-001 facet normal 0.486758 -0.388527 0.782377 facet normal 0.584876 0.805015 0.0993523 facet normal -0.0979739 -0.995118 -0.0119198 facet normal -0.845945 0.528607 0.070362 facet normal -4.933281e-002 -8.512744e-002 9.951480e-001 facet normal -1.951069e-01 9.807820e-01 -4.830280e-05 facet normal -3.817311e-001 9.242734e-001 0.000000e+000 vertex -1.053366e+000 -7.037627e+000 1.747200e+001 facet normal -0.0730219 0.976236 0.204035 vertex -7.19679 -1.05954 7.81812 facet.