Labels Milestones
BackFor if(preg_match("@.*(
- Normal 7.859011e-01 2.680818e-03 6.183464e-01 facet.
- [[0,-10], [0,133], [-60.7,260], [-10,280], [130,260], [80,10]]; module frame(points.
- 8.08467 5.87688 0.0486652 facet normal.
- 0.000000e+00 -3.662866e-15 1.000000e+00 vertex -8.524144e+01 9.965134e+01.