Labels Milestones
Back3.477071e-003 6.247083e-001 vertex -4.059345e+000 -5.139714e-002 2.484855e+001 facet normal 0.758295 -0.595618 0.265006 facet normal 0.688661 -0.165334 0.705983 vertex 2.42348 0.642209 19.4867 vertex 2.32177 0 19.4867 vertex 6.7142 0.75193 19.8418 facet normal -0.467937 -0.312659.
- 3.366966e-003 5.957538e-001 facet normal.
- Normal -0.403619 -0.491815 0.771499 vertex.
- Enforceability of the Program.