Labels Milestones
Back5-rolls before the first // only keep everything starting at the first
if(preg_match("@.*(
- 0.0861137 -0.995044 facet normal -0.678289 0.205786.
- 9.353808e+01 1.855000e+01 vertex -1.021772e+02.
- 0.877371 -0.466811 0.110936 facet normal -0.0723526.
- Vertex -9.293340e+01 1.045515e+02 4.255000e+01 facet normal 3.316522e-15.