Labels Milestones
Back1.3375 (end 3.75 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end 4 0 (end 1.8 -6.85 (end -0.37 -7.65 (end -4.5 6 (end -1.23 -6.85 (end -1.8 1.8 (end -1.8 -6.85 (end -0.37 -7.65 (end -4.5 -4.45 (end -4.5 6 (end 1.8 -6.85 (end -1.8 1.8 (end -0.635 1.27 (end -1.27 0.635 (end -1.27 0.635 (end -1.27 -6.35 (end 3.851 0.284 (end 3.811 0.518 (end 3.771 0.677 (end 3.731 0.805 (end 3.691 0.915 (end 3.651 1.011 (end 3.611 1.098 (end 3.571 1.178 (end 3.531 1.251 (end 3.531 -1.04 (end 2.691 -1.04 (end 2.691 -1.04 (end 2.571 2.224 (end 2.571 -1.04 (end 2.331 -1.04 (end 2.811 2.065 (end 2.811 2.065 (end 2.811 2.065 (end 2.811 2.065 (end 2.811 2.065 (end 2.811 -1.04 (end.
- Vertex 1.72277 -8.83032 3.82299 facet normal 9.127763e-01 4.084597e-01.
- Preamble The licenses granted in Section 3.1.