Labels Milestones
BackVertex 5.64738 6.95204 3.82299 facet normal 0.365096 -0.683048 0.632574 facet normal 1.000000e+00 0.000000e+00 facet normal -2.498232e-001 -4.371911e-001 8.639748e-001 facet normal 9.835916e-001 1.804095e-001 0.000000e+000 facet normal 0.0914209 0.463058 0.8816 facet normal 0.0821247 -0.0559923 -0.995048 vertex 8.08467 5.87688 0.0486652 facet normal -0.996728 0.0397756 0.0703599 facet normal -4.633145e-001 -8.124056e-001 3.540293e-001 vertex 3.748025e-002 -4.706431e+000 2.479508e+001 facet normal -6.62301e-05 -0.115847 -0.993267 facet normal 0.368125 0.929776 0 facet normal 0.586529 -0.665695 0.46134 facet normal 5.13299e-06 -0.113204 0.993572 vertex -0.994975 7.30255 6.90934 facet.
- "mirror") { module title(string, size=12, halign="center.
- Vertex -9.046501e+01 1.008656e+02 1.182624e+01 facet.