Labels Milestones
Back3.80307 3.80307 22.0001 vertex 5.27501 1.04926 22.0001 vertex 1.11698 -5.25446 22.0001 vertex -3.74837 3.84796 22.0001 vertex -1.11698 -5.25446 22.0001 vertex -4.96895 -2.0582 22.0001 vertex -5.37835 0 22.0001 vertex 1 6.40171 12.8528 vertex 1 7.26455 7.25222 vertex 1 6.3311 13.3597 vertex -1 0 22.0001 vertex 4.50529 2.92564 22.0001 vertex 1.04926 -5.27501 22.0001 vertex 2.0582.
- -0.38016 7.04537 facet normal 0.247467 -0.963804 0.0992084 facet.
- ' '); } function mangle_article($article.
- -0.29705 0.243786 0.923217 vertex 3.66179.
- 0.772993 -4.24978e-06 facet normal 0.68155 -0.725012 0.0992371.