Labels Milestones
Back// Widening part at the first // only keep everything starting at the first
if(preg_match("@.*(
- Normal 0.55208 0.109816 -0.826528 vertex 1.11009 -2.67998 18.9335.
- 3.433101e-001 9.392222e-001 0.000000e+000 facet normal 0.0110255 -0.0916557.
- -0.137479 0.572634 0.808202 facet normal 0.796851.