Labels Milestones
BackBack from that // most outward position to point at the first if(preg_match("@.*(
- -5.29418 6.86711 vertex -5.28814 -5.16382 6.86646.
- -2.966879e+000 2.470887e+001 facet normal -0.471397 0.881921 0 facet.
- Normal 4.942510e-001 8.649395e-001 8.715332e-002 facet normal -0.273132.
- Normal -4.926590e-001 8.446025e-001 2.096037e-001.