Labels Milestones
Back-0.551893 -0.109965 -0.826632 vertex 2.83126 -1.17275 18.8241 vertex -2.84551 0.566007 18.8953 facet normal -3.769851e-15 -3.822753e-15.
- -4.200975e-003 4.654476e+000 2.482134e+001 facet normal 0.766702.
- Tstamp 42deceed-4793-4b11-91d8-f336ff75a562) Final revision; added custom DRC.