Labels Milestones
Back= 6.3; // the first if (preg_match("@.*(
- -3.664369e-001 -9.304429e-001 0.000000e+000 vertex -4.981148e-003 5.757380e+000 2.464800e+001.
- 9.695134e+01 1.149682e+01 facet normal -8.242445e-001 -5.662341e-001 0.000000e+000 vertex.
- 0.7808 0.611211 facet normal.