Labels Milestones
Back(end -2.01 0.85 (end 1.25 0.85 (end 2 -0.95 (end -2 0.95 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end -0.9 0.7.
- -3.32193 8.50049 3.76384 facet normal 9.975867e-01 -6.943142e-02.
- 9.883874e-001 0.000000e+000 facet normal 4.478014e-001 7.852051e-001 4.276995e-001.