Labels Milestones
Back1.1 -0.47 (end -1.1 -0.47 (end -1.1 -0.47 (end 0.525 -0.27 (end -1.9 -4.88 (end 5.1 6.67 (end -8.65 -6.67 (end -8.65 -6.67 (end 4.85 4.75 (end -6.5 -4.75 (end 0 -2.667 (end 0 4.435 (end 0 10.033 (end 1.27 -6.35 (end 1.27 1.27 (end -1.27 -6.35 (end 1.27 1.27 (end 1.27 1.27 (end -1.27 -6.35 (end 3.851 0.284 (end 3.811 0.518 (end 3.771 0.677 (end 3.731 0.805 (end 3.691 0.915 (end.
- -0.0397839 -0.0703599 vertex 9.06526 4.16628.
- -4.191010e+000 -2.487599e+000 2.495400e+001 facet normal 0.703593.