Labels Milestones
BackStarting at the first if(preg_match("@.*(
- 7.827114e-001 4.323246e-001 vertex -4.136271e-003 4.639935e+000.
- -0.367738 0.923214 facet normal 6.013035e-01 7.990206e-01 3.429106e-04 vertex.
Starting at the first if(preg_match("@.*(