Labels Milestones
BackNormal 4.323870e-002 7.566766e-002 9.961952e-001 facet normal -0.284751 0.938727 0.194185 vertex 9.99456 -1.98804 0 vertex 2.40611 -1.85105 6.59 facet normal 0.0973192 0.989361 0.108142 facet normal -4.999973e-001 -8.660269e-001 0.000000e+000 vertex -8.426925e-001 -5.630101e+000 1.747200e+001 facet normal -4.851187e-001 -8.489573e-001 2.095978e-001 facet.
- -0.831514 -0.555503 3.22229e-07 vertex 2.43301 2.40512 18.1498 facet.
- - 13; hole_bottom = hole_top - 89.75.