Labels Milestones
Back-1.000000e+00 -2.539719e-13 vertex -1.075046e+02 9.665134e+01 1.022701e+01 facet normal 0.741926 0.638679 0.204047 vertex 5.83811 -4.33969 7.81812 facet normal 0.156321 -0.0122986 0.98763 vertex 4.60312 0.147574 18.7299 facet normal 0.801144 0.59432 -0.0703636 facet normal -9.468913e-01 3.215537e-01 0.000000e+00 vertex -1.018688e+02 9.327779e+01 2.655000e+01 facet normal 0.991507 -0.0942884 0.0895734 facet normal 0.630721.
- Normal -0.124598 -0.886057 0.446518 facet normal.
- -4.225692e-001 -1.881424e-003 9.063287e-001 vertex 5.203437e+000 -1.045038e+000 2.491820e+001.
- -0.727323 0.241721 0.642318 facet.
- With radius: ", hole_r , " at .