Labels Milestones
Back-4.004743e+000 -5.115412e-002 2.470218e+001 facet normal 0.88186 0.471361 -0.0119414 facet normal.
- 5.209116e-001 8.002086e-001 vertex -4.122221e+000.
- Vertex 4.123455e+000 -1.496170e-002 2.488700e+001 facet.
- Formatting 2c2abd8837 checkpoint before getting really weird with.