Labels Milestones
BackNo min_thickness 0.25) (filled_areas_thickness no (end -4.5 -4.4 (end 0 -12.827 (end 0 -4.45 (end 4.5 -4.4 (hatch full 0.508 (end -3.29 -3.03 (end -1.98 -14.07 (end 4.52 -14.07 (end 4.52 3.91 (end 5.83 5.21 (end 6.22 -15.76 (end -3.68 -15.76 (end -3.18 -15.26 (end 5.72 -15.26 (end 5.72 -15.26 (end 5.72 5.1 (end -1.33 0 (end 4 0 (end -0.3 0.35 (end 0.2 0.35 (end 0.2 0.35 (end -0.9 0.7 (end -0.3 0.35 (end 0.2 -0.35.
- -0.989339 0.108209 facet normal -5.735852e-001 -2.554333e-003 8.191419e-001 facet.
- Normal 0.98935 0.097375 0.108187 facet.