Labels Milestones
Back-3.68 -15.76 (end -3.68 5.6 (end 6.22 5.6 (end -3.68 -15.76 (end -3.68 -15.76 (end -3.68 5.6 (end 6.22 -15.76 (end -3.68 -15.76 (end -3.18 4.1 (end -2.18 5.1 (end -1.33 0 (end 0.2 -0.35 (end -0.5 0 (end -5 -7.9 (end -5 6.5 (end 5 -7.9 (end -5 6.5 (end 5 -7.9 (end -4.5 6 (end 0.8 -1.75 (mid 4.831221 0.949055 (end 2.54 2.48 (mid 0.248779 0.949055 (end 0.786375 -1.753625 (end -3.29 -3.03 (end -1.98 -3.03 (end -1.98 -3.03 (end 5.72 5.1 (end -3.18 4.1 (end -2.18 5.1 (end -1.33 0 (end -0.261252 0.735 (end 0 2.413 (end 0 -3.5 (end 0.261252 0.735 (end 0 10.033 (end 1.27 -13.97 (end 2.286 1.016 (end -2.286 -1.016 (offset 0.254) hide (end.
- 4.78188 -4.20094 7.71954 vertex -4.59658 4.30043 7.71246 facet.
- 8.28463 5.53561 2.94279 vertex 8.10352.