Labels Milestones
Back(end 0 7.493 (end 0 -0.127 (end 0 -12.827 (end 0 -10.287 (end 0 -12.827 (end 0 -4.45 (end -4.5 -4.4 (end 0 -7.747 (end 0 4.953 (end 0 -12.827 (end 0 -12.827 (end 0 -4.45 (end -4.5 -4.45 (end -4.5 -4.45 (end -4.5 -4.4 (end 0 4.953 (end 0 4.953 (end 0 -4.435 (end 3.7 4.58 (end 3.7 4.58 (end -3.7 -4.58 (end -3.7 -4.58 (end -1.95 3.35 (end -0.975 4.325 (end -1.95 3.35 (end -0.975 4.325 (end -1.95 -4.325 (end 1.95 4.325 (end -1.95 3.35 (end -0.975 4.325 (end -1.95 -4.325 (end 1.95 4.325 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475.
-
Ref="R15" pin="2"/>
-0.115912 0.000107246 0.993259 vertex 7.34599 0.0206242 6.86125 facet. - 3.669801e+000 2.496000e+001 vertex -3.396157e+000 -4.550773e+000 1.747200e+001 facet normal.