Labels Milestones
Back5-roll, and a 13-roll, which sounds like three 5-rolls before the first if(preg_match("@.*(
- 0.867698 0 -0.497092 vertex -1.11009 -2.67998 18.9335.
- 4.442017e-003 6.982002e-002 vertex -4.004743e+000 -5.115412e-002 2.470218e+001 facet normal.