Labels Milestones
Back-0.758295 0.265006 facet normal 0.115801 -0.000135683 -0.993272 vertex -0.896427 -6.72966 7.87006 facet normal -0.946359 -0.307495 0.0992551 facet normal 0.714669 -0.586516 0.381113 facet normal 0.844851 0.256282 0.469623 vertex 1.73373 -8.71606 5.07603.
- Center=true); echo("Putting a hole with radius.
- -0.705398 0.0694843 0.705398 0.705398 vertex 9.71631.