Labels Milestones
Back(end -4.5 -4.45 (end 4.5 6 (end 0.8 6 (end 0.8 -1.75 (mid 4.831221 0.949055 (end 0.786375.
- 6b7d6cc6-a11c-4566-a5f2-ddde4d827642) Final revision; added custom DRC as.
- 0.0993499 vertex 1.87381 -9.82287 0 facet.
- 9.665134e+01 1.102307e+01 vertex -1.084964e+02 9.715134e+01 1.085988e+01 facet.
- Normal -5.735770e-001 -2.554029e-003 8.191477e-001 facet normal.