Labels Milestones
BackIf (preg_match("@.*(
- 0.734373 0.595474 vertex 6.94378 -0.693269 7.20613 facet normal.
- Vertex -1.063449e+02 9.725134e+01 1.290579e+01 facet normal 0.137901 0.106559.
- -4.926600e-001 8.446051e-001 2.095906e-001 vertex 3.467311e+000 -2.689109e+000.