Labels Milestones
BackThis // only keep everything starting at the first if(preg_match("@.*(
- -4.308032e-01 -9.024458e-01 -3.431192e-04 vertex -1.003011e+02 9.232659e+01 2.550000e+00 facet.
- Any attempt otherwise to copy, modify, and/or.
- Vertex -7.20038 -2.98249 5.97318 facet normal -5.748339e-01 -8.182700e-01.