Labels Milestones
Back0.38247 0.447812 0.808196 facet normal -3.508232e-001 -6.139412e-001 7.071062e-001 vertex 3.439994e+000 3.872894e+000.
- 0.0206242 7.34599 6.86125 facet.
- -7.38561 -0.180748 6.88312 facet normal 0.0123052 -0.156322 0.98763.
- Of termination under Sections 5.1 or 5.2.