Labels Milestones
Back-3.332453e-01 vertex -1.070034e+02 9.665134e+01 4.645269e+00 vertex -1.070749e+02 9.665134e+01 4.847350e+00 facet normal -3.794548e-01 -9.252102e-01 3.420165e-04 vertex -9.484081e+01 9.217337e+01 4.255000e+01 facet normal -0.555577 -0.831465 0.
- */ wall(h=10, w=height-hole_dist_top*2-32); // decoration?
- -1.063183e+02 9.665134e+01 8.848868e+00 vertex.