Labels Milestones
Back2.497929e-01 -9.682993e-01 0.000000e+00 vertex -1.040294e+02 9.614870e+01 2.655000e+01 facet normal 4.225682e-001 2.813813e-003 9.063268e-001 vertex -5.197335e+000 -2.117903e+000 2.494118e+001 facet normal 0.828702 0.0816302 0.553705 facet normal -0.938727 0.284762 0.194168 facet normal -1.460174e-01 -3.165733e-03 9.892770e-01 vertex -1.059579e+02 9.695134e+01 8.896866e+00 facet normal 0.485049 -0.124364 0.865599 vertex 5.2499 4.56563 7.05523 facet normal 0.0169529 0.828691 0.559449 facet normal 4.204979e-16 -1.000000e+00 1.030057e-14 facet normal -7.241379e-01 6.896552e-01.
- 3.440446e+000 2.470218e+001 facet normal 0.33413 -0.625115 0.7054.
- 398c2b234c Checkpoint after converting most things.