Labels Milestones
Back7.071069e-001 vertex 8.145605e-001 -5.477086e+000 2.484855e+001 facet normal 0.362975 -0.678811 -0.638329 facet normal 0.695465 0.464653 -0.548112 facet normal -8.314602e-01 -5.555843e-01 3.286856e-04 facet normal 0.241721 -0.727323 0.642318 facet normal 9.250155e-02 -6.790486e-03 9.956894e-01 vertex -1.073853e+02 9.725134e+01 8.839482e+00.
- -2.45196 -0.487725 6.7 vertex 2.3097 0.956708.
- 8.661240e-001 6.982779e-002 vertex -1.978528e+000 -3.524848e+000.
- 398c2b234c Checkpoint after converting most.