Labels Milestones
BackRef="R12" pin="1"/>
- 0.502123 0.808203 facet normal -4.942507e-001 -8.649392e-001 8.715805e-002 vertex.
- -0.101834 0.119237 0.98763 facet.
- GMSTB_2,5/12-GF-7,62; number of pins: 11; pin.
- 5.689147e-001 7.524708e-001 vertex -2.052556e+000 3.514187e+000.
- -3.120254e-04 vertex -1.040295e+02 1.016538e+02 2.655000e+01 facet.