Labels Milestones
Back4.34382 -5.5867 7.39225 vertex 0.77032 -7.08696 7.22283 facet normal -9.521120e-01 -0.000000e+00 -3.057496e-01 vertex -1.069378e+02 9.715134e+01 4.440930e+00 facet normal 0.685181 0.343415.
- Wall(h=10, w=height-hole_dist_top*2-32); // decoration?
- 7.13918 0.0610838 6.87866 vertex 0.0206242 -7.34599.
- -6.23601 -4.16677 6.0001 vertex 6.23601 -4.16677 6.0001.
- -0.191524 facet normal -4.781967e-001 -8.392519e-001.