Labels Milestones
Back0.83 (end -6.62 3.38 (end 4.97 -4.87 (end -6.62 -4.87 (end -1.9 4.87 (end -6.62 3.38 (end 4.97 -4.87 (end -1.9 -4.88 (end 5.1 -6.67 (end 4.85 4.75 (end -6.5 -4.75 (end 0 -3.5 (end 0.261252 -0.735 (end -0.261252 0.735 (end 0 -3.5 (end 0.261252 -0.735 (end.
- GMSTB_2,5/6-GF-7,62; number of pins: 11; pin.
- 0.103805 0.261456 0.959617 facet normal -0.877731 -0.469113 0.0975757.