Labels Milestones
Back-0.892525 -6.7445 7.76535 vertex -0.991719 -6.91658 7.89187 facet normal -4.877160e-001 8.337559e-001 2.588130e-001 facet normal -9.586440e-001 2.846079e-001 0.000000e+000 vertex -4.455791e+000 3.434344e+000 9.983999e+000 vertex -5.569738e+000 4.292930e+000 2.496000e+001 vertex -6.709746e+000 2.137466e+000 1.747200e+001 facet normal.
- d74befe391233bd8b162f7f5705c277e04d9b135 Checkpoint after converting most things.
- Vertex -4.19667 -5.00765 7.52902 vertex.