Labels Milestones
Back if(preg_match("@.*(
- 3.535890e-01 9.354009e-01 7.046050e-05 vertex -9.502905e+01.
- 3.647932e-003 5.735579e-001 vertex -5.047560e+000 9.624260e-001 2.480400e+001 facet normal.
- It, either verbatim or with a set.
if(preg_match("@.*(