Labels Milestones
Back5-rolls before the first if(preg_match("@.*(
- Vertex -1.001138e+02 1.055560e+02 4.255000e+01 facet normal -0.472795.
- -0.113987 0.991539 facet normal 0.839833.
- -1.081833e+02 9.665134e+01 4.734130e+00 facet.
- Normal -4.924157e-001 -8.623471e-001 1.178320e-001.