Labels Milestones
Back-7.35588 1.46317 6.0001 vertex -6.92908 -2.87013 6.0001 vertex 2.87011 -6.92909 6.0001 vertex -6.23601 4.16677 6.0001 vertex 0 7.40505 6.86814 facet normal 1.219172e-14 -1.000000e+00 -7.933715e-15.
- 0.979666 -0.187891 0.0703596 vertex.
- Vertex -1.088952e+02 9.665134e+01 5.816697e+00 facet.
- Font=font_for_title); 2c2abd8837 checkpoint before getting really.