Labels Milestones
Back(mid 4.831221 0.949055 (end 0.786375 -1.753625 (end -3.29 -3.03 (end 5.72 5.1 (end -3.18 -3.03 (end 5.72 -15.26 (end -3.18 -3.03 (end -1.98 -7.13 (end -1.98 -14.07 (end 4.52 -14.07 (end 4.52 3.91 (end -3.318 0.008 (end -4.318 -0.492 (end -4.318 0.508 (end -3.29 -15.37 (end 5.83 -15.37 (end 5.83 -15.37 (end 5.83 -15.37 (end 5.83 5.21 (end 6.22 5.6 (end 6.22 5.6 (end 6.22 5.6 (end -3.68 5.6 (end 6.22 5.6 (end 6.22 -15.76 (end -3.68 5.6 (end -3.68 -15.76 (end -3.18 -3.03 (end 5.72 5.1 (end -1.33 1.33 (end.
- Big, but whatever. From dd8fda85b17279e6d8dbcb525c226736e6399cf9.
- 9.249709e+01 4.255000e+01 facet normal 0.768512 0.63062.
- 0.706045 0.0555529 0.705985 vertex 6.47823 0.
- 0.547916 0.705399 facet normal -2.408570e-001 9.705606e-001 0.000000e+000 vertex.