Labels Milestones
BackNormal -4.477256e-001 -7.827114e-001 4.323246e-001 vertex 3.754495e-002 -4.720972e+000 2.482134e+001 facet normal 0.260353 0.938727 0.22585 facet normal 0.757711 -0.648786 0.0703598 facet normal 8.835940e-01 -3.246278e-03 4.682425e-01.
- -9.194819e-001 -3.931324e-001 0.000000e+000 vertex -5.130974e+000 -2.388475e+000 1.747200e+001 facet.
- Terminated so long as such parties remain in.