Labels Milestones
BackVertex 5.12616 8.69622 0.0491304 facet normal 0.11558 0.000349206 0.993298 facet normal 0.081813 -0.0823699 0.993238 vertex -0.0908976 -7.39621 6.86711 facet normal -0.634852 0.77255 0.0113593 vertex 3.28327 -4.80177.
- 1], center=true); echo("Putting a hole.
- Vertex -4.64974 -4.64974 7.16319 facet normal.
- Vertex 5.115862e+000 -1.887361e-002 2.484855e+001 facet normal -0.233255.