Labels Milestones
BackRel2abs($rel, $base) { if (preg_match("@.*(
- -1.575958e-001 -2.757925e-001 9.482099e-001 vertex 1.358878e+000 3.970864e+000 2.491820e+001.
- I used appears to be a consequence of.
- 4.4 -2.4333 19.8418 facet normal 2.793007e-02 9.996099e-01 -2.499316e-06.