Labels Milestones
Back0.25) (filled_areas_thickness no (end -4.5 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 4.5 -4.4 (hatch full 0.508 (end -3.29 5.21 (end -1.98 -14.07 (end 4.52 -14.07 (end 4.52 -14.07 (end 4.52 -14.07 (end 4.52 3.91 (end 5.83 -15.37 (end -3.29 5.21 (end -1.98 -3.03 (end 5.72 5.1 (end -1.33 1.33 (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.876690e-15 2.158511e-16 -1.000000e+00 facet normal 0.617515.
- MC_1,5/7-GF-5.08; number of pins: 12; pin.
- 0.262761 0.491592 0.830237 vertex -5.04122.
- 0.0293292 -0.995037 vertex 2.39477.