Labels Milestones
BackRef="J1" pin="8"/>
- 5.87538 0.0420513 facet normal 0.734389 -0.392534.
- For: MC_1,5/11-G-3.81; number of pins: 11; pin.
- -6.139492e-001 7.070965e-001 vertex 2.548704e+000 4.382203e+000 2.484855e+001.
- -0.816081 -0.191512 facet normal -1.511299e-15 -2.759487e-15 -1.000000e+00.