Labels Milestones
Back-4.910273e-02 vertex -9.054602e+01 1.011313e+02 1.127867e+01 vertex -9.054433e+01 1.008513e+02 1.130642e+01 vertex -9.055258e+01 1.011513e+02 1.090221e+01 facet normal 0.875985 -0.471387 0.102199 facet.
- 0.4 3.34544 14.112 facet normal -0.884719.
- 90; hole_right = hole_left.
- Vertex -3.474859e+000 3.913990e+000 2.491820e+001.