Labels Milestones
Back-5.529187e+000 9.983999e+000 vertex -6.866518e+000 -1.662893e+000 9.983999e+000 vertex 8.646397e+000 4.992001e+000 0.000000e+000 facet normal 0.749604 -0.288937.
- Vertex 1.02637 -5.38893 21.833 facet normal.
- Vertex -1.036465e+02 1.024397e+02 4.255000e+01 facet.
-
Ref="J6" pin="4"/>
{ 88bf85725f Update to 7.0.