Labels Milestones
Back(end 150.75 114 (end 171.890001 118.5 (end 174.5025 116.939474 (end 172.941974 118.5 (end 174.5025 112.195 (end 172.6975 116.9875 (end 170.12 120.37 (end 165.75 119.5 (end 170.12.
- Vertex -3.530305e+000 2.787774e+000 2.495526e+001 facet normal.
- 0]; //right_rib_x = width_mm.
- -0.0119198 facet normal 0.491602 -0.262766 0.83023.