Labels Milestones
Back4.908041e-01 -3.185965e-04 vertex -9.102169e+01 1.022558e+02 2.550000e+00 facet normal 4.566411e-001 -7.828546e-001 4.226318e-001 vertex -3.417320e+000 3.815345e+000 2.480400e+001 facet normal -3.58571e-05 0.116097 0.993238 facet normal -0.114153.
- 3.727553e-03 -9.781686e-01 facet normal 9.609584e-001 2.766931e-001 -0.000000e+000 vertex.
- Tstamp 6b7d6cc6-a11c-4566-a5f2-ddde4d827642) Final revision; added.