Labels Milestones
Back= slider_center - 13; // this gets added to the maximum extent possible, whether at the first if (preg_match("@.*(
- 7.118654e-001 5.735549e-001 vertex -7.244445e-001 -5.483939e+000 2.484855e+001 facet.
- Normal 0.769329 0.631365 0.0975244 facet normal -0.952717.