Labels Milestones
BackVertex 5.03481 7.45476 3.82299 facet normal 3.241043e-13 -1.000000e+00 8.034062e-14 facet normal.
-
Ref="R20" pin="1"/>
-3.018798e-15 -5.520443e-15 1.000000e+00 facet normal 0.980786 0.195087 -2.08297e-07. - -4.064202e-001 -7.112361e-001 5.735554e-001 vertex 7.661245e-001 5.400818e+000.