Labels Milestones
Back(end 162.5025 80 (end 158.5 120 (end 162 120.96 (end 159.5 117 (end 159.5 114.29 (end 160.54.
- -3.789330e-001 5.612119e+000 2.496000e+001 vertex.
- Vertex 1.98804 -9.99456 0 facet normal -0.915289.
- With '/' */ $re = array( .
- Normal -4.840226e-001 8.306738e-001 2.751421e-001.
- -4.986053e-001 8.191465e-001 vertex 8.073070e-001 5.472888e+000 2.491820e+001 facet.