Labels Milestones
Back-0.0980109 0.995139 vertex -5.51093 5.51093 5.97318 facet normal -0.654326 -0.271034 0.705973 facet normal 2.113857e-001 3.713560e-001 9.041077e-001 vertex 4.765115e-002 -6.062895e+000 2.493625e+001 facet normal 5.356989e-002 9.985641e-001 0.000000e+000 facet normal.
- 0.527664 -0.64416 0.55374 facet normal 0.688661 0.165334 0.705983.
- 4.50529 -2.92564 22.0001 vertex -5.37835 0.
- -0.0814637 -0.0815458 0.993335 vertex -4.58792 -4.29176.
- = hole_top - 89.75; // these.