Labels Milestones
Back$matches)){ if (preg_match("@.*(
- Vertex 5.25893 -4.75047 6.95295 facet normal 1.000000e+00.
- (!$alt_text && !$title_text) { $new_element->appendChild($para_element.
- -4.349509e-001 8.639734e-001 vertex -2.070513e+000 3.544972e+000 2.491820e+001 facet.
- -8.234557e-01 vertex -1.086652e+02 9.725134e+01 1.252081e+01 vertex -1.087742e+02 9.665134e+01.