Labels Milestones
Back2.291 -1.04 (end 3.171 -1.04 (end 3.171 -1.04 (end 2.571 2.224 (end 2.571 2.224 (end 2.571 -1.04 (end 3.331 1.554 (end 3.331 1.554 (end 3.331 -1.04 (end 2.091 -1.04 (end 2.931 1.971 (end 2.931 -1.04 (end 2.331 2.348 (end 2.331 2.348 (end 2.331 -1.04 (end 1.57 -1.04 (end 2.611 2.2 (end 2.611 -1.04 (end 1.53 -1.04 (end 2.251 2.382 (end 2.251 2.382 (end 2.251 -1.04 (end 2.491 -1.04 (end 2.931 1.971 (end 2.931 1.971 (end 2.931 1.971 (end 2.931 -1.04 (end 1.77 -1.04 (end 2.291 -1.04 (end 1.57 -1.04 (end 2.331 2.348 (end 2.331 2.348 (end 2.331 -1.04 (end 1.45 2.573 (end 1.41 2.576 (end 1.37 2.578 (end 1.33 -1.27 (end 1.33 -1.27 (end -1.33 -6.41 (end -1.33 -6.41 (end -1.33 1.33 (end -1.33 -6.41 (end -1.33 -1.27 (end 1.33 -1.27 (end -1.33 -6.41 (end -1.33 -1.27 (end 1.33 -1.27 (end -1.33 0 (end 0.2 -0.35 (end -0.5 0 (end 4 0 (end -5 -7.9 (end -4.5 -4.5 (end 4.5 -4.4 (hatch full 0.508 (end -3.29 -3.03 (end -1.98 3.91 (end -3.318 0.008 (end -4.318 -0.492 (end -4.318 -0.492 (end -4.318 -0.492 (end -4.318 -0.492 (end -4.318 0.508 (end -3.29 -3.03 (end -1.98 -14.07 (end 4.52 3.91 (end 5.83 5.21 (end -1.98 3.91 (end 5.83 -15.37 (end -3.29 -15.37 (end 5.83 5.21 (end -1.98 -3.03 (end 5.72 -15.26 (end -3.18 4.1 (end -2.18 5.1 (end -1.33 -6.41 (end -1.33 -1.27 (end -1.33 -1.27 (end -1.33 1.33 (end -1.33 1.33 (end -1.33 0 (end 1.8 1.8 (end -1.8 1.8 (end -0.635 1.27 (end -1.27 0.635 (end -1.27.
- 0.282966 -0.360203 0.888923 facet normal -8.092068e-01 1.300217e-03.
- */ wall(h=10, w=height-hole_dist_top*2-32); // decoration?
- 2.27473 2.94279 facet normal -0.0820533 -0.0820856 -0.993242 facet.