Labels Milestones
Back0.88472 0.22243 0.409628 facet normal -0.0868543 -0.0464227 0.995139 vertex 7.5203 0 6.0001 vertex -4.16677 6.23601 6.0001 vertex 6.92909 -2.87011 6.0001 vertex 6.92909 2.87012 6.0001 vertex.
- 0.996728 0.0398 -0.0703571 vertex -6.36064 -7.71004 0.0403056.
- Vertex -4.012347e+000 -8.724313e-001 2.475471e+001 facet normal -0.489712.
- 3.439834e-15 -5.206436e-15 1.000000e+00 facet normal.
- -=1 difference() { difference() { difference() .