Labels Milestones
Back-0.840784 -0.532182 0.0993189 facet normal 0.595017 0.488315 -0.63836 facet normal -2.588559e-001 -1.152516e-003 9.659153e-001 vertex -2.612975e+000 4.473792e+000 2.494118e+001 vertex 1.767937e+000 -5.074136e+000 2.494118e+001 facet normal 2.096584e-001 3.669021e-001.
- -9.129400e+01 9.507470e+01 1.855000e+01 vertex -1.045318e+02 9.970655e+01 3.455000e+01.
- Tstamp 1c9c2c29-57db-4a4e-bbff-29f893ea0430) Final revision; added custom DRC.