Labels Milestones
Back-1.091137e+02 9.725134e+01 9.685153e+00 vertex -1.089871e+02 9.665134e+01 9.510337e+00 facet normal 0.634386 -0.773016 0 facet normal -7.425925e-001 6.697436e-001 0.000000e+000 vertex -2.186956e+000 6.678942e+000 1.747200e+001 facet normal 8.179095e-01 7.493654e-03 -5.752981e-01 vertex -1.091614e+02 9.725134e+01 1.202027e+01 facet normal.
- D="m 2.875,4 h 0.25" d="M.
- Wall(h=6, w=height-hole_dist_top*3-4); // color([1,0,0] .
- 2.04142 -9.63313 1.42382 vertex.
- 3.67734 0.046141 facet normal -0.98848 0.0980333 0.115312.
- -9.877515e+01 9.184439e+01 4.255000e+01 facet.