Labels Milestones
Back-1.076467e+02 9.725134e+01 8.863766e+00 vertex -1.073853e+02 9.725134e+01 8.839482e+00 facet normal 0.0962896 0.976223.
- 2.449434e+000 2.496000e+001 vertex -7.050429e+000 -2.769859e-001 1.747200e+001 facet.
- [PATCH 04/18] adds front panel candidates.
- -0.471401 1.54281e-06 facet normal -0.840151 -0.533181 0.0993188 facet.