Labels Milestones
Back$article['content']); // only keep everything starting at the first if (preg_match("@.*(
- -0.192839 -0.747986 0.635083 facet normal -0.392539 0.73439.
- Orientation mark at cathode.
- 0.0992246 -0.995037 facet normal -9.503701e-01 3.145957e-03.