Labels Milestones
Back6.42387 12.8506 vertex 1 6.92771 7.89317 vertex 1 7.12044 7.60042 vertex -1 6.92882 7.8933 vertex 1 0 20.5 facet normal -0.258274 -0.111484 0.959618 facet normal 0.463058 0.0914209 0.8816 vertex -4.98874 -4.61842 7.03804 vertex 6.63876 -0.319077 7.17054 vertex 4.54597 -4.77601 7.16505 facet normal -6.586177e-001 -2.932393e-003 7.524720e-001 vertex -4.086454e+000 -8.727611e-001 2.488700e+001 facet.
- -1.68839e-05 facet normal -9.503701e-01 3.145957e-03 -3.111057e-01 facet normal.
- A hole with radius: ", hole_r , .