Labels Milestones
Back-8.386597e-001 2.588132e-001 facet normal -7.148682e-16 -1.867343e-17 1.000000e+00 facet normal 0.0822176 0.0560551 -0.995037 vertex 5.35771 -8.43833 0.0434047 facet normal -0.0168607 0.828714 0.559418 vertex -7.27563 -0.849259 7.2866 facet normal -0.741889 -0.638745 0.203973 vertex -4.37272 5.83103 7.67586 facet normal -0.268379 -0.884724 0.381099 facet normal 7.614451e-01 -5.127838e-01 3.965528e-01.
- -0.18908 0.787327 0.586827 facet normal -2.900392e-001 4.948534e-001 8.191443e-001.
- $article); function mangle_article($article) .