Labels Milestones
Back-5.005929e+000 -6.394265e-002 2.470218e+001 facet normal -0.265169 0.618852 0.739397 facet normal -8.979480e-01 -1.162584e-03 -4.401001e-01 facet normal.
- 0.99505 facet normal -0.188007 -0.291191 0.938009 vertex.
- 4.19817 5.60068 7.78686 facet normal -7.696457e-13 -1.000000e+00 -1.800274e-12.
- -0.016946 0.559453 vertex 0.849259 -7.27563 7.2866.
- (pts Final revision; added custom DRC.