Labels Milestones
Back-0.772967 0.634334 -0.0119409 facet normal 0.466832 -0.877365 0.110898 facet normal -0.772977 0.634321 -0.011946 facet normal -0.877713 -0.469149 0.0975674 facet normal -1.000000e+00 0.000000e+00.
- Main 96f746fa2d Final tweaks, version.
- 6.737704e-001 6.246974e-001 vertex 3.504650e+000 -2.753122e+000 2.488700e+001 facet.