Labels Milestones
BackName="Pin_2" type="passive"/>
- -3.572258e+000 2.484855e+001 facet normal 0.331516 -0.422844.
- -3.018798e-15 -5.520443e-15 1.000000e+00 facet normal 0.816125 0.545222 -0.1915.
- { if(set_screw == true.
Name="Pin_2" type="passive"/>