Labels Milestones
BackRef="C13" pin="1"/>
- 8.639701e-001 vertex 7.049743e-001 -4.473089e+000 2.494118e+001 facet.
- -0.634279 0.0992472 facet normal 4.330093e-01 0.000000e+00 -9.013895e-01.
- 5.149747e+000 1.007831e+000 2.488700e+001 facet.
Ref="C13" pin="1"/>