Labels Milestones
Back(end -1.304775 1.725 (end 3.87 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end 0.45 0 (end 0.45 0 (end -0.3 0 (end 0.45 0 (end 1.8 1.8 (end -1.8 -6.85 (end -1.8 1.8 (end -0.635 1.27 (end -1.27 -6.35 (end 1.27 -13.97 (end 2.286 1.016 (end -2.286 -1.016 (offset 0.254) hide (end 0.
- Vertex 5.77664 4.28775 7.9152 facet.
- //No matches No known key found.
- -0.84476 0.442038 0.301633 vertex -4.25586 -4.81447 7.51797 facet.