Labels Milestones
Back(end 0.45 0 (end 0.45 0 (end 1.8 -6.85 (end 1.8 0 (end 0.2 -0.35 (end -0.5 0 (end 1.8 0 (end 1.8 1.8 (end -0.635 1.27 (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.251 (end 3.531 1.251 (end 3.531 1.251 (end 3.531 -1.04 (end 2.211 -1.04 (end 3.091 -1.04 (end 1.73 2.536 (end 1.73 2.536 (end 1.73 -1.04 (end 2.971 1.937 (end 2.971 -1.04 (end 2.931 1.971 (end 2.931 -1.04 (end 1.93 -1.04 (end 1.89 2.501 (end 1.89 2.501 (end 1.89 2.501 (end 1.89 2.501 (end 1.89 -1.04 (end 2.811 -1.04 (end 3.291 -1.04 (end 2.211 2.398 (end 2.211 -1.04 (end 1.85 2.511 (end 1.85 2.511 (end 1.85 2.511 (end 1.85 -1.04 (end 2.731 2.122 (end 2.731 2.122 (end 2.731 -1.04 (end 2.771 2.095 (end 2.771 2.095 (end 2.771 2.095 (end 2.771 -1.04 (end 2.851 2.035 (end 2.851 2.035 (end 2.851 -1.04 (end 2.491 2.268 (end 2.491 -1.04 (end 2.211 2.398 (end 2.211 -1.04 (end 3.371 1.5 (end 3.371 1.5 (end 3.371 -1.04 (end 3.011 -1.04 (end 2.171 2.414 (end 2.171 2.414 (end 2.171 -1.04 (end 1.61 2.556 (end 1.61 -1.04 (end 2.691 2.149 (end 2.691 2.149 (end 2.691 -1.04 (end 2.371 2.329 (end 2.371 2.329 (end 2.371 2.329 (end 2.371 -1.04 (end 3.131 -1.04 (end 3.131 1.785 (end 3.131 1.785 (end 3.131 -1.04 (end 1.57 -1.04 (end 2.931 1.971 (end 2.931 -1.04 (end 3.291 1.605 (end 3.291 -1.04 (end 1.81 -1.04 (end 1.69 -1.04.
- Vertex -5.367797e+000 1.709973e+000 1.747200e+001 facet normal.
- 9.108222e-14 -1.000000e+00 -8.671859e-14 facet normal 0.634392 0.773012 0.
- -3.471790e-001 0.000000e+000 vertex -3.052103e+000 -6.417228e+000 2.496000e+001 vertex -1.239765e-001.
- 0.299918 0.771497 vertex -3.27641 -7.90994 5.56266 facet.
- Emacs temps *~ Initial version.