Labels Milestones
BackVertex 2.178457e+000 -5.267156e+000 2.496000e+001 vertex 3.426833e-001 -7.112523e+000 9.983999e+000 vertex -4.726331e+000 -3.123942e+000 2.496000e+001 vertex -5.008282e+000 -2.640207e+000 1.747200e+001 facet normal -8.031676e-001 -3.367382e-003 5.957437e-001 vertex.
- 3.495167e-001 vertex 4.053005e+000 -8.365188e-001 2.475471e+001 facet normal.
- Final tweaks, version submitted to.