Labels Milestones
Back= stem_faces); // Widening part at the first if(preg_match("@.*(
- -1.452129e-001 -2.519592e-001 9.567810e-001 vertex -6.272084e-003.
- 3.66179 3.76384 facet normal -8.966089e-01 -4.428233e-01.
= stem_faces); // Widening part at the first if(preg_match("@.*(