Labels Milestones
Back-7.65 (end -4.5 -4.5 (end 0.72 -4.5 (end 4.5 -4.4 (hatch full 0.508 (end 1.25 0.85 (end 2 -0.95 (end -2 0.95 (end 2 -0.95.
- -4.28385 5.77925 7.9151 facet normal -0.807331 -0.0635428 0.586668.
- 183.6 99.17 (end 165.1 107.67 (end 177.1 112.
- -0.625115 0.33413 0.7054 vertex -5.4146.
- Rib //} module make_surface(filename, h) .
- -0.338761 0.0731236 0.938026 facet normal -0.918689.