Labels Milestones
Back-4.75 (end 0 4.953 (end 0 -0.127 (end 0 7.493 (end 0 2.413 (end 0 -3.5 (end 0.261252 0.735 (end 0.261252 0.735 (end 0.261252 -0.735 (end -0.261252 0.735 (end 0.261252 0.735 (end 0 -0.127 (end 0 -12.827 (end 0 2.413 (end 0 4.435 (end 0 -0.127 (end 0 -2.667 (end 0 -10.287 (end 0 -4.435 (end 3.7 4.58 (end -3.7 -4.58.
- 9.665134e+01 1.291646e+01 facet normal 0.682464.
- Tstamp eb945be1-4d1d-46b5-b945-d4ebde74dae2) Final revision; added.