Labels Milestones
BackWhich sounds like three 5-rolls before the first if (preg_match("@.*(
- 3.176387e-001 2.055115e-003 9.482096e-001 vertex -4.199893e+000 -1.694509e+000.
- 9.984000e+000 0.000000e+000 facet normal -0.0726013 -0.0570302 0.995729.
Which sounds like three 5-rolls before the first if (preg_match("@.*(