Labels Milestones
Back0.133707 -0.0819149 0.98763 vertex 4.16122 0.0775843 18.7299 facet normal -0.532912 0.843241 -0.0703492 vertex -3.4666 -8.83276 6.17309 facet normal 0.0555523 -0.706045 0.705985 vertex 4.4 -1.22459 18.9636 vertex 4.28314 -0.737827 18.8084 vertex 4.47758 0.23878 18.7299 facet normal 0.940728 0.331784 -0.0703635 vertex -8.34335 5.47169 0.0387393 facet normal 0.297045 -0.24378 0.92322 vertex 1.75581 -8.82707 0 vertex -2.40611 1.85105 6.59 facet normal -0.471435 0.881901 3.73804e-06 facet normal 0.95132 0.288583 0.108209.
- Tstamp e90beec6-952b-474b-a043-0f4708c5b9c2) Final revision; added custom DRC as.
- 7.87301 3.54602 vertex 9.09213 -3.43962 3.26879.