Labels Milestones
BackNormal -4.792339e-001 -8.386592e-001 2.588158e-001 facet normal -0.0980166 0.995185 5.85143e-06 facet normal -5.555843e-01 8.314602e-01 -1.243039e-04 facet normal 0.462425 0.865137 0.194169 vertex 3.89968 9.41467 0 facet normal 8.599717e-001 3.605409e-003 5.103289e-001.
- -0.680879 0.725636 0.0992804 facet normal.
- -4.29641 5.7853 7.81019 vertex.
- 0.988483 0.0979878 0.115323 facet normal -8.23967e-05 -0.113203.
- 205-00246, 7 pins, single.
- Implicitly verifying that all code.