Labels Milestones
BackNormal 0.595017 0.488315 -0.63836 vertex -5.88471 1.17054 6.59 facet normal 0.591982 -0.205712 0.779256 facet normal -0.0980045 -0.995186 -0 vertex -1.38893 2.07867 6.5 facet normal 9.653903e-001 -2.608095e-001 0.000000e+000 vertex -4.026420e+000 -3.996321e+000 1.747200e+001 facet normal 8.878030e-001 4.602236e-001 -0.000000e+000 vertex 6.868123e+000 1.745502e+000 9.983999e+000 vertex 5.146404e+000 -2.430847e+000 2.496000e+001 vertex 1.951762e+000 6.764269e+000 9.983999e+000 vertex -3.789330e-001 5.612119e+000 9.983999e+000 vertex -6.958273e+000 1.118030e+000 9.983999e+000 vertex -8.646397e+000 -4.992000e+000 0.000000e+000 vertex -3.465548e+000 6.113461e+000 1.747200e+001 facet normal 0.334131 -0.625113.
- 7.691713e-001 2.495526e+001 facet normal -0.184972 -0.225389 0.956549 facet.
- 9.725134e+01 1.152487e+01 vertex -1.061615e+02.
- ", hole_dist_side, height - hole_dist_top); echo("Putting a hole.