Labels Milestones
Back9.369149e-001 4.172015e-003 3.495327e-001 facet normal 9.547249e-01 -9.154788e-06 2.974900e-01 facet normal 0.0883209 0.0731843 0.9934 vertex -5.10296 6.16842 19.944 facet normal -0.0974349 -0.989342 0.108208 facet normal 0.462456 0.449684 0.764146 vertex -6.81829 0.589577 7.19149 vertex 0.463226 -6.71529 7.17947 vertex -6.8561 0.38016 7.04537 vertex 4.42088 -5.07598 7.17947 facet normal 1.458075e-15 -1.388642e-15 -1.000000e+00 facet normal -0.367707.
- 3.566374e-01 0.000000e+00 vertex -9.657885e+01.
- -9.04239 4.11794 2.94279 vertex -8.86128 3.99693 3.26879 facet.
- - hole_dist_top); echo("Putting a hole.