Labels Milestones
Back-1.753625 (end -3.29 5.21 (end 6.22 -15.76 (end -3.18 4.1 (end -2.18 5.1 (end -1.33 0 (end -5 6.5 (end 5 -7.9 (end -4.5 6 (end 0.8 6 (end 0.8 -1.75 (mid 4.831221 0.949055 (end 0.786375 -1.753625 (end -3.29 -3.03 (end 5.72 5.1 (end -1.33 -1.27 (end 1.33 -1.27 (end 1.33 -1.27 (end 1.33 -1.27 (end -1.33 0 (end -0.3 0 (end 0.2 0.35 (end 0.2 -0.35 (end -0.5 0 (end -0.261252 -0.735 (end -1.88 -0.98 (end 1.88 -0.98 (end -1.88 -0.98 (end 1.88.
- Vertex 3.48287 -5.48813 20 vertex -4.7383 -4.44956.
- 4.203270e-16 -1.856182e-15 -1.000000e+00 facet normal -0.768293 0.629624 0.115323.