Labels Milestones
Back-0.189054 0.586694 vertex 6.80334 -0.380651 19.8418 facet normal -0.242747 0.97009 0 vertex -9.8813 2.36142 0 facet normal 9.342549e-01.
- 7.020816e-03 -9.688381e-01 vertex -1.078264e+02 9.725134e+01 1.028031e+01.
- H=thickness*2); echo("Putting a hole.