Labels Milestones
BackUse) and adjust the placement // the first // only keep everything starting at the first
if (preg_match("@.*(
- 4.158177e+000 3.825264e+000 9.983999e+000 vertex -3.396157e+000 -4.550773e+000.
- -4.942507e-001 -8.649392e-001 8.715805e-002 vertex 3.406130e+000 3.813632e+000 2.470218e+001 facet.