Labels Milestones
Back7.873989e-001 4.226424e-001 vertex -7.089681e-001 -5.456855e+000 2.480400e+001 facet normal 0.634593 0.772847.
- -0.46863 0.876742 0.108209 facet normal.
- 0.189023 0.787332 0.586838 facet normal.
- * height], // top horizontal.
7.873989e-001 4.226424e-001 vertex -7.089681e-001 -5.456855e+000 2.480400e+001 facet normal 0.634593 0.772847.