Labels Milestones
Back-4.16678 6.0001 vertex -2.87013 6.92908 6.0001 vertex 6.23601 4.16677 6.0001 vertex -2.87013 -6.92908 6.0001 vertex -4.16677 -6.23601 6.0001 vertex -4.16677 6.23601 6.0001 vertex -2.87012 -6.92909 6.0001 vertex 5.30329 5.30329 6.0001 vertex -6.23601 -4.16678 6.0001 vertex -2.87013 -6.92908 6.0001 vertex -6.92908 2.87013 6.0001 vertex 2.87011 6.92909 6.0001 vertex 7.35588 -1.46317 6.0001 vertex -6.92909 -2.87012 6.0001 vertex -1.46317 -7.35588 6.0001 vertex 6.23601 -4.16677 6.0001 vertex 1.46317 -7.35588 6.0001 vertex -5.30329 5.30329 6.0001 vertex -7.49999 0 6.0001 facet normal 0.451284 -0.84429 0.288993 vertex -7.46009 -4.98467 4.79464 facet normal 0.881923 -0.471394 0 vertex -1.76777 1.76777 6.5 facet normal -9.807819e-01 -1.951069e-01.
- -0.0703599 vertex -6.26718 -7.62083 1.31386 facet normal 3.874186e-001.
- -0.618138 0.389083 vertex -5.77934.
- Echo("Putting a hole with radius: ", hole_r.