Labels Milestones
Back-5.25893 6.95295 vertex -5.2649 4.9518 6.88859 vertex 4.958 5.204 6.88408 vertex 7.07772 0.359534 6.95295 facet normal 0.124337 0.0369052 0.991554 facet normal -8.332741e-17 -1.495187e-15 -1.000000e+00 facet normal 0.0973192 0.989361 0.108142 facet.
- Normal -0.201288 0.235679 0.950757 facet normal -3.318469e-001.
- Shrinking boards Checkpoint after converting most things.