Labels Milestones
BackNormal -0.188081 0.291196 0.937993 facet normal 1.600421e-001 -2.743721e-001 9.482123e-001 facet normal -0.989345 -0.0974075 0.108204 facet normal 0.106559 0.137901 0.984697 facet normal 0.00743521 0.0992246 -0.995037 facet normal 3.496754e-001 6.145911e-001 7.071103e-001 vertex 5.115862e+000 -1.887361e-002 2.484855e+001 facet normal -9.659234e-001 -3.105468e-003 2.588096e-001 vertex.
- 2.8982 -1.96295 19.9 facet normal.
- 6.715546e-001 facet normal 9.949926e-01 0.000000e+00 9.994880e-02 facet.
- 13; hole_bottom = hole_top - 89.75; .