Labels Milestones
Back-1.98 -14.07 (end 4.52 -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.492 (end -4.318 -0.492 (end -4.318 0.508 (end 1.25 -0.85 (end -2.01 0.85 (end 2 0.95 (end 2 0.95 (end -0.9 0.7 (end 0.9 -0.7 (end 0.9 0.7 (end 0.9 -0.7 (end 0.9 -0.7 (end 0.9 -0.7 (end 0.167621 0.38 (end -0.167621 0.38 (end 1.1 0.47 (end 1.1 -0.47 (end 0.525 0.27.
- 1.910723e-14 -2.644445e-15 -1.000000e+00 facet.
- From 6a9c45505ac6d396b29028a4373b6ff337eac9d1 Mon Sep 17.