Labels Milestones
BackMin_thickness 0.25) (filled_areas_thickness no min_thickness 0.25) (filled_areas_thickness no (end -4.5 -4.45 (end 4.5 -4.4 (hatch full 0.508 (end -3.29 -15.37 (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.508 (end -3.29 -3.03 (end 5.72 5.1 (end -1.33 -1.27 (end 1.33 -1.27 (end 1.33 -1.27 (end 1.33 2.579 (end 1.29 2.58 (end -1.554775 1.475 (end -1.304775 1.725 (end 3.87 0 (end -0.3 0.35 (end -0.9 -0.7 (end 0.9 0.7 (end 0.9 -0.7 (end 0.167621 0.38 (end -0.167621 -0.38 (end 0.167621 -0.38 (end.
- 1.284087e+01 facet normal -1.950737e-01 -9.807886e-01.
- Holes union() { z_position .
- -0.192217 0.421013 0.886454 vertex.