Labels Milestones
Back7.408605e-001 vertex 5.147396e+000 -2.971020e+000 2.486861e+001 facet normal -0.682997 0.618219 0.388999 facet normal 3.874189e-001 6.779829e-001.
- Wall(h=6, w=height-hole_dist_top*3-4); // color([1,0,0.
- -0.881816 -0.471442 -0.011941 facet normal -0.584869 0.805011 0.0994257.