Labels Milestones
Back0.137651 0.106817 0.984704 vertex 7.39065 -0.0879059 6.86646 facet normal 0.683022 0.618138 0.389083 vertex 4.41238 5.81619 7.55007 vertex 7.16087 1.01235 7.60514 vertex -7.2327 0.99264 7.55007 vertex -4.46475 5.79165 7.41914 facet normal -0.0916557 -0.0110255 0.99573 facet normal -0.309855 0.748097 0.586806 facet normal 0.768263 -0.629654 0.115357 vertex -4.59658 -4.30043 7.71246 facet normal 0.0623605 -0.633165 0.771501 vertex 0 7.5203 6.0001 facet normal -0.22956 -0.181238.
- 4.851192e-001 8.489581e-001 2.095936e-001 facet normal -0.46863.
- -7.046255e+000 1.747200e+001 facet normal.
- Wall(h=6, w=height-hole_dist_top*3-4); // color([1,0,0.
- 1.027825e+02 4.255000e+01 vertex -1.044931e+02.