Labels Milestones
Back-3.463951e+000 -4.070879e+000 2.494118e+001 facet normal 1.995148e-15 -2.840072e-15 -1.000000e+00 facet normal 2.883916e-16 1.282986e-15 -1.000000e+00 facet normal -0.0950202 0.0293946 0.995041 facet.
- 1.413055e-15 -1.598987e-15 -1.000000e+00 facet normal.
- 7.16975 6.89421 facet normal -0.471387 -0.875985 0.102199.
- Directories are externally maintained libraries.