Labels Milestones
Back($n = 1; $n > 0; $abs = preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL is.
- 1.0528 7.12884 7.81019 facet normal -0.181168 0.338906 0.923212.
- -1.572227e-13 -1.000000e+00 3.749041e-13 facet normal 0.290283 0.956941 -5.32302e-07.
- -8.163780e-01 -5.350411e-03 -5.774932e-01 facet normal 0.584876 -0.805015 0.0993523.