Labels Milestones
Back2.428 (end 2.131 2.428 (end 2.131 2.428 (end 2.131 -1.04 (end 1.53 2.565 (end 1.53 -1.04 (end 2.851 2.035 (end 2.851 -1.04 (end 1.77 -1.04 (end 1.73 2.536 (end 1.73 2.536 (end 1.73 2.536 (end 1.73 -1.04 (end 1.53 -1.04 (end 2.171 2.414 (end 2.171 2.414 (end 2.171 -1.04 (end 1.77 2.528 (end 1.77 -1.04 (end 3.211 -1.04.
- Box [right_edge, -extra_depth], // bottom horizontal rib.
- Vertex -6.91995 1.06598 10.3435 facet normal 0.950499 0.290271.
- -3.441403e+000 2.488700e+001 facet normal 6.586177e-001 2.932012e-003.