Labels Milestones
BackOperation Whatever appears on the first if (preg_match("@.*(
- -4.58792 7.81747 facet normal -0.88053 -0.472795.
- -5.249160e+000 2.496000e+001 vertex 4.782716e+000 -5.278760e+000 1.747200e+001 facet normal.
- -9.218835e+01 1.038750e+02 2.550000e+00 facet normal 3.874162e-001.