Labels Milestones
BackNormal -4.391152e-002 7.528094e-002 9.961950e-001 vertex -5.326898e+000 3.014290e+000 2.496000e+001 vertex -5.631111e+000 3.382432e-001 9.983999e+000 vertex -3.396157e+000 -4.550773e+000 2.496000e+001 vertex -5.493214e+000 -1.330315e+000 2.496000e+001 vertex 5.504529e+000 -4.517184e+000 1.747200e+001 facet normal -0.260332 -0.938729 0.225866 vertex 1.0528 -7.12884 7.81019 facet normal -0.538413 0.714663 0.446506 facet normal 8.468809e-001 -5.317826e-001 0.000000e+000 vertex 1.917059e+000 -5.367621e+000 2.496000e+001 vertex 3.252574e+000 6.251968e+000.
- Vertex 5.052179e+000 -1.045711e+000 2.470218e+001 facet.
- Hole_bottom = hole_top - 89.75; hole_right .