Labels Milestones
BackContent (cleanup // only keep everything starting at the first if (preg_match("@.*(
- -3.274500e-01 -9.448685e-01 3.434569e-04 vertex -9.992756e+01 9.217328e+01 4.255000e+01 facet.
- 4.886923e-001 facet normal -0.0974075 0.989345 0.108204.