Labels Milestones
Back6.22 5.6 (end 6.22 5.6 (end 6.22 -15.76 (end -3.68 5.6 (end 6.22 5.6 (end -3.68 -15.76 (end -3.68 -15.76 (end -3.68 -15.76 (end -3.68 5.6 (end -3.68 5.6 (end 6.22 -15.76 (end -3.18 -15.26 (end 5.72 5.1 (end -1.33 -1.27 (end -1.33 1.33 (end -1.33 -6.41 (end -1.33 -6.41 (end -1.33 1.33 (end -1.33 1.33 (end -1.33 -1.27 (end -1.33 -6.41 (end -1.33 0 (end -5 6.5 (end 5 -7.9 (end -5 -7.9 (end -5 6.5 (end 5 -7.9 (end -4.5 6 (end -1.23 -6.85 (end -1.8 -6.85 (end -0.37 -7.65 (end -4.5 6 (end 0.8 -1.75 (mid 4.831221 0.949055 (end 0.786375 -1.753625 (end -3.29 -15.37 (end -3.29 -15.37 (end 5.83 -15.37 (end.
- -4.022055e+000 2.274596e+000 2.473857e+001 facet normal 0.0645475 -0.533422 0.843383.
- Center=true); echo("Putting a hole.