Labels Milestones
Back-7.65 (end -4.5 -4.4 (end 0 -7.747 (end 0 -12.827 (end 0 -7.747 (end 0 2.413 (end 0 -10.287 (end 0 -3.5 (end 0.261252 0.735 (end 0 -10.287 (end 0 -12.827 (end 0 2.413 (end 0 -12.827 (end 0 -5.207 (end 0 -2.667 (end 0 -2.667 (end 0 -10.287 (end 0 -0.127 (end 0 -3.5 (end 0.261252 0.735 (end 0.261252 0.735 (end 0 -2.667 (end 0 10.033 (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 3.651 1.011 (end 3.611 1.098 (end 3.571 1.178 (end 3.531 1.251 (end 3.531 -1.04 (end 2.091 -1.04 (end 2.611.
- -0.243764 0.923216 vertex 8.91793 -0.833245 3.82299 vertex.
- -1.05962 7.18529 7.92322 vertex 4.28775 5.77664 7.9152 facet.