Labels Milestones
Back-3.68 -15.76 (end -3.68 5.6 (end -3.68 5.6 (end 6.22 -15.76 (end -3.18 4.1 (end -2.18 5.1 (end -1.33 0 (end 0.45 0 (end -0.883605 1.0875 (end -0.633605 1.3375.
- 0.995075 vertex 7.29364 -3.51243.
- -6.066731e-07 -1.000000e+00 -5.540166e-07 vertex -1.047207e+02 9.665134e+01 1.229235e+01 facet.