Labels Milestones
BackNormal -0.174174 -0.420516 0.89041 vertex 4.91667 -1.59016 19.1916 facet normal 0.343415 -0.685181 0.642334 vertex 4.91993 -4.46869 7.17054.
- Tstamp a19ef654-a631-44b9-8b6b-999333495c1b) Final revision; added custom DRC as.
- Vertex -1.083765e+02 9.665134e+01 5.154800e+00 vertex -1.083563e+02 9.695134e+01.
- -5.53561 8.28463 2.94279 vertex.
- Above > copyright notice, this list.
- 0.18469 0.608839 0.771495 vertex -8.39715 1.6703 5.56266 facet.