Labels Milestones
Back-1.23 -6.85 (end -0.37 -7.65 (end -4.5 -4.4 (end 0 -12.827 (end 0 -3.5 (end 0.261252 0.735 (end 0 -10.287 (end 0 7.493 (end 0 -2.667 (end 0 -2.667 (end 0 7.493 (end 0 -2.667 (end 0 4.953 (end 0 -4.45 (end 4.5 6 (end 0.8 6 (end -1.23 -6.85 (end -0.37 -7.65 (end -4.5 -4.4 (end 0 -7.747.
- 3.406130e+000 3.813632e+000 2.470218e+001 facet normal 0.442038 -0.84476.
- 0.0123067 0.98763 facet normal -0.847874 0.479685.
- Wall(h=6, w=height-hole_dist_top*3-4); // color([1,0,0.
- 132.238478 (end 163.459507 101.010493.
- 0.634394 -3.15376e-06 facet normal 9.039253e-001 3.253948e-003 4.276780e-001.