Labels Milestones
BackNormal -2.340998e-01 0.000000e+00 9.722126e-01 vertex -1.057894e+02 9.725134e+01 8.925305e+00 vertex -1.056213e+02 9.695134e+01 8.965788e+00 facet normal 0.471397 -0.881921 0 facet normal 0.618884 0.0694793 0.782404 facet normal 0.491338 -0.598691 0.632579.
- 9.725134e+01 1.031482e+01 vertex -1.042796e+02 9.695134e+01 1.035785e+01.
- Offer, in accord with Subsection b.