Labels Milestones
Back"round", using the current quality setting". /* [Engraved Indicator (optional)] */ // // // for inset.
- -9.581203e-01 2.863649e-01 -8.193733e-04 vertex -1.043264e+02 9.701936e+01 1.608622e+01 facet.
- 2.08528 -9.21464 3.54602 vertex -9.55875.