Labels Milestones
Back-1.124817e-03 9.272892e-01 vertex -1.053986e+02 9.665134e+01 9.033265e+00 vertex -1.054559e+02 9.695134e+01 9.013398e+00 vertex -1.055918e+02 9.665134e+01 8.973478e+00 facet normal 4.926586e-001 -8.446026e-001 2.096043e-001.
- -5.00497 6.87866 vertex -5.04394 5.04394 6.87796 vertex 5.09136.
- (vertical) { module title(string, size=12.
- 5.1 -6.67 (end 4.85 -4.75 (end.