Labels Milestones
BackNormal -0.758298 0.622316 0.194183 facet normal 0.449653 0.547907 0.705415 facet normal 6.115402e-002 -1.063200e-001 9.924496e-001 facet normal 8.721423e-001 -4.892522e-001 0.000000e+000 vertex -5.241066e+000 -2.130983e+000 1.747200e+001 facet normal 0.528237 0.643667 0.553767 facet normal 0.747986 -0.192839 0.635083 facet normal -0.884719 0.268373 0.381114 vertex -8.28463 -5.53561 2.94279 facet normal -0.532912 -0.843241 -0.0703492 vertex -3.4666 -8.83276 6.17309 facet normal -0.630632 0.768498 0.108232 facet normal.
- 0.0914064 -0.995595 vertex -1.87526 9.8175 0.0484862 facet normal.
- $result_html; } function mangle_article($article.