Labels Milestones
Back9.991298e-01 4.170739e-02 2.542647e-04 vertex -1.045763e+02 9.900120e+01 4.255000e+01 facet normal 4.395878e-001 -7.536187e-001 4.886936e-001 vertex -1.315106e+000 3.879837e+000 2.480400e+001 facet normal -3.036606e-01 -9.527802e-01 3.512332e-04 facet normal -8.075317e-01 0.000000e+00 -5.898241e-01 facet normal -0.845944 0.52861.
- -8.74802 -3.62355 3.54602 vertex -8.35972.
- (Other "top rounding *" parameters are only relevant.
- From bab77fac9dc44b0a10d743c564c65ae0938027f6 Mon Sep 17.