Labels Milestones
Back0.705973 vertex 6.37652 -0.642209 19.4867 facet normal 2.450274e-15 -2.558217e-15 -1.000000e+00 facet normal 0.081933 0.133696 0.98763 facet normal 0.0816193 -0.828696 0.553715 facet normal -1.950737e-01 -9.807886e-01 0.000000e+00 vertex -9.426361e+01 1.053818e+02 3.455000e+01 facet normal -1.128790e-13 -1.000000e+00 3.690276e-13 facet normal -0.114147 -0.100183.
- -0.0861612 0.995039 vertex -5.04736 6.32918 19.9509 facet.
- */ wall(h=10, w=height-hole_dist_top*2-32); // decoration?