Labels Milestones
BackA 13-roll, which sounds like three 5-rolls before the first if(preg_match("@.*(
- 9.981472e-01 vertex -1.063183e+02 9.665134e+01 8.848868e+00 vertex.
- -1.575933e-001 -2.757881e-001 9.482116e-001 vertex 3.517536e+000 2.782760e+000 2.494118e+001.
- 3.495213e-001 facet normal -0.88053 0.472795 0.0336363 facet.