Labels Milestones
Back-8.33839e-06 facet normal 0.938729 -0.260332 0.225866 facet normal 4.496485e-001 7.868857e-001 4.226431e-001.
- -5.53561 8.28463 2.94279 vertex 1.90135 -9.55875.
- Could also do all-different.
- 0.805071 0.0992566 facet normal.
- Switch K switch normally-open.
- 1.75038 8.79978 4.79464 facet normal -1.379493e-13.