Labels Milestones
BackRef="C13" pin="2"/>
- -5.830855e-001 7.408574e-001 vertex -5.567250e-003 5.889094e+000 2.488918e+001 facet normal.
- -5.393331e-002 -9.438337e-002 9.940739e-001 vertex 1.435524e+000 -4.095611e+000 2.495526e+001 facet.
- 4.13938 10.3435 facet normal -0.036199.
- // Diameter of the.