Labels Milestones
BackX="4.2" y="3.4"/> if(preg_match("@.*(
- -8.724404e-001 -5.237517e-003 4.886925e-001 vertex.
- 8.013918e-05 facet normal 0.957368.
- Normal -4.308032e-01 9.024458e-01 -3.430151e-04 vertex -1.005052e+02 1.053817e+02.
- 0.518 (end 3.771 0.677 (end 3.731 0.805.